arxiv: 2605.07431 · v1 · submitted 2026-05-08 · 🧮 math.AG · hep-th· math-ph· math.MP

Recognition: 2 theorem links

· Lean Theorem

Modularity of Feynman Integrals and Factorization of Appell F2 Systems

Filippo La Mantia, Murad Alim

Pith reviewed 2026-05-11 01:57 UTC · model grok-4.3

classification 🧮 math.AG hep-thmath-phmath.MP

keywords Feynman integralsmodularityPicard-Fuchs systemsAppell F2Gauss hypergeometric functionsCalabi-Yau periodsgauge transformations

0 comments

The pith

The two-dimensional conformal traintrack Feynman integral is modular.

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

This paper proves the modularity of the two-dimensional conformal traintrack Feynman integral, a result first observed in the physics literature. It achieves this by showing that the associated Picard-Fuchs system factors into a tensor product of Gauss hypergeometric systems. The factorization occurs after applying a specific gauge transformation. A reader would care because this supplies a rigorous algebraic foundation for evaluating periods of differential forms that arise from Feynman integrals on Calabi-Yau manifolds.

Core claim

We provide a mathematical proof of a result of Duhr and Maggio on the modularity of the two-dimensional conformal traintrack integral. Our approach is based on a factorization of the associated Picard-Fuchs system into a tensor product of Gauss hypergeometric systems via a gauge transformation due to Clingher, Doran and Malmendier.

What carries the argument

The Clingher-Doran-Malmendier gauge transformation, which factors the Picard-Fuchs system of Appell F2 type into independent Gauss hypergeometric systems.

If this is right

The periods of the traintrack integral satisfy the modular transformations expected from the product of hypergeometric monodromy groups.
Evaluation of the Feynman integral reduces to known closed-form properties of Gauss hypergeometric functions.
The modularity result of Duhr and Maggio receives a rigorous algebraic-geometry justification.
Similar factorizations establish modularity for other Feynman integrals expressible as Calabi-Yau periods.

Where Pith is reading between the lines

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

The same gauge transformation technique could be tested on other multi-loop conformal integrals whose Picard-Fuchs systems involve Appell or Lauricella functions.
The factorization links the arithmetic of modular forms directly to the period geometry of the Calabi-Yau manifolds that parametrize these integrals.
One could derive explicit q-series expansions for the traintrack integral by substituting the known series for the two hypergeometric factors.

Load-bearing premise

The Picard-Fuchs system for the traintrack integral factors into a tensor product of Gauss hypergeometric systems under the Clingher-Doran-Malmendier gauge transformation.

What would settle it

An explicit computation of the gauge-transformed Picard-Fuchs operators that fails to produce two decoupled second-order hypergeometric operators would falsify the factorization and therefore the proof of modularity.

read the original abstract

Certain Feynman integrals can be expressed as periods of differential forms on Calabi--Yau manifolds. We provide a mathematical proof of a result of Duhr and Maggio on the modularity of the two-dimensional conformal traintrack integral. Our approach is based on a factorization of the associated Picard-Fuchs system into a tensor product of Gauss hypergeometric systems via a gauge transformation due to Clingher, Doran and Malmendier.

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

Alim and La Mantia supply an explicit algebraic proof of modularity for the 2D traintrack integral by factoring its Picard-Fuchs system into hypergeometrics.

read the letter

The main point is that this paper works out a clean mathematical proof that the two-dimensional conformal traintrack integral is modular. They do it by deriving the Picard-Fuchs system, identifying it as an Appell F2, and then applying the Clingher-Doran-Malmendier gauge transformation to split it into a tensor product of Gauss hypergeometric operators. The periods inherit modularity directly from the known properties of the _2F1 factors. This confirms the earlier result of Duhr and Maggio but now with a direct algebraic geometry argument instead of whatever method they used before. The derivations are concrete, with explicit operators and parameter matching at each step, so the factorization is verifiable rather than asserted. That is the real contribution here: turning an observed modularity into something that follows from standard Picard-Fuchs theory plus one cited gauge transformation. The paper does this part well. It stays focused, avoids extra claims, and shows the identification and splitting without circularity or fitted parameters. The citation pattern is appropriate, pulling in the relevant prior work on the gauge transformation and hypergeometric systems. Soft spots are limited. The argument rests on the gauge transformation applying cleanly to this specific system, but the manuscript checks the matching explicitly, so there is no obvious gap. A reader needs to be comfortable with Appell systems and these transformations, but that is normal for the subfield. The paper is short and technical, which is fine for what it sets out to do. This is for people working on periods in Feynman integrals or on Calabi-Yau techniques in QFT who want a rigorous algebraic route to modularity statements. A reader already familiar with Picard-Fuchs operators will get the most value and can check the steps themselves. It shows clear thinking and honest engagement with the literature, so it deserves a serious referee to verify the operator calculations in detail. I would send it out for review.

Referee Report

0 major / 2 minor

Summary. The manuscript claims to provide a mathematical proof of the modularity of the two-dimensional conformal traintrack integral, as previously observed by Duhr and Maggio. It derives the associated Picard-Fuchs system, identifies it with an Appell F2 system, applies the Clingher-Doran-Malmendier gauge transformation to exhibit an explicit factorization into a tensor product of Gauss hypergeometric operators, and shows that the resulting periods inherit modularity from the known properties of the _2F1 factors.

Significance. If the explicit factorization and parameter matching hold, the work supplies a rigorous algebraic proof for an important observation in the study of Feynman integrals as Calabi-Yau periods. The use of standard Picard-Fuchs theory together with a cited gauge transformation, carried out via concrete differential operators, strengthens the connection to modular forms without introducing ad-hoc elements or circularity. This provides a verifiable template that may extend to modularity questions for other integrals.

minor comments (2)

[Picard-Fuchs derivation] The derivation of the Picard-Fuchs system and its identification as an Appell F2 system would benefit from an explicit statement of the differential operators in the main text (rather than only in an appendix) to facilitate direct verification of the factorization step.
[Parameter matching] A brief table or list matching the parameters of the traintrack integral to those of the two Gauss hypergeometric systems would improve clarity and allow readers to check the inheritance of modularity without cross-referencing multiple sections.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The summary accurately captures our approach and results. Since no specific major comments or requested changes were listed, we have no point-by-point revisions to propose at this time.

read point-by-point responses

Referee: The manuscript claims to provide a mathematical proof of the modularity of the two-dimensional conformal traintrack integral, as previously observed by Duhr and Maggio. It derives the associated Picard-Fuchs system, identifies it with an Appell F2 system, applies the Clingher-Doran-Malmendier gauge transformation to exhibit an explicit factorization into a tensor product of Gauss hypergeometric operators, and shows that the resulting periods inherit modularity from the known properties of the _2F1 factors.

Authors: We appreciate this accurate summary of our main results. The explicit factorization via the cited gauge transformation, together with the verified parameter matching, is carried out in detail in the manuscript to ensure the periods inherit the modularity properties of the Gauss hypergeometric factors without circularity. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper explicitly derives the Picard-Fuchs system for the two-dimensional conformal traintrack integral, identifies it with an Appell F2 system via direct operator comparison, and applies the Clingher-Doran-Malmendier gauge transformation (an external citation from independent authors) to exhibit factorization into a tensor product of Gauss hypergeometric operators. Modularity of the periods is then inherited from the known modular properties of the _2F1 factors. Each identification uses explicit differential operators and parameter matching with no reduction of the target result to fitted inputs, self-definitions, or unverified self-citations. The central claim is therefore a genuine mathematical proof resting on standard Picard-Fuchs theory plus one external gauge transformation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard results from the theory of periods and Picard-Fuchs systems for Calabi-Yau manifolds together with the applicability of a previously published gauge transformation; no free parameters or new postulated entities are introduced.

axioms (2)

domain assumption The two-dimensional conformal traintrack integral can be expressed as a period of a differential form on a Calabi-Yau manifold and therefore satisfies a Picard-Fuchs system.
Invoked at the outset to link the Feynman integral to algebraic geometry.
domain assumption The Clingher-Doran-Malmendier gauge transformation factors the relevant Picard-Fuchs system into a tensor product of Gauss hypergeometric systems.
Central technical step of the proof strategy.

pith-pipeline@v0.9.0 · 5365 in / 1368 out tokens · 41660 ms · 2026-05-11T01:57:23.346911+00:00 · methodology

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
factorization of the associated Picard-Fuchs system into a tensor product of Gauss hypergeometric systems via a gauge transformation due to Clingher, Doran and Malmendier
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Kummer surface structure of the underlying K3 which can be constructed out of a product of elliptic curves

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Feynman integrals and iterated integrals of modular forms

Luise Adams and Stefan Weinzierl. Feynman integrals and iterated integrals of modular forms. Commun. Num. Theor. Phys., 12:193–251, 2018

work page 2018
[2]

Doran, Andrew Harder, Pierre Vanhove, and Eric Pichon-Pharabod

Charles F. Doran, Andrew Harder, Pierre Vanhove, and Eric Pichon-Pharabod. Motivic Geometry of two-Loop Feynman Integrals.Quart. J. Math. Oxford Ser., 75(3):901–967, 2024

work page 2024
[3]

Claude Duhr, Sara Maggio, Christoph Nega, Benjamin Sauer, Lorenzo Tancredi, and Fabian J. Wagner. Aspects of canonical differential equations for Calabi-Yau geometries and beyond.JHEP, 06:128, 2025

work page 2025
[4]

Yangian-Invariant Fishnet Integrals in Two Dimensions as Volumes of Calabi-Yau Varieties.Phys

Claude Duhr, Albrecht Klemm, Florian Loebbert, Christoph Nega, and Franziska Porkert. Yangian-Invariant Fishnet Integrals in Two Dimensions as Volumes of Calabi-Yau Varieties.Phys. Rev. Lett., 130(4):041602, 2023

work page 2023
[5]

The Basso-Dixon formula and Calabi-Yau geometry.JHEP, 03:177, 2024

Claude Duhr, Albrecht Klemm, Florian Loebbert, Christoph Nega, and Franziska Porkert. The Basso-Dixon formula and Calabi-Yau geometry.JHEP, 03:177, 2024

work page 2024
[6]

Ge- ometry from integrability: multi-leg fishnet integrals in two dimensions.JHEP, 07:008, 2024

Claude Duhr, Albrecht Klemm, Florian Loebbert, Christoph Nega, and Franziska Porkert. Ge- ometry from integrability: multi-leg fishnet integrals in two dimensions.JHEP, 07:008, 2024

work page 2024
[7]

Feynman integrals, elliptic integrals and two-parameter K3 sur- faces.JHEP, 06:250, 2025

Claude Duhr and Sara Maggio. Feynman integrals, elliptic integrals and two-parameter K3 sur- faces.JHEP, 06:250, 2025

work page 2025
[8]

Doran, and Andreas Malmendier

Adrian Clingher, Charles F. Doran, and Andreas Malmendier. Special function identities from superelliptic kummer varieties.Asian Journal of Mathematics, 21(5):909–952, 2017

work page 2017
[9]

Jacobian elliptic kummer surfaces and special function identities.Communications in Number Theory and Physics, 12(1):97–125, 2018

Elise Griffin and Andreas Malmendier. Jacobian elliptic kummer surfaces and special function identities.Communications in Number Theory and Physics, 12(1):97–125, 2018

work page 2018
[10]

Charles F. Doran. Picard–fuchs uniformization and modularity of the mirror map.Communica- tions in Mathematical Physics, 212(3):625–647, 2000. 6 MURAD ALIM AND FILIPPO LA MANTIA

work page 2000
[11]

Lian and Shing-Tung Yau

Bong H. Lian and Shing-Tung Yau. Mirror maps, modular relations and hypergeometric series i. Communications in Mathematical Physics, 176:163–191, 1996

work page 1996
[12]

Lian and Shing-Tung Yau

Bong H. Lian and Shing-Tung Yau. Mirror maps, modular relations and hypergeometric series ii. Nuclear Physics B, 402:745–761, 1993

work page 1993
[13]

Gauss-Manin Lie algebra of mirror elliptic K3 surfaces.Math

Murad Alim and Martin Vogrin. Gauss-Manin Lie algebra of mirror elliptic K3 surfaces.Math. Res. Lett., 28(3):637–663, 2021

work page 2021
[14]

Linear differential equations in two variables of rank four

Takeshi Sasaki and Masaaki Yoshida. Linear differential equations in two variables of rank four. i.Mathematische Annalen, 282:69–93, 1988

work page 1988
[15]

Modular forms for three-loop banana integrals.JHEP, 08:218, 2025

Claude Duhr. Modular forms for three-loop banana integrals.JHEP, 08:218, 2025

work page 2025
[16]

Differential equations satisfied by modular forms and𝐾3 surfaces

Yifan Yang and Noriko Yui. Differential equations satisfied by modular forms and𝐾3 surfaces. Illinois Journal of Mathematics, 51(2):667 – 696, 2007. Maxwell Institute for Mathematical Sciences, Edinburgh EH14 4AS, UK, Depart- ment of Mathematics, Heriot-W att University, Edinburgh EH14 4AP, UK,Depart- ment of Mathematics, Technical University of Munich, B...

work page 2007