[논문 리뷰] A remark on a conjecture of Hain and Looijenga

Carel Faber|arXiv (Cornell University)|2008. 12. 18.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 6

한 줄 요약

이 논문은 곡선의 모듈라이 공간의 타우톨로지 레이어에 대한 세 가지 주요 추측 사이의 깊은 등가성을 확립한다: 컴act 유형, 유리 꼬리, 안정 곡선의 모듈라이 공간에 대한 고르스타인 추측. 이는 추측 (A)과 (C)가 항상 참이 되기 위한 필요충분조건으로, 유리 꼬리에 대한 일반화된 하인-루이아젠지 추측 (E)이 참이 되는 것임을 증명하며, 컴팩트하게 지정된 타우톨로지 클래스의 푸앵카레 dualiry, 쌍대성 쌍, 그리고 모듈러 구조를 연결한다.

ABSTRACT

After recalling the various tautological algebras of the moduli space of curves and some of its partial compactifications and stating several well-known results and conjectures concerning these algebras, we prove that the natural extension to the case of pointed curves of a 1996 conjecture of Hain and Looijenga is true if and only if two of the stated conjectures are true.

연구 동기 및 목표

• 모듈라이 공간 $M^{rt}_{g,n}$, $M^{ct}_{g,n}$, 및 ${\overline{M}}_{g,n}$의 타우톨로지 레이어에 대한 고르스타인 추측 간의 등가성을 확립하기.
• Hain과 Looijenga의 추측 (1)을 $n=0$ 에서 $n>0$ 으로 일반화하기 위해 $R^\bullet_c(M^{rt}_{g,n})$ 를 도입함.
• 타우톨로지 레이어 $R^\bullet(M^{rt}_{g,n})$ 와 $R^\bullet({\overline{M}}_{g,n})$ 의 고르스타인 성질이 $R^\bullet_c(M^{rt}_{g,n})$ 가 $R^\bullet(M^{rt}_{g,n})$-모듈러스로서의 자유성과 쌍대성 구조를 가지는 것과 동치임을 증명하기.
• 핵심 추측들 중 하나의 실패가 컴팩트하게 지정된 타우톨로지 레이어에서 반례를 야기함을 보여, 이로써 이들의 타당성이 쌍대성에 의해 연결됨을 밝히기.

제안 방법

• 컴팩트하게 지정된 타우톨로지 클래스가 ${\overline{M}}_{g,n} \setminus M^{rt}_{g,n}$ 에서 0이 되는 이상으로 $R^\bullet_c(M^{rt}_{g,n})$ 를 정의함으로써, Hain과 Looijenga의 컴팩트하게 지정된 타우톨로지 레이어를 일반화함.
• 표준적인 붙임 및 잊어버림 사상에 沿한 푸시포워드 및 풀백 사상들을 사용하여 타우톨로지 클래스와 그 경계 붕괴에 따른 행동을 분석함.
• 쌍대성 쌍 $R^k(M^{rt}_{g,n}) \times R^{3g-3+n-k}_c(M^{rt}_{g,n}) \to \mathbb{Q}$ 를 적용하여 완전성과 모듈러스 구조를 테스트함.
• 부분순서 $(g',n') \leq (g,n)$ 에 대한 귀납법을 사용하여 문제를 최소 반례로 축소함.
• 이미 알려진 $R^\bullet(M^{rt}_{g,n})$, $R^\bullet(M^{ct}_{g,n})$, 및 $R^\bullet({\overline{M}}_{g,n})$ 의 허무성 및 쌍대성 결과를 활용하여 추측 간의 함의관계 유도.
• 추측 (E) 하에 $\lambda_g\lambda_{g-1}$ 가 $R^\bullet_c(M^{rt}_{g,n})$ 를 $R^\bullet(M^{rt}_{g,n})$-모듈러스로서 자유로운 모듈러스로 생성함을 보이고, 이로 인해 (A)와 (C)의 고르스타인 성질이 유도됨을 보임.

실험 결과

연구 질문

• RQ1 타우톨로지 레이어 $R^\bullet(M^{rt}_{g,n})$ 가 $g-2+n-\delta_{0g}$ 차수에 소클을 가지는 고르스타인 성질을 갖는다 할 때, $R^\bullet_c(M^{rt}_{g,n})$ 가 $R^\bullet(M^{rt}_{g,n})$-모듈러스로서 랭크 1의 자유 모듈러스인가?
• RQ2 쌍대성 쌍 $R^k(M^{rt}_{g,n}) \times R^{3g-3+n-k}_c(M^{rt}_{g,n}) \to \mathbb{Q}$ 의 완전성은 $R^\bullet({\overline{M}}_{g,n})$ 의 고르스타인 성질을 암시하는가?
• RQ3 타우톨로지 쌍대성과 컴팩트하게 지정된 클래스의 구조를 통해, $n>0$ 인 경우의 하인-루이아젠지 추측을 일반화할 수 있는가?
• RQ4 고르스타인 추측 (A), (B), (C) 와 $R^\bullet_c(M^{rt}_{g,n})$ 의 모듈러 이론적 구조 사이의 정확한 관계는 무엇인가?
• RQ5 만약 $R^\bullet_c(M^{rt}_{g,n})$ 가 $R^\bullet(M^{rt}_{g,n})$-모듈러스로서 자유가 아니면, 이는 고르스타인 추측 (A) 또는 (C) 의 실패를 암시하는가?

주요 결과

• 모든 $(g,n)$ 에 대해 추측 (A)와 (C)가 참이 되기 위한 필요충분조건으로서, 모든 $(g,n)$ 에 대해 추측 (E) 가 참이 되는 것으로, 고르스타인 추측과 일반화된 하인-루이아젠지 쌍대성 간의 완전한 등가성을 확립함.
• 추측 (E) 가 참이면 $\lambda_g\lambda_{g-1}$ 가 $R^\bullet_c(M^{rt}_{g,n})$ 를 자유롭게 생성하지 못할 경우, 쌍대성 쌍에서 비자명한 핵이 존재하므로 추측 (A) 가 실패함을 알 수 있음.
• 추측 (A)와 (C) 가 참이면 $D_{(g,n)}$ 도 참임을 보였는데, 이는 $R^\bullet_c(M^{rt}_{g,n})$ 또는 $R^\bullet(M^{rt}_{g,n})$ 에서 모든 쌍대 클래스와 곱이 0이 되는 비자명한 클래스가 존재하면 (A) 또는 (C) 를 위반하기 때문임.
• $R^\bullet_c(M^{rt}_{g,n})$ 가 $R^\bullet(M^{rt}_{g,n})$-모듈러스로서의 자유성은 $\lambda_g\lambda_{g-1}$ 에 의한 곱셈의 단사성과 전사성과 동치이며, 고르스타인 가정 하에서는 이 두 성질이 서로 동치임을 보임.
• 이 결과는 고르스타인 추측 $\overline{M}_{1,n}$ (g=1인 경우의 추측 C) 가 참이 되기 위한 필요충분조건으로서 $E_{(1,n)}$ 가 참이 되는 것임을 암시하며, 이는 피터센에 의해 나중에 확인됨.
• 논문은 쌍대성과 모듈러스 구조를 통해 고르스타인 추측들을 통합하는 개념적 프레임워크를 제공하며, (A)와 (C)의 타당성을 유일한 추측 (E) 에 대한 것으로 축소함.