[논문 리뷰] Combinatorics of the tropical Torelli map

Melody Chan|arXiv (Cornell University)|2010. 12. 21.

Polynomial and algebraic computation참고 문헌 20인용 수 4

한 줄 요약

이 논문은 스택형 팬의 보완된 프레임워크를 제안하여 토폴로지컬 토렐리 사상(Tropical Torelli map)을 연구한다. 이 프레임워크를 통해 주로 극성된 토폴로지컬 아벨 다양체의 모듈리 공간 $A^{\text{tr}}_g$ 가 하우스도르프임을 증명하고, 매트로이드 조합론을 이용하여 $A^{\text{tr}}_2$ 와 $A^{\text{tr}}_3$ 의 유한지수 덮개를 구축한다. 주요 기여는 Fano 매트로이드와 $GL_3(\mathbb{Z})$--equivariant한 콘의 붙임을 통해, 프로젝티브 평면의 팬 모델에서 $A^{\text{tr}}_3$ 로 향하는 전사 사상이 실현된 것이다.

ABSTRACT

This paper is a combinatorial and computational study of the moduli space of tropical curves of genus g, the moduli space of principally polarized tropical abelian varieties, and the tropical Torelli map. These objects were introduced recently by Brannetti, Melo, and Viviani. Here, we give a new definition of the category of stacky fans, of which the aforementioned moduli spaces are objects and the Torelli map is a morphism. We compute the poset of cells of tropical M_g and of the tropical Schottky locus for genus at most 5. We show that tropical A_g is Hausdorff, and we also construct a finite-index cover for A_3 which satisfies a tropical-type balancing condition. Many different combinatorial objects, including regular matroids, positive semidefinite forms, and metric graphs, play a role.

연구 동기 및 목표

• 이전 연구에서 사용된 스택형 팬의 정의에 존재하는 기초적인 모순을 해결하기 위해, 특히 $M^{\text{tr}}_g$ 와 $A^{\text{tr}}_g$ 가 유효한 스택형 팬이 되는 것을 막는 요소들을 제거하기 위해.
• 토널로지컬 곡선과 주로 극성된 토폴로지컬 아벨 다양체의 모듈리 공간을 수용할 수 있는 보다 보편적이고 수정된 스택형 팬의 정의를 제공하기 위해.
• 성분의 순서 집합을 계산하고, $g \leq 5$ 에 대해 $M^{\text{tr}}_g$ 와 토폴로지컬 슈롯키 다양체를 명시적으로 조합론적으로 기술하기 위해.
• $A^{\text{tr}}_g$ 가 하우스도르프임을 입증하여 이전 정의에서 생긴 위상적 생략을 수정하기 위해.
• 매트로이드 이론과 레벨 구조를 이용하여, 토폴로지컬 균형 조건을 만족하는 $A^{\text{tr}}_3$ 와 $A^{\text{tr}}_2$ 의 유한지수 덮개를 구축하기 위해.

제안 방법

• 이전 제약 조건을 제거하고 $M^{\text{tr}}_g$ 와 $A^{\text{tr}}_g$ 가 범주 내에서 자연스러운 대상이 되도록 할 수 있는 수정된 스택형 팬의 정의를 도입하기 위해.
• 바로보이 분해 이론을 사용하여 $A^{\text{tr}}_g$ 를 $GL_g(\mathbb{Z})$ 에 의한 콘 복합체의 몫으로 정의함으로써 토폴로지컬 기하학과의 호환성을 확보하기 위해.
• $GL_3(\mathbb{Z})$-equivariant한 사상으로 $MK_4$ 매트로이드의 콘을 일곱 개 붙여서, $\alpha: \mathbb{FP}^6 \to A^{\text{tr}}_3$ 의 사상을 구성하기 위해.
• Fano 매트로이드 $F_7$ 와 그의 일원소 삭제가 $MK_4$ 와 동형임을 이용하여, 겹치는 세포들 사이에서 일관된 붙임을 보장하기 위해.
• 균일 매트로이드 $U^2_4$ 와 그의 삭제가 $U^2_3$ 과 동형임을 이용하여, $\beta: \mathbb{FP}^3 \to A^{\text{tr}}_2$ 의 유사한 사상을 정의하고, 전체 자동사상 대칭성을 확보하기 위해.
• 성분의 2차 콘 분해에서 $\pm$ 동치 관계에 따라 射선을 식별함으로써, $p=3$ 에 대한 레벨 구조(성분 2)와 $p=2$ 에 대한 레벨 구조(성분 3)를 통해 덮개 사상을 확립하기 위해.

실험 결과

연구 질문

• RQ1 모듈리 공간 $M^{\text{tr}}_g$ 와 $A^{\text{tr}}_g$ 를 포함하도록 더 보편적이고 일관된 스택형 팬의 정의를 제안할 수 있는가?
• RQ2 $A^{\text{tr}}_g$ 가 하우스도르프인가? 그 위상은 바로보 분해와 어떻게 관련되어 있는가?
• RQ3 특히 $g=2$ 와 $g=3$ 에 대해, 토폴로지컬 균형 조건을 만족하는 $A^{\text{tr}}_g$ 의 유한지수 덮개를 구성할 수 있는가?
• RQ4 Fano 매트로이드와 $MK_4$ 와 같은 매트로이드 이론적 구조는 $A^{\text{tr}}_g$ 로 향하는 전사 사상의 구성에 어떻게 기여하는가?
• RQ5 $g \leq 5$ 에 대해 토폴로지컬 슈롯키 다양체의 조합론적 구조는 무엇이며, $M^{\text{tr}}_g$ 와 $A^{\text{tr}}_g$ 의 세포 구조와 어떻게 비교되는가?

주요 결과

• 모듈리 공간 $A^{\text{tr}}_g$ 가 하우스도르프임을 증명하여, 이전 정의에서 생긴 위상적 생략을 수정하였다.
• Fano 매트로이드를 이용하여 $A^{\text{tr}}_3$ 의 유한지수 덮개인 $\mathbb{FP}^6$ 가 구성되었으며, $\mathbb{FP}^6$ 의 각 최대 세포가 $A^{\text{tr}}_3$ 의 유일한 최대 세포로 전사적으로 사상된다.
• $\alpha: \mathbb{FP}^6 \to A^{\text{tr}}_3$ 는 $GL_3(\mathbb{Z})$-equivariant한 사상으로 $MK_4$ 매트로이드의 콘을 일곱 개 붙여 구성된 스택형 팬의 전사 사상이다.
• 성분 2에 대해, 균일 매트로이드 $U^2_4$ 를 이용하여 $A^{\text{tr}}_2$ 의 유한지수 덮개인 $\mathbb{FP}^3$ 이 구성되었으며, 그의 네 개의 최대 세포 각각이 $A^{\text{tr}}_2$ 의 최대 세포로 전사적으로 사상된다.
• 이러한 덮개의 구성은 성분 2에 대해 $p=3$ 에 대한 레벨 구조와 성분 3에 대해 $p=2$ 에 대한 레벨 구조로부터 유도되었으며, 2차 콘 분해에서 $\pm$ 동치 관계에 따라 射선을 식별함으로써 이루어졌다.
• $g \leq 5$ 에 대해 $M^{\text{tr}}_g$ 의 세포 순서 집합과 토폴로지컬 슈롯키 다양체의 구조를 명시적으로 계산하였으며, $M^{\text{tr}}_g$, 슈롯키 다양체, $A^{\text{tr}}_g$ 간의 세포 수를 비교하는 표를 제시하였다.