[论文解读] Arakelov-type inequalities for Hodge bundles

Chris Peters|arXiv (Cornell University)|Jul 17, 2000

Algebraic Geometry and Number Theory参考文献 10被引用 23

一句话总结

本论文通过曲率估计与Higgs场迭代，建立了在拟射影曲线上的复变Hodge结构族中Hodge丛的精确Arakelov型不等式。证明了每个Hodge丛分量的度数被基曲线的拓扑不变量及Higgs场迭代的秩所界定，且在单值单射时给出等号条件。

ABSTRACT

We give a proof of generalizations of the classical Arakelov inequality valid for the degree $d$ of the relative canoincal bundle of a family of curves of genus $g$ over a complete curve of genus $p$ under the assumption that the monodromy around the singular fibers is unipotent. This relative canonical bundle is the (canonical extension of) the Hodge bundle and the inequality is generalized to the degrees of the Hodge bundles of a complex variation of Hodge structures.

研究动机与目标

• 将Arakelov关于曲线族的有限性结果推广至高权变Hodge结构。
• 在带 puncture 的曲线上，为复变Hodge结构中的Hodge丛度数建立显式上界。
• 通过引入Higgs场迭代的秩与局部单值单射数据，改进先前的界。
• 通过证明在固定拓扑与代数约束下仅存在有限多个可能的度数，从而证明此类变结构的有界性。
• 基于Deligne的信件及Higgs丛理论的后续发展，提供精化不等式的完整证明。

提出的方法

• 利用Hodge度量与Gauss-Manin联络的横截性，将非紧曲线上的Hodge丛曲率估计重新表述。
• 应用Higgs场$\nabla$-诱导映射$\tau_p: V^{p,w-p} \to V^{p-1,w-p+1}$及其迭代$\tau^k$，分析过滤结构。
• 利用SL(2)-轨道定理与全纯次调和技术，将曲率估计推广至拟单值单射单值单射情形。
• 引入度数界：$\deg V^{p,w-p} \leq (2g-2 + \#S) \sum_r \frac{r}{2}(\operatorname{rank} \sigma^{r-1} - \operatorname{rank} \sigma^r) + \sum_{s \in S} (\alpha_s^p - \alpha_s^{p+1})$，其中$\alpha_s^p$为单值单射特征值指数。
• 构造一个参数化固定度数Hodge过滤的旗流形，证明此类变结构是固定多重度数的Hilbert概形的一个开子集。
• 利用对偶性推导Hodge丛度数的下界，通过可能度数的有限性完成有界性论证。

实验结果

研究问题

• RQ1 在带 puncture 的曲线上，复变Hodge结构族中Hodge丛的度数的精确上界是什么？
• RQ2 Higgs场迭代的秩如何影响Hodge分量的度数界？
• RQ3 在何种条件下Hodge丛的Arakelov型不等式被取等？
• RQ4 如何从Hodge丛度数界推导出Hodge结构变结构的有界性？
• RQ5 局部单值单射特征值在精化度数不等式中起什么作用？

主要发现

• Hodge丛$V^{w,0}$的度数满足$0 \leq \deg V^{w,0} \leq (2g-2 + \#S) \sum_{r=1}^w \frac{r}{2}(\operatorname{rank} \sigma^{r-1} - \operatorname{rank} \sigma^r)$，且在单值单射情形下等号成立当且仅当某些Higgs场迭代为同构且下一项映射为零。
• 对于单值单射单值单射，度数界简化为$\deg V^{p,w-p} \leq (2g-2 + \#S) \sum_r \frac{r}{2}(\operatorname{rank} \sigma^{r-1} - \operatorname{rank} \sigma^r)$，且等号蕴含原结构的一个子变结构。
• 当存在拟单值单射单值单射时，度数界增加校正项$\sum_{s \in S} (\alpha_s^p - \alpha_s^{p+1})$，反映局部单值单射数据。
• 所有Hodge丛度数的有界性意味着仅存在有限多个此类变结构，因为参数空间是固定多重度数Hilbert概形的一个开子集。
• 证明依赖于极化变结构的半单性及一个参数化固定度数Hodge过滤的旗流形的存在性。
• 结果推广了先前的界，并为基于Higgs场动力学与基曲线拓扑不变量的有界性提供了框架。