[논문 리뷰] The cohomology of lattices in SL(2,C)

Tobias Finis, Fritz Grunewald외 1명|ArXiv.org|2008. 08. 08.

Algebraic Geometry and Number Theory참고 문헌 50인용 수 9

한 줄 요약

이 논문은 SL(2,ℂ)의 격자에서의 코homology를 조사하며, 대칭 텐서 표현 Eₙ = Symⁿ ⊗ Sym̄ⁿ에 대한 H¹(Γ, Eₙ)의 차원에 초점을 맞춘다. 이론적 분석과 광범위한 계산을 통해 고정된 격자에 대해 O(n²/log n)의 상한을 확립하고, 기본 체변환을 통한 선형 하한을 증명하며, 두 경우에서 올림프되지 않은 코homology 클래스를 발견한다. 또한 Helling의 그룹과 Klimenko의 예시, 그리고 코컴 pact 테트라헤드랄 군을 포함한 비산성 군의 코homology도 계산한다.

ABSTRACT

This paper contains both theoretical results and experimental data on the behavior of the dimensions of the cohomology spaces H^1(G,E_n), where Gamma is a lattice in SL(2,C) and E_n is one of the standard self-dual modules. In the case Gamma = SL(2,O) for the ring of integers O in an imaginary quadratic number field, we make the theory of lifting explicit and obtain lower bounds linear in n. We have accumulated a large amount of experimental data in this case, as well as for some geometrically constructed and mostly non-arithmetic groups. The computations for SL(2,O) lead us to discover two instances with non-lifted classes in the cohomology. We also derive an upper bound of size O(n^2 / log n) for any fixed lattice Gamma in the general case. We discuss a number of new questions and conjectures suggested by our results and our experimental data.

연구 동기 및 목표

• SL(2,ℂ)의 격자 Γ 및 대칭 텐서 표현 Eₙ에 대해 H¹(Γ, Eₙ)의 차원 행동을 이해하기 위해.
• 고정된 격자에 대해 n에 대한 dim H¹(Γ, Eₙ)의 성장률에 대한 이론적 상한을 확립하기 위해.
• 예를 들어 허수 정수에 대한 SL(2,𝒪)과 같은 산성 격자와 비산성 군에 대해 코homology 차원을 명시적으로 계산하기 위해.
• Bianchi 군과 기타 비산성 격자에서 올림프되지 않은 코homology 클래스의 존재 여부를 조사하기 위해.
• Hecke 연산자가 올림프되지 않은 클래스에 어떻게 작용하는지 탐구하고, 비자명한 산성 구조를 가진 새로운 코homology 예를 식별하기 위해.

제안 방법

• 기본 체변환과 Eichler-Shimura 동형을 통한 이론적 분석을 통해 코homology를 자동형 양식과 Hecke 연산자와 연결하기 위해.
• SL(2,ℂ)에 대한 불변 추적 공식을 적용하여 dim H¹(Γ, Eₙ)에 대한 상한을 도출하기 위해.
• 유한 생성 군에 대한 군 코hom로 기법을 사용하여 코homology 차원을 명시적으로 계산하기 위해.
• 모듈러 기호와 알고리즘적 방법을 통해 Hecke 고유값을 코homology 클래스에서 계산하기 위해.
• 비산성 군(예: Helling의 군과 Klimenko의 군)에 대한 표현과 행렬 표현을 사용하여 낮은 차수에서 코homology를 계산하기 위해.
• 코컴 pact 및 비코컴 pact 격자에서의 계량 하위군과 유한 지수의 하위군에 대해 코homology를 체계적으로 계산하기 위해.

실험 결과

연구 질문

• RQ1 고정된 격자 Γ ⊂ SL(2,ℂ)에 대해 n이 증가함에 따라 dim H¹(Γ, Eₙ)의 점 渐진적 성장률은 어떻게 되는가?
• RQ2 Bianchi 군의 코homology에 올림프되지 않은 코homology 클래스가 존재하는가? 만약 존재한다면, 어떻게 탐지하고 계산할 수 있는가?
• RQ3 Helling의 군과 Klimenko의 예시와 같은 비산성 격자에 대해 H¹(Γ, Eₙ)의 정확한 차원은 무엇인가?
• RQ4 Hecke 연산자가 올림프되지 않은 코homology 클래스에 어떻게 작용하는가? 이는 그들의 산성 성격에 대해 어떤 함의를 갖는가?
• RQ5 코컴 pact 비산성 격자, 예를 들어 테트라헤드랄 반사 군 Γ₂₆의 코homology는 무엇인가?

주요 결과

• SL(2,𝒪₋₇)인 Bianchi 군의 경우, H¹(Γ, E₁₂)에서 올림프되지 않은 코homology 클래스가 발견되었으며, 차원은 6으로 예상되는 올림프 기여를 초월한다.
• SL(2,𝒪₋₁₁)의 경우, H¹(Γ, E₁₀)에서 올림프되지 않은 클래스가 탐지되었으며, 다시 한 번 올림프 성분을 초월하는 차원 6을 보였다.
• m ≥ 3인 Helling의 비산성 군 Θₘ에 대해, 3 ≤ m ≤ 150 및 1 ≤ n ≤ 30 범위에서 H¹(Γ, Eₙ)의 차원은 1이며, 이는 이 범위에서 모듈라 코homology가 존재하지 않음을 시사한다.
• 코컴 pact 테트라헤드랄 군 Γ₂₆에 대해, 모든 0 ≤ n ≤ 90 범위에서 H¹(Γ₂₆, Eₙ) = 0이며, 이는 이 범위에서 코homology가 자명하다는 것을 보여준다.
• Γ₂₆의 지수 ≤24인 하위군들 중, 191개는 0 ≤ n ≤ 10 범위에서 H¹(Γ, Eₙ)가 자명했으며, 30개는 차원 1을, 1개는 차원 2를 가졌다.
• SL(2,ℂ)의 고정된 격자 Γ에 대해 dim H¹(Γ, Eₙ)에 대해 O(n²/log n)의 상한이 확립되었으며, 이는 이전 추정치를 향상시킨다.