[논문 리뷰] Square-tiled surfaces and rigid curves on moduli spaces

Dawei Chen|arXiv (Cornell University)|2010. 03. 03.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 10

한 줄 요약

이 논문은 정사각형 타일 표면에서 유도된 테이히뮐러 곡선을 이용하여, 짝수 $n$에 대해 안정적 $n$-점이 있는 유리 곡선의 모듈리 공간에서 무한히 많은 강성 곡선이 존재함을 증명한다. 이 곡선들이 움직이는 곡선의 원뿔 안에서 동일한 극단적 반사선을 생성하며, 자리키 밀도를 이룬다. 또한 테이히뮐러 곡선의 기울기와 히오지 배럴의 리아풀로프 지수의 합이 상호로 결정됨을 보이며, 곡선의 효과적 다발에 대한 이해를 심화시킨다.

ABSTRACT

This work is motivated by two central questions in the birational geometry of moduli spaces of curves -- Fulton's conjecture and the effective cone of $\bar M_g$. We study the algebro-geometric aspect of Teichmuller curves parameterizing square-tiled surfaces with two applications: (a) there exist infinitely many rigid curves on the moduli space of hyperelliptic curves, they span the same extremal ray of the cone of moving curves and their union is Zariski dense, hence they yield infinitely many rigid curves with the same properties on the moduli space of stable n-pointed rational curves for even n; (b) the limit of slopes of Teichmuller curves and the sum of Lyapunov exponents of the Hodge bundle determine each other, by which we can have a better understanding for the cone of effective divisors on the moduli space of curves.

연구 동기 및 목표

• 정사각형 타일 표면에서 유도된 테이히뮐러 곡선을 이용하여 안정적 점이 있는 유리 곡선과 종수 $g$ 곡선의 모듈리 공간의 비라시오널 기하학을 조사한다.
• 짝수 $n$에 대해 $\overline{M}_{0,n}$에서 무한히 많은 강성 곡선이 존재하며, 이들이 움직이는 곡선의 원뿔 안에서 동일한 극단적 반사선을 생성함을 증명한다.
• 테이히뮐러 곡선의 기울기와 히오지 배럴의 리아풀로프 지수의 합 사이의 이중성 관계를 설정한다.
• 이중성과 정사각형 타일 표면의 기하학을 통해 $\overline{M}_g$ 위의 효과적 다발의 구조를 이해한다.

제안 방법

• 정사각형 타일 표면을 이용하여, 타원 곡선에 대한 차수 $d$의 연결 덮개를 매개변수화하는 1차원 투르비츠 공간으로서 테이히뮐러 곡선 $\mathcal{T}_{d,\mu,i}^{hyp}$를 구성한다. 이 덮개는 유일한 분기점과 분기 타입 $\mu$를 가진다.
• 주기 사상(Period map)을 사용하여 정사각형 타일 표면가 $\mathcal{H}(\mu)$에서 정수 좌표를 가짐을 보이고, 이는 대수적 테이히뮐러 곡선의 구성에 기여한다.
• 사상 $h: \mathcal{T}_{d,\mu,i}^{hyp} \to \overline{H}_g \cong \widetilde{M}_{0,2g+2}$를 적용하여 곡선을 초타원곡선 부분공간으로 매핑하고, 그 이미지가 자리키 밀도임을 증명한다.
• 단일화 조건을 적용하여 $\mathcal{T}_{d,\mu}$의 기약 성분을 분류하고, 이들이 $SL(2,\mathbb{Z})$-오빗과 대응됨을 보인다.
• 시겔-비치 상수를 사용하여 테이히뮐러 곡선의 기울기 $s_\mu$를 계산하고, 공식 $s_\mu = \frac{6}{\pi^2} \sum \lambda_i$를 통해 리아풀로프 지수의 합과 연결한다.
• 유한 사상 $e: \mathcal{T}_{d,\mu,i} \to \overline{M}_{1,1}$을 활용하여 $N_{d,\mu,i}$의 차수를 분석하고, 곡선 성분의 기하학을 연구한다.

실험 결과

연구 질문

• RQ1 짝수 $n$에 대해 $\overline{M}_{0,n}$에서 무한히 많은 강성 곡선이 존재하며, 이들이 움직이는 곡선의 원뿔 안에서 동일한 극단적 반사선을 생성하는가?
• RQ2 사상 $h$에 의한 테이히뮐러 곡선의 이미지들의 합집합이 $\overline{H}_g \cong \widetilde{M}_{0,2g+2}$에서 자리키 밀도를 이룬다?
• RQ3 테이히뮐러 곡선의 기울기는 히오지 배럴의 리아풀로프 지수의 합으로 결정될 수 있으며, 그 반대도 가능한가?
• RQ4 정사각형 타일 표면의 기하학적 불변량—예를 들어 분기 타입과 단일화—은 해당하는 테이히뮐러 곡선의 구조를 어떻게 결정하는가?

주요 결과

• 모수 $\mu = (2g-2)$ 또는 $(g-1,g-1)$일 경우, 모든 $d,i$에 대해 $h(\mathcal{T}_{d,\mu,i}^{hyp})$의 합집합은 $\overline{H}_g \cong \widetilde{M}_{0,2g+2}$에서 자리키 밀도를 이룬다. 이들의 $\overline{M}_{0,2g+2}$ 위의 원상 역시 자리키 밀도를 이룬다.
• 짝수 $n$에 대해 $\overline{M}_{0,n}$에는 무한히 많은 강성 곡선이 존재하며, 이들은 모두 움직이는 곡선의 원뿔 안에서 동일한 극단적 반사선을 생성한다.
• 테이히뮐러 곡선의 기울기 $s_\mu$는 $s_\mu = \frac{6}{\pi^2} \sum_{i=1}^{g} \lambda_i$로 주어지며, 여기서 $\lambda_i$는 히오지 배럴의 리아풀로프 지수이다.
• $g=6$일 때, $\mathcal{H}^{odd}(2,2,2,2,2)$의 기울기 $s_\mu$는 약 6.88119이며, $\mathcal{H}^{odd}(4,2,2,2)$의 경우 약 6.98186로, 다양한 분할(strata) 간의 변동성을 보인다.
• 리아풀로프 지수의 합과 테이히뮐러 곡선의 기울기는 일대일 대응 관계에 있으며, 이는 기울기를 리아풀로프 데이터로부터 계산하거나 그 반대로 계산할 수 있음을 의미한다.
• 논문은 $g \leq 6$인 모든 분할 $\mathcal{H}(\mu)$에 대해 $s_\mu$의 명시적 값을 계산하였으며, 예를 들어 $\mathcal{H}(5,1,1,1)$에선 $s_\mu \approx 7.65324$, $\mathcal{H}^{hyp}(10)$에선 $s_\mu \approx 8.66667$을 얻었다.