Algebraic K-theory is a powerful tool that extracts algebraic invariants from geometric spaces and stacks (which are generalized spaces that encode symmetries). A blowup is a classical geometric operation that replaces a subspace inside a larger space with a more complex object, allowing singularities to be resolved or fine geometric structure to be revealed. A weighted blowup does the same thing but assigns different "weights" to different directions, producing spaces with mild stacky or orbifold-like behavior. The paper develops a formula that describes the K-theory of a weighted blowup in terms of data you already know from the original space and the subspace being blown up, under fairly general conditions.
One concrete payoff is a computation of the K-theory of the moduli stack of stable genus-1 curves with 2 marked points. Moduli stacks of curves are central objects in algebraic geometry, parameterizing families of curves with specified topology and marked points. Their K-theory is difficult to compute directly, but weighted blowups provide a way to build these stacks up from simpler pieces. The paper also derives an explicit formula for a certain polynomial encoding the geometry of the tangent bundle along the blowup, which captures how the space is locally distorted by the blowup operation.
A key technical ingredient is an extension of operational K-theory, a framework for working with K-theory in the presence of group symmetries, from the well-studied case of torus actions to the much broader setting of smooth affine algebraic groups. This generalization is significant on its own because many natural geometric objects carry symmetries from such groups, not just tori. Together, these results advance the toolkit available for computing K-theory of sophisticated geometric objects built through stacky and weighted constructions.