Complete reducibility of subgroups of reductive algebraic groups over non-perfect fields IV: An 𝐹4 example

Let 𝑘 be a non-perfect separably closed field. Let 𝐺 be a connected reductive algebraic group defined over 𝑘. We study rationality problems for Serre’s notion of complete reducibility of subgroups of 𝐺. In particular, we present the first example of a connected non-abelian 𝑘-subgroup 𝐻 of 𝐺 that is 𝐺-completely reducible but not 𝐺-completely reducible over 𝑘, and the first example of a connected non-abelian 𝑘-subgroup H ′ H^{\prime} of 𝐺 that is 𝐺-completely reducible over 𝑘 but not 𝐺-completely reducible. This is new: all previously known such examples are for finite (or non-connected) 𝐻 and H ′ H^{\prime} only.

Complete reducibility: variations on a theme of Serre

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ö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.

ON RELATIVE COMPLETE REDUCIBILITY

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 [M. Bate, B. Martin, G. Röhrle, R. Tange, Complete reducibility and conjugacy classes of tuples in algebraic groups and Lie algebras, Math. Z.269 (2011), no. 1, 809–832], 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 Serre’s 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 [M. Bate, B. Martin, G. Röhrle, R. Tange, Complete reducibility and conjugacy classes of tuples in algebraic groups and Lie algebras, Math. Z.269 (2011), no. 1, 809–832].

RELATIVE COMPLETE REDUCIBILITY AND NORMALIZED SUBGROUPS

We study a relative variant of Serre’s 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$ that normalize 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 generalize 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 ‘rational’ versions over nonalgebraically closed fields.

Semisimplification for subgroups of reductive algebraic groups

Let G be a reductive algebraic group—possibly non-connected—over a field k, and let H be a subgroup of G. If $G= {GL }_n$ , then there is a degeneration process for obtaining from H a completely reducible subgroup $H'$ of G; one takes a limit of H along a cocharacter of G in an appropriate sense. We generalise this idea to arbitrary reductive G using the notion of G-complete reducibility and results from geometric invariant theory over non-algebraically closed fields due to the authors and Herpel. Our construction produces a G-completely reducible subgroup $H'$ of G, unique up to $G(k)$ -conjugacy, which we call a k-semisimplification of H. This gives a single unifying construction that extends various special cases in the literature (in particular, it agrees with the usual notion for $G= GL _n$ and with Serre’s ‘G-analogue’ of semisimplification for subgroups of $G(k)$ from [19]). We also show that under some extra hypotheses, one can pick $H'$ in a more canonical way using the Tits Centre Conjecture for spherical buildings and/or the theory of optimal destabilising cocharacters introduced by Hesselink, Kempf, and Rousseau.

Reducibility Criteria and a Construction Method for the Analysis of Open Quantum Systems

The analysis of an open quantum system can be by far difficult if the dimension of the system Hilbert space is large or infinite. However, in some cases the dynamics on a finite-dimensional Hilbert space can be decomposed into a block-diagonal form, which simplifies the system structure. In this presentation, we will study several criteria for the complete reducibility and, in addition, a computational method for a basis of each simplified component to apply for the analysis of open quantum systems. An important point of these tools is that they are “effective” methods (one can complete the task in a finite number of steps).