Relative semi-abelian Schanuel conjecture

About 6 years old · traced to

Let AA be an abelian variety defined over Q‾\overline{\mathbb{Q}}, and let GG be an extension of AA by the torus Gms\mathbb{G}_m^s parametrized by Q1,…,Qs∈A∗(Q‾)Q_1,\dots,Q_s\in A^*(\overline{\mathbb{Q}}). Let ΩG\Omega_G be its periods and let R1,…,Rn∈G(C)R_1,\dots,R_n\in G(\mathbb{C}). Relative semi-abelian conjecture.

tr.deg⁡Q‾(ΩG)Q‾(ΩG,R1,…,Rn,log⁡~G(R1),…,log⁡~G(Rn))≥2dim⁡BQ+dim⁡Z(1).\operatorname{tr.deg}_{\overline{\mathbb{Q}}(\Omega_G)}\overline{\mathbb{Q}}(\Omega_G,R_1,\dots,R_n,\widetilde{\log}_G(R_1),\dots,\widetilde{\log}_G(R_n))\geq2\dim B_Q+\dim Z(1).

Here BQB_Q and Z(1)Z(1) are the algebraic groups defined in the paper's preceding construction. This is a relative form of the semi-abelian analogue of Schanuel's conjecture, with the transcendence degree measured over the field generated by the periods of GG.

References

Primary source

Cristiana Bertolin, Patrice Philippon, Biswajyoti Saha and Ekata Saha, “Semi-abelian analogues of Schanuel Conjecture and applications”, arXiv:2010.15170 (2022).

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.