Gopakumar-Vafa Invariants and Macdonald Formula

기술 요약: 고파쿠마르-바파(Gopakumar–Vafa) 불변량 및 맥도날드(Macdonald) 공식

문제 정의
본 논문은 칼라비-야우 3다양체, 특히 로컬 곡면(델 페조 곡면의 정규 번들 전체 공간)에 대한 판다리피안데-토마스(Pandharipande–Thomas, PT) 안정 쌍 불변량과 고파쿠마르-바파(Gopakumar–Vafa, GV) 불변량 사이의 관계를 다룬다. 비록 기약 곡선 클래스에 대해서는 수치적인 PT/GV 대응 관계가 확립되어 있으나, 코호몰로지적 정교화(cohomological refinement)와 전체 초우 다양체(Chow variety, 비축약 및 가약 사이클 포함)에서의 거동은 여전히 복잡한 문제로 남아 있다. 구체적으로 본 논문은 다음 사항들을 조사한다:

1. PT 직접 영상 급수(direct-image series)와 유도된 구성적 초우 지수(derived constructible Chow exponential)를 잇는 코호몰로지적 지수 공식의 타당성.
2. 이 공식이 축약된 곡선의 로커스(locus)에서 전체 초우 다양체로 확장되기 위한 조건, 특히 PT 소멸 주기 층(vanishing-cycle sheaves)에서 "비축약 엄격 지지(nonreduced strict supports)"의 부재와 관련된 조건.
3. PT 소멸 주기 층, 상대적 힐베르트 스킴의 교차 복합체(intersection complex), 그리고 인시던스 공간(incidence space)의 이동된 상수 층(shifted constant sheaf) 사이의 정확한 기하학적 및 층 이론적 차이(특히 안정 쌍 공간이 매끄러운 상대적 힐베르트 스킴이 아닌 차수 $d=2, n=4$와 같은 경우).

방법론
저자는 퍼버스 층(perverse sheaves), 소멸 주기(vanishing cycles), 그리고 $d$-임계 로커스($d$-critical loci) 이론을 활용한 유도된 구성적 접근법을 사용한다. 주요 방법론적 구성 요소는 다음과 같다:

• 유도된 구성적 초우 지수(Derived Constructible Chow Exponential): 본 논문은 코호몰로지 이동, 코쉬 sign(Koszul signs), 순열 국소 시스템(permutation local systems)을 포함하는 초우 모노이드 상의 완비된 유도 대칭 대수 $\text{Exp}_{\text{Chow}}$를 정의한다.
• 지지 분해(Support Decomposition): 상대적 힐베르트 스킴에 대한 지지 분해 정리(Migliorini–Shende–Viviani)와 이를 초우 다양체로 적응시킨 분석에 의존한다. 저자는 "전체 지지(full-support)" 항(맥도날드 항)과 노달 곡선의 부분 정규화로부터 발생하는 "가약(reducible)" 항을 구분한다.
• 비축약 지지 조건(Nonreduced Support Condition, NR): 기술적 핵심 조건인 $(NR)_{\chi, \beta}$를 정식화한다. 이는 PT 반단순 직접 영상의 단순 성분이 초우 다양체의 비축약 로커스에 엄격하게 포함된 지지를 갖지 않음을 단언한다.
• 국소-전역 분석(Local-to-Global Analysis): 전역적으로 $H$-매끄럽지 않은 완전 평면 패밀리에 대해, 저자는 일반적인 분할 층(partition strata)에서의 버설 국소 계산(versal local calculations)을 적용하고, 노드 평활화(node-smoothing)의 transversality를 사용하여 이러한 결과들을 선형 체계로 끌어온다.
• 임계 로커스 기하학: 차수 $(2,4)$의 특정 사례에서, 저자는 안정 쌍 공간의 스킴 이론적 분석을 수행하여 이를 제로 섹션 인시던스 성분과 "페랑 리본(Ferrand ribbon)" 성분의 합집합으로 식별한다. 또한, Toda의 이중 장애 콘(dual obstruction cone) 묘사와 Kinjo의 차원 축소(dimensional reduction)를 활용하여 임계 구조를 분석한다.

주요 기여 및 결과

1. 코호몰로지적 PT/GV 지수 추측:
   본 논문은 정규화된 PT 직접 영상 급수 $Z_{PT}(q, Q)$가 맥도날드 복합체 $A_\beta(q)$의 초우 지수와 동형이라는 중심 추측(추측 4.2)을 정식화한다:
   $$Z_{PT}(q, Q) \cong \text{Exp}_{\text{Chow}} \left( \sum_{\beta} A_\beta(q) Q^\beta \right)$$
   저자는 이 항등식이 축약된 초우 로커스에서 성립한다면, 모든 계수에 대해 비축약 지지 조건 $(NR)_{\chi, \beta}$가 성립하는 경우에 한하여 전체 초우 다양체로 확장됨을 증명한다.

2. 축약된 로커스로의 환원 및 최소 확장:
   초우 지수의 계수들은 반단순하며 축약된 초우 로커스를 통해 퍼버스 최소 확장(perverse minimal extension)을 통해 회복된다는 것을 본 논문은 확립한다. 결과적으로, 전역적 항등식은 PT 직접 영상 내의 "비축약 엄격 지지" 항의 소멸과 동치이다. 이는 수치적 KKV 재귀(KKV recursion)에 대한 정밀한 층 이론적 해석을 제공한다.

3. 안정 쌍 vs. 상대적 힐베르트 스킴 비교:
   로컬 $\mathbb{P}^2$ 및 $0 \le n \le d+1$에 대하여, 본 논문은 안정 쌍 모듈라이 공간이 매끄러운 상대적 힐베르트 스킴과 동형임을 증명하며, PT 소멸 주기 층이 이 힐베르트 스킴의 교차 복합체와 동형임을 증명한다. 이는 조건 $(Hilb)_{d,n}$과 비축약 지지 조건 $(NR)_{d,n}$이 성립함을 확인해 준다.

• 정리 1.2: $d \ge 3$ 및 $n=d-1$인 경우, 첫 번째 가약 합산(reducible summand)을 차수-$(d-1)$ 곡선과 하나의 직선의 합집합의 폐쇄(closure)의 교차 복합체로 식별한다.

4. 델 페조 계산:
   저자는 로컬 $\mathbb{P}^1 \times \mathbb{P}^1$ (클래스 $(2,3)$)에 대한 전체 지지 맥도날드 계수와 안티-캐노니컬 차수에서의 델 페조 곡면 $S_r$ ($5 \le r \le 8$)에 대한 집합된 계수를 계산한다. 이러한 계산은 특정 사례들에서 KKV 재귀를 검증한다.

5. 차수 $(2,4)$ 분석 및 "인시던스 보정":
   본 논문은 안정 쌍 공간이 매끄러운 상대적 힐베르트 스킴이 아닌 첫 번째 사례($d=2, n=4$)에 대한 상세한 분석을 제공한다.

• 기하학: 공간 $M$은 인시던스 성분 $Y$(매끄러운 상대적 힐베르트 스킴)와 리본 성분 $R$(페랑 리본)의 스킴 이론적 합집합임이 밝혀졌다.
• 임계 구조: $M$의 교차 근방(germ)의 완비는 $\mathbb{A}^6 \times \text{Crit}(c(x_1x_2 + x_3x_4))$로 식별된다.
• 층 이론: 저자는 $Y$ 상의 상수 층의 직접 영상, $M$ 상의 PT 소멸 주기 층, 그리고 비축약 로커스(이중 선)의 교차 복합체를 연결하는 "차수-2 부착 삼각형(degree-two attachment triangle)"을 구축한다.
• 추측 8.15/8.18: 저자는 PT 직접 영상이 비축약 로커스(이중 선)에 대한 엄격한 지지를 갖는 성분을 갖지 않는 반면, 힐베르트 측의 교차 복합체는 레프셰츠 스트링(Lefschetz string)을 포함한다고 추측한다. 그 차이는 특정 사상 $\kappa_2$에 의해 제거되는 단일 원시 성분(이중 선 로커스의 교차 복합체)이며, 이는 KKV 보정 항에 대한 퍼버스 층 이론적 설명을 제공한다.

의의 및 주장
본 논문은 수치적 불변량을 넘어 PT/GV 대응 관계를 위한 엄밀한 층 이론적 프레임워크를 제공한다고 주장한다. 그 의의는 다음과 같다:

• 비축약 사이클의 역할 명확화: 맥도날드 공식이 축약된 곡선에서 전체 초우 다양성으로의 단순한 확장을 방해하는 정확한 층 이론적 장애물(비축약 엄격 지지)을 분리해 낸다.
• KKV 재귀의 정교화: KKV 보정 항을 단순히 조합론적 뺄셈이 아니라, 힐베르트 측 직접 영상으로부터 PT 직접 영상을 얻기 위해 특정 퍼버스 성분(비축약 층의 교차 복합체)을 제거하는 과정으로 해석한다.
• 스킴 이론적 정밀성: 차수 $(2,4)$ 사례를 분석함으로써, 특이 인시던스 공간의 오일러 표수만으로는 PT 불변량을 결정하기에 불충분하며, 임계 로커스의 구체적인 기하학과 리본 성분의 부착이 필수적임을 입증한다.
• 통합: 본 논문은 맥도날드 공식, KKV 재귀, 그리고 $d$-임계 로커스의 소멸 주기 이론을 비축약 지지 조건의 타당성에 기초하여 하나의 코호몰로지적 지수 프레임워크로 통합한다.

본 논문은 모든 차수에 대해 전체 추측을 증명한다고 주장하는 것이 아니라, 필요한 조건을 확립하고 "매끄러운 인시던스 범위" 및 특정 저차수 예시들을 검증하며, 더 높은 차수와 일반적인 비축약 거동에 대한 정밀한 추측을 제시하는 데 목적이 있다.