[논문 리뷰] A modular compactification of $\mathcal{M}_{1,n}$ from $A_\infty$-structures

Yankı Lekili, Alexander Polishchuk|arXiv (Cornell University)|2014. 08. 04.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 6

한 줄 요약

이 논문은 $n$개의 마킹된 점을 가진 종수 1 곡선과 관련된 특정 대수에서 최소 $A_\infty$-구조의 모듈리 공간과 Smyth의 모듈러 컴actification $\overline{\mathcal{M}}_{1,n}(n-1)$ 사이의 정확한 대응 관계를 수립하며, $n \leq 11$이면 컴팩트화된 모듈리 공간이 정규이고, Gorenstein이며, 유리 특이점을 가진다. 이 구성은 유도 범주와 호모로지 편향 이론을 사용하여 $A_\infty$-구조를 통해 컴팩트화를 실현한다.

ABSTRACT

We show that a certain moduli space of minimal $A_\infty$-structures coincides with the modular compactification $\bar{\mathcal{M}}_{1,n}(n-1)$ of $\mathcal{M}_{1,n}$ constructed by Smyth. In addition, we describe these moduli spaces and the universal curves over them by explicit equations, prove that they are normal and Gorenstein, show that their Picard groups have no torsion and that they have rational singularities if and only if $n\le 11$.

연구 동기 및 목표

• 종수 1 곡선에 $n$개의 마킹된 점이 있는 경우, 그에 대응하는 $A_\infty$-구조의 모듈리 공간과 $\mathcal{M}_{1,n}$의 모듈러 컴팩트화 사이의 기하학적 대응 관계 수립.
• 이러한 $A_\infty$-구조의 모듈리 공간이 $m$-안정성에 의해 구성된 Smyth의 $\overline{\mathcal{M}}_{1,n}(n-1)$과 동형임을 증명.
• 명시적인 방정식을 통해 컴팩트화된 모듈리 공간과 그들의 보편 곡선을 기술하고, 정규성, Gorenstein 조건, Picard 군의 구조와 같은 기하학적 성질을 연구.
• 기저 체의 특성과 $n$에 따라, $A_\infty$-구조의 모듈리 공간이 안정화되는 정확한 $d$-단절 수준을 결정.

제안 방법

• 종수 1 곡선에 $n$개의 마킹된 점이 있는 경우, 생성자 $G = \mathcal{O}_C \oplus \bigoplus_{i=1}^n \mathcal{O}_{p_i}$의 Ext 대수에서 최소 $A_\infty$-구조의 모듈리 공간 $\mathcal{U}_{1,n}^{\text{sns}}$를 구성.
• 호모로지 편향 이론을 사용하여 게이지 동치에 대해 $A_\infty$-구조를 정의하고, 유도 범주가 곡선을 복원하도록 보장.
• 곡선이 Ext 대수를 통해 $A_\infty$-구조를 결정함을 증명하고, 모듈리 공간 $\mathcal{M}_\infty(E_{1,n})$가 $\mathcal{U}_{1,n}^{\text{sns}}$와 동형임을 보임.
• 충분히 큰 $d$에 대해 $\mathcal{M}_\infty(E_{1,n})$와 $\mathcal{M}_d(E_{1,n})$ 사이의 동형을 수립하며, $n$과 특성에 따라 $d$의 명시적 상한을 제공.
• 아핀 스킴 $U_n$ 위의 명시적 대수적 좌표를 사용하여 모듈리 공간을 아핀 공간의 닫힌 부분스킴으로 기술하고, $A_\infty$-구조에서 $A_3$-구조로의 忘却 사상과의 통합을 식별.
• Hochschild 코hom올로지와 변형 이론의 결과를 적용하여, 절단된 모듈리 공간의 역극한이 유한한 $d$에서 안정화됨을 보이고, 안정화 임계값을 계산.

실험 결과

연구 질문

• RQ1 종수 1 곡선에 $n$개의 마킹된 점이 있는 경우, 그 Ext 대수에서 최소 $A_\infty$-구조의 모듈리 공간은 Smyth의 모듈러 컴팩트화 $\overline{\mathcal{M}}_{1,n}(n-1)$과 일치하는가?
• RQ2 모듈리 공간 $A_\infty$-구조가 자신의 $d$-단절과 동형이 되는 정확한 안정화 수준 $d$는 무엇인가?
• RQ3 모듈리 공간 $\mathcal{U}_{1,n}^{\text{sns}}$가 정규이고 Gorenstein이 되는 조건은 무엇인가?
• RQ4 모듈리 공간 $\mathcal{U}_{1,n}^{\text{sns}}$가 유리 특이점을 가질 때는 언제인가?
• RQ5 모듈리 공간 $\mathcal{U}_{1,n}^{\text{sns}}$의 Picard 군의 구조는 무엇인가?

주요 결과

• 최소 $A_\infty$-구조의 모듈리 공간 $\mathcal{U}_{1,n}^{\text{sns}}$는 Smyth의 컴팩트화 $\overline{\mathcal{M}}_{1,n}(n-1)$과 동형이다.
• $\operatorname{Spec}(\mathbb{Z})$ 위에서 모듈리 공간 $\mathcal{U}_{1,n}^{\text{sns}}$는 정규이고 Gorenstein이다.
• $\mathcal{U}_{1,n}^{\text{sns}}$의 Picard 군에는 토크션이 없다.
• 모듈리 공간이 유리 특이점을 가질 조건은 $n \leq 11$일 때이다.
• 절단된 모듈리 공간 $\mathcal{M}_d(E_{1,n})$의 역극한은 안정화된다: $n \geq 5$이면, 모든 $d \geq 4$에 대해 $\mathcal{M}_\infty(E_{1,n}) \simeq \mathcal{M}_d(E_{1,n})$이다.
• $n=3$일 경우 안정화 수준은 $d \geq 5$; $n=2$일 경우 $d \geq 6$; $n=1$일 경우 $d \geq 8$이며, 이는 특성이 $2,3$이 아닌 체에서 성립한다.