[論文レビュー] Cluster X-varieties, amalgamation and Poisson-Lie groups

V. V. Fock, A. B. Goncharov|ArXiv.org|Aug 22, 2005

Advanced Algebra and Geometry被引用数 19

ひとこと要約

本稿は、正の単純根に結びついた基本的クラスター多様体のアンメルギングを用いて、中心が自明な分解型半単純実Lie群Gと関連するクラスター𝒳-多様体を導入する。これらの多様体からGへの標準的なポアソン写像を構成し、Gに標準的なポアソン=リー構造を備えたものとする。これによりG上の有理的座標が得られ、r-行列形式を避けてポアソン=リー群構造を新たに構成する。主な貢献は、クラスター構造とアンメルギングを通じたポアソン=リー群の幾何的実現であり、局所系のモジュライ空間やクラスター𝒳-多様体の量子化による非可換q-変形への応用を含む。

ABSTRACT

Starting from a split semisimple real Lie group G with trivial center, we define a family of varieties with additional structures. We describe them as the cluster X-varieties, as defined in math.AG/0311245. In particular they are Poisson varieties. We define Poisson maps of them to the group G with the standard Poisson-Lie structure. We introduce an operation of amalgamation of cluster varieties. Our varieties are amalgamations of elementary ones, assigned to positive simple roots of the root system of G. Some of them are very closely related to the double Bruhat cells. This paper is a building block in a description of the cluster structure of the moduli spaces of local systems on surfaces studied in math.AG/0311149.

研究の動機と目的

• 中心が自明な分解型半単純実Lie群Gと関連するクラスター𝒳-多様体を、基本的クラスター多様体のアンメルギングを用いて定義すること。
• Gに標準的なポアソン=リー構造を備えたこれらのクラスター𝒳-多様体から、標準的なポアソン写像を構成すること。
• クラスター構造から得られる有理的座標を用いて、Gの有理的パrametrizationを提供すること。
• r-行列形式を避けて、クラスター幾何学から出発してG上のポアソン=リー群構造を構築すること。
• クラスター𝒳-多様体の量子化とアンメルギングを用いて、量子群構造を一般化し、非可換なq-変形を導出すること。

提案手法

• 凍結頂点と歪対称行列ĝεij = εijdjを備えたクラスター種( I, I₀, ε, d )を用い、{xi,xj} = ĝεij xixjによりトーラス上のポアソン構造を定義する。
• アンメルギングは、凍結頂点を貼り合わせることで複数のクラスター種を結合し、クラスター構造およびポアソン構造を保存する。解凍により非凍結変数を許容する。
• 各正の単純根αに対して、次元r+1の分解代数的トーラスとして、基本的クラスター𝒳-多様体XJ(α)を定義し、Cartan行列によってポアソン構造を符号化する。
• アンメルギング多様体からGへのポアソン写像は、クラスター変換と有理的同型を用いて構成され、1つの多様体がGに有理的同型である。
• [FG2]の方法によるクラスター𝒳-多様体の量子化により、非可換なq-変形が得られ、量子群構造を一般化する。
• ℙ¹上に6点の配置を用いて、PGL₄における3重フラッグのモジュライ空間Conf₃(ℬ_{A₃})をクラスター𝒳-多様体として実現し、交比によって明示的な有理的座標を定義する。

実験結果

リサーチクエスチョン

• RQ1 分解型半単純Lie群G上のポアソン=リー群構造を、r-行列形式に依存せずにクラスター幾何学を用いてどのように構成できるか？
• RQ2 アンメルギングは、単純根に結びついた基本的構成要素からクラスター𝒳-多様体を構成する際に果たす役割は何か？
• RQ3 クラスター𝒳-多様体は、曲面上の局所系のモジュライ空間およびダブルブリュアットセルとどのように関係するか？
• RQ4 G上の標準的なポアソン=リー構造は、クラスター構造から得られる有理的座標によってどのように実現できるか？
• RQ5 クラスター𝒳-多様体の量子化は、標準的な量子群構造をどのように一般化するか？

主な発見

• PGL₄における3重フラッグのモジュライ空間Conf₃(ℬ_{A₃})に関連するクラスター𝒳-多様体は、ℙ¹上に6点を持つ安定曲線のモジュライ空間M₀,₆に関連するクラスター𝒢-多様体と同型である。
• 写像Φ: M₀,₆ → Conf₃(ℬ_{A₃})は、クラスター構造を尊重する有理的同型を提供し、Conf₃(ℬ_{A₃})上の有理的座標はℙ¹上6点の交比によって与えられる。
• Conf₃(ℬ_{A₃})上の座標X₁, X₂, X₃は、4つのベクトルの組の行列式の比として表現され、六角形の三角形分割に対応するクラスター変換の下で変化する。
• Conf₃(ℬ_{A₃})上のクラスター構造は、中心対称性の下での六角形の対称的三角形分割により、有限型B₂であることが示される。
• G上のポアソン=リー群構造はクラスター幾何学から再構成され、Gに有理的同型であるクラスター𝒳-多様体から、標準的なダーブル座標が得られる。
• クラスター𝒳-多様体の量子化により、非可換なq-変形が得られ、標準的な量子群構造を一般化する。