Delta Power Operation in Homotopy Theory

• Delta power operation is a framework in stable homotopy theory that generalizes additive p-derivations using concepts from higher semi-additivity in ∞-categories.
• It leverages explicit formulas from Morava E-theory and models of supersingular elliptic curves to yield computable structured power operations.
• The operation connects chromatic homotopy theory with Hecke operators, ensuring polynomiality and enabling precise computations in arithmetic topology.

Delta power operation refers to a specific power operation in stable homotopy theory and algebraic topology, notably within the context of Morava E-theory at height 2 and prime 3. This operation, denoted as $\delta$, is defined and explicitly computed using the framework of higher semi-additivity in $\infty$-categories, and is intimately connected to modular and Hecke-theoretic structures on the moduli spaces of elliptic curves. The delta operation generalizes the concept of an additive $p$-derivation and interacts deeply with the algebraic structure of power operations in higher chromatic homotopy theory (Nissan, 14 Dec 2025).

1. Higher Semi-Additivity and Power Operations

The definition of the delta power operation is founded on the notion of $k$-semi-additive symmetric-monoidal $\infty$-categories, as introduced by Carmeli, Schlank, and Yanovski. In this setting, a category $\mathcal{C}$ is $k$-semi-additive if, for every map $f\colon A \to B$ between $k$-finite spaces, the canonical norm map $\mathrm{Nm}_f\colon f_! \to f_*$ is an equivalence. The adjoint functors $\infty$0 (pullback), $\infty$1 (left Kan extension), and $\infty$2 (right Kan extension) operate on families of objects indexed by $\infty$3 and $\infty$4.

This framework permits the definition of "integration" over finite spaces, leading to constructions of canonical operations via groupoid cardinality. For a commutative coalgebra $\infty$5 and commutative algebra $\infty$6 in a 1-semi-additive category, one defines the $\infty$7-operation on $\infty$8 using the diagonal and norm maps, ultimately producing a power operation that generalizes the classical $\infty$9-derivation structure. The delta operation is then defined for $p$0 by $p$1. This $p$2 is itself an additive $p$3-derivation, satisfying

$p$4

as detailed in (Nissan, 14 Dec 2025).

2. Moduli of Elliptic Curves and Explicit Formulas

The explicit computation of the delta power operation at height 2 and prime 3 requires models of the moduli of supersingular elliptic curves over the field $p$5. The supersingular curve used is $p$6, whose universal deformation yields $p$7, with $p$8 the lifted Hasse invariant and $p$9.

Two transfer ideals are central: $k$0 in $k$1, generated by transfers from Young subgroups, and $k$2 in $k$3, generated by the transfer from the trivial subgroup. Both quotient modules are finite and free.

Critical formulas, due to Zhu, include a presentation of $k$4 as $k$5 and a presentation of $k$6 as $k$7, where $k$8 is a specific degree-8 polynomial in $k$9 with coefficients in $\infty$0 and $\infty$1. Zhu also provides explicit formulas for the total power operation $\infty$2 on the generators $\infty$3, $\infty$4, and the map $\infty$5 between the two quotient structures, further enabling concrete computation of the delta operation (Nissan, 14 Dec 2025).

3. Closed-Formulation of the Delta Operation

The structured module $\infty$6 is free of rank 8; multiplication by $\infty$7 corresponds to the companion matrix $\infty$8 of $\infty$9. The image of $\mathcal{C}$0, when expressed as a polynomial in $\mathcal{C}$1, yields matrix $\mathcal{C}$2 with coefficients in $\mathcal{C}$3. The value of the $\mathcal{C}$4-operation on $\mathcal{C}$5 (viewed as a power series in $\mathcal{C}$6) is then

$\mathcal{C}$7

Consequently, the delta operation is given by the formula: $\mathcal{C}$8 where $\mathcal{C}$9 denotes the matrix trace. This formula renders the delta operation highly computable in the specified algebro-geometric setting (Nissan, 14 Dec 2025).

4. Additivity, Polynomiality, and Hecke Connections

The delta power operation preserves polynomiality: if $k$0, then $k$1 remains a polynomial with coefficients in $k$2. This phenomenon is conceptually explained by the identification of the rationalized total power operation with the direct sum of the $k$3th power map and a "proper part" corresponding to the $k$4th Hecke operator $k$5 acting on modular forms on the moduli space $k$6. Hopkins and Rezk, followed by Stapleton, established that this splitting identifies power operations with classical Hecke operators, with Hecke operators mapping polynomials to polynomials, thus enforcing the closedness of $k$7 on polynomials (Nissan, 14 Dec 2025).

5. Explicit Examples and Computational Data

A series of explicit examples computed at $k$8 confirm these structural observations:

• For $k$9,

$f\colon A \to B$0

• For $f\colon A \to B$1 (recalling $f\colon A \to B$2),

$f\colon A \to B$3

• For $f\colon A \to B$4,

$f\colon A \to B$5

demonstrating explicitly that $f\colon A \to B$6 maps polynomials to polynomials and that modulo $f\colon A \to B$7, $f\colon A \to B$8 is congruent to the classical Frobenius $f\colon A \to B$9 up to terms divisible by $k$0, consistent with its definition as an additive $k$1-derivation (Nissan, 14 Dec 2025).

6. Context and Broader Significance

The delta operation exemplifies the interplay between higher algebraic and topological invariants (semi-additivity, power operations, and $k$2-derivations) and structures in arithmetic geometry, particularly modular curves and Hecke algebras. The explicit nature of the delta operation at height 2 and $k$3 provides computational access to phenomena predicted abstractly by higher semi-additivity and modular representation theory, thereby illuminating the chromatic and modular underpinnings of power operations in topology. This connection is reinforced by references to key works by Carmeli–Schlank–Yanovski, Hopkins–Rezk, Stapleton, Strickland, and Zhu, situating the delta power operation within a framework which rigorously connects homotopy-theoretic and arithmetic geometry operator theory (Nissan, 14 Dec 2025).