[논문 리뷰] The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points

Pavel Etingof, André Henriques외 2명|ArXiv.org|2005. 07. 25.

Commutative Algebra and Its Applications참고 문헌 2인용 수 5

한 줄 요약

이 논문은 $n$개의 마킹된 점을 가진 안정성 있는 종수 0 곡선의 모듈리 공간의 실수 국소 $M_n$의 유리수 코homology 링을 완전히 규명한다. 셀 분해와 옵레다이드 구조를 이용하여, 코homology는 조합적으로 정의된 대수 $\Lambda_n$과 동형이며, Poincaré 시리즈는 $\prod_{0\leq k<(n-3)/2}(1+(n-3-2k)^2 t)$이다. 또한 코homology는 4- torsion을 가지지 않으며, 오직 2- torsion과 홀수 torsion만 존재한다.

ABSTRACT

We compute the Poincare polynomial and the cohomology algebra with rational coefficeints of the manifold M_n of real points of the moduli space of algebraic curves of genus 0 with n labeled points. This cohomology is a quadratic algebra, and we conjecture that it is Koszul. We also compute the 2-local torsion in the cohomology of M_n. As was shown by E. Rains in arXiv:math/0610743 the cohomology of M_n does not have odd torsion, so that the above determines the additive structure of the integral homology and cohomology. Further, we prove that the rational homology operad of M_n is the operad of 2-Gerstenhaber algebras, which is closely related to the Hanlon-Wachs operad of 2-Lie algebras (generated by a ternary bracket). Finally, using Drinfeld's theory of quantization of coboundary Lie quasibialgebras, we show that a large series of representations of the quadratic dual Lie algebra L_n of H^*(M_n,Q) (associated to such quasibialgebras) factors through the the natural projection of L_n to the associated graded Lie algebra of the prounipotent completion of the fundamental group of M_n. This leads us to conjecture that the said projection is an isomorphism, which would imply a formula for lower central series ranks of the fundamental group. On the other hand, we show that the spaces M_n are not formal starting from n=6.

연구 동기 및 목표

• 모듈리 공간의 실수 국소 $M_n = \overline{M_{0,n}}(\mathbb{R})$의 유리수 코homology 링을 규명하는 것.
• 오랫동안 열려 있던 $M_n$의 베티 수를 계산하는 문제를 해결하는 것.
• $S_n$에 대한 모듈로로서의 코homology의 구조를 이해하고, 그 토르션 부분군을 묘사하는 것.
• homology에 대한 옵레다이드 구조를 확립하고, 이를 2-Gerstenhaber 대수와 연관짓는 것.
• $M_n$이 $K(\pi,1)$ 공간임을 증명하고, 그 기본군 $\Gamma_n$의 코homology를 계산하는 것.

제안 방법

• $M_n$의 셀 분해로부터 유도된 생성자와 관계를 이용해 $H^*(M_n, \mathbb{Q})$의 표현을 구성하는 것.
• 기본 삼각형 숲에 의해 인덱싱된 단항식을 통해 조합적 대수 $\Lambda_n$을 정의하고, 이는 코homology의 모델이 된다.
• $M_4^d \times M_c \to M_n$과 관련된 삼진 숲 $G$에 대응하는 사상 $g_G$를 통해 코homology 클래스의 기하적 실현을 제공하는 것. 이는 $H_*(M_n, \mathbb{Z})$로의 기본 클래스의 업그레이드를 가능하게 한다.
• $\Lambda_n$과 $H^*(M_n, \mathbb{Z})$의 2- torsion 모odulo 사이에 완벽한 쌍대성을 확립하여, $\Lambda_n$이 $H^*(M_n, \mathbb{Z})/H^*(M_n, \mathbb{Z})\langle 2\rangle$의 직접 합성분임을 증명하는 것.
• Bockstein 스펙트럴 시리즈와 $\mathbb{F}_2$ 계수의 코homology를 분석하여 4- torsion을 배제하고, 토르션 부분군의 구조를 규명하는 것.
• $\tilde{\Lambda}_n \otimes \mathbb{F}_2 \cong H^*(M_n, \mathbb{Z}/4\mathbb{Z})/H^*(M_n, \mathbb{Z}/4\mathbb{Z})\langle 2\rangle$의 동형을 이용하여, $H^*(M_n, \mathbb{Z})$가 4- torsion을 가지지 않으며, $\Lambda_n$에 대한 여집합이 홀수 토르션 모듈러의 곱임을 유추하는 것.

실험 결과

연구 질문

• RQ1 실수 국소 $M_n = \overline{M_{0,n}}(\mathbb{R})$의 유리수 코homology 링은 무엇인가?
• RQ2 $M_n$의 베티 수는 $n$에 따라 어떻게 증가하며, 그 명시적 공식은 무엇인가?
• RQ3 $H^*(M_n, \mathbb{Z})$의 토르션은 어떤 구조를 가지며, 4- torsion을 포함하는가?
• RQ4 $M_n$의 호모로지가 옵레다이드를 형성하는 방식은 무엇이며, 어떤 대수적 구조를 만족하는가?
• RQ5 $M_n$의 코homology가 조합적으로 정의된 대수 $\Lambda_n$과 동형인지, 그리고 만약 그렇다면 그 기저의 기하적 실현은 무엇인가?

주요 결과

• $H^*(M_n, \mathbb{Q})$의 Poincaré 시리즈는 $\prod_{0 \leq k < (n-3)/2} (1 + (n-3-2k)^2 t)$이며, 이는 베티 수의 완전한 기술을 제공한다.
• $H_1(M_n, \mathbb{Q})$의 계수는 $\binom{n-1}{3}$이며, 이는 Morava가 제기한 질문을 해결한다.
• $H^*(M_n, \mathbb{Z})$는 4- torsion을 가지지 않으며, 그 2- torsion은 직접 합분해의 일부로 완전히 묘사된다.
• $H^*(M_n, \mathbb{Q})$의 코homology 링은 조합적 대수 $\Lambda_n$과 동형이며, 이는 슈퍼교환적 곱과 이차 잭비안 항등식을 만족하는 반-스케일-스케일-교환적 삼항 2-브라켓으로 생성된다.
• $M_n$의 호모로지 옵레다이드는 2-Gerstenhaber 대수의 옵레다이드와 동형이며, 차수 0의 곱과 차수 1의 삼항 브라켓으로 생성된다.
• $H_*(M_n, \mathbb{Q})$의 기저는 기본 삼각형 숲에 관련된 사상에서 끌려온 기본 클래스로서 기하적으로 실현되며, 이는 조합적 모델을 확인한다.