Let $G$ be a simply connected simple algebraic group over an algebraically closed field $k$ of characteristic $p>0$. The category of rational $G$-modules is not semisimple. We consider the question of when the tensor product of two simple $G$-modules $L(λ)$ and $L(μ)$ is completely reducible. Using some technical results about weakly maximal vectors (i.e. maximal vectors for the action of the Frobenius kernel $G_1$ of $G$) in tensor products, we obtain a reduction to the case where the highest weights $λ$ and $μ$ are $p$-restricted. In this case, we also prove that $L(λ)\otimes L(μ)$ is completely reducible as a $G$-module if and only if $L(λ)\otimes L(μ)$ is completely reducible as a $G_1$-module.
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 Serre's 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 …
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 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 equi…
Let G be a connected reductive linear algebraic group. The aim of this note is to settle a question of J-P. Serre concerning the behaviour of his notion of G-complete reducibility under separable field extensions. Part of our proof relies on the recently established Tits Centre Conjecture for the spherical building of the reductive group G.
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$ 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$, …
Let $G$ be a connected reductive algebraic group defined over an algebraically closed field %$k$ of characteristic $p > 0$. Our first aim in this note is to give concise and uniform proofs for two fundamental and deep results in the context of Serre's notion of $G$-complete reducibility, at the cost of less favourable bounds. Here are some special cases of these results: Suppose that the index $(H:H^\circ)$ is prime to $p$ and that $p > 2\dim V-2$ for some faithful $G$-module $V$. Then the following hold: (i) $V$ is a semisimple $H$-module if and only if $H$ is $G$-completely reducible; (ii) $…
Let $G=G(K)$ be a simple algebraic group defined over an algebraically closed field $K$ of characteristic $p>0$. A subgroup $X$ of $G$ is said to be $G$-completely reducible if, whenever it is contained in a parabolic subgroup of $G$, it is contained in a Levi subgroup of that parabolic. A subgroup $X$ of $G$ is said to be $G$-irreducible if $X$ is in no parabolic subgroup of $G$; and $G$-reducible if it is in some parabolic of $G$. In this thesis, we consider the case that $G$ is of exceptional type. When $G$ is of type $G_2$ we find all conjugacy classes of closed, connected, reductive subgr…
Let $π$ be an irreducible smooth complex representation of a general linear $p$-adic group and let $σ$ be an irreducible complex supercuspidal representation of a classical $p$-adic group of a given type, so that $π\otimesσ$ is a representation of a standard Levi subgroup of a $p$-adic classical group of higher rank. We show that the reducibility of the representation of the appropriate $p$-adic classical group obtained by (normalized) parabolic induction from $π\otimesσ$ does not depend on $σ$, if $σ$ is "separated" from the supercuspidal support of $π$. (Here, "separated" means that, for eac…
We construct and normalise intertwining operators at the level of Hilbert modules describing the principal series of SL(2). Normalisation is achieved through the use of a Fourier transform defined on some homogenous space and twisted by a Weyl element. Normalising factors are also explicitely obtained. In the appendix we relate reducibility points to a certain distribution arising from the non-normalised intertwiners.
In this paper we determine the precise extent to which the classical sl_2-theory of complex semisimple finite-dimensional Lie algebras due to Jacobson--Morozov and Kostant can be extended to positive characteristic. This builds on work of Pommerening and improves significantly upon previous attempts due to Springer--Steinberg and Carter/Spaltenstein. Our main advance arises by investigating quite fully the extent to which subalgebras of the Lie algebras of semisimple algebraic groups over algebraically closed fields k are G-completely reducible, a notion essentially due to Serre. For example i…
the program of Langlands is studied here on the basis of: a)new concepts of global class field theory related to the explicit construction of global class fields and of reciprocity laws; b)the representations of the reductive algebraic groups GL(n) constituting the n-dimensional representations of the associated global Weil groups; c)a toroidal compactification of the conjugacy classes of these reductive algebraic groups whose analytic representations constitute the cuspidal representations of these groups GL(n) in the context of harmonic analysis. This leads us to build two types of n-dimensi…
Let $G$ be a simple algebraic group in defining characteristic $p>0$, and let $V$ be an irreducible $G$-module which is the tensor product of exactly two non-trivial modules. We obtain a criterion for $V$ to have the zero weight. In addition, we provide a uniform criterion for an irreducible representation of a simple Lie algebra over the complex numbers to have a multiple of a prescribed fundamental weight.
We introduce the spinor representations for osp(m|2n). These generalize the spinors for so(m) and the symplectic spinors for sp(2n) and correspond to representations of the supergroup with supergroup pair (Spin(m) x Mp(2n),osp(m|2n)). We prove that these spinor spaces are uniquely characterized as the completely pointed osp(m|2n)-modules. Then the tensor product of this representation with irreducible finite dimensional osp(m|2n)-modules is studied. Therefore we derive a criterion for complete reducibility of tensor product representations. We calculate the decomposition into irreducible osp(m…
In this paper we consider non-abelian 1-cohomology for groups with coefficients in other groups. We prove versions of the `five lemma' arising from this situation. We go on to show that a connected unipotent algebraic group Q acted on morphically by a connected algebraic group G admits a filtration with successive quotients having the structure of G-modules. From these results we deduce extensions to results due to Cline, Parshall, Scott and van der Kallen. Firstly, if G is a connected, reductive algebraic group with Borel subgroup B and Q a unipotent algebraic G-group, we show the restriction…
We give an algebraic approach to the study of Hitchin pairs and prove the tensor product theorem for Higgs semistable Hitchin pairs over smooth projective curves defined over algebraically closed fields $k$ of characteristic $0$ and characteristic $p$, with $p$ satisfying some natural bounds. We also prove the corresponding theorem for polystable bundles.
A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a supergroup is reductive if and only if its connected component is reductive. The connected component is reductive if and only if the Lie superalgebra divided by its center is a product of simple Lie algebras of classical type and Lie superalgebras spo(1,2r) of the orthosymplectic types BC_r.
We show that a tensor product of irreducible, finite dimensional representations of a simple Lie algebra over a field of characteristic zero, determines the individual constituents uniquely. This is analogous to the uniqueness of prime factorisation of natural numbers.
Let G be a connected and reductive group over the algebraically closed field K. J-P. Serre has introduced the notion of a G-completely reducible subgroup H of G. In this note, we give a notion of G-complete reducibility -- G-cr for short -- for Lie subalgebras of Lie(G), and we show that if the closed subgroup H < G is G-cr, then Lie(H) is G-cr as well.
Let g denote a Lie algebra, and let T(g) denote the tensor product of g with a ring of truncated polynomials. The Lie algebra T(g) is called a truncated current Lie algebra. The highest-weight representation theory of T(g) is developed, and a reducibility criterion for the Verma modules is described.
We use an isomorphism between the space of valence two Killing tensors on an n-dimensional constant sectional curvature manifold and the irreducible GL(n+1)-representation space of algebraic curvature tensors in order to translate the Nijenhuis integrability conditions for a Killing tensor into purely algebraic integrability conditions for the corresponding algebraic curvature tensor, resulting in two simple algebraic equations of degree two and three. As a first application of this we construct a new family of integrable Killing tensors.
We develop algebraic methods for computations with tensor data. We give 3 applications: extracting features that are invariant under the orthogonal symmetries in each of the modes, approximation of the tensor spectral norm, and amplification of low rank tensor structure. We introduce colored Brauer diagrams, which are used for algebraic computations and in analyzing their computational complexity. We present numerical experiments whose results show that the performance of the alternating least square algorithm for the low rank approximation of tensors can be improved using tensor amplification…
We study the covariant derivatives of an eigenfunction for the Laplace-Beltrami operator on a complete, connected Riemannian manifold with nonzero constant sectional curvature. We show that along every parallel tensor, the covariant derivative is a scalar multiple of the eigenfunction. We also show that the scalar is a polynomial depending on the eigenvalue and prove some properties. A conjecture motivated by the study of vertex algebraic structure on space forms is also announced, suggesting the existence of interesting structures in these polynomials that awaits further exploration.
We determine the finite-dimensional simple modules for two-parameter quantum groups corresponding to the general linear and special linear Lie algebras gl_n and sl_n, and give a complete reducibility result. These quantum groups have a natural n-dimensional module V. We prove an analogue of Schur-Weyl duality in this setting: the centralizer algebra of the quantum group action on the k-fold tensor power of V is a quotient of a Hecke algebra for all n and is isomorphic to the Hecke algebra in case n\geq k.
In an attempt to get some information on the multiplicative structure of the Green ring we study algebraic modules for simple groups, and associated groups such as quasisimple and almost-simple groups. We prove that, for almost all groups of Lie type in defining characteristic, the natural module is non-algebraic. For alternating and symmetric groups, we prove that the simple modules in $p$-blocks with defect groups of order $p^2$ are algebraic, for $p\leq 5$. Finally, we analyze nine sporadic groups, finding that all simple modules are algebraic for various primes and sporadic groups
For a connected simply connected semisimple algebraic group $G$ we prove existence of invariant tensors in tensor powers of rational $G$-modules and establish relations between existence of such invariant tensors and stability of diagonal actions of $G$ on affine algebraic varieties.
We describe the algebraic ingredients of a proof of the conjecture of Frenkel and Ip that the category of positive representations $\mathcal{P}_λ$ of the quantum group $U_q(\mathfrak{sl}_{n+1})$ is closed under tensor products. Our results generalize those of Ponsot and Teschner in the rank 1 case of $U_q(\mathfrak{sl}_2)$. In higher rank, many nontrivial features appear, the most important of these being a surprising connection to the quantum integrability of the open Coxeter-Toda lattice. We show that the closure under tensor products follows from the orthogonality and completeness of the To…
