Grothendieck–André periods conjecture for the 1-motive MM

About 9 years old · traced to

Let M=[u:Z→Gn]M=[u:\mathbb{Z}\to G^n] be the 1-motive with u(1)=(R1,…,Rn)u(1)=(R_1,\dots,R_n) defined by the points in the source. Let kk be the endomorphism field and let LieBracket\mathrm{LieBracket} and NoLieBracket\mathrm{NoLieBracket} denote the source's index sets. Grothendieck–André periods conjecture for MM. The transcendence degree of the explicitly displayed period field is at least

4dim⁡Qk+2dim⁡k⟨pi,qj⟩i,j+dim⁡Q⟨βi,j+βi,jt⟩(i,j)∈LieBracket+dim⁡Q⟨tij⟩(i,j)∈NoLieBracket.\frac{4}{\dim_{\mathbb{Q}}k}+2\dim_k\langle p_i,q_j\rangle_{i,j}+\dim_{\mathbb{Q}}\langle\beta_{i,j}+\beta_{i,j}^t\rangle_{(i,j)\in\mathrm{LieBracket}}+\dim_{\mathbb{Q}}\langle t_{ij}\rangle_{(i,j)\in\mathrm{NoLieBracket}}.

If Q(g2,g3,Qj,Ri)i,j⊆Q‾\mathbb{Q}(g_2,g_3,Q_j,R_i)_{i,j}\subseteq\overline{\mathbb{Q}}, equality should hold. This is the explicit periods statement for the paper's central family of 1-motives and underlies the equivalence with the semi-elliptic conjecture. The general assertion remains open.

References

Primary source

Cristiana Bertolin, “A conjecture in Schanuel style for 1-motives”, arXiv:2509.08700 (2026).

Additional references

3 papers in this index state this conjecture (2017–2025). The statement above is taken from the most recent of them; the others are arXiv:1807.11044, arXiv:1703.02954.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.