[논문 리뷰] Normal Functions and the Geometry of Moduli Spaces of Curves

Richard Hain|arXiv (Cornell University)|2011. 02. 19.

Algebraic Geometry and Number Theory참고 문헌 30인용 수 69

한 줄 요약

이 논문은 곡선의 모듈리 공간 위의 야코비 배럴의 해석적 섹션(즉, 정칙 섹션)을 사용하여, 특히 그 코homological 불변량과 곡률 성질을 통해 모듈리 공간의 기하학을 연구한다. 논문은 Eliashberg의 문제를 해결하며, 제로섹션의 분리 정규 함수에 沿한 유리 코homology 클래스에 관해 밝혀내고, compact type 국소에서 모든 완전 곡선에 대해 Moriwaki의 분리 정규 함수가 비음성도를 갖는다는 것을 증명하며, 곡률 형식의 양성에 의한 기울기 부등식에 대한 함의를 제시한다.

ABSTRACT

In this paper normal functions (in the sense of Griffiths) are used to solve and refine geometric questions about moduli spaces of curves. The first application is to a problem posed by Eliashberg: compute the class in the cohomology of M_{g,n}^c of the pullback of the zero section of the universal jacobian along the section that takes [C;x_1,...,x_n] to Sum d_j x_j in Jac (C), where d_1 + ... + d_n = 0. The second application is to slope inequalities of the type discovered by Moriwaki. There is also a discussion of height jumping and its relevance to slope inequalilties.

연구 동기 및 목표

• 안정 곡선의 모듈리 공간 위에서의 보편 야코비의 제로섹션의 페어링에 대해, compact type 국소에서의 유리 코homology 클래스를 계산하는 것.
• 특히 Moriwaki의 부등식을 포함한 곡선의 모듈리 공간에서의 기울기 부등식에 대해 새로운 코homological 접근법을 제공하는 것.
• Moriwaki의 분리 정규 함수가 compact type 국소의 모든 완전 곡선에서 비음성도를 갖는다는 것을 증명하고, 전체 모듈리 공간에서 경계를 제외한 영역에서도 그 비음성도가 성립할 것이라 추측하는 것.
• 리 대수 코hom로와 기본군의 완비화를 통해 정규 함수와 그 특성 클래스가 타우토로지컬 코homology에 미치는 영향을 탐구하는 것.

제안 방법

• 논문은 정규 함수 $ \nu $의 특성 클래스 $ c(\nu) \in H^1(T, \mathbb{V}) $를 사용하여 코homology와 곡률을 연결하며, $ H^0(T, \mathbb{V}_\mathbb{Q}) = 0 $일 경우 $ \nu $는 토판에 대해 유일하게 $ c(\nu) $에 의해 결정됨을 이용한다.
• 상대 야코비 $ J(\mathbb{V}) $ 위에 이중 확장 선다발 $ \mathcal{B} $를 구성하며, 그 곡률은 de Rham 클래스 $ S \circ c(\nu)^2 \in H^2(T, \mathbb{Q}) $를 나타내며, $ S $가 분할형일 경우 이는 비음성 (1,1)-형식이 된다.
• 핵심 기술적 도구는 Torelli 군의 코homology와 그 완비화를 리 대수 코hom로로 식별하는 것: $ \operatorname{Ext}^\bullet_{\sf{MHS}_{g,n}}(\mathbb{Q}(0), \mathbb{V}) \cong H^\bullet(\mathfrak{u}_{C,P}, V_{C,P})^{\mathfrak{sp}(H_1(C))} $.
• 논문은 자연스러운 준동형 $ \Gamma_{C,P} \to \mathcal{G}_{C,P}(\mathbb{Q}) $와 관련된 리 대수 확장 $ 0 \to \mathfrak{u}_{C,P} \to \mathfrak{g}_{C,P} \to \mathfrak{sp}(H_1(C)) \to 0 $을 이용해 정규 함수를 대수 $ A_{g,n}^\bullet $와 연결한다.
• 논문은 $ \mathfrak{u}_{C,P} $의 두 번째 무게-중급 몫에서의 디엔 트랜스포지션의 상을 통해 경계 분리 정규 함수 클래스 $ \delta_h^P $의 계수를 계산한다.
• 논문은 이중 확장 선다발을 컴팩티피케이션으로 확장할 때의 '높이 점프' 현상을 분석하며, 메트릭이 여전히 고차원 ≥2에서 특이해질 수 있음을 보여주며, 이는 곡률 형식의 행동에 영향을 준다.

실험 결과

연구 질문

• RQ1 보편 야코비의 제로섹션의 페어링이 $ \mathcal{M}_{g,n}^{c} $ 위에서 차수 0인 분리 정규 함수 $ \sum d_j [x_j] $에 의해 정의된 섹션에 따라 어떻게 되는가?
• RQ2 정규 함수와 관련된 곡률 형식의 양성으로부터 Moriwaki의 기울기 부등식을 유도할 수 있는가?
• RQ3 Moriwaki의 분리 정규 함수 $ M $은 $ \overline{\mathcal{M}}_g $ 내에서 경계 $ \Delta_0 $를 피하는 모든 완전 곡선에서 비음성도를 갖는가?
• RQ4 정규 함수와 그 특성 클래스는 $ \mathcal{M}_{g,n} $의 타우토로지컬 코homology와 어떻게 관련이 있는가?
• RQ5 기본군 $ \Gamma_{C,P} $의 완비화와 그 리 대수 $ \mathfrak{g}_{C,P} $는 변형 Hodge 구조와 정규 함수를 분류하는 데 어떤 역할을 하는가?

주요 결과

• 분리 정규 함수 섹션 $ F_{\mathbf{d}} $에 의한 보편 야코비의 제로섹션의 페어링에 대한 유리 코homology 클래스는 $ \mathcal{M}_{g,n}^{c} $ 위에서 기본 정규 함수로 표현되며, 이는 Eliashberg의 문제를 해결한다.
• Moriwaki의 분리 정규 함수 $ M = (8g+4)\lambda_1 - g\delta_0 - 4\sum_{h=1}^{\lfloor g/2\rfloor} h(g-h)\delta_h $ 는 $ \mathcal{M}_g^{c} $ 내의 모든 완전 곡선에서 비음성도를 갖는다. 이는 곡률 형식 $ S \circ c(\nu)^2 $ 의 준양성에 기인한다.
• $ S \circ c(\nu)^2 $ 는 이중 확장 선다발의 곡률에 대한 자연스러운 de Rham 표현이며, $ S $ 가 분할형일 경우 이는 비음성 (1,1)-형식이다.
• $ \nu^*\phi_V $ 공식에서 경계 분리 정규 함수 클래스 $ \delta_h^P $ 의 계수는 $ \mathfrak{u}_{C,P} $ 의 두 번째 무게-중급 몫에서의 디엔 트랜스포지션의 상에 의해 결정된다.
• 컴팩티피케이션으로의 이중 확장 선다발의 확장은 '높이 점프' 현상을 보이며, 메트릭이 여전히 고차원 ≥2에서 특이해질 수 있다. 이는 선다발이 자연스럽게 확장되더라도 그렇다.
• $ \mathcal{M}_{g,n} $ 위에서의 혼합 Hodge 구조의 범주와 리 대수 $ \mathfrak{g}_{C,P} $ 의 Hodge 표현의 범주가 동치이며, 확장은 리 대수 코hom로로 제어된다.