[论文解读] 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 性质，利用表示论方法证明了上同调上限制映射和对偶 cup-积映射的单射性准则。该研究将经典 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 定理的自守类比。
• 推导出限制映射 $R_g$ 在 $H^k(S,\mathbb{C})$ 的强初等上同调部分上乘积的单射性显式准则。
• 确定对偶映射 $H^k(S(H),\mathbb{C}) \to H^{k+\dim S - \dim S(H)}(S,\mathbb{C})$ 为单射的条件。
• 利用 Burger–Sarnak 定理和上同调表示的隔离性质，将全局上同调问题约化为局部表示论问题。
• 将这些结果应用于证明算术流形中某些上同调类的非零性。

提出的方法

• 采用算术商 $S = \Gamma \backslash X$ 的框架，其中 $X = G(\mathbb{R})/K$，$G$ 为非分歧群，$\Gamma$ 为算术子群。
• 通过由 $h \mapsto gh$ 导出的自然浸入 $j_g: S(H,g) \to S$ 构造限制映射 $R_g: H^k(S,\mathbb{C}) \to H^k(S(H,g),\mathbb{C})$。
• 应用 Burger 和 Sarnak 的定理，将全局上同调问题约化为上同调表示的局部分析。
• 在自守对偶中使用隔离技术，将上同调表示与其他自守形式分离。
• 利用表示论工具，包括 $K$-型分解、离散系列以及张量积分解。
• 应用 $L^2$-上同调和调和形式的结果，分析对称空间及其子空间的上同调。

实验结果

研究问题

• RQ1 对于与 $U(p,q)$ 或 $O(p,q)$ 相关的 $S$，限制映射 $R_g$ 的乘积在 $H^k(S,\mathbb{C})$ 的强初等上同调部分上为单射的条件是什么？
• 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$ 乘积单射性的显式准则。
• 在特定表示论条件下，建立了对偶 cup-积映射 $H^k(S(H),\mathbb{C}) \to H^{k+\dim S - \dim S(H)}(S,\mathbb{C})$ 的单射性。
• 通过利用 Burger–Sarnak 定理和自守对偶中上同调表示的隔离性质，将全局问题约化为局部问题，从而得出结果。
• 证明了在所推导的准则下，$S$ 中的上同调类不为零，尤其在离散系列和上同调表示的情形下。
• 本文确认，尽管缺乏代数几何结构，经典 Lefschetz 类比在实算术流形的自守设置下依然成立。
• 通过 $L^2$-上同调技术显式构造调和形式，用于验证关键情形下的单射性，特别是在 $O(p,q)$ 和 $U(p,q)$ 的背景下。