[논문 리뷰] $sl_n$ level 1 conformal blocks divisors on $\bar{M}_{0,n}$

Maxim Arap, Angela Gibney외 2명|arXiv (Cornell University)|2010. 09. 23.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 5

한 줄 요약

이 논문은 $\overline{\mathcal{M}}_{0,n}$의 대칭적이고 반준항성인 분할에 대해 $\mathfrak{sl}_n$ 수준 1의 conformal blocks에서 유래하는 것을 연구한다. 이들의 계수를 계산하고, 대칭 신뢰성 원뿔 내에서 극단적 꼬리(ray)를 생성함을 증명하며, 관련된 사상들이 Hassett의 가중치가 부여된 곡선 모듈리 공간으로의 분해를 거친다는 것을 보이며, 이 분할에 대한 기하적 실현을 감소 사상으로 제공한다.

ABSTRACT

We study a family of semiample divisors on the moduli space $\bar{M}_{0,n}$ that come from the theory of conformal blocks for the Lie algebra $sl_n$ and level 1. The divisors we study are invariant under the action of $S_n$ on $\bar{M}_{0,n}$. We compute their classes and prove that they generate extremal rays in the cone of symmetric nef divisors on $\bar{M}_{0,n}$. In particular, these divisors define birational contractions of $\bar{M}_{0,n}$, which we show factor through reduction morphisms to moduli spaces of weighted pointed curves defined by Hassett.

연구 동기 및 목표

• 대칭 분할의 기하학적 및 수치적 성질을 이해하기 위해 $\overline{\mathcal{M}}_{0,n}$에서 $\mathfrak{sl}_n$ 수준 1 conformal blocks에서 유래하는 분할을 연구한다.
• 이 분할의 계수를 네로-세베 군에서 계산하고, 대칭 신뢰성 원뿔 내에서의 위치를 규명한다.
• 이 분할이 감소 사상에 의해 분해되는 비유리적 붕괴를 정의함을 확립한다.
• 분할 $D^{n}_{1,j}$가 $j = 2, \ldots, \lfloor n/2 \rfloor$일 때 대칭 신뢰성 원뿔 내에서 극단적 꼬리들을 생성한다는 것을 증명한다.

제안 방법

• 저자들은 $\mathfrak{sl}_n$ 수준 1의 conformal blocks 이론을 사용하며, 관련 벡터 다발이 계수 1을 가지므로 $\overline{\mathcal{M}}_{0,n}$ 위에 분할 $D^{n}_{1,j}$를 정의한다.
• Fakhruddin의 재귀 공식을 사용하여 이 분할의 계수를 계산하고, ConfBlocks Macaulay2 패키지를 활용해 이를 구현한다.
• 각 분할에 대응하는 최소 Hassett 공간 $\overline{\mathcal{M}}_{0,\mathcal{A}}$를 식별하고, 사상이 해당 감소 사상 $\rho_{\mathcal{A},N}$을 통해 분해됨을 증명한다.
• Proposition 4.1에서 얻은 $F$-곡선의 기저를 사용하여, $D^{n}_{1,j}$와의 교차수가 0인 $\lfloor n/2 \rfloor - 1$개의 독립된 $F$-곡선으로 이루어진 가족 $\mathcal{G}^{n}_{1,j}$를 구성한다.
• 이 분할의 극단성은 $D^{n}_{1,j}$와 $\mathcal{G}^{n}_{1,j}$ 내의 $F$-곡선들의 비음성 선형 조합이 교차쌍의 음이 아닌 성질을 위반할 수 있음을 보여서 증명한다.
• 명시적인 행렬 계산과 사례 분석(그림 3–4)을 통해 $F$-곡선의 선형 독립성과 분할 계수의 극단성 확인한다.

실험 결과

연구 질문

• RQ1 $\overline{\mathcal{M}}_{0,n}$에서 $\mathfrak{sl}_n$ 수준 1 conformal blocks 분할이 대칭 신뢰성 원뿔 내에서 극단적 꼬리들을 생성하는가?
• RQ2 이 분할이 정의하는 사상들이 가중치가 부여된 모듈리 공간으로의 Hassett 감소 사상으로 분해될 수 있는가?
• RQ3 $D^{n}_{1,j}$의 정확한 계수는 $\overline{\mathcal{M}}_{0,n}$의 네로-세베 군 내에서 어떻게 되는가?
• RQ4 $\mathcal{G}^{n}_{1,j}$ 내의 $F$-곡선들은 $D^{n}_{1,j}$의 극단성과 어떻게 관련이 있는가?
• RQ5 $\mathcal{G}^{n}_{1,j}$ 내의 $F$-곡선들은 $H_2(\overline{\mathcal{M}}_{0,n}, \mathbb{Q})$ 내에서 선형 독립적인가?

주요 결과

• $j = 2, \ldots, \lfloor n/2 \rfloor$일 때 분할 $D^{n}_{1,j}$는 $\overline{\mathcal{M}}_{0,n}$의 대칭 신뢰성 원뿔 내에서 극단적 꼬리들을 생성한다. 이는 $D^{n}_{1,j}$와 교차수가 0인 $\lfloor n/2 \rfloor - 1$개의 독립된 $F$-곡선 가족을 구성함으로써 증명된다.
• $D^{n}_{1,j}$에 관련된 사상 $\overline{\mathcal{M}}_{0,n} \to X$는 분할에 의해 결정되는 최소 Hassett 공간 $\overline{\mathcal{M}}_{0,\mathcal{A}}$로의 감소 사상 $\rho_{\mathcal{A},N}: \overline{\mathcal{M}}_{0,n} \to \overline{\mathcal{M}}_{0,\mathcal{A}}$를 통해 분해된다.
• $D^{n}_{1,j}$의 계수는 네로-세베 군 내에서 명시적으로 계산되었으며, 이는 대칭 신뢰성 원뿔 내에 위치함을 확인하여 전반적인 생성성과 비유리성의 성질을 뒷받침한다.
• $\mathcal{G}^{n}_{1,j}$는 $D^{n}_{1,j}$와의 교차수가 0인 $\lfloor n/2 \rfloor - 1$개의 독립된 $F$-곡선으로 이루어져 있으며, 이는 극단성 증명에 필수적이다.
• 극단성의 증명은 Proposition 4.1의 $F$-곡선 기저와 13개의 행렬 구성(그림 3–4)에 대한 세밀한 사례 분석에 기반하며, 선형 독립성을 확인한다.
• 이 결과는 Fakhruddin의 이전 $\mathfrak{sl}_2$에 대한 분해 결과를 $\mathfrak{sl}_n$ 수준 1로 확장하며, Hassett의 모듈리 공간을 통한 conformal blocks 분할의 새로운 기하학적 해석을 제공한다.