Stringy invariants for abelian character varieties

기술 요약: 아벨 다양체에 대한 스트링 불변량 (Stringy Invariants)

문제 정의
본 논문은 자유 아벨 군(free abelian groups)과 아벨 다양체 위의 힉스 번들(Higgs bundles)의 모듈라이 공간과 관련된 캐릭터 다양체(character varieties)의 기하학 및 위상 수학을 조사한다. 구체적으로, 최대 토러스 $T$와 Weyl 군 $W$를 갖는 복소 연결 환원 가능 군(complex connected reductive group) $G$가 주어졌을 때, 대각적으로 작용하는 몫 다양체(quotient variety) $T^r/W$를 연구한다. 이 다양체는 $G$-캐릭터 다양체 $X_r(G) = \text{Hom}(\mathbb{Z}^r, G) // G$의 항등 성분의 정규화(normalization) 역할을 한다. $T^r/W$의 구조는 단순해 보이지만, 특히 $r > 2$인 경우 그 특이점(singularities)은 매우 복잡하다. 본 연구의 주요 목표는 임의의 $r$과 모든 복소 연결 환원 가능 군 $G$(예외적인 유형 포함)에 대해 이 공간들의 모든 스트링 불변량(특히 스트링 혼합 호지 다항식, stringy mixed Hodge polynomials)을 계산하는 것이다. 이러한 불변량들은 오비폴드 코홈로지(orbifold cohomology) 수들을 인코딩하며, 특이한 심플렉틱 다양체의 기하학을 이해하고 거울 대칭(mirror symmetry) 추측을 검증하는 데 필수적이다.

방법론
저자들은 기하학적 불변 이론(Geometric Invariant Theory, GIT), Weyl 군의 표현론, 그리고 Chen–Ruan 오비폴드 코홈로지를 결합하여 연구를 수행한다.

1. 오비폴드 코홈로지 프레임워크: 연구는 $W$의 켤레류(conjugacy classes)에 의해 인덱스가 매겨지는 뒤틀린 섹터(twisted sectors)로 분해되는 Chen–Ruan 코홈로지 $H^\bullet_{CR}(T^r/W)$를 활용한다. 각 섹터의 코홈로지는 고정 부분 공간 $(T^r)^w$의 코차원(codimension)에 의해 결정되는 "페르미온 이동(fermionic shift)" 또는 "age"에 의해 이동된다.
2. 명시적 조합 공식: 저자들의 핵심 방법론적 기여는 스트링 혼합 호지 다항식 $\mu_{str}(T^r/W)$에 대한 명시적인 폐쇄형 공식(closed-formulas)을 유도하는 것이다. 이는 다음 과정을 포함한다:
   • $I_\Lambda - w$ (여기서 $\Lambda$는 캐릭터 격자)의 여핵(cokernel)을 자유 부분($\Phi_w$)과 잉여 부분($D_w$)으로 분해한다.
   • 유도된 모포피즘 $\phi_w(g)$ 및 $\tau_w(g)$를 통해 중심화 부분군(centralizer) $C(w)$가 이 부분들에 작용하는 방식을 분석한다.
   • 여핵의 크기 $n_w(g)$와 선형 사상의 행렬식(determinants)을 계산한다.
3. 심플렉틱 해소 분석: 저자들은 Ginzburg–Kaledin 국소 해소 프레임워크를 사용하여 이 모듈라이 공간들의 심플렉틱 해소(symplectic resolutions) 존재 여부를 조사한다. 이는 그룹 $G$의 Dynkin 유형과 심플렉틱 해소의 존재를 연관시킨다.
4. 계산 구현: 이론적 공식은 SageMath를 통해 구현되어, 클래식 및 예외적 그룹(예: $SO_7, G_2$)에 대해 랭크 4까지의 명시적 다항식을 계산한다.

주요 기여 및 결과

• 스트링 불변량에 대한 명시적 공식 (정리 A): 저자들은 $\Lambda$에 대한 $W$의 작용만을 사용하여 $T^r/W$의 스트링 혼합 호지 다항식에 대한 일반적인 공식을 제공한다. 이 공식은 $W$의 켤레류 $[w] \in \text{Conj}(W)$에 대해 합산되며, $I_\Lambda - w$의 여핵의 잉여 부분 및 자유 부분과 관련된 항들을 포함한다.
  $$\mu_{str}(T^r/W)(t, u, v) = \sum_{[w]} \frac{(t^2uv)^{\frac{r}{2}\text{rk Im}(I_\Lambda-w)}}{|C(w)|} \left( \sum_{g \in C(w)} n_w(g)^r \det(I_{\Phi_w} + tuv \phi_w(g))^r \right)$$
  이와 유사한 공식이 $d$차원 아벨 다양체 상의 $G$-힉스 번들의 모듈라이 공간에 대해서도 유도된다 (정리 B).

• 위상적 거울 대칭의 직접 증명 (정리 6.1): 명시적 공식을 사용하여, 저자들은 그룹 $G$와 그 랭글랜즈 쌍대(Langlands dual) $LG$의 스트링 혼합 호지 다항식이 동일하다는 것을 직접 증명한다. 이는 이전의 Thaddeus의 결과를 스트링 $E$-다항식에서 전체 혼합 호지 구조로 확장한 것이다. 증명은 캐릭터 격자와 코캐릭터 격자의 쌍대성에 기초하며, 전치(transpose) 사상 하에서 관련 행렬식과 여핵의 크기가 보존됨을 보여준다.

• 심플렉틱 해소의 부존재 (정리 4.5): 본 논문은 $T^{2d}/W$에 대한 심플렉틱 해소가 특정 경우에만 존재함을 확립한다.

  • $d \ge 2$인 경우, 양의 반단순 랭크(positive semisimple rank)를 갖는 어떤 그룹에 대해서도 심플렉틱 해소가 존재하지 않는다.
  • $d=1$ (타원 곡선)인 경우, 심플렉릭 해소는 $G$의 Dynkin 다이어그램이 $A, B, C$ 유형의 성분들로 구성된 경우에만 존재한다. $D$ 유형이나 예외적 그룹에 대해서는 그러한 해소가 존재하지 않는다.
  • 결과적으로, 예외적 그룹에 대해 계산된 스트링 불변량은 매끄러운 해소(smooth resolution)의 코홈로지가 아니라 "가상(virtual)" 호지 수들을 나타낸다.

• 양의 성(Positivity) 및 회문적 성질(Palindromic Properties):

  • 저자들은 랭크 2 캐릭터 다양체 양의 성 추측 (추측 8.1)을 제안하며, 모든 연결된 반단순 군 $G$에 대해 $T^2/W$의 스트링 $E$-다항식은 비음(non-negative)의 계수를 갖는다고 명시한다. 이는 계산된 모든 예시(예외적 그룹 포함)에 대해 검증되었으나, 비반단순 군(예: $GL_2$)이나 고차원 아벨 다양체(예: $SL_3$ 상의 아벨 곡면)에서는 실패한다.
  • 명제 8.4는 임의의 환원 가능 군과 임의의 차원 $d \ge 1$에 대해 스트링 $E$-다항식이 변수 $q=uv$에 대해 항상 회문적(palindromic)임을 증명한다.

의의
본 논문은 다음과 같은 여러 분야에서 의의를 갖는다:

1. 계산적 접근성: 임의의 환원 가능 군(예외적 그룹 포함)에 대해 스트링 불변량을 계산할 수 있는 완전히 명시적이고 알고리즘적인 방법을 제공하며, 이는 이전에는 접근하기 어려웠던 영역이다.
2. 거울 대칭: 아벨 캐릭터 다양체에 대한 위상적 거울 대칭에 대한 직접적인 리-이론적(Lie-theoretic) 증명을 제공하며, 이는 이전 증명들에서 사용된 특정 모듈 구조를 식별할 필요를 우회한다.
3. 특이점의 기하학: 심플렉틱 해소가 존재하는 조건(타원 곡선 케이스에서 $A, B, C$ 유형만 해당)을 명확히 함으로써, 본 논문은 다른 그룹들에 대한 스트링 불변량의 양의 성 및 회문적 성질이 단순한 매끄러운 심플렉틱 해소의 산물이 아니라 오비폴드 구조 자체에 내재된 것임을 강조한다.
4. Batyrev의 추측: 본 연구는 비사영(non-projective) quotient 특이점의 맥맥에서 수정된 Batyrev의 양의 성 추측에 대한 강력한 경험적 증거를 제공하는 동시에, 그 타당성의 명확한 경계를 규정한다(비반단순 군 및 고차원 아벨 다양체에서 실패함).

저자들은 자신들의 결과가 힉스 번들의 모듈라이 공간에 그대로 적용되어, 비가환 아벨리안 호지 대응(non-abelian Hodge correspondence)의 돌베(Dolbeault) 측으로 이 불변량들의 범위를 확장한다고 강조한다.