K-theory of Weighted Blowups

기술 요약: 가중 블로업(Weighted Blowups)의 K-이론

문제 제기
본 논문은 매끄러운 대수적 스택(smooth algebraic stacks)의 **가중 블로업(weighted blowups)**에 대한 대수적 K-이론 계산을 다룬다. 고전적인 블로업은 대수 기하학의 근본적인 도구로서 Chow 환(Chow rings)이나 K-이론과 같은 불변량에 대해 잘 확립된 공식들을 가지고 있지만([Ful98], [BGR+66]), 이들의 가중 일반화—[QR21]과 [ATW24]에 의해 최근 정식화된—는 상당한 기술적 난제를 제시한다. 구체적으로, 가중 블로업의 K-이론은 두 가지 요인으로 인해 복잡해진다. 하나는 결과물인 공간이 표준적인 스킴(scheme)이 아니라 본질적으로 "스태키(stacky)"하다는 점(즉, 델라인-모델만 스택인 경우가 많음)이며, 다른 하나는 예외적 잉여(exceptional divisor)가 표준적인 사영 번들이 아니라 가중 사영 스택이라는 점이다. 기존 문헌들은 이러한 대상들에 대한 Chow 환([AO25])과 유도 범주(derived categories, [Li26])를 계산했으나, 포괄적인 K-이론적 기술은 미해결 상태로 남아 있었다.

방법론
저자들은 $Y$와 $X$가 해상 성질(resolution property)(즉, $[Z/GL_n]$ 형태의 전역 몫 스택인 글로벌 몫 스택)을 만족하는 매끄러운 아핀 안정자(affine stabilizer)를 가진 매끄러운 대수적 스택일 때, 매끄러운 중심 $X$에 대한 정규 가중 블로업 $\tilde{Y} \to Y$의 K-이론을 계산하기 위한 프레임워크를 개발한다.

방법론은 다음과 같은 몇 가지 핵심적인 기술적 단계를 거쳐 진행된다:

1. 공변 K-이론 도구의 확장:

   • 저자들은 **연산 K-이론(operational K-theory)**과 **정교한 Gysin 사상(refined Gysin morphisms)**의 이론을 분할된 토러스 작용(split torus actions)의 경우([AP15]에서 다룸)에서 일반적인 매끄러운 아핀 대수군(smooth affine algebraic groups)의 작용으로 확장한다.
   • 이들은 이러한 공변 Gysin 사상에 대한 과잉 교차 공식(excess intersection formula)(정리 3.2)을 증명한다.
   • 가중 벡터 번들의 기하학을 다루기 위한 필수 단계로서, **비틀린 가중 벡터 번들(twisted weighted vector bundles)**에 대한 K-이론의 **호모토피 불변성(homotopy invariance)**을 일반화한다(정리 2.15).
   • 비틀린 가중 벡터 번들에 대한 **분리 원리(splitting principle)**를 확립하여(명제 2.20), 계산을 선다발(line bundle)이 포함된 사례로 축소할 수 있게 한다.

2. 국소 계산 및 전역화:

   • 계산은 국소 모델인 아핀 공간 $\mathbb{A}^d$에서의 원점 가중 블로업(가중치 $w = (w_1, \dots, w_d)$)으로부터 시작된다. 이 국소 모델의 K-이론은 가중 사영 번들 공식(weighted projective bundle formula)을 사용하여 명시적으로 계산된다(정리 2.25).
   • 저자들은 **가중 법선 콘(weighted normal cone로의 변형)**을 활용하여 전역 가중 블로업을 국소 모델과 연결한다. 이들은 변형 공간 $D_{X^\bullet/Y}$를 구성하고, 가중 블로업이 이 변형 공간의 몫으로 회복될 수 있음을 보여준다.
   • 블로업 사상에 대한 Gysin 사상을 분석함으로써, 저자들은 중심(center)의 K-이론과 블로업 사이의 상호작용을 지배하는 특정 클래스 $\gamma \in K^\circ(\tilde{X})$($\tilde{X}$는 예외적 잉여)를 식별한다. 이 클래스는 공번들(conormal bundle)의 가중 오일러 클래스(weighted Euler class) $\lambda_{\mathbb{G}_m}^{-1}(N^\vee_{X/Y})$로 표현된다.

3. 완전열 구성:

   • 증명의 핵심은 블로업 $\tilde{Y}$, 주변 공간 $Y$, 그리고 중심 $X$의 K-이론을 연결하는 분할 단축 완전열(split short exact sequence)(정리 4.10)을 구성하는 것이다:
     $$0 \to K^\circ(X) \xrightarrow{(f^!, i^*)} K^\circ(\tilde{X}) \oplus K^\circ(Y) \xrightarrow{(-j^* + f_*)} K^\circ(\tilde{Y}) \to 0$$
   • 여기서 $f^!$는 정교한 Gysin 풀백(refined Gysin pullback)이고, $i^*$는 중심에서 주변 공간으로의 풀백이며, $j^*$는 예외적 잉여에서 블로업으로의 풀백이고, $f_*$는 푸시포워드(pushforward)이다.

주요 결과

1. 주 정리 (정리 1.1):
   가중 블로업 $\tilde{Y}$의 K-이론은 $K^\circ(X)$와 $K^\circ(Y)$로부터 구성된 특정 모듈과 동형이다. 구체적으로:
   $$K^\circ(\tilde{Y}) \simeq \left( K^\circ(X)[t^{\pm 1}] \oplus K^\circ(Y) \right) / \langle (p(t^{-1}) \cdot \alpha, i^*\alpha) \rangle$$
   여기서 $p(t^{-1}) = \lambda_{\mathbb{G}_m}^{-1}(N^\vee_{X/Y})$는 공번들의 가중 오일러 클래스이며, 곱셈 규칙은 변수 $t$(선다발 $\mathcal{O}_{\tilde{X}}(1)$의 클래스를 나타냄)에 대해 명시적으로 정의된다.

2. 전사성 하에서의 단순화 (정리 4.12):
   제한 사상(restriction map) $K^\circ(Y) \to K^\circ(X)$가 전사(surjective)일 때, 공식은 크게 단순화되어 Chow 이론에서의 Keel 공식과 유사한 구조를 회복한다.

3. 접선 복합체의 람다 다항식 (정리 1.3):
   저자들은 블로업 사상의 상대적 접선 복합체(relative tangent complex)의 $\lambda$-다항식을 계산하며, 이를 블로업 데이터와 법선 번들과 관련된 다항식 $Q_z(t)$로 표현한다.

4. 모듈라이 공간에 대한 응용 (정리 1.2):
   구체적인 응용으로서, 저자들은 2개의 표식점이 있는 속수 1차 곡선(stable genus 1 curves)의 모듈라이 스택 $\mathcal{M}_{1,2}$의 K-이론을 계산한다. [Inc22]에서 확립된 $\mathcal{M}_{1,2}$의 가중 블로업 기술을 사용하여, 다음과 같은 명시적인 표현식을 도출한다:
   $$K^\circ(\mathcal{M}_{1,2}) \simeq \mathbb{Z}[u^{\pm 1}, s^{\pm 1}] / I$$
   여기서 아이디얼 $I$는 Hodge 번들과 elliptic tail divisor의 클래스들을 포함하는 특정 관계식들에 의해 생성된다.

의의 및 주장
본 논문은 해상 성질을 만족하는 매끄러운 스택에 대한 가중 블로업의 K-이론에 대한 최초의 완전한 기술을 제공한다고 주장한다. 저자들은 자신들의 작업이 연산 K-이론을 일반적인 아핀 군의 작용으로 확장했음을 강조하는데, 이는 가중 블로업의 스태키한 성질을 다루기 위해 표준적인 근사 기법(Chow 환의 경우 [Tot97]에서 사용된 기법)이 불충분하기 때문에 필요한 일반화이다.

결과의 의의는 다음과 같다:

• 이론적 통합: 고전적인 블로업 공식을 가중된(weighted), 스태키한(stacky) 설정으로 일반화하는 통합된 프레임워크를 제공한다.
• 명시적 계산: 알려진 $\mathcal{M}_{0,n}$, $\mathcal{M}_{1,1}$, $\mathcal{M}_2$의 결과들을 보완하는, 곡선의 모듈라이 스택(특히 $\mathcal{M}_{1,2}$)에 대한 몇 안 되는 명시적인 K-이론 계산 중 하나를 제공한다.
• 도구 개발: 일반적인 아핀 군에 대한 공변 연산 K-이론 및 Gysin 사상의 기계론을 확립하여, 스택을 포함하는 대수 기하학의 추가적인 계산을 용이하게 한다.

저자들은 자신들의 접근 방식이 코히어런트 층(coherent sheaves)의 K-이론과 국소 자유 층(locally free sheaves) 사이의 동형을 보장하기 위해 해상 성질에 의존한다고 언급한다. 이는 글로벌 몫 스택이 만족하는 조건이다. 저자들은 이 성질을 갖지 않는 임의의 스택에 대해 이 결과를 확장한다고 주장하지 않는다.