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

DOI10.1112/S0010437X10005002MaRDI QIDQ2994887zbMATH OpenWikidataFDO

Authors Jean-Louis Colliot-Thélène, Boris Kunyavskiĭ, Vladimir L. Popov, Zinovy Reichstein

Publication date 29 April 2011

Published in Compositio Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0901.4358

zbMATH Keywords

algebraic groupintegral representationsimple Lie algebrarationality problemadjoint actionalgebraic torusunramified Brauer groupspecial groupsconjugation actionpermutation latticestranscendental extensions

Mathematics Subject Classification ID

Rationality questions in algebraic geometry (14E08) Brauer groups of schemes (14F22) Group actions on varieties or schemes (quotients) (14L30) Integral representations of finite groups (20C10) Lie algebras of linear algebraic groups (17B45) Linear algebraic groups over arbitrary fields (20G15)

Abstract: Let $k$ be a field of characteristic zero, let $G$ be a connected reductive algebraic group over $k$ and let $mathfrakg$ be its Lie algebra. Let $k(G)$, respectively, $k(mathfrakg)$, be the field of $k$-rational functions on $G$, respectively, $mathfrakg$. The conjugation action of $G$ on itself induces the adjoint action of $G$ on $mathfrakg$. We investigate the question whether or not the field extensions $k(G)/k(G{)}^G$ and $k(mathfrakg)/k(mathfrakg{)}^G$ are purely transcendental. We show that the answer is the same for $k(G)/k(G{)}^G$ and $k(mathfrakg)/k(mathfrakg{)}^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 ${sfA}_n$ or ${sfC}_n$, and negative for groups of other types, except possibly ${sfG}_2$. 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. The results and methods of this paper have played an important part in recent A. Premet's negative solution (arxiv:0907.2500) of the Gelfand--Kirillov conjecture for finite-dimensional simple Lie algebras of every type, other than ${sfA}_n$, ${sfC}_n$, and ${sfG}_2$.

Recommendations

• The Lie algebra of type \(G_2\) is rational over its quotient by the adjoint action
• scientific article; zbMATH DE number 701198
• Infinitesimal Invariants in a Function Algebra
• Automorphisms group of an invariant subalgebra of a reductive Lie algebra
• On algebras of generic elements of simple Lie algebras

Cites work

• Equivariant completion
• Espaces Homogènes De Stein Des Groupes De Lie Complexes
• Groupe de Picard et groupe de Brauer des compactifications lisses d’espaces homogènes
• La $R$-équivalence sur les tores

Cited in

(8)

• The Lie algebra of type \(G_2\) is rational over its quotient by the adjoint action
• Real reductive Cayley groups of rank 1 and 2.
• On the classification of normal \(G\)-varieties with spherical orbits
• An algebraic slice in the coadjoint space of the Borel and the Coxeter element
• Rationality of homogeneous varieties
• Versality of algebraic group actions and rational points on twisted varieties
• Cross-sections, quotients, and representation rings of semisimple algebraic groups.
• The Zassenhaus variety of a reductive Lie algebra in positive characteristic

This page was built for publication: Is the function field of a reductive Lie algebra purely transcendental over the field of invariants for the adjoint action?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2994887)