--- title: Operational K-Theory url: https://www.emergentmind.com/topics/operational-k-theory type: topic --- # Operational K-Theory Operational $K$-theory is the bivariant theory associated to the Grothendieck group of coherent sheaves, constructed via the formalism of Fulton–MacPherson, and provides contravariant and bivariant generalizations of algebraic $K$-theory. It is characterized by a collection of natural transformation operators acting covariantly with respect to proper maps and contravariantly with respect to flat morphisms and regular embeddings on the Grothendieck groups $K_0$ of coherent sheaves (or $T$-equivariant coherent sheaves). Operational $K$-theory recovers the usual $K$-theory on smooth varieties and provides a more robust framework for singular (especially equivariant) contexts, as well as enabling connections to localization, duality, and piecewise-exponential function rings on combinatorial models of varieties such as toric or Schubert varieties. ## 1. Bivariant Formalism and Definition Let $f:X\to Y$ be a morphism of separated finite-type schemes over a fixed field $k$, possibly equipped with a torus $T$-action. The group $\operatorname{op} K_T^*(X\rightarrow Y)$ consists of collections of operators \[ c_g:K_0^T(Y') \longrightarrow K_0^T(X') \] for every pullback square \[ \begin{array}{ccc} X' & \rightarrow & X \\ \downarrow & & \downarrow \\ Y' & \rightarrow & Y \end{array} \] satisfying - (A1) Proper push-forward compatibility: \[ c_{g\circ h} \circ h_* = h'_*\circ c_g \] - (A2) Gysin (refined pullback) compatibility for flat maps and regular embeddings: \[ c_g \circ h^! = h'^!\circ c_{g\circ h} \] The collection of these groups, with product, pushforward, and pullback (as above), forms a bivariant theory in the sense of Fulton–MacPherson. For the identity morphism $X\to X$, one defines the (contravariant) operational $K$-theory: \[ \operatorname{op} K_T^*(X) := \operatorname{op} K_T^*(\mathrm{id}_X:X\rightarrow X) \] which is a commutative, associative $R(T)$-algebra with unit ($R(T)$ the representation ring). On smooth schemes, operational $K$-theory recovers the Grothendieck ring of vector bundles, i.e., \[ K_T^0(X) \cong \operatorname{op} K_T^0(X) \cong K_0^T(X) \] as $R(T)$-modules [1301.0425]. ## 2. Algebraic and Geometric Properties Operational $K$-theory is constructed to satisfy descent, homotopy invariance, and appropriate duality: - **Descent for Envelopes:** For a (possibly equivariant) envelope $f:X'\to X$, the sequence \[ 0 \to \operatorname{op} K_T^q(X) \to \operatorname{op} K_T^q(X') \rightrightarrows \operatorname{op} K_T^q(X'\times_X X') \] is exact [1301.0425, 1403.4412], paralleling Gillet's exact descent for Chow theory. - **$\mathbb{A}^1$-Homotopy Invariance:** For any $T$-equivariant affine bundle $E\to Y$, pullback induces an isomorphism \[ \operatorname{op} K_T^q(X\to Y) \xrightarrow{\sim} \operatorname{op} K_T^q(X\times_Y E \to E) \] and in particular, \[ \operatorname{op} K_T^*(X) \cong \operatorname{op} K_T^*(X\times \mathbb{A}^1) \] [1301.0425, 1403.4412]. - **Duality for T-linear Varieties:** For a complete T-linear variety $X$, \[ \operatorname{op} K_T^q(X) \cong \operatorname{Hom}_{R(T)}\left(K_0^T(X), R(T)\right) \] by using Künneth-type decompositions [1301.0425]. ## 3. Explicit Descriptions: Toric, Spherical, and GKM Varieties Operational $K$-theory admits explicit combinatorial descriptions on highly structured varieties: - **Toric Varieties:** For a toric variety $X(\Sigma)$ (possibly singular), \[ \operatorname{op} K_T^0(X(\Sigma)) \cong \operatorname{PExp}(\Sigma) \] where $\operatorname{PExp}(\Sigma)$ is the ring of integral piecewise exponential functions on the fan $\Sigma$; this generalizes the GKM/Klyachko description for smooth cases [1301.0425, 1403.4412]. - **GKM Varieties and Chang–Skjelbred Property:** For a $T$-skeletal (GKM) variety, the restriction map \[ \operatorname{op} K_T(X) \to K_T(X^T) \] identifies operational $K$-theory as the subring of tuples $(f_{x})_{x\in X^T}$ where \[ f_x \equiv f_y \,\,\mod(1-e^{\chi}) \] for each $T$-invariant curve of weight $\chi$ joining $x$ and $y$ [1403.4412]. The image is the intersection of analogous images for all codimension one subtori (Chang–Skjelbred). - **Spherical Varieties:** For a complete spherical $G$-variety, \[ \operatorname{op} K_T^0(X)\hookrightarrow \bigoplus_{x\in X^T} R(T) \] with image determined by explicit divisibility and congruence relations dictated by the weights of $T$-invariant curves and higher-dimensional $T$-stable loci [1907.00076]. ## 4. Bivariant Grothendieck Transformations and Riemann–Roch Operational $K$-theory admits natural bivariant Chern character and Riemann–Roch transformations: - **Grothendieck Transformation:** There are natural bivariant transformations: \[ \operatorname{op} K_T(X\to Y) \to \widehat{\operatorname{op} K}_T(X\to Y) \xrightarrow{\operatorname{ch}} \mathrm{A}_T^*(X\to Y)_\mathbb{Q} \] where the first map is completion and tensoring with $\mathbb{Q}$, and the second is the bivariant Chern character, an isomorphism [1907.00076]. - **Bivariant Riemann–Roch:** For equivariant lci morphisms $f$, the specialized Riemann–Roch formula holds: \[ \operatorname{ch}([f]^K) = \operatorname{td}(T_f)\cdot [f]^A \] in the operational equivariant Chow theory. - **Adams Operations and Localization:** Bivariant Adams operations $\psi^j$ act on operational $K$-theory, and there exist equivariant localization isomorphisms after inverting the multiplicative set generated by $1-e^{-\alpha}$ for all characters $\alpha$ [1907.00076]. ## 5. Computational Techniques and Applications Operational $K$-theory provides a powerful computational toolkit for singular and equivariant algebraic geometry: - **Localization and Fixed Point Theorems:** A Borel–Atiyah–Segal type localization theorem for operational $K$-theory holds for arbitrary $T$-schemes, enabling reduction to fixed-point loci computations and combinatorial models [1403.4412, 1907.00076]. - **Envelope Descent and Singular Varieties:** Gillet–Kimura's cohomological descent (envelope descent) furnishes exact sequences relating the operational $K$-theory of singular schemes to smooth models, enabling inductive calculations [1301.0425, 1403.4412]. - **Explicit Cases and Failures of Surjectivity:** For certain projective toric threefolds, $K_T^\circ(X)$ does not surject onto $K^\circ(X)$, with operational $K$-theory capturing more refined phenomena due to singularities [1907.00076]. - **Extensions:** Operational $K$-theory has been generalized to derived schemes, with bivariant theories defined via perfect complexes and Grothendieck transformations linking algebraic and operational $K$-theory [1907.00076, Appendix B]. ## 6. Relation to Other Theories and Distinctions Operational $K$-theory is a bivariant extension of algebraic $K$-theory, designed to be parallel to operational Chow theory yet retaining subtle $K$-theoretic features: | Property | Operational $K$-theory | Operational Chow theory | |-----------------------------|----------------------------------|-----------------------------| | Structure | Bivariant with descent, duality | Bivariant, similar pattern | | Behavior on smooth varieties| Recovers $K^0/\text{vect. bundles}$ | Recovers Chow cohomology | | Combinatorial description | Piecewise exponentials (toric/GKM) | Piecewise polynomials | | Singularities | Detects more $\mathbb{Z}$-torsion, negative $K$-theory | Simpler rationally | Operational $K$-theory often involves richer $\mathbb{Z}$-torsion and accommodates subtleties arising from negative $K$-theory and higher homotopy invariants, especially in singular contexts [1301.0425]. ## 7. Future Directions and Open Problems Several generalizations and open questions remain: - Extensions to more general classes of algebraic stacks and derived algebraic geometry have been explored, with Grothendieck transformations from bivariant $K$-theory of relatively perfect complexes to operational $K$-theory [1907.00076]. - Classification of operational $K$-theory rings for increasingly general classes of singular varieties remains open. - Determining the precise relationship and difference between operational and classical $K$-theory (e.g., surjectivity and injectivity of natural maps) in various equivariant and singular settings is an ongoing area of research. - The piecewise-exponential presentation for broader classes of varieties, particularly spherical, group embeddings, and Schubert varieties continues to be developed for geometric and combinatorial applications [1403.4412, 1907.00076]. Operational $K$-theory serves as a bivariant, functorial, and combinatorially explicit framework encompassing and extending much of algebraic $K$-theory, equivariant geometry, and localization, with an active research program investigating its limits and applications. Source: https://www.emergentmind.com/topics/operational-k-theory