scholarly journals Is the function field of a reductive Lie algebra purely transcendental over the field of invariants for the adjoint action?

2011 ◽  
Vol 147 (2) ◽  
pp. 428-466 ◽  
Author(s):  
Jean-Louis Colliot-Thélène ◽  
Boris Kunyavskiĭ ◽  
Vladimir L. Popov ◽  
Zinovy Reichstein

AbstractLet k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let 𝔤 be its Lie algebra. Let k(G), respectively, k(𝔤), be the field of k-rational functions on G, respectively, 𝔤. The conjugation action of G on itself induces the adjoint action of G on 𝔤. We investigate the question whether or not the field extensions k(G)/k(G)G and k(𝔤)/k(𝔤)G are purely transcendental. We show that the answer is the same for k(G)/k(G)G and k(𝔤)/k(𝔤)G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type An or Cn, and negative for groups of other types, except possibly G2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.

2020 ◽  
Vol 8 ◽  
Author(s):  
MAIKE GRUCHOT ◽  
ALASTAIR LITTERICK ◽  
GERHARD RÖHRLE

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.


2019 ◽  
Vol 30 (03) ◽  
pp. 451-466
Author(s):  
Dietrich Burde ◽  
Vsevolod Gubarev

We introduce post-associative algebra structures and study their relationship to post-Lie algebra structures, Rota–Baxter operators and decompositions of associative algebras and Lie algebras. We show several results on the existence of such structures. In particular, we prove that there exists no post-Lie algebra structure on a pair [Formula: see text], where [Formula: see text] is a simple Lie algebra and [Formula: see text] is a reductive Lie algebra, which is not isomorphic to [Formula: see text]. We also show that there is no post-associative algebra structure on a pair [Formula: see text] arising from a Rota–Baxter operator of [Formula: see text], where [Formula: see text] is a semisimple associative algebra and [Formula: see text] is not semisimple. The proofs use results on Rota–Baxter operators and decompositions of algebras.


2012 ◽  
Vol 148 (5) ◽  
pp. 1561-1592 ◽  
Author(s):  
Brian D. Boe ◽  
Jonathan R. Kujawa ◽  
Daniel K. Nakano

AbstractLet ${\Xmathfrak g}={\Xmathfrak g}_{\zerox }\oplus {\Xmathfrak g}_{\onex }$ be a classical Lie superalgebra and let ℱ be the category of finite-dimensional ${\Xmathfrak g}$-supermodules which are completely reducible over the reductive Lie algebra ${\Xmathfrak g}_{\zerox }$. In [B. D. Boe, J. R. Kujawa and D. K. Nakano, Complexity and module varieties for classical Lie superalgebras, Int. Math. Res. Not. IMRN (2011), 696–724], we demonstrated that for any module M in ℱ the rate of growth of the minimal projective resolution (i.e. the complexity of M) is bounded by the dimension of ${\Xmathfrak g}_{\onex }$. In this paper we compute the complexity of the simple modules and the Kac modules for the Lie superalgebra $\Xmathfrak {gl}(m|n)$. In both cases we show that the complexity is related to the atypicality of the block containing the module.


1971 ◽  
Vol 12 (1) ◽  
pp. 1-14 ◽  
Author(s):  
Bhama Srinivasan

Let K be an algebraically closed field of characteristic ρ >0. If G is a connected, simple connected, semisimple linear algebraic group defined over K and σ an endomorphism of G onto G such that the subgroup Gσ of fixed points of σ is finite, Steinberg ([6] [7]) has shown that there is a complex irreducible character χ of Gσ with the following properties. χ vanishes at all elements of Gσ which are not semi- simple, and, if x ∈ G is semisimple, χ(x) = ±n(x) where n(x)is the order of a Sylow p-subgroup of (ZG(x))σ (ZG(x) is the centraliser of x in G). If G is simple he has, in [6], identified the possible groups Gσ they are the Chevalley groups and their twisted analogues over finite fields, that is, the ‘simply connected’ versions of finite simple groups of Lie type. In this paper we show, under certain restrictions on the type of the simple algebraic group G an on the characteristic of K, that χ can be expressed as a linear combination with integral coefficients of characters induced from linear characters of certain naturally defined subgroups of Gσ. This expression for χ gives an explanation for the occurence of n(x) in the formula for χ (x), and also gives an interpretation for the ± 1 occuring in the formula in terms of invariants of the reductive algebraic group ZG(x).


Author(s):  
P. Bala ◽  
R. W. Carter

LetGbe a simple adjoint algebraic group over an algebraically closed fieldK. We are concerned to describe the conjugacy classes of unipotent elements ofG. Goperates on its Lie algebra g by means of the adjoint action and we may consider classes of nilpotent elements of g under this action. It has been shown by Springer (11) that there is a bijection between the unipotent elements ofGand the nilpotent elements ofgwhich preserves theG-action, provided that the characteristic ofKis either 0 or a ‘good prime’ forG. Thus we may concentrate on the problem of classifying the nilpotent elements of g under the adjointG-action.


Author(s):  
Dean Alvis ◽  
George Lusztig

Let G be a connected reductive algebraic group over complex numbers. To each unipotent element u ε G (up to conjugacy) and to the unit representation of the group of components of the centralizer of u, Springer (11), (12) associates an irreducible representation of the Weyl group W of G. The tensor product of that representation with the sign representation will be denoted ρu. (This agrees with the notation of (5).) This representation may be realized as a subspace of the cohomology in dimension 2β(u) of the variety of Borel subgroups containing u, where β(u) = dim . For example, when u = 1, ρu is the sign representation of W. The map u → ρu defines an injective map from the set of unipotent conjugacy classes in G to the set of irreducible representations of W (up to isomorphism). Our purpose is to describe this map in the case where G is simple of type Eu (n = 6, 7, 8). (When G is classical or of type F4, this map is described by Shoji (9), (10); the case where G is of type G2 is contained in (11).


2008 ◽  
Vol 11 ◽  
pp. 280-297 ◽  
Author(s):  
Willem A. de Graaf

AbstractLet G be a simple algebraic group over an algebraically closed field with Lie algebra g. Then the orbits of nilpotent elements of g under the adjoint action of G have been classified. We describe a simple algorithm for finding a representative of a nilpotent orbit. We use this to compute lists of representatives of these orbits for the Lie algebras of exceptional type. Then we give two applications. The first one concerns settling a conjecture by Elashvili on the index of centralizers of nilpotent orbits, for the case where the Lie algebra is of exceptional type. The second deals with minimal dimensions of centralizers in centralizers.


Sign in / Sign up

Export Citation Format

Share Document