Bases for coordinate rings of conjugacy classes of nilpotent matrices
type: Item
instance of: scholarly article
title: Bases for coordinate rings of conjugacy classes of nilpotent matrices
zbMATH Open document ID: 0941.20048
author: Mark Shimozono
author: Jerzy Weyman
published in: Journal of Algebra
publication date: 2000-05-22T00:00:00Z
review text: Let \(\mathfrak g\) be the Lie algebra of \(\text{GL}_n(\mathbb{C})\), and \(U\) the subgroup of upper triangular matrices. In this work the authors first construct a basis \(\mathcal B\) of the space \(\mathbb{C}[{\mathfrak g}]^U\) of highest weight vectors in the coordinate ring \(\mathbb{C}[{\mathfrak g}]\). This involves bitableaux. Now let \(\mu\) be a partition of \(n\) whose transpose \(\mu^t\) lists the sizes of the Jordan blocks of a nilpotent \(n\) by \(n\) matrix. Let \(X_\mu\) be the closure of the conjugacy class of that matrix. They try to find a subset \(\mathcal B_\mu\) of \(\mathcal B\) which yields a basis for the space of highest weight vectors \(\mathbb{C}[X_\mu]^U\). For the largest nilpotent conjugacy class we have \(\mu=(1^n)\) and they find such a subset using Kostant's description in terms of invariants of the ring \(\mathbb{C}[X_{(1^n)}]\). Character theory and combinatorics then lead them to suggest a choice of \(\mathcal B_\mu\) for any \(\mu\). All this also relies on work of \textit{W. Hesselink} [Comment. Math. Helv. 54, 105-110 (1979; Zbl 0395.14014)], \textit{R. K. Gupta} [Bull. Am. Math. Soc., New Ser. 16, 287-291 (1987; Zbl 0648.22011)], \textit{A. Lascoux} [in Proceedings of the Hyderabad conference on algebraic groups held at the School of Mathematics and Computer/Information Sciences of the University of Hyderabad, India, December 1989. Madras: Manoj Prakashan. 323-347 (1991; Zbl 0823.20012)], \textit{A. Lascoux, M.-P. Schützenberger} [C. R. Acad. Sci., Paris, Sér. A 286, 323-324 (1978; Zbl 0374.20010)]. To describe their guess the authors introduce the catabolism type for certain column strict tableaux. When \(\mu\) is of hook shape or when \(\mu\) has two parts, they prove their choice is correct and they enlarge the basis of \(\mathbb{C}[X_\mu]^U\) to an explicit basis of \(\mathbb{C}[X_\mu]\). Further they show this basis works in any characteristic. That exploits the fact that \(\mathbb{Z}[X_\mu]\) is a \(\text{GL}_n\) modu…
Mathematics Subject Classification ID: 20G05
Mathematics Subject Classification ID: 14L35
Mathematics Subject Classification ID: 05E10
Mathematics Subject Classification ID: 05E15
Mathematics Subject Classification ID: 20C30
zbMATH DE Number: 1356291
zbMATH Keywords: bitableaux
zbMATH Keywords: catabolism types
zbMATH Keywords: nilpotent cones
zbMATH Keywords: Schur modules
zbMATH Keywords: highest weight vectors
zbMATH Keywords: coordinate rings
zbMATH Keywords: explicit bases
zbMATH Keywords: base change
reviewed by: Wilberd van der Kallen
MaRDI profile type: Publication
OpenAlex ID: W2072264679
cites work: Schur functors and Schur complexes
cites work: A conjecture of Procesi and a new basis for the decomposition of the graded left regular representation of \(S_ n\)
cites work: Nilpotent Orbit Varieties and the Atomic Decomposition of the Q-Kostka Polynomials
cites work: The universal form of the Littlewood-Richardson rule
cites work: Q4869230
cites work: Rational representations of algebraic groups: Tensor products and filtrations
cites work: The normality of closures of conjugacy classes of matrices
cites work: On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
cites work: Q5602063
cites work: A Littlewood-Richardson miscellany
cites work: Generalized exponents via Hall-Littlewood symmetric functions
cites work: On certain graded \(S_ n\)-modules and the \(q\)-Kostka polynomials
cites work: The normality of closures of orbits in a Lie algebra
cites work: Characters of the nullcone
cites work: Q3800267
cites work: Specht series for skew representations of symmetric groups
cites work: Permutations, matrices, and generalized Young tableaux
cites work: Lie Group Representations on Polynomial Rings
cites work: Closures of conjugacy classes of matrices are normal
cites work: Q4273900
cites work: Crystal graphs and \(q\)-analogues of weight multiplicities for the root system \(A_ n\)
cites work: Group characters and algebra
cites work: Q4152710
cites work: Q3665331
cites work: A New Statistics on Words
cites work: Q3947818
cites work: Q4025332
cites work: A simple proof of the Littlewood-Richardson rule and applications.
cites work: Multiplying Schur functions
cites work: Q4001520
cites work: Robinson-Schensted algorithms for skew tableaux
cites work: Longest Increasing and Decreasing Subsequences
cites work: On the variety of projectors
cites work: Graded characters of modules supported in the closure of a nilpotent conjugacy class
cites work: Defining ideals of the closures of the conjugacy classes and representations of the Weyl groups
cites work: Sheaf cohomology on G/B and tensor products of Weyl modules
cites work: The equations of conjugacy classes of nilpotent matrices
cites work: Some connections between the Littlewood-Richardson rule and the construction of Schensted
cites work: A generalization of the Littlewood-Richardson rule and the Robinson- Schensted-Knuth correspondence
DOI: 10.1006/JABR.1999.7969
Recommended article: On nilpotent matrices over antirings
Recommended article: The equations of conjugacy classes of nilpotent matrices
Recommended article: On nilpotency of matrices over antirings
Recommended article: Elementary equivalence of the Lie rings of niltriangular matrix rings over commutative rings of coefficients
Recommended article: Q5456189
Recommended article: Indices of nillity and absolute nillity of matrix rings
Recommended article: On simultaneously nilpotent antiring matrices
Recommended article: Bases for rings of coinvariants
Recommended article: The Defining Ideals of Conjugacy Classes of Nilpotent Matrices and a Conjecture of Weyman
Recommended article: Q5420757
description: scientific article; zbMATH DE number 1356291