arxiv: 2604.08725 · v1 · submitted 2026-04-09 · ✦ hep-th

Recognition: no theorem link

Harmonic Analysis of the Instanton Prepotential

Fabian Ruehle, Rafael \'Alvarez-Garc\'ia

Authors on Pith no claims yet

Pith reviewed 2026-05-10 16:53 UTC · model grok-4.3

classification ✦ hep-th

keywords prepotentialinstantonsCalabi-YauCoxeter groupsLaplace-Beltrami operatorspectral decompositionGromov-Witten invariantsmoduli space

0 comments

The pith

Discrete symmetries from flops organize the instanton prepotential into eigenfunctions of a Laplace-Beltrami operator.

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

The paper establishes that discrete symmetries generated by isomorphic flops constrain the instanton expansion of the four-dimensional N=2 prepotential in Type IIA string theory on Calabi-Yau threefolds. These constraints cause the prepotential to be expressed in terms of Coxeter-invariant functions on the moduli space. The key result is that these functions are eigenfunctions of a Laplace-Beltrami operator defined using the Coxeter-invariant bilinear form. Consequently, the Gromov-Witten instanton expansion can be understood as a superposition of waves on the quotient space, and the full prepotential arises from the spectral decomposition of this operator. For dihedral Coxeter groups, the method of separation of variables shows why Bessel functions and Jacobi theta functions naturally appear depending on the type of the Coxeter action.

Core claim

The Coxeter-invariant functions into which the prepotential organizes are eigenfunctions of a Laplace-Beltrami operator built from the Coxeter-invariant symmetric bilinear form on the moduli space. This means that the Gromov-Witten expansion can be interpreted as a superposition of waves propagating on the Coxeter quotient of the moduli space, and its resummation is the corresponding spectral decomposition. For the dihedral Coxeter groups, separation of variables in the eigenvalue equation explains from first principles why special modified Bessel functions, ordinary Bessel functions and Jacobi theta functions appear as the natural building blocks of the prepotential, depending on whether a

What carries the argument

The Laplace-Beltrami operator on the moduli space constructed from the Coxeter-invariant symmetric bilinear form, with the prepotential's building blocks as its eigenfunctions.

If this is right

The Gromov-Witten expansion admits an interpretation as waves propagating on the Coxeter quotient.
Its resummation corresponds to the spectral decomposition using the eigenfunctions.
Special functions like Bessel and theta functions arise naturally from separation of variables for dihedral groups.
The spectral form converges efficiently inside the moduli space rather than only at large volume.

Where Pith is reading between the lines

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

This spectral view might facilitate resummation techniques for prepotentials in other regions of moduli space.
Similar harmonic analysis could be applied to other discrete symmetry groups appearing in string theory moduli spaces.
The approach may provide a bridge between topological string theory and representation theory or integrable systems.

Load-bearing premise

The assumption that the discrete symmetries from isomorphic flops constrain the prepotential precisely into Coxeter-invariant eigenfunctions of the Laplace-Beltrami operator built from the invariant form.

What would settle it

A calculation of the instanton numbers for a Calabi-Yau threefold with dihedral symmetry that does not reproduce the expected combination of Bessel or theta functions in the interior of the moduli space would falsify the claim.

read the original abstract

Discrete symmetries of Calabi-Yau moduli spaces, generated by isomorphic flops, constrain the instanton expansion of the 4D $\mathcal{N}=2$ Type~IIA prepotential. We show that the Coxeter-invariant functions into which the prepotential organizes are eigenfunctions of a Laplace-Beltrami operator built from the Coxeter-invariant symmetric bilinear form on the moduli space. This means that the Gromov-Witten expansion can be interpreted as a superposition of waves propagating on the Coxeter quotient of the moduli space, and its resummation is the corresponding spectral decomposition. For the dihedral Coxeter groups, separation of variables in the eigenvalue equation explains from first principles why special modified Bessel functions, ordinary Bessel functions and Jacobi theta functions appear as the natural building blocks of the prepotential, depending on whether the Coxeter rotation acts hyperbolically, elliptically, or parabolically. The resulting spectral representations converge efficiently in the interior of the moduli space, complementing the standard large-volume instanton expansion.

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.

Desk Editor's Note private letter to a colleague

The paper reinterprets the prepotential as eigenfunctions of a Laplace-Beltrami operator on the Coxeter quotient of the moduli space, with separation of variables explaining the special functions for dihedral groups.

read the letter

The main point is that flop symmetries in Calabi-Yau moduli spaces generate Coxeter actions, and the prepotential organizes into invariant functions that are eigenfunctions of the Laplace-Beltrami operator built from the invariant bilinear form. This recasts the Gromov-Witten series as a superposition of waves on the quotient, with the spectral decomposition providing a resummation that converges better away from large volume. For dihedral groups the separation-of-variables solution directly produces the modified Bessel, ordinary Bessel, and Jacobi theta functions according to the hyperbolic, elliptic, or parabolic character of the rotation. That derivation from first principles is the clearest new piece. The argument starts from the symmetry constraints and the definition of the bilinear form, so it avoids obvious circularity or parameter fitting. The internal logic is consistent on the page. The soft spot is verification. The abstract presents the operator construction and the eigenvalue property cleanly, but the paper needs at least one or two worked examples that compute the spectral series explicitly and match it against the standard instanton expansion to confirm both correctness and practical gain. Without those checks the advantage stays plausible rather than demonstrated. This is for people already working on instanton corrections and enumerative geometry in string compactifications. A reader who knows the usual large-volume expansion and has some familiarity with Coxeter groups will see the most immediate use. It deserves peer review because the symmetry-to-spectral step is a fresh angle with potential computational payoff, even if the details require careful referee scrutiny.

Referee Report

1 major / 2 minor

Summary. The paper claims that discrete symmetries of Calabi-Yau moduli spaces generated by isomorphic flops constrain the instanton expansion of the 4D N=2 Type IIA prepotential. The resulting Coxeter-invariant functions are shown to be eigenfunctions of a Laplace-Beltrami operator constructed from the Coxeter-invariant symmetric bilinear form on the moduli space. This yields an interpretation of the Gromov-Witten expansion as a superposition of waves on the Coxeter quotient, with resummation as the spectral decomposition. For dihedral Coxeter groups, separation of variables in the eigenvalue problem accounts for the appearance of modified Bessel functions, ordinary Bessel functions, and Jacobi theta functions depending on the action (hyperbolic, elliptic, or parabolic). The spectral representations are claimed to converge efficiently inside the moduli space, complementing the large-volume instanton series.

Significance. If the central identification of the prepotential components as eigenfunctions holds, the result supplies a symmetry-based explanation for the functional form of instanton corrections and a new computational tool via spectral decomposition. It directly links algebraic geometry (flop symmetries and Coxeter quotients) to harmonic analysis on the moduli space, potentially improving convergence properties for numerical evaluations away from large-volume limits. The explicit treatment of dihedral cases provides a first-principles derivation of the special functions that appear in known examples.

major comments (1)

The abstract and introduction assert that the flop-generated symmetries force the prepotential to organize into Coxeter-invariant functions that are precisely the eigenfunctions of the Laplace-Beltrami operator built from the invariant bilinear form. However, the explicit construction of this operator and the verification that the eigenvalue equation is satisfied without additional assumptions are not demonstrated in sufficient detail to confirm the step is load-bearing and non-circular.

minor comments (2)

The notation for the moduli-space coordinates and the precise definition of the Coxeter quotient should be introduced earlier and used consistently throughout.
A concrete low-rank example (e.g., a specific Calabi-Yau threefold with known dihedral flop symmetry) with explicit expansion coefficients would help illustrate the separation-of-variables argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of its potential significance. We address the single major comment below and will incorporate the requested clarifications in a revised version.

read point-by-point responses

Referee: The abstract and introduction assert that the flop-generated symmetries force the prepotential to organize into Coxeter-invariant functions that are precisely the eigenfunctions of the Laplace-Beltrami operator built from the invariant bilinear form. However, the explicit construction of this operator and the verification that the eigenvalue equation is satisfied without additional assumptions are not demonstrated in sufficient detail to confirm the step is load-bearing and non-circular.

Authors: We agree that the explicit construction of the Laplace-Beltrami operator from the Coxeter-invariant bilinear form, together with the direct verification that the prepotential components satisfy the eigenvalue equation, requires a more expanded and self-contained presentation. In the revised manuscript we will add a dedicated subsection that (i) derives the operator explicitly from the invariant metric, (ii) recalls the general form of the Coxeter-invariant functions dictated by the flop symmetries, and (iii) substitutes this form into the eigenvalue equation, showing that it holds identically by virtue of the invariance alone. This step-by-step verification will make clear that the eigenfunction property follows directly from the discrete symmetries without circularity or extra assumptions. We believe these additions will fully address the concern while preserving the original logical structure. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The central claim derives the eigenfunction property directly from the discrete symmetries generated by isomorphic flops, which organize the prepotential into Coxeter-invariant functions, combined with the explicit construction of the Laplace-Beltrami operator from the invariant bilinear form on the moduli space. This is a mathematical demonstration internal to the symmetry constraints and operator definition, not a parameter fit, self-definition, or reduction to prior self-cited results by construction. The wave-propagation and spectral-decomposition interpretations are presented as direct consequences, and the separation-of-variables argument for dihedral groups is likewise derived from the eigenvalue equation without circularity. The paper is self-contained against external benchmarks with no load-bearing self-citations or ansatzes identified.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard domain assumptions from algebraic geometry and string theory about the existence and action of flop symmetries on Calabi-Yau moduli spaces; no new free parameters or invented entities are introduced.

axioms (3)

domain assumption Calabi-Yau moduli spaces admit discrete symmetries generated by isomorphic flops that act via Coxeter groups
Stated as the starting constraint that organizes the instanton expansion.
domain assumption The prepotential organizes into Coxeter-invariant functions on the moduli space
Required to define the functions that become eigenfunctions.
domain assumption A Coxeter-invariant symmetric bilinear form exists on the moduli space and defines a Laplace-Beltrami operator
Used to construct the differential operator whose eigenfunctions are the invariant components.

pith-pipeline@v0.9.0 · 5471 in / 1739 out tokens · 75876 ms · 2026-05-10T16:53:31.713141+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 12 canonical work pages · 1 internal anchor

[1]

Bodner, A

M. Bodner, A. C. Cadavid, and S. Ferrara, (2,2) vacuum configurations for type IIA superstrings: N=2 supergrav- ity Lagrangians and algebraic geometry, Class. Quant. Grav.8, 789 (1991)

1991
[2]

P. S. Aspinwall, B. R. Greene, and D. R. Morrison, Multi- ple mirror manifolds and topology change in string theory, Phys. Lett. B303, 249 (1993), arXiv:hep-th/9301043

work page arXiv 1993
[3]

P. S. Aspinwall, B. R. Greene, and D. R. Morrison, Calabi-Yau moduli space, mirror manifolds and space- time topology change in string theory, Nucl. Phys. B416, 414 (1994), arXiv:hep-th/9309097

work page arXiv 1994
[4]

B. R. Greene, String theory on Calabi-Yau manifolds, inTheoretical Advanced Study Institute in Elementary Particle Physics (TASI 96): Fields, Strings, and Duality (1996) pp. 543–726, arXiv:hep-th/9702155

work page arXiv 1996
[5]

Lukas and F

A. Lukas and F. Ruehle, Symmetries of Calabi-Yau prepotentials with isomorphic flops, JHEP02, 175, arXiv:2210.09369 [hep-th]

work page arXiv
[6]

Candelas, X

P. Candelas, X. de la Ossa, P. Kuusela, and J. McGovern, Mirror symmetry for five-parameter Hulek-Verrill man- ifolds, SciPost Phys.15, 144 (2023), arXiv:2111.02440 [hep-th]

work page arXiv 2023
[7]

Kuusela and J

P. Kuusela and J. McGovern, Reflections in the mirror: Studying infinite Coxeter symmetries of GV-invariants, Int. J. Mod. Phys. A39, 2446016 (2024), arXiv:2312.06753 [hep-th]

work page arXiv 2024
[8]

L. B. Anderson, X. Gao, J. Gray, and S.-J. Lee, Fibrations in CICY Threefolds, JHEP10, 077, arXiv:1708.07907 [hep-th]

work page arXiv
[9]

´Alvarez-Garc´ ıa and F

R. ´Alvarez-Garc´ ıa and F. Ruehle, Kaleidoscopes, Waves and the Prepotential (to appear)
[10]

Candelas, X

P. Candelas, X. De La Ossa, A. Font, S. H. Katz, and D. R. Morrison, Mirror symmetry for two parameter models. 1., Nucl. Phys. B416, 481 (1994), arXiv:hep-th/9308083

work page arXiv 1994
[11]

Witten,Phase transitions in m-theory and f-theory,Nucl

E. Witten, Phase transitions in M theory and F theory, Nucl. Phys. B471, 195 (1996), arXiv:hep-th/9603150

work page arXiv 1996
[12]

P. L. Butzer and S. Jansche, The finite Mellin transform, Mellin-Fourier series, and the Mellin-Poisson summation formula, Rendiconti del Circolo Matematico di Palermo. Serie II. Supplemento52, 55 (1998), proceedings of the 3rd International Conference on Functional Analysis and Approximation Theory, Vol. I (Acquafredda di Maratea, 1996)

1998
[13]

Bardaro, P

C. Bardaro, P. L. Butzer, I. Mantellini, and G. Schmeisser, Quadrature formulae for the positive real axis in the setting of Mellin analysis: sharp error estimates in terms of the Mellin distance, Calcolo55, 10.1007/s10092-018- 0268-1 (2018)

work page doi:10.1007/s10092-018- 2018
[14]

Glaeser, Fonctions compos´ ees diff´ erentiables, S´ eminaire Lelong

G. Glaeser, Fonctions compos´ ees diff´ erentiables, S´ eminaire Lelong. Analyse5, 1 (1962–1963), talk no. 2. 6

1962
[15]

Barban¸ con, Finite Reflection Groups: Invariant functions and functions of the Invariants in finite class of differentiability (2019), arXiv:1906.06494 [math.FA]

G. Barban¸ con, Finite Reflection Groups: Invariant functions and functions of the Invariants in finite class of differentiability (2019), arXiv:1906.06494 [math.FA]

work page arXiv 2019
[16]

Kreuzer and H

M. Kreuzer and H. Skarke, Complete classification of reflexive polyhedra in four-dimensions, Adv. Theor. Math. Phys.4, 1209 (2000), arXiv:hep-th/0002240

work page internal anchor Pith review arXiv 2000