クラスター代数の基礎2
前回の続きです。定義がWikipediaや他の人のpdfにあるのと違う気がして不安です。
ランク2の例を見る前に、交換パターンの対合を定義しましょう。対合(involution)は以下で定まる交換パターンのことです。なるに対し、と定めます。このとき単項式の集合は前回紹介した四つの公理を満たします。新しくできた交換パターンをの対合といいます。
ランク2の例
の場合は
となります。取りあえず生成元を考えましょう。まずよりを得ます。またよりを得ます。同様にやなどを得ます。これをグラフに記入すると、こんなイメージを得ます。
枝を挟んだ外側に同じが配置されていることが分かります。
次に交換パターンを見ていきます。まず1頂点公理より
と書けます。前回説明した通り、を中心とした四つの単項式から、他の全ての単項式の指数部が求まります。ここで2頂点公理よりは共通する変数を持ちません。故にを得ます。同様にも従います。に対する3頂点公理からは及びが導かれます。両者はそれぞれ及びを意味しています。
このことから、二つの場合に帰着されることが分かります。一つ目はの場合で、このときと置くことにします。もう一方はの場合で、となります。実は両者のパターンは対合により結び付けることができ、同一のパターンを与えていると見なせます。そこで、前者の場合を考えることにします。
生成元のときと同様に、単項式をグラフに記入します。
ここで簡単のために、頂点の左側の単項式の係数を、右側の単項式の係数をと置くことにします。このときグラフは
と描けます。
以上を整理すると、周りの単項式達は及びとなります。この記号の下で交換関係式を書き下せば
となります。この関係を伝播させていきましょう。
この状況からを求めます。4頂点公理より
より、を得ます。同様にも分かります。あとはこの繰り返しで、添え字を2ずらした関係式が成り立つことが分かります。
係数群としては、例えば固定されたに対し、が関係
の下で生成するアーベル群などが考えられます。
続きます……
参考文献
[1] Sergey Fomin, Andrei Zelevinsky. Cluster Algebra I: Foundations. arXiv:math/0104151v1 [math.RT] 13 Apr 2001.