pith. sign in

arxiv: 2410.17730 · v2 · submitted 2024-10-23 · 🧮 math.AG

Permutation-equivariant quantum K-theory of Fermat singularities

Maxime Cazaux This is my paper

Pith reviewed 2026-05-23 19:04 UTC · model grok-4.3

classification 🧮 math.AG
keywords quantum K-theoryFermat singularitiespermutation-equivariantI-functionsq-difference equationsLandau-Ginzburg/Calabi-Yau correspondencequintic threefoldadelic Lagrangian cones
0
0 comments X

The pith

Explicit I-functions for permutation-equivariant quantum K-theory of Fermat singularities satisfy the same q-difference equations as the associated hypersurface I-functions but span a larger solution space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper extends the adelic Lagrangian cone formalism to compute the genus-zero permutation-equivariant quantum K-theory of Fermat singularities in direct parallel to the theory for projective varieties. Explicit I-functions are derived that obey the identical q-difference equation satisfied by Givental's I-function for the corresponding hypersurface. The computation is presented as an extension of the Landau-Ginzburg/Calabi-Yau correspondence into the setting of quantum K-theory, where a discrepancy appears between the two sides. In the specific case of the quintic threefold, both functions solve a degree-25 q-difference equation, yet the singularity I-function generates the entire 25-dimensional solution space while the hypersurface version spans only a 5-dimensional subspace.

Core claim

By extending Givental-Tonita's formalism of adelic Lagrangian cones to the singularity theory setting, explicit I-functions are obtained for the genus-0 permutation-equivariant quantum K-theory invariants of Fermat singularities. These I-functions satisfy the same q-difference equation as Givental's I-function of the associated hypersurface. In the quintic case, the hypersurface I-function spans a 5-dimensional subspace of the 25-dimensional solution space, while the singularity I-function spans the full space.

What carries the argument

The extended adelic Lagrangian cones in the singularity theory context, which enable parallel computation of explicit I-functions that match the q-difference equations from the hypersurface side.

If this is right

  • The I-functions for the singularities satisfy the same q-difference equation as those for the hypersurfaces.
  • In the quintic threefold example, the singularity I-function spans the full 25-dimensional solution space of the equation.
  • The hypersurface I-function spans only a 5-dimensional subspace in that case.
  • This establishes a version of the Landau-Ginzburg/Calabi-Yau correspondence in quantum K-theory with an observed discrepancy in the dimensions of the spanned spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The larger solution space on the singularity side may indicate that K-theory invariants capture additional data not visible in the hypersurface formulation.
  • Similar dimension discrepancies could appear in other Fermat singularities or related geometries.
  • Extending this to higher genus or non-permutation-equivariant cases might clarify the nature of the discrepancy.

Load-bearing premise

The formalism of adelic Lagrangian cones extends to singularity theory in a way that permits obtaining explicit I-functions through direct parallel computation with the variety case.

What would settle it

A direct computation of the I-function for a Fermat singularity that fails to satisfy the q-difference equation of the associated hypersurface, or that does not span the full solution space in the quintic case.

Figures

Figures reproduced from arXiv: 2410.17730 by Maxime Cazaux.

Figure 1
Figure 1. Figure 1: Decomposition into head and arms Proposition 4.11. The decomposition into head and arms yields a morphism of stacks G n≥0 N≥0 n+N≥2 Mhead N,n (ξ) ×IBµr Marm(ξ) ×IBµr · · · ×IBµr Marm(ξ) | {z } N times → M(1), (43) where the morphisms are evi : Mhead N,n → IBµr ¯ev0 : Marm → IBµr (C,L) 7→ (L|xi , multxi (L)) (C,L) 7→ (Lx1 , − multx1 (L)) Taking the union over all ξ ∈ µr yields an isomorphism. 24 [PITH_FULL… view at source ↗
read the original abstract

We compute the genus-0 permutation-equivariant quantum K-theory of Fermat singularities, in parallel with the Givental-Lee theory for projective varieties. We extend Givental-Tonita's formalism of adelic Lagrangian cones to the singularity theory, and we obtain explicit $I$-functions for the invariants, which satisfy the same $q$-difference equation as Givental's $I$-function of the associated hypersurface. This can be regarded as an extension of the Landau-Ginzburg/Calabi-Yau correspondence, although a discrepancy between the two sides sides emerges in K-theory. In the case of the quintic threefold, both generating functions satisfy a $q$-difference equation of degree $25$; the hypersurface $I$-function only spans a $5$-dimensional subspace of solutions, while the singularity $I$-function spans the full space of solutions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper computes the genus-0 permutation-equivariant quantum K-theory of Fermat singularities in parallel with Givental-Lee theory for projective varieties. It extends Givental-Tonita's adelic Lagrangian cone formalism to the singularity setting and derives explicit I-functions satisfying the same q-difference equations as the associated hypersurface I-functions. A discrepancy in the K-theoretic Landau-Ginzburg/Calabi-Yau correspondence is noted; for the quintic threefold both sides satisfy a degree-25 q-difference equation, but the hypersurface I-function spans only a 5-dimensional subspace while the singularity I-function spans the full 25-dimensional solution space.

Significance. If the extension of the adelic cone formalism is rigorously justified and yields the claimed explicit I-functions, the work advances quantum K-theory to singularities and provides concrete formulas that could support further mirror symmetry investigations in K-theory. The explicit I-functions and the dimension comparison for the quintic constitute verifiable, falsifiable content that strengthens the contribution.

major comments (1)
  1. [main construction of the adelic cone and I-function] The extension of the adelic Lagrangian cone (main construction, around the definition of the cone and the resulting I-function): the precise incorporation of permutation-equivariant data into the adelic structure must be spelled out with sufficient detail to confirm that the I-function satisfies the identical q-difference equation as the hypersurface side and that the dimension comparison (5D vs full 25D for the quintic) follows directly rather than from post-hoc choices. This step is load-bearing for both the explicit formulas and the discrepancy claim.
minor comments (2)
  1. [quintic example] Notation for the q-difference operators and the precise degree-25 equation should be cross-referenced to the hypersurface case for immediate comparison.
  2. [explicit I-functions] A short table or explicit low-degree terms of the I-function for a smaller Fermat singularity would help readers verify the construction before the quintic case.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading, the positive evaluation of the significance of the work, and the recommendation for major revision. We address the single major comment below.

read point-by-point responses

  1. Referee: [main construction of the adelic cone and I-function] The extension of the adelic Lagrangian cone (main construction, around the definition of the cone and the resulting I-function): the precise incorporation of permutation-equivariant data into the adelic structure must be spelled out with sufficient detail to confirm that the I-function satisfies the identical q-difference equation as the hypersurface side and that the dimension comparison (5D vs full 25D for the quintic) follows directly rather than from post-hoc choices. This step is load-bearing for both the explicit formulas and the discrepancy claim.

    Authors: We agree that additional explicit detail on the incorporation of permutation-equivariant data is needed to make the load-bearing step fully transparent. In the revised manuscript we will expand the relevant section (around the definition of the adelic cone) with a step-by-step account of how the S_n-action and its characters enter the adelic structure, how the resulting cone is constructed, and how the I-function is read off from it. This expanded derivation will show directly that the I-function satisfies the same q-difference equation as the hypersurface I-function. The dimension comparison for the quintic (5-dimensional subspace versus full 25-dimensional solution space) will likewise be obtained as an immediate consequence of the explicit form of the I-function rather than by any post-hoc selection. We believe these clarifications will fully address the referee's concern while preserving the existing proofs. revision: yes

Circularity Check

0 steps flagged

No circularity: extension of external formalism yields explicit results without definitional reduction

full rationale

The derivation proceeds by extending the Givental-Tonita adelic Lagrangian cone formalism (an external reference) to the permutation-equivariant K-theory setting for Fermat singularities, then computing explicit I-functions that satisfy the same q-difference equation as the hypersurface side. The quintic dimension comparison (5-dim vs 25-dim solution space) follows directly from those explicit forms rather than from any fitted parameter renamed as prediction, self-definition of the cone in terms of the target invariants, or load-bearing self-citation. No quoted step reduces the claimed outputs to the inputs by construction; the work is therefore self-contained against the cited prior formalism.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The computation rests on extending an existing formalism; no free parameters, invented entities, or additional axioms are identifiable from the abstract alone.

axioms (1)
  • domain assumption Givental-Tonita's formalism of adelic Lagrangian cones extends to singularity theory
    Invoked to obtain the explicit I-functions in parallel with the projective variety case.

pith-pipeline@v0.9.0 · 5666 in / 1354 out tokens · 31791 ms · 2026-05-23T19:04:47.338157+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages · 2 internal anchors

  1. [1]

    u lya Arg \

    H \"u lya Arg \"u z, Pierrick Bousseau, Rahul Pandharipande, and Dimitri Zvonkine. Gromov-- Witten theory of complete intersections via nodal invariants. Journal of Topology , 16(1):264--343, 2023

    work page 2023

  2. [2]

    Twisted Bundles and Admissible Covers

    Dan Abramovich, Alessio Corti, and Angelo Vistoli. Twisted Bundles and Admissible Covers . Communications in Algebra , 31(8):3547--3618, January 2003

    work page 2003

  3. [3]

    Gromov- Witten theory of Deligne-Mumford stacks

    Dan Abramovich, Tom Graber, and Angelo Vistoli. Gromov- Witten theory of Deligne-Mumford stacks. American Journal of Mathematics , 130(5):1337--1398, October 2008

    work page 2008

  4. [4]

    Wall-crossing for K-theoretic quasimap invariants I , October 2022

    Konstantin Aleshkin and Chiu-Chu Melissa Liu. Wall-crossing for K-theoretic quasimap invariants I , October 2022

    work page 2022

  5. [5]

    Higgs- Coulomb correspondence and Wall-Crossing in abelian GLSMs , January 2023

    Konstantin Aleshkin and Chiu-Chu Melissa Liu. Higgs- Coulomb correspondence and Wall-Crossing in abelian GLSMs , January 2023

    work page 2023

  6. [6]

    Compactifying the space of stable maps

    Dan Abramovich and Angelo Vistoli. Compactifying the space of stable maps. Journal of the American Mathematical Society , 15(1):27--75, July 2001

    work page 2001

  7. [7]

    Computing Genus-Zero Twisted Gromov-Witten Invariants

    Tom Coates, Alessio Corti, Hiroshi Iritani, and Hsian-Hua Tseng. Computing Genus-Zero Twisted Gromov-Witten Invariants . Duke Mathematical Journal , 147(3), April 2009

    work page 2009

  8. [8]

    De La Ossa, Paul S

    Philip Candelas, Xenia C. De La Ossa, Paul S. Green, and Linda Parkes. A pair of Calabi--Yau manifolds as an exactly soluble superconformal theory. Nuclear Physics B , 359(1):21--74, July 1991

    work page 1991

  9. [9]

    Quantum Riemann -- Roch , Lefschetz and Serre

    Thomas Coates and Alexander Givental. Quantum Riemann -- Roch , Lefschetz and Serre . Annals of Mathematics , 165(1):15--53, January 2007

    work page 2007

  10. [10]

    The Witten top Chern class via K-theory

    Alessandro Chiodo. The Witten top Chern class via K-theory . Journal of Algebraic Geometry , 15, May 2006

    work page 2006

  11. [11]

    Landau- Ginzburg / Calabi-Yau correspondence, global mirror symmetry and Orlov equivalence

    Alessandro Chiodo, Hiroshi Iritani, and Yongbin Ruan. Landau- Ginzburg / Calabi-Yau correspondence, global mirror symmetry and Orlov equivalence. Publications math \'e matiques de l'IH \'E S , 119(1):127--216, June 2014

    work page 2014

  12. [12]

    An effective theory of GW and FJRW invariants of quintics Calabi -- Yau manifolds

    Huai-Liang Chang, Jun Li, Wei-Ping Li, and Chiu-Chu Melissa Liu. An effective theory of GW and FJRW invariants of quintics Calabi -- Yau manifolds. J. Diff. Geom. , 120(2):251--306, 2022

    work page 2022

  13. [13]

    Landau- Ginzburg / Calabi-Yau correspondence for quintic three-folds via symplectic transformations

    Alessandro Chiodo and Yongbin Ruan. Landau- Ginzburg / Calabi-Yau correspondence for quintic three-folds via symplectic transformations. Inventiones mathematicae , 182(1):117--165, October 2010

    work page 2010

  14. [14]

    Twisted Gromov-Witten r-spin potential and Givental 's quantization

    Alessandro Chiodo and Dimitri Zvonkine. Twisted Gromov-Witten r-spin potential and Givental 's quantization. Advances in Theoretical and Mathematical Physics , 13, December 2007

    work page 2007

  15. [15]

    Chiodo and D

    A. Chiodo and D. Zvonkine. Twisted r-spin potential and Givental 's quantization. Advances in Theoretical and Mathematical Physics , 13(5):1335--1369, 2009

    work page 2009

  16. [16]

    The Witten equation, mirror symmetry, and quantum singularity theory

    Huijun Fan, Tyler Jarvis, and Yongbin Ruan. The Witten equation, mirror symmetry, and quantum singularity theory. Annals of Mathematics , 178(1):1--106, July 2013

    work page 2013

  17. [17]

    A mathematical theory of the gauged linear sigma model

    Huijun Fan, Tyler Jarvis, and Yongbin Ruan. A mathematical theory of the gauged linear sigma model. Geometry & Topology , 22(1):235--303, January 2018

    work page 2018

  18. [18]

    Equivariant Gromov--Witten invariants

    Alexander Givental. Equivariant Gromov--Witten invariants. International Mathematics Research Notices , 1996(13):613--663, January 1996

    work page 1996

  19. [19]

    Givental

    Alexander B. Givental. Symplectic geometry of Frobenius structures. Frobenius Manifolds , 36:91--112, 2004

    work page 2004

  20. [20]

    Permutation- Equivariant Quantum K-theory I

    Alexander Givental. Permutation- Equivariant Quantum K-theory I . Definitions . Elementary K-Theory of M_ 0,n /S_n . 2015

    work page 2015

  21. [21]

    Permutation- Equivariant Quantum K-theory III

    Alexander Givental. Permutation- Equivariant Quantum K-theory III . Lefschetz ' formula on M_ 0,n /S_n and Adelic Characterization . 2015

    work page 2015

  22. [22]

    Permutation- Equivariant Quantum K-theory V

    Alexander Givental. Permutation- Equivariant Quantum K-theory V . Toric q- Hypergeometric Functions . 2015

    work page 2015

  23. [23]

    Permutation-equivariant quantum K-theory XI

    Alexander Givental. Permutation-equivariant quantum K-theory XI . Quantum Adams--Riemann--Roch , November 2017

    work page 2017

  24. [24]

    A mirror theorem for genus two Gromov-Witten invariants of quintic threefolds

    Shuai Guo, Felix Janda, and Yongbin Ruan. A mirror theorem for genus two Gromov--Witten invariants of quintic threefolds. (arXiv:1709.07392), September 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  25. [25]

    Getzler and M

    E. Getzler and M. M. Kapranov. Modular Operads . Compositio Mathematica , 110(1):65--125, 1998

    work page 1998

  26. [26]

    The Hirzebruch--Riemann--Roch theorem in true genus-0 quantum K-theory

    Alexander Givental and Valentin Tonita. The Hirzebruch--Riemann--Roch theorem in true genus-0 quantum K-theory . (arXiv:1106.3136), June 2011

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  27. [27]

    Congruences on K --theoretic Gromov -- Witteninvariants

    J \'e r \'e my Gu \'e r \'e . Congruences on K --theoretic Gromov -- Witteninvariants . Geometry & Topology , 27(9):3585--3618, December 2023

    work page 2023

  28. [28]

    Topological string theory on compact Calabi-Yau : Modularity and boundary conditions

    Min-xin Huang, Albrecht Klemm, and Seth Quackenbush. Topological string theory on compact Calabi-Yau : Modularity and boundary conditions. Lect. Notes Phys. , 757:45--102, 2009

    work page 2009

  29. [29]

    The Riemann-Roch theorem for complex \ V \ -manifolds

    Tetsuro Kawasaki. The Riemann-Roch theorem for complex \ V \ -manifolds. Osaka Journal of Mathematics , 16(1):151--159, January 1979

    work page 1979

  30. [30]

    Y. P. Lee. Quantum K -theory I : Foundations. Duke Math. J. , 121:389--424, 2004

    work page 2004

  31. [31]

    Bong Lian, Kefeng Liu, and S. Yau. Mirror principle I . Asian J. Math. , 1, June 1999

    work page 1999

  32. [32]

    Maulik and R

    D. Maulik and R. Pandharipande. A topological view of Gromov -- Witten theory. Topology , 45(5):887--918, September 2006

    work page 2006

  33. [33]

    Algebraic construction of Witten 's top Chern class

    Alexander Polishchuk and Arkady Vaintrob. Algebraic construction of Witten 's top Chern class. Advances in Algebraic Geometry Motivated by Physics , page 229, 2001

    work page 2001

  34. [34]

    Matrix factorizations and cohomological field theories

    Alexander Polishchuk and Arkady Vaintrob. Matrix factorizations and cohomological field theories. Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2016(714):1--122, May 2016

    work page 2016

  35. [35]

    B. Toen. Th \'e or \`e mes de Riemann--Roch pour les champs de Deligne--Mumford . K-Theory , 18(1):33--76, September 1999

    work page 1999

  36. [36]

    Twisted orbifold Gromov-Witten invariants

    Valentin Tonita. Twisted orbifold Gromov-Witten invariants. Nagoya Mathematical Journal , 213:141--187, March 2014

    work page 2014

  37. [37]

    Difference Equation for Quintic 3- Fold

    Yaoxiong Wen. Difference Equation for Quintic 3- Fold . Symmetry, Integrability and Geometry: Methods and Applications , June 2022

    work page 2022

  38. [38]

    Phases of N=2 Theories In Two Dimensions

    Edward Witten. Phases of N=2 Theories In Two Dimensions . Nuclear Physics B , 403(1-2):159--222, August 1993

    work page 1993

  39. [39]

    The reduced genus 1 Gromov-Witten invariants of Calabi-Yau hypersurfaces

    Aleksey Zinger. The reduced genus 1 Gromov-Witten invariants of Calabi-Yau hypersurfaces. Journal of the American Mathematical Society , 22(3):691--737, October 2008

    work page 2008