K-theory of Weighted Blowups

技術要約：重み付きブローアップのK理論

問題設定
本論文は、滑らかな代数スタックの**重み付きブローアップ（weighted blowups）**に対する代数K理論の計算に取り組んでいる。古典的なブローアップは、Chow環やK理論（例：[Ful98], [BGR+66]）などの不変量の確立された公式を持つ、代数幾何学における基本的な道具であるが、その重み付きの一般化（[QR21]および[ATW24]によって最近定式化されたもの）は、重大な技術的課題を提示している。具体的には、重み付きブローアップのK理論は、2つの要因によって複雑化している。一つは、結果として得られる空間が（通常のスキームではなく）デリニュ・ムンフォード・スタックであるという固有の「スタック性（stackiness）」であり、もう一つは、例外因子が標準的な射影束ではなく重み付き射影スタックであるという点である。既存の文献では、これらの対象に対するChow環（[AO25]）や派生圏（[Li26]）の計算が行われているが、包括的なK理論的記述は未解決のままであった。

手法
著者らは、$Y$と$X$が分解性質（resolution property）（すなわち、$[Z/GL_n]$の形のグローバル商スタックであること）を満たす滑らかな代数スタックであると仮定したとき、滑らかな中心$X$に沿った正則な重み付きブローアップ $\tilde{Y} \to Y$ のK理論を計算するための枠組みを開発する。

手法は、以下の主要な技術的ステップを通じて進行する：

1. 等変K理論ツールの拡張：

   • **オペレーショナルK理論（operational K-theory）および洗練されたGysin射（refined Gysin morphisms）**の理論を、スプリット・トーラス作用のケース（[AP15]で扱われたもの）から、一般的な滑らかなアフィン代数群の作用へと拡張する。
   • これらの等変Gysin写像に対する過剰交差公式（excess intersection formula）（定理3.2）を証明する。
   • K理論のホモトピー不変性を**ねじれ付き重み付きベクトル束（twisted weighted vector bundles）**へと一般化する（定理2.15）。これは、重み付きブローアップの幾何学を扱う上で極めて重要なステップである。
   • ねじれ付き重み付きベクトル束の**スプリッティング原理（splitting principle）**を確立する（命題2.20）。これにより、計算をライン束を含むケースへと還元することが可能になる。

2. 局所計算とグローバル化：

   • 計算は局所モデル、すなわち重み $w = (w_1, \dots, w_d)$ を持つアフィン空間 $\mathbb{A}^d$ の原点の重み付きブローアップから始まる。この局所モデルのK理論は、重み付き射影束公式（定理2.25）を用いて明示的に計算される。
   • 著者らは、**重み付き正規錐への変形（deformation to the weighted normal cone）**を利用して、大域的な重み付きブローアップを局所モデルに関連付ける。彼らは変形空間 $D_{X^\bullet/Y}$ を構築し、重み付きブローアップがこの変形空間の商として回収できることを示す。
   • ブローアップ写像のGysin射を分析することにより、中心のK理論とブローアップの間の相互作用を支配する特定のクラス $\gamma \in K^\circ(\tilde{X})$（ここで $\tilde{X}$ は例外因子）を特定する。このクラスは、余接束の重み付きオイラー類 $\lambda_{\mathbb{G}_m}^{-1}(N^\vee_{X/Y})$ を用いて表現される。

3. 完全列の構成：

   • 証明の核となるのは、ブローアップ $\tilde{Y}$、周囲の空間 $Y$、および中心 $X$ のK理論を関連付けるスプリット短完全列（定理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プルバック、$i^*$ は中心から周囲の空間へのプルバック、$j^*$ は例外因子からブローアップへのプルバック、そして $f_*$ はプッシュフォワードである。

主要な結果

1. 主定理 (Theorem 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. 全射性の下での簡略化 (Theorem 4.12):
   制限写像 $K^\circ(Y) \to K^\circ(X)$ が全射であるとき、公式は著しく簡略化され、Chow理論におけるKeelの公式に類似した構造を回収する。

3. 接複体のラムダ多項式 (Theorem 1.3):
   著者らは、ブローアップ射の相対接複体の$\lambda$-多項式を計算し、それをブローアップのデータと正規束に関連する多項式 $Q_z(t)$ を用いて表現する。

4. モジュライ空間への応用 (Theorem 1.2):
   具体的な応用として、著者らは2つの標識を持つ種数1の安定曲線 $\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$ は、ホッジ束のクラスと楕円テイル（elliptic tail）因子に関する特定の関係式によって生成される。

意義と主張
本論文は、分解性質を満たす滑らかなスタックに対する重み付きブローアップのK理論の、最初の完全な記述を提供すると主張している。著者らは、重み付きブローアップのスタック的な性質を扱うために必要な一般化として、我々の研究が、等変オペレーショナルK理論を一般的なアフィン群の作用へと拡張したものであることを強調している。これは、Chow環（[Tot97]で使用されているものなど）のための標準的な近似手法では不十分である。

結果の意義は以下の通りである：

• 理論的統一： 古典的なブローアップの公式を、重み付きのスタックの設定へと一般化する統一された枠組みを提供する。
• 明示的な計算： （特に $\mathcal{M}_{1,2}$ に関して）既知の結果（$\mathcal{M}_{0,n}, \mathcal{M}_{1,1}, \mathcal{M}_2$）を補完する、モジュライスタックのK理論に関する数少ない明示的な計算の一つを提供する。
• ツールの開発： 一般的なアフィン群に対する等変オペレーショナルK理論およびGysin写像の機構を確立し、これは代数幾何学におけるスタックを用いたさらなる計算を容易にする。

著者らは、コヒーレント層のK理論と局所自由層のK理論の間の同型を保証するために、自身のアプローチが分解性質に依存していることを述べている。この条件はグローバル商スタックによって満たされる。彼らは、この性質を持たない任意のスタックに対してこれらの結果を拡張するとは主張していない。