Borel-Tits conjecture on abstract homomorphisms of algebraic groups

Let G\mathbf{G} and G\mathbf{G}' be algebraic groups defined over infinite fields kk and kk', 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 kk'-algebra BB, a ring homomorphism f:kBf:k\to B, and a rational kk'-morphism σ:RB/k(BG)G\sigma:R_{B/k'}({}_B\mathbf{G})\to\mathbf{G}' such that

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

where FF is induced by ff and rB/kr_{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.

Sources & referencesView supporting material

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.