SL(4,C)の部分群の全正値性問題を超天才的な方法で解く

この記事の内容は，Laurent Demonet氏のサーベイ論文[Dem11]の第1節を参考に構成しています．

全正値性問題

4次の複素数成分特殊線形群$SL(4,\mathbb{C})$の，次のような形をした部分群を考えます．

\begin{align*} N:=\left\{\begin{bmatrix}1&a&b&c\\0&1&d&e\\0&0&1&f\\0&0&0&1\end{bmatrix}\in SL(4,\mathbb{C})\ \middle|\ a,b,c,d,e,f\in\mathbb{C}\right\}. \end{align*}
この行列のいくつかの行と列を抜き出した部分行列の行列式(小行列式という)を考えます．$X\in N$に対して，$i_1,...,i_k$行,$j_1,...,j_k$列の成分を抜き出してきた部分行列の小行列式を$\Delta^{i_1,...,i_k}_{j_1,...,j_k}(X)$で表すと約束します．

例えば，$X=\begin{bmatrix}1&a&b&c\\0&1&d&e\\0&0&1&f\\0&0&0&1\end{bmatrix}$に対して$\Delta^{12}_{34}(X)=\det\begin{bmatrix}b&c\\d&e\end{bmatrix}=be-cd$です．

さて，$N$に属する行列$X$について，「全正値性」と呼ばれる性質を導入します．

ここで，「小行列式が定数である」というのはどんな$X\in N$をとってきても値が一定であるような小行列式を指します．例えば，$\Delta^{1}_{1}(X)$の値は$X$がなんであっても1なので定数です．同様に，$\Delta^2_1$も常に$0$なので定数です．今回のケースでは，$X\in N$が全正値であることを確かめるためには次の12個の行列式が正実数であることを確かめれば十分です．

ここで，重複しているものや上記にある行列式の積の形でかけるものは取り除いてあることに注意してください．例えば，$\Delta^{13}_{24}(X)=\det\begin{bmatrix}a&c\\0&f\end{bmatrix}=af=\Delta^1_{2}(X)\Delta^3_{4}(X)$なのでこれが正実数かどうかは$\Delta^1_{2}(X)$と$\Delta^3_{4}(X)$が正実数かどうかを調べれば自然にわかります．

さて，ここで一つちょっとした疑問がよぎります．

「全正値性を調べるためには上の12個の小行列式の値を調べればいいとはいうけれど，12個の小行列式は別に互いに独立して値が定まっているわけではないし，ひょっとしたらこの中のいくつかの値だけ調べれば残りは全部正実数に勝手になってくれたりするんじゃない？」

つまり,全部調べるのは面倒くさいので「これだけ調べればOK」ってのをとって来れないかな？という話です．これを「全正値性の判定問題」あるいは単に「全正値性問題」と呼びます．実は，このケースでは12個のうち特定の6個をとってきて正実数かどうかを調べれば良いことが知られています．次の命題を証明していきましょう．

ちなみに，$X\in N$という行列は6つの独立した値によって決定されるので，これ以上調べる小行列式の数を減らすことは不可能であることがわかります．

命題1の天啓的な証明

ここでは，命題1を常人ではとても思い付かないような天才的な発想で証明していくことにしましょう．$X$が全正値であれば命題1の6つの小行列式が正実数になることは当たり前なので，逆を示していきます．
まず，次のような有向グラフ$Q$を用意します．

有向グラフQ

\begin{align*} x_1=^2_4,\quad x_2=^{12}_{24},\quad x_3=^{3}_{4},\quad x_4=^{1}_{4}\quad x_5=^{12}_{34},\quad x_6=^{123}_{234} \end{align*}

ここで，上の式において例えば$^{12}_{24}$は$\Delta^{12}_{24}(X)$を略記したものとしています．この6つの変数は命題1で与えられた6つの小行列式を表していることに注意してください．これをまとめて$\mathbf{x}=(x_1,x_2,x_3,x_4,x_5,x_6)$と書くことにします．次に，この有向グラフと変数集合の組$(Q,\mathbf{x})$（シードと呼ぶことにします）に対してシード変異という変換を定義します．シード変異は箙（えびら）変異とクラスター変異という2つの変換からなる変換なので，まず各々を定義することにしましょう．箙変異は，有向グラフ$Q$から新たな有向グラフ$Q'$を生み出す変換です．

ここで，サイクルとは2つの頂点に互いに出入りしている矢の組のことです．ここで注意として，頂点$j$は$1$から$3$のいずれかであって，$4$から$6$は取らないことに注意します．たとえば，$Q$を$2$で箙変異すると次のようになります．

箙変異の例

式の形が若干複雑なので説明しておくと，$i\neq j$のときは$x_i$をそのままにして，$i=j$のときは$x_j$を，分母が$x_j$で分子が$Q$における$j$へ矢印が入っていく頂点$k$に対応する$x_k$の積と$j$から矢印が出ていく方の頂点$k$に対応する$x_k$の積の和であるような分数に変換するような操作です（逆にわかりにくいかも？）．
例えば，$(Q,\mathbf x)$の$\mathbf{x}$を頂点$2$でクラスター変異すると，$Q$の頂点$2$から出る矢は頂点$3$と$5$へ，頂点$2$へ入る矢は頂点$1$と$6$からそれぞれ1本ずつあるので，
\begin{align*} c\mu_2(\mathbf x)=\left(x_1,\textcolor{red}{\dfrac{x_3x_5+x_1x_6}{x_2}},x_3，x_4，x_5，x_6\right) \end{align*}
となります．クラスター変異もやはり3つのバリエーションを持っています．

これを用いて，シード変異を定めます．

つまり，$(Q,\mathbf{x})$の頂点2におけるシード変異は

シード変異後のシード

$df-e$は，この表中の$\Delta^{23}_{34}(X)$に該当しています．つまり，クラスター変異の操作によって$\mathbf x=\left(^2_4,\ ^{12}_{24},\ ^{3}_{4},\ ^{1}_{4},\ ^{12}_{34},\ ^{123}_{234}\right)$は$c\mu_2(\mathbf　x)=\left(^2_4,\ ^{23}_{34},\ ^{3}_{4},\ ^{1}_{4},\ ^{12}_{34},\ ^{123}_{234}\right)$に移っています．さらに，$^{23}_{34}=\dfrac{x_3x_5+x_1x_6}{x_2}$は右辺の形と$x_1,\dots,x_6$が正実数であるという仮定から正実数となることがわかります．さて，シード変異の結果，なぜか新たな小行列式が現れたわけですが，これはただの偶然なのでしょうか？$(Q',\mathbf x')=\mu_2(Q,\mathbf x)$を新たなシードとして，もう一回シード変異をしてみることにしましょう．次は頂点$3$で変異してみます．計算結果は

シード変異後のシード2

変数組の遷移

この図をどうみるかを説明しておきます．この図の3頂点に囲まれる三角形が，6つの変数組に対応しています(一番外側の$^1_3,\ ^1_2,\ ^{12}_{23}$で囲まれているものも三角形とみなします)．例えば，$\ ^2_4,\ ^{12}_{24},\ ^{3}_{4}$の3頂点によって囲まれる三角形と,変数組$\{x_1,x_2,x_3,x_4,x_5,x_6\}=\left\{^2_4,\ ^{12}_{24},\ ^{3}_{4},\ ^{1}_{4},\ ^{12}_{34},\ ^{123}_{234}\right\}$が対応しています．$x_4=^{1}_{4},x_5=^{12}_{34},x_6=^{123}_{234}$はシード変異の定義から常に変化しないため，この図では省略されていることに注意してください．シード変異の操作は，隣り合う三角形へ移動することに対応しています．例えば，$\ ^2_4,\ ^{12}_{24},\ ^{3}_{4}$で囲まれる三角形と$\ ^2_4,\ ^{23}_{34},\ ^{3}_{4}$で囲まれる三角形は隣り合って（=1辺を共有して）いますが，これは$\left\{^2_4,\ ^{12}_{24},\ ^{3}_{4},\ ^{1}_{4},\ ^{12}_{34},\ ^{123}_{234}\right\}$と$\left\{^2_4,\ ^{23}_{34},\ ^{3}_{4},\ ^{1}_{4},\ ^{12}_{34},\ ^{123}_{234}\right\}$が1回のシード変異で移り変わることを示しています．この図は素直に全部計算を頑張れば描くことができます．さて，この図を見ると，次のことがわかります．

1. シード変異は2回続けて同じ頂点で行うと元に戻ってくる．
2. シード変異によって現れる6つの変数の組のバリエーションは有限個（最初の3つの変数の順序は計算しているうちに変わる場合もある）．
3. シード変異で出てくる変数は全て最初に挙げた12個の小行列式（正確にはずっと動かない$x_4=^{1}_{4},x_5=^{12}_{34},x_6=^{123}_{234}$以外の9個）のどれかとして記述ができ，それ以外のものは出て来ない．
4. シード変異により12個全ての小行列式が現れる．

以上のことを踏まえると，最初の6つの変数$\mathbf x=\left(^2_4,\ ^{12}_{24},\ ^{3}_{4},\ ^{1}_{4},\ ^{12}_{34},\ ^{123}_{234}\right)$が正実数であることを仮定することで，残りの6個の小行列式が全て正実数であることがクラスター変異の定義式

\begin{align} x_i'=\begin{cases} x_i &\text{if $i\neq j$}\\ \\ \dfrac{\mathop{\prod}\limits_{1\leq k\leq 6}x_k^{\max({0,b_{kj}})}+\mathop{\prod}\limits_{1\leq k\leq 6}x_k^{\max(0,b_{jk})}}{x_j}\ &\text{if $i=j.$}\hspace{4mm}\end{cases} \end{align}

から芋づる式に出てきてしまうのです！これで命題1は示されました．

ちなみに，これらの考察から，最初に正値性が仮定される6つの小行列は$\left(^2_4,\ ^{12}_{24},\ ^{3}_{4},\ ^{1}_{4},\ ^{12}_{34},\ ^{123}_{234}\right)$を変異した$\left(^2_4,\ ^{23}_{34},\ ^{2}_{3},\ ^{1}_{4},\ ^{12}_{34},\ ^{123}_{234}\right)$や，それをさらに変異した$\left(^2_4,\ ^{23}_{34},\ ^{3}_{4},\ ^{1}_{4},\ ^{12}_{34},\ ^{123}_{234}\right)$でも良いことがわかります．

補足

はい，ということで示せました．

…いいたいことはわかります，こんな無茶苦茶な証明があってたまるかと思われたと思います．いうまでもなく，この証明は私が天才だから思いついたものではありません．私は小行列式の間にこのようなシードとシード変異による組み合わせ構造があることを勉強して知っていたので，天下り的に証明したに過ぎません．ここで出てきたシードとそのシード変異によって生み出される組み合わせ構造をクラスター構造と呼びます（あるいはクラスター構造から定まる代数であるクラスター代数の構造とも呼ばれます）．2000年代初頭，FominとZelevinskyの2人の数学者がこの全正値性の研究をしているなかでクラスター構造の存在に辿り着きました[FZ02]．ちなみにほぼ同時期に，彼らとは独立してFockとGoncharovも幾何学的な観点から同じ概念に到達しています[FG06]．この構造は発見されてからこの20年の間に研究が進み，実は様々な数学の背景に普遍的に存在する組み合わせ構造であることがわかってきています．一例を挙げると，多元環の表現論，Lie理論，双曲幾何，結び目理論，整数論，微分方程式論，ゲージ理論など．意味のわからないレベルの応用の広さですね．このクラスター構造はまさに現代数学の最前線とも呼ぶべき研究対象であり，現在も様々な研究者によっていろんな角度から研究されています．この記事を通して，クラスター構造に興味を持っていただけたのであれば幸いです．おしまい．

参考文献

[Dem11] L. Demonet, Example of categorification of a cluster algebra, Proceedings of the 44th Symposium on Ring and Representation Theory (2011), 30--42.
[FG06] V. Fock and A. Goncharov, Moduli spaces of local systems and higher Teichmüller theory, Publ. Math. IHÉS, 103 (2006), 1--211.
[FZ02] S. Fomin and A. Zelevinsky, Cluster algebras I. Foundations, J. Amer. Math. Soc. 15 (2002), 497--529