[논문 리뷰] Sheaves of maximal intersection and multiplicities of stable log maps

Jinwon Choi, Michel van Garrel외 2명|arXiv (Cornell University)|2019. 08. 28.

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

한 줄 요약

이 논문은 로그 칼라비-ยאוו 표면에서 비강한 비기약 및 기약 ${\mathbb{A}}^1$-곡선이 성질 0 로그 그로모프-위튼 불변량에 기여하는 방식을 계산한다. 비강한 곡선을 위한 로그 1차원 층의 모듈리 공간을 구축하고, 두 개의 강한 곡선의 합합에 대한 변형 이론을 명시적으로 서술하며, 로그 및 상대적 안정 맵 불변량을 비교한다. 주요 결과는 비강한 경우에서 로그 및 토폴로지 승수 간의 정확한 일치이며, 기약 경우에서 상대 불변량과의 대비가 이루어진다.

ABSTRACT

A great number of theoretical results are known about log Gromov-Witten invariants, but few calculations are worked out. In this paper we restrict to surfaces and to genus 0 stable log maps of maximal tangency. We ask how various natural components of the moduli space contribute to the log Gromov-Witten invariants. The first such calculation by Gross-Pandharipande-Siebert deals with multiple covers over rigid curves in the log Calabi-Yau setting. As a natural continuation, in this paper we compute the contributions of non-rigid irreducible curves in the log Calabi-Yau setting and that of the union of two rigid curves in general position. For the former, we construct and study a moduli space of "logarithmic" 1-dimensional sheaves and compare the resulting multiplicity with tropical multiplicity. For the latter, we explicitly describe the components of the moduli space and work out the logarithmic deformation theory in full, which we then compare with the deformation theory of the analogous relative stable maps.

연구 동기 및 목표

• 로그 칼라비-유다 설정에서 비강한 비기약 ${\mathbb{A}}^1$-곡선이 성질 0 로그 그로모프-위튼 불변량에 기여하는 방식을 계산하기 위해.
• 이러한 곡선에 대한 로그 1차원 층의 모듈리 공간을 연구하고, 그 승수와 토폴로지 불변량 간의 관계를 규명하기 위해.
• 일반 위치에 있는 두 개의 강한 ${\mathbb{A}}^1$-곡선의 합합에 대한 안정 로그 맵의 구성요소와 변형 이론을 명시적으로 서술하기 위해.
• 기약 경우에서 안정 로그 맵의 모듈리 공간과 상대적 안정 맵의 모듈리 공간을 비교하여 변형 이론에서의 구조적 차이를 드러내기 위해.

제안 방법

• 로그 칼라비-유다 표면에서 비강한 ${\mathbb{A}}^1$-곡선을 연구하기 위해 로그 1차원 층의 모듈리 공간을 구축한다.
• 안정 로그 맵의 변형 이론을 분석하기 위해 명시적인 국소 좌표와 로그 구조를 사용한다.
• 상대적으로 컴actified 피카르 스킴을 적용하여 로그 설정에서의 비특이성 문제를 다룬다.
• 명시적인 가족을 $\mathrm{Spec}\ \mathbb{C}[s]/(s^2)$를 통해 안정 로그 맵의 변형 이론과 상대적 안정 맵의 변형 이론을 비교한다.
• 역행성 함수 $\tilde{A}_i, \tilde{B}_i$와 재정렬 공식을 사용하여 사전 변형 가능성과 경계 당김 조건을 검증한다.
• 논문 [54]의 주요 결과에 기반하여, 상대적 안정 맵의 모듈리 공간이 $\mathrm{Spec}\ \mathbb{C}[s]/(s^2)$와 동형임을 결론 내리며, 이는 로그 경우의 2점 스킴과는 다름을 밝힌다.

실험 결과

연구 질문

• RQ1 로그 칼라비-유다 설정에서 비강한 비기약 ${\mathbb{A}}^1$-곡선이 로그 그로모프-위튼 불변량에 어떻게 기여하는가?
• RQ2 비강한 경우에서 안정 로그 맵의 승수와 토폴로지 승수 간의 관계는 무엇인가?
• RQ3 두 개의 강한 ${\mathbb{A}}^1$-곡선으로 이루어진 기약 곡선에 대해 안정 로그 맵과 상대적 안정 맵의 변형 이론은 어떻게 다를까?
• RQ4 일반 위치에 있는 두 개의 강한 ${\mathbb{A}}^1$-곡선의 합합에 대한 안정 로그 맵의 모듈리 공간의 구조는 무엇인가?
• RQ5 왜 같은 구성에 대해 상대적 안정 맵의 모듈리 공간은 단일한 근본 점을 가지지만, 로그 모듈리 공간은 두 개의 근본 점을 가지는가?

주요 결과

• ${\mathbb{A}}^1$-곡선의 비강한 비기약 곡선이 로그 1차원 층의 모듈리 공간을 통해 계산된 승수는 토폴로지 승수와 일치한다.
• 일반 위치에 있는 두 개의 강한 ${\mathbb{A}}^1$-곡선에 대한 안정 로그 맵의 변형 이론은 $\mathrm{Spec}\ \mathbb{C}[s]/(s^2)$를 통해 가족을 사용하여 명시적으로 서술된다. 이 가정은 비자명한 변형 자료를 포함한다.
• 동일한 구성에 대해 상대적 안정 맵의 모듈리 공간은 $\mathrm{Spec}\ \mathbb{C}[s]/(s^2)$와 동형이며, 이는 단일한 무한소 변형을 나타낸다.
• 반면, 동일한 구성에 대해 안정 로그 맵의 모듈리 공간은 두 개의 근본 점을 가지며, 이는 다른 변형 구조를 나타낸다.
• 로그 맵에 의한 경계 디바리의 당김은 $4\cdot\tilde{x}_1$이며, 이는 로그 설정에서 올바른 승수를 확인한다.
• 역행성 함수 $\tilde{A}_i, \tilde{B}_i$를 사용하여 사전 변형 가능성을 검증하였으며, $\tilde{A}_1\tilde{B}_1 = 2$ 및 $\tilde{A}_2\tilde{B}_2 = 8$ 조건을 통해 로그 구조와의 호환성을 확보하였다.