[논문 리뷰] Stable maps and branch divisors

Barbara Fantechi, Rahul Pandharipande|ArXiv.org|1999. 05. 18.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 20

한 줄 요약

이 논문은 유도 대수기하학과 가상 국소화를 사용하여 안정 사상의 모듈리 공간에서 대칭 곡선의 곱으로의 분기 분할 사상의 안정적 확장을 구축한다. 그는 가상 국소화와 허드지 적분을 통해 허위우츠 수에 대한 공식을 유도하며, 고전적인 ELSV 공식을 복원하고 허위우츠의 종수 0 공식에 대한 기하학적 유도를 제공한다.

ABSTRACT

We construct a natural branch divisor for equidimensional projective morphisms where the domain has lci singularities and the target is nonsingular. The method involves generalizing a divisor contruction of Mumford from sheaves to complexes. The construction is valid in flat families. The generalized branch divisor of a stable map to a nonsingular curve X yields a canonical morphism from the space of stable maps to a symmetric product of X. This branch morphism (together with virtual localization) is used to compute the Hurwitz numbers of covers of P^1 for all genera and degrees in terms of Hodge integrals.

연구 동기 및 목표

• 부드러운 곡선에서의 고전적 분기 분할 사상 사상을 안정 사상의 컴actified 모듈리 공간으로 확장하기.
• 일부 LCI 및 스무스 조건을 만족하는 스킴의 사상에 대해 상대 분기 분할을 정의하기.
• P^1에 대한 안정 사상의 모듈리 스택 위의 보편 가족에 분기 분할 구성 적용하기.
• Gromov-Witten 이론과 가상 국소화를 사용하여 허위우츠 수 계산하기.
• ELS V 공식과 일치하는 Hodge 적분 표현을 허위우츠 수에 대해 도출하기.

제안 방법

• LCI, 스무스, 그리고 근본적인 섬유 조건을 만족하는 사상 f:X→Y에 대해, Y 위의 S 상대적 카르티에 분할 br(f)를 함자적으로 구성하기.
• 복합체에 대한 Mumford의 구성의 일반화를 통해, 유도된 푸시포워드 복합체 Rf_*[f^*ω_{Y/S} → ω_{X/S}]를 사용하여 분기 분할을 정의하기.
• 보편 가족 F:C→D×M̄_g(D,d)에 이 구성 적용하여, br(F)가 차수 r인 상대적 카르티에 분할임을 보여주기.
• M̄_g(D,d) → Sym^r(D)로의 사상 γ를 정의하여 고전적 분기 분할 사상의 확장을 보여주기.
• P^1에 대한 안정 사상의 모듈리 공간에서 가상 국소화를 적용하여 Gromov-Witten 불변량 ∫[M̄_g(P^1,d)]^{vir} γ^*(ξ^{2g-2+2d}) 평가하기.
• 국소화 합의 고정점 위상에서 기여도를 계산하며, br(f)가 한 점에만 지지되는 그래프에 집중하여 유일한 비영향성 항을 도출하기.

실험 결과

연구 질문

• RQ1 부드러운 곡선에서의 고전적 분기 분할 사상은 어떻게 안정 사상의 컴actified 모듈리 공간으로 확장될 수 있는가?
• RQ2 분리 가능하거나 비기본적인 섬유를 가진 가족에서 분기 분할의 스킴 이론적 구조는 무엇인가?
• RQ3 확장된 분기 분할 사상 사상을 사용하여 Gromov-Witten 이론으로 허위우츠 수를 계산할 수 있는가?
• RQ4 가상 국소화에서 유도된 허위우츠 수에 대한 정확한 Hodge 적분 표현은 무엇인가?
• RQ5 가상 국소화 공식은 어떻게 허위우츠 수에 대한 ELSV 공식을 복원하는가?

주요 결과

• LCI 사상 f:X→Y이고 Y가 스무스하며 섬유가 근본적일 경우, 분기 분할 br(f)는 S 위의 Y 상대적 카르티에 분할로 구성된다.
• M̄_g(D,d) → Sym^r(D) 사상 γ는 고전적 분기 분할 사상의 확장이며, 정규화 성분과 노드의 기여를 포함하는 경계에서 점 이론적 공식을 갖는다.
• 허위우츠 수 H_{g,d}는 공식 H_{g,d} = (2g-2+2d)! / d! × ∫_{M̄_{g,d}} (1 - λ₁ + λ₂ - ⋯ + (-1)^g λ_g) / ∏_{i=1}^d (1 - ψ_i) 로 주어지며, (g,d) ≠ (0,1),(0,2)일 경우에 성립한다.
• 종수 0의 경우 공식은 H_{0,d} = (2d-2)! / d! × d^{d-3}로 단순화되며, 허위우츠의 고전적 결과를 복원한다.
• 가상 국소화 합에서 유일하게 비영향성 기여는 하나의 꼭짓점이 한 점 위에 있고 d개의 차수 1 간선을 가진 유일한 그래프 Γ₀에서 발생한다. 이는 Sym^r(P^1)의 고정점 p₀에 대응한다.
• 적분자 ∏_{i=1}^r γ^*(c_1(L_i))는 고정점 위에서 순수한 무게 r!의 항으로 제한되며, 최종 Hodge 적분 표현을 이끈다.