[논문 리뷰] The tautological ring of the moduli space M_{2,n}^rt

Mehdi Tavakol|arXiv (Cornell University)|2011. 01. 27.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 $ R^*(M_{2,n}^{rt}) $의 타우토로지컬 링이 $ n $ 차수에서 소클을 가진 고르스타인 대수임을 증명함으로써, 종수 2 곡선의 유리 尾를 가진 모듈리 공간의 타우토로지컬 링이 고르스타인 대수임을 확립한다. 이를 위해 $ R^*(M_{2,n}^{rt}) $와 $ F(X,n) $의 플라튼-맥퍼슨 컴팩티피케이션 $ X[n] $의 타우토로지컬 링 사이의 동형사상과 $ R^*(X^n) $의 관계, 그리고 $ \overline{M}_{2,n} $ 상의 타우토로지컬 관계를 활용한다. 주요 결과는 종수 2에서 이 모듈리 공간에 대해 고르스타인 추측이 성립함을 확인한다.

ABSTRACT

We study the tautological ring of the moduli space of stable n-pointed curves of genus two with rational tails. The algebra is described in terms of explicit generators and relations. It is proven that this algebra is Gorenstein.

연구 동기 및 목표

• 종수 2 곡선에 유리 尾를 가진 부분 컴팩티피케이션인 $ M_{2,n}^{rt} $의 타우토로지컬 링 $ R^*(M_{2,n}^{rt}) $의 구조를 규명하는 것.
• 종수 2에서 타우토로지컬 링에 대한 고르스타인 추측을 검증하기 위해 $ R^*(M_{2,n}^{rt}) $가 $ n $ 차수에서 소클을 가지는 고르스타인 대수임을 증명하는 것.
• 고정된 종수 2 곡선 $ X $에 대한 감소한 섬유를 통해 $ M_{2,n}^{rt} $, 구성공간 $ F(X,n) $, 그리고 그 플라튼-맥퍼슨 컴팩티피케이션 $ X[n] $의 타우토로지컬 링 간의 연결 고리를 설정하는 것.
• $ R^*(X^n) $과 $ R^*(X[n]) $의 타우토로지컬 관계를 분석하여 둘 다 고르스타인임을 보이고, 이를 통해 $ R^*(M_{2,n}^{rt}) $의 구조를 유도하는 것.

제안 방법

• $ \overline{M}_{2,n} \to \overline{M}_2 $에 대한 자연스러운 준동형사상 아래 $ M_2 $의 역상으로서 $ M_{2,n}^{rt} $를 정의하여, 유리 尾를 가진 안정적인 $ n $-점 종수 2 곡선을 매개화하는 것.
• 고정된 종수 2 곡선 $ X $에 대한 $ \overline{M}_{2,n} \to \overline{M}_2 $의 감소한 섬유 $ X[n] $를 사용하여 타우토로지컬 링을 연결하는 것. 이는 $ F(X,n) $의 플라튼-맥퍼슨 컴팩티피케이션으로서의 성질을 활용한다.
• $ R^2(X^3) $과 $ R^3(X^6) $의 관계를 분석함으로써 $ R^*(X^n) $이 고르스타인임을 증명하며, 패브러-판다리파ande 및 벨로루스키-판다리파ande 관계를 포함한 관계를 고려한다.
• 특정 특성다항식 $ P_{W/X^n}(t) $ 전개에서의 단항식들이 타우토로지컬 링 내에서 0이 되는 것으로 보여, $ R^*(X[n]) $이 고르스타인임을 증명한다.
• 타우토로지컬 관계, 예를 들어 $ P_{Z/X^n}(-\sum_{I \subseteq J} D_J) = 0 $와 같은 관계가 $ M_{2,n}^{rt} $로 내림내림됨을 증명함으로써 $ R^*(X[n]) \to R^*(M_{2,n}^{rt}) $의 동형사상을 확립한다.
• 모든 단항식이 $ \prod_{i \neq j \in I} (d_{i,j} - \sum_{I \subseteq J} D_J) $ 전개에서 $ R^*(M_{2,n}^{rt}) $ 내에서 0임을 확인함으로써 동형사상과 고르스타인 성질을 확인한다.

실험 결과

연구 질문

• RQ1 패브러의 추측이 예측한 바와 같이 타우토로지컬 링 $ R^*(M_{2,n}^{rt}) $가 고르스타인 대수인지 여쭤보는 것?
• RQ2 고정된 종수 2 곡선 $ X $에 대해 $ R^*(X^n) $의 구조는 무엇이며, $ R^*(M_{2,n}^{rt}) $와의 관계는 무엇인지?
• RQ3 플라튼-맥퍼슨 컴팩티피케이션 $ X[n] $의 타우토로지컬 링이 $ R^*(M_{2,n}^{rt}) $를 묘사하는 데 사용될 수 있으며, 이 역시 고르스타인인지 여쭤보는 것?
• RQ4 $ R^*(X^n) $과 $ R^*(X[n]) $의 타우토로지컬 관계가 $ R^*(M_{2,n}^{rt}) $로 내림내림되고, 이 관계들이 고르스타인 성질을 유도하는지 여쭤보는 것?
• RQ5 $ R^*(M_{2,n}^{rt}) $의 소클 차수는 무엇이며, 고르스타인 추측에서 예상한 바와 같이 $ n $ 차수와 일치하는가?

주요 결과

• 타우토로지컬 링 $ R^*(M_{2,n}^{rt}) $는 $ n $ 차수에서 소클을 가지는 고르스타인 대수이며, 이는 종수 2에서 이 모듈리 공간에 대해 고르스타인 추측이 성립함을 확인한다.
• 플라튼-맥퍼슨 컴팩티피케이션 $ X[n] $의 타우토로지컬 링 $ R^*(X[n]) $와 $ R^*(M_{2,n}^{rt}) $ 사이에 자연스러운 동형사상이 존재하며, 이는 구성공간의 타우토로지컬 링과 모듈리 공간의 타우토로지컬 링 간의 다리 역할을 한다.
• $ R^*(X^n) $의 관계, 특히 $ R^2(X^3) $과 $ R^3(X^6) $에서의 두 핵심 관계는 $ R^*(X^n) $과 $ R^*(X[n]) $의 고르스타인 성질을 증명하는 데 핵심적인 역할을 한다.
• $ R^2(M_{2,n}^{rt}) $에서 $ D_I \cdot D_J $는 $ I \subseteq J $, $ J \subseteq I $, 또는 $ I \cap J = \emptyset $일 때만 0이 아니며, 이 성질은 $ R^*(\overline{M}_{2,n}) $에서도 크기가 3 이상인 부분집합에 대해 성립한다.
• $ \prod_{i \neq j \in I} (d_{i,j} - \sum_{I \subseteq J} D_J) $ 전개에서의 모든 단항식은 $ R^*(M_{2,n}^{rt}) $ 내에서 0이며, 이는 모듈리 공간에서 특성다항식 관계가 소멸됨을 확인한다.
• $ R^*(X[n]) \to R^*(M_{2,n}^{rt}) $의 동형사상은 $ X[n] $ 상의 모든 타우토로지컬 관계, 특히 $ P_{W/X^n}(t) $에서 유래한 관계들이 $ R^*(M_{2,n}^{rt}) $로 내림내림되고 0이 됨을 보여서 증명이 완료된다.