[論文レビュー] An action of the cactus group

André Henriques|arXiv (Cornell University)|May 21, 2007

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

本稿は、$r^3 = 1$、$\iota^2 = 1$、$d_i \circ r = r \circ d_{i-1}$ を満たす多様体の図式から関手的構成を用いて、$\mathcal{A}(n) = (\mathcal{F} \ell_m)^n / SL_m$ の完全正部分 $\mathcal{A}(n)_{>0}$ に、大きなカクタス群 $J'_n$ の作用を構成する。主な結果は、クラスター的でもラテン的でもない作用であり、これはクラスター写像と体積形式を反転させる双対写像の合成から生じ、 canonical な前シンプレクティック形式を符号を除いて保存する。

ABSTRACT

We construct an action of the big cactus group (the fundamental group of the Deligne-Mumford compactification of the moduli space of real curves of genus zero with n undistinguished marked points) on Fock-Goncharov's SL_m analog of the decorated Teichmuller space of ideal n-gons.

研究の動機と目的

• $(\mathcal{F} \ell_m)^n / SL_m$ の空間の完全正部分 $\mathcal{A}(n)_{>0}$ に、大きなカクタス群 $J'_n$ の幾何的作用を定義すること。
• クリスタル上のブレード群に類似した作用を、旗多様体内の正幾何に一般化してカクタス群作用を構成すること。
• $\mathcal{A}(n)_{>0}$ に、クラスター的でもラテン的でもない作用を定義し、canonical な前シンプレクティック形式を符号を除いて保存すること。
• 特定の関係を満たす多様体の図式と、三角形分割された $n$-角形を用いた関手的枠組みを確立すること。

提案手法

• 対象として $\triangle$（向き付けられた三角形）と $I$（非向き付けられた区間）をもつ圏 $\mathcal{C}$ から反変関手 $X_\bullet$ を構成し、$X_\triangle = \mathcal{A}(3)_{>0}$ および $X_I = \mathcal{A}(2)_{>0}$ を用いる。
• $r: X_\triangle \to X_\triangle$（位数3）、$\iota: X_\triangle \to X_\triangle$（対合）、$d_i: X_\triangle \to X_I$ を実装し、$r^3 = 1$、$\iota^2 = 1$、$d_i \circ r = r \circ d_{i-1}$ を満たす。
• $\widehat{\mathcal{C}}$、すなわち向き付けられた2次元単体的複体で、連結なリンクを持つものからなる圏に、余極限を用いて関手を拡張する。
• $\tau: X_\triangle \to X_\triangle$ を、4点付き旗空間におけるクラスター交換写像の合成として定義する。
• $\theta: X_\triangle \to X_\triangle$ を、3つの旗の組を逆直交的組に写す双対写像として定義し、体積形式と前シンプレクティック形式を符号反転させる。
• 三角形分割された $n$-角形への関手的割り当てを用いて、$\mathcal{A}(n)_{>0}$ に $J'_n$-作用を得る。ここで $J'_n$ は $[\overline{M}_{0,n}(\mathbb{R})/S_n]$ の基本群として実現される。

実験結果

リサーチクエスチョン

• RQ1 大きなカクタス群 $J'_n$ は、旗のモジュライ空間の正部分にどのように実現可能か？
• RQ2 $\mathcal{A}(n)_{>0}$ におけるカクタス群作用の背後にある幾何的・代数的構造は何か？
• RQ3 なぜこの作用はクラスター的でないのか。双対写像 $\theta$ はラテン現象を破る役割を果たすのか？
• RQ4 この作用は $\mathcal{A}(n)_{>0}$ 上のクラスター構造と前シンプレクティック形式とどのように関係しているか？
• RQ5 $r^3=1$、$\iota^2=1$、$d_i \circ r = r \circ d_{i-1}$ を満たす多様体の図式から、$\mathcal{A}(n)_{>0}$ に $J'_n$-作用を得られるか？

主な発見

• $J'_n$ は、$r^3 = 1$、$\iota^2 = 1$、$d_i \circ r = r \circ d_{i-1}$ を満たす多様体の図式からの関手的構成によって、$\mathcal{A}(n)_{>0}$ に作用する。
• この作用はクラスター的ではない。これは、ラテン性を保存せず、canonical な前シンプレクティック形式も保存しない。
• この作用がクラスター的でない理由は、写像 $\theta$ に起因する。$\theta$ はクラスター写像と、クラスター行列と前シンプレクティック形式の符号を反転させる自己同型の合成である。
• $\mathcal{A}(n)_{>0}$ は $\mathbb{R}_{>0}^{(n-2)\binom{m+1}{2} + (m+1) - n}$ に同型であり、一般化されたPlücker型関係を満たす $\Delta_{i_1\ldots i_n}$ でパラメトライズされる。
• $m=2$ の場合、$\mathcal{A}(n)_{>0}$ は装飾付き理想 $n$-角形のティヒミュラー空間に一致し、$\Delta_{ij} = \exp(\frac{1}{2}d_{ij})$ で与えられる。
• $\mathcal{A}(n)_{>0}$ 上の作用は三角形分割と整合的であり、各三角形分割が自然に図（2）のボレュームの点と一対一対応する座標系を提供する。