[논문 리뷰] Degree one cohomology with twisted coefficients of the mapping class group

Jørgen Ellegaard Andersen, Rasmus Villemoes|arXiv (Cornell University)|2007. 10. 11.

Geometric and Algebraic Topology참고 문헌 8인용 수 4

한 줄 요약

이 논문은 표면의 종수 g ≥ 1 이고 경계 성분 수가 임의의 수일 때, SL₂(ℂ)-표준 다양체 위의 대수적 함수 공간의 쌍대공간을 계수로 하는 사상군의 첫 번째 코homology 군이 자명하지 않음을 증명한다. BFK 다이어그램과 군 코homology 기법(샤필로의 보조정리 및 코boundary 기준 포함)을 사용하여, 이 코homology 군이 다이어그램의 궤도 대표자에 따라 인덱싱된 유한차원 합성합으로 분해됨을 증명하고, 랑턴 관계 및 이중구멍이 있는 토러스 관계와 같은 기하학적 관계를 통해 비자명한 코chain을 명시적으로 구성한다.

ABSTRACT

Let $Γ$ be the mapping class group of an oriented surface $Σ$ of genus g with r boundary components. We prove that the first cohomology group $H^1(Γ, O(M_{SL(2, C)})^*)$ is non-trivial, where the coefficient module is the dual of the space of algebraic functions on the $SL(2, C)$ moduli space over $Σ$.

연구 동기 및 목표

• Γ가 사상군이고 O(M)*가 SL₂(ℂ)-표준 다양체 위의 대수적 함수 공간의 쌍대공간일 때, 첫 번째 코homology 군 H¹(Γ, O(M)*)의 구조를 규명하는 것.
• 종수 g ≥ 1 이고 경계 성분 수 r ≥ 0 인 표면에 대해 이 코homology 군이 자명하지 않음을 확립하는 것.
• 각 BFK 다이어그램 D의 궤도에 대해 사상군 작용 하에서의 H¹(Γ, M_D)를 계산하는 코homological 알고리즘을 개발하는 것.
• 변형 양자화와 기하학적 양자화의 동기를 바탕으로, 별곱의 적분 가능성과 코homological 장벽을 연결하는 것.

제안 방법

• BFK 다이어그램의 대수 B(Σ)와 모듈리 공간 위의 대수적 함수 공간 O(M) 사이의 동형사상 ν: B(Σ) → O(M)를 사용하는 것.
• 쌍대공간 O(M)*를 BFK 다이어그램의 집합 위의 모든 복소수 값 함수로 간주하여 Map(B, ℂ)로 표현하는 것.
• 각 다이어그램 궤도의 안정자 위에서 유도된 및 코유도된 모듈러를 통해 코homology 군을 분해하기 위해 샤필로의 보조정리를 적용하는 것.
• 코boundary 기준을 수립: 각 다이어그램 궤도 대표자 D에 대해, 코chain u: Γ → O(M)*가 코boundary일 조건은 Γ_D × {D} 위에 제한된 것이 항상 0이 되는 것.
• 사상군 내의 기하학적 관계(예: 랑턴 관계 및 이중구멍이 있는 토러스 관계)를 사용하여 명시적인 비자명한 코chain을 구성하는 것.
• 분해 H¹(Γ, O(M)*) ≅ ∏_{D∈S} H¹(Γ, M̂_D)를 이용하여 각 합성합을 분석하고 유한차원성을 증명하는 것.

실험 결과

연구 질문

• RQ1 종수 g ≥ 1 인 표면에 대해 첫 번째 코homology 군 H¹(Γ, O(M)*)는 자명하지 않은가?
• RQ2 BFK 다이어그램의 궤도 구조에 따라 H¹(Γ, O(M)*)는 어떻게 분해될 수 있는가?
• RQ3 랑턴 관계 및 이중구멍이 있는 토러스 관계와 같은 기하학적 관계는 비자명한 코chain을 구성하는 데 어떤 역할을 하는가?
• RQ4 O(M)* 값을 가진 코chain에 대한 코boundary 조건은 다이어그램의 안정자에 따라 어떻게 기술될 수 있는가?
• RQ5 각 BFK 다이어그램 궤도 대표자 D에 대해 H¹(Γ, M̂_D)의 구조는 어떠한가?

주요 결과

• g ≥ 1 이고 r ≥ 0 인 모든 표면에 대해 첫 번째 코homology 군 H¹(Γ_g,r, O(M)*)는 비자명한 코chain의 명시적 구성에 의해 자명하지 않음을 보였다.
• 코homology 군은 사상군 작용 하에서 BFK 다이어그램의 궤도 대표자 집합 S에 대해 ∏_{D∈S} H¹(Γ, M̂_D)의 직적으로 분해된다.
• 각 합성합 H¹(Γ, M̂_D)는 유한차원이므로, 코homology 군이 자명한 방식으로 무한차원이 되지 않음을 확인한다.
• 코chain u: Γ → O(M)*가 코boundary일 조건은 각 다이어그램 궤도 대표자 D에 대해 Γ_D × {D} 위에 제한된 것이 항상 0이 되는 것과 동치이다.
• H¹(Γ, O(M)*)의 비자명성은 특히 모듈리 공간 위의 별곱 등가성에서의 변형 양자화의 적분 가능성과 연결되어 있다.
• g ≥ 3 이면 첫 번째 호모로지 군 H₁(Γ, ℤ)는 0이며, g = 2 이면 ℤ/10ℤ와 동형이므로, 아벨화와 군 관계를 통해 코homology 군의 비자명성을 지지한다.