[논문 리뷰] Theta functions on varieties with effective anti-canonical class

Mark D. Gross, Paul Hacking외 1명|arXiv (Cornell University)|2016. 01. 26.

Advanced Algebra and Geometry인용 수 6

한 줄 요약

이 논문은 효과적 반준연성 클래스를 가진 $n$-차원 극화된 다양체의 분기에서, 실 $n$-차원 (가짜-)다양체 위에 벽 구조를 사용하여 분할의 표준 기저를 구성한다. 토릭 케이스에서의 θ 함수를 일반화하여, 거울 분기의 동차 좌표환을 제공하고, 안정 쌍을 통한 모듈리 공간의 컴actification 프레임워크를 수립함으로써 K3 표면과 로그 칼라비-유다 표면의 결과를 확장한다.

ABSTRACT

We show that a large class of maximally degenerating families of n-dimensional polarized varieties come with a canonical basis of sections of powers of the ample line bundle. The families considered are obtained by smoothing a reducible union of toric varieties governed by a wall structure on a real n-(pseudo-)manifold. Wall structures have previously been constructed inductively for cases with locally rigid singularities and by Gromov-Witten theory for mirrors of log Calabi-Yau surfaces and K3 surfaces by various combinations of the authors. For trivial wall structures on the n-torus we retrieve the classical theta functions. Possible applications include mirror symmetry, geometric compactifications of moduli of certain polarized varieties via stable pairs and geometric quantization.

연구 동기 및 목표

• 효과적 반준연성 클래스를 가진 $n$-차원 극화된 다양체의 분기에서, 토릭 및 로그 칼라비-유다 케이스를 초월하여 표준 θ 함수의 구성 확장.
• 이러한 다양체의 분기에서 표준 기저를 구성하여, 거울 대칭에서 θ 함수의 역할을 일반화.
• 안정 쌍을 통한 극화된 다양체의 모듈리 공간 컴actification을 위한 프레임워크 수립 — K3 표면 케이스에 영감을 받음.
• Gromov-Witten 불변량과 귀납적 접합 데이터를 사용하여, 벽 구조를 통한 이전의 거울 구성들을 통합 및 일반화.
• 기하 양자화와 아벨 다양체의 분기에서의 응용 탐색.

제안 방법

• 다각형 아핀 가짜다양체 $B$ 와 벽 구조를 갖춘 구성은 표준 토릭 접합 데이터의 수정을 캡슐화한다.
• 벽 구조는 구체적으로 $Y\setminus D$ 에서의 $\mathbb{A}^1$-곡선의 Gromov-Witten 불변량이라는 추상적 데이터로부터 구축되며, $n$-정점 구성의 일반화이다.
• broken lines 는 전역 함수 $\vartheta_m$ 를 정의하여, 사영 설정에서 원하는 θ 함수 역할을 한다.
• 토릭 조각들을 슬랩 함수 $f_{\rho}$ 를 통해 귀납적으로 접합하며, 일관성 조건은 $t^k$ 모듈로 잘 정의된 변형을 보장한다.
• 가닥 $\mathfrak{X}_{\mathbb{P}}$ 의 코드이름-일차 부분다양체에 沿한 형식적 완비는 $\tilde{A}_{\mathbb{P}}\llbracket Q\rrbracket[w^{\pm1}]$ 에서의 식 $xy = f_{\rho} z^{\kappa_\rho}$ 로 묘사된다.
• Legendre 쌍대성은 원래 구성과 그 이중 구성의 특이점 간의 관계를 설정하며, 변형 하에서 $A_r$-형 특이점은 유지된다.

실험 결과

연구 질문

• RQ1 효과적 반준연성 클래스를 가진 $n$-차원 극화된 다양체의 분기에서, 토릭 및 로그 칼라비-유다 케이스를 초월하여 표준 기저를 구성할 수 있는가? 이는 θ 함수 프레임워크의 확장에 기여한다.
• RQ2 최대 분기로부터 체계적으로 벽 구조를 구성할 수 있는가? 이는 이전 연구의 귀납적 및 추상적 구성의 일반화이다.
• RQ3 특히 $n$-정점의 원점에서, θ 함수는 특이성 섬유를 넘어 변형을 확장하는 데 어떤 역할을 하는가?
• RQ4 결과적으로 얻어진 표준 함수 $\vartheta_m$ 는 거울 분기의 동차 좌표환의 곱셈 구조를 어떻게 캡슐화하는가?
• RQ5 이 구성이 안정 쌍을 통한 모듈리 공간의 좋은 컴actification으로 이어질 수 있는 정도는 어느 정도이며, K3 표면 케이스를 일반화하는가?

주요 결과

• 효과적 반준연성 클래스를 가진 $n$-차원 극화된 다양체의 최대 분기 가닥의 넓은 범주에서 표준 기저를 구성하였다.
• 벽 구조와 broken lines 를 통해, 토릭 설정을 초월한 $n$-토루스 위의 고전적 θ 함수를 일반화하였다.
• 거울 분기의 동차 좌표환은 표준 기저를 갖는다. 이는 전역 함수 $\vartheta_m$ 에서 유래한다.
• 각 경계 $\rho$ 에 대해, 변형의 일반 섬유는 중심 섬유와 교차하는 $n^\rho_r$ 개의 $A_{r-1}$-특이점을 갖는다. 이는 슬랩 함수 $f_\rho$ 의 영 구조에 의해 결정된다.
• 가닥의 코드이름-일차 부분다양체 $X_\rho$ 에 沿한 형식적 완비는 $\operatorname{Spf}(\tilde{A}_{\mathbb{P}}\llbracket Q\rrbracket\llbracket x,y\rrbracket[w^{\pm1}]/(xy - f_\rho z^{\kappa_\rho}))$ 와 동형이며, 이는 분기의 국소 기하학을 확인한다.
• 이 방법은 변형 하에서 특이점을 유지한다: 슬랩 함수 $f_\rho$ 가 차수 $r$ 의 영을 갖는다면, $A_r$-특이점은 일반 섬유에서도 유지된다.