Mock modularity of log Gromov--Witten Invariants: the mirror to $\mathbb{P}^2$

1. 연구 배경 및 문제 제기 (Problem)

본 논문은 수론(Number Theory)과 수리물리학(Mathematical Physics)의 접점에 있는 **모듈러 형식(Modular forms)**의 성질을 **로그 그로모프-위튼 불변량(Logarithmic Gromov–Witten invariants)**의 생성 함수(Generating series)로 확장하는 것을 목표로 합니다.

• 기존 연구: 타원 곡선(Elliptic curve)의 그로모프-위튼 불변량 생성 함수는 준-모듈러 형식(Quasi-modular forms)을 따른다는 것이 알려져 있습니다(Okounkov-Pandharipande 등). 또한, 타원 피브레이션(Elliptic fibration)의 상대적(Relative) 그로모프-위튼 불변량 역시 준-모듈러성을 가질 것이라는 예측(Oberdieck-Pixton)이 존재합니다.
• 핵심 문제: 본 논문은 피브레이션의 특이 섬유(Singular fibers)와 로그 구조(Log structure)가 포함된 상황, 즉 로그 그로모프-위튼 불변량의 생성 함수가 **모크 모듈러 형식(Mock modular forms)**의 성질을 가질 것이라는 가설을 다룹니다. 모크 모듈러 형식은 비-홀로모픽(Non-holomorphic) 보정 항을 더해야만 모듈러성을 회복하는 복잡한 함수입니다.

2. 방법론 (Methodology)

저자는 직접적인 계산 대신 **거울 대칭성(Mirror Symmetry)**과 Vafa-Witten 이론 사이의 대응 관계를 이용하는 전략을 취합니다.

1. 거울 대칭성 활용: $\mathbb{P}^2$의 거울(Mirror)인 유리 타원 곡면(Rational elliptic surface) $(Y, D)$를 설정합니다. 여기서 $D$는 9개의 유리 곡선이 순환하는 구조를 가진 특이한 섬유(Singular fiber)입니다.
2. 로그 GW / Vafa-Witten 대응 관계: 저자는 이전 연구(Bousseau와의 공동 연구)에서 확립된 **로그 그로모프-위튼 불변량과 Vafa-Witten 불변량 사이의 대응 정리(Correspondence Theorem)**를 핵심 도구로 사용합니다.
   • $\mathbb{P}^2$의 Vafa-Witten 불변량 $V_{r,c_1,c_2}^{W, \mathbb{P}^2}$가 $(Y, D)$의 로그 GW 불변량 $GW_{(Y,D), v, \beta}$와 수치적으로 연결됨을 이용합니다.
3. 전이(Transport) 전략: Vafa-Witten 이론 측면에서 이미 알려진 모크 모듈러성(Mock modularity) 결과를 거울 대칭성을 통해 로그 GW 이론 측면으로 전이시켜 증명합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

• 가설 제시 (Conjecture 1.1): 타원 피브레이션 $\phi: Y \to B$와 특이 섬유를 가진 로그 구조 $(Y, D)$에 대하여, 로그 GW 불변량의 생성 함수가 (고차 깊이를 가진) 벡터 값 모크 모듈러 형식(Vector-valued mock modular form)의 성분을 이룰 것이라는 일반적인 가설을 제안했습니다.
• 특수 사례 증명 (Theorem 5.7 & Corollary 5.8): $\mathbb{P}^2$의 거울인 유리 타원 곡면 $(Y, D)$에 대하여, 특정 조건(접촉 차수 $v$와 곡선 클래스 $\beta$가 지정된 경우) 하에서 로그 GW 생성 함수 $h_{r,c_1}^{GW}(\tau)$가 Vafa-Witten 생성 함수 $h_{r,c_1}^{VW}(\tau)$와 정확히 일치함을 증명했습니다.
• 모크 모듈러성 확립: 이를 통해 $1 \le r \le 3$ 범위에서 로그 GW 생성 함수의 벡터가 무게(Weight) $-3/2$ 및 깊이(Depth) $r$을 가진 벡터 값 모크 모듈러 형식임을 입증했습니다.
• 일반화된 가설 (Conjecture 5.9): 모든 $r > 0$에 대해 로그 GW 생성 함수가 모크 모듈러 형식을 따를 것이라는 일반화된 예측을 제시했습니다.

4. 연구의 의의 (Significance)

1. 이론적 연결: 물리적 S-이중성(S-duality)에서 기인하는 Vafa-Witten 이론의 모크 모듈러성을 대수기하학적인 로그 그로모프-위튼 이론의 영역으로 성공적으로 가져왔습니다.
2. 거울 대칭성의 확장: 거울 대칭성이 단순히 불변량의 값을 연결하는 것을 넘어, 불변량들이 가지는 **해석적/수론적 구조(모듈러성)**까지도 보존한다는 것을 보여주었습니다.
3. 새로운 연구 방향: 로그 그로모프-위튼 이론에서 모크 모듈러성 연구는 매우 드물었으며, 본 논문은 이 분야의 수학적 기초를 닦고 향후 고차 깊이(Higher depth) 모크 모듈러 연구를 위한 경로를 제시했습니다.