Conjectures on the quotient ring by diagonal invariants
type: Item
instance of: scholarly article
title: Conjectures on the quotient ring by diagonal invariants
zbMATH Open document ID: 0803.13010
DOI: 10.1023/A:1022450120589
author: Mark Haiman
published in: Journal of Algebraic Combinatorics
publication date: 1994-12-18T00:00:00Z
review text: This paper considers the quotient ring \(R_ n\) of the polynomial ring in two sets of variables \(\mathbb{Q} [X,Y] = \mathbb{Q} [x_ 1, \dots, x_ n, y_ 1, \dots, y_ n]\) by the ideal \(I\) generated by all \(S_ n\)-invariant polynomials without constant term. \(R_ n\) is proved to be isomorphic to the space \(H_ n\) of diagonal harmonics for \(S_ n\) which is the orthogonal complement of \(I\). Compared to the classical theory of the corresponding ring in a single set of variables \(X\) the theory of \(R_ n\) is not yet much developed. However, it has recently been discovered that there is a strong evidence of deep and surprising connections between \(R_ n\) and some fundamental and much-studied aspects of enumerative combinatorics, algebraic geometry and Lie theory; the related conjectures have been checked for small \(n\) using the computer algebra system MACAULAY. The author gives a comprehensive, profound survey on the current state of knowledge about theorems and conjectures concerning the structure of the ring \(R_ n\) as a doubly graded \(S_ n\)-module. Among other things the following subjects are dealt with: Conjectures and propositions about the Hilbert series and Frobenius series of \(R_ n\); relations to certain analogs of the Lagrange inversion formula; investigations on the structure of the space \(H_ n\) in connection with the operator conjecture (which means that \(H_ n\) is the smallest space containing the discriminant and closed under the action of some \(S_ n\)-invariant polynomial different operators); a geometrical interpretation which relates \(R_ n\) to the variety of pairs of commuting nilpotent matrices; analogs of the ring \(R_ n\) and the conjectures about it for general reflection groups (Coxeter groups, especially Weyl groups; failure of operator conjecture for the group \(B_ 4)\). Besides, there is an appendix with Frobenius and Hilbert series tables of \(R_ n\) for \(n\) up to 4 and 7, respectively.
reviewed by: Günter Schaar
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 13A35
Mathematics Subject Classification ID: 13D40
Mathematics Subject Classification ID: 14L24
Mathematics Subject Classification ID: 20F55
zbMATH DE Number: 495998
zbMATH Keywords: Coxeter groups
zbMATH Keywords: invariant polynomials
zbMATH Keywords: polynomial ring
zbMATH Keywords: diagonal harmonics
zbMATH Keywords: Hilbert series
zbMATH Keywords: Frobenius series
describes a project that uses: Macaulay2
MaRDI profile type: Publication
cites work: Identities in Combinatorics. II: A q-Analog of the Lagrange Inversion Theorem
cites work: Q3138328
cites work: Two element lattice permutation numbers and their \(q\)-generalization
cites work: Invariants of Finite Groups Generated by Reflections
cites work: q-Catalan numbers
cites work: Q3937409
cites work: On certain graded \(S_ n\)-modules and the \(q\)-Kostka polynomials
cites work: Q4724639
cites work: On dominance and varieties of commuting matrices
cites work: A Noncommutative Generalization and q-Analog of the Lagrange Inversion Formula
cites work: Depth-first search as a combinatorial correspondence
cites work: Q3331943
cites work: Q3998721
cites work: An Occupancy Discipline and Applications
cites work: Lie Group Representations on Polynomial Rings
cites work: Une famille de polynômes ayant plusieurs propriétés enumeratives
cites work: Q3947818
cites work: The inversion enumerator for labeled trees
cites work: Unitary reflection groups and cohomology
cites work: Q4196567
cites work: Finite Unitary Reflection Groups
cites work: The Kazhdan-Lusztig cells in certain affine Weyl groups
cites work: Q3748279
cites work: Finite Reflection Groups
cites work: Invariants of Finite Reflection Groups
cites work: Differential Equations Invariant Under Finite Reflection Groups
cites work: A Contribution to the Theory of Chromatic Polynomials
full work available at URL: a:1022450120589
OpenAlex ID: W1634042400
description: scientific article; zbMATH DE number 495998