프레임드 시브와 벽 횡단을 통한 바파와튼 불변량

초록

이 논문은 비정칙 2-형식이 존재하는 복소 표면에서의 정제된 SU(r) 바파와튼 파티션 함수를 연구한다. 수직 기여를 P² 위의 프레임드 시브의 χ_y-세대와 연결시키고, 두 가지 벽 횡단 정체식—Kuhn‑Leigh‑Tanaka의 블로업 공식과 새로운 안정/비안정 벽 횡단 정체식—을 제시한다. 혼합 호지 모듈 이론을 이용해 후자를 증명하고, 이를 통해 Göttsche와 저자들의 예측과 일치함을 확인한다. r=2 경우에는 전설적인 바파와튼 공식의 수직 부분을 완전히 증명한다.

상세 분석

논문은 먼저 표면 S가 비자명한 전역 홀로모픽 2-형식(즉, pg(S)>0)을 가질 때, SU(r) Vafa‑Witten 모듈러 파티션 함수 Z_{SU(r)}(S,H,L) 를 정의하고, 그 기여를 수평 성분과 수직 성분으로 분해한다. 수평 성분은 기존의 Gieseker‑Maruyama 모듈러 공간 M_H(S;r,L,c₂)와 동형이며, 가상 차원 vd(r,L,c₂) 로 정의된 가상 탱젠트 번들을 갖는다. 반면 수직 성분은 Higgs 쌍 (E,φ) 의 고유값 분해가 전부 1 차원인 경우에 해당하며, 이는 0‑차원 부분 스키마와 곡선의 중첩 힐베르트 스키마 Hilb_{n}^{β}(S) 로 기술된다. Gholampour‑Thomas 의 퇴화 로케스 기술을 이용해 이 중첩 힐베르트 스키마에 완전한 퍼펙트 방해 이론을 부여하고, 그 가상 사이클이 Tanaka‑Thomas 가 정의한 C^*‑국소화 가상 사이클과 일치함을 확인한다.

다음 단계에서는 이러한 수직 기여를 P² 위의 프레임드 시브 M_{P²}(r,n) 의 χ_y‑세대와 연결한다. 프레임드 시브는 ADHM 데이터에 해당하는 Nakajima 쿼이버베리어스이며, 그 χ_y‑세대는 T=(C^*)³‑등변화 파라미터 (t₁,t₂,e₀,…,e_{r‑1},y) 에 대한 유리 함수 형태로 전개된다. 저자들은 이 세대를 universal series A(q), B(q), C_{ij}(q) 로 정리하고, 이들이 오직 차수 r 에만 의존한다는 점을 강조한다. 특히 A(q) 은 Tanaka‑Thomas 가 제시한 ϕ_{2,1}·Δ^{-1/2} 형태와 일치하고, K‑이론 업그레이드 역시 Thomas 과 Laarakker 가 구한 식과 동일함을 확인한다.

핵심 기술적 기여는 두 가지 벽 횡단 정체식이다. 첫 번째는 Kuhn‑Leigh‑Tanaka 가 증명한 블로업 공식으로, P² 를 한 점에서 블로업한 \tilde{P²} 위의 프레임드 시브 M_{\tilde{P²}}(r,ℓ,n) 의 χ_y‑세대와 원래 P² 위의 χ_y‑세대 사이에 A_{r‑1,ℓ}·η^{r}·Θ_{A_{r‑1},ℓ} 로 연결한다. 두 번째는 저자들이 새로 증명한 안정/비안정(Stable/Co‑stable) 벽 횡단 정체식이다. ADHM 쿼이버베리어스의 안정 조건을 반대로 바꾸어 얻은 코‑안정 모듈러 공간 M^{c}(r,n) 와 원래의 M(r,n) 사이에 χ_y‑세대가 완전히 동일함을 보인다. 이 증명은 혼합 호지 모듈의 BPS sheaf BPS_A⁰ 의 자가 대칭성을 이용하고, Ohkawa 가 제시한 Mochizuki‑스타일 벽 횡단과도 일치한다.

마지막으로 이러한 정체식을 Vafa‑Witten 파티션 함수에 적용하여, Göttsche‑Laarakker‑Mochizuki 가 제시한 예측식(특히 r=2 경우의 전설적인 Vafa‑Witten 공식)의 수직 부분을 완전히 검증한다. 결과적으로 수직 기여는 프레임드 시브의 χ_y‑세대로 완전히 기술될 수 있음을 보이며, 이는 물리학에서 기대되는 S‑듀얼리티와 모듈러성에 대한 수학적 근거를 제공한다.