[论文解读] Doubly periodic monopoles and $q$-difference modules

Takuro Mochizuki|arXiv (Cornell University)|Feb 10, 2019

Algebraic Geometry and Number Theory参考文献 28被引用 8

一句话总结

本文通过扭量参数参数化，建立了具有双周期几何结构的3-流形上亚纯双周期单极子与椭圆曲线上抛物 $q$-差分模之间的 Kobayashi-Hitchin 对应关系。关键结果是所关联的 $q$-差分模结构对局部坐标选择的独立性，证明了在 $q$-差分设定下类似于非交换 Hodge 理论的典范对应关系。

ABSTRACT

An interesting theme in complex differential geometry is to find a correspondence between algebraic objects and differential geometric objects. One of the most attractive is the non-abelian Hodge theory of Simpson. In this paper, pursuing an analogue of the non-abelian Hodge theory in the context of $q$-difference modules, we study Kobayashi-Hitchin correspondences between doubly periodic monopoles and parabolic $q$-difference modules, depending on twistor parameters.

研究动机与目标

• 通过在几何对象（双周期单极子）与代数对象（$q$-差分模）之间构建对应关系，将非交换 Hodge 理论推广至 $q$-差分设定。
• 定义并研究椭圆曲线上具有良好滤子和 Dirac 型奇点的抛物 $q$-差分模。
• 建立亚纯双周期单极子与抛物 $q$-差分模之间的典范对应关系，且该对应关系不依赖于局部坐标的选择。
• 将先前关于差分模与单极子的结果推广至双周期情形与 $q$-差分结构的情形。
• 在复微分几何中提供 Kobayashi-Hitchin 对应关系的 $q$-差分类比。

提出的方法

• 构造一个 3-流形 $\mathcal{M} = \mathbb{R} \times T^0$，作为 $\mathbb{R} \times \mathbb{C}$ 关于格子 $\Gamma$ 的商，其中 $T^0$ 为椭圆曲线。
• 将亚纯双周期单极子定义为满足 $\mathcal{M} \setminus Z$ 上 Bogomolny 方程的元组 $(E,h,\nabla,\phi)$，具有 Dirac 型奇点且在无穷远处曲率有界。
• 通过满足 $\Phi^*(f) = f(\mathfrak{q} y)$ 的自同态 $\Phi^*$ 构造 $q$-差分 ${\mathbb{C}}[y,y^{-1}]$-模，并在有限与无穷远点定义抛物结构。
• 利用具有 Dirac 型奇点的滤子丛，通过扭量参数 $\lambda$ 将单极子关联至 $\mathfrak{q}^\lambda$-差分模，其中滤子由 $\partial_t$-平坦截面的增长性决定。
• 通过证明滤子与抛物数据在重标度下不变，证明所得到的抛物 $q$-差分模对局部坐标 $({\tt e}_1, {\tt s}_1)$ 的选择是独立的。
• 通过 $\mathfrak{t}^\lambda({\tt e}_1,{\tt s}_1)$ 对抛物结构进行重标度，从而在 $T^\lambda$ 上获得典范模结构。

实验结果

研究问题

• RQ1 在抛物结构与扭量参数存在的情况下，能否在双周期单极子与 $q$-差分模之间建立 Kobayashi-Hitchin 对应关系？
• RQ2 与单极子相关的 $q$-差分模结构如何依赖于扭量空间上局部坐标的选择？
• RQ3 何种条件可确保由单极子导出的滤子 $q$-差分模对平凡化或标架的选择是独立的？
• RQ4 $q$-差分模上的滤子如何与连接下平坦截面的渐近行为相关联？
• RQ5 是否存在一种典范方式，可将抛物 $q$-差分模关联至任意亚纯双周期单极子，而无需依赖局部数据？

主要发现

• 与单极子相关的抛物 $q$-差分模 $\tt H^{(\mathfrak{t}^\lambda)}(\widetilde{\tt E}_{({\tt e}_1,{\tt s}_1)\ast})$ 对局部坐标 $({\tt e}_1, {\tt s}_1)$ 的选择是独立的，从而建立了典范对应关系。
• 滤子结构 $\widetilde{\tt E}_{({\tt e}_1,{\tt s}_1)\ast}$ 仅依赖于底层全纯丛 $(E, \overline{\partial}_E)$，而与度量或连接无关。
• 滤子 $\mathfrak{F}_\pm({\tt e}_1,{\tt s}_1)$ 与 $\mathcal{F}_\pm({\tt e}_1,{\tt s}_1)$ 由 $\partial_t$-平坦截面的增长阶数表征，确保了其几何不变性。
• 差值 $\tt t({\tt e}_1,{\tt s}_1) - \mathfrak{t}^\lambda({\tt e}_1,{\tt s}_1) \cdot \frac{\log|{\tt U}|}{\log|\mathfrak{q}^\lambda|}$ 对 $({\tt e}_1,{\tt s}_1)$ 是独立的，这表明重标度后的抛物结构具有不变性。
• 同构 $f_{({\tt e}_1,{\tt s}_1)}: \mathcal{M}^\lambda \to \mathcal{M}_{\mathfrak{q}^\lambda}$ 保持滤子模结构，证实了在不同平凡化之间的一致性。
• 最终的 $q$-差分模结构在 $T^\lambda = \mathbb{C}^* / (\mathfrak{q}^\lambda)^\mathbb{Z}$ 上定义良好，提供了全局对应关系。