[论文解读] Chow-Kunneth decomposition for universal families over Picard modular surfaces

Andrea Miller, Stefan Müller–Stach+3 more|arXiv (Cornell University)|May 2, 2005

Algebraic Geometry and Number Theory参考文献 21被引用 8

一句话总结

本文证明了在特定Picard模曲面之上，具有复乘法的阿贝尔三倍全族存在Chow–Künneth分解，将Gordon、Hanamura与Murre的方法从Hilbert模曲面推广至Picard模曲面。关键结果是利用$L^2$-Higgs上同调消失性与Mumford–Faltings–Chai意义下的相对完全模型，部分证明了这些族的Chow–Künneth猜想。

ABSTRACT

We discuss the existence of an absolute Chow-Kuenneth decomposition for complete degenerations of families of Abelian threefolds with complex multiplication over a particular Picard Modular Surface studied by Holzapfel. In addition to the work of Gordon, Hanamura and Murre we use Relatively Complete Models in the sense of Mumford-Faltings-Chai of Picard Modular Surfaces in order to describe complete degenerations of families of abelian varieties. We furthermore prove vanishing results for cohomology groups of irreducible representations of certain arithmetic subgroups in SU(2,1) using the non--compact Simpson type correspondence between the $L^2$--Higgs cohomology of the underlying VHS and the $L^2$--de Rham cohomology resp. intersection cohomology of local systems.

研究动机与目标

• 将Chow–Künneth分解框架从Hilbert模曲面推广至Picard模曲面，后者由类型$SU(2,1)$的Hermitian对称空间实现。
• 研究在非余紧算术情形下，标准动机分解方法的失效，特别是具有高阶结构的Picard模曲面。
• 通过$L^2$-上同调技术，在紧化全族上建立相对Chow–Künneth投影算子的存在性。
• 证明$SU(2,1)$中非余紧算术子群的$L^2$-Higgs上同调群的消失定理，从而实现动机分解。
• 应用相对完全模型理论（Mumford–Faltings–Chai）以控制边界层，并确保投影算子在紧化过程中的相容性。

提出的方法

• 将Gordon、Hanamura与Murre的动机分解策略适配至Picard模曲面情形，利用通用纤维上的相对Chow–Künneth分解。
• 在导范畴中应用 perverse 她层的分解定理，将直接像$Rar{f}_*Q_{ar{A}}$与基空间分层上的交上同调复形联系起来。
• 在紧化基空间$ar{X}$上结合对数除子$D$，运用$L^2$-Higgs上同调理论，重点关注Higgs丛对称幂的$L^2$-上同调。
• 分析Higgs丛$E = ar{f}_* omega_{ar{A}/ar{X}}$上幂零算子$N_1, N_2$的作用，以计算权重滤子与$L^2$-截面。
• 通过生成元与$z_1$-扭胀，构造对称幂$S^n(E, heta)_{(2)}$的$L^2$-全纯截面，尤其针对$n=2$的情形，以控制上同调群。
• 在非余紧情形下应用Matsushima–Shimura消失定理，结合$L^2$-上同调技术，确保每个投影算子仅贡献一个上同调群。

实验结果

研究问题

• RQ1 Chow–Künneth分解能否从Hilbert模曲面推广至由2-球而非上半平面乘积实现的Picard模曲面？
• RQ2 Gordon、Hanamura与Murre的动机分解猜想在Picard模曲面之上紧化全族中的适用程度如何？
• RQ3 在非余紧情形下，特别是$SU(2,1)$的算术子群中，Chow–Künneth投影算子存在性的障碍是什么？
• RQ4 $L^2$-Higgs上同调如何用于证明非余紧算术群的消失结果？其如何促成动机分解？
• RQ5 相对完全模型理论（Mumford–Faltings–Chai）能否用于控制边界层，并确保投影算子在紧化过程中的相容性？

主要发现

• 本文证明了在Picard模曲面之上，具有复乘法的阿贝尔三倍全族存在相对Chow–Künneth分解。
• 建立了$SU(2,1)$中非余紧算术子群的$L^2$-Higgs上同调群的消失定理，这对动机分解至关重要。
• 明确计算了Higgs丛$E$上幂零算子$N_1, N_2$的作用，并利用其权重滤子分解对称幂的$L^2$-截面。
• 证明了$S^2(E, heta)_{(2)}$的$L^2$-全纯截面由$v_1 arigotimes v$、$v_2 arigotimes v_2$、$v_2 arigotimes v$、$v arigotimes v$与$z_1 S^2 E$生成，并在$W(N_1)$下具有显式分次。
• 在$L^2$-上同调消失的假设下，验证了紧化全族在Picard模曲面上的动机分解猜想。
• 该方法在Picard模曲面的高阶结构情形下一般失效，因$L^2$-上同调不消失，表明此类情形下Chow–Küenneth猜想存在内在障碍。