[논문 리뷰] Gromov-Witten theory via roots and logarithms

Luca Battistella, Navid Nabijou외 1명|arXiv (Cornell University)|2022. 03. 31.

Polynomial and algebraic computation인용 수 4

한 줄 요약

이 논문은 단순 정규교차 쌍 $(X|D)$ 에서 다루는 오비폴드 그로모프-위튼 이론과 로그 그로모프-위튼 이론의 수렴을 다중 루트 스택을 통해 확립한다. $\Lambda$-감도 블로우업 조건을 도입하고, 간단한 그로모프-위튼 이론을 중간 이론으로 사용하여, 충분히 세밀한 스트라타 블로우업이 오비폴드 불변량과 로그 불변량이 서로 동형이 되게 함을 증명함으로써, 두 이론을 구별하는 핵심 메커니즘으로 비틀림 불변성(birational invariance)을 규명한다.

ABSTRACT

Orbifold and logarithmic structures provide independent routes to the virtual enumeration of curves with tangency orders for a simple normal crossings pair $(X|D)$. The theories do not coincide and their relationship has remained mysterious. We prove that the genus zero orbifold theories of multi-root stacks of strata blowups of $(X|D)$ converge to the corresponding logarithmic theory of $(X|D)$. With fixed numerical data, there is an explicit combinatorial criterion that guarantees when a blowup is sufficiently refined for the theories to coincide. There are two key ideas in the proof. The first is the construction of a naive Gromov-Witten theory, which serves as an intermediary between roots and logarithms. The second is a smoothing theorem for tropical stable maps; the geometric theorem then follows via virtual intersection theory relative to the universal target. The results import new computational tools into logarithmic Gromov-Witten theory. As an application, we show that the genus zero logarithmic Gromov-Witten theory of a pair is determined by the absolute Gromov-Witten theories of its strata.

연구 동기 및 목표

• 간단한 정규교차 쌍 $(X|D)$ 에 대한 로그 그로모프-위튼 이론과 오비폴드 그로모프-위튼 이론 간의 오랜 미스터리인 관계를 해결하기 위해.
• 오비폴드 불변량이 로그 불변량으로 수렴하는 정확한 기하 조건을 규명하기 위해.
• 스트라타 $D$ 의 절대 불변량을 사용하여 종수 0의 로그 그로모프-위튼 불변량을 재구성하는 원리를 수립하기 위해.
• 새로운 중간 이론인 간단한 그로모프-위튼 이론을 통해 로그 이론에서 오비폴드 이론으로의 계산적 다리를 제공하기 위해.
• 비틀림 불변성이 로그 이론과 오비폴드 이론을 구별하는 핵심 성질임을 보여주기 위해.

제안 방법

• 오비폴드 이론과 로그 이론 사이의 다리를 제공하는 새로운 '간단한'(naive) 그로모프-위튼 이론을 도입하기 위해.
• $(X|D)$ 의 스트라타에 沿한 반복 블로우업에 대해 $\Lambda$-감도라는 조합 조건을 정의하여 오비폴드 이론과 로그 이론의 불변량 수렴을 보장하기 위해.
• 탄성 안정 맵의 스무딩 정리를 구성하여 간단한 이론과 로그 이론의 가상 사이클을 연결하기 위해.
• 보편적 타깃에 대한 가상 교차 이론을 사용하여 탄성 결과를 기하 설정으로 일반화하기 위해.
• 오비폴드에 대한 양자 레프셰츠 정리를 적용하여 다중 루트 스택의 제한된 그로모프-위튼 이론을 스트라타의 불변량으로 환원하기 위해.
• 프로젝티브 범주 위의 토르 작용을 이용한 국소화를 통해 고정점 국소화 및 가상 프로젝션 정리로 기여도를 계산하기 위해.

실험 결과

연구 질문

• RQ1 $(X|D)$ 의 스트라타 블로우업에 대한 다중 루트 스택의 종수 0 오비폴드 그로모프-위튼 불변량이 $(X|D)$ 의 로그 불변량과 일치하는 조건은 무엇인가?
• RQ2 종수 0에서 로그 이론과 오비폴드 이론 간의 이론적 차이를 설명하는 기하적 성질은 무엇인가?
• RQ3 $(X|D)$ 의 종수 0 로그 그로모프-위튼 이론은 그 스트라타의 절대 그로모프-위튼 이론으로 재구성될 수 있는가?
• RQ4 간단한 그로모프-위튼 이론은 오비폴드 이론과 로그 이론 사이의 중간 이론으로 어떻게 작용하는가?
• RQ5 비틀림 불변성은 두 이론을 통합하는 데 어떤 역할을 하는가?

주요 결과

• $\Lambda$-감도 블로우업 $(X^{\dagger}|D^{\dagger})\to(X|D)$ 에 대해, 종수 0의 로그 그로모프-위튼 불변량 $(X|D)$ 는 $\Lambda$-감도 블로우업의 오비폴드 불변량과 동형이다.
• 스트라타 블로우업의 다중 루트 오비폴드 이론은 $\Lambda$-감도 조건 하에서 로그 이론으로 수렴하며, 이는 이론 수렴 결과의 비자명한 결과이다.
• 종수 0의 로그 그로모프-위튼 이론 $(X|D)$ 는 $D$ 의 모든 스트라타의 절대 그로모프-위튼 이론으로 유일하게 재구성 가능하며, Maulik과 Pandharipande의 결과를 일반화한다.
• 다중 루트 스택 $\mathcal{X}$ 의 제한된 종수 0 그로모프-위튼 이론은 국소화 및 가상 프로젝션을 통해 $(X|D)$ 의 스트라타의 절대 이론으로 알고리즘적으로 결정된다.
• 국소화 계산에서의 오일러 클래스 항은 $\cap_{i\in I}D_i$ 의 스트라타 교차의 가상 기본류와 일치하며, 절대 불변량으로의 환원을 확인한다.
• 루트 거베에 대한 가상 프로젝션 정리는 오비폴드 스택 $\mathsf{Orb}\Lambda}(\mathcal{Z}\mathrm{I})$ 에서의 적분을, $X$ 에서의 삽입을 통해 올려받은 코arse 모듈리 공간 $\mathsf{M}\Lambda}(X)$ 의 적분으로 변환할 수 있게 한다.