[논문 리뷰] Algebraic and tropical curves: comparing their moduli spaces

Lucia Caporaso|arXiv (Cornell University)|2011. 01. 25.

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

한 줄 요약

이 논문은 종수 $g$인 $n$-점부 tropical 곡선의 모듈리 공간을 구성하며, 가중치를 부여한 곡선을 통한 경계화(bordification)와 확장된 곡선을 통한 컴actsification를 포함하고, 안정한 대수적 곡선의 Deligne-Mumford 모듈리 공간 $\overline{M}_{g,n}$와 비교한다. 주요 기여는 tropical과 대수적 모듈리 공간 간의 깊이 있는 조합론적, 위상수학적, 테이히뮐러 이론적 유사성의 수립으로, $M_{g,n}^{\text{trop}}$가 순수 차원 $3g-3+n$을 가지며 연결되고 하우스도르프 공간임을 보이며, $M_{g,n}^{\text{pure}}$가 그 안에 조밀하고 열려 있음을 보여준다.

ABSTRACT

We construct the moduli space for equivalence classes of n-pointed tropical curves of genus g, together with its compactification given by weighted tropical curves, and establish some of its basic topological properties. We compare it to the moduli spaces of smooth and stable algebraic curves, from the combinatorial, the topological, and the Teichmüller point of view. The paper is written in an expository style, and it generalizes some results contained in sections 4-6 of arXiv:1001.2815v3.

연구 동기 및 목표

• 종수 $g$인 $n$-점부 tropical 곡선의 모듈리 공간을 구성하며, 그 경계화와 컴actsification를 포함한다.
• tropical 모듈리 공간의 위상수학적 및 조합론적 구조를 대수적 모듈리 공간 $\overline{M}_{g,n}$의 것과 비교한다.
• 복소 곡선에 대한 테이히뮐러 이론과 metric 그래프에 대한 것 사이의 유사성을 탐색한다.
• 특히 컴actsification, 분할 이론, 범주론적 기초에 관해 열려 있는 문제들을 식별한다.

제안 방법

• 정점의 차수 3 이하인 정점이 없는 metric 그래프로 순수 tropical 곡선을 정의하고, 정점에 가중치 함수를 도입하여 가중치를 부여한 tropical 곡선으로 확장한다.
• 종수 $g$인 가중치가 부여된 $n$-점부 tropical 곡선의 등장사상 클래스를 매개하는 위상공간으로서 $M_{g,n}^{\text{trop}}$를 구성한다.
• 안정한 대수적 곡선의 이중 그래프를 사용하여 $\overline{M}_{g,n}$의 조합론적 분할을 정의하고, 이와 $M_{g,n}^{\text{trop}}$의 안정한 그래프에 의한 분할을 비교한다.
• Culler-Vogtmann 외부 공간 $O_g$를 복소 곡선의 테이히뮐러 공간 $T_g$에 대한 tropical 해석으로 적용한다.
• 스트라타의 폐포 포함 관계를 통해 $\overline{M}_{g,n}$과 $M_{g,n}^{\text{trop}}$의 순서 집합의 구조 간의 대응을 수립한다.
• 특수화 보조정리와 그래프 위의 분할 이론을 사용하여 tropical과 대수적 선형 계열 간의 관계를 설정한다.

실험 결과

연구 질문

• RQ1 순수 tropical 곡선의 모듈리 공간은 어떻게 컴acts화할 수 있으며, 그러한 컴actsification는 어떤 기하학적 의미를 갖는가?
• RQ2 확장된 tropical 곡선 컴actsification 외에 $M_{g,n}^{\text{pure}}$의 다른 컴actsification 또는 경계화가 존재하는가? 그리고 그것들은 어떻게 관련되어 있는가?
• RQ3 가중치가 부여된 tropical 곡선 위의 선다발에 대해 리만-로흐 정리가 성립하는가? 클리포드 정리의 이론은 이 설정으로 확장될 수 있는가?
• RQ4 tropical 모듈리 공간의 기하학을 가장 잘 기술하는 범주론적 프레임워크는 무엇인가? (예: tropical 스택 또는 오비폴드)

주요 결과

• 가중치가 부여된 $n$-점부 tropical 곡선의 모듈리 공간 $M_{g,n}^{\text{trop}}$는 순수 차원 $3g-3+n$을 가지며 연결되고 하우스도르프 위상공간이다.
• 순수 tropical 곡선의 공간 $M_{g,n}^{\text{pure}}$는 $M_{g,n}^{\text{trop}}$에 대해 열려 있고 조밀하다.
• $M_{g,n}^{\text{trop}}$는 특수화에 대해 닫혀 있지만 컴팩트하지 않으며, 그 자연스러운 컴actsification는 확장된 가중치가 부여된 tropical 곡선으로 주어진다.
• 종수 $g=0$일 때, 모듈리 공간 $M_{0,n}^{\text{trop}}$는 ($M_{0,n}^{\text{pure}}$와 동일하며) $n \geq 3$일 때 tropical 다양체이다.
• 안정한 그래프로 인덱싱된 $\overline{M}_{g,n}$과 $M_{g,n}^{\text{trop}}$의 분할 간에 순서 집합의 동형사상이 존재하며, 폐포의 포함 관계를 유지한다.
• 복소 곡선에 대한 테이히뮐러 접근법($T_g$를 통한)과 metric 그래프에 대한 것($O_g$를 통한)은 유사성이 뚜렷하며, 유한군 작용과 몫 구조를 포함한다.