[论文解读] Kazhdan's Theorem on Arithmetic Varieties

J. S. Milne|ArXiv.org|Jun 23, 2001

Geometry and complex manifolds参考文献 19被引用 3

一句话总结

本文提供了Kazhdan关于算术簇的定理的统一、无需分类的证明，表明ℂ的任意自同构作用下，算术簇的共轭仍为算术簇。通过利用Bergmann度量、群论结构以及Hermitian对称域的性质，作者在余维数和极大环面分裂条件之下建立了该结果，避免了逐个情况的分析，并依赖于Clozel关于极限重数的结果。

ABSTRACT

Define an arithmetic variety to be the quotient of a bounded symmetric domain by an arithmetic group. An arithmetic variety is algebraic, and the theorem in question states that when one applies an automorphism of the field of complex numbers to the coefficients of an arithmetic variety the resulting variety is again arithmetic. This article simplifies Kazhdan's proof. In particular, it avoids recourse to the classification theorems. It was originally completed on March 28, 1984, and distributed in handwritten form. July 23, 2001: Fixed about 30 misprints.

研究动机与目标

• 提供Kazhdan关于算术簇定理的统一、无需分类的证明。
• 证明对于任意σ ∈ Aut(ℂ)，算术簇在ℂ-自同构下的共轭仍为算术簇。
• 通过使用几何与群论技术，避免逐个情况的分析。
• 在余维数≥3及虚二次扩张上极大环面分裂条件下建立结果。
• 以Clozel关于极限重数的结果和Yau的Kähler-Einstein定理作为基础工具。

提出的方法

• 将算术簇定义为有界对称域关于算术群的商，其中该群源自Q-单连通代数群G。
• 利用万有覆叠上的Bergmann度量来刻画共轭簇σX的几何性质。
• 通过Piatetsky-Shapiro与Borovoi的嵌入技术，构造与G的约化子群Hα相关的算术子簇Xα的射影系统。
• 应用如下判别准则：若一个簇的切丛由低维算术子簇的子丛生成，则该簇为算术簇。
• 利用归纳法及A1情形，得出σXα为算术簇，从而推出σX的切丛由此类子丛生成。
• 通过李代数分解及H_I'的极大性，从非紧分量的指标集I既非空也非全集的假设中导出矛盾。

实验结果

研究问题

• RQ1 在不依赖分类定理的前提下，任意σ ∈ Aut(ℂ)作用下，算术簇的共轭是否仍为算术簇？
• RQ2 Kazhdan定理能否在余维数≥3及环面分裂条件之下，对所有算术簇统一证明？
• RQ3 在非紧类型如E6、E7及混合Dℝ/Dℍ情形下，该证明在多大程度上可摆脱逐个情况的分析？
• RQ4 Bergmann度量与Kähler-Einstein度量在证明中如何统一？
• RQ5 能否利用基本群及其同余子群的群论结构，来确立共轭簇的算术性？

主要发现

• 在余维数≥3及极大环面分裂条件下，对所有σ ∈ Aut(ℂ)，共轭簇σX为算术簇。
• 通过在切丛与子簇上使用几何与群论论证，避免了对对称域分类的依赖。
• σX的切空间由算术子簇Xασ的切空间生成，从而保证该簇为算术簇。
• 若非紧分量的指标集I既非空也非全集，则导出矛盾，证明此类配置不可能存在。
• 将H_I'构造为G'的子群并令H_I' = G'，导致矛盾，从而确认定理成立。
• 在所述条件下，该结果对所有类型（包括E6、E7及混合Dℝ/Dℍ）均统一成立，依赖于Clozel关于极限重数的工作。