Instantons on the Blown-up Surface and the Affine Vertex Algebra

기술적 요약: 블로운업 표면 위의 인스턴톤과 아핀 정점 대수

문제 정의
본 논문은 4차원 초대칭 게이지 이론에서의 S-듀얼리티와 2차원 등각장론(2d CFT) 사이의 관계에 관하여 Vafa와 Witten이 제기한 오랜 질문을 다룬다. 구체적으로, 본 논문은 블로운업된 대수적 표면 위 인스턴톤 모듈라이 공간의 맥락에서 $SU(r)$ 레벨 1에 대한 베스-주몬-위튼(Wess-Zumino-Witten, WZW) 모델이 나타나는 이유를 설명하고자 한다.

Yoshioka의 선행 연구는 표면 $S$ 상의 안정적인 층(stable sheaves)의 모듈라이 공간의 베티 수(Betti numbers)(이후 가상 호지 수(virtual Hodge numbers))를 그 지점에서의 블로운업인 $\hat{S}$ 상의 수와 연결하는 "블로우업 공식(blow-up formula)"을 확립하였다. 랭크 2의 경우, 이 공식은 $SU(2)$ 레벨 1 WZW 모델의 캐릭터(character)와 일치하는 생성 함수들의 비율을 포함한다. Nakajima가 이전에 $\mathbb{P}^2$(특정한 경우) 상의 프레임된 층(framed sheaves)의 등변 코호몰로지(equivariant cohomology) 상에 아핀 리 대수의 작용을 구축한 바 있으나, 임의의 표면에 대한 일반적인 경우와 언프레임드(unframed) 모듈라이 공간에 대한 문제는 미해결 상태로 남아 있었다. 핵심적인 과제는 $\hat{S}$ 상의 안정적인 층의 모듈라이 공간의 코호몰로지 상에 아핀 리 대수 $\widehat{\mathfrak{gl}}_r$의 작용을 구축하고, 이 모듈을 기본 표현(basic representation)으로 식별하여, Vafa-Witten의 예측을 기하학적으로 구현하는 것이다.

방법론
저자들은 유도 대수 기하학(derived algebraic geometry), 클리포드 대수(Clifford algebra)의 표현론, 그리고 퍼버스 코히어런트 층(perverse coherent sheaves)의 이론을 결합한 다단계 전략을 채택한다. 증명은 네 가지 주요 단계로 진행된다:

1. 유한 클리포드-그라سم마니안 모델 (Finite Clifford-Grassmannian Model):
   저자들은 먼저 유한 차원 대수적 모델을 구축한다. 스킴 $X$ 상의 Tor-진폭(Tor-amplitude) $[0, 1]$을 갖는 완전 복합체(perfect complex) $E$를 고려한다. 이들은 quotient들의 모듈라이 공간 $\text{Gr}_X(E, d)$와 그 시프트된 쌍대(shifted duals) $\text{Gr}_X(E^\vee[1], d)$를 연구한다. (첫 번째 저자에 의해 확립된) 유도 범주(derived categories) 내의 반직교 분해(semi-orthogonal decompositions)를 사용하여, 다음의 등급화된 표현(graded representations) 사이의 동형 사상을 증명한다:
   $$\bigoplus_{d \in \mathbb{Z}} H^*(\text{Gr}_X(E, d)) \cong \bigoplus_{d \in \mathbb{Z}} H^*(\text{Gr}_X(E^\vee[1], d)) \otimes F(r)$$
   여기서 $F(r)$은 유한 차원 클리포드 대수 $\text{Cl}(r)$의 스핀 표현이다. 이 동형 사상은 반직교 관계를 만족하는 기하학적 대응(Fourier-Mukai 커널)의 "직교화(orthogonalization)"를 통해 구축되며, 이는 보존-페르미온 대응(Boson-Fermion correspondence)의 유한 유사체를 실현한다.

2. 퍼버스 코히어런트 층과 월-크로싱 (Perverse Coherent Sheaves and Wall-Crossing):
   블로운업 $\hat{S}$ 상의 층의 모듈라이 공간에 이 모델을 적용하기 위해, 저자들은 Nakajima와 Yoshioka가 도입한 $m$-안정 퍼버스 코히어런트 층의 이론을 활용한다. $m=0$인 경우, 이 공간들은 블로운업 지점 $o$로 제한된 유니버설 층 $U_o$의 그라سم마니안으로서 명시적인 묘사가 가능하다. 즉, $M_0(l, n)$은 $\text{Gr}_{M_H(n)}(U_o, -l)$ 및 그 쌍대와 동형이다. 이를 통해 단계 1의 유한 클리포드-그라سم마니안 모델을 $M_0(l, n)$에 적용할 수 있다.

3. 모리타 동치와 무한 클리포드 대수 (Morita Equivalence and Infinite Clifford Algebras):
   저자들은 클리포드 대수 $\text{Cl}(r)$과 특정 관계를 만족하는 추가 연산자 $e, f$에 의해 생성되는 확장 대수 $\mathcal{E}(r)$을 도입한다. 그 후, $a \in \mathbb{Z}$에 의해 인덱스 지정된 연산자 $P_{a,i}, Q_{a,i}$들로 생성되는 무한 클리포드 대수 $\mathcal{E}(r)$을 고려한다. 핵심적인 기술적 결과는 유한 생성 대수 $\mathcal{E}(r)$의 표현 범주와 "우측-허용 가능한(right-admissible)" 무한 대수 $\mathcal{E}(r)$의 범주 사이의 모리타 동치이다. 이 동치는 $m=0$의 경우(그라سم마니안 모델과 동형인 경우)로부터의 표현 구조를 극한의 경우인 $m \to \infty$로 전이할 수 있게 한다.

4. 극한 성질과 보존-페르미온 대응 (Limit Property and Boson-Fermion Correspondence):
   $\mathcal{O}_{\hat{S}}(-C)$와의 텐서 곱에 따른 모듈라이 공간의 자기 유사성(self-similarity)과 극한 성질 $M_m(l, n) \cong M_H^\infty(l, n)$ (블로운업 상의 안정적인 층의 모듈라이 공간)을 사용하여, 저자들은 $\mathcal{E}(r)$-작용을 안정적인 모듈라이 공간 $M_H^\infty$의 코호몰로지로 전파한다. 마지막으로, 저자들은 페르미온 푹 공간(Fermionic Fock space) $F(r)$을 아핀 리 대수 $\widehat{\mathfrak{gl}}_r$의 기본 표현과 식별하는 I. Frenkel의 보존-페르미온 대응을 호출한다. 이 단계는 $\mathcal{E}(r)$-작용을 $\widehat{\mathfrak{gl}}_r$-작용으로 업그레이드한다.

주요 기여 및 결과
본 논문은 블로운업된 표면 위의 안정적인 층의 모듈라이 공간의 다양한 코호몰로지 이론에 대한 $\widehat{\mathfrak{gl}}_r$-작용의 완전한 기하학적 구성을 제공한다.

• 주요 정리 (Theorem 1.1 / Theorem 8.1): 매끄러운 사영 곡면 $S$와 그 지점에서의 블로운업 $\hat{S}$에 대하여, 특정 천 이(Chern classes)를 갖는 $\hat{S}$ 상의 안정적인 층의 모듈라이 공간 $M_H^\infty(r, p^*c_1 + l[C], n')$를 고려하자. 저자들은 다음의 $\widehat{\mathfrak{gl}}_r$-표현 동형 사상을 증명한다:
  $$\bigoplus_{n \in \mathbb{Z}} H^*(M_H^\infty(r, p^*c_1 + l[C], n - \tfrac{l(l+1)}{2})) \cong \left( \bigoplus_{n \in \mathbb{Z}} H^*(M_H(r, c_1, n)) \right) \otimes F(r)_{l, \bullet}$$
  여기서 $H^*$는 코히어런트 층의 그로텐디크 군(Grothendieck group), Hochschild homology, Chow group, 또는 Hodge cohomology를 나타낸다. $F(r)_{l, \bullet}$은 중심 전하(central charge) $l$을 갖는 $\widehat{\mathfrak{gl}}_r$의 기본 표현이다.
• 기저에 대한 자명한 작용 (Trivial Action on the Base): 이 구성의 구별되는 특징은 $\widehat{\mathfrak{gl}}_r$ 작용이 원래의 모듈라이 공간 $M_H(r, c_1, n)$에 대응하는 인자에는 자명하게 작용하고, 푹 공간(Fock space) 인자에 대해서만 비자명하게 작용한다는 점이다. 이는 대수가 전체 공간에 작용했던 이전의 구성들과 대조된다.
• 일반화: 이 결과는 임의의 랭크 $r$과 임의의 매끄러운 사영 곡면(특정 코호몰로지 이론의 소멸 조건 하에)에 대해 성립하며, 랭크 2 또는 $\mathbb{P}^2$와 같은 특정한 표면에 국한되었던 이전의 결과들을 일반화한다.
• 기술적 혁신: 본 논문은 "유한 클리포드-그라سم마니안 모델"을 도입하고, 표준적인 Hecke 대응(Hecke correspondences)이 블로운업 상에서 안정성이나 천 이를 보존하지 못하는 어려움을 해결하기 위해 모리타 동치를 사용하는 새로운 방법을 제시한다.

의의
본 논문은 Yoshioka의 블로우업 공식과 $SU(r)$ 레벨 1 WZW 모델 사이의 연결에 관한 Vafa와 Witten의 구체적인 질문에 답한다고 주장한다. 아핀 리 대수 작용을 구축하고 이 모듈을 기본 표현으로 식별함으로써, 저자들은 블로운업된 표면의 인스턴톤 모듈라이 공간의 기하학 내에서 2차원 CFT 구조가 출현하는 것을 설명하는 엄밀한 수학적 프레임워크를 제공한다.

이 연구는 다음과 같은 여러 수학 분야를 통합한다:

• 모듈라이 공간의 기하학(대수 기하학)을 정점 연산자 대수(vertex operator algebras) 및 아핀 리 대수(표현론)와 연결한다.
• 유도 범주 및 완벽 복합체의 그라سم마니안의 맥락에서 보존-페르미온 대응의 기하학적 해석을 제공한다.
• 블로우업 공식의 맥락에서 2d CFT가 나타나는 "해결되지 않은 미스터리"를 해결하며, 오일러 특성의 생성 함수(및 관련 불변량들)가 WZW 모델의 캐릭터와 관련되어 있다는 예측을 확인한다.

저자들은 특정 소멸 조건(K3 또는 del Pezzo 표면과 같은)을 만족하는 표면의 분배 함수(partition function)는 오일러 특성 생성 함수와 일치하지만, "모노폴 브랜치(monopole branches)"를 포함하는 일반적인 경우(분배 함수가 다른 경우)는 향후 연구를 위한 열린 문제로 남아 있다고 언급한다. 현재의 결과는 안정적인 층의 모듈라이 공간 코호몰로지 상의 대수 작용에 대한 기하학적 구성에 엄격히 국한된다.