[论文解读] Convergence of Harder-Narasimhan polygons

Huayi Chen|ArXiv.org|Jun 18, 2007

Advanced Algebra and Geometry参考文献 10被引用 3

一句话总结

本论文通过引入一个$$\mathbb{R}$$-索引的哈勒-纳拉西曼过滤并为每个向量丛关联一个博雷尔概率测度，在几何与算术设定下建立了归一化哈勒-纳拉西曼多边形的收敛性。关键结果是，归一化多边形一致收敛于一个凹极限函数，且相关测度与分布函数也实现收敛，将经典的希尔伯特-萨穆埃尔渐近公式拓展至$$t=1$$处的斜率之外的所有$$[0,1]$$区间点。这为代数几何与算术几何中渐近稳定性与退化性的研究提供了精细的分析框架。

ABSTRACT

We establish in this article convergence results of normalized Harder-Narasimhan polygons both in geometric and in arithmetic frameworks by introducing the Harder-Narasimhan filtration indexed by $\mathbb R$ and the associated Borel probability measure.

研究动机与目标

• 通过归一化哈勒-纳拉西曼多边形将经典的希尔伯特-萨穆埃尔渐近公式拓展至$$[0,1]$$区间的所有点。
• 通过引入连续的$$\mathbb{R}$$-索引过滤，克服哈勒-纳拉西曼多边形函数在中间秩处的非可加性问题。
• 通过哈勒-纳拉西曼子商的斜率与秩，为每个向量丛定义一个博雷尔概率测度。
• 在几何与算术框架下，证明这些测度的弱收敛性以及归一化多边形的一致收敛性。
• 利用庞加莱级数与测度论方法，为拟过滤的分次代数建立一个通用的收敛框架。

提出的方法

• 通过将经典旗扩展为实数索引的连续过滤，在向量丛上引入一个$$\mathbb{R}$$-索引的哈勒-纳拉西曼过滤。
• 将归一化哈勒-纳拉西曼多边形$$P_E(t)$$定义为子丛的秩与次数的缩放凸包。
• 为每个向量丛$$E$$关联一个博雷尔概率测度$$\nu_E = \sum_{i=1}^n (t_i - t_{i-1}) \delta_{\mu_i}$$，其中$$t_i = \operatorname{rk}E_i / \operatorname{rk}E$$且$$\mu_i = \mu(E_i/E_{i-1})$$。
• 利用测度$$\nu_E$$的分布函数定义广义逆$$f_E^*(t)$$，其对应于$$P_E(t)$$的导数。
• 利用勒贝格控制收敛定理，证明分布函数序列$$f_n^*(t)$$在$$]0,1[$$上几乎处处收敛于极限函数$$f^*(t)$$。
• 建立积分$$\int_0^t f_n^*(s) ds$$对$$\int_0^t f^*(s) ds$$的一致收敛性，从而推出归一化多边形的一致收敛性。

实验结果

研究问题

• RQ1 在几何设定下，当$$D \to \infty$$时，$$\pi_*L^{\times D}$$的归一化哈勒-纳拉西曼多边形是否一致收敛？
• RQ2 多边形的收敛性能否通过相关博雷尔概率测度在$$\mathbb{R}$$上的收敛性来刻画？
• RQ3 对于大$$D$$，与哈勒-纳拉西曼斜率相关的分布函数的极限行为是什么？
• RQ4 $$\mathbb{R}$$-索引过滤如何改进经典哈勒-纳拉西曼旗并实现一致收敛？
• RQ5 该收敛框架能否通过庞加莱级数与测度论分析，推广至拟过滤的分次代数？

主要发现

• 在几何设定下，当$$D \to \infty$$时，归一化哈勒-纳拉西曼多边形$$P_{\pi_*L^{\otimes D}}(t)$$在$$[0,1]$$上一致收敛于一个凹极限函数。
• 相关的博雷尔概率测度$$\nu_{\pi_*L^{\otimes D}}$$弱收敛于$$\mathbb{R}$$上的极限测度，该测度对应于哈勒-纳拉西曼斜率的极限分布。
• 与多边形相关的分布函数$$f_n^*(t)$$在$$]0,1[$$上几乎处处收敛于极限函数$$f^*(t)$$，且收敛性在可数例外集之外成立。
• 积分$$\int_0^t f_n^*(s) ds$$一致收敛于$$\int_0^t f^*(s) ds$$，这蕴含了归一化多边形的一致收敛性。
• 在算术设定下，该收敛框架同样适用于算术线丛上同调模的哈勒-纳拉西曼多边形。
• 该收敛结果推广了经典的希尔伯特-萨穆埃尔渐近公式，将其从$$t=1$$处的总次数拓展至所有中间点$$t \in [0,1]$$。