[论文解读] 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

一句话总结

本文通过将坐标环 $\mathcal{O}(\mathrm{G}^*)$ 嵌入与 $\mathrm{G}$-局部系统在单极穿孔圆盘上的模空间相关的丛泊松代数的商中，为对偶泊松-李群 $\mathcal{O}(\mathrm{G}^*)$ 建立了丛理论框架。关键成果是通过模空间上的 $\theta$ 函数以及在 Weyl 群不变量和单值关系下的下降，实现了具有正整数结构常数且在 braid 群作用下不变的 $\mathcal{O}(\mathrm{G}^*)$ 的自然基的构造。

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}^*)$ 嵌入与 $\mathrm{G}$-局部系统模空间相关的丛泊松代数的商中，解决其上缺乏相容丛结构的问题。
• 构造 $\mathcal{O}(\mathrm{G}^*)$ 的典范基，其结构系数为正整数，并在 braid 群作用下保持不变。
• 将量子群的丛实现推广至半经典极限，将 $\mathcal{O}(\mathrm{G}^*)$ 与模空间 $\mathscr{P}_{\mathrm{G},\odot}$ 的不变子代数联系起来。
• 通过 $\theta$ 函数，为将 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}^*)$。
• 对 $\mathscr{P}_{\mathrm{G},\odot}$ 的丛代数应用 Gross, Hacking, Keel, 和 Kontsevich 的 $\theta$ 基构造，得到具有正整数结构系数的基 $\Theta$。
• 对 $W$-轨道 $c \subset \Theta$ 定义 $W$-不变函数 $\theta_c = \sum_{\theta_i \in c} \theta_i$，构成 $W$-不变子代数的基。
• 利用单值元 $\mu^a$ 在 $\Theta$ 上的作用，通过模去理想 $\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}$ 上使用 $\theta$ 基构造，为 $\mathcal{O}(\mathrm{G}^*)$ 定义一个典范基，该基推广了 Lusztig 的对偶典范基？

主要发现

• 丛泊松代数 $\mathcal{O}_{\rm cl}(\mathscr{P}_{\mathrm{G},\odot})$ 与正则函数环 $\mathcal{O}(\mathscr{P}_{\mathrm{G},\odot})$ 重合，解决了关键结构性问题。
• $\mathcal{O}(\mathrm{G}^*)$ 作为泊松代数同构于商 $\mathcal{O}(\mathscr{P}_{\mathrm{G},\odot})^W / \mathcal{I}$，其中 $\mathcal{I}$ 是由 $\mu_i - 1$ 生成的理想。
• 通过 $\mathscr{P}_{\mathrm{G},\odot}$ 上的 $\theta$ 函数，构造了 $\mathcal{O}(\mathrm{G}^*)$ 的自然基 $\overline{\Theta}$，该基在 $W$-不变量和单值关系下下降至商。
• $\overline{\Theta}$ 的结构系数为正整数，其来源于 $\mathcal{O}(\mathscr{P}_{\mathrm{G},\odot})$ 的 $\theta$ 基 $\Theta$。
• $\overline{\Theta}$ 在 braid 群作用下不变，因为 braid 群通过保持 $\Theta$ 的丛变换作用于 $\mathcal{O}(\mathscr{P}_{\mathrm{G},\odot})$。
• 该构造与量子群嵌入的半经典极限相容，提示该基可推广至 $\mathcal{U}_q(\mathfrak{g})$ 的量子情形。