Quantum Adams operations in quasimap K-theory

Basic Information

• Paper ID: 2510.09335
• Title: Quantum Adams operations in quasimap K-theory
• Authors: Shaoyun Bai, Jae Hee Lee
• Classification: math.AG (Algebraic Geometry), math.RT (Representation Theory), math.SG (Symplectic Geometry)
• Publication Date: October 2024
• Paper Link: https://arxiv.org/abs/2510.09335

Abstract

This paper defines quantum deformations of Adams operations within the framework of quasimap quantum K-theory. These operations provide K-theoretic analogues of quantum Steenrod operations in equivariant symplectic Gromov-Witten theory. The authors verify compatibility of these operations with Kähler and equivariant q-difference module structures, provide sample computations via Z/k-equivariant localization, and identify them with the p-curvature operators of Kähler q-difference connections studied by Koroteev-Smirnov. The paper also constructs and verifies the K-theoretic quantum Hikita conjecture at roots of unity and proposes an indirect algebraic geometric definition of quantum Steenrod operations.

Research Background and Motivation

Core Problems

This paper addresses three interrelated theoretical problems:

1. Construction of quantum Adams operations: How to construct quantum deformations of Adams operations? How to compare them with quantum Steenrod operations?
2. p-curvature of q-difference modules: How to compute the p-curvature of Kähler q-difference connections using simply described moduli spaces?
3. Large centers at roots of unity: How to interpret Lonergan's Frobenius-constant quantization of multiplicative Coulomb branches under 3D mirror symmetry correspondence?

Research Significance

• Theoretical unification: Unifies Adams operations in K-theory with Steenrod operations in cohomology at the quantum level
• Geometric applications: Provides new tools for enumerative geometry of symplectic resolutions
• Mirror symmetry: Deepens understanding of 3D mirror symmetry, particularly at the arithmetic level

Limitations of Existing Methods

• Quantum Steenrod operations are primarily defined within symplectic enumerative geometry frameworks, lacking algebraic geometric approaches
• Quantum versions of Adams operations have not been systematically studied previously
• q-difference module theory at roots of unity requires further development

Core Contributions

1. First systematic construction of quantum Adams operations, providing a natural generalization of Adams operations in quantum K-theory
2. Establishes the equivalence "p-curvature = quantum power operations", proving that p-curvature of Kähler q-difference connections equals quantum Adams operations
3. Proposes and verifies the K-theoretic quantum Hikita conjecture at roots of unity, providing new arithmetic perspectives on 3D mirror symmetry
4. Provides an indirect algebraic geometric definition of quantum Steenrod operations via cohomological limits of quantum Adams operations
5. Develops computational techniques for μₖ-equivariant localization, providing effective methods for concrete calculations

Detailed Methodology

Task Definition

Let X = T*V////G be a hyperKähler reduction, with T = Gₘ × T acting on it. For an integer k ≥ 2, let μₖ denote the cyclic group of order k. This paper defines quantum Adams operations:

Input: K-theory class F ∈ K_T(X) Output: Operator Q^(ψᵏ)F ∈ End(K(μₖ×T)(X))[[z^eff]] Constraints: Operations must satisfy additivity, multiplicativity compatibility, and covariant constancy

Model Architecture

1. Quantum Cyclic Power Operations

First define quantum cyclic power operations as the foundation:

For a parametrized P¹ with marked points:

• p₁ = 0, p₂ = ∞
• p'₀ = 1, p'₁ = ζ, ..., p'ₖ₋₁ = ζᵏ⁻¹

where ζ = e^(2πi/k) is a primitive k-th root of unity.

Relative version:

QΨᵏ_F := Σ_d z^d (ev_p₁ × ev_p₂)₊(QM^μₖ_d(X)_rel p₁,p₂,p', Ô^vir ⊗ ev*_k((G⁻¹F)^⊠k_eq)) ∘ G⁻¹

Descendant version:

QΨ^desc,k_τ := Σ_d z^d (ev_p₁ × ev_p₂)₊(QM^μₖ_d(X)_rel p₁,p₂, Ô^vir ⊗ (ev^stack_k)₊τ^⊠k_eq) ∘ G⁻¹

2. Quantum Adams Operations

Obtained by specialization to roots of unity:

Qψᵏ_F := QΨᵏ_F|_{q=ζ} ∈ (K_(μₖ×T)(X)|_{q=ζ})^⊗2[[z^eff]]

3. Key Properties

• Additivity: Qψᵏ_{F+G} = Qψᵏ_F + Qψᵏ_G
• Classical limit: Qψᵏ_F|_ = ψᵏ(F) ⊗ (-)
• Multiplicativity compatibility: Qψᵏ_{F⋆G} = Qψᵏ_F ∘ Qψᵏ_G
• Covariant constancy: Commutes with Kähler and equivariant q-difference connections

Technical Innovations

1. μₖ-equivariant quasimap theory: Incorporates cyclic group actions into quasimap moduli spaces, achieving geometric realization of Adams operations
2. Twisted virtual structure sheaf: Uses special twisting

   Ô^vir := O^vir ⊗ (K^vir det f*(T^{1/2}X)|_{p₂}/det f*(T^{1/2}X)|_{p₁})^{1/2}
   

3. Deformation formulas: Establishes relationships between different moduli spaces via curve degenerations, proving covariant constancy

Experimental Setup

Primary Example: T*P^n

The authors choose T*P^{n-1} as the primary computational example because:

• Admits explicit quasimap moduli space descriptions
• Allows μₖ-equivariant localization
• Enables verification of theoretical correctness

Computational Methods

1. Moduli space description: QM_d(X) ≅ PH⁰(P¹; O(d)^⊕n)
2. Virtual structure sheaf computation:

   O^vir = (1-ℏ) ∏_{1≤i≤n} ∏_{1≤j≤d-1} (1-ℏa_i⁻¹q^j)
   

3. Localization formula: Utilizes μₖ-fixed point stratification for calculations

Comparative Verification

• Consistency with classical Adams operations at z=0
• Compatibility with PSZ quantum K-theory ring structure
• Geometric verification of p-curvature formulas

Experimental Results

Main Results

Theorem 1.4 (Properties of quantum Adams operations): Qψᵏ_F is a z-linear endomorphism satisfying:

1. Additivity: Qψᵏ_{F+G} = Qψᵏ_F + Qψᵏ_G
2. Classical limit: Qψᵏ_F|_ = ψᵏ_F ⊗ (-)
3. Multiplicativity: Qψᵏ_{F⋆G} = Qψᵏ_F ∘ Qψᵏ_G
4. Covariant constancy: Commutes with q-difference connections

Theorem 1.7 (p-curvature equivalence): For line bundles L, the p-curvature of Kähler q-difference connections equals the descendant quantum Adams operation:

M_{L,ζ}(z) = Qψ^{desc,p}_L(z)

Concrete Calculations for T*P^n

For the case X = T*P¹:

• Quasimap space: QM_d(X) = P^{2d+1}
• μₖ-fixed strata: F_ℓ = P^{2⌊(d-ℓ)/k⌋+1}
• Structure constants can be completely computed via localization formulas

Verification of K-theoretic Quantum Hikita Conjecture

For abelian gauge theory (G_m, ℂ):

• q-difference module of Coulomb branch: Z[q±][y±][[z]]/(1-y) - z(1-qy))
• q-difference module of Higgs branch: Z[q±][a±][[z]]/(1-qL) - z(1-ℏqL))
• Both are isomorphic under specialization ℏ=q

Related Work

Adams Operation Theory

• Atiyah's classical Adams operation theory
• Power operations in K-theory
• Relationship with Steenrod operations

Quantum K-theory

• Givental-Lee quantum K-theory
• Okounkov's quasimap theory
• PSZ quantum K-theory ring

3D Mirror Symmetry

• Kamnitzer-McBreen-Proudfoot's quantum Hikita conjecture
• BFN Coulomb branch construction
• Lonergan's Frobenius-constant quantization

Conclusions and Discussion

Main Conclusions

1. Successfully constructs quantum deformations of Adams operations, establishing a unified framework for K-theoretic and cohomological power operations
2. Proves equivalence of p-curvature and quantum power operations, providing geometric interpretation for q-difference equations
3. Verifies the K-theoretic quantum Hikita conjecture at roots of unity, deepening understanding of 3D mirror symmetry

Limitations

1. Primarily works within the quasimap framework; the stable map case requires further investigation
2. The relationship with quantum Steenrod operations is largely conjectural
3. Computational complexity grows with k, requiring more efficient algorithms

Future Directions

1. Generalize to stable maps on general compact symplectic manifolds
2. Develop applications of quantum Adams operations in representation theory
3. Explore relationships with quantum affine algebras
4. Investigate computational methods for more general targets

In-Depth Evaluation

Strengths

1. Strong theoretical innovation: First systematic construction of quantum Adams operations, filling an important theoretical gap
2. Rigorous methodology: Uses geometric methods to prove p-curvature equivalence, avoiding complex algebraic arguments
3. Computational feasibility: Provides concrete computational algorithms and examples
4. Good unification: Unifies concepts from multiple mathematical branches within the quasimap theory framework

Weaknesses

1. Limited scope of applicability: Primarily applicable to hyperKähler reductions; general cases require further work
2. High technical threshold: Requires deep background in algebraic geometry and representation theory
3. Computational complexity: Actual computations remain quite involved, especially in higher-order cases

Impact

1. Theoretical contribution: Provides new tools and perspectives for enumerative geometry
2. Application prospects: Significant potential applications in mirror symmetry and representation theory
3. Methodological value: μₖ-equivariant localization methods have general significance

Applicable Scenarios

• Enumerative geometry research on hyperKähler reductions
• Verification and applications of 3D mirror symmetry
• Geometric realization of quantum groups and affine algebras
• p-curvature problems in arithmetic geometry

References

The paper cites 40 important references covering multiple fields including Adams operation theory, quantum K-theory, quasimap theory, and 3D mirror symmetry, particularly:

• Adams's original Adams operation papers
• Okounkov's systematic work on quasimap K-theory
• Kamnitzer-McBreen-Proudfoot's quantum Hikita conjecture
• Lonergan's Frobenius-constant quantization theory