[论文解读] Twisted wild character varieties

Philip Boalch, Daisuke Yamakawa|arXiv (Cornell University)|Dec 26, 2015

Algebraic Geometry and Number Theory参考文献 23被引用 37

一句话总结

本文通过将野生特征丛的代数构造扩展至包含涉及分数幂（分支情形）的正式法式型的 Stokes 数据，以及由非平凡群扭子（torsor）扭动的局部系统，引入了扭曲的野生特征丛。关键贡献在于为扭曲 Stokes 表示建立了拟哈密顿框架，推广了未扭曲情形，并由此产生与 Painlevé 层次结构及环面扭结的 HOMFLY 多项式相关的新例子。

ABSTRACT

We will construct twisted versions of the wild character varieties.

研究动机与目标

• 将野生特征丛的代数构造扩展至包含涉及分数幂（分支情形）的正式法式型 Stokes 数据的扭曲 Stokes 局部系统，如 Airy 方程所示。
• 纳入由非平凡群扭子扭动的局部系统，动机源于 2D TQFT 和 BPS 态计数中的应用。
• 将特征丛的拟哈密顿框架推广至扭曲情形，保持辛与泊松结构。
• 建立扭曲野生特征丛与已知可积系统（如 Painlevé I 层次结构与 Mumford 系统）之间的联系。
• 为将 Dynkin 图分类与乘法 quiver 变体推广至扭曲情形奠定基础。

提出的方法

• 将拟哈密顿方法适配于扭曲 Stokes 表示，使用群作用与取值于扭曲群的矩映射。
• 将扭曲特征丛构造为光滑仿射簇关于半单群的乘法辛商，其矩映射包含扭曲 Stokes 乘子。
• 使用分支覆盖映射 $\pi: \Delta' \to \Delta$, $w \mapsto z = w^r$，将扭曲情形约化至覆盖空间上的未扭曲情形。
• 将基盘上的局部系统与 Stokes 数据上拉至分支覆盖，确保特征格在 $\partial'$ 上上拉为常数格。
• 通过从 $\Delta'$ 上的未扭曲情形拉回定义扭曲情形下的 Stokes 群，证明对 $\Delta'$ 的第一叶上的 $d$ 有 $\operatorname{Sto}_{\pi(d)} = \operatorname{Sto}'_d$。
• 采用不规则类型 $Q = \sum A_i/w^i \in \mathfrak{t}((w))/\mathfrak{t}[[w]]$ 的形式语言，以未扭曲数据描述扭曲不规则类型。

实验结果

研究问题

• RQ1 如何将野生特征丛的代数构造推广至包含涉及分数幂的正式法式型 Stokes 数据的情形？
• RQ2 在局部系统为非平凡群的扭子时，扭曲 Stokes 表示的恰当拟哈密顿结构是什么？
• RQ3 扭曲野生特征丛如何与已知可积系统（如 Painlevé I 层次结构与 Mumford 系统）关联？
• RQ4 能否将通过 Dynkin 图对野生特征丛进行分类的方法推广至扭曲情形？
• RQ5 扭曲 Stokes 数据与扭结不变量（如环面扭结的 HOMFLY 多项式）之间存在何种几何关系？

主要发现

• 空间 $\,{}_{G}^{\phantom{c}}\mathcal{A}_{H}^{c} = G \times H(\partial) \times U_{\pm}^{(k)}$ 是一个具有矩映射 $\mu = (\mu_G, \mu_H)$ 的扭曲拟哈密顿 $G \times H$-空间，其中 $\mu_G(C, \mathbf{S}, h) = C^{-1} h S_k \cdots S_1 C$ 且 $\mu_H(C, \mathbf{S}, h) = h^{-1}$。
• 在分支覆盖上，扭曲 Stokes 群同构于未扭曲 Stokes 群，且对 $\Delta'$ 的第一叶上的 $d$ 有 $\operatorname{Sto}_{\pi(d)} = \operatorname{Sto}'_d$。
• 分支覆盖构造使得扭曲情形可约化为未扭曲情形，确保 Stokes 数据与群结构的定义良好且几何一致。
• 此处构造的扭曲野生特征丛微分同胚于野生 Hitchin 空间的基础微分流形，将其与超凯勒几何及可积系统联系起来。
• 该框架为 SYZ 镜像对称程序中特殊拉格朗日子纤维化的研究提供了自然设置，且对偶性在对偶环面纤维化下封闭。
• 基于 Stokes 图的拓扑结构，建立了与 $I = \langle z^{-c}\rangle$ 的扭曲野生特征丛和环面扭结的 HOMFLY 多项式之间的猜想性联系。