[논문 리뷰] Construction of eigenvarieties in small cohomological dimensions for semi-simple, simply connected groups

Richard Hill|ArXiv.org|2007. 06. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 30인용 수 8

한 줄 요약

이 논문은 작고 코homological 차원에서 단순 연결된 반단순 군에 대한 고유다양체의 구축을 Emerton의 스펙트럴 시퀀스 방법을 변형하여 확립한다. 실수 랭크 1 군의 경우, 고유다양체는 코homological 차원 1에서 구축된다; 실수 랭크 2 군의 경우, 수정된 방법이 차원 2에서 성공하며, 특정 리 코homology 군의 소멸성과 교환 계수의 자명성에 의존한다.

ABSTRACT

We study low order terms of Emerton's spectral sequence for simply connected, simple groups. As a result, for real rank 1 groups, we show that Emerton's method for constructing eigenvarieties is successful in cohomological dimension 1. For real rank 2 groups, we show that a slight modification of Emerton's method allows one to construct eigenvarieties in cohomological dimension 2.

연구 동기 및 목표

• 반단소 단순연결 군에 대해 낮은 코homological 차원에서 고유다양체의 구축을 확장하는 것.
• Emerton의 원래 방법이 높은 코homological 차수에서 효과가 떨어지는 데에 대비하여, 그 방법이 여전히 유효한 조건을 규명하는 것.
• 실수 랭크 1 군의 경우 차원 1, 실수 랭크 2 군의 경우 차원 2에서 고유다양체의 존재를 확립하는 것.
• SL₂, SL₃, Sp₄, Spin(2,l)와 같은 핵심 군들에 대해 약한 Emerton 기준과 교환 계수의 자명성이 성립하는지 확인하는 것.
• 낮은 차원의 코homology에서 고전적 자동형 표류를 고유다양체를 통해 보간하는 프레임워크를 제공하는 것.

제안 방법

• 산술 군의 코homology에 대해 대수적 표현을 계수로 하는 Emerton의 스펙트럴 시퀀스 접근법을 적용한다.
• 단순연결 반단소 수체 위의 군에 대해 관련된 쇼무 다양체에 스펙트럴 시퀀스를 적용한다.
• 군의 국소 해석적 코homology를 사용하여 E₂-시트를 분석하고 E₃ 및 E₄ 시트를 통해 안정화를 추적한다.
• 사타케 동형사상과 히케 대수 분해를 활용하여 구면 히케 대수의 코homology 위에서의 작용을 묘사한다.
• 스펙트럴 시퀀스의 분해를 보장하기 위해 교환 계수의 자명성과 상대 리 코homology 군의 소멸성(예: H³(𝔤, K∞, ℂ) = 0)에 의존한다.
• 포incare 쌍대성을 적용하여 짝지수를 가진 대칭 공간에서 보완적인 코homological 차수로 구축을 확장한다.

실험 결과

연구 질문

• RQ1 실수 랭크 1 군의 경우, Emerton의 방법이 코homological 차원 1에서 고유다양체 구축에 성공적으로 적용될 수 있는가?
• RQ2 Emerton의 방법을 수정함으로써 실수 랭크 2 군의 경우 코homological 차원 2에서 고유다양체를 구축할 수 있는가?
• RQ3 스펙트럴 시퀀스가 얼마나 일찍 안정화되어 고유다양체 구축이 가능하게 되는가?
• RQ4 교환 계수의 자명성이 약한 Emerton 기준의 타당성을 확보하는 데 어떤 역할을 하는가?
• RQ5 리 코homology 소멸 결과(예: H³(𝔤, K∞, ℂ) = 0)가 낮은 차원에서 고유다양체의 구축에 어떤 영향을 미치는가?

주요 결과

• 수체 위의 SL₂에 대해, 스펙트럴 시퀀스를 사용하여 코homological 차원 1에서 고유다양체 E(1, Kᵖ)를 구축하였으며, E₄-시트가 관련 이중차수에서 H²_class.(G, E)로 안정화된다.
• ℚ 위의 SL₃에 대해, 차원 2에서 고유다양체 E(2, Kᵖ)를 구축하였으며, 스펙트럴 시퀀스가 E₅-시트에서 안정화되고 H²_class.(G, E)가 목표로 나타난다.
• ℚ 위의 Sp₄에 대해, 차원 2에서 고유다양체 E(2, Kᵖ)를 구축하였으며, 스펙트럴 시퀀스가 안정화되고 H³_rel.Lie(𝔤, K∞, ℂ) = 0이 보장되어 Theorem 8의 적용 가능성을 확보한다.
• l ≥ 3인 Spin(2,l)에 대해, 교환 계수가 자명하고 H³(𝔤, K∞, ℂ) = 0이므로, Theorem 8를 통해 E(2, Kᵖ)의 구축이 가능하다.
• 모든 연구된 경우에서 스펙트럴 시퀀스는 E₄ 또는 E₅에서 안정화되며, 고전적 코homology 군 Hⁿ_class.(G, E)는 스펙트럴 시퀀스의 E∞-항으로 복원된다.
• 구축은 Poincaré 쌍대성과 일관되며, 고유다양체를 보완적인 코homological 차수(예: Sp₄의 경우 H⁴)로 확장할 수 있다.