[논문 리뷰] On the multiplicity of reducible relative stable morphisms

Nobuyoshi Takahashi|arXiv (Cornell University)|2017. 11. 22.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 4

한 줄 요약

이 논문은 로그 칼라비-ยאוו 표면에서 성분이 가역적인 상대 안정 스트림 맵의 기여도에 대한 공식을 수립한다. 동일한 점 $P$ 에서 부드러운 반자연적 배율 $D$ 와 완전히 접하는 두 개의 유리 곡선 $C_1$ 과 $C_2$ 가 있으며, 교차 상호작용의 차수는 $\min\{D.C_1, D.C_2\}$ 이다. 이 경우, 가상 카운트에서 가역 곡선 $C_1 \cup C_2$ 의 기여도는 정확히 $\min\{D.C_1, D.C_2\}$ 이며, 상대 숫자 기하학에서의 열화된 기여의 핵심 케이스를 해결한다.

ABSTRACT

Let $(Z, D)$ be a pair of a smooth surface and a smooth anti-canonical divisor. Denote by $\mathfrak{M}_β$ the moduli stack of genus $0$ relative stable morphisms of class $β$ with full tangency to the boundary. Let $C_1$ and $C_2$ be rational curves fully tangent to $D$ at the same point $P$ and assume that $C_1$ and $C_2$ are immersed and that $(C_1.C_2)_P=\min\{D.C_1, D.C_2\}$. Then we show that the contribution of $C_1\cup C_2$ to the virtual count of $\mathfrak{M}_{[C_1]+[C_2]}$ is $\min\{D.C_1, D.C_2\}$. As an example, we describe genus $0$ relative stable morphisms to $(\mathbb{P}^2, (\hbox{cubic}))$ of degree $4$ with full tangency, and examine how they contribute to the relative Gromov-Witten invariant.

연구 동기 및 목표

• 로그 칼라비-유아 표면에서 성분이 가역적인 상대 안정 스트림 맵의 기여도를 계산하는 것.
• 가상 사이클의 매니폴드 공간에서의 기여도를 해결하는 것 — 특히, 동일한 점에서 배율에 대해 완전히 접하는 두 개의 유리 곡선의 쌍에 대해.
• 비가역적이거나 비교형이 아닌 구성의 기여도를 분석함으로써, 상대 과르모보-위트너 인버티언트의 이해를 비가역적이거나 다중 커버가 아닌 경우로 확장하는 것.
• 이러한 성분이 가역적인 곡선의 가상 다중도에 대한 정확한 공식을 제공하는 것 — 이는 모듈리 이론적 인버티언트와 단순 숫자 기하학적 카운트 간의 일치에 필수적이다.

제안 방법

• 연구는 성분이 가역적인 상대 안정 스트림 맵에 초점을 맞추며, $Z$ 는 부드러운 표면이고 $D$ 는 부드러운 반자연적 배율인 쌍 $(Z,D)$ 를 대상으로 한다.
• 특히 $C_1 \cup C_2$ 와 같은 성분이 가역적인 곡선에 대해, $D$ 와 완전히 접하는 클래스 $\beta$ 의 상대 안정 스트림 맵의 모듈리 스택 $\mathfrak{M}_\beta$ 를 분석한다.
• 핵심 기술적 도구는 가상 국소화 기법으로, 성분이 가역적인 곡선의 가상 기본 클래스에 대한 기여도를 계산하는 데 사용된다.
• 모듈리 공간에서의 고립성과 고립된 기여도를 보장하기 위해 $(C_1.C_2)_P = \min\{D.C_1, D.C_2\}$ 의 조건을 적용한다.
• 논문은 [GPS] 에서의 다중 커버 공식을 적용하고, 기여도를 접촉점에서의 교차 상호작용 차수와 연결한다.
• 증명은 특정 접촉과 특이점을 갖는 곡선의 선형 계열을 분석함으로써 이루어지며, 기저 점을 해결하고 오일러 지표를 계산하기 위해 블로우업과 타원 곡선의 분할을 사용한다.

실험 결과

연구 질문

• RQ1 두 곡선 $C_1$ 과 $C_2$ 가 동일한 점에서 $D$ 와 완전히 접해 있고, $C_1 \cup C_2$ 가 이미지인 $f: \mathbb{P}^1 \to Z$ 인 성분이 가역적인 상대 안정 스트림 맵의 기여도는 성분이 0인 상대 과르모보-위트너 인버티언트에 대해 어떻게 되는가?
• RQ2 교차 상호작용 차수 $(C_1.C_2)_P$ 는 모듈리 공간 $\mathfrak{M}_\beta$ 내에서 이러한 성분이 가역적인 곡선의 가상 다중도에 어떻게 영향을 주는가?
• RQ3 이러한 성분이 가역적인 곡선의 기여도는 $D.C_1$ 과 $D.C_2$ 의 차수로만 표현될 수 있는가?
• RQ4 모듈리 점이 $C_1 \cup C_2$ 와 대응하는 경우, $\mathfrak{M}_\beta$ 내에서 고립되고 유한한 다중도를 가지는 기하학적 조건은 무엇인가?
• RQ5 이러한 기여도는 동일한 모듈리 공간 내에서 비가역 곡선의 다중 커버와 어떻게 비교되는가?

주요 결과

• 제시된 조건(완전한 접촉, 유리 곡선, 점 $P$ 에서의 교차 상호작용의 비가역성) 하에서, 성분이 가역적인 곡선 $C_1 \cup C_2$ 가 $\mathfrak{M}_{[C_1]+[C_2]}$ 의 가상 카운트에 기여하는 정도는 정확히 $\min\{D.C_1, D.C_2\}$ 이다.
• 쌍 $({\mathbb{P}}^2, \text{cubic})$ 에서는 직선과 포인트에서 포인트에 접하는 쿠빅의 합이 3의 기여도를 가지며, 이는 $\min\{3,3\}$ 과 일치한다.
• $({\mathbb{P}}^2, \text{cubic})$ 에서 차수 4의 상대 인버티언트의 경우, 총 인버티언트 $I_4 = \frac{36999}{4}$ 는 비가역 곡선과 $L \cup C_1$ 과 같은 성분이 가역적인 구성의 기여도를 합산함으로써 복원되며, 후자의 경우 기여도는 3이다.
• 점 $P$ 에서 차수 4의 상대 안정 스트림 맵의 모듈리 공간 $\tilde{M}_{4,P}$ 는 $P - P_i$ 의 순서에 따라 8, 14, 또는 16개의 원소를 가지며, 이들은 토션 점들 사이에 균일하게 분포되어 있다.
• 논문은 타원 곡선 $D$ 의 $3d$-토션 점들이 동일한 수의 인스턴턴(기여 곡선)을 가지며, 이는 토션 구조 전반에 걸쳐 기여도가 균일하게 분포되어 있음을 시사한다.
• 유리 곡선 $C$ 의 $d$-중 커버의 기여도는 공식 $M_w[d] = \frac{1}{d^2} \binom{d(w-1)-1}{d-1}$ 으로 주어지며, 논문은 각 커버당 '인스턴턴'의 수인 $m_w[d]$ 를 정의한다. 이 값은 작은 $w$ 와 $d$ 에서 양의 정수이다.