Quantum Steenrod Operations

• Quantum Steenrod operations are quantum-enhanced cohomology operations that extend classical Steenrod algebras to the quantum setting with mod p symmetry.
• They employ equivariant Gromov–Witten theory and cyclic group actions to preserve deformed Cartan and Adem relations in quantum cohomology.
• They connect with p-curvature, categorical invariants, and quantum Kirwan maps, offering deep insights into symplectic topology and mirror symmetry.

Quantum Steenrod operations are quantum and equivariant enhancements of the classical Steenrod algebra of cohomology operations, constructed to act on the quantum cohomology of symplectic manifolds in positive characteristic. These operations arise by incorporating domain-symmetry (typically cyclic group actions) into the moduli spaces of holomorphic curves counted in Gromov–Witten theory, and serve as deep structural invariants for symplectic topology, category theory, and mirror symmetry. They interpolate between the classical Steenrod powers, quantum cup powers, and higher quantizations (such as $p$-curvature) of flat quantum connections, providing both algebraic and geometric constraints on quantum structures.

1. Classical Background and Motivation

The classical (mod $p$) Steenrod algebra acts on the cohomology $H^*(X; \mathbb{F}_p)$ of any topological space $X$ via total Steenrod operations

$$\mathrm{St}: H^k(X; \mathbb{F}_p) \to H^*(X; \mathbb{F}_p)[[t,\theta]],$$

where $|t| = 2$, $|\theta| = 1$, with the relation $\theta^2 = t$ when $p=2$, and $\theta^2 = 0$, $t\theta = \theta t$ for $p>2$. These operations satisfy the Cartan formula, decompose into powers/Adem relations, and relate to classical characteristic classes.

Quantum cohomology $QH^*(M;\Lambda)$ for a closed symplectic manifold $(M,\omega)$ with coefficients in a Novikov ring $\Lambda$ is a deformation of the classical cohomology ring, incorporating rational Gromov–Witten invariants: $$\alpha * \beta = \sum_A \langle \alpha, \beta, - \rangle_A \, q^A,$$ where the sum is over curve classes $A \in H_2(M)$.

Quantum Steenrod operations arise by demanding that Steenrod-type symmetries and Cartan/Adem relations persist in this quantum–deformed context, with additional compatibility with quantum connections and equivariant symmetries (Seidel et al., 2021, Lee, 2023).

2. Construction of Quantum Steenrod Operations

Equivariant Gromov–Witten Theory

For a prime $p$, one constructs $\mathbb{Z}/p$-equivariant moduli spaces of genus-zero $J$-holomorphic curves with $p+2$ marked points $(0, z_1, \ldots, z_p, \infty)$ on $S^2$, where the cyclic group acts by rotating the $z_i$ and equivariant perturbation data is parametrized by $S^\infty$.

For $b, c \in H^*(M; \mathbb{F}_p)$, the quantum Steenrod operation is defined at the chain level by enumerating isolated (expected dimension zero) $\mathbb{Z}/p$-equivariant solutions to the parametrized Cauchy–Riemann problem, with incidence constraints determined by $b$ (at $z_i$) and $c$ (at $0$). The output is assembled, after summing over all possible classes and equivariant parameters, into a formal power series in $t$ (degree 2) and $\theta$ (degree 1). The precise form for the endomorphism is: $$Q\Sigma_b: H^*(M; \mathbb{F}_p)[[t,\theta]] \longrightarrow H^{*+p|b|}(M; \mathbb{F}_p)[[t,\theta]]$$ with coefficients in the Novikov ring.

In the equivariant quantum setting, e.g., $QH_T^*(X; \mathbb{F}_p)$ for a conical symplectic resolution $X$ with Hamiltonian torus action, the operation is extended to be $T$-equivariant and parameterized by $u$ (degree 2), yielding: $$QSt_p^T(b): QH_T^*(X; \mathbb{F}_p)[[u]] \to QH_T^*(X; \mathbb{F}_p)[[u]]$$ via $\mathbb{Z}/p$-equivariant Gromov–Witten invariants (Lee, 2023).

Fundamental Properties

• For $t = \theta = 0$, $Q\Sigma_b$ recovers the $p$-fold quantum cup power $b^{*p} * c$.
• For $q = 0$, $Q\Sigma_{b,0}(c) = \mathrm{St}(b) \cup c$, the classical Steenrod action.
• The total operation $Q\St(b) := Q\Sigma_b(1)$ is the quantum Steenrod operation associated to $b$.

Cartan-type and deformed Adem relations hold: $$Q\Sigma_{b} \circ Q\Sigma_{b'} = (-1)^{\frac{p(p-1)}{2}|b||b'|} Q\Sigma_{b * b'},$$ where $*$ is the quantum product (Chen, 2024, Rezchikov, 2021).

3. Covariant Constancy and $p$-Curvature

A key structural property, established in (Seidel et al., 2021) and (Lee, 2023), is covariant constancy of $Q\Sigma_b$ with respect to the quantum connection. Explicitly, the Dubrovin quantum connection,

$$\nabla_a = t\partial_a + a *, \qquad \partial_a(q^A) = (a \cdot A) q^A,$$

is flat (i.e., $[\nabla_{a_1},\nabla_{a_2}] = 0$). The quantum Steenrod operation satisfies: $$[\nabla_a, Q\Sigma_b] = 0 \quad \forall\, a \in H^2(M; \mathbb{F}_p).$$ This property persists for the extended power operations (with additional marked points and cycles of positive codimension).

For divisor classes $D$, conjecturally (and proven in cases such as the Springer resolution) quantum Steenrod operations coincide with the $p$-curvature of the quantum connection: $QSt_p^T(D) = \nabla_D^p - u^{p-1} \nabla_D$ on $QH_T^*(X; \mathbb{F}_p)[u]$ (Lee, 2023, Bai et al., 10 Oct 2025).

4. Quantum Steenrod Operations in Categories and Representation Theory

Quantum Steenrod operations can be categorified via equivariant Hochschild invariants of Fukaya categories. In the monotone symplectic case, for Fukaya $A_\infty$-category $\mathcal{F}\mathrm{uk}(X)$, the quantum cohomology $QH^*(X)$ is related to Hochschild (co)homology and the operations $Q\Sigma$ are interpreted in terms of categorical cap products and open–closed string maps. The core result is that under the $\mathbb{Z}/p$-equivariant open–closed map

$$OC^{\mathbb{Z}/p}: HH_*^{\mathbb{Z}/p}(\mathrm{Fuk}(X)) \to QH^{*+n}(X)[[t,\theta]],$$

the cap action by $CO(b)$ corresponds to $Q\Sigma_b$ in quantum cohomology (Chen, 2024).

In categorified quantum group frameworks, quantum Steenrod operations act on nilHecke algebras and thus on Khovanov–Lauda–Rouquier 2-categories, yielding structure analogous to Hopfological algebra and small quantum groups at roots of unity. The operation's explicit action obeys Cartan and Adem relations, and the marginal differentials recover the $p$-DG structures studied by Khovanov–Qi and others (Beliakova et al., 2013).

5. Computations and Examples

Spheres and Projective Spaces

For $M = S^2$, $p>2$, the quantum Steenrod operation in coordinates $\{1, h\}$ and with quantum connection

$$\nabla_h = t q \partial_q + \begin{pmatrix} 0 & q \ 1 & 0 \end{pmatrix},$$

has $Q\Sigma_h = -t^{p-1} \Sigma$ for the basic matrix $\Sigma$, and $Q\St(h)$ can be calculated using fundamental solutions to the associated ODEs (Seidel et al., 2021).

For $\mathbb{CP}^n$, Wilkins computes closed forms for the quantum Steenrod square $Q\mathcal{S}(x^i)$, including explicit quantum corrections from holomorphic spheres, and shows how correction terms are determined by lines in $\mathbb{CP}^n$ (Wilkins, 2018).

Symplectic Resolutions and Springer Fibers

For symplectic resolutions such as $X = T^*(G/B)$, the identification of $QSt^T_p(D_i)$ with the $p$-curvature holds in the stable basis, and the necessary data can be determined algorithmically using shift operators and explicit quantum multiplication formulas (Lee, 2023).

Quantum Kirwan Isomorphism

Quantum Steenrod operations intertwine with the quantum Kirwan map: for a monotone symplectic reduction $M = V // K$, the equivariant extension $\kappa^{eq}$ of the Kirwan map satisfies

$$\kappa^{eq} \circ \Sigma_b = Q\Sigma_{\kappa(b)} \circ \kappa^{eq}.$$

As a corollary, the monotone case of Salamon's quantum Kirwan conjecture follows (Xu, 2024).

Nonclassicality and Uniruledness

When $Q\Sigma_{[M]}(1)$ differs from its classical value, $M$ is called $F_p$-uniruled, implying nontrivial quantum product deformation. This provides obstructions to the classicality of quantum cohomology and links to the existence of $J$-holomorphic spheres through generic points (Rezchikov, 2021).

6. K-Theory and Arithmetic Aspects

Quantum Steenrod operations admit $K$-theoretic analogues in the form of quantum Adams operators $Q\psi^k_{\mathcal{F}}$, constructed in the framework of quasimap quantum $K$-theory using cyclic group actions on moduli spaces: $$Q\psi^k_\mathcal{F}(z) = Q\Psi^k_\mathcal{F}(z)\big|_{q=\zeta_k},$$ which satisfy compatibility with $q$-difference module structures and equate to $k$-curvature operators on the $q$-difference connections (Bai et al., 10 Oct 2025). Degeneration to characteristic $p$ recovers the quantum Steenrod operator for Chern classes: $$Q\psi^p_L(z) = 1 + \beta^p Q\Sigma_{c_1(L)}(z) + O(\beta^{p+1}),$$ achieving an algebro-geometric definition of quantum Steenrod via $K$-theory.

7. Further Developments and Open Directions

Quantum Steenrod operations find applications in:

• Equivariant and open symplectic geometry, such as the structure of symplectic cohomology via equivariant pair-of-pants and related square operations (Wilkins, 2018).
• Higher genus and categorified settings, providing invariants in open-closed TQFT and homological mirror symmetry. Connections to periodic cyclic homology, arithmetic Frobenius, and variety singularities have been indicated (Chen, 2024).
• Identification of new, purely quantum invariants not recoverable from classical or non-equivariant Gromov–Witten theory, as seen in explicit calculations for $T^*\mathbb{P}^1$ (Lee, 2023).
• Ongoing conjectures relate the full quantum Steenrod algebra to $p$-curvature, arithmetic differential equations, and mirror symmetry dualities, including arithmetic mirror analogues and the quantum Hikita conjecture (Lee, 2023, Bai et al., 10 Oct 2025).

---

Key References:

• Covariant constancy, constructions, and computational examples: (Seidel et al., 2021)
• Symplectic resolutions, $p$-curvature, shift operator compatibility: (Lee, 2023)
• Categorical and arithmetic mirror interpretations: (Chen, 2024)
• Quantum Kirwan and intertwiner property: (Xu, 2024)
• Quantum Adams and $K$-theoretic analogues: (Bai et al., 10 Oct 2025)
• Relations to uniruledness and rational quantum product deformation: (Rezchikov, 2021)
• Explicit computations and Cartan/Adem relations: (Wilkins, 2018, Wilkins, 2018, Lee, 2023)