[论文解读] Asymptotics for general connections at infinity

Carlos Simpson|arXiv (Cornell University)|Nov 28, 2003

Geometric and Algebraic Topology参考文献 29被引用 3

一句话总结

本文证明了在紧致黎曼曲面上的 de Rham 模空间中，当联络趋于无穷时，其单值矩阵的拉普拉斯变换在复平面上具有局部有限奇点的解析延拓。关键结果是：由这些奇点决定的指数增长速率的凸包是一个多边形，其顶点与谱曲线上分段同伦提升上基本1-形式的积分相关联，尽管奇点的精确性质尚不明确。

ABSTRACT

For a standard path of connections going to a generic point at infinity in the moduli space $M_{DR}$ of connections on a compact Riemann surface, we show that the Laplace transform of the family of monodromy matrices has an analytic continuation with locally finite branching. In particular the convex subset representing the exponential growth rate of the monodromy is a polygon, whose vertices are in a subset of points described explicitly in terms of the spectral curve. Unfortunately we don't get any information about the size of the singularities of the Laplace transform, which is why we can't get asymptotic expansions for the monodromy.

研究动机与目标

• 理解联络在 de Rham 模空间中趋于无穷时，单值矩阵的渐近行为。
• 分析单值矩阵在退化为一般 Higgs 纤维丛时的指数增长速率结构。
• 确定单值函数拉普拉斯变换中奇点的几何与解析性质。
• 阐明谱曲线及其基本1-形式在控制单值渐近结构中的作用。

提出的方法

• 使用亚纯规范变换，将联络族约化为形式 $ d + B + tA $，其中 $ B $ 可能有极点。
• 应用先前关于奇摄动的工作中的技术，并将其调整以处理 $ B $ 中的极点。
• 定义单值矩阵族 $ m(t) $ 的拉普拉斯变换 $ f(\zeta) $，并研究其解析延拓。
• 将 $ f(\zeta) $ 的奇点集合刻画为谱曲线上分段同伦提升上基本1-形式 $ \alpha $ 的复积分集合 $ \Sigma(\gamma) $。
• 通过分析拉普拉斯变换中奇点的位置，证明指数增长速率的凸包 $ \mathbf{hull}(m) $ 是一个多边形。
• 使用特化论证和 Hartogs 定理，证明对于一般 Higgs 纤维丛，至少一个单值矩阵具有多个奇点，从而表明其具有非平凡增长。

实验结果

研究问题

• RQ1 在 $ M_{\mathrm{DR}} $ 中，联络趋于无穷时，单值矩阵拉普拉斯变换的奇点结构是什么？
• RQ2 单值矩阵的指数增长速率如何通过其拉普拉斯变换的解析性质编码？
• RQ3 能否用谱曲线及其基本1-形式，从几何上刻画指数增长速率的凸包？
• RQ4 拉普拉斯变换的奇点是否局限于连续同伦提升，还是也包括更一般的分段提升？
• RQ5 对于一般 Higgs 纤维丛，单值表示是否表现出严格指数增长？这一结论能否从奇点位置推导得出？

主要发现

• 单值矩阵族 $ m(t) $ 的拉普拉斯变换 $ f(\zeta) $ 在定义6.2中所述的意义下，于 $ \mathbb{C} $ 上具有局部有限分支的解析延拓。
• 函数 $ f(\zeta) $ 的奇点集合包含于 $ \Sigma(\gamma) $，即谱曲线上分段同伦提升上基本1-形式 $ \alpha $ 的积分集合。
• 指数增长速率的凸包 $ \mathbf{hull}(m) $ 是一个多边形，其顶点为 $ \Sigma(\gamma) $ 中点的子集，且明确与谱曲线数据相关。
• 对于一般 Higgs 纤维丛，至少一个单值矩阵在其拉普拉斯变换中具有多个奇点，表明单值矩阵并非多项式或单指数型增长。
• 单值表示 $ \rho_t $ 的 Procesi 坐标 $ R_i(t) $ 同样具有多边形凸包，且对一般 $ (E,\theta) $，至少一个 $ R_i $ 为拟严格指数型，意味着在大多数方向上 $ |\rho_t| \geq c e^{a|t|} $。
• 尽管有上述结果，$ f(\zeta) $ 在其奇点附近的性质仍未知——尚未建立其增长的任何界（如多项式或其他形式），因此渐近展开尚不可及。