Invariant polynomials under the maximal unipotent subgroup of a classical group
type: Item
instance of: scholarly article
title: Invariant polynomials under the maximal unipotent subgroup of a classical group
zbMATH Open document ID: 0840.22013
DOI: 10.1016/0019-3577(96)81758-7
published in: Indagationes Mathematicae. New Series
publication date: 1996-06-26T00:00:00Z
review text: Let \(G\) be a classical simple group, i.e., \(G = SL (n, \mathbb{C})\), \(SO (n, \mathbb{C})\), \(Sp (2n, \mathbb{C})\). Let \(g\) be the Lie algebra of \(G\), \(h\) a Cartan subalgebra of \(g,H\) the corresponding connected subgroup of \(G\). Let \(\Delta\), be the root system attached to \(h\), \(\Pi\) a basis of simple roots, \(\Delta^+\) the set of positive roots with respect to \(\Pi\). Then we have a decomposition: \(g = n_- \oplus h \oplus n_+\), where \(n_+ = \sum_{\alpha \in \Delta^+} g_\alpha\), \(g_\alpha\) the root spaces. Let \(N\) be the subgroup of \(G\) corresponding to \(n_+\) under the exponential map. If \(V\) is an irreducible representation of \(G\) then we have a character \(\Xi\) associated to it, i.e., if \(\nu\) is a highest weight vector of \(V\) then \(h. \nu = \Xi (h) \nu\). Let \(\Psi_0\) and \(\Psi_0^*\) be the characters associated to the natural representation and its dual respectively and let \(\Psi = \Psi_0. \Psi_0^* \). Let \(L = \text{Ker} \Psi \times N\), it acts on \(S'(g) = S(g^*)\) by the restriction of the action of \(G\) induced by the coadjoint action on \(g^*\). The purpose of this paper is to prove the following: Theorem. \(S(g^*)^L\) is a polynomial ring on \(d(G)\) variables, where \(d(SL (n, \mathbb{C})) = 2(n - 1)\), \(d(SO (n, \mathbb{C})) = n - 1\), \(d(Sp (2n, \mathbb{C})) = 2n\). This theorem is a generalization to all the classical groups of the one proved by the author [Rev. Unión Mat. Argent. 35(1990), 163-167 (1989; Zbl 0815.20030)] for \(SL (n, \mathbb{C})\). In fact the method involved in the proof is the same. The proof consists of the following steps: first we give a set \(A(g)\) of \(d(G)\) polynomials, then we prove that they are \(L\)-invariant and algebraically independent, finally we compute the dimension of \[ S' (g)^L_{\psi^m} = \bigl\{ p \in S'(g)^L : h.p = \Psi (h)^m p\;\forall h \in H \bigr\}, \] as an \(S'(g)^G\)-module and we can see that it has the right value, i.e., it coincides with the dim…
Mathematics Subject Classification ID: 22E10
zbMATH DE Number: 854422
zbMATH Keywords: classical simple group
zbMATH Keywords: Lie algebra
zbMATH Keywords: Cartan subalgebra
zbMATH Keywords: root system
zbMATH Keywords: root spaces
zbMATH Keywords: exponential map
zbMATH Keywords: irreducible representation
zbMATH Keywords: character
zbMATH Keywords: polynomial ring
zbMATH Keywords: polynomials
author: Fernando Levstein
MaRDI profile type: Publication
full work available at URL: 0019-3577(96)81758-7
OpenAlex ID: W1979092782
cites work: Lie Group Representations on Polynomial Rings
cites work: A Formula For the Multiplicity of a Weight
description: scientific article; zbMATH DE number 854422