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

DOI10.1112/S0010437X10005002zbMATH Open1218.14010arXiv0901.4358WikidataQ115256467 ScholiaQ115256467MaRDI QIDQ2994887FDOQ2994887

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)

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

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

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

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)

Cites Work

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

Cited In (8)

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