[论文解读] Higgs bundles and indecomposable parabolic bundles over the projective line

Emmanuel Letellier|arXiv (Cornell University)|Sep 15, 2016

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

一句话总结

该论文建立了一个上同调猜想，将有限域上射影直线上的几何不可约抛物丛的计数与极小化Higgs丛模空间的Hodge理论联系起来。通过霍尔-利特尔伍德对称函数和德利涅-卢兹蒂格特征的傅里叶变换，论文在秩2情形及一致向量丛情况下证明了该猜想，表明此类丛的数量等于Higgs模空间上弗罗贝尼乌斯算子的加权迹。

ABSTRACT

In this paper we count the number of isomorphism classes of geometrically indecomposable quasi-parabolic structures of a given type on a given vector bundle on the projective line over a finite field. We give a conjectural cohomological interpretation for this counting using the moduli space of Higgs fields on the given vector bundle over the complex projective line with prescribed residues. We prove a certain number of results which bring evidences to the main conjecture. We detail the case of rank 2 vector bundles.

研究动机与目标

• 计算有限域上射影直线上的向量丛上几何不可约抛物结构的同构类数量。
• 利用复射影直线上具有指定留数的Higgs丛模空间，为该计数提供上同调解释。
• 证明来自有限群表示理论的特征和与不可约抛物丛数量之间的猜想对应关系。
• 通过显式计算和特征公式，在秩2情形及一致丛情况下验证该猜想。
• 通过德利涅-卢兹蒂格特征的傅里叶变换，建立Higgs模空间几何与有限域上算术计数之间的联系。

提出的方法

• 使用霍尔-利特尔伍德对称函数将不可约抛物丛的数量表示为生成函数。
• 应用哈里什-钱德拉诱导和特征公式，将有限域上的计数与GL_n(F_q)的表示联系起来。
• 利用德利涅-卢兹蒂格特征的傅里叶变换，将有限域上的计数与Higgs模空间的上同调联系起来。
• 引入德利涅-卢兹蒂格特征的李代数版本，并利用其与傅里叶变换的交换关系。
• 应用生成函数Ω_D_w(q)的对数中Y^m系数的公式，通过特征迹提取丛的数量。
• 通过证明上同调上弗罗贝尼乌斯算子的迹与算术计数一致，证明了主要猜想的特殊情况。

实验结果

研究问题

• RQ1 如何计算有限域上射影直线上的几何不可约抛物丛的同构类数量？
• RQ2 该计数在具有指定留数的Higgs丛模空间上的上同调意义是什么？
• RQ3 能否在特定情形下证明特征和与算术计数之间的猜想联系？
• RQ4 霍尔-利特尔伍德对称函数和德利涅-卢兹蒂格特征的傅里叶变换如何编码模空间的几何结构？
• RQ5 该猜想在秩2丛和一致丛情况下是否成立？

主要发现

• 在有限域F_q上射影直线上的向量丛E上，类型为s的几何不可约抛物丛的数量由涉及霍尔-利特尔伍德对称函数的公式给出。
• 在秩2情形下，对a = b和a > b的情形导出了显式公式，表明其依赖于权的分拆类型。
• 当E = O(a)^n时，猜想的上同调解释得以证明，该计数与Higgs模空间上同调上弗罗贝尼乌斯算子的迹相联系。
• 生成函数Ω_D_w(q)的对数中Y^m系数的公式与涉及ε_λ及集合X_{S_λ, D_w}^E大小的特征和一致。
• 通过特征理论与上同调迹公式的结合，验证了在一致丛及平凡w情形下的主要猜想。
• 证明依赖于德利涅-卢兹蒂格特征的李代数版本，以及傅里叶变换与诱导之间的交换公式，扩展了Kazhdan与Springer的结果。