クラスター代数の基礎4
前回の続きです。今回はクラスター代数の交換パターンに着目して、係数無しクラスター代数の別表現を与えてみましょう。更にその部分クラスとして歪対称化可能な整数成分の行列から定まるクラスター代数を考えます。ここでようやく、良く知られた? 形が出てきたので一先ず安心しました。
係数無しクラスター代数の交換パターン
頂点に対して整数成分の行列を次のように定めます。枝には単項式が付随しますが、これらの指数部にのみ注目します。単項式の係数が1である交換パターンを見ていると考えても構いません。すると
となるので、とします。このとき逆に、単項式は
と表せます。以上によりクラスター代数に付随する行列の集合を与えることが出来ました。
一般に整数成分の行列が、或いはが互いに逆符号であるとき、 符号歪対称 (sign-skew-symmetric)であると言います。特に対角成分はゼロになります。これは割と広いクラスです。
次に行列に対する方向の 変異 (mutation)を定義します。変異をと表しましょう。若しくはのときと定め、それ以外の場合は
で定めます。これは一見奇妙ですが、やなどが示せます。
係数無しクラスター代数は、これら二つの概念を用いて次のように定式化できます。
定理 行列の集合に対し、これがあるクラスター代数に付随することと、以下の二条件を満たすことは同値となる。
- 各に対しは符号歪対称である。
- 枝に対しである。
この定理の何が嬉しいかというと、クラスター代数の全体像が符号歪対称行列の変異として眺められる点でしょうか。
定理の証明
まずクラスター代数に付随する行列達が2条件を満たすことを示しましょう。1頂点公理よりはに依りません。つまりです。対角成分以外の状況を見るために、を考えます。
と表せば、
となります。ここで3頂点公理から
を得ます。また逆に見て
を得ます。更に2頂点公理よりが成り立つので、これらを合わせるとが互いに逆符号であることが従います。
続いて二番目の条件を示します。まず定義からです。これは単項式の比がひっくり返るだけなので簡単です。に対しては4頂点公理を用います。を考えます。
なので、4頂点公理から
が成り立ちます。ここで置き換えの式
は、が正なら第一項が消え、負なら第二項が消え、ゼロなら置き換えが起きません。よって
と一致します。つまり
が成り立ちます。ここでの指数を比較するととなるので、確かに方向の変異となっています。一方ならの指数を比較してのときであり、そうでない場合はとなります。既に示したことからが分かるので、これを加味すれば二つの場合分けは一つの式
で表すことができます。
逆に2条件を満たす行列達があるクラスター代数に付随することは、
として係数1の交換パターンを定めることで示すことができます。面倒ですが四つの公理を示せば十分です。
歪対称化可能な行列から定まるクラスター代数
先の定理はクラスター代数の全体像を把握する分には有用ですが、符号歪対称性が変異によって保存されるとは限らない点が問題です。つまり原点上の行列から変異により交換パターンを生成していけるとは限りません。そこで変異により保存されるような性質を見つけ出し、交換パターンが原点上の行列から生成されるような対象を考えてみましょう。
行列に対し、ある正の整数を成分とした対角行列が存在してが歪対称行列となるとき、は 歪対称化可能 (skew-symmetrizable)であると言います。つまりを満たすようにできる行列です。行列を歪対称化行列(skew-symmetrizing matrix)と呼んだりします。
歪対称化可能なら符号歪対称です。それだけでなく、変異を施しても歪対称化可能で、さらに元の行列と歪対称化行列を共有します。実際をで歪対称化可能な行列とします。の成分は、またはのとき
となり、それ以外の場合は
となります。以上により歪対称化可能な行列から、クラスター代数を生成することができるようになりました。
続きます……。
参考文献
[1] Sergey Fomin, Andrei Zelevinsky. Cluster Algebra I: Foundations. arXiv:math/0104151v1 [math.RT] 13 Apr 2001.