[論文レビュー] Canonically positive basis of cluster algebras of type $A_2^{(1)}$

Giovanni Cerulli Irelli|arXiv (Cornell University)|Apr 16, 2009

Advanced Topics in Algebra被引用数 4

ひとこと要約

この論文は、T-およびY-系の再帰的関係を解くことにより、型 $A_2^{(1)}$ のクラスター代数の正規正の基底を構成し、基底の元が $mathbb{Z}^3$ によって $mathbf{g}$-ベクトルを用いてパラメータ化されること、および分母ベクトル写像が単射であることを証明することで、根格子の元の明示的分解が可能になる。

ABSTRACT

In this paper we study cluster algebras $\myAA$ of type $A_2^{(1)}$. We solve the recurrence relations among the cluster variables (which form a T--system of type $A_2^{(1)}$). We solve the recurrence relations among the coefficients of $\myAA$ (which form a Y--system of type $A_2^{(1)}$). In $\myAA$ there is a natural notion of positivity. We find linear $\BB$ of $\myAA$ such that positive linear combinations of elements of $\BB$ coincide with the cone of positive elements. We call these \emph{atomic bases} of $\myAA$. These are the analogue of the bases found by Sherman and Zelevinsky in type $A_{1}^{(1)}$. Every atomic basis consists of cluster monomials together with extra elements. We provide explicit expressions for the elements of such in every cluster. We prove that the elements of $\BB$ are parameterized by $\ZZ^3$ via their $\mathbf{g}$--vectors in every cluster. We prove that the denominator vector map in every acyclic seed of $\myAA$ restricts to a bijection between $\BB$ and $\ZZ^3$. In particular this gives an explicit algorithm to determine the virtual canonical decomposition of every element of the root lattice of type $A_2^{(1)}$. We find explicit recurrence relations to express every element of $\myAA$ as linear combinations of elements of $\BB$.

研究の動機と目的

• 型 $A_2^{(1)}$ のクラスター代数の正規正の基底を確立すること。
• クラスター変数と係数を支配するT系およびY系の再帰的関係を解くこと。
• 正の線形結合によって代数内の正の元の全錐を形成する基底 $\BB$ を特定すること。
• 各非巡回シードにおいて、$mathbf{g}$-ベクトルが $mathbb{Z}^3$ を通じて基底の元を双対的にパラメータ化することを証明すること。
• 型 $A_2^{(1)}$ の根格子の任意の元の仮想的正規分解を計算するためのアルゴリズムを提供すること。

提案手法

• 型 $A_2^{(1)}$ のT系を解き、クラスター変数間の再帰的関係を特定すること。
• 型 $A_2^{(1)}$ のY系を解き、係数間の再帰的関係を導出すること。
• クラスター単項式と追加の要素からなる原子的基底 $\BB$ を定義し、線形結合における正の性質を保証すること。
• 各非巡回シードにおいて、その $mathbf{g}$-ベクトルを用いて $\BB$ の元を $mathbb{Z}^3$ でパラメータ化すること。
• 各非巡回シードにおいて、分母ベクトル写像が $\BB$ から $\u0000mathbb{Z}^3$ への全単射に制限されることを証明すること。
• 代数の任意の元を $\BB$ の基底要素の線形結合として表すために、明示的な再帰的関係を導出すること。

実験結果

リサーチクエスチョン

• RQ1 型 $A_2^{(1)}$ のクラスター代数の正規正の基底の構造は何か？
• RQ2 T系およびY系の再帰的関係は、この代数におけるクラスター変数と係数をどのように支配するか？
• RQ3 各非巡回シードにおいて、$mathbf{g}$-ベクトルを用いて基底の元を $mathbb{Z}^3$ でパラメータ化できるか？
• RQ4 各非巡回シードにおいて、分母ベクトル写像が基底 $\BB$ から $\u0000mathbb{Z}^3$ への全単射か？
• RQ5 どのような明示的な再帰的関係が、代数の任意の元を基底 $\BB$ に分解可能にするか？

主な発見

• この論文は、型 $A_2^{(1)}$ のクラスター代数に対して、正の線形結合によって正の元の全錐を形成する原子的基底 $\BB$ を構成している。
• 基底 $\BB$ はクラスター単項式と追加の要素から構成され、各クラスターにおける各要素の明示的な表現が提供されている。
• 各非巡回シードにおいて、基底の元は $mathbf{g}$-ベクトルを用いて $mathbb{Z}^3$ によってパラメータ化されている。
• 各非巡回シードにおいて、分母ベクトル写像が $\BB$ から $\u0000mathbb{Z}^3$ への全単射に制限され、根格子の元の正規分解が可能になる。
• 代数の任意の元を $\BB$ の基底要素の線形結合として表すために、明示的な再帰的関係が導出された。
• これらの結果により、型 $A_2^{(1)}$ の根格子の任意の元の仮想的正規分解を計算するためのアルゴリズム的手法が得られた。