arxiv: 2604.26592 · v2 · submitted 2026-04-29 · 🧮 math.AG · math.NT

Recognition: 2 theorem links

· Lean Theorem

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

Mikhail Ovcharenko

Authors on Pith no claims yet

Pith reviewed 2026-05-12 02:49 UTC · model grok-4.3

classification 🧮 math.AG math.NT

keywords Fano fourfoldsLandau-Ginzburg modelstempered Laurent polynomialsArithmetic Mirror SymmetryApéry constantsmirror symmetrycomplete intersections

0 comments

The pith

An explicit class of tempered Laurent polynomials provides Landau-Ginzburg models for smooth Fano threefolds and several fourfolds, enabling two arithmetic mirror symmetry examples.

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

The paper defines a concrete family of tempered Laurent polynomials in at most four variables that captures the Landau-Ginzburg models for every smooth Fano threefold whose anticanonical class is very ample. It verifies inclusion of models for multiple families of Fano fourfolds, including complete intersections inside toric varieties, Grassmannians of planes, and quiver flag zero loci. These verifications let the authors apply a previously established partial case of the arithmetic mirror symmetry conjecture to build two explicit correspondences between algebraic classes. A reader should care because the construction turns an abstract Hodge-theoretic conjecture about Apéry constants into something that can be checked with explicit polynomials and their periods.

Core claim

We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in n ≤ 4 variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, or are quiver flag zero loci. Using the partial case of Arithmetic Mirror Symmetry conjecture proved by Kerr, we construct two examples of a Mirror Symmetry correspondence between specific algebraic classes.

What carries the argument

The explicit class of tempered Laurent polynomials in the sense of Villegas and Doran-Kerr, serving as Landau-Ginzburg models for the Fano varieties.

If this is right

The class includes Landau-Ginzburg models for all smooth Fano threefolds with very ample anticanonical class.
It contains models for Fano fourfolds that are complete intersections in toric varieties, Grassmannians of planes, and quiver flag zero loci.
Two concrete examples of mirror symmetry correspondence between algebraic classes follow from the partial arithmetic mirror symmetry result.
The work discusses implications for the arithmetic mirror symmetry conjecture and the Hodge-theoretic study of Apéry constants.

Where Pith is reading between the lines

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

This explicit family could support direct computation of periods for additional Fano varieties not covered in the checks.
Similar constructions might apply to other classes of varieties admitting Landau-Ginzburg mirrors in toric or quiver settings.
Extending the class to higher dimensions or more fourfolds would provide further test cases for the arithmetic mirror symmetry conjecture.

Load-bearing premise

The assumption that the checked Landau-Ginzburg models for the listed Fano fourfolds are correct and belong to the introduced explicit class of tempered Laurent polynomials.

What would settle it

A Fano fourfold whose Landau-Ginzburg model falls outside the defined class, or a mismatch in Hodge numbers or periods for one of the two constructed mirror correspondences.

read the original abstract

We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in $n \leqslant 4$ variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, or are quiver flag zero loci. We discuss implications to Arithmetic Mirror Symmetry conjecture, a Hodge-theoretic approach to the study of Ap\'{e}ry constants of Fano varieties proposed by Golyshev--Kerr--Sasaki. Using the partial case of Arithmetic Mirror Symmetry conjecture proved by Kerr, we construct two examples of a Mirror Symmetry correspondence between specific algebraic classes.

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

Ovcharenko defines an explicit class of tempered Laurent polynomials up to 4 variables that covers all LG models for smooth Fano threefolds with very ample anticanonical class, plus checks for several fourfolds and two concrete arithmetic mirror symmetry examples via Kerr.

read the letter

The paper puts forward an explicit class of tempered Laurent polynomials in at most four variables that is claimed to include all Landau-Ginzburg models for smooth Fano threefolds with very ample anticanonical class. It then verifies that several Fano fourfold models fit in the same class and uses Kerr's partial arithmetic mirror symmetry result to produce two explicit correspondences. What stands out is the explicitness of the class. Instead of working case by case, the author assembles one family that swallows the known threefolds and then shows that models for Fano fourfolds coming from toric complete intersections, Grassmannians of planes, and quiver flag zero loci also belong to it. The two mirror symmetry examples are new and they rely on the partial case already proved by Kerr, which keeps the argument from being circular. The checks for inclusion are the part that needs care. The abstract mentions that the class contains the fourfold models, but the strength depends on whether those checks compare the full set of invariants—such as the periods, the Picard-Fuchs equations, or the Hodge-theoretic data—or whether they stop at verifying that the polynomials are tempered. If the latter, the arithmetic mirror symmetry correspondences would still require additional justification to link the algebraic classes properly. The work is limited to dimension four or less, so it leaves open how the picture extends. This kind of concrete construction is the sort of thing that people working on the arithmetic side of mirror symmetry or on Apéry constants for Fano varieties will want to see. It engages directly with the existing literature on tempered polynomials and on Kerr's results. I would send it to referees rather than desk reject it. The constructions are honest and the examples are worth having on record, even if the paper does not claim to solve the full conjecture.

Referee Report

2 major / 2 minor

Summary. The paper introduces an explicit class of tempered Laurent polynomials (in the sense of Villegas and Doran–Kerr) in at most four variables that contains all Landau–Ginzburg models for smooth Fano threefolds with very ample anticanonical class. It asserts, via unspecified 'checks,' that the same class also contains LG models for various smooth Fano fourfolds (complete intersections in smooth toric varieties, Grassmannians of planes, and quiver-flag zero loci). Using Kerr’s partial result on the arithmetic mirror symmetry conjecture, the authors construct two explicit examples of mirror symmetry correspondences between algebraic classes and discuss implications for the Golyshev–Kerr–Sasaki program on Apéry constants.

Significance. If the inclusion claims for the fourfold models are rigorously verified by matching periods, Picard–Fuchs operators, or Hodge-theoretic data, the work supplies the first concrete arithmetic mirror symmetry examples in dimension four and a uniform explicit framework that could be used to compute Apéry constants for a broader class of Fano varieties. The extension from threefolds to fourfolds is a natural and potentially useful step.

major comments (2)

[Verification of fourfold models] The central claim that the newly defined class contains LG models for the listed Fano fourfolds rests on 'checks' whose explicit criteria, matched invariants, and verification methods are not stated (abstract and the relevant verification section). Without these details it is impossible to confirm that the fourfold models satisfy the temperedness conditions or reproduce the correct Hodge numbers and periods required for the subsequent arithmetic mirror symmetry examples.
[Arithmetic Mirror Symmetry examples] The two constructed examples of arithmetic mirror symmetry (using Kerr’s partial result) presuppose that the chosen Laurent polynomials are indeed the correct LG mirrors for the listed fourfolds. If the checks only verify formal temperedness or degree rather than period matching, the examples rest on an unverified identification and cannot be regarded as established.

minor comments (2)

[Introduction of the class] Notation for the explicit class of tempered Laurent polynomials should be introduced with a numbered definition or displayed equation rather than inline description.
[Verification section] The paper should include a table or explicit list of the specific fourfolds examined together with the corresponding Laurent polynomials and the invariants that were checked.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below, clarifying the nature of our verifications and indicating the revisions we will make to improve explicitness.

read point-by-point responses

Referee: [Verification of fourfold models] The central claim that the newly defined class contains LG models for the listed Fano fourfolds rests on 'checks' whose explicit criteria, matched invariants, and verification methods are not stated (abstract and the relevant verification section). Without these details it is impossible to confirm that the fourfold models satisfy the temperedness conditions or reproduce the correct Hodge numbers and periods required for the subsequent arithmetic mirror symmetry examples.

Authors: We agree that the verification process requires more explicit documentation. The checks consist of (i) confirming the temperedness conditions in the sense of Villegas and Doran-Kerr via explicit pole-order and coefficient constraints on the Laurent polynomials, and (ii) matching periods, Picard-Fuchs operators, and Hodge numbers against established data for the specific Fano fourfolds (complete intersections in toric varieties, Grassmannians of planes, and quiver-flag zero loci) drawn from the literature. In the revised manuscript we will add a dedicated subsection that lists the precise criteria, the invariants compared for each family, and the verification steps performed. revision: yes
Referee: [Arithmetic Mirror Symmetry examples] The two constructed examples of arithmetic mirror symmetry (using Kerr’s partial result) presuppose that the chosen Laurent polynomials are indeed the correct LG mirrors for the listed fourfolds. If the checks only verify formal temperedness or degree rather than period matching, the examples rest on an unverified identification and cannot be regarded as established.

Authors: The verifications include period matching and reproduction of the Hodge-theoretic data required by Kerr’s partial result; they are not restricted to formal temperedness or degree. We will revise the text to state this explicitly, citing the specific period comparisons and references used for each of the two examples, thereby making the application of Kerr’s theorem fully transparent. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit class definition and external application of Kerr's result

full rationale

The paper introduces a new explicit class of tempered Laurent polynomials (in the sense of Villegas and Doran-Kerr) that is asserted to contain all LG models for smooth Fano threefolds with very ample anticanonical class, then performs direct checks for containment in various Fano fourfold cases, and finally applies a previously proved partial case of the Arithmetic Mirror Symmetry conjecture due to Kerr (an independent author) to construct two examples. No step reduces a prediction or central claim to a fitted parameter, self-definition, or load-bearing self-citation; the constructions and verifications are presented as explicit and independent of the target results. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the new definition of the polynomial class, its verification for Fano fourfolds, and assumptions drawn from established mirror symmetry literature; no free parameters or invented entities with independent evidence are evident from the abstract.

axioms (2)

domain assumption Existence and standard properties of Landau-Ginzburg models for Fano varieties as defined in prior works by Villegas and Doran-Kerr
The paper builds the class to include all such models for Fano threefolds.
domain assumption The partial case of the Arithmetic Mirror Symmetry conjecture proved by Kerr
Directly used to construct the two examples of correspondence.

invented entities (1)

Explicit class of tempered Laurent polynomials in n ≤ 4 variables no independent evidence
purpose: To include all LG models for smooth Fano threefolds with very ample anticanonical class and various Fano fourfolds
Newly introduced in the paper as the unifying object.

pith-pipeline@v0.9.0 · 5427 in / 1643 out tokens · 160967 ms · 2026-05-12T02:49:26.155791+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We introduce an explicit class of tempered Laurent polynomials ... amenable ... lattice Minkowski decomposition into segments and triangles of lattice width 1 ... edge polynomials are product of cyclotomic polynomials
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the toric-coordinate symbol {x1,...,xn} completes to a motivic cohomology class in Hn_M(W∖W0,Q(n))

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

Minkowski polynomials and mutations

[Akh+12] Akhtar, M. et al. “Minkowski polynomials and mutations”. In:SIGMA. Sym- metry, Integrability and Geometry: Methods and Applications8.094 (2012), pp. 1–707. [Alm+10] Almkvist, G. et al. “Tables of Calabi–Yau equations”. In: (2010). arXiv:math/ 0507430. [Bat+00] Batyrev, V. et al. “Mirror Symmetry and Toric Degenerations of Partial Flag Manifolds”....

work page 2012
[2]

Algebraic characterization of differential operators of Calabi–Yau type

[Bog13] Bogner, M. “Algebraic characterization of differential operators of Calabi–Yau type”. In: (2013). arXiv:1304.5434. [CKP15] Coates, T., Kasprzyk, A. and Prince, T. “Four-dimensional Fano toric complete intersections”. In:Proceedings of the Royal Society Series A471, 20140704 (2015). [CLS11] Cox, D. A., Little, J. and Schenck, H.Toric Varieties. Gra...

work page arXiv 2013
[3]

Quantum periods for 3-dimensional Fano manifolds

European Mathematical Society, 2014, pp. 285–300. [Coa+16] Coates, T. et al. “Quantum periods for 3-dimensional Fano manifolds”. In: Geometry & Topology20.1 (2016), pp. 103–256. [Coa+21] Coates, T. et al. “Maximally mutable Laurent polynomials”. In:Proceedings of the Royal Society A477, 20210584 (2021). [Cor11] Corti, A.Lectures on Extremal Laurent Polyno...

work page 2014
[4]

On the quantum product of Schubert classes

Cambridge University Press, 2004, pp. 171–196. [Fan26] Fanosearch project.magma-core. 2026.url: https : / / bitbucket . org / fanosearch/magma-core. [FW04] Fulton, W. and Woodwart, C. “On the quantum product of Schubert classes”. In:Journal of Algebraic Geometry13.4 (2004), pp. 641–661. [Gal+25] Galkin, S. et al. “Revisiting Gamma conjecture I: counterexa...

work page arXiv 2004
[5]

Apéry extensions

[GKS23] Golyshev, V., Kerr, M. and Sasaki, T. “Apéry extensions”. In:Journal of the London Mathematical Society109.1, e12825 (2023). [GM11] Golyshev, V. and Manivel, L. “Quantum cohomology and the Satake isomorph- ism”. In: (2011). arXiv:1106.3120. [Gol07] Golyshev, V. “Classification problems and mirror duality”. In:Surveys in geometry and number theory:...

work page arXiv 2023
[6]

Cambridge University Press, 2007, p

work page 2007
[7]

Deresonating a Tate period

[Gol09] Golyshev, V. “Deresonating a Tate period”. In: (2009). arXiv:0908.1458. [GS07] Golyshev, V. and Stienstra, J. “Fuchsian equations of type DN”. In:Commu- nications in Number Theory and Physics1.2 (2007), pp. 323–346. [GS24] Gegelia, N. and Straten, D. van. “Paramodular forms from Calabi–Yau operat- ors”. In: (2024). arXiv:2408.10183. [Gue08] Guest,...

work page arXiv 2009
[8]

Congruences via fibered motives

[Gv23] Golyshev, V. and van Straten, D. “Congruences via fibered motives”. In:Pure and Applied Mathematics Quarterly19.1 (2023), pp. 233–265. [GZ16] Golyshev, V. and Zagier, D. “Proof of the gamma conjecture for Fano 3-folds of Picard rank 1”. In:Izvestiya: Mathematics80.1 (2016), pp. 24–49. [Hu+21] Hu, J. et al. “Gamma conjecture I for del Pezzo surfaces...

work page arXiv 2023
[9]

Bloch’s higher Chow groups revisited

MSRI Publications. Cambridge University Press, 2011, pp. 281–374. 28 [Lev94] Levine, M. “Bloch’s higher Chow groups revisited”. In:Astérisque226 (1994), pp. 235–320. [Man19] Mandel, T. “Fano mirror periods from the Frobenius structure conjecture”. In: (2019). arXiv:1903.12014. [MVW06] Mazza, C., Voevodsky, V. and Weibel, C.Lecture Notes on Motivic Cohomol...

work page arXiv 2011
[10]

On Landau–Ginzburg models for Fano varieties

[Ovc26] Ovcharenko, M.On Arithmetic Mirror Symmetry for smooth Fano fourfolds. 2026.url:https://github.com/MikhailOvcharenko/LG-arithmetic. [Prz07] Przyjalkowski, V. “On Landau–Ginzburg models for Fano varieties”. In:Com- munications in Number Theory and Physics1.4 (2007), pp. 713–728. [Prz18] Przyjalkowski, V. “Toric Landau–Ginzburg models”. In:Russian M...

work page 2026
[11]

Modular Mahler measures

Advanced Lectures in Mathematics. International Press, 2018, pp. 401–451. [Vil99] Villegas, F. R. “Modular Mahler measures”. In:Topics in number theory (University Park, PA, 1997). Kluwer Academic Publishers, 1999, pp. 14–48. [Zag16] Zagier, D. “The arithmetic and topology of differential equations”. In:European Congress of Mathematics: Berlin, July 18–22,

work page 2018
[12]

European Mathematical Society, 2016, pp. 717–776. Steklov Mathematical Institute of RAS, 8 Gubkina street, Moscow 119991, Russia. HSE University, Laboratory of Mirror Symmetry, 6 Usacheva str., Moscow 119048, Russia. Email address:michael.a.ovcharenko@gmail.com, ovcharenko@mi-ras.ru

work page 2016