Period integrals from wall structures via tropical cycles, canonical coordinates in mirror symmetry and analyticity of toric degenerations
Pith reviewed 2026-05-25 00:44 UTC · model grok-4.3
The pith
The mirror map for canonical formal families of Calabi-Yau varieties is trivial.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A simple expression equates the period integrals of the canonical holomorphic volume form on the degenerating families to integrals of a meromorphic form against cycles built from tropical 1-cycles in the intersection complex; this identity proves the mirror map of the Gross-Siebert canonical formal families is trivial, shows the families arise as completions of analytic families without reparametrization, and establishes that they are formally versal logarithmic deformations.
What carries the argument
Cycles constructed from tropical 1-cycles in the intersection complex of the central fiber, which compute the period integrals of the canonical volume form.
If this is right
- The mirror map for the Gross-Siebert canonical formal Calabi-Yau families is the identity.
- These families complete to analytic families without coordinate reparametrization.
- The families are formally versal as deformations of logarithmic schemes.
- Canonical one-parameter type-III degenerations of K3 surfaces exist with any prescribed Picard lattice.
Where Pith is reading between the lines
- The same tropical-cycle method may apply to other period computations in mirror symmetry beyond the Gross-Siebert setting.
- Analyticity without reparametrization suggests that formal mirror constructions can be realized over the complex numbers in a canonical way.
- The new theory of logarithmic period integrals on finite-order deformations could extend to higher-dimensional or non-toric central fibers.
Load-bearing premise
The cycles built from tropical 1-cycles correctly reproduce the period integrals of the canonical holomorphic volume form on the families.
What would settle it
An explicit numerical mismatch between a period integral computed directly on a concrete toric degeneration and the value obtained from the corresponding tropical 1-cycle.
read the original abstract
We give a simple expression for the integral of the canonical holomorphic volume form in degenerating families of varieties constructed from wall structures and with central fiber a union of toric varieties. The cycles to integrate over are constructed from tropical 1-cycles in the intersection complex of the central fiber. One application is a proof that the mirror map for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author is trivial. We also show that these families are the completion of an analytic family, without reparametrization, and that they are formally versal as deformations of logarithmic schemes. Other applications include canonical one-parameter type III degenerations of K3 surfaces with prescribed Picard groups. As a technical result of independent interest we develop a theory of period integrals with logarithmic poles on finite order deformations of normal crossing analytic spaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a theory of period integrals with logarithmic poles on finite-order deformations of normal-crossing analytic spaces. It constructs integration cycles from tropical 1-cycles in the intersection complex of the central fiber to give a simple expression for the integral of the canonical holomorphic volume form in degenerating families built from wall structures with toric central fibers. This yields a proof that the mirror map for the canonical formal families of Calabi-Yau varieties (Gross and the second author) is trivial, that the families complete to analytic families without reparametrization, and that they are formally versal as logarithmic deformations. Additional applications include canonical one-parameter type-III degenerations of K3 surfaces with prescribed Picard groups.
Significance. If the constructions hold, the work supplies a parameter-free derivation of period integrals via tropical cycles that directly implies triviality of the mirror map and analyticity without reparametrization; these are strong, falsifiable statements in mirror symmetry. The new theory of logarithmic period integrals on finite-order deformations is of independent interest and extends the toolkit for studying degenerations of Calabi-Yau varieties. The explicit mapping from tropical 1-cycles to integration cycles for the canonical volume form is a notable technical strength.
minor comments (2)
- [Introduction] The introduction could more explicitly cross-reference the prior constructions of Gross and the second author when stating the triviality result, to make the logical dependence on wall structures clearer.
- Notation for the intersection complex and the correspondence between tropical cycles and integration cycles would benefit from a short summary table or diagram early in the technical sections.
Simulated Author's Rebuttal
We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments were provided in the report, so there are no specific points requiring point-by-point response or revision.
Circularity Check
No significant circularity
full rationale
The paper develops a theory of logarithmic period integrals on finite-order deformations of normal-crossing spaces as a technical result of independent interest, then constructs integration cycles directly from tropical 1-cycles in the intersection complex to obtain an explicit expression for the integral of the canonical volume form. The application proving triviality of the mirror map for the Gross-Siebert canonical families follows from these period expressions matching the standard toric case without reparametrization. No load-bearing step reduces by the paper's own equations to a fitted input, self-definition, or unverified self-citation chain; the derivation is self-contained against the external benchmark of explicit period matching in the toric degeneration case.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Tropical 1-cycles in the intersection complex correctly produce the integration cycles for the holomorphic volume form
- domain assumption The canonical formal families of Calabi-Yau varieties are constructed via wall structures with central fiber a union of toric varieties
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.