[论文解读] Wild Harmonic Bundles and Wild Pure Twistor D-modules

Takuro Mochizuki|arXiv (Cornell University)|Mar 10, 2008

Geometry and complex manifolds被引用 109

一句话总结

本文建立了野生调和丛与野生纯扭线D-模之间的深层对应关系，证明了代数半单的正则Holonomic D-模的Hard Lefschetz定理。通过Blow-up方法解决了极点问题，并构造了良好的Deligne-Malgrange格，为不规则D-模理论提供了基础工具，将Kobayashi-Hitchin对应关系推广至不规则情形。

ABSTRACT

We study (i) asymptotic behaviour of wild harmonic bundles, (ii) the relation between semisimple meromorphic flat connections and wild harmonic bundles, (iii) the relation between wild harmonic bundles and polarized wild pure twistor $D$-modules. As an application, we show the hard Lefschetz theorem for algebraic semisimple holonomic $D$-modules, conjectured by M. Kashiwara.

研究动机与目标

• 建立野生调和丛与野生纯扭线D-模之间的对应关系。
• 通过Blow-up方法解决极量形式平坦丛中的极点问题，并证明良好Deligne-Malgrande格的存在性。
• 将Kobayashi-Hitchin对应关系推广至不规则（野生）情形。
• 证明代数半单正则Holonomic D-模的Hard Lefschetz定理，验证Kashiwara的猜想。
• 为研究具有不规则奇点的代数D-模提供基础工具。

提出的方法

• 引入良好拟meromorphic ̺-平坦丛的概念，并通过形式分析与逐级分析构造良好格。
• 利用完整的预-Stokes数据与Stokes数据，发展了对拟meromorphic平坦丛的Stokes结构理论。
• 应用L2上同调技术分析曲线上过滤λ-平坦丛的调和丛。
• 通过范数估计与有界性论证，将野生调和丛延拓为扭线结构。
• 利用形变理论与KMS-结构分析过滤λ-平坦丛的族。
• 应用Simpson的主要估计与可接受性条件，控制调和丛在奇点附近的增长。

实验结果

研究问题

• RQ1 野生调和丛在不规则奇点附近的行为如何渐近表现？
• RQ2 半单拟meromorphic平坦联络与野生调和丛之间的确切对应关系是什么？
• RQ3 能否通过扭线D-模将Hard Lefschetz定理推广至代数半单正则Holonomic D-模？
• RQ4 通过Blow-up方法解决极点后，是否存在良好的Deligne-Malgrande格？
• RQ5 如何从野生调和丛构造野生纯扭线D-模？

主要发现

• 代数半单正则Holonomic D-模的Hard Lefschetz定理成立，证实了M. Kashiwara的猜想。
• 经过适当的Blow-up后，任何具有不规则奇点的拟meromorphic平坦丛均存在良好的Deligne-Malgrande格。
• 野生调和丛可唯一延拓为与扭线结构相容的良好过滤λ-平坦丛。
• 良好拟meromorphic ̺-平坦丛的完整Stokes数据决定了其Riemann-Hilbert-Birkhoff对应关系。
• 曲线上过滤λ-平坦丛的L2上同调与de Rham复形拟同构，提供了Hodge理论解释。
• 野生调和丛的关联良好过滤λ-平坦丛是可接受的，并满足Simpson的主要估计。