🔢 mathematics

K-theory of Weighted Blowups

This paper computes the K-theory of weighted blowups of smooth stacks with the resolution property along smooth centers, extends operational K-theory to smooth affine algebraic group actions, and applies these results to determine the K-theory of the stack of stable genus 1 curves with two marked points.

Original authors: Veronica Arena, Alessio Cela, Alberto Landi, Michele Pernice

Published 2026-07-28

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Veronica Arena, Alessio Cela, Alberto Landi, Michele Pernice

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect trying to understand the shape of a city. Sometimes, a city has a messy, tangled neighborhood that makes it hard to navigate. In the world of mathematics, specifically a branch called algebraic geometry, mathematicians study shapes that can be just as tangled. To fix these tangles, they use a tool called a "blowup." Think of a blowup like a magical construction crew that takes a messy, singular point (a knot in the fabric of space) and replaces it with a whole new, smooth surface, like a roundabout or a plaza. This new surface acts as a buffer, smoothing out the chaos so the rest of the city makes sense.

Now, imagine that instead of just a simple roundabout, the construction crew builds a "weighted" plaza. In a normal plaza, every path leading in is treated the same. But in a weighted plaza, some paths are wide highways while others are narrow alleyways, and the rules for how things move depend on these weights. This is the world of "weighted blowups." Mathematicians care about this because these weighted structures appear naturally when studying complex families of shapes, like the collection of all possible curves with specific markings. To understand these collections, they need to know how the "K-theory" of the space changes. K-theory is like a giant inventory list or a barcode system for the space; it counts and categorizes all the different "bundles" or layers of data that can live on that shape. If you know the K-theory before and after the construction, you can predict how the whole system behaves.

This paper, written by Veronica Arena, Alessio Cela, Alberto Landi, and Michele Pernice, is the ultimate instruction manual for updating that inventory list when you perform a weighted blowup on a very specific kind of mathematical space called a "stack." Stacks are like spaces that have a bit of extra "twist" or symmetry built into them, making them harder to count than ordinary shapes. The authors have figured out exactly how to calculate the new K-theory of the space after the weighted construction. They discovered a precise formula that takes the old inventory of the original space and the center of the construction, mixes them with a special "weighted Euler class" (which acts like a unique fingerprint of the weights used), and produces the new, complete inventory.

The team didn't just stop at the formula; they proved it works by building a logical bridge, or an "exact sequence," that connects the old space, the new space, and the center of the construction. They showed that the new K-theory is essentially a combination of the old K-theory and the center's K-theory, but with a specific rule for how they multiply together. To prove their method works in the real world of math, they applied it to a famous example: the stack of stable genus 1 curves with two marked points (a specific type of curve with two special dots on it). Before this paper, the K-theory for this specific shape was a mystery; now, thanks to their formula, it is fully solved and written down as a clear algebraic expression. They also used their new tools to figure out the "Lambda polynomial" of the tangent complex, which is a fancy way of describing how the shape bends and twists at the moment of construction.

The authors had to be very careful because these "stacks" are tricky. Unlike simple shapes, their K-theory doesn't always behave nicely, so the team had to extend their mathematical tools to handle the extra symmetries and "twists" of these spaces. They proved that even though the construction creates a complex, weighted environment, the rules for counting the layers remain consistent if you follow their specific recipe. This work is a significant step forward because it provides a reliable way to compute these complex invariants for a wide range of mathematical objects, turning a previously intractable problem into a solvable equation.

Technical Summary: K-Theory of Weighted Blowups

Problem Statement
The paper addresses the computation of the algebraic K-theory for weighted blowups of smooth algebraic stacks. While classical blowups are fundamental tools in algebraic geometry with well-established formulas for invariants like Chow rings and K-theory (e.g., [Ful98], [BGR+66]), their weighted generalization—formalized recently by [QR21] and [ATW24]—presents significant technical challenges. Specifically, the K-theory of weighted blowups is complicated by two factors: the inherent "stackiness" of the resulting spaces (which are often Deligne-Mumford stacks rather than schemes) and the fact that the exceptional divisor is a weighted projective stack rather than a standard projective bundle. Existing literature has computed the Chow ring ([AO25]) and derived categories ([Li26]) for these objects, but a comprehensive K-theoretic description remained open.

Methodology
The authors develop a framework to compute the K-theory of a regular weighted blowup $\tilde{Y} \to Y$ along a smooth center $X$ , assuming $Y$ and $X$ are smooth algebraic stacks with affine stabilizers satisfying the resolution property (i.e., they are global quotient stacks of the form $[Z/GL_n]$ ).

The methodology proceeds through several key technical steps:

Extension of Equivariant K-Theory Tools:
- The authors extend the theory of operational K-theory and refined Gysin morphisms from the case of split torus actions (as treated in [AP15]) to actions of general smooth affine algebraic groups.
- They prove an excess intersection formula (Theorem 3.2) for these equivariant Gysin maps.
- They generalize the homotopy invariance of K-theory to twisted weighted vector bundles (Theorem 2.15), a crucial step for handling the geometry of weighted blowups.
- They establish a splitting principle for twisted weighted vector bundles (Proposition 2.20), allowing computations to be reduced to cases involving line bundles.
Local Computation and Globalization:
- The computation begins with the local model: the weighted blowup of the origin in affine space $\mathbb{A}^d$ with weights $w = (w_1, \dots, w_d)$ . The K-theory of this local model is computed explicitly using the weighted projective bundle formula (Theorem 2.25).
- The authors utilize the deformation to the weighted normal cone to relate the global weighted blowup to the local model. They construct a deformation space $D_{X^\bullet/Y}$ and show that the weighted blowup can be recovered as a quotient of this deformation space.
- By analyzing the Gysin morphism for the blowup map, they identify a specific class $\gamma \in K^\circ(\tilde{X})$ (where $\tilde{X}$ is the exceptional divisor) that governs the interaction between the K-theory of the center and the blowup. This class is expressed in terms of the weighted Euler class $\lambda_{\mathbb{G}_m}^{-1}(N^\vee_{X/Y})$ of the conormal bundle.
Exact Sequence Construction:
- The core of the proof involves constructing a split short exact sequence (Theorem 4.10) relating the K-theory of the blowup $\tilde{Y}$ , the ambient space $Y$ , and the center $X$ :
  $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$
- Here, $f^!$ is the refined Gysin pullback, $i^*$ is the pullback from the ambient space to the center, $j^*$ is the pullback from the blowup to the exceptional divisor, and $f_*$ is the pushforward.

Key Results

Main Theorem (Theorem 1.1):
The K-theory of the weighted blowup $\tilde{Y}$ is isomorphic to a specific module constructed from $K^\circ(X)$ and $K^\circ(Y)$ . Specifically:
$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$
where $p(t^{-1}) = \lambda_{\mathbb{G}_m}^{-1}(N^\vee_{X/Y})$ is the weighted Euler class of the conormal bundle, and the multiplication rules are explicitly defined in terms of the variable $t$ (representing the class of the line bundle $\mathcal{O}_{\tilde{X}}(1)$ ).
Simplification under Surjectivity (Theorem 4.12):
When the restriction map $K^\circ(Y) \to K^\circ(X)$ is surjective, the formula simplifies significantly, recovering a structure analogous to Keel's formula for classical blowups in Chow theory.
Lambda Polynomial of the Tangent Complex (Theorem 1.3):
The authors compute the $\lambda$ -polynomial of the relative tangent complex of the blowup morphism, expressing it in terms of the blowup data and the polynomial $Q_z(t)$ associated with the normal bundle.
Application to Moduli Spaces (Theorem 1.2):
As a concrete application, the authors compute the K-theory of the moduli stack of stable genus 1 curves with 2 marked points, $\mathcal{M}_{1,2}$ . Using the weighted blowup description of $\mathcal{M}_{1,2}$ established in [Inc22], they derive an explicit presentation:
$K^\circ(\mathcal{M}_{1,2}) \simeq \mathbb{Z}[u^{\pm 1}, s^{\pm 1}] / I$
where the ideal $I$ is generated by specific relations involving the classes of the Hodge bundle and the elliptic tail divisor.

Significance and Claims
The paper claims to provide the first complete description of the K-theory of weighted blowups for smooth stacks satisfying the resolution property. The authors emphasize that their work extends operational K-theory to actions of smooth affine groups, a necessary generalization to handle the stacky nature of weighted blowups where standard approximation techniques (like those used for Chow rings in [Tot97]) are insufficient.

The significance of the results lies in:

Theoretical Unification: Providing a unified framework that generalizes classical blowup formulas to the weighted, stacky setting.
Explicit Computations: Offering one of the few explicit K-theory computations available for moduli stacks of curves (specifically $\mathcal{M}_{1,2}$ ), complementing known results for $\mathcal{M}_{0,n}$ , $\mathcal{M}_{1,1}$ , and $\mathcal{M}_2$ .
Tool Development: Establishing the machinery of equivariant operational K-theory and Gysin maps for general affine groups, which facilitates further computations in algebraic geometry involving stacks.

The authors note that their approach relies on the resolution property to ensure the isomorphism between the K-theory of coherent sheaves and locally free sheaves, a condition satisfied by global quotient stacks. They do not claim to extend these results to arbitrary stacks without this property.

More like this