[論文レビュー] Propriétés de Lefschetz automorphes pour les groupes unitaires et orthogonaux

Nantel Bergeron|ArXiv.org|Mar 3, 2005

Finite Group Theory Research被引用数 4

ひとこと要約

本稿は、ユニタリ群および正定値群 $U(p,q)$ と $O(p,q)$ に関連する算術的多様体に対して、自動形式的Lefschetz性質を確立し、表現論的技法を用いてコホロロジーの制限写像および双対カップ積写像の単射性基準を証明する。古典的Lefschetz定理を実算術的多様体の文脈に拡張し、コホロロジー類の非消滅に関する明示的条件を提示する。

ABSTRACT

Let $G$ be a connected semisimple group over ${\Bbb Q}$. Given a maximal compact subgroup and a convenient arithmetic subgroup $Γ\subset G({\Bbb Q})$, one constructs an arithmetic manifold $S=S(Γ)=Γ\backslash X$. If $H\subset G$ is a connected, $θ$-stable, semisimple subgroup, for each $g\in G({\Bbb Q})$ one can construct an immersion between arithmetic manifolds $j_g \colon S(H,g) o S$ induced by the map $H({\Bbb A}) o G({\Bbb A}), h\mapsto gh$. Let us assume that $G$ is anisotropic, which implies that $S$ and $S(H,g)$ are compact. Then, for each positive integer $k$, the map $j_g$ induces a restriction map $$R_g \colon H^{k}(S, {\Bbb C}) o H^{k}(S(H,g), {\Bbb C}).$$ In this paper we focus on symmetric spaces associated to the unitary and orthogonal groups, namely $O(p,q)$ and $U(p,q)$, and give explicit criterions for the injectivity of the product of the maps $R_g$ (for $g$ running through $G({\Bbb Q})$) when restricted to the strongly primitive (in the sense of Vogan and Zuckerman) part of the cohomology. We also give explicit criterions for the injectivity of the map $$H^{k}(S(H), {\Bbb C}) o H^{k+{ m dim} S - { m dim} S(H)} (S, {\Bbb C})$$ dual to the restriction map $R_e$. The results we obtain fit into a larger conjectural picture that we describe and which bare a strong analogy with the classical Lefschetz Theorems. This may sound quite surprising that such an analogy still exists in the case of the real arithmetic manifolds. We finally derive some applications concerning the non vanishing of some cohomology classes in arithmetic manifolds.

研究の動機と目的

• ユニタリ群および正定値群に関連する実算術的多様体の文脈において、古典的Lefschetz定理の自動形式的類似を確立すること。
• $H^k(S,\mathbb{C})$ の強く原始的コホロロジー部における制限写像 $R_g$ の積の単射性に関する明示的基準を導出すること。
• 双対写像 $H^k(S(H),\mathbb{C}) \to H^{k+\dim S - \dim S(H)}(S,\mathbb{C})$ が単射となる条件を特定すること。
• Burger–Sarnakの定理およびコホロロジー的表現の分離性を用いて、グローバルなコホロロジー的問題を局所的表現論的問題に還元すること。
• これらの結果を応用して、算術的多様体における特定のコホロロジー類の非消滅を証明すること。

提案手法

• $G$ が非分岐で $\Gamma$ が算術的部分群であるような算術的商 $S = \Gamma \backslash X$（$X = G(\mathbb{R})/K$）の枠組みを用いる。
• 自然な埋め込み $j_g: S(H,g) \to S$ によって誘導される $h \mapsto gh$ により、制限写像 $R_g: H^k(S,\mathbb{C}) \to H^k(S(H,g),\mathbb{C})$ を構成する。
• BurgerおよびSarnakの定理を適用して、グローバルなコホロロジー的問題をコホロロジー的表現の局所的解析に還元する。
• 自動形式の双対における分離技法を用いて、コホロロジー的表現を他の自動形式から分離する。
• $K$-型分解、離散系列、テンソル積分解などの表現論的道具を用いる。
• $L^2$-コホロロジーおよび調和形式の結果を用いて、対称空間およびその部分空間のコホロロジーを分析する。

実験結果

リサーチクエスチョン

• RQ1 $S$ が $U(p,q)$ や $O(p,q)$ に関連する場合、$H^k(S,\mathbb{C})$ の強いて原始的部における制限写像 $R_g$ の積が単射となる条件は何か？
• RQ2 双対写像 $H^k(S(H),\mathbb{C}) \to H^{k+\dim S - \dim S(H)}(S,\mathbb{C})$ が単射となるのはいつか？
• RQ3 算術的多様体のグローバルなコホロロジー的問題は、どのように局所的表現論的問題に還元できるか？
• RQ4 特定のコホロロジー類が $S$ で消えない条件は何か？
• RQ5 古典的Lefschetz定理の類似は、実算術的多様体における自動形式的設定でどの程度成立するか？

主な発見

• 本稿は、$G = U(p,q)$ および $O(p,q)$ の場合に、$H^k(S,\mathbb{C})$ の強いて原始的コホロロジー部における制限写像 $R_g$ の積の単射性に関する明示的基準を提供する。
• 特定の表現論的条件下で、双対カップ積写像 $H^k(S(H),\mathbb{C}) \to H^{k+\dim S - \dim S(H)}(S,\mathbb{C})$ の単射性が確立される。
• Burger–Sarnakの定理および自動形式の双対におけるコホロロジー的表現の分離を用いて、グローバル問題を局所問題に還元することで結果が得られる。
• 導出された基準により、特に離散系列およびコホロロジー的表現において、$S$ のコホロロジー類が非消滅することが示される。
• 本稿は、代数幾何学が存在しないにもかかわらず、実算術的多様体における自動形式的設定でも古典的Lefschetz類似が成立することを確認する。
• 特に $O(p,q)$ および $U(p,q)$ の文脈において、$L^2$-コホロロジー技法による調和形式の明示的構成を用いて、重要なケースでの単射性を検証する。