Virtual K-theoretic invariants of the nested Hilbert scheme on $\mathbb{C}^2$

기술 요약: $\mathbb{C}^2$ 상의 중첩 힐베르트 스킴(Nested Hilbert Scheme)에 대한 가상 K-이론 불변량

문제 정의
본 논문은 아핀 평면 $\mathbb{A}^2$ 상의 중첩 힐베르트 스킴 $NHilb_{(d_0, \dots, d_N)}(\mathbb{A}^2)$의 가상 K-이론 불변량 계산 문제를 다룬다. 이 모듈라이 공간은 지정된 길이 증분을 가진 영차원 부분 스킴들의 사슬 $Z_0 \supset Z_1 \supset \dots \supset Z_N$을 매개한다. 이 공간의 가상 기본 클래스(virtual fundamental class)와 구조 층(structure sheaf)은 이전에 Gholampour, Sheshmani, Yau [GSY20]에 의해 퇴화 로커스(degeneracy loci)를 통해, 그리고 Bonelli, Fasola, Tanzini [BFT24]에 의해 퀴버 표현론(quiver representations)을 통해 정의되었으나, 비가환 기법을 사용하여 이들의 등방적 가상 오일러 특성(equivariant virtual Euler characteristics)의 생성 급수에 대한 폐쇄형 공식(closed formula)을 유도하는 것은 여전히 해결해야 할 과제로 남아 있었다. 구체적인 과제는 망각 사상(forgetful morphisms) 하에서의 가상 구조 층의 푸시포워드(pushforward)를 계산할 때 발생하는 중첩 구조와 그에 따른 장애 이론(obstruction theories)을 처리하는 것이다.

방법론
저자는 중첩 힐베르트 스킴을 "비가환" 유사체 내로 임베딩하는 전략을 사용하며, 이는 Nori [Nor78]에 의해 도입되고 Behrend, Bryan, Szendrői [BBS13] 및 Okounkov [Oko17]에 의해 확장된 비가환 힐베르트 스킴의 프레임워크를 활용한다.

1. 비가환 중첩 힐베르트 스킴의 구성:
   본 논문은 순환 벡터(cyclic vector)를 갖는 플래그 보존 연산자들의 공간 위에 파라볼릭 부분군(parabolic subgroup)이 작용하는 몫 스택(quotient stack)으로서 매끄러운 모듈라이 공간 $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$을 구성한다. 이 공간은 벡터 공간의 플래그 상에서의 자유 대수 $\mathbb{C}\langle x_1, \dots, x_n \rangle$의 비가환 표현들을 매개한다.

2. 가환 로커스(Commutativity Locus) 및 장애 이론:
   중첩 힐베르트 스킴 $NHilb_{\mathbf{d}}(\mathbb{A}^n)$은 연산자들이 가환하는 $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$ 내의 가환 로커스로 식별된다. $n=2$인 특정 경우($\mathbb{A}^2$), 저자는 가환 조건 $[A_1, A_2] = 0$이 축소될 수 있음을 보여준다. 벡터 $v$의 순환성(cyclicity)을 활용함으로써, 몫 번들 $Hom(V_\bullet, V_\bullet / \langle v \rangle)$ 상에서 교환자(commutator)가 소멸하는 것이 충분하다는 것을 입증한다.
   이러한 축소는 중첩 힐베르트 스킴이 특정 벡터 번들의 섹션의 영점 집합(zero locus)으로 실현될 수 있게 한다. 이러한 기하학적 묘사는 해당 스킴에 **완전 장애 이론(perfect obstruction theory)**을 부여한다. 저자는 이 구성을 통해 유도된 가상 접속 번들(virtual tangent bundle)의 K-이론 클래스가 [GSY20], [GT17], [BFT24]에서 정의된 장애 이론들과 동일함을 증명한다.

3. 가상 구조 층의 인수분해:
   본 논문은 가장 큰 부분 스킴을 망각하는 망각 사상 $p: NHilb_{(d_0, \dots, d_r)}(\mathbb{A}^2) \to NHilb_{(d_0, \dots, d_{r-1})}(\mathbb{A}^2)$를 분석한다. 이 사상은 비가환 설정으로 확장된다. 도메인과 타겟 사이의 장애 번들 간의 전사(surjection)를 구축함으로써, 저자는 K-이론에서 가상 구조 층의 인수분해를 다음과 같이 확립한다:
   $$\mathcal{O}^{vir}_{\mathbf{d}} = p^*(F) \cdot \mathcal{O}^{vir}_{\hat{\mathbf{d}}}$$
   여기서 $F$는 명시적인 타우톨로지컬 클래스(tautological class)이다.

4. 로컬라이제이션(Localization) 및 생성 급수:
   Atiyah-Bott 로컬라이제이션 공식을 사용하여 $p_* F$를 계산한다. 고정점(fixed points, 중첩된 영 디아그램에 대응)의 기여는 오직 증분 $d_r$에만 의존하며, 기저 디아그램의 구체적인 형태에는 독립적임을 보인다. 이러한 독립성은 생성 급수에 대한 재귀 관계를 유도할 수 있게 한다.

주요 기여 및 결과

• 장애 이론의 동치성: 비가환 임베딩(특히 $\mathbb{A}^2$ 케이스에서의 가환 번들 축소)에 의해 유도된 완전 장애 이론이 [GSY20]의 확립된 이론들과 동일한 가상 불변량을 산출함을 엄밀하게 증명한다.
• 생성 급수의 폐쇄형 공식: 등방적 가상 홀로모픽 오일러 특성의 다변수 생성 급수에 대한 폐쇄형 공식을 도출하는 것이 주요 결과이다. $Z^{GSY}$를 이 급수라고 할 때, 논문은 다음을 증명한다:
  $$Z^{GSY}(q_0, \dots, q_r; t_1, t_2) = PE \left( \frac{q_0 + (q_1 + \dots + q_r)(1 - t_1 t_2)}{(1 - t_1)(1 - t_2)} \right)$$
  여기서 $PE$는 플레티스틱 지수(plethystic exponential)를 나타낸다.
• 상수 클래스에 의한 트위스트(Twist): 망각 사상 하에서의 가상 구조 층의 푸시포워드는 표준 점의 힐베르트 스킴 상의 쌍대화 층(dualizing sheaf)의 외력 층(exterior powers)의 등방적 오일러 특성에 대응하는 상수 클래스 $\alpha_{d_r}$에 의해 하위 레벨의 가상 구조 층이 트위스트된 것임을 보인다.

의의 및 주장
본 논문은 비가환 힐베르트 스킴을 곡면 상의 중첩 힐베르트 스킴 연구에 성공적으로 적용한 사례를 확장한다고 주장한다. 중첩 힐베르트를 비가환 설정 내의 영점 집합으로 실현함으로써, 저자는 가상 불변량 계산을 단순화하는 통합된 기하학적 프레임워크를 제공한다.

그 의의는 [BBS13], [Oko17], [FMR21], [KR25]에서 발견된 $\mathbb{A}^3$ 및 $\mathbb{A}^4$ 상의 Quot 스킴(non-nested 경우 $r=0$)의 결과를 일반화하는 다변수 생성 급수의 폐쇄형 공식을 유도했다는 점에 있다. 본 연구는 중첩 힐베르트 스킴의 가상 불변량이 개별 중첩 단계들의 가상 오일러 특성에 의해 결정되는 단순한 곱 구조(product structure)에 의해 지배됨을 확인한다. 저자는 본 텍스트에서 $n \ge 3$인 경우의 가상 차원(virtual dimension) 거동이 여기서 다루는 $n=2$의 경우와 크게 다르다는 점을 언급하며, $n \ge 3$ 또는 다른 곡면에 대한 문제 해결을 주장하지 않는다.