[论文解读] Finite braid group orbits in Aff(C)-character varieties of the punctured sphere

Gaël Cousin, Delphine Moussard|arXiv (Cornell University)|Apr 14, 2016

Algebraic Geometry and Number Theory参考文献 15被引用 3

一句话总结

本文使用凝聚和有限复反射群，对 $ n \geq 4 $ 个穿孔的黎曼球面的 $ \mathrm{Aff}(\mathbb{C}) $-特征簇中有限 braid 群轨道进行了完整分类。关键结果精确识别出哪些线性单值部分会产生有限轨道，从而为 Garnier 系统的代数解提供了新表征，并与 $ F_D $-型 Lauricella 超几何函数建立了联系。

ABSTRACT

We give a complete description of finite braid group orbits in Aff(C)-character varieties of the punctured Riemann sphere. This is performed thanks to a coalescence procedure and to the theory of finite complex reflection groups. We then derive consequences in the theory of differential equations. These concern algebraicity of isomonodromic deformations for reducible rank two logarithmic connections on the sphere, the Riemann-Hilbert problem and F_D-type Lauricella hypergeometric functions.

研究动机与目标

• 对 $ n \geq 4 $ 个穿孔的黎曼球面的 $ \mathrm{Aff}(\mathbb{C}) $-特征簇中纯 braid 群作用的所有有限轨道进行分类。
• 建立有限 braid 群轨道与 $ \mathbb{CP}^1 $ 上秩 2 可约对数联络的代数可化等单值形变之间的联系。
• 通过单值群的有限性，为 Garnier 系统和 $ F_D $-型 Lauricella 超几何函数的代数解提供新的表征。
• 系统研究有限复反射群 $ G_{25} $ 和 $ G_{32} $ 在特征簇及其在 $ \mathbb{C}\mathbb{P}^2 $ 和 $ \mathbb{C}\mathbb{P}^3 $ 上的动力学背景下的性质。
• 展示 Schlesinger 变形的平坦联络与描述 $ F_D $-超几何函数的联络之间的共轭关系，从而恢复并改进 Schwarz 对 $ F_D $-系统的列表。

提出的方法

• 使用凝聚过程将 $ n $-穿孔情形的研究简化为更低 $ n $ 的情形，从 $ n=4 $ 开始。
• 将 braid 群作用简化为由仿射表示的线性部分参数化的线性动力学，固定线性部分。
• 应用 Shephard-Todd 对有限复反射群的分类，分析 $ G_{25} $ 和 $ G_{32} $ 在 $ \mathbb{C}\mathbb{P}^2 $ 和 $ \mathbb{C}\mathbb{P}^3 $ 上的轨道有限性。
• 构造常数矩阵 $ G = K + L + M $，将平坦联络 $ d_\theta $ 共轭到 $ F_D $-超几何系统，给出 $ K $、$ L $ 和 $ M $ 的显式公式。
• 使用行列式公式 $ \det(G) = (-1)^{N+1}\theta_1(\alpha\theta_{N+1})^N $ 验证共轭关系并分析单值性有限性。
• Schlesinger 系统与 $ F_D $-超几何系统之间在射影单值性上的对应关系，使 Schwarz 型条件得以恢复。

实验结果

研究问题

• RQ1 在 $ n $-穿孔球面的基本群的 $ \mathrm{Aff}(\mathbb{C}) $-表示中，哪些线性单值部分会产生有限 braid 群轨道？
• RQ2 如何利用凝聚过程将 $ n > 4 $ 情形的有限轨道分类简化为更低 $ n $，特别是 $ n=4 $ 的情形？
• RQ3 $ F_D $-超几何函数的有限分支与特征簇中 braid 群轨道的有限性之间存在何种精确对应关系？
• RQ4 Schlesinger 联络与 $ F_D $-超几何系统之间的共轭关系如何实现对 $ F_D $-系统 Schwarz 列表的新推导？
• RQ5 参数 $ \alpha, \beta_1, \ldots, \beta_N, \gamma $ 满足何种条件时，$ F_D $-超几何函数具有有限分支？它们与单值性有限性的关系如何？

主要发现

• 当 $ n=4 $ 时，有限 braid 群轨道存在当且仅当线性部分生成 $ \mathrm{GL}_2(\mathbb{C}) $ 的有限子群，如 Schwarz 所分类。
• 凝聚方法允许通过归约到 $ n=4 $ 情形并仅分析有限多个线性群，从而对 $ n \geq 4 $ 的情形实现有限轨道的完整分类。
• $ \mathbb{C}\mathbb{P}^2 $ 和 $ \mathbb{C}\mathbb{P}^3 $ 中的有限轨道被完全分类，分别对应复反射群 $ G_{25} $ 和 $ G_{32} $。
• 本文提供了显式共轭矩阵 $ G = K + L + M $，将 Schlesinger 变形的平坦联络与 $ F_D $-超几何系统关联起来，且满足 $ \det(G) = (-1)^{N+1}\theta_1(\alpha\theta_{N+1})^N $。
• 定理 6.3.1 表明，当 $ N > 1 $ 时，$ F_D $-超几何函数具有有限分支当且仅当：(a) $ N=2 $ 且四个 $ \theta_i $ 满足模 $ \mathbb{Z} $ 为 $ \pm\frac{1}{6} $，或 (b) $ N=3 $ 且全部六个 $ \theta_i $ 满足模 $ \mathbb{Z} $ 为 $ \pm\frac{1}{6} $。
• 本研究恢复并改进了对不可约 $ F_D $-超几何函数的 Schwarz 列表，对可约情形提供了关于平移部分和轨道结构的附加数据。