[논문 리뷰] Tentative d'épuisement de la cohomologie d'une variété de Shimura par restriction à ses sous-variétés

Nicolas Bergeron|ArXiv.org|2004. 03. 24.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 제약 사상의 제약을 통해 쇴마 다양체의 코homology를 연구하며, 표현 이론과 일반화된 리틀우드-리치아드슨 계수를 이용하여 강력한 원시 코homology 계열에 대해 제약 사상의 곱의 단사성 기준을 증명한다. 이는 클로젤과 벤카타라마나의 정수 코homology에 관한 결과를 복원하고 확장하며, 허지 추측과 특정 쇴마 다양체의 코homology 소멸에 적용된다.

ABSTRACT

Let $G$ be a connected semisimple group over ${\Bbb Q}$. Given a maximal compact subgroup $K\subset G({\Bbb R})$ such that $X=G({\Bbb R})/K$ is a Hermitian symmetric domain, and a convenient arithmetic subgroup $Γ\subset G({\Bbb Q})$, one constructs a (connected) Shimura variety $S=S(Γ)=Γ\backslash X$. If $H\subset G$ is a connected semisimple subgroup such that $H({\Bbb R})\cap K$ is maximal compact, then $Y=H({\Bbb R})/K$ is a Hermitian symmetric subdomain of $X$. For each $g\in G({\Bbb Q})$ one can construct a connected Shimura variety $S(H,g)=(H({\Bbb Q})\cap g^{-1}Γg)\backslash Y$ and a natural holomorphic map $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 classical Hermitian domains 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. In the holomorphic case we recover previous results of Clozel and Venkataramana. We also derive applications of our results to the proofs of new cases of the Hodge conjecture and of new results on the vanishing of the cohomology of some particular Shimura variety.

연구 동기 및 목표

• 콤��� 쇴마 다양체의 코homology의 구조를 그 부분다양체로의 제약을 연구함으로써 이해하기 위해.
• 쇠택 다양체에서 부분다양체로의 제약 사상의 곱이 강력한 원시 부분 코homology에 대해 단사가 되는 조건을 규명하기 위해.
• 코homology의 보반-즈커만 분해를 쇽마 다양체 위의 자연스러운 벡터 번들의 코homology에 의해 정의된 분해와 연결하기 위해.
• 이 결과들을 적용하여 새로운 허지 추측의 경우를 증명하고 특정 쇽마 다양체에 대해 코homology 소멸 정리를 확립하기 위해.

제안 방법

• 리 대수에서의 표현 이론적 계산으로 코homological 문제를 줄이기 위해 마츠시마의 공식을 사용하기 위해.
• 비순환 표현의 보반-즈커만 분류를 적용하여 코homology를 강력한 원시 성분으로 분해하기 위해.
• 제약 하에서 코homology 표현의 구조를 분석하기 위해 일반화된 리틀우드-리치아드슨 계수를 정의하기 위해.
• 대칭 공간 X 위에 자연스러운 벡터 번들을 Γ 작용에 의한 보편 번들의 몫으로 구성하고, 그 코homology에 대한 기하학적 분해를 정의하기 위해.
• 코homology 계열의 이미지를 분석하기 위해 환경 다양체에서의 코homology 계열의 이미지를 분석하기 위해 제약 사상의 곱 j_g: S(H,g) → S를 사용하기 위해.
• 벤카타라마나의 최근 결과를 활용하여 제약 사상의 곱에 대한 단사성 기준을 증명하기 위해.

실험 결과

연구 질문

• RQ1 쇠택 다양체에서 부분다양체로의 제약 사상의 곱이 강력한 원시 코homology 계열에 대해 언제 단사가 되는가?
• RQ2 코homology의 보반-즈커만 분해는 쇽마 다양체 위의 자연스러운 번들의 코homology에 의해 정의된 분해와 어떻게 관련이 있는가?
• RQ3 제약 사상은 정수 부분 코homology의 모든 강력한 원시 코homology 계열을 탐지할 수 있는가?
• RQ4 부분다양체로의 제약 사상은 원래 쇽마 다양체의 코homology를 어느 정도까지 완전히 다루는가?
• RQ5 단사성 기준은 특정 쇽마 다양체에서 허지 추측과 코homology 소멸에 대해 어떤 함의를 갖는가?

주요 결과

• 클래식한 헤르미트형 도메인에 제한된 경우, 제약 사상의 곱 R_g: H^k(S, ℂ) → H^k(S(H,g), ℂ) 는 강력한 원시 부분 코homology에 대해 단사이다.
• 논문은 파르타사라티의 정수 코homology의 분해에 관해 테우톨로지컬 번들의 코homology에 대해 기존 결과를 복원하고 약간의 수정을 가했다.
• 정수 부분 코homology의 경우, 쇽마 유형의 부분다양체로의 제약 사상은 항상 0이다. 이는 정수 코homology가 일반적인 의미에서 부분다양체에 의해 탐지되지 않는다는 것을 시사한다.
• 촙마 다양체의 전체 정수 코homology는 두 가닥의 양도 다이어그램으로부터 유래한다: 하나는 r (0 ≤ r ≤ p)로 인덱싱되고, 다른 하나는 s (0 ≤ s ≤ p−1)로 인덱싱되며, r = p−1과 r = p−2에서 겹친다.
• 쇠택 다양체의 코homology는 이 두 가닥의 양도 다이어그램에 대응하는 표현들로 완전히 기술되며, 추가적인 성분은 존재하지 않는다.
• 결과들은 새로운 허지 추측의 경우를 암시하며, 비등방성 경우의 특정 산술 부분군에 대해 코homology의 소멸을 확립한다.