[논문 리뷰] Symplectic and Isometric SL(2,R) invariant subbundles of the Hodge bundle

Artur Avila, Alex Eskin외 1명|arXiv (Cornell University)|2012. 09. 13.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 27

한 줄 요약

이 논문은 아벨 미분형의 계층 위의 호지 벡터장의 아핀 불변 부분다양체에 대해, 콘테비치-조리치 코시클이 히오지 내적과 교차형식에 관해 등급을 유지하는 Forni 부분공간이 국소적으로 일정하며, 이는 히오지 내적과 교차형식에 관해 부분다양체의 접공간과 수직임을 증명한다. 이는 이러한 부분다양체가 심플렉틱이며, 그 위에서 호지 벡터장이 반순수적임을 이끌어내는 핵심 결과로 이어진다.

ABSTRACT

Suppose N is an affine SL(2,R)-invariant submanfold of the moduli space of pairs (M,w) where M is a curve, and w is a holomorphic 1-form on M. We show that the Forni bundle of N (i.e. the maximal SL(2,R)-invariant isometric subbundle of the Hodge bundle of N) is always flat and is always orthogonal to the tangent space of N. As a corollary, it follows that the Hodge bundle of N is semisimple.

연구 동기 및 목표

• SL(2,R)-불변 부분다양체 위에서 호지 벡터장의 SL(2,R)-불변 부분다양체의 구조를 이해하기 위해.
• Forni 부분공간이 아핀 불변 부분다양체의 접공간과 수직이 되고 국소적으로 일정함을 증명하기 위해.
• 아핀 불변 부분다양체의 접공간이 교차형식에 관해 심플렉틱함을 증명하기 위해.
• 아핀 불변 부분다양체 위에서 호지 벡터장이 반순수함을 증명하기 위해, 즉 모든 평행 부분다양체가 보완 평행 부분다양체를 가짐을 보여주기 위해.

제안 방법

• 기하학적 주기 좌표를 사용하여 아핀 불변 부분다양체를 $\mathbb{C}^n$ 내의 아핀 부분공간으로 모델링하기 위해.
• Forni 부분공간 $F(x)$를 히오지 내적에 관해 콘테비치-조리치 코시클이 등급을 유지하는 최대의 SL(2,R)-불변 부분공간으로 정의하기 위해.
• 가우스-마이닌 연결을 적용하고 단순화를 분석하여 $F(x)$가 부분다양체 위에서 국소적으로 일정함을 보여주기 위해.
• 히오지 내적과 교차형식에 관해 $H^1(M,\mathbb{R}) = F^\perp \oplus F$의 수직 분해를 사용하여 $p(T_{\mathbb{R}}(\mathcal{N}))(x)$의 심플렉틱성을 증명하기 위해.
• EMi의 결과를 활용하여 심플렉틱 및 수직 분해 기법을 통해 보완 평행 부분다양체를 구성하기 위해.
• 국소 모델에서의 정사각형 이동 추론을 사용하여, $F(x)$가 연결에 의해 보존되지 않을 경우 모순을 이끌어내어 국소 일관성 증명하기 위해.

실험 결과

연구 질문

• RQ1 아핀 불변 부분다양체를 따라 Forni 부분공간은 국소적으로 일정한가?
• RQ2 아핀 불변 부분다양체의 접공간은 교차형식에 관해 심플렉틱한가?
• RQ3 아핀 불변 부분다양체 위에서 호지 벡터장은 보완 평행 부분다양체를 가진다?
• RQ4 Forni 부분공간은 히오지 내적과 교차형식에 관해 부분다양체의 접공간과 수직으로 특징지어질 수 있는가?
• RQ5 아핀 측도는 Forni 부분공간의 정규성과 접공간의 심플렉틱 구조를 보장하는 데 어떤 역할을 하는가?

주요 결과

• Forni 부분공간 $F(x)$는 아핀 불변 부분다양체 $\mathcal{N}$ 위에서 국소적으로 일정하며, 따라서 호지 벡터장의 평행 부분다양체를 정의한다.
• $\nu$-거의 모든 $x \in \mathcal{N}$에 대해, $p(T_{\mathbb{R}}(\mathcal{N}))(x)$는 히오지 내적에 관해 $F(x)$와 수직이다.
• $\nu$-거의 모든 $x \in \mathcal{N}$에 대해, $p(T_{\mathbb{R}}(\mathcal{N}))(x)$는 교차형식에 관해 $F(x)$와 수직이다.
• 접공간 $p(T_{\mathbb{R}}(\mathcal{N}))$는 교차형식에 관해 비퇴화적이므로, $\mathcal{N}$은 심플렉틱하다.
• 모든 아핀 불변 부분다양체 위에서 호지 벡터장은 반순수하며, 즉 모든 평행 부분다양체가 보완 평행 부분다양체를 가진다.
• 주요 기술적 결과인 정리 7.2는 $\nu$-거의 모든 $x$에 대해, 근처의 $y$에 대해 $y - x$가 $F^\perp(x)$에 속한다는 것을 보여주며, 이는 $F(x)$의 국소 일관성을 확인한다.