Real geometric transcendence for the Gamma function

Arshay Sheth

arxiv: 2605.15117 · v1 · pith:PLDU2V7Unew · submitted 2026-05-14 · 🧮 math.NT

Real geometric transcendence for the Gamma function

Arshay Sheth This is my paper

Pith reviewed 2026-05-15 02:58 UTC · model grok-4.3

classification 🧮 math.NT

keywords Gamma functiongeometric transcendencereal algebraic curvesManin-Mumford conjecturebase changealgebraic geometry

0 comments

The pith

The x-axis is the only real algebraic curve in R² whose image under the Gamma function lies inside an algebraic curve.

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

The paper proves that the x-axis is the unique real algebraic curve in the plane with the property that the Gamma function maps it into some algebraic curve. The argument reduces the real statement to a prior complex geometric transcendence theorem by applying a base-change technique. This yields a new tool for examining Manin-Mumford-type questions for the Gamma function over the reals.

Core claim

The x-axis is the only real algebraic curve in R² whose image via the Gamma function is contained in an algebraic curve. The proof deduces this real result from the corresponding complex statement of Eterović, Padgett and Zhao by means of Tamiozzo's base-change argument, and then applies both the complex and real statements to study analogues of the Manin-Mumford conjecture for the Gamma function.

What carries the argument

Tamiozzo's base-change argument, which transfers the complex geometric transcendence result for the Gamma function to the real setting and thereby isolates the x-axis as the unique curve with the stated algebraicity property.

If this is right

Only the x-axis among real algebraic curves preserves algebraicity under the Gamma function.
The real statement follows immediately once the complex geometric transcendence result is granted.
Both the complex and real transcendence statements can be used to formulate and study Manin-Mumford analogues for the Gamma function.

Where Pith is reading between the lines

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

The result indicates that the Gamma function erases most algebraic relations except along the real line in a very rigid way.
Similar base-change reductions may apply to other transcendental functions that admit complex geometric transcendence statements.
The work opens the possibility of classifying real algebraic subvarieties whose Gamma images remain algebraic.

Load-bearing premise

The complex geometric transcendence result for the Gamma function holds, and Tamiozzo's base-change argument applies directly to the real case.

What would settle it

An explicit real algebraic curve other than the x-axis whose image under the Gamma function lies inside some algebraic curve would falsify the claim.

read the original abstract

We show that the $x$-axis is the only real algebraic curve in $\mathbb R^2$ whose image via the Gamma function is contained in an algebraic curve. Our proof employs an elegant base-change argument due to Tamiozzo (2023) to deduce the result from the corresponding complex geometric transcendence result of Eterovi\'c, Padgett and Zhao (2025). As an application, we use the complex and real geometric transcendence results to study analogues of the Manin--Mumford conjecture for the Gamma function.

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 proves the x-axis is the only real algebraic curve in R² with Gamma image in an algebraic curve by reducing via Tamiozzo base-change to the 2025 complex result, which is a clean new statement but rests on an unverified real-locus step.

read the letter

The main takeaway is that this paper establishes the real geometric transcendence result for the Gamma function: the x-axis is the only real algebraic curve in R² whose image under Gamma lies in an algebraic curve. It reaches this by applying Tamiozzo's 2023 base-change argument directly to the complex geometric transcendence theorem from Eterović, Padgett and Zhao in 2025. The application to Manin-Mumford type questions for Gamma is a straightforward follow-on that shows the result has some arithmetic content. The reduction keeps the proof short and avoids redeveloping the complex analysis from scratch, which is efficient. The citations are to independent prior work, so there is no circularity in the central claim. The soft spot is the base-change step itself when moving from complex to real. Real algebraic curves complexify, but their real points form a proper subset, and Gamma is meromorphic with poles on the reals. It is not automatic that algebraic containment of the image survives restriction to real loci without extra components or losses. The abstract claims the argument applies directly, yet the stress-test note correctly flags that no separate lemma appears to confirm this preservation. Without that check, the real statement is only as strong as the complex one plus an unexamined restriction. This is for readers already working in transcendence theory for special functions or real-arithmetic analogues of Manin-Mumford. Someone familiar with the cited complex result will see the value in the extension. It deserves peer review because the claim is new, the method is cited properly, and the outline is coherent even if the real adaptation needs referees to confirm the details.

Referee Report

1 major / 0 minor

Summary. The paper proves that the x-axis is the only real algebraic curve in R² whose image under the Gamma function is contained in an algebraic curve. The argument reduces this real statement directly to the corresponding complex geometric transcendence theorem of Eterović, Padgett and Zhao (2025) via the base-change technique of Tamiozzo (2023), and applies the results to analogues of the Manin-Mumford conjecture for the Gamma function.

Significance. If the reduction holds, the result supplies a precise real analogue of geometric transcendence for the Gamma function, cleanly extending recent complex results and yielding new arithmetic-geometry statements. The reliance on prior work via base change is efficient and avoids re-deriving the complex case, but the overall significance depends on confirming that the real-locus restriction preserves the algebraic-containment property without introducing extraneous components.

major comments (1)

[Abstract / Introduction] Abstract and introduction: the claim that Tamiozzo's (2023) base-change argument 'applies directly' to the real Gamma setting is load-bearing for the central theorem but lacks explicit verification. Real algebraic curves in R² complexify to C-varieties whose real points are a proper subset; Gamma's meromorphic continuation from R>0 to C introduces poles and branch cuts. It is not immediate that algebraic image containment on the complexification restricts to the real locus without extra real components or loss of the property. A dedicated lemma or paragraph confirming preservation under real restriction would be required.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comment below.

read point-by-point responses

Referee: [Abstract / Introduction] Abstract and introduction: the claim that Tamiozzo's (2023) base-change argument 'applies directly' to the real Gamma setting is load-bearing for the central theorem but lacks explicit verification. Real algebraic curves in R² complexify to C-varieties whose real points are a proper subset; Gamma's meromorphic continuation from R>0 to C introduces poles and branch cuts. It is not immediate that algebraic image containment on the complexification restricts to the real locus without extra real components or loss of the property. A dedicated lemma or paragraph confirming preservation under real restriction would be required.

Authors: We agree that an explicit verification of the base-change applicability would improve clarity. In the revised manuscript we will insert a dedicated paragraph immediately after the statement of the main theorem. This paragraph will confirm that the complexification of a real algebraic curve yields a complex algebraic curve to which the Eterović–Padgett–Zhao result applies, and that the resulting algebraic image containment restricts to the real locus without extraneous real components. The argument uses that Gamma is real-valued and pole-free on the positive real line, so the relevant real points lie away from the poles and branch cuts; Tamiozzo’s base-change technique therefore transfers the containment property directly. revision: yes

Circularity Check

0 steps flagged

No circularity; result deduced from independent external theorems

full rationale

The derivation applies Tamiozzo (2023) base-change to the complex geometric transcendence theorem of Eterović-Padgett-Zhao (2025). These are citations to distinct prior works by other authors, with no self-citations, no fitted parameters renamed as predictions, and no self-definitional equations. The abstract and description provide no evidence that any step reduces by construction to the paper's own inputs. The central claim remains independent of the present manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the validity of the complex result and the applicability of the base-change technique; no free parameters or new entities are introduced in the abstract.

axioms (2)

domain assumption Complex geometric transcendence result of Eterović, Padgett and Zhao (2025)
The real result is deduced from this cited theorem via base-change.
domain assumption Base-change argument of Tamiozzo (2023) applies to real algebraic curves and Gamma images
Invoked to transfer the complex statement to the real setting.

pith-pipeline@v0.9.0 · 5368 in / 1209 out tokens · 37298 ms · 2026-05-15T02:58:50.211689+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

Gregory Volfovich Chudnovsky, Algebraic independence of constants connected with the exponential and elliptic functions , Dokl. Akad. Nauk Ukrain. SSR Ser. A 1976, no. 8, 698–701, 767

work page 1976
[2]

Henri Cohen, Number theory. Vol. II. Analytic and modern tools. https://link.springer.com/book/10.1007/978-0-387-49894-2, Graduate Texts in Mathematics, 240, Springer, New York, 2007

work page doi:10.1007/978-0-387-49894-2 2007
[3]

Lucia Di Vizio and Federico Pellarin, The Carlitz module and a differential Ax-Lindemann-Weierstrass theorem for the Euler gamma function https://arxiv.org/abs/2508.21237, preprint (2025), arXiv: 2508.21237

work page arXiv 2025
[4]

Sebastian Eterovi\'c and Adele Padgett, Some equations involving the Gamma function https://pubs.ams.org/journals/tran/2025-378-05/S0002-9947-2025-09361-9, Trans. Amer. Math. Soc. 378 (2025), no. 5, 3445–3469

work page 2025
[5]

Sebastian Eterovi\'c, Adele Padgett, and Roy Zhao, Bialgebraic varieties of the Gamma function https://arxiv.org/pdf/2509.24982, preprint (2025), arXiv:2509.24982

work page arXiv 2025
[6]

1984 , PAGES =

Hans Grauert and Reinhold Remmert, Coherent analytic sheaves https://link.springer.com/book/10.1007/978-3-642-69582-7, Grundlehren der mathematischen Wissenschaften, vol. 265, Springer-Verlag, Berlin, 1984

work page doi:10.1007/978-3-642-69582-7 1984
[7]

Bruno Klingler , Emmanuel Ullmo and Andrei Yafaev , https://www2.mathematik.hu-berlin.de/ klingleb/papiers/Survey2.pdf Bi-algebraic geometry and the Andr\'e-Oort conjecture , Algebraic geometry: S alt L ake C ity 2015, Proc. Sympos. Pure Math., 97.2, 319--359, Amer. Math. Soc., Providence, RI, 2018

work page 2015
[8]

Serge Lang, Division points on curves https://link.springer.com/article/10.1007/BF02410091, Annali di Matematica 70 (1965), 229-234

work page doi:10.1007/bf02410091 1965
[9]

Tanguy Rivoal, On the Arithmetic Nature of the Values of the Gamma Function, Euler’s Constant, and Gompertz’s Constant https://doi.org/10.1307/mmj/1339011525, Michigan Math. J. 61 (2012), no. 2, 239-254

work page doi:10.1307/mmj/1339011525 2012
[10]

Arshay Sheth and Matteo Tamiozzo, Real geometric transcendence for Weierstrass elliptic functions https://arxiv.org/abs/2508.14645, preprint (2025), arXiv:2508.14645

work page arXiv 2025
[11]

Matteo Tamiozzo, Special curves in modular surfaces https://www.cambridge.org/core/journals/canadian-mathematical-bulletin/article/abs/special-curves-in-modular-surfaces/E327F297E517F193F470C7D305DA41A6, Can. Math. Bull. 66 (2023), no. 1, 1-18

work page 2023
[12]

A quantitative version of Runge's theorem on diophantine equations

Peter Gary Walsh, A quantitative version of Runge’s theorem on diophantine equations http://matwbn.icm.edu.pl/ksiazki/aa/aa62/aa6225.pdf, Acta Arith. 62 (1992), no. 2, 157–172

work page 1992

[1] [1]

Gregory Volfovich Chudnovsky, Algebraic independence of constants connected with the exponential and elliptic functions , Dokl. Akad. Nauk Ukrain. SSR Ser. A 1976, no. 8, 698–701, 767

work page 1976

[2] [2]

Henri Cohen, Number theory. Vol. II. Analytic and modern tools. https://link.springer.com/book/10.1007/978-0-387-49894-2, Graduate Texts in Mathematics, 240, Springer, New York, 2007

work page doi:10.1007/978-0-387-49894-2 2007

[3] [3]

Lucia Di Vizio and Federico Pellarin, The Carlitz module and a differential Ax-Lindemann-Weierstrass theorem for the Euler gamma function https://arxiv.org/abs/2508.21237, preprint (2025), arXiv: 2508.21237

work page arXiv 2025

[4] [4]

Sebastian Eterovi\'c and Adele Padgett, Some equations involving the Gamma function https://pubs.ams.org/journals/tran/2025-378-05/S0002-9947-2025-09361-9, Trans. Amer. Math. Soc. 378 (2025), no. 5, 3445–3469

work page 2025

[5] [5]

Sebastian Eterovi\'c, Adele Padgett, and Roy Zhao, Bialgebraic varieties of the Gamma function https://arxiv.org/pdf/2509.24982, preprint (2025), arXiv:2509.24982

work page arXiv 2025

[6] [6]

1984 , PAGES =

Hans Grauert and Reinhold Remmert, Coherent analytic sheaves https://link.springer.com/book/10.1007/978-3-642-69582-7, Grundlehren der mathematischen Wissenschaften, vol. 265, Springer-Verlag, Berlin, 1984

work page doi:10.1007/978-3-642-69582-7 1984

[7] [7]

Bruno Klingler , Emmanuel Ullmo and Andrei Yafaev , https://www2.mathematik.hu-berlin.de/ klingleb/papiers/Survey2.pdf Bi-algebraic geometry and the Andr\'e-Oort conjecture , Algebraic geometry: S alt L ake C ity 2015, Proc. Sympos. Pure Math., 97.2, 319--359, Amer. Math. Soc., Providence, RI, 2018

work page 2015

[8] [8]

Serge Lang, Division points on curves https://link.springer.com/article/10.1007/BF02410091, Annali di Matematica 70 (1965), 229-234

work page doi:10.1007/bf02410091 1965

[9] [9]

Tanguy Rivoal, On the Arithmetic Nature of the Values of the Gamma Function, Euler’s Constant, and Gompertz’s Constant https://doi.org/10.1307/mmj/1339011525, Michigan Math. J. 61 (2012), no. 2, 239-254

work page doi:10.1307/mmj/1339011525 2012

[10] [10]

Arshay Sheth and Matteo Tamiozzo, Real geometric transcendence for Weierstrass elliptic functions https://arxiv.org/abs/2508.14645, preprint (2025), arXiv:2508.14645

work page arXiv 2025

[11] [11]

Matteo Tamiozzo, Special curves in modular surfaces https://www.cambridge.org/core/journals/canadian-mathematical-bulletin/article/abs/special-curves-in-modular-surfaces/E327F297E517F193F470C7D305DA41A6, Can. Math. Bull. 66 (2023), no. 1, 1-18

work page 2023

[12] [12]

A quantitative version of Runge's theorem on diophantine equations

Peter Gary Walsh, A quantitative version of Runge’s theorem on diophantine equations http://matwbn.icm.edu.pl/ksiazki/aa/aa62/aa6225.pdf, Acta Arith. 62 (1992), no. 2, 157–172

work page 1992