5年前、ABC予想が証明されたと話題になった。その解決を含む、全く新しい数学の枠組みが、望月新一氏の宇宙際タイヒミュラー理論だった。かつての相対性理論について、本当に理解している人は3人しかいない、という状況だったが、この宇宙際タイヒミュラー理論も同様らしい。22世紀の数学なんだろう。 別々のユニバース 分からないなりに分かろうとしてみる。宇宙というのは、圏論でいうユニバースである。一般的な集合の演算がその中で行えて、自分自身を含むことのない性質を持つ集合、という考え方で、すべての集合はなんらかのユニバースに属する、という公理もある。 宇宙際タイヒミュラー理論の解説によると、要するに足し算の構造と掛け算の構造は別々だが複雑に絡み合っていて、そのためにABC予想のように足し算と掛け算とが絡まる問題は難問になるという。このことを行列で当てはめると少しわかってきそうだ。行列は、一般にm行n列とし