[論文レビュー] Duals of semisimple Poisson-Lie groups and cluster theory of moduli spaces of G-local systems

Linhui Shen|arXiv (Cornell University)|Mar 17, 2020

Algebraic structures and combinatorial models参考文献 17被引用数 5

ひとこと要約

本稿は、一回穿孔されたディスク上の G-局所系のモジュライ空間に関連するクラスター・ポアソン代数の商に埋め込むことにより、双対ポアソン＝リー群 $\mathcal{O}(\mathrm{G}^*)$ の座標環にクラスター理論的枠組みを確立する。主な結果は、モジュライ空間上のシータ関数を介して実現され、ワイル群の不変性およびモノドロミー関係による降下を経て得られる、正の整数構造定数と braid 群作用に関して不変である自然な基底の構成である。

ABSTRACT

We study the dual ${ m G}^\ast$ of a standard semisimple Poisson-Lie group ${ m G}$ from a perspective of cluster theory. We show that the coordinate ring $\mathcal{O}({ m G}^\ast)$ can be naturally embedded into a cluster Poisson algebra with a Weyl group action. We prove that $\mathcal{O}({ m G}^\ast)$ admits a natural basis which has positive integer structure coefficients and satisfies an invariance property with respect to a braid group action. We continue the study of the moduli space $\mathscr{P}_{{ m G},\mathbb{S}}$ of ${ m G}$-local systems introduced in \cite{GS3}, and prove that the coordinate ring of $\mathscr{P}_{{ m G}, \mathbb{S}}$ coincides with its underlying cluster Poisson algebra.

研究の動機と目的

• 双対ポアソン＝リー群 $\mathrm{G}^*$ の座標環 $\mathcal{O}(\mathrm{G}^*)$ に、自然なクラスター構造が存在しないことから、クラスター理論的枠組みを確立すること。
• $\mathcal{O}(\mathrm{G}^*)$ に適合するクラスター構造が欠如している問題を、G-局在系のモジュライ空間に関連するクラスター・ポアソン代数の商への埋め込みによって解決すること。
• 正の整数構造係数と braid 群作用に関して不変である、$\mathcal{O}(\mathrm{G}^*)$ のための標準的基底を構成すること。
• 量子群のクラスター実現を半古典的極限に一般化し、$\mathcal{O}(\mathrm{G}^*)$ をモジュライ空間 $\mathscr{P}_{\mathrm{G},\odot}$ の不変部分代数に結びつけること。
• Lusztig の双対自己双対基底を、$\mathcal{U}_q(\mathfrak{g})$ 全体に拡張するための幾何学的・代数的基盤を提供すること。

提案手法

• $\mathcal{O}(\mathrm{G}^*)$ を、一回穿孔されたディスク上の $\mathrm{G}$-局在系のモジュライ空間 $\mathscr{P}_{\mathrm{G},\odot}$ の座標環の $W$-不変部分代数に埋め込み、単純根に対応する $\mu_i - 1$ で生成されるイデアルを除く。
• $\mathscr{P}_{\mathrm{G},\odot}$ に存在するクラスター・ポアソン構造（正規関数と一致することが示されている）を用い、$\mathcal{O}(\mathrm{G}^*)$ にクラスター理論的道具を持ち上げる。
• Gross, Hacking, Keel, Kontsevich のシータ基底構成を $\mathscr{P}_{\mathrm{G},\odot}$ のクラスター代数に適用し、正の整数構造係数を持つ基底 $\Theta$ を得る。
• $W$-軌道 $c \subset \Theta$ に対して $W$-不変関数 $\theta_c = \sum_{\theta_i \in c} \theta_i$ を定義し、$W$-不変部分代数の基底を構成する。
• $\Theta$ 上でのモノドロミー作用素 $\mu^a$ の作用を用い、$\mathcal{I}$ による商をとることで基底を $\mathcal{O}(\mathrm{G}^*)$ に降下させ、正の性質と不変性を保つ。
• 量子群埋め込み $\mathcal{U}_q(\mathfrak{g}) \to \mathcal{O}_q(\mathscr{P}_{\mathrm{G},\odot})^W / \mathcal{I}$ の半古典的極限を活用し、古典的および量子的設定を結びつける。

実験結果

リサーチクエスチョン

• RQ1 半単純ポアソン＝リー群の座標環 $\mathcal{O}(\mathrm{G}^*)$ は、幾何的埋め込みによってクラスター構造を備えられるか？
• RQ2 $\mathcal{U}_q(\mathfrak{g})$ における braid 群作用は、$\mathcal{O}(\mathrm{G}^*)$ にうまく定義された作用に降下し、標準的基底を不変にするか？
• RQ3 クラスター理論的手法を用いて、$\mathcal{O}(\mathrm{G}^*)$ に正の整数構造係数を持つ基底を構成できるか？
• RQ4 $\mathscr{P}_{\mathrm{G},{\mathbb{S}}}$ のクラスター・ポアソン代数は、その正則関数環と同型か？
• RQ5 $\mathscr{P}_{\mathrm{G},\odot}$ 上のシータ基底構成を用いて、Lusztig の双対自己双対基底を一般化した $\mathcal{O}(\mathrm{G}^*)$ のための標準的基底を定義できるか？

主な発見

• クラスター・ポアソン代数 $\mathcal{O}_{\rm cl}(\mathscr{P}_{\mathrm{G},\odot})$ は、正則関数環 $\mathcal{O}(\mathscr{P}_{\mathrm{G},\odot})$ と一致する。これは、主要な構造的問題を解決する。
• $\mathcal{O}(\mathrm{G}^*)$ は、$\mathcal{I}$ を $\mu_i - 1$ で生成するイデアルとして、$\mathcal{O}(\mathscr{P}_{\mathrm{G},\odot})^W / \mathcal{I}$ とポアソン代数として同型である。
• $\mathscr{P}_{\mathrm{G},\odot}$ 上のシータ関数を介して得られる自然な基底 $\overline{\Theta}$ が、$W$-不変性およびモノドロミー関係による降下を経て $\mathcal{O}(\mathrm{G}^*)$ に導かれる。
• $\overline{\Theta}$ は、$\mathcal{O}(\mathscr{P}_{\mathrm{G},\odot})$ のシータ基底 $\Theta$ から引き継がれる正の整数構造係数を持つ。
• $\overline{\Theta}$ は、braid 群作用に関して不変である。これは、braid 群が $\mathcal{O}(\mathscr{P}_{\mathrm{G},\odot})$ 上でクラスター変換を介して $\Theta$ を不変に保つからである。
• この構成は、量子群埋め込みの半古典的極限と整合的であり、$\mathcal{U}_q(\mathfrak{g})$ への基底の量子一般化を示唆する。