Stability conditions in the mathematical Gauged Linear Sigma Model

기술적 요약: 수학적 게이지 선형 시그마 모델에서의 안정성 조건

문제 정의
본 논문은 기존의 이론들, 구체적으로 5차 quintic threefold를 위한 MSP(Mixed-Spin-P) 필드 이론과 LG-quasimap의 FJR(Fan-Jarvis-Ruan) 이론을 일반화하는, 더욱 견고한 수학적 프레임워크로서의 GLSM(Gauged Linear Sigma Model)을 정의하는 과제를 다룬다.

MSP 필드는 quintic에 대해 Gromov-Witten 이론과 양자 특이점 이론(quantum singularity theory) 사이를 성공적으로 연결하며, FJR 이론은 super-potential을 가진 GIT quotient에 대한 계수 이론(counting theory)을 제공하지만, 두 프레임워크 모두 Calabi-Yau 완전 교차(complete intersections)의 고차 genus Gromov-Witten 불변량을 연구하는 데 필요한 임의의 vGIT 마스터 공간(master spaces)으로 완전히 일반화되지 못한다.

주요 기술적 장애물은 모듈라이 공간(moduli space), 특히 cosection degeneracy locus의 **분리성(separatedness)**과 **콤팩트성(properness)**을 보장하는 안정성 조건의 부재이다. MSP의 ad hoc적인 유한 자가사상(finite-automorphism) 조건이나 FJR 이론의 "good lift" 요구사항과 같은 이전의 시도들은 일반적인 vGIT 마스터 공간(예: 불안정 궤적(unstable loci)이 비자명하게 교차하거나 good lift가 존재하지 않는 경우)에 대해서는 실패한다. 이러한 기하학적 성질이 결여되면, 교차 이론(intersection theory)을 통해 불변량을 정의하거나 가상 국소화(virtual localization) 기법을 효과적으로 활용할 수 없다.

방법론
저자들은 LG-quasimap을 위한 **$\Omega$-안정성($\Omega$-stability)**이라는 새로운 안정성 조건을 도입한다. 방법론은 다음과 같이 진행된다:

1. 프레임워크 설정: 이론은 $(R\text{-charged})$ 패키지 $(V, G \leq \Gamma, \varpi, \vartheta)$ 위에 구축된다. 여기서 $V$는 아핀 스킴(affine scheme)이고, $G$는 환원 군(reductive group)이며, $\Gamma$는 $\Gamma/G \cong \mathbb{C}^*$를 유도하는 캐릭터 $\varpi$를 포함하는 환원 군이다. 캐릭터 $\vartheta$는 $G$ 상의 안정성 파라미터 $\theta$로 제한된다.
2. $\Omega$-안정성의 정의: prestable LG-quasimap $\xi = (C, \Sigma_C, u, \kappa)$는 세 가지 조건이 포함된 트리플 $\Omega = (S, A, \vartheta)$에 대해 $\Omega$-안정하다고 정의된다:
   • $\Omega$-1: 기저 로커스(base locus)는 이산적(discrete)이며 특수점(special points)과 분리되어 있다.
   • $\Omega$-2: 특수점이 아닌 점에서의 기울기(slope) 조건은 불변량 링(ring of invariants) 내의 동차 원소들의 유한 집합 $S$를 포함한다. $f \in S$에 대하여, 조건은 $\min_{f \in S} \{ \frac{1}{\text{wt}_\theta(f)}\text{ord}_x(u^*f) + \text{slope}(f) \} \leq A$이다. 여기서 기울기는 파이버(fiber) 상의 $\mathbb{C}^*$ 작용에 의한 "$R\text{-charge}$"(weight)를 포함한다.
   • $\Omega$-3: $\mathbb{Q}\text{-line bundle } u^*L_\vartheta \otimes (\omega_C^{\log})^{\otimes A}$는 양(positive)이다.
3. 안정성 분석: 저자들은 파라미터 $S, A, \vartheta$에 따른 안정성의 의존성을 분석한다. 이들은 고정된 타겟에 대해, $A$를 변화시키는 것이 $\epsilon\text{-stable}$ quasimap과 유사한 wall-and-chamber 구조를 생성함을 보여준다. 또한 $A \to \infty$일 때, 이 조건이 FJR 이론의 $\epsilon = 0^+$ 안정성을 회복함을 보여준다.
4. 사영 공간으로의 축소: 주요 정리들을 증명하기 위해, 저자들은 일반적인 경우를 다양한 R-charge를 가진 사영 공간으로 축소한다. 이들은 일반적인 타겟 $X$로의 $\Omega$-안정 LG-quasimap의 모듈라이에서 사영 공간 $\mathbb{P}^{N-1}$로의 $\Omega$-안정 LG-quasimap으로의 사상을 구성하며, 이때 안정성 조건을 보존한다.
5. **값-치 기준(Valuative Criterion): 이 과정은 분수체(discrete valuation rings) 위에서의 가족(families)의 확장을 구성하고, 비축소된 특수 파이버(non-reduced special fibers)를 블로우업(blow-ups) 및 베이스 체인지(base changes)를 통해 처리하며, 양의 조건을 위반하는 rational tails 및 bridges를 수축시키기 위한 안정화(stabilization) 과정을 수행하는 것을 포함한다.

주요 기여 및 결과
본 논문은 $\Omega$-안정 LG-quasimap의 모듈라이 스택 $\text{LGQ}^\Omega_{g,k}(X, d)$에 관한 다음의 주요 정리들을 확립한다:

• 정리 2.4 (분리성): 스택 $\text{LGQ}^\Omega_{g,k}(X, d)$는 유한 유형의 분리된 Deligne-Mumford 스택이다. 이는 이전의 ad hoc 구성에서 발견되었던 비분리적 모듈라이 공간 문제를 해결한다.
• 정리 2.5 (콤팩트성): 만약 GIT quotient $V//_\theta G$가 사영적(projective)이고 집합 $S$가 "full"(즉, 공통 소멸 로커스가 unstable locus인 경우)이라면, 스택 $\text{LGQ}^\Omega_{g,k}(X, d)$는 **콤팩트(proper)**하다.
• MSP의 일반화: 새로운 안정성 조건은 quintic threefold를 위한 MSP 필드 구성을 일반화한다. quintic과 관련된 마스터 공간 $Y$에 이 이론을 적용함으로써, 저자들은 이전에 ad hoc 방법으로 보여졌던 cosection degeneracy locus의 콤팩트성을 회복한다.
• 일반 타겟으로의 확장: 이 프레임워크는 "good lift"를 요구했던 이전의 방법들이 실패했던, 토릭 다양체 내의 Calabi-Yau global complete intersections 및 기타 vGIT 마스터 공간에 적용된다.
• 유계성(Boundedness): 본 논문은 비가환(non-abelian) 케이스에서 안정적 quasimap의 유계성에 관한 기존 문헌의 간극을 다루며 유계성 증명을 제공한다(전체 비가환 증명은 동반 논문을 참조한다).

의의 및 주장
저자들은 이 연구가 MSP 필드 이론과 FJR GLSM 이론의 공통된 일반화를 제공한다고 주장한다. $\Omega$-안정성을 도입함으로써, 저자들은 다음과 같은 기하학적 플랫폼을 제공한다:

1. 모듈라이 공간 및 그 cosection degeneracy locus에 필요한 분리성과 콤팩트성을 보장한다.
2. 다양한 타겟 공간(Calabi-Yau complete intersections in toric varieties 포함)에 대한 계수 이론의 정의를 가능하게 한다.
3. 이러한 타겟들에 대해 고차 genus Gromov-Witten 불변량을 효과적으로 계산할 수 있는 경로를 제공하며, 이는 quintic threefold를 넘어 BCOV Feynman rule 및 Holomorphic Anomaly Equation과 같은 결과들을 확장할 잠재력을 가진다.

본 논문은 구성이 일반적이긴 하나, 특정 $R\text{-charged}$ 패키지와 파라미터 $A$의 선택에 따라 서로 다른 enumerative theories가 도출될 수 있음을 명시한다. 또한 특정 사례(예: Fermat singularities 또는 곱집합 사영 공간 내의 Calabi-Yau complete intersections)의 경우, 이 프레임워크가 이미 BCOV Feynman rule 및 분함수(partition function)의 해석성(analyticity)에 관한 추측들을 증명하는 데 활용되었음을 강조한다. 이 연구는 모든 고차 genus 문제를 즉각적으로 해결한다고 주장하는 것이 아니라, 이를 추진하기 위해 필요한 기초적인 안정성 조건을 확립하는 데 목적이 있다.