[논문 리뷰] A perfect stratification of M_g for g at most 5

Claudio Fontanari, Eduard Looijenga|ArXiv.org|2007. 08. 25.

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

한 줄 요약

이 논문은 $g \leq 5$ 인 경우 캐논ical 곡선을 통한 2차 곡선계의 기하학을 분석하여 모듈리 공간 $\mathcal{M}_g$ 의 완벽한 분할을 구성한다. 각 분할층이 아핀임을 증명하고, 그 닫힘은 차우 링에 대한 $\mathbb{Q}$-기저를 이룬다. 이는 $A^\bullet(\mathcal{M}_g) = \mathbb{Q}[\lambda]/(\lambda^{g-1})$ 임을 새롭고 간단한 증명으로 보여주며, 이 범위에서 차우 링이 $\lambda$-클래스에 의해 생성됨을 확인한다.

ABSTRACT

We find for g at most 5 a stratification of depth g-2 of the moduli space of curves M_g with the property that its strata are affine and the classes of their closures provide a Q-basis for the Chow ring of M_g. The first property confirms a conjecture of one of us. The way we establish the second property yields new (and simpler) proofs of theorems of Faber and Izadi which, taken together, amount to the statement that in this range the Chow ring is generated by the lambda-class.

연구 동기 및 목표

• g \leq 5 인 경우 깊이 $g-2$ 의 아핀 분할층을 $\mathcal{M}_g$ 에 구성하여, 그러한 분할층의 존재에 대한 추측을 확인하는 것.
• 이 분할층의 닫힘들이 차우 링 $A^\bullet(\mathcal{M}_g)$ 에 대한 $\mathbb{Q}$-기저를 이룬다는 것을 보여, '완벽한' 분할층을 확립하는 것.
• g \leq 5 인 경우 $\mathcal{M}_g$ 의 타우토로지컬 차우 링이 $\lambda$-클래스에 의해 생성됨을 보여주는 새로운, 단순화된 증명을 제공하는 것. 즉, $A^\bullet(\mathcal{M}_g) = \mathbb{Q}[\lambda]/(\lambda^{g-1})$ 라는 식.
• 효과적인 짝수 타타 특성선이 없는 곡선으로 정의된 열린 분할층이 아phin임을 보이며, 이는 구성에서 최상위 분할층으로 기능한다.

제안 방법

• 저자들은 $g$-계량 곡선의 캐논ical 이미지를 통과하는 2차 곡선계의 선형계를 사용하여, 이 계의 차원에 따라 분할층을 정의한다.
• g=3,4,5 에서는 기하학적 조건에 따라 분할층을 정의한다: 짝수 타타 특성선이 없는 경우(codimension 1), 비삼중곡선 곡선인 경우(_codimension 2_, 평면의 오목한 5차 곡선에 특이점이 있는 경우(_codimension 3_).
• 각 분할층이 아phin임을 보이기 위해, 분할층의 여집합이 가중 투영공간에서 초곡면을 뺀 부분공간으로부터 유한 매프리즘임을 증명하며, 이는 2.2번 레마(아핀 몫에 관한)를 활용한다.
• 각 분할층의 차우 링은 자명하고, 각 분할층에 대한 $\lambda$-클래스의 제약은 순차적인 차이에서 0이 된다. 이는 $\lambda^k$ 가 $k$-번째 분할층의 계열과 비례함을 의미한다.
• $A^1(\mathcal{M}_g \setminus \mathcal{T}_g) = 0$ 이고 $\mathcal{R}^\bullet(\mathcal{M}_g \setminus \mathcal{T}_g)$ 가 $\kappa_2$ 에 의해 생성되며, 이는 $\lambda$ 가 0이 되므로 차우 링에서 0이 된다는 사실을 이용하여, 차우 링이 $\mathbb{Q}$ 임을 결론짓는다.
• 이 증명은 무어포드, 파버, 이자디, 테이크시도르 이 비가스의 기존 결과를 바탕으로 하되, 캐논ical 곡선과 그 2차 곡선계에 대한 새로운 기하적 추론을 결합한다.

실험 결과

연구 질문

• RQ1 g \leq 5 인 경우 $\mathcal{M}_g$ 에 대해 깊이 $g-2$ 의 아핀 분할층이 존재하는가?
• RQ2 그러한 분할층의 분할층 닫힘들이 차우 링 $A^\bullet(\mathcal{M}_g)$ 에 대한 $\mathbb{Q}$-기저를 이룰 수 있는가?
• RQ3 g \leq 5 인 경우 $\mathcal{M}_g$ 의 차우 링이 $\lambda$-클래스에 의해 생성되는가? 그리고 이는 이전의 작업에 의존하지 않고 독립적으로 증명될 수 있는가?
• RQ4 $\mathcal{M}_g \setminus \mathcal{T}_g$ 의 열린 분할층에서 $\lambda$ 가 차우 링에서 0이 되는 기하학적 의미는 무엇인가?
• RQ5 각 순차적 차이가 자명한 차우 링을 가지며 $\lambda$-클래스가 0이 되는 필터링을 통해 $\mathcal{M}_g$ 의 타우토로지컬 차우 링을 완전히 기술할 수 있는가?

주요 결과

• g \leq 5 인 경우, 모듈리 공간 $\mathcal{M}_g$ 는 깊이 $g-2$ 의 완벽한 분할층을 가지며, 모든 분할층이 아핀이다.
• 이 분할층에서 각 분할층의 닫힘은 차우 링 $A^\bullet(\mathcal{M}_g)$ 에 대한 $\mathbb{Q}$-기저를 이룬다.
• $k$-번째 분할층의 닫힘은 $A^\bullet(\mathcal{M}_g)$ 에서 $\lambda^k$ 의 0이 아닌 배수를 나타내며, 이는 $\lambda^k$ 가 $k \leq g-2$ 에서 0이 아니고 $\lambda^{g-1} = 0$ 임을 의미한다.
• g \leq 5 인 경우, 차우 링 $A^\bullet(\mathcal{M}_g)$ 는 $\mathbb{Q}[\lambda]/(\lambda^{g-1})$ 와 동형이며, 파버와 이자디의 원래 증명에 의존하지 않는 새로운 간단한 추론을 통해 이는 증명된다.
• 열린 분할층 $\mathcal{M}_g \setminus \mathcal{T}_g$ 는 효과적인 짝수 타타 특성선이 없는 곡선으로 구성되며, 아핀이면서 차우 링이 자명하다.
• g=5 인 경우 두 가지 서로 다른 완벽한 분할층이 구성된다: 하나는 $h^0(3p) \geq 2$ 인 점 $p$ 를 가진 곡선의 위치인 $\mathcal{T}_5$ 를 사용하고, 다른 하나는 $\mathcal{M}_5'$ 를 사용하며, 둘 다 동일한 차우 링 기저를 제공한다.