Recognition: 2 theorem links
· Lean TheoremGenus drop involving non-hyperelliptic curves in Feynman integrals
Pith reviewed 2026-05-11 02:01 UTC · model grok-4.3
The pith
Unramified double coverings between algebraic curves explain genus drops even when Feynman integrals shift from non-hyperelliptic to hyperelliptic types.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The extra-involution mechanism of earlier work on hyperelliptic genus drop is a special case of an unramified double covering between algebraic curves; the same covering explains genus drops that occur together with a curve-type change from non-hyperelliptic to hyperelliptic in a class of three-loop Feynman diagrams, and the origin of the discrete spacetime symmetry becomes manifest inside a specific framework.
What carries the argument
The unramified double covering between algebraic curves, which maps one curve onto another without ramification and thereby lowers the genus while permitting a change in curve type.
If this is right
- Genus drops can be treated uniformly through curve coverings rather than separate involution arguments for each diagram class.
- A concrete family of three-loop diagrams exhibits genus drop together with a non-hyperelliptic to hyperelliptic transition via the covering.
- The discrete spacetime symmetry responsible for the drop becomes directly visible once the covering is adopted.
- Not every non-hyperelliptic Feynman integral undergoes a genus drop.
Where Pith is reading between the lines
- The covering viewpoint may extend to diagrams beyond three loops or to other symmetry-induced reductions.
- It supplies a route to classify which diagram topologies admit genus drop by inspecting their symmetry-induced coverings.
- Direct numerical or symbolic genus calculations on explicit three-loop examples can test whether the predicted covering relation holds.
- The same language may clarify analytic continuations or branch structures in related integrals that lack an obvious genus drop.
Load-bearing premise
The genus drop observed for the chosen Feynman diagrams is produced entirely by the unramified double covering and is not modified by extra analytic continuations or residue conditions.
What would settle it
Explicit computation of the genus of the algebraic curve associated with one concrete three-loop non-hyperelliptic diagram, followed by checking whether the genus equals the value predicted by the double-covering map from the unreduced curve.
Figures
read the original abstract
For both theoretical and phenomenological studies, it is important to analyze the function types of Feynman integrals. The phenomenon of genus drop between different representations of hyperelliptic Feynman integrals was discussed in \cite{Marzucca2024Genusdrop}. In this paper, we reformulate the extra-involution mechanism of \cite{Marzucca2024Genusdrop} as a special case of an unramified double covering between algebraic curves, and show that this covering mechanism also explains genus drops accompanied by a curve-type change from non-hyperelliptic to hyperelliptic for a class of three-loop Feynman diagrams. We also demonstrate that within a specific framework, the origin of the discrete spacetime symmetry that leads to the genus drop in hyperelliptic cases is manifest. This work also points out that there exist non-hyperelliptic Feynman integrals that exhibit no apparent genus drop.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper reformulates the extra-involution mechanism from Marzucca et al. (2024) as a special case of an unramified double covering between algebraic curves. It extends this to show that the covering explains genus drops accompanied by a curve-type change from non-hyperelliptic to hyperelliptic in a class of three-loop Feynman diagrams. The work also demonstrates that the origin of the discrete spacetime symmetry is manifest within a specific framework and notes the existence of non-hyperelliptic Feynman integrals without apparent genus drop.
Significance. If the central claims hold, the reformulation unifies prior observations of genus drop under a single algebraic-geometric mechanism and extends it to non-hyperelliptic cases, which is relevant for classifying transcendental functions in multi-loop integrals. The explicit treatment of the covering and the manifest symmetry in the chosen framework are positive features that could aid systematic analysis of Feynman integral function types for both theoretical and phenomenological purposes.
major comments (2)
- [§3] §3: The assertion that the unramified double covering fully accounts for the genus drop (without independent contributions from Baikov polynomial factorization, residue theorems at infinity, or branch-cut choices) is load-bearing for the central claim but lacks an explicit verification, such as a direct comparison of the period matrix or holomorphic differentials before and after the covering.
- [§4] §4, three-loop diagrams: The mapping from the specific Feynman integrals to the algebraic curves is assumed rather than derived in detail; without an explicit construction showing how the covering reduces the effective genus independently of other analytic continuations or residue conditions, the explanatory power for the curve-type change remains incomplete.
minor comments (2)
- [Introduction] Introduction: A short recap of the definition of genus drop and the distinction between hyperelliptic and non-hyperelliptic curves would improve accessibility for readers not familiar with the cited prior work.
- Notation: Some symbols appearing in the curve equations and covering maps are introduced without prior definition; a dedicated notation table or inline definitions would aid clarity.
Simulated Author's Rebuttal
We thank the referee for the detailed review and positive assessment of our work on reformulating the genus drop mechanism via unramified double coverings. We address the major comments below and will make revisions to enhance the explicitness of our arguments.
read point-by-point responses
-
Referee: [§3] §3: The assertion that the unramified double covering fully accounts for the genus drop (without independent contributions from Baikov polynomial factorization, residue theorems at infinity, or branch-cut choices) is load-bearing for the central claim but lacks an explicit verification, such as a direct comparison of the period matrix or holomorphic differentials before and after the covering.
Authors: We acknowledge that providing an explicit verification would make the central claim more robust. In the revised version of the manuscript, we will add a subsection or appendix with a direct comparison of the period matrices and holomorphic differentials for the original and covered curves. This comparison will show that the reduction in genus is precisely due to the unramified double covering, with the other mentioned factors not contributing independently to the drop in this context. The framework we use makes the symmetry manifest, supporting this. revision: yes
-
Referee: [§4] §4, three-loop diagrams: The mapping from the specific Feynman integrals to the algebraic curves is assumed rather than derived in detail; without an explicit construction showing how the covering reduces the effective genus independently of other analytic continuations or residue conditions, the explanatory power for the curve-type change remains incomplete.
Authors: The mapping is based on the standard association via the Baikov polynomial and the resulting algebraic curve, as established in the literature cited and outlined in our Section 2. To strengthen the presentation, we will provide a more detailed explicit construction in the revised Section 4 for the three-loop examples. This will include how the discrete spacetime symmetry induces the unramified covering and reduces the effective genus, independent of the analytic continuation details. We believe this will clarify the explanatory power for the non-hyperelliptic to hyperelliptic transition. revision: yes
Circularity Check
No circularity: external citation reformulated without self-referential reduction
full rationale
The paper cites an external reference (Marzucca2024Genusdrop) for the extra-involution mechanism and mathematically recasts it as a special case of an unramified double covering. This is an interpretive reformulation using algebraic geometry, not a self-definition or fitted input renamed as prediction. No self-citations by the current authors appear load-bearing; the extension to non-hyperelliptic curves and three-loop diagrams relies on independent curve-covering arguments rather than reducing the target genus-drop result to the cited input by construction. The paper explicitly notes counterexamples (non-hyperelliptic integrals without genus drop), confirming the framework is not tautological. All load-bearing steps remain externally verifiable via algebraic curve theory and are not equivalent to the paper's own inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Feynman integrals can be associated with algebraic curves whose genus determines their function type
- domain assumption Unramified double coverings preserve or reduce genus in a controlled way for these integrals
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinctionreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
unramified double covering ... genus drops follow the pattern g → (g+1)/2, as dictated by the Riemann–Hurwitz formula
-
IndisputableMonolith/Cost/FunctionalEquationwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Prym variety ... period matrices ... isogenous to Jac(C) ≅ Jac(C′) × P
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
-
[1]
Amplitudes and Algebraic Geometry
that no even genus was found in three-loop diagrams. Since unramified double coverings always produce genus drops asg7→(g+ 1)/2, the generic genus must be odd for those diagrams that can undergo further genus drop in special kinematics where the external legs span only a subspace. IV. A NON-HYPERELLIPTIC DIAGRAM WITH NO KNOWN GENUS DROP We point out that ...
work page 2026
-
[2]
R. Marzucca, A. J. McLeod, B. Page, S. P¨ ogel, and S. Weinzierl, Physical Review D109, L031901 (2024), arXiv:2307.11497 [hep-th]
- [3]
-
[4]
A. B. Goncharov, Mathematical Research Letters5, 497 (1998)
work page 1998
- [5]
-
[6]
Duhr, Annual Review of Nuclear and Particle Science 69, 15 (2019)
C. Duhr, Annual Review of Nuclear and Particle Science 69, 15 (2019)
work page 2019
-
[7]
C. Duhr and P. Mork, Analytic results for one- loop integrals in dimensional regularisation (2025), arXiv:2512.14363 [hep-ph]
-
[8]
S. Bauberger, F. A. Berends, M. Boehm, and M. Buza, Nuclear Physics B434, 383 (1995), arXiv:hep- ph/9409388
-
[9]
S. Laporta and E. Remiddi, Nuclear Physics B704, 349 (2005), arXiv:hep-ph/0406160
-
[10]
S. M¨ uller-Stach, S. Weinzierl, and R. Zayadeh, Commu- nications in Number Theory and Physics6, 203 (2012), arXiv:1112.4360 [hep-ph]
-
[11]
The two-loop sunrise graph with arbitrary masses,
L. Adams, C. Bogner, and S. Weinzierl, Journal of Math- ematical Physics54, 052303 (2013), arXiv:1302.7004 [hep-ph]
-
[12]
Picard-Fuchs equations for Feynman inte- grals,
S. M¨ uller-Stach, S. Weinzierl, and R. Zayadeh, Com- munications in Mathematical Physics326, 237 (2014), arXiv:1212.4389 [hep-ph]
- [13]
-
[14]
The elliptic dilogarithm for the sunset graph,
S. Bloch and P. Vanhove, Journal of Number Theory148, 328 (2015), arXiv:1309.5865 [hep-th]
-
[15]
L. Adams, C. Bogner, and S. Weinzierl, Journal of Mathematical Physics56, 10.1063/1.4926985 (2015), arXiv:1504.03255 [hep-ph]
- [16]
- [17]
- [18]
- [19]
- [20]
-
[21]
J. L. Bourjaily, A. J. McLeod, M. Spradlin, M. von Hippel, and M. Wilhelm, Physical Review Letters 10.1103/PhysRevLett.120.121603 (2018), arXiv:1712.02785 [hep-th]
-
[22]
J. Broedel, C. Duhr, F. Dulat, and L. Tancredi, Journal of High Energy Physics2018, 93 (2018), arXiv:1712.07089 [hep-th]. 9
-
[23]
L. Adams and S. Weinzierl, Communications in Num- ber Theory and Physics12, 193 (2018), arXiv:1704.08895 [hep-ph]
-
[24]
L. Adams and S. Weinzierl, Physics Letters B781, 270 (2018), arXiv:1802.05020 [hep-ph]
-
[25]
J. Broedel, C. Duhr, F. Dulat, and L. Tancredi, Physical Review D97, 116009 (2018), arXiv:1712.07095 [hep-ph]
- [26]
- [27]
-
[28]
I. H¨ onemann, K. Tempest, and S. Weinzierl, Physical Review D98, 113008 (2018), arXiv:1811.09308 [hep-ph]
-
[29]
J. Broedel, C. Duhr, F. Dulat, B. Penante, and L. Tan- credi, Journal of High Energy Physics2019, 23 (2019), arXiv:1809.10698 [hep-th]
- [30]
-
[31]
Weinzierl, Nuclear Physics B964, 115309 (2021), arXiv:2011.07311 [hep-th]
S. Weinzierl, Nuclear Physics B964, 115309 (2021), arXiv:2011.07311 [hep-th]
-
[32]
H. Frellesvig, Journal of High Energy Physics2022, 79 (2022), arXiv:2110.07968 [hep-th]
-
[33]
H. M¨ uller and S. Weinzierl, Journal of High Energy Physics2022, 101 (2022), arXiv:2205.04818 [hep-th]
-
[34]
C. Dlapa, J. M. Henn, and F. J. Wagner, Journal of High Energy Physics2023, 120 (2023), arXiv:2211.16357 [hep- ph]
- [35]
-
[36]
S. Badger, M. Becchetti, N. Giraudo, and S. Zoia, Jour- nal of High Energy Physics 10.1007/JHEP07(2024)073 (2024), arXiv:2404.12325 [hep-ph]
-
[37]
H. Frellesvig and S. Weinzierl, SciPost Physics16, 150 (2024), arXiv:2301.02264 [hep-th]
- [38]
-
[39]
R. Marzucca, A. J. McLeod, and C. Nega, Physical Review D: Particles and Fields112, 113007 (2025), arXiv:2501.14435 [hep-th]
-
[40]
M. Becchetti, F. Coro, C. Nega, L. Tancredi, and F. J. Wagner, Journal of High Energy Physics2025, 33 (2025), arXiv:2502.00118 [hep-ph]
-
[41]
R. Huang and Y. Zhang, Journal of High Energy Physics 2013, 80 (2013), arXiv:1302.1023 [hep-ph]
- [42]
-
[43]
A. Georgoudis and Y. Zhang, Journal of High Energy Physics 10.1007/JHEP12(2015)086 (2015), arXiv:1507.06310 [hep-th]
- [44]
-
[45]
F. Brown and O. Schnetz, Duke Mathematical Journal 161, 10.1215/00127094-1644201 (2012), arXiv:1006.4064 [math]
-
[46]
A Feynman Integral via Higher Normal Functions,
S. Bloch, M. Kerr, and P. Vanhove, Compositio Math- ematica151, 2329 (2015), arXiv:1406.2664 [hep-ph, physics:hep-th, physics:math-ph]
-
[47]
Local mirror symmetry and the sunset Feynman integral,
S. Bloch, M. Kerr, and P. Vanhove, Advances in The- oretical and Mathematical Physics21, 1373 (2018), arXiv:1601.08181 [hep-th]
- [48]
- [49]
- [50]
-
[51]
Thel-loop Banana Amplitude from GKZ Systems and relative Calabi-Yau Periods,
A. Klemm, C. Nega, and R. Safari, Journal of High En- ergy Physics2020, 88 (2020), arXiv:1912.06201 [hep-th]
-
[52]
Analytic structure of all loop banana integrals,
K. B¨ onisch, F. Fischbach, A. Klemm, C. Nega, and R. Sa- fari, Journal of High Energy Physics2021, 66 (2021), arXiv:2008.10574 [hep-th]
- [53]
-
[54]
K. B¨ onisch, C. Duhr, F. Fischbach, A. Klemm, and C. Nega, Journal of High Energy Physics2022, 156 (2022), arXiv:2108.05310 [hep-th]
- [55]
-
[56]
Algorithms for minimal Picard–Fuchs operators of Feynman integrals,
P. Lairez and P. Vanhove, Letters in Mathematical Physics113, 37 (2023), arXiv:2209.10962 [hep-th]
-
[57]
H. Frellesvig, R. Morales, and M. Wilhelm, Physical Re- view Letters132, 201602 (2024), arXiv:2312.11371 [hep- th]
-
[58]
H. Frellesvig, R. Morales, and M. Wilhelm, Journal of High Energy Physics2024, 243 (2024), arXiv:2405.17255 [hep-th]
-
[59]
Calabi-Yau Feynman integrals in gravity:ε-factorized form for apparent singularities,
H. Frellesvig, R. Morales, S. P¨ ogel, S. Weinzierl, and M. Wilhelm, Journal of High Energy Physics2025, 209 (2024), arXiv:2412.12057 [hep-th]
- [60]
- [61]
- [62]
-
[63]
Schimmrigk, Physics Letters B864, 139420 (2024), arXiv:2412.20236 [hep-th]
R. Schimmrigk, Physics Letters B864, 139420 (2024), arXiv:2412.20236 [hep-th]
-
[64]
L. de la Cruz, P. P. Novichkov, and P. Vanhove, Fano and Reflexive Polytopes from Feynman Integrals (2025), arXiv:2512.10518 [hep-th]
-
[65]
P. Bargiela, H. Frellesvig, R. Marzucca, R. Morales, F. Seefeld, M. Wilhelm, and T.-Z. Yang, The spec- trum of Feynman-integral geometries at two loops (2025), arXiv:2512.13794 [hep-th]
work page internal anchor Pith review arXiv 2025
-
[66]
A. Primo and L. Tancredi, Nuclear Physics B 10.1016/j.nuclphysb.2016.12.021 (2017), arXiv:1610.08397
-
[67]
Miranda,Algebraic Curves and Riemann Surfaces (American Mathematical Society, 1995)
R. Miranda,Algebraic Curves and Riemann Surfaces (American Mathematical Society, 1995)
work page 1995
-
[68]
Mumford, inContributions to Analysis(Elsevier,
D. Mumford, inContributions to Analysis(Elsevier,
-
[69]
H. Frellesvig and C. G. Papadopoulos, Journal of High Energy Physics2017, 83 (2017), arXiv:1701.07356 [hep- ph, physics:hep-th]
- [70]
-
[71]
E. Arbarello, M. Cornalba, P. A. Griffiths, and J. Harris, Geometry of Algebraic Curves, Vol. 267 (Springer, New York, NY, 1985)
work page 1985
-
[72]
R. D. M. Accola,Topics in the Theory of Riemann Sur- faces, Vol. 1595 (Springer, Berlin, Heidelberg, 1994)
work page 1994
-
[73]
Frellesvig,The Loop-by-Loop Baikov Representation – Strategies and Implementation, 2412.01804
H. Frellesvig, Journal of High Energy Physics2025, 111 (2025), arXiv:2412.01804 [hep-th]
- [74]
- [75]
-
[76]
Shioda, American Journal of Mathematics89, 1022 (1967), 2373415
T. Shioda, American Journal of Mathematics89, 1022 (1967), 2373415
work page 1967
-
[77]
Shaska, Communications in Algebra42, 4110 (2014), arXiv:1209.1237 [math]
T. Shaska, Communications in Algebra42, 4110 (2014), arXiv:1209.1237 [math]
-
[78]
Hartshorne,Algebraic Geometry, Vol
R. Hartshorne,Algebraic Geometry, Vol. 52 (Springer New York, New York, NY, 1977)
work page 1977
-
[79]
Feynman Integrals. A Comprehensive Treatment for Students and Re- searchers,
S. Weinzierl,Feynman Integrals: A Comprehensive Treatment for Students and Researchers(Springer Inter- national Publishing, 2022) arXiv:2201.03593 [hep-th]
-
[80]
C. Birkenhake and H. Lange,Complex Abelian Varieties, Vol. 302 (Springer, Berlin, Heidelberg, 2004)
work page 2004
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.