A local-to-global result for topological spherical buildings (Q2844285)

In the paper under review, the author establishes local versions of Tits' extension theorem for certain topological buildings and the Borel-Tits theorem. For the former, two semisimple algebraic groups \(G\) and \(G'\) defined over fields \(k\) and \(k'\), respectively, are considered such that the \(k\)-rank of \(G\) is equal to the \(k'\)-rank of \(G'\) and such that the Coxeter diagrams of the associated spherical buildings \(\Delta=\Delta(G,k)\), \(\Delta'=\Delta(G',k')\) have no isolated nodes. If \(k\) is a non-discrete Hausdorff topological field, then all projection maps in \(\Delta\) are continuous and \(\Delta\) is a topological spherical building in the sense of \textit{L. Kramer} [Geom. Dedicata 92, 145--178 (2002; Zbl 1010.51010)]. The author shows that an injective chamber map \(\Delta(U) \to \Delta'\) has a unique extension to an injective chamber map \(\Delta\to\Delta'\) where \(U\) is a nonempty open quasi-connected subset of the chamber set of \(\Delta\) and \(\Delta(U)\) is the subcomplex of \(\Delta\) consisting of all faces of members of \(U\).NEWLINENEWLINEThe second result of the paper is a local Borel-Tits theorem. \(G\) and \(G'\) are connected affine algebraic groups defined over fields \(k\) and \(k'\), respectively, where \(k\) is a non-discrete Hausdorff topological field, such that \(G\) is absolutely almost simple and \(G'\) is absolutely simple and adjoint. It is shown that a local abstract group homomorphism \(\alpha:U \to G'(k')\) whose range is Zariski dense in \(G'\) extends to a global group homomorphism where \(U\) is an nonempty basic open neighbourhood of the identity in the subgroup of \(G(k)\) generated by all \(k\)-rational points of unipotent radicals of \(k\)-parabolic subgroups with respect to the topology inherited from the strong \(k\)-topology of \(G(k)\). The proof follows from the verification that the root groups of the refined RGD system are mapped into root groups, which carries over from \textit{A. Borel} and \textit{J. Tits} [Ann. Math. (2) 97, 499--571 (1973; Zbl 0272.14013)] to the local situation here.