クラスター代数の基礎3
前回の続きです。ローラン現象という性質を見ていきます。何となくイメージが沸くようになったので理解が進んだ気がします。
4頂点公理について
クラスター代数が付随する交換パターンは単項式の集まりでした。これらが満たす公理は全部で四つありましたが、このうち単項式が伝播するための条件である4頂点公理について再考します。これはに対し、
が成り立つことを要請する公理でした。ここで、つまりとすれば、上の式は
と変形することができます。ここで単項式の指数は負の値を取り得ることに注意しましょう。
ローラン現象について
この関係を一般化します。以下では多項式の係数を変数と思うことで普遍的なものであると考えます。つまり多項式は、多重指数を用いてと表します。今を多項式、はローラン多項式とします。これらの係数全体が生成する自由アーベル群を、その整数係数群環をとします。この意味では係数の(ローラン)多項式と見なせます。特に係数であることに注意します。
多項式に対しが次の仮定を満たすとします。
- に対してはに依らず、またを満たす。
- が成り立つ。
この仮定からはに依らず、に対し真の多項式となることが分かります。つまり多重指数に対しを満たします。特にも係数であることに注意して下さい。
クラスター代数同様、頂点においてクラスター変数を考えます。に対し有理関数体の間の同型を
で与え、体の上でという関係が成り立つものとします。ローラン現象とは、全てのクラスター変数が、他のある一つのクラスター変数によるローラン多項式として表されることを指します。つまり次の定理が成り立ちます。
定理 頂点において、係数のによるローラン多項式全体をとする。このときが成り立つ。
この定理を繰り返し適用することで、様々なグラフに対してローラン現象を示すことができるようになります。特にクラスター代数のグラフに対しても有効で、基準となる頂点周りのn本の枝に付随する多項式全体及び、伝播条件から導かれるローラン多項式全体が与えられれば、これらの係数全体により生成される単位的部分環を係数としたのローラン多項式として、他のすべてのクラスター変数が書き下せることが分かります。
この現象に何か有意義な点があるかは素人目にはまだ謎ですが、取りあえず大きな予想として、非負係数のローラン多項式として書き下せることが考えられているそうです。
定理の証明
本質的に成分のみに注目して考えれば十分です。まずとします。次になので、と置きます。このときが成り立ちます。(仮定よりはに依らないのでとしてよい。同様にも表記する。)更にとすれば、を得ます。
さてより、これはのローラン多項式です。またなので、これもまたのローラン多項式です。分からないのはですが、次の主張が通ります。
主張 はのローラン多項式であり、特にがにおいて成り立つ。
より
が成り立ちます。ここでは多項式なので、第一項目の分子はで割り切れることが分かります。つまり第一項目はのローラン多項式になります。また第二項目は
であり、はに関して多項式なので、右辺はのローラン多項式になります。従ってが示せました。
続いてを考えると、これはを法としてと合同になります。はにおいて可逆ですから、互除法の思想を思い出せばになります。ところでの係数は自由群の生成元なので、両者は互いに素となります。また関数を定義すると
になりますが、これはに関して一次の多項式となります。なので、となりますが、右辺もやはり互いに素となります。以上により、主張の証明ができました。
続きます……。
参考文献
[1] Sergey Fomin, Andrei Zelevinsky. Cluster Algebra I: Foundations. arXiv:math/0104151v1 [math.RT] 13 Apr 2001.