[논문 리뷰] Cohomology of mapping class groups and the abelian moduli space

Jørgen Ellegaard Andersen, Rasmus Villemoes|ArXiv.org|2009. 03. 24.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 3

한 줄 요약

이 논문은 위수 $ g \geq 3 $인 표면의 매핑 클래스 군 $ \Gamma $에 대해, 아벨 모듈리 공간 $ M = \operatorname{Hom}(H_1(\Sigma), \mathrm{U}(1)) $ 에 대한 $ L^2(M) $ 과 $ C^\infty(M) $ 계수의 첫 번째 코homology 군 $ H^1(\Gamma, L^2(M)) $ 과 $ H^1(\Gamma, C^\infty(M)) $ 이 모두 0임을 증명한다. 증명은 $ \mathrm{Sp}(2g,\mathbb{Z}) $ 의 성질 (T), Hochschild-Serre 스펙트럴 시퀀스, 그리고 유니터리 표현에서의 딜란 트랜스포지션 사영 조건에 기반하며, 이는 이러한 계수 모듈러스에서 비자명한 1-코사이클이 존재하지 않음을 보여준다.

ABSTRACT

We consider a surface $Σ$ of genus $g \geq 3$, either closed or with exactly one puncture. The mapping class group $Γ$ of $Σ$ acts symplectically on the abelian moduli space $M = \Hom(π_1(Σ), U(1)) = \Hom(H_1(Σ),U(1))$, and hence both $L^2(M)$ and $C^\infty(M)$ are modules over $Γ$. In this paper, we prove that both the cohomology groups $H^1(Γ, L^2(M))$ and $H^1(Γ, C^\infty(M))$ vanish.

연구 동기 및 목표

• 매핑 클래스 군 $ \Gamma $ 가 아벨 모듈리 공간 $ M $ 의 $ L^2 $-함수에 작용할 때, 첫 번째 코homology 군 $ H^1(\Gamma, L^2(M)) $ 의 영성 증명.
• 이 결과를 스무스 함수 공간으로 확장하여 $ H^1(\Gamma, C^\infty(M)) = 0 $ 를 증명.
• 카즈단의 성질 (T) 와 관련된 무한차원 유니터리 표현에서 비자명한 1-코사이클이 존재하지 않음을 뒷받침하는 증거 제공.
• 유니터리 표현에 대해 성립하는, 딜란 트랜스포지션 고정 부분공간에 대한 수직 사영 조건을 포함한 필요 조건을 증명함으로써, 이전의 영성 결과를 일반화.

제안 방법

• Hochschild-Serre 스펙트럴 시퀀스를 사용하여 $ H^1(\Gamma, \ell^2(H')) $ 을 $ H^1(\mathrm{Sp}(2g,\mathbb{Z}), \ell^2(H')) $ 과 $ H^1(\mathcal{T}, \ell^2(H'))^\Gamma $ 로 연결하며, 여기서 $ \mathcal{T} $ 는 토렐리 군이다.
• 딜란 트랜스포지션에 의한 유계 쌍 맵의 불변성과 조건 $ p_\gamma u(\tau_\gamma) = 0 $ 을 활용하여, 임의의 코사이클이 토렐리 군에 제한될 때 0임을 증명.
• $ \mathrm{Sp}(2g,\mathbb{Z}) $ 가 성질 (T) 를 지닌다는 사실을 적용하여 $ H^1(\mathrm{Sp}(2g,\mathbb{Z}), \ell^2(H')) = 0 $ 이 됨을 보임.
• 모든 $ \Gamma $-모듈러스로서의 $ \ell^2(H') $ 와 $ L^2_0(M) $ 사이의 동형사상 수립 — 이는 $ H_1(\Sigma, \mathbb{Z}) $ 의 쌍대군 $ H' $ 에 의해 인덱싱된 정규직교기저를 통해.
• 스무스 함수의 경우, 포함관계 $ C^\infty_0(M) \to \ell^2(H') $ 를 사용하고, 딜란 트랜스포지션 궤도를 따라 태클레핑 합을 이용한 푸리에 계수의 감쇠 추정을 통해 코사이클의 업그레이드된 함수가 스무스임을 보임.
• 딜란 트랜스포지션 하에서 $ \tau_j^r m $ 의 엄격한 노름 증가를 이용하여 $ |f_m| $ 를 차분 $ g_{m,j}^\pm $ 의 합으로 bound 하여, $ |f_m| \leq G_{k+1}/(k|m|^k) $ 를 도출.

실험 결과

연구 질문

• RQ1 매핑 클래스 군 $ \Gamma $ 가 아벨 모듈리 공간 $ M $ 에 작용할 때, 첫 번째 코homology 군 $ H^1(\Gamma, L^2(M)) $ 는 0이 되는가?
• RQ2 동일한 작용에 대해, 첫 번째 코homology 군 $ H^1(\Gamma, C^\infty(M)) $ 는 0이 되는가?
• RQ3 유니터리 표현 $ V $ 에 대해, 딜란 트랜스포지션 사영 조건을 포함한 필요 조건을 통해 $ H^1(\Gamma, V) $ 의 영성은 증명될 수 있는가?
• RQ4 토렐리 군의 $ \ell^2(H') $ 에 대한 작용에서, 임의의 코사이클이 제한될 때 0이 되는가? 이는 $ \mathrm{Sp}(2g,\mathbb{Z}) $ 로의 축소를 가능하게 하는가?
• RQ5 딜란 트랜스포지션 하에서의 차분이 스무스일 경우, $ \ell^2(H') $ 에 속한 함수의 스무스성은 유도될 수 있는가?

주요 결과

• 첫 번째 코homology 군 $ H^1(\Gamma, L^2(M)) $ 는 0이다. 이는 $ H^1(\mathrm{Sp}(2g,\mathbb{Z}), \ell^2(H')) = 0 $ 이며, Hochschild-Serre 시퀀스를 통해 문제를 토렐리 군으로 축소할 수 있고, 그 군에서의 코사이클이 0이기 때문이다.
• 첫 번째 코homology 군 $ H^1(\Gamma, C^\infty(M)) $ 는 0이다. 스무스 코사이클을 $ \ell^2(H') $ 로 업그레이드하고, 푸리에 계수의 감쇠 추정을 통해 대응 함수 $ f \in \ell^2(H') $ 가 스무스임을 보여, 이에 기반한다.
• 핵심 기술 도구는 임의의 코사이클 $ u $ 에 대해 성립하는 항등식 $ p_\gamma u(\tau_\gamma) = 0 $ 이며, 여기서 $ p_\gamma $ 는 딜란 트랜스포지션 $ \tau_\gamma $ 의 고정 부분공간에 대한 수직 사영이다. 이는 모든 유니터리 표현에서 성립한다.
• 토렐리 군은 위수 1 유한 쌍 맵으로 생성되며, 이들 생성자에서 코사이클이 0이 된다. 이는 코너주션에 대한 불변성과 사영 조건 때문이다.
• $ \ell^2(H') $ 와 $ L^2_0(M) $ 사이의 $ \Gamma $-모듈러스로서의 동형사상은 코homological 결과를 $ \ell^2(H') $ 에서 $ L^2(M) $ 로 이전시키는 데 가능하게 한다.
• 딜란 트랜스포지션 궤도를 따라 태클레핑 합을 이용해 유도된 감쇠 추정 $ |f_m| \leq G_{k+1}/(k|m|^k) $ 는, $ f \in \ell^2(H') $ 가 스무스임을 보장한다. 이는 $ f $ 가 딜란 트랜스포지션 하에서의 차분이 스무수일 경우에 성립한다.