[논문 리뷰] Propriétés de Lefschetz automorphes pour les groupes unitaires et orthogonaux

Nantel Bergeron|ArXiv.org|2005. 03. 03.

Finite Group Theory Research인용 수 4

한 줄 요약

이 논문은 유니타리 및 오р토고널 군 $U(p,q)$와 $O(p,q)$와 관련된 산술 다양체에 대해 자동형 레프셰츠 성질을 수립하며, 표현 이론적 기법을 사용하여 코homology의 제약 맵과 쌍대 컵곱 맵의 단사성 기준을 증명한다. 고전적 레프셰츠 정리들을 실 산술 다각체의 맥락으로 확장하여, 코homology 클래스의 비영성에 대한 명시적 조건을 제공한다.

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.

연구 동기 및 목표

• 유니타리 및 오르토고널 군과 관련된 실 산술 다각체의 맥락에서 고전적 레프셰츠 정리의 자동형 해석을 수립하기 위해.
• 강력한 원시 코homology 부분에 대한 제약 맵 $R_g$ 의 곱의 단사성에 대한 명시적 기준을 유도하기 위해.
• 다양체 $S(H)$ 에 대한 $H^k(S(H),\mathbb{C}) \to H^{k+\dim S - \dim S(H)}(S,\mathbb{C})$ 의 쌍대 맵이 단사성이 되는 조건을 규명하기 위해.
• 버거–사르나크 정리와 코homological 표현의 고립 성질을 이용하여 전역 코homological 문제를 국소 표현 이론 문제로 환원하기 위해.
• 이러한 결과를 적용하여 산술 다각체에서 특정 코homology 클래스의 비영성을 증명하기 위해.

제안 방법

• G가 비이소로프틱이고 $\Gamma$ 가 산술 부분군인 경우, $X = G(\mathbb{R})/K$ 에 대한 산술 몫 $S = \Gamma \backslash X$ 의 프레임워크를 사용한다.
• 자연스러운 매장 $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})$ 를 구성한다.
• 버거와 사르나크의 정리를 적용하여 전역 코homology 문제를 코homological 표현의 국소 분석으로 환원한다.
• 자동형 이중체 내에서 코homological 표현을 다른 자동형 형식에서 분리하기 위해 고립 기법을 활용한다.
• K-형 분해, 이산 계열, 텐서곱 분해와 같은 표현 이론적 도구를 활용한다.
• $L^2$-코homology와 조화 형식의 결과를 적용하여 대칭 공간과 그 부분공간의 코homology를 분석한다.

실험 결과

연구 질문

• 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 산술 다각체에 대한 전역 코homological 문제는 어떻게 국소 표현 이론 문제로 환원될 수 있는가?
• RQ4 어떤 조건에서 $S$ 의 특정 코homology 클래스가 영이 아닐까?
• RQ5 실 산술 다각체의 자동형 설정에서 고전적 레프셰츠 정리의 유사성은 어느 정도 유지되는가?

주요 결과

• 논문은 $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})$ 의 쌍대 컵곱 맵의 단사성이 수립된다.
• 버거–사르나크 정리와 자동형 이중체 내에서 코homological 표현의 고립을 이용하여 전역 문제를 국소 문제로 환원함으로써 결과를 도출한다.
• 유도된 기준 하에서 $S$ 의 코homology 클래스가 비영임이 입증되며, 특히 이산 계열과 코homological 표현의 경우에 해당된다.
• 논문은 실 산술 다각체에서 고전적 레프셰츠 유사성이 자동형 설정에서도 유지됨을 확인한다. 이는 대수기하학의 부재에도 불구하고 성립한다.
• 특히 $O(p,q)$ 와 $U(p,q)$ 의 맥락에서 핵심 사례에서 단사성을 검증하기 위해 $L^2$-코homology 기법을 활용한 조화 형식의 명시적 구성이 사용된다.