[论文解读] The Beauville-Narasimhan-Ramanan correspondence for twisted Higgs $V$-bundles and components of parabolic $ ext{Sp}(2n,\mathbb{R})$-Higgs moduli Spaces

Georgios Kydonakis, Hao Sun+1 more|arXiv (Cornell University)|Jan 26, 2019

Algebraic Geometry and Number Theory参考文献 30被引用 6

一句话总结

本文通过谱对应与Bott-Morse理论，将经典的Beauville-Narasimhan-Ramanan对应关系推广至具有正则奇点的扭曲Higgs $V$-丛与抛物$ \mathrm{Sp}(2n,\mathbb{R})$-Higgs丛，建立了广义的对应关系，并计算了固定抛物结构下最大抛物$ \mathrm{Sp}(2n,\mathbb{R})$-Higgs丛模空间中连通分支的确切数量。

ABSTRACT

We generalize the classical Beauville-Narasimhan-Ramanan correspondence to the case of parabolic Higgs bundles with regular singularities and Higgs $V$-bundles. Using this correspondence along with Bott-Morse theoretic techniques we provide an exact component count for moduli spaces of maximal parabolic $ ext{Sp}\left( 2n,\mathbb{R} ight)$-Higgs bundles with fixed parabolic structure.

研究动机与目标

• 将经典的Beauville-Narasimhan-Ramanan对应关系推广至具有正则奇点的扭曲Higgs $V$-丛与抛物Higgs丛。
• 在特征系数固定的情况下，建立谱曲线上严格相容的抛物线丛等价类与抛物Higgs丛等价类之间的一一对应关系。
• 应用Bott-Morse理论技术，计算最大抛物$\mathrm{Sp}(2n,\mathbb{R})$-Higgs丛模空间中连通分支的确切数量。
• 分析连通分支数量对抛物权、亏格及标记点数的依赖关系，特别区分$n=2$与$n\geq 3$的情形。
• 根据拓扑不变量如$u\in H^1_V(M,\mathbb{Z}_2)$、$v\in H^2_V(M,\mathbb{Z}_2)$以及线丛的次数条件对分支进行分类。

提出的方法

• 针对与黎曼曲面$X$及除子$D$相关的$V$-曲面$M$，利用$\mathcal{L}$-扭曲截面$\eta_i \in H^0(X, K(D)^i)$，构造谱覆盖$\pi: M_\eta \to M$。
• 通过由有理权重$\alpha_{ij} = k_{ij}/m_i$确定的局部群作用，定义$M$上的$V$-丛与$V$-线丛。
• 证明谱曲线上严格相容的$V$-线丛等价类与具有特征系数$\eta_i$的$\mathcal{L}$-扭曲Higgs $V$-丛等价类之间存在双射对应。
• 利用抛物Hitchin纤维化与谱数据，将纤维描述为谱曲线的雅可比簇，从而通过上同调不变量实现分支计数。
• 对Hitchin纤维化应用Bott-Morse理论，分析模空间的拓扑结构，并通过$H^1_V(M,\mathbb{Z}_2)$与$H^2_V(M,\mathbb{Z}_2)$计算连通分支数量。
• 根据权重分母$m_i$的奇偶性区分情形，导致涉及$2^{2g+s_0-1}$与$\prod m_i$项的不同分支计数。

实验结果

研究问题

• RQ1 如何将Beauville-Narasimhan-Ramanan对应关系推广至具有正则奇点的抛物Higgs丛与$V$-丛？
• RQ2 固定抛物结构下，最大抛物$\mathrm{Sp}(2n,\mathbb{R})$-Higgs丛模空间中连通分支的确切数量是多少？
• RQ3 拓扑不变量$u\in H^1_V(M,\mathbb{Z}_2)$与$v\in H^2_V(M,\mathbb{Z}_2)$如何影响分支计数？
• RQ4 抛物权分母$m_i$的奇偶性在分支结构中起什么作用？
• RQ5 抛物结构的可约性或非约性如何影响模空间中分支的数量？

主要发现

• 当$n \geq 3$时，多项式稳定的最大抛物$\mathrm{Sp}(2n,\mathbb{R})$-Higgs丛模空间具有$(2^{s_0} + 1)2^{2g + s_0 - 1}$个连通分支，其中$s_0$为偶数$m_i$的个数。
• 当$n = 2$时，模空间具有$(2^{s_0} + 1)2^{2g + s_0 - 1} - 2^{s_0} + (2g - 2 + s)\prod_{i=1}^s m_i$个连通分支，其中额外贡献来自线丛的次数约束。
• 分支计数依赖于$H^1(M_V, \mathbb{Z})$中的2挠，其数量为$2^{2g + s_0 - 1}$，该值对所有$n$构成基础计数。
• 当$\beta \neq 0$时，$K(D)$的平方根有$2^{2g + s_0 - 1}$种选择，这在$\mathrm{Sp}(4,\mathbb{R})$情形下贡献于分支计数。
• 对于具有非约抛物结构的$\mathrm{Sp}(4,\mathbb{R})$，分支数量为$(2^{s_0} + 1)2^{2g + s_0 - 1} - 2^{s_0} + (2g - 2 + s)$，反映了权重系统中奇单值性的贡献。
• 所有分支$\mathcal{M}_{par,(m_i)}^{(u,v)}$、$\mathcal{M}_{par,(m_i)}^{0,(d,w)}$与$\mathcal{M}_{par,(m_i)}^{0,2g-2+s_0,L}$均为连通，确认了模空间的拓扑结构。