[论文解读] Diagrams and irregular connections on the Riemann sphere

Jean Douçot|arXiv (Cornell University)|Jul 6, 2021

Advanced Algebra and Geometry被引用 2

一句话总结

本文提出了一种广义的图解框架，用于描述黎曼球面上具有非正则奇点的代数联络，将Boalch–Yamakawa的构造推广至包含多个、可能具有分支的非正则奇点的情形。证明了该图在Weyl代数的辛自同构（包括傅里叶–拉普拉斯变换）下保持不变，并表明不同形式的Painlevé型方程的Lax表示可直接从该图中提取，对应于不同形式单值性数据和不同秩的向量丛。

ABSTRACT

We define a diagram associated to any algebraic connection on a vector bundle on a Zariski open subset of the Riemann sphere, extending the definition of Boalch-Yamakawa to the general case featuring several irregular singularities, possibly ramified. We prove that the diagram is invariant under the symplectic automorphisms of the Weyl algebra, encompassing the Fourier-Laplace transform. As an application, we establish several new cases of the observation that different Lax representations of a given Painlev\'e-type equation may be read off directly from the diagram, corresponding to connections with different formal data, usually on different rank bundles.

研究动机与目标

• 将Boalch–Yamakawa的图解构造推广至黎曼球面上具有多个、可能具有分支的非正则奇点的代数联络。
• 建立该图在Weyl代数辛自同构（包括傅里叶–拉普拉斯变换）下的不变性。
• 证明该图编码了具有不同形式单值性数据和不同秩的联络的多个Painlevé型方程的Lax表示。
• 通过图论结构统一描述亚纯联络的辛模空间，将quiver variety框架扩展至野性（非正则）情形。
• 提供一种图解工具，利用Kac–Moody根系和类似Dynkin图的结构，对黎曼球面上的非交换Hodge结构和野性特征簇进行分类。

提出的方法

• 从黎曼球面的Zariski开子集上的代数联络构造图，编码形式单值性、Stokes数据和分支结构。
• 将扭曲共轭类的概念推广至分支覆盖，通过纤维数据上的群作用将覆盖上的单值性与基空间上的单值性联系起来。
• 利用图上的Kac–Moody双线性型(·,·)计算共轭类和模空间的维数，公式为2 − (d,d)。
• 将图的维数公式与野性特征簇的维数关联，分别考虑有限极点和无穷远极点处的可约与非正则圈。
• 应用Riemann–Hilbert–Birkhoff对应，通过野性曲面群对具有非正则奇点的联络进行拓扑分类。
• 将图的维数不变量D = 2 − (d,d)与辛模空间的维数D′ = dim MB(V)进行比较，通过逐项匹配每个圈（可约、非正则、无穷远）的贡献项，证明二者相等。

实验结果

研究问题

• RQ1 如何将联络的图解分类方法从正则奇点推广至黎曼球面上的非正则奇点，包括可能的分支奇点？
• RQ2 在野性情形下，该图是否在Weyl代数的辛自同构（包括傅里叶–拉普拉斯变换）下保持不变？
• RQ3 能否从单张图中系统地提取单个Painlevé型方程的多个Lax表示，对应于不同的形式数据和不同秩的向量丛？
• RQ4 野性特征簇中各共轭类的维数与图的图论结构之间有何关系？
• RQ5 该图在多大程度上可作为分类黎曼球面上野性非交换Hodge结构的类似Dynkin的不变量？

主要发现

• 该图在Weyl代数的辛自同构下保持不变，包括傅里叶–拉普拉斯变换，将正则情形的结论推广至非正则联络。
• 亚纯联络的辛模空间的维数由D′ = dim MB(V) = 2 − (d,d)给出，其中(d,d)为图的维数向量上的Kac–Moody双线性型。
• 每个可约圈对图的维数的贡献与模空间中对应共轭类的维数一致，满足D(L⟨0⟩ak) + 2mknk − 2m²k = dim Creg_k。
• 对于每个有限极点处的非正则圈，图的贡献D(L⟨q(k)_i⟩)等于约化共轭类的维数dim eC(k)_i。
• 图的维数不变量D与模空间维数D′之间的等式通过逐项匹配所有可约与非正则圈（包括有限与无穷远极点）的贡献项得以确立。
• D′中的项n(k)_i²(β(k)_i − 1)来自扭曲共轭类的维数，其反映了单值性数据中的分支结构。