[논문 리뷰] The Evaluation Space of Logarithmic Stable Maps

Dan Abramovich, Qile Chen외 2명|arXiv (Cornell University)|2010. 12. 24.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 21

한 줄 요약

이 논문은 로그 스테이블 매핑의 평가 공간 $Ω X$ 를 구축하여, 최소 로그 스테이블 매핑의 모듈리 스택에서 로그 평가 매핑과 가상 기본류를 정의할 수 있게 한다. 주요 기여는 로그 스풀스의 델리네-팔링스 로그 스킴에서 단순 정규교차 분할을 갖는 상황에서 이러한 도구를 통해 로그 골름워의 고르모-윈터 불변량을 수립하는 것이다.

ABSTRACT

The evaluation stack for minimal logarithmic stable maps is constructed, parameterizing families of standard log points in the target log scheme. This construction provides the ingredients necessary to define appropriate evaluation maps for minimal log stable maps and establish the logarithmic Gromov-Witten theory of a log-smooth Deligne- Faltings log scheme.

연구 동기 및 목표

• 미세 포화된 로그 스킴에서 표준 로그 점의 가족을 위한 보편 매개변수 공간을 정의하여, 로그 골름워-윈터 이론에서 평가 매핑을 가능하게 한다.
• 로그 스킴 $(X, \mathcal{M}_X)$ 에서의 표준 로그 점의 가족의 범주를 나타내는 로그 대수적 스택 $(\wedge X, \mathcal{M}_{\wedge X})$ 를 구축한다.
• 최소 로그 스테이블 매핑에 대해 평가 매핑 $\text{ev}_i: \mathcal{K}_\Gamma(X, \mathcal{M}_X) \to \wedge X$ 를 정의한다.
• 로그 스풀스 조건 하에서 모듈리 스택 $\mathcal{K}_\Gamma(X, \mathcal{M}_X)$ 에 가상 기본류를 수립한다.
• 평가 매핑을 통해 코homology 클래스를 올리고 가상 기본류와의 교차를 통해 로그 골름워-윈터 불변량을 정의한다.

제안 방법

• 미세 포화된 로그 스킴 $(X, \mathcal{M}_X)$ 에서 표준 로그 점의 가족의 범주 $\wedge'X$ 를 정의하고, 이는 $\mathfrak{LogSch}^{\text{fs}}$ 위에 피브리어드된다.
• $\wedge'X$ 가 로그 대수적 스택 $(\wedge X, \mathcal{M}_{\wedge X})$ 에 의해 표현됨을 증명하여 평가 공간을 확립한다.
• 로그 스테이블 매핑을 표시된 점에 제한함으로써 자연스러운 준동형사상 $\text{ev}_i: \mathcal{K}_\Gamma(X, \mathcal{M}_X) \to \wedge X$ 를 구성한다. 여기서 로그 구조는 표준이 된다.
• Manolache의 정밀한 역상에 의한 가상 기본류 $[\mathcal{K}_\Gamma(X, \mathcal{M}_X)]^{\text{vir}}$ 를 완전한 방해 이론 $E. \to \mathbb{L}_{\mathcal{K}_\Gamma(X, \mathcal{M}_X)/\mathcal{T}or_{\mathbb{C}}}$ 를 사용하여 정의한다.
• 정밀한 역상 $\alpha^{!}_{\mathbb{E}}$ 를 기본류 $[\mathcal{T}or_{\mathbb{C}}]$ 에 적용하여, 로그 스풀스의 경우에 가상 클래스를 도출한다.
• 로그 골름워-윈터 불변량을 $\left<\gamma_1,\ldots,\gamma_n\right>^{(X,\mathcal{M}_X)}_\Gamma := \left(\prod_{i=1}^n \text{ev}_i^*\gamma_i\right) \cap [\mathcal{K}_\Gamma(X, \mathcal{M}_X)]^{\text{vir}}$ 라는 공식으로 정의한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 로그 스킴에서 표준 로그 점의 가정을 위한 보편 매개변수 공간을 구축하여 로그 골름워-윈터 이론에서 평가 매핑을 지원할 수 있는가?
• RQ2 어떤 조건에서 미세 포화된 로그 스킴에서 표준 로그 점의 가정의 범주가 representing 로그 대수적 스택을 갖는가?
• RQ3 어떻게 하면 로그 스풀스의 델리네-팔링스 로그 스킴으로의 최소 로그 스테이블 매핑에 대해 평가 매핑을 정의할 수 있는가?
• RQ4 최소 로그 스테이블 매핑의 모듈리 스택에 가상 기본류가 존재하기 위한 조건은 무엇인가?
• RQ5 평가 매핑과 가상 기본류를 사용하여 로그 골름워-윈터 불변량을 어떻게 정의할 수 있는가?

주요 결과

• 미세 포화된 로그 스킴 $(X, \mathcal{M}_X)$ 에서 표준 로그 점의 가정의 범주 $\wedge'X$ 는 로그 대수적 스택 $(\wedge X, \mathcal{M}_{\wedge X})$ 에 의해 표현된다.
• 로그 평가 매핑 $\text{ev}_i: \mathcal{K}_\Gamma(X, \mathcal{M}_X) \to \wedge X$ 는 로그 스테이블 매핑을 표시된 점에 제한함으로써 구성되며, 여기서 로그 구조는 표준이 된다.
• 로그 스풀스의 경우, 완전한 방해 이론과 Manolache의 정밀한 역상에 의해 모듈리 스택 $\mathcal{K}_\Gamma(X, \mathcal{M}_X)$ 는 가상 기본류 $[\mathcal{K}_\Gamma(X, \mathcal{M}_X)]^{\text{vir}}$ 를 갖는다.
• 가상 기본류는 $[\mathcal{K}_\Gamma(X, \mathcal{M}_X)]^{\text{vir}} = \alpha^{!}_{\mathbb{E}}[\mathcal{T}or_{\mathbb{C}}]$ 로 얻어지며, 여기서 $\alpha$ 는 $\mathbb{C}$ 위의 포화된 로그 구조 스택으로의 구조 사상이다.
• 로그 골름워-윈터 불변량은 공식 $\left<\gamma_1,\ldots,\gamma_n\right>^{(X,\mathcal{M}_X)}_\Gamma := \left(\prod_{i=1}^n \text{ev}_i^*\gamma_i\right) \cap [\mathcal{K}_\Gamma(X, \mathcal{M}_X)]^{\text{vir}}$ 를 통해 정의된다.
• 이 구축은 단순 정규교차 분할을 갖는 로그 스풀스의 델리네-팔링스 로그 스킴 설정에서 로그 골름워-윈터 이론의 기초 프레임워크를 제공한다.