Equal-mass sunset integrals and genus-zero local Gromov--Witten theory of Calabi--Yau $n$-folds

기술 요약: 등질량 선셋 적분(Equal-Mass Sunset Integrals)과 칼라비-야우 $n$-폴의 제너스-제로 로컬 그로모프-위튼(Gromov–Witten) 이론

문제 정의
본 논문은 2차원 등질량 $(n-1)$-루프 선셋 페인만 적분($n \ge 4$)과 로컬 칼라비-야우 $n$-폴의 제너스-제로 그로모프-위튼(GW) 이론 사이의 해석적 및 열거적 연결성을 다룬다. 구체적으로, 본 논문은 큰 유클리드 운동량에서의 함수로서의 선셋 적분과 로컬 기하학 $X_n = \text{Tot}(K_{F_n})$ (여기서 $F_n$은 $(\mathbb{P}^1)^n$ 내의 매끄러운 $(1, \dots, 1)$ 하이퍼서페이스)의 1-포인트 디센던트(descendant) 불변량 사이에 존재하는 정밀한 항등식을 확립하고자 한다. $n=3$인 2-루프 사례는 미러 대칭성을 통해 로컬 칼라비-야우 3-폴의 프리포텐셜(prepotential)과 관련이 있음이 이미 밝혀졌으나, 디센던트 불변량을 포함하는 $n \ge 4$의 일반적인 경우에 대해서는 엄밀하게 확립된 바가 없었다.

방법론
증명은 $n$에 대해 균일하며, 네 가지 서로 다른 수학적 프레임워크를 통합한다:

1. 대수 기하학 및 가상 축소(Virtual Reduction): 저자들은 로컬 칼라비-야우 $X_n$으로의 안정적인 사상(stable maps)이 파노 하이퍼서페이스 $F_n$ 위의 영 섹션(zero section)을 통과한다는 사실을 활용한다. 저자들은 $X_n$의 가상 클래스(virtual class)가 $F_n$의 가상 클래스와 교차하는 장애 번들(obstruction bundle)의 탑 천 클래스(top Chern class)임을 보여주는 "가상 축소" 정리(정리 5.5)를 확립한다. 이를 통해 $X_n$의 GW 불변량을 토릭 다양체 $(\mathbb{P}^1)^n$의 주변 코호몰로지로부터 추출할 수 있다.
2. 미러 대칭성 및 하이퍼기하 급수: 두 개의 독립적인 특성 클래스(오일러 및 역 오일러)를 가진 하이퍼기하 수정된 기벤탈 $I$-함수를 사용하는 "혼합 하이퍼기하 정리"(정리 6.6)가 채택된다. 이는 급수를 뒤틀린 기벤탈 콘(twisted Givental cone) 위에 놓이게 한다. 단항식 나눗셈(monic division)과 주변 쌍생성(ambient pairing)을 통해, 저자들은 전체 코호몰로지의 주변성(ambientness)을 가정하지 않고도(단, 관련 클래스들에 대해서는 정리 15.1에서 별도로 증명함) 모든 수치적 디센던트 불변량 $N_{a,\beta}$를 동시에 추출한다.
3. 미분 방정식: 유한 알고리즘(정의 8.1)은 $\mathbb{Q}$ 상의 차수가 $(n-1)$인 미분 연산자 $P_{n-1}$을 구성한다. 저자들은 이 연산자가 관련 주기 급수를 소멸시키며 기약(irreducible)임을 인증함으로써, 이를 선셋 적분의 최소 연산자로 식별한다. 이 유도는 기하학적 미러 정리와 독립적이다.
4. 해석 및 산술: 물리적 적분은 양의 라플라스 변환을 통해 분석되며, 이를 통해 이리타니(Iritani)의 파노 다양체에 관한 진동 감마 항등식을 부호가 있는 감마 공식으로 변환한다. 정수성을 다루기 위해, 저자들은 $F_n$ 상의 사영 번들의 매끄러운 컴팩트 칼라비-야우 이중 피복 $\tilde{Z}$를 구성한다. 이 컴팩트화는 자명한 정규 칸(canonical bundle)을 가진 타겟 상의 로컬 섹터를 격리하여, 양자 K-이론 및 심플렉틱 정수성 정리(Chou, Ionel–Parker, Siebert)를 적용할 수 있게 한다.

주요 기여 및 결과

• 정밀한 항등식 (정리 A/10.1): 본 논문은 큰 유클리드 운동량($s \to -\infty$)에서의 수렴하는 로그 젬(logarithmic germ)으로서의 등질량 선셋 적분 $I^{(n-1)}_\ominus(s)$가 로컬 미러 좌표 $R$, 노비코프 변수 $Q$, 그리고 $X_n$의 제너스-제로 1-포인트 디센던트 불변량 $D^\Delta_a(Q)$의 특정 조합과 정확히 일치함을 증명한다. 공식은 다음과 같다:
  $$I^{(n-1)}_\ominus(s) = (-1)^{n-1} y A \sum_{k=0}^{n-1} (-1)^k \gamma_k T_{n-1-k}(R, Q)$$
  여기서 $\gamma_k$는 감마 클래스에서 유도된 계수(홀 제타 값 $\zeta(2r+1)$를 포함함)이고, $T_j$는 디센던트 급수와 그 도함수를 포함하는 어셈블리 다항식(assembly polynomials)이다.
• 명시적 디센던트 추출 (정리 B/6.9): 저자들은 주변 하이퍼기하 급수 $I(y,z)$의 계수와 역 미러 맵을 사용하여 디센던트 급수 $D^\Delta_a(Q)$에 대한 폐쇄형 표현식을 제공한다. 이는 미러 급수로부터 모든 수치적 디센던트를 추출하는 문제를 해결한다.
• 전역 단일성 및 수렴성 (정리 11.3/11.4): 본 논문은 슬릿 평면 $\mathbb{C} \setminus (-\infty, -n^{-2}]$에서 주 미러 맵 $y \mapsto Q$의 전역 단일성(global univalence)을 증명한다. 저자들은 역 미러 맵의 테일러 반지름에 대한 명시적인 상한과 하한을 설정하여 디센던트 급수의 수렴 영역을 정교화한다.
• 변환된 프리머리의 정수성 (따름정리 14.10): 문제를 컴팩트 칼라비-야우 피복 $\tilde{Z}$로 들어 올림으로써, 저자들은 "프리머리 커버 변환" 계수 $b_\beta$ (다중 커버 공식 $N_{0,\beta} = \sum b_{\alpha/k}/k^2$를 통해 정의됨)가 모든 $n \ge 4$에 대해 정수임을 증명한다. 이는 두 가지 독립적인 경로, 즉 $\tilde{Z}$ 상의 양자 K-이론을 이용한 대수적 증명과 $\tilde{Z}$ 상의 반양의 조건(semipositive condition)을 이용한 심플렉틱 증명을 통해 달성된다.
• 미분 연산자 인증: 본 논문은 모든 $n$에 대해 선셋 적분을 지배하는 미분 연산자의 균일한 구성을 제공하며, 유한한 계수 맞추기에 의존하지 않고 전체 급수에 작용함을 인증한다.

의의 및 주장
본 논문은 모든 $n \ge 4$에 대해 등질량 선셋 적분 전개의 계수에 대한 최초의 엄밀한 열거적 항등식을 제공한다고 주장한다. 저자들은 (잔여 계산을 통해 유리수로 얻어졌던) "인스턴톤 계수"를 로컬 칼라비-야우 $n$-폴의 제너스-제로 1-포인트 디센던트 불변량으로 식별한다.

결정적으로, 저자들은 결과로 도출된 정수들의 열거적 해석에 대해 신중한 입장을 취한다. 저자들은 명시적으로 다음과 같이 밝힌다:

• 정수 $b_\beta$는 부호가 없는 임베디드 유리 곡선의 개수, 층 이론적(sheaf-theoretic) 다중도, 또는 물리적 BPS 상태 퇴화도를 나타낸다고 주장하지 않는다. 이들은 고정된 가상 불변량에 적용된 특정 산술 변환의 결과물이다.
• $a > 0$인 디센던트 급수에 대해 다중 커버 법칙(multiple-cover law)을 주장하지 않으며, 오직 프리머리 섹터($a=0$)에 대해서만 변환을 수행한다.
• 고차원 커버링 동작에 필요한 표준적인 "이상적 기하학(ideal geometry)" 가설(단순 유리 곡선의 비장애성, 무빙-커버 조건 등)은 가정되지 않으며, 실제로 $X_n$에 대해서는 실패한다. 증명은 순수하게 대수적이며 이러한 기하학적 조건에 의존하지 않는다.

이 연구는 퍼터베이티브 양자장론(페인만 적분)과 대수 기하학(그로모프-위튼 이론)을 연결하며, 선셋 적분의 해석적 구조가 로컬 칼라비-야우 기하학의 미러 대칭성에 의해 지배되며, 그 전개의 계수가 감마 클래스의 산술과 양자 K-이론 불변량의 정수성에 깊이 뿌리박고 있음을 보여준다.