Table of Contents
Fetching ...

Flat endomorphisms for mod $p$ equivariant quantum connections from quantum Steenrod operations

Jae Hee Lee

TL;DR

The paper develops a covariant-endomorphism framework for the mod $p$ equivariant quantum connection using quantum Steenrod operations, with a detailed realization on $X=T^*\mathbb{P}^1$. Central to the approach is a local Calabi--Yau reduction that converts curve-counting into computable equivariant Chern-integral counts, enabling full determination of the covariantly constant endomorphism in characteristic $p$. The main contribution is the explicit computation of the $S^1$-equivariant quantum Steenrod operations for the fiber class on $T^*\mathbb{P}^1$, including a proof of uniqueness of the flat endomorphism and a precise link to arithmetic flat sections in Varchenko's framework. The results extend covariant constancy beyond the previously known regime, illuminate the role of multiple covers, and connect symplectic geometry with mod $p$ Gauss--Manin systems and arithmetic holomorphic-curve counts, with potential implications for mod $p$ mirror symmetry and arithmetic flat sections.

Abstract

We present a method for constructing covariantly constant endomorphisms for the mod $p$ equivariant quantum connection, using the quantum Steenrod power operations of Fukaya and Wilkins. The example of the cotangent bundle of the projective line is fully computed, and we discuss the relationship with the mod $p$ solutions of trigonometric KZ equation recently constructed by Varchenko. As a byproduct, we compute the first examples of quantum Steenrod operations that are not a priori determined by ordinary Gromov--Witten theory and classical Steenrod operations, which may be of independent interest.

Flat endomorphisms for mod $p$ equivariant quantum connections from quantum Steenrod operations

TL;DR

The paper develops a covariant-endomorphism framework for the mod equivariant quantum connection using quantum Steenrod operations, with a detailed realization on . Central to the approach is a local Calabi--Yau reduction that converts curve-counting into computable equivariant Chern-integral counts, enabling full determination of the covariantly constant endomorphism in characteristic . The main contribution is the explicit computation of the -equivariant quantum Steenrod operations for the fiber class on , including a proof of uniqueness of the flat endomorphism and a precise link to arithmetic flat sections in Varchenko's framework. The results extend covariant constancy beyond the previously known regime, illuminate the role of multiple covers, and connect symplectic geometry with mod Gauss--Manin systems and arithmetic holomorphic-curve counts, with potential implications for mod mirror symmetry and arithmetic flat sections.

Abstract

We present a method for constructing covariantly constant endomorphisms for the mod equivariant quantum connection, using the quantum Steenrod power operations of Fukaya and Wilkins. The example of the cotangent bundle of the projective line is fully computed, and we discuss the relationship with the mod solutions of trigonometric KZ equation recently constructed by Varchenko. As a byproduct, we compute the first examples of quantum Steenrod operations that are not a priori determined by ordinary Gromov--Witten theory and classical Steenrod operations, which may be of independent interest.
Paper Structure (49 sections, 60 theorems, 248 equations)

This paper contains 49 sections, 60 theorems, 248 equations.

Key Result

Proposition 1.1

For any choice of $b \in H^*(X;\mathbb{F}_p)$, the $S^1$-equivariant quantum Steenrod operation $Q\Sigma_b^{S^1}$ is a covariantly constant endomorphism for the $S^1$-equivariant quantum connection, that is it satisfies for any $a \in H^2_{S^1}(X;\mathbb{Z})$.

Theorems & Definitions (148)

  • Proposition 1.1: \ref{['prop:S1-cov-constancy']}
  • Theorem 1.2: \ref{['cor:S1-QSt-computation']}
  • Theorem 1.3: \ref{['prop:uniqueness-flat-endo']}
  • Proposition 1.4: \ref{['prop:QSt-annihilates-soln']}
  • Remark 1.5
  • Theorem 1.6: \ref{['thm:qst-equals-Chern-integral']}, \ref{['cor:computation']}
  • Remark 2.1
  • Definition 2.3
  • Proposition 2.4: Gromov Compactness
  • Definition 2.5
  • ...and 138 more