2025-11-19T03:19:14.085954

Relative mirror symmetry for non-Fano varieties

You

Given a smooth projective variety $X$ with a smooth anticanonical divisor $D$, we study mirror symmetry for the log Calabi--Yau pair $(X,D)$ without assuming that $D$ is nef. We consider the mirror proper Landau--Ginzburg model $(\check X,W)$ from the intrinsic mirror construction of Gross--Siebert. We examine the relationship between the regularized quantum period of $X$ and the classical period of $W$, and identify the discrepancy between them as originating from curve counts in $D$, governed by the mirror map associated with $D$. We also obtain an explicit formula for the proper potential $W$ that encodes this discrepancy. In the end, we show that the quantum period, together with the mirror map, gives exactly the same information as the proper potential.

academic

비-파노 다양체에 대한 상대 거울 대칭성

기본 정보

논문 ID: 2510.13027
제목: Relative mirror symmetry for non-Fano varieties
저자: Fenglong You (University of Nottingham)
분류: math.AG (대수기하학)
발표 시간: 2025년 10월 16일 (arXiv 프리프린트)
논문 링크: https://arxiv.org/abs/2510.13027

초록

본 논문은 매끄러운 사영 다양체 $X$ 와 그 매끄러운 반정준 인수 $D$ 로 구성된 로그 Calabi-Yau 쌍 $(X,D)$ 의 거울 대칭성을 연구하며, 특히 $D$ 가 nef일 필요가 없다. 저자는 Gross-Siebert 내재적 거울 구성에서 나오는 거울 고유 Landau-Ginzburg 모델 $(\check{X},W)$ 을 고려하고, $X$ 의 정규화된 양자 주기와 $W$ 의 고전 주기 사이의 관계를 연구했으며, 그들 사이의 차이가 $D$ 의 곡선 계수에서 비롯되며 $D$ 와 관련된 거울 사상으로 제어됨을 밝혔다. 논문은 또한 이러한 차이를 인코딩하는 고유 포텐셜 함수 $W$ 의 명시적 공식을 얻었으며, 최종적으로 양자 주기와 거울 사상이 함께 고유 포텐셜 함수와 정확히 동일한 정보를 제공함을 증명했다.

연구 배경 및 동기

문제 배경

고전 거울 대칭성의 한계: 전통적인 거울 대칭성 이론은 주로 파노 다양체에 초점을 맞추고 있으며, 여기서 반정준 인수 $-K_X$ 는 nef이다. 그러나 많은 중요한 기하학적 대상들은 이 조건을 만족하지 않는다.
Tyurin 퇴화의 필요성: Calabi-Yau 다양체의 Tyurin 퇴화를 연구할 때, 두 개의 로그 Calabi-Yau 쌍 $(X_1,D)$ 와 $(X_2,D)$ 가 나타나며, 여기서 $-K_{X_1}$ 과 $-K_{X_2}$ 는 반드시 nef일 필요가 없다. 이러한 다양체들을 준-파노 다양체라고 부른다.
구체적 예시: 중요한 예시는 매끄러운 5차 3중 $Q_5$ 의 Tyurin 퇴화이다: $Q_5 \rightsquigarrow Q_4 \cup_{K3} \text{Bl}_C \mathbb{P}^3$ 여기서 $\text{Bl}_C \mathbb{P}^3$ 는 $\mathbb{P}^3$ 를 어떤 완전 교선 $C$ 를 따라 폭발시킨 것이며, 이는 파노가 아니다.

연구 동기

이론적 완전성: Tyurin 퇴화의 거울 대칭성을 이해하기 위해, $-K_{X_i}$ 가 nef가 아닌 로그 Calabi-Yau 쌍의 상대 거울 대칭성을 연구할 필요가 있다.
기술적 도전: $D$ 가 nef가 아닐 때, 전통적인 거울 대칭성 공식은 더 이상 적용되지 않으며, 추가적인 퇴화 기여를 처리하기 위한 새로운 이론적 틀이 필요하다.

핵심 기여

상대 거울 정리의 일반화: 상대 거울 정리를 $D$ 가 nef가 아닌 경우로 일반화하고, 명시적인 거울 공식을 수립했다.
양자 주기와 고전 주기의 차이 식별: $D$ 가 nef가 아닐 때, 정규화된 양자 주기와 고전 주기 사이의 차이가 인수 $D$ 로의 사상에서 나오는 곡선 계수에서 비롯됨을 증명했다.
고유 포텐셜 함수의 명시적 공식 제공: 위의 차이를 인코딩하는 고유 포텐셜 함수 $W$ 의 명시적 표현식을 제공했다.
동등성 수립: 양자 주기와 거울 사상이 함께 고유 포텐셜 함수와 정확히 동일한 정보를 제공함을 증명했다.
차원 제한 하에서의 정확한 결과: 2차원 및 3차원 경우에서, 고전 주기가 여전히 정규화된 양자 주기와 일치함을 증명했다.

방법론 상세 설명

작업 정의

매끄러운 사영 다양체 $X$ 와 매끄러운 반정준 인수 $D$ 로 구성된 로그 Calabi-Yau 쌍 $(X,D)$ 의 거울 대칭성을 연구하며, $D$ 가 nef일 필요가 없다. 목표는 양자 주기, 고전 주기 및 고유 포텐셜 함수 사이의 관계를 이해하는 것이다.

이론적 틀

1. 상대 Gromov-Witten 이론

논문은 음의 접촉 차수를 가진 0속 상대 Gromov-Witten 이론을 사용했다. 위상 유형 $\Gamma = (0,m,\beta,\vec{k})$ 에 대해, 여기서:

$0$ 은 0속을 나타냄
$m$ 은 표시된 점의 개수
$\beta \in NE(X)$ 는 곡선 클래스
$\vec{k} = (k_1,\ldots,k_m) \in \mathbb{Z}^m$ 은 접촉 차수이며, $\sum_{i=1}^m k_i = D \cdot \beta$ 를 만족

상대 Gromov-Witten 불변량은 다음과 같이 정의된다: $\langle \prod_{i=1}^m \tau_{a_i}(\alpha_i) \rangle_{(X,D)}^\Gamma = \int_{c_\Gamma(X/D)} \prod_{i=1}^m \psi_i^{a_i} \text{ev}_i^* \alpha_i$

2. 거울 사상의 분해

$D$ 가 nef가 아닐 때, 두 가지 유형의 거울 사상이 나타난다:

$D$ 내의 거울 사상: 상대-국소 모델 $(Y,D_0)$ 에서 나오며, 여기서 $Y = \mathbb{P}(O_D \oplus N_D)$ , $D_0$ 는 영 인수이다. 거울 사상의 형태는: $\tau_D(y,z) = \sum_{k \geq 0, \delta \in H^*(D), \beta \in NE(D)} \tau_{D,\delta,k,\beta}(\iota_* \delta) z^k y^\beta$

상대 거울 사상: 상대 I-함수의 $z^0$ 계수로부터 주어진다: $\tau(y) = \sum_{i=1}^r p_i \log y_i + \sum_{\beta \in NE(X), d=D \cdot \beta \geq 2} \left[ \sum_{l \geq 0, \beta' \in NE(X)} \frac{1}{l!} \langle [\text{pt}] \psi^{d-2}, \tau_D, \ldots, \tau_D \rangle_{0,1+l,\beta'}^X y^{\beta'} \right] \frac{y^\beta}{(d-1)!} [1]_{-d}$

3. 상대 I-함수

매끄러운 로그 Calabi-Yau 쌍에 대해, 상대 I-함수는: $I_{(X,D)}(y, \tau_D(y,z), z) = \sum_{\beta \in NE(X)} J_{X,\beta}(\tau_D(y,z), z) y^\beta \frac{\prod_{a \leq D \cdot \beta}(D + az)}{\prod_{a \leq 0}(D + az)} \prod_{\text{if } D \cdot \beta > 0} \frac{1}{D + (D \cdot \beta)z} [1]_{-D \cdot \beta}$

주요 정리

정리 1 (nef 경우)

$X$ 가 매끄러운 사영 다양체이고, $D$ 가 매끄러운 반정준 인수이며 $D$ 가 nef일 때, 고유 포텐셜 함수 $W$ 로 정의된 고전 주기는 $X$ 의 정규화된 양자 주기와 일치한다.

정리 2 (일반 경우)

$D$ 가 반드시 nef일 필요가 없을 때, 고전 주기는 $D$ 내의 거울 사상을 적용한 후 정규화된 양자 주기와 일치한다: $\sum_{n \geq 0} [W^n]\vartheta_0 = 1 + \sum_{d \geq 2} \sum_{\beta \in NE(X), D \cdot \beta = d} (D \cdot \beta)! \left[ \sum_{l \geq 0, \beta' \in NE(X)} \frac{1}{l!} \langle [\text{pt}] \psi^{d-2}, \tau_D, \ldots, \tau_D \rangle_{0,l+1,\beta'}^X q^{\beta'} \right] q^\beta$

정리 3 (고유 포텐셜 함수 공식)

$W = x + \sum_{n=1}^\infty \sum_{\beta: D \cdot \beta = n+1} n \langle [1]_1, [\text{pt}]_n \rangle_{0,2,\beta}^{(X,D)} t^\beta x^{-n} = x \exp(g(y(q)))$ 여기서 $g(y)$ 는 절대 불변량과 거울 사상으로 정의된다.

기술적 혁신점

1. 비-nef 경우 처리의 새로운 방법

퇴화 분석을 통해 추가 기여 항 식별
이러한 기여와 $D$ 내의 거울 사상 사이의 연결 수립

2. 상대 Gromov-Witten 불변량의 항등식

You24b의 항등식을 $D$ 가 nef가 아닌 경우로 일반화하였으며, 다음을 포함한다:

음의 접촉 차수 불변량의 계산 공식
서로 다른 접촉 차수 구성 하에서의 동등성

3. Lagrange 반전과 Bell 다항식

Lagrange 반전 정리와 Bell 다항식 항등식을 사용하여 양자 주기와 고유 포텐셜 함수의 동등성을 증명했다.

실험 결과

차원 제한 하에서의 정확한 결과

정리 (2차원 및 3차원 경우): $X$ 가 2차원 또는 3차원 매끄러운 사영 다양체이고, $D$ 가 매끄러운 반정준 인수일 때, 고전 주기는 여전히 정규화된 양자 주기와 일치한다.

증명 개요: $D$ 가 타원 곡선 또는 K3 곡면일 때, 그 0속 Gromov-Witten 불변량은 0이므로, $D$ 내의 거울 사상은 자명하다.

구체적 예시: $\mathbb{P}^3$ 폭발

$\mathbb{P}^3$ 를 완전 교선 $C$ 를 따라 폭발시킨 $\text{Bl}_C \mathbb{P}^3$ 를 고려하자. 여기서 $C$ 는 4차 및 5차 초곡면의 교선이다.

I-함수는: $z q_1^{H/z} q_0^{h/z} \sum_{d_1,d_0 \geq 0} \left( \frac{\prod_{k=1}^{4d_1+d_0}(4H + h + kz)}{\prod_{k=1}^{d_1}(H + kz)^4 \prod_{k=1}^{d_0}(h + kz)} \right) \left( \prod_{\text{if } d_0 > d_1} \frac{1}{h - H + (d_0-d_1)z} \right) [1]_{-d_0+d_1} q_1^{d_1} q_0^{d_0}$