No Arabic abstract
Let $K$ be a reductive subgroup of a reductive group $G$ over an algebraically closed field $k$. The notion of relative complete reducibility, introduced in previous work of Bate-Martin-Roehrle-Tange, gives a purely algebraic description of the closed $K$-orbits in $G^n$, where $K$ acts by simultaneous conjugation on $n$-tuples of elements from $G$. This extends work of Richardson and is also a natural generalization of Serres notion of $G$-complete reducibility. In this paper we revisit this idea, giving a characterization of relative $G$-complete reducibility which directly generalizes equivalent formulations of $G$-complete reducibility. If the ambient group $G$ is a general linear group, this characterization yields representation-theoretic criteria. Along the way, we extend and generalize several results from the aforementioned work of Bate-Martin-Roehrle-Tange.
We study a relative variant of Serres notion of $G$-complete reducibility for a reductive algebraic group $G$. We let $K$ be a reductive subgroup of $G$, and consider subgroups of $G$ which normalise the identity component $K^{circ}$. We show that such a subgroup is relatively $G$-completely reducible with respect to $K$ if and only if its image in the automorphism group of $K^{circ}$ is completely reducible. This allows us to generalise a number of fundamental results from the absolute to the relative setting. We also derive analogous results for Lie subalgebras of the Lie algebra of $G$, as well as rationa
Let H be a reductive subgroup of a reductive group G over an algebraically closed field k. We consider the action of H on G^n, the n-fold Cartesian product of G with itself, by simultaneous conjugation. We give a purely algebraic characterization of the closed H-orbits in G^n, generalizing work of Richardson which treats the case H = G. This characterization turns out to be a natural generalization of Serres notion of G-complete reducibility. This concept appears to be new, even in characteristic zero. We discuss how to extend some key results on G-complete reducibility in this framework. We also consider some rationality questions.
In this note, we unify and extend various concepts in the area of $G$-complete reducibility, where $G$ is a reductive algebraic group. By results of Serre and Bate--Martin--R{o}hrle, the usual notion of $G$-complete reducibility can be re-framed as a property of an action of a group on the spherical building of the identity component of $G$. We show that other variations of this notion, such as relative complete reducibility and $sigma$-complete reducibility, can also be viewed as special cases of this building-theoretic definition, and hence a number of results from these areas are special cases of more general properties.
Completely reducible subcomplexes of spherical buildings was defined by J.P. Serre and are used in studying subgroups of reductive algebraic groups. We begin the study of completely reducible subcomplexes of twin buildings and how they may be used to study subgroups of algebraic groups over a ring of Laurent polynomials and Kac-Moody groups by looking at the Euclidean twin building case.
We initiate an investigation of lattices in a new class of locally compact groups, so called locally pro-$p$-complete Kac-Moody groups. We discover that in rank 2 their cocompact lattices are particularly well-behaved: under mild assumptions, a cocompact lattice in this completion contains no elements of order $p$. This statement is still an open question for the Caprace-Remy-Ronan completion. Using this, modulo results of Capdeboscq and Thomas, we classify edge-transitive cocompact lattices and describe a cocompact lattice of minimal covolume.