Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

A conjecture in Schanuel style for 1-motives

T0 review · 3 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The semi-elliptic conjecture is equivalent to the Grothendieck-André periods conjecture for the corresponding 1-motive.

desk verdict A genuinely useful reformulation and a solid CM-torsion theorem, but the main equivalence is not fully proved because the load-bearing Proposition 4.5 is left to the reader. read the letter →

arxiv 2509.08700 v3 pith:LYGZK622 submitted 2025-09-10 math.NT math.AG

Cristiana Bertolin This is my paper · ORCID
classification math.NTmath.AG MSC 11J8111J8914K25
keywords Weierstrass℘ζσfunctionsSerresemi-ellipticConjectureGrothendieck-Andréperiods1-motivestranscendencedegreemotivicGaloisgroup
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

In Schanuel's conjecture, the transcendence degree of a field generated by exponentials is predicted to be large. This paper proposes the semi-elliptic conjecture, an analogue for the exponential map of an extension G of an elliptic curve E by a multiplicative group; it involves the Weierstrass ℘ and ζ functions and the Serre functions, and it bounds the transcendence degree of the field they generate from given complex parameters. The paper proves that this conjecture is equivalent to the Grothendieck-André periods conjecture applied to the 1-motive M = [u: Z → G^n] built from the same parameters (elliptic invariants g2,g3, elliptic logarithms p_i,q_j, and t_ij). Consequently the transcendence degree bound in the semi-elliptic conjecture is exactly the dimension of the motivic Galois group of M, computed explicitly in Theorem 5.3. The same geometric machinery yields a proof of the periods conjecture for 1-motives whose elliptic curve has algebraic invariants and complex multiplication and whose defining points are torsion, and yields a new σ-conjecture for the Weierstrass σ function.

What carries the argument

The load-bearing object is the 1-motive M = [u: Z → G^n], u(1) = (R_1,…,R_n), where G is the extension of the elliptic curve E (lattice Ω, invariants g2,g3) by G_m^r parametrized by points Q_j = exp_{E*}(q_j), and R_i = exp_G(p_i, t_{i1},…,t_{ir}) is the semi-elliptic exponential. Its periods, imported from earlier work, are exactly ω1,η1,ω2,η2,2πi, p_i, ζ(p_i), q_j, ζ(q_j), t_ij, so the period field (0.3) contains the numbers whose transcendence the semi-elliptic conjecture controls. The dimension of the motivic Galois group of M is computed explicitly (Theorem 5.3) from k-spans and Q-spans of these parameters and the homomorphisms β_{i,j}+β^t_{i,j} attached to the Lie bracket of the unipot

What would settle it

Take a concrete CM lattice with algebraic invariants and set n=r=1, choosing p and q not in the lattice and an arbitrary t; numerically compute the period field (0.3) and check whether its transcendence degree matches the dimension formula of Theorem 5.3. If the field has smaller transcendence degree than the claimed bound, or if any algebraic relation among ω1,η1,ω2,η2,2πi,p,ζ(p),q,ζ(q),t,℘(p),℘(q),f_q(p) appears that the dimension formula does not predict, the semi-elliptic conjecture and hence the equivalence would fail.

Watch

Extended reading notes

Core claim

Theorem 0.3 is the central discovery: the semi-elliptic Conjecture, a lower bound on the transcendence degree of the field generated by exponentials of t_l, Weierstrass ℘ and ζ at q_j and p_i, and Serre-function values f_{q_j}(p_i), is equivalent to the Grothendieck-André periods conjecture applied to the 1-motive M = [u: Z → G^n], u(1) = (R_1,…,R_n), whose periods are ω1, η1, ω2, η2, 2πi, p_i, ζ(p_i), q_j, ζ(q_j), t_ij. The analytic transcendence bound and the motivic Galois-group dimension are the same number, computed as dim Gal_mot(M) = 4/dim_Q k + 2 dim_k⟨p_i,q_j⟩ + dim_Q⟨β_{i,j}+β^t_{i,j}⟩ + dim_Q⟨t_ij⟩. Two consequences are proved directly: the periods conjecture for 1-motives defined

Load-bearing premise

The load-bearing premise is that the listed numbers are exactly the periods of M (imported from [6] and [8] without reproof), so a misidentified Serre-function factor or exponential factor would invalidate the field (0.3) and the equivalence, with the additional fragility that the period field is not base-independent while the GA conjecture is assumed well-defined on the quotient M_C.

Editorial extensions

If this is right

  • If the semi-elliptic conjecture holds, the period field (0.3) has transcendence degree at least the dimension of the motivic Galois group of M for every choice of the parameters (0.4), and conversely.
  • A counterexample to either conjecture would immediately produce a counterexample to the other, since the two statements are shown to be equivalent.
  • The proved CM-torsion case of the periods conjecture provides a first unconditional family of semi-elliptic Lindemann-Weierstrass-type transcendence results via the equivalence.
  • The σ-Conjecture, deduced from the periods conjecture, predicts explicit transcendence bounds for fields containing ℘(p_i), ζ(p_i), σ(p_i); with algebraic g2,g3 this becomes 'at least 3n of the listed numbers are algebraically independent.'

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural next step is to test the smallest non-CM case n=r=1 with a computer: the dimension formula gives an explicit transcendence bound, and high-precision computation of the period field (0.3) could look for an algebraic relation not predicted by the paper.
  • The admitted base-dependence of the period field suggests that a canonical formulation of the periods conjecture for 1-motives, e.g. via period torsors rather than explicit matrices, may be needed; the paper's quotient M_C is a first workaround.
  • If the equivalence transfers to the function-field analogue of the periods conjecture mentioned in the paper as [2], a function-field version of the semi-elliptic Schanuel conjecture would follow.
  • The Serre-function addition and multiplication identities of Sections 3–4 give concrete algebraic relations at torsion points, matching the toric dimensions in Theorem 5.3, so they could serve as computational consistency checks of the conjectures.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper proposes a 'semi-elliptic Conjecture' (Conjecture 0.2) in the style of Schanuel's conjecture, involving the exponential function, the Weierstrass functions ℘, ζ, and Serre functions for an extension G of an elliptic curve E by a multiplicative group. It introduces an explicit 1-motive M = [u: Z → G^n] whose periods are claimed to be exactly the numbers appearing in the conjecture, and states (Theorem 0.3) that the semi-elliptic Conjecture is equivalent to the Grothendieck–André periods Conjecture applied to this M. The paper also proves the Grothendieck–André conjecture for 1-motives defined by an elliptic curve with algebraic invariants, complex multiplication, and torsion points (Section 7), and derives a σ-conjecture from the Grothendieck–André conjecture (Section 8). The main technical content includes explicit formulae for Serre functions (Sections 2–4), a computation of motivic Galois group dimensions (Section 5), and a lengthy case analysis proving the equivalence (Section 6).

Significance. If Theorem 0.3 is correct, it provides a genuinely useful dictionary: a concrete transcendence conjecture of Schanuel type is exactly the Grothendieck–André periods conjecture for a family of 1-motives with elliptic part. This would generalize the author's earlier split case and give a uniform geometric explanation for Lindemann–Weierstrass-type statements involving elliptic and quasi-elliptic functions. The paper also contains a valuable explicit computation of dim Gal_mot(M) (Theorem 5.3) and a clean special-case proof of the Grothendieck–André conjecture in the CM torsion setting (Theorem 7.3). The main claims are plausible and the architecture of the proof is coherent. However, the proof of Theorem 0.3 depends on at least one proposition stated without proof and on several dual cases deferred to the reader, and the claimed base-change independence of the period field is not fully justified. The significance is therefore conditional on completing these gaps.

major comments (3)
  1. [§4, Proposition 4.5 and Remark 4.4] Proposition 4.5 is stated without proof ('we leave to the reader'), yet it is used as a load-bearing ingredient in the proof of Corollary 6.6. In the second bullet of step (1) of Corollary 6.6, Proposition 4.5 is invoked to prove that f_{q_{jl}}(p_{il})e^{β_{jl}} is algebraic over the relevant base field for NoLieBracket pairs satisfying the antisymmetric relation. This algebraicity is essential for identifying the transcendence degree of K(periods(M_C)) with that of F. Moreover, in the reverse direction of Theorem 0.3, the dual cases (3), (9), and (12) are deferred to the reader and explicitly rely on dual statements of Proposition 4.5. The gap is not merely cosmetic: Remark 4.4 admits that an algebraic identity needed for consistency of Proposition 4.3 is left uncalculated, and if that identity fails, the dual Proposition 4.5 cannot survive. Since the equivalence in Theorem 0.3 covers
  2. [§6, base-change invariance of K(periods(M))] The paper states at the beginning of Section 6 that for the 1-motive (0.1), unlike the split case, 'it is no longer true that the transcendence degree of K(periods(M)) does not depend on the choice of the bases used in order to compute the periods of M', because Serre functions transform with exponential factors. The paper then asserts that what remains true is that the tannakian category generated by M does not depend on the bases, and hence the Grothendieck–André conjecture applied to M is independent of that choice. This inference is not immediate: the Grothendieck–André conjecture is a statement about t.d. K(periods(M)), and if K(periods(M)) itself changes with the choice of Betti/de Rham bases, the conjecture is not even well-defined without a normalisation. The proof of Corollary 6.6 works with a particular reduced motive M_C, but it does not rigorously show that the inequality obt
  3. [Theorem 0.3, reverse direction, cases (3), (9), (12)] In the implication 'Conjecture stated in Corollary 6.6 ⇒ Conjecture 0.2', the proof splits into twelve cases. Cases (3), (9), and (12) are explicitly left to the reader as dual arguments, with only a hint. These cases are not peripheral: they correspond to situations where tor(p_i)=1 or 2, which are precisely the configurations that also depend on Proposition 4.5. Since the reverse direction of the main equivalence is not fully demonstrated for these cases, Theorem 0.3 is not completely proved. A complete proof should either supply these arguments or clearly show that they are obtained by a formal dualisation that preserves every hypothesis.
minor comments (5)
  1. [Throughout] Typographical slips: 'Aknowledgement' in the Introduction; 'readible' for 'readable'; 'Grothendeick-André' in the second paragraph of the Introduction. These should be corrected.
  2. [Conjecture 0.2 and Notation 6.1] The notation tor(pi), tor(qj) and the sub/superscript placement in the dimensions is often hard to parse; a short table defining all symbols (tor, NoLieBracket, LieBracket, β_{i,j}, etc.) in one place would improve readability.
  3. [Table 0, Section 2] The table sums up results from [9] and Section 2, but the entries involving f_{ω/m}(z) and f_z(ω/m) use different normalisations of the exponential factor; it would help to make the exact exponents explicit in the table.
  4. [Section 6, proof of Corollary 6.6] The notation F is defined twice in the proof of Theorem 0.3 (once in the forward direction and once in the reverse direction) with slightly different scopes; using a distinct symbol or a separate display would avoid confusion.
  5. [Section 7] The second proof of Theorem 7.3 is only sketched ('We leave the details to the reader'). The first proof is complete, so this is not a blocking issue, but the sketch should either be removed or expanded by one or two lines explaining the isogeny from M to M_0.

Circularity Check

0 steps flagged · score 2.0 of 10

No by-construction circularity; the equivalence is a real translation of the GA periods conjecture, though it leans on prior results and has an acknowledged unproved dual lemma.

full rationale

The paper's central claim (Theorem 0.3) is an equivalence between two open conjectures, not a fitted prediction or a renamed input. Conjecture 0.2's lower bound is matched to the dimension of the motivic Galois group through Theorem 5.3, but that matching is a proved computation, not a definition: the field in Conjecture 0.2 is not defined as K(periods(M)), and the proof must establish the equality of fields via (0.3) and then remove periods in the reverse direction. The period description (0.3) is imported from the author's prior work ([6, Prop. 2.3], [8, Ex. 5.4]), and the dimension formula from [8, Thm. 4.2] and [8, Cor. 4.6]; these are parameter-free published theorems whose stated assumptions do not include Conjecture 0.2 or the GA conjecture, so they constitute independent support rather than a self-citation chain that forces the result. The paper also explicitly flags two gaps that affect completeness, not circularity: Proposition 4.5 is stated 'that we leave to the reader', Remark 4.4 leaves an algebraic identity 'to the reader', and the dual cases (3), (9), (12) of Theorem 0.3 are deferred. The reverse direction applies the GA conjecture to M ⊕ M_T, which is stronger than the GA conjecture for M alone; this is a logical gap in the claimed equivalence, but again not a reduction of the conclusion to the hypothesis. Overall, I find no step where the 'prediction' is equivalent to an input by construction, no fitted parameter renamed as a prediction, and no load-bearing self-citation that is itself unverified. The moderate score reflects the heavy reliance on author's prior computational results and the admitted unproven lemmas, not circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No numerical constants are fitted to data; the inputs g2, g3, q_j, p_i, t_ij are arbitrary parameters of the problem. The central claim rests on a large body of prior theory: the period description of 1-motives, the motivic Galois group dimension formulas, Mumford-Tate identification, and Chudnovsky's theorem. The sigma-Conjecture section explicitly assumes the Grothendieck-André periods Conjecture. No new objects, forces, or particles are postulated.

assumptions (6)
  • domain assumption The motivic Galois group of a 1-motive coincides with its Mumford-Tate group (André [1, Thm 1.2.1]).
    Used in Section 5, after formula (5.3), to identify dimensions and in all motivic Galois group computations.
  • domain assumption The explicit period matrix and period field (0.3) for the 1-motive (0.1), as computed in [6, Prop 2.3] and [8, Example 5.4].
    Load-bearing for the translation between periods and values of ℘, ζ and Serre functions; the equivalence Theorem 0.3 is formulated in these coordinates.
  • domain assumption Dimension formulas for B, Z'(1) and Z(1)/Z'(1) from [8, Theorem 4.2, Corollary 4.5], summarized in Theorem 5.3.
    The lower bound in the semi-elliptic conjecture equals the motivic Galois group dimension, so any error in these formulas changes the conjecture's bound.
  • standard math Chudnovsky's theorem: the periods of a CM elliptic curve with algebraic invariants have transcendence degree 2.
    Imported from the literature and used unconditionally as the base case in Theorem 7.3.
  • domain assumption The Grothendieck-André periods Conjecture is assumed in Theorem 8.4 and Lemma 8.2(2) when deriving the sigma-Conjecture and the non-CM dimension count.
    The sigma-Conjecture is derived as a consequence, not proved unconditionally; the assumption is explicit in the statements.
  • domain assumption The tannakian category of a 1-motive is invariant under isogeny and under passage to the quotient M_C (Proposition 6.2), even though the period field itself may change under base change.
    Used to give a canonical reading of the GA periods conjecture when the period field is not base-change invariant.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A conjecture in Schanuel style for 1-motives." pith.science (2026). https://pith.science/paper/LYGZK622

@misc{pith2026250908700,
  author       = {Pith},
  title        = {Pith review of: A conjecture in Schanuel style for 1-motives},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LYGZK622}},
  note         = {Machine review of arXiv:2509.08700}
}
abstract

Schanuel Conjecture contains all ``reasonable" statements that can be made on the values of the exponential function. In particular it implies the Lindemann-Weierstrass Theorem. In my Ph.D. I showed that Schanuel Conjecture has a geometrical origin: it is equivalent to the Grothendieck-Andr\'e periods Conjecture applied to a 1-motive without abelian part. In this paper, we state a conjecture in Schanuel style, which will imply conjectures in Lindemann-Weierstrass style, for the semi-elliptic exponential function, that is for the exponential map of an extension G of an elliptic curve E by a multiplicative group. We propose the semi-elliptic Conjecture, which concerns the exponential function, the Weierstrass $\wp,$ $\zeta$ functions and Serre functions. The case of a trivial extension has been treated in \cite{BW}, where we introduced the split semi-elliptic Conjecture. As in Schanuel's case, we expect that the semi-elliptic Conjecture contains all ``reasonable" statements that can be made on the values of the exponential function, of the Weierstrass $\wp$, $\zeta$ functions and of Serre functions. We show that the semi-elliptic Conjecture has a geometrical origin (as Schanuel Conjecture): it is equivalent to the Grothendieck-Andr\'e periods Conjecture applied to a 1-motive whose underlying abelian part is an elliptic curve. We prove the Grothendieck-Andr\'e periods Conjecture for 1-motives defined by an elliptic curve with algebraic invariants and complex multiplication and by torsion points. We introduce the $\sigma$-Conjecture which involves the Weierstrass $\wp$, $\zeta$ and $\sigma$ functions and we show that this conjecture is a consequence of the Grothendieck-Andr\'e periods Conjecture applied to an adequate 1-motive.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Dimension of the motivic Galois group of a 1-motive

    math.AG 2026-04 unverdicted novelty 6.5 of 10

    The dimension of the motivic Galois group of a 1-motive M over ℂ equals the rank of the multiplicative group generated by the points that define M.

Reference graph

Works this paper leans on

24 extracted references · 3 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Y. Andr´ e. A note on 1-motives. Int. Math. Res. Not. (2019)

    2019

  2. [2]

    Bakker, J

    B. Bakker, J. Tsimerman. Functional Transcendence of Periods and the Geometric Andr´ e–Grothendieck Period Conjecture. Preprint, arXiv:2208.05182

    arXiv

  3. [3]

    Bertolin

    C. Bertolin. The Mumford-Tate group of 1-motives. Ann. Inst. Fourier (Grenoble) 52 (2002), no. 4, pp. 1041–1059

    2002

  4. [4]

    Bertolin

    C. Bertolin. P´ eriodes de 1-motifs et transcendence. J. Number Theory 97 (2002), no. 2, pp. 204–221

    2002

  5. [5]

    Bertolin

    C. Bertolin. Le radical unipotent du groupe de Galois motivique d’un 1-motif. Math. Ann. 327, no. 3 (2003), pp.585–607

    2003

  6. [6]

    Bertolin

    C. Bertolin. Third kind elliptic integrals and 1-motives. With a letter of Y. Andr´ e and an appendix by M. Waldschmidt. J. Pure Appl. Algebra 224, no.10 (2020), 106396

    2020

  7. [7]

    Bertolin, P

    C. Bertolin, P. Philippon, B. Saha, E Saha. Semi-abelian analogues of Schanuel Conjecture and applications. J. Algebra 596 (2022), pp. 250–288

    2022

  8. [8]

    Bertolin, P

    C. Bertolin, P. Philippon. Mumford-Tate groups of 1-motives and Weil pairing. J. Pure Appl. Algebra 228, no. 10 (2024), 107702

    2024

Show all 24 references
  1. [9]

    Bertolin, M

    C. Bertolin, M. Waldschmidt. Variations on Schanuel’s Conjecture for elliptic and quasi- elliptic functions I: the non-split case. arXiv:2504.14048

    arXiv

  2. [10]

    Bertolin, M

    C. Bertolin, M. Waldschmidt. Variations on Schanuel’s Conjecture for elliptic and quasi- elliptic functions II: the general case. Work in progress

  3. [11]

    Bertrand

    D. Bertrand. Endomorphismes de groupes alg´ ebriques; applications arithm´ etiques. Dio- phantine approximations and transcendental numbers (Luminy, 1982), Progr. Math. 31, Birkh¨ auser Boston, Boston, MA, (1983), pp.1–45

    1982

  4. [12]

    Brownawell & K.K

    W.D. Brownawell & K.K. Kubota.The algebraic independence of Weierstrass functions and some related numbers.Acta Arith.33, 111–149 (1977)

    1977

  5. [13]

    B. Fricke. Die elliptischen Funktionen und ihre Anwendungen. Vol. II, Teubner, Leipzig- Berlin, (1922)

    1922

  6. [14]

    Grothendieck

    A. Grothendieck. On the de Rham cohomology of algebraic varieties. Pub. Math. de l’I.H.E.S. 29 (1966) pp. 351–359

    1966

  7. [15]

    Huber, G

    A. Huber, G. W¨ ustholz. Transcendence and linear relations of 1-periods. Cambridge Tracts in Mathematics 227. Cambridge: Cambridge University Press (ISBN 978-1-316-51993-6/hbk; 978-1-00-901972-9/ebook). xx, 243 p. (2022)

    2022

  8. [16]

    Jacquinot, K

    O. Jacquinot, K. Ribet. Deficient points on extensions of abelian varieties byG m. J. Number Th., 25, (1987), p. 133-151

    1987

  9. [17]

    D. W. Masser. Elliptic functions and transcendence. Lecture Notes in Mathematics, Vol

  10. [18]

    Philippon

    P. Philippon. Vari´ et´ es ab´ eliennes et ind´ ependance alg´ ebrique II: un analogue ab´ elien du th´ eor` eme de Lindemann–Weierstraß. Invent. math.72, 389–405 (1983)

    1983

  11. [19]

    Waldschmidt

    M. Waldschmidt. Nombres transcendants et fonctions sigma de Weierstrass. C. R. Math. Rep. Acad. Sci. Canada 1 (1978/79), no. 2, pp. 111–114

    1978

  12. [20]

    Waldschmidt

    M. Waldschmidt. Elliptic Functions and Transcendence Developments in Mathematics 17 , Surveys in Number Theory§7, Springer Verlag (2008), 143-188

    2008

  13. [21]

    Waldschmidt

    M. Waldschmidt. Schanuel property for elliptic and quasi–elliptic functions. arXiv:2504.14041

    arXiv

  14. [22]

    W¨ ustholz.¨Uber das Abelsche Analogon des Lindemannschen Satzes I

    G. W¨ ustholz.¨Uber das Abelsche Analogon des Lindemannschen Satzes I. Invent. math.72, 363–388 (1983). A CONJECTURE IN SCHANUEL STYLE FOR 1-MOTIVES 51

    1983

  15. [23]

    B. Zilber. Model theory of special subvarieties and Schanuel-type conjectures. Ann. Pure Appl. Logic 167, No. 10, 1000-1028 (2016). Dipartimento di Matematica, Universit`a di Padova, Via Trieste 63, Padova Email address:cristiana.bertolin@unipd.it

    2016

  16. [437]

    Springer-Verlag, Berlin-New York (1975)

    1975

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.