Real-model quotient conjecture for commutative group varieties

Let GG be a commutative group variety over Q\overline{\mathbb{Q}}, and let CC be a connected proper real-analytic submanifold of G(C)G(\mathbb{C}). Suppose CC contains a subgroup ΓG(Q)\Gamma\subset G(\overline{\mathbb{Q}}) of algebraic points that is dense in CC for the analytic topology, and suppose every nontrivial ξΓ\xi\in\Gamma generates a Zariski-dense subgroup of G(C)G(\mathbb{C}). Real-model quotient conjecture. There exist a positive-dimensional algebraic group GG' over K=QRK=\overline{\mathbb{Q}}\cap\mathbb{R} and a surjective algebraic homomorphism

v:GGKQv:G\longrightarrow G'\otimes_K\overline{\mathbb{Q}}

with v(C)=G(R)v(C)=G'(\mathbb{R}). This generalizes the abelian-variety conjecture by replacing an isogeny with a surjective homomorphism. The source motivates it as a conjectural substitute after exhibiting an obstruction to the direct generalization, but gives no resolution.

Sources & referencesView supporting material

Primary source

Aleksander Lech Momot, “Density of rational points on commutative group varieties and small transcendence degree (long version)”, arXiv:1011.3368 (2011).

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.