Real-model quotient conjecture for commutative group varieties

About 16 years old · traced to

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 G′G' over K=Q‾∩RK=\overline{\mathbb{Q}}\cap\mathbb{R} and a surjective algebraic homomorphism

v:G⟶G′⊗KQ‾v: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.

References

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.