Borel-Tits conjecture on abstract homomorphisms of algebraic groups

About 13 years old · traced to

Let G\mathbf{G} and G′\mathbf{G}' be algebraic groups defined over infinite fields kk and k′k', respectively. Let G+\mathbf{G}^+ denote the subgroup of G(k)\mathbf{G}(k) generated by the kk-points of split smooth connected unipotent kk-subgroups. Borel-Tits conjecture. If ρ:G(k)→G′(k′)\rho:\mathbf{G}(k)\to\mathbf{G}'(k') is an abstract homomorphism such that ρ(G+)\rho(\mathbf{G}^+) is Zariski-dense in G′(k′)\mathbf{G}'(k'), then there exist a commutative finite-dimensional k′k'-algebra BB, a ring homomorphism f:k→Bf:k\to B, and a rational k′k'-morphism σ:RB/k′(BG)→G′\sigma:R_{B/k'}({}_B\mathbf{G})\to\mathbf{G}' such that

ρ∣G+=σ∘rB/k′∘F,\rho\vert_{\mathbf{G}^+}=\sigma\circ r_{B/k'}\circ F,

where FF is induced by ff and rB/k′r_{B/k'} is the canonical restriction-of-scalars isomorphism. The source calls this a major open question concerning standard descriptions of abstract homomorphisms; no resolution is supplied.

References

Primary source

Kai-Uwe Bux, Dave Witte Morris, Gopal Prasad and Andrei Rapinchuk, “Arithmetic Groups (Banff, Alberta, April 14-19, 2013)”, arXiv:1309.5125 (2013).

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.