[論文レビュー] Kazhdan's Theorem on Arithmetic Varieties

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

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

ひとこと要約

この論文は、アーティクル変種に関するカジダンの定理の、分類に依存しない一様な証明を提供する。任意の ℂ-自己同型 σ によるアーティクル変種の共役が、依然としてアーティクル的であることを示している。バーグマン計量、群論的構造、およびヘルミート対称領域の性質を用いることで、分類定理に頼らず、ケース・バイ・ケースの解析を避けて、コルゼルの極限乗数に関する結果に依拠して、結果を確立する。

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.

研究の動機と目的

• アーティクル変種に関するカジダンの定理の、一様的で分類に依存しない証明を提供すること。
• 任意の体自己同型 σ ∈ Aut(ℂ) によるアーティクル変種の共役が、依然としてアーティクル的であることの証明。
• 分類定理に頼らず、幾何学的および群論的技法を用いて、ケース・バイ・ケースの解析を回避すること。
• 虚二次拡大体上での余次元 ≥3 および最大トーラスの分解条件の下で、結果を確立すること。
• コルゼルの極限乗数に関する結果とヤウのケーラー＝アインシュタイン定理を、基礎的道具として用いること。

提案手法

• アーティクル変種を、有界対称領域を Q-単純かつ simply connected な代数群 G による算術群で割った商として定義する。
• 普遍被覆上のバーグマン計量を用いて、共役された多様体 σX の幾何を特徴付ける。
• ピアテツキー＝シャピロとボロボイの埋め込み技法を用い、G の再帰的部分群 Hα に対応する算術的部分多様体 Xα の射影的系を構成する。
• 多様体が算術的であるための基準として、その接束が次元が低い算術的部分多様体からの部分束によって生成されることを用いる。
• 帰納法と A1 場合の結果により、σXα が算術的であることを用いて、σX の接束がこのような部分束によって生成されることを導く。
• 非コンパクト成分のインデックス集合 I が空でも全集合でもないという仮定から、リー代数の分解と H_I' の最大性を用いて矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 分類定理に依存せずに、任意の σ ∈ Aut(ℂ) によるアーティクル変種の共役が、依然としてアーティクル的であるかどうか。
• RQ2 余次元 ≥3 およびトーラスの分解条件を満たすすべてのアーティクル変種に対して、カジダンの定理を一様に証明できるか。
• RQ3 特に E6、E7、および混合 Dℝ/Dℍ 型のような非コンパクト型に対し、証明をケース・バイ・ケースの解析からどれほど独立させられるか。
• RQ4 バーグマン計量とケーラー＝アインシュタイン計量の役割を証明内でどのように統合できるか。
• RQ5 基本群の群論的構造およびその合同部分群を用いて、共役された多様体の算術的性質を確立できるか。

主な発見

• X が余次元 ≥3 および最大トーラスの分解条件を満たす限り、任意の σ ∈ Aut(ℂ) に対して共役多様体 σX は算術的である。
• 対称領域の分類に依存せず、接束および部分多様体に関する幾何学的・群論的議論を用いることで、証明が可能である。
• σX の接空間は、算術的部分多様体 Xασ の接空間によって生成され、多様体が算術的であることが保証される。
• 非コンパクト成分のインデックス集合 I が空でも全集合でもない場合、リー代数の分解と H_I' の最大性を用いて矛盾が生じる。
• G' の部分群 H_I' を H_I' = G' となるように構成すると矛盾が生じ、定理の正しさが確認される。
• コルゼルの極限乗数に関する結果に依拠することで、E6、E7、および混合 Dℝ/Dℍ 型を含むすべてのタイプに対して、条件を満たす限り一様に結果が成り立つ。