[논문 리뷰] Mirror symmetry for log Calabi-Yau surfaces I

Mark Gross, Paul Hacking외 1명|arXiv (Cornell University)|2011. 06. 24.

Algebraic Geometry and Number Theory참고 문헌 57인용 수 16

한 줄 요약

이 논문은 $D$가 유리 곡선의 반대표준 사이클인 로그 칼라비-야우 표면 $(Y,D)$에 대해, $D$에서 정확히 한 점에서 만날 유리 곡선의 그로모프-와이너 인버티언트를 사용하는 합성 대수적 구성법을 통해 표준 미러 가닥을 구축한다. 미러는 $ℓ$-정점 $V_n \subset \mathbb{A}^n$의 형식적 스무딩으로 실현되며, 곡선 수에 의해 정의된 테타 함수의 벡터 공간 위에 대수적 구조가 부여되어, $Y$의 유효 콘의 완비화 위에서 $T^D$-등변인 평탄한 가닥으로 이어진다. 핵심 결과는 그로스-시버트 프로그램과 토폴로지 기하학과 호환되는 표준적이고 내재된 미러 구성이다.

ABSTRACT

We give a canonical synthetic construction of the mirror family to a pair (Y,D) of a smooth projective surface with an anti-canonical cycle of rational curves, as the spectrum of an explicit algebra defined in terms of counts of rational curves on Y meeting D in a single point. In the case D is contractible, the family gives a smoothing of the dual cusp, and thus a proof of Looijenga's 1981 cusp conjecture.

연구 동기 및 목표

• 로그 칼라비-야우 표면 $(Y,D)$에 대해, $D$가 유리 곡선의 사이클인 경우, 표준적이고 합성적인 미러 가닥의 구성.
• 유리 곡선이 $D$에서 정확히 한 점에서 만날 것을 수는 상대 그로모프-와이너 인버티언트를 사용하여 테타 함수의 벡터 공간 위에 대수적 구조를 정의.
• 미러를 $Y$의 유효 콘의 완비화 위에서 평탄하고 $T^D$-등변인 가닥으로 실현하며, $ℓ$-정점 특이점 $\mathbb{V}_n$을 스무딩한다.
• 그로스-시버트 위치 근처에서의 미러 구성의 일致성과 스무딩을 보장하고, 경계 스트라타로의 연장성을 확보한다.
• $(Y,D)$에 관련된 쌍대 캐프 특이점이 스무딩 가능하다는 것을 증명하여, 로이젠가의 추측이 로그 칼라비-야우 설정에서 성립함을 확인한다.

제안 방법

• 유효 콘 $\operatorname{NE}(Y)$에 관련된 모노이드 $P$에 대해 $R = \Bbbk[P]$로 정의된 $R_I = R/I$ 위에서 유한 생성 대수 $A_I$의 스펙트럼으로서 미러를 구성한다.
• 유리 곡선이 $Y$에서 $D$와 정확히 한 점에서 만날 것을 수는 상대 그로모프-와이너 인버티언트를 사용하여 $A_I = \bigoplus_{q \in B(\mathbb{Z})} R_I \cdot \vartheta_q$ 위의 대수적 구조를 정의한다.
• $(Y,D)$의 토폴로지화 $B$ 위에서 산산각을 사용하여 깨진 선을 정의하고, 대수적 구조의 일致성을 확보한다.
• $T^D \to \operatorname{Spec} \Bbbk[P^{\text{gp}}]$의 준동형을 통해 $\operatorname{Spec} A_I$에 $T^D$-작용을 도입하고, 평탄하고 $T^D$-등변인 사상 $f: X_I \to \operatorname{Spec} R_I$를 유도한다.
• 모든 단항 이상 $I$에 대해 $\sqrt{I} = \mathfrak{m}$를 만족하는 것의 역극한을 취하여 형식적 가닥 $\mathfrak{f}: \mathfrak{X}_{\mathfrak{m}} \to \mathfrak{S}_{\mathfrak{m}} = \operatorname{Spf} \widehat{R}$를 얻는다. 이는 $\mathbb{V}_n$의 형식적 스무딩이다.
• 미러 구성에 의해 유도된 사상의 커널을 이용하여 특이 섬유의 유한 유형의 변형을 구성함으로써 쌍대 캐프 특이점의 스무딩 가능성을 증명한다.

실험 결과

연구 질문

• RQ1 로그 칼라비-야우 표면 $(Y,D)$에 대해, $D$가 유리 곡선의 사이클인 경우, 외부 선택이나 토릭 모델 없이 내재 기하학적 자료만을 사용하여 표준적 미러 가닥을 구성할 수 있는가?
• RQ2 유리 곡선이 $D$에서 정확히 한 점에서 만날 것을 수는 그로모프-와이너 인버티언트를 어떻게 사용하여 테타 함수 공간 위에 표준적 대수적 구조를 정의할 수 있는가?
• RQ3 미러 구성은 자연스럽게 $T^D$-등변적이고 유효 콘의 완비화 위에서 평탄한가?
• RQ4 미러 가닥은 $ℓ$-정점 특이점 $\mathbb{V}_n$을 형식적으로 스무딩하는가?
• RQ5 로이젠가의 추측이 예측한 바와 같이, $(Y,D)$에 관련된 쌍대 캐프 특이점은 스무딩 가능한가?

주요 결과

• 미러 가닥은 일반 섬유가 스무스이고 특별 섬유가 $ℓ$-정점 $\mathbb{V}_n \subset \mathbb{A}^n$와 동형인 평탄하고 $T^D$-등변인 형식적 가닥 $\mathfrak{f}: \mathfrak{X}_{\mathfrak{m}} \to \mathfrak{S}_{\mathfrak{m}}$로 구성된다.
• 대수적 구조는 유리 곡선이 $D$와 단일 점에서 횡단적으로 만날 것을 수는 상대 그로모프-와이너 인버티언트를 통해 정의되며, 산산각의 일치성을 보장한다.
• 테타 함수 $\vartheta_q$는 $A_I$의 대수에 대한 표준 기저를 이룬다. 이는 아벨 다양체 위의 고전적 테타 함수를 로그 칼라비-야우 설정으로 일반화한다.
• 구성은 내재적이고 합성적이며, 오직 $(Y,D)$의 그로모프-와이너 이론에 의존하며, 보조 선택이나 토릭 모델이 필요하지 않다.
• $(Y,D)$에 관련된 쌍대 캐프 특이점은 스무딩 가능하다. 이는 특별 섬유가 미러 가닥의 특이 섬유와 해석적으로 동형이 되는 유한 유형의 변형을 구성함으로써 증명된다.
• 미러 가닥의 기저에 대해 경계 스트라타로의 연장이 가능하며, 특이점의 위치는 대수적 구조에 의해 유도된 사상의 커널에 의해 제어되며, 나카야마의 보조정리에 의해 스무딩 가능성이 도출된다.