Higher Specht polynomials (Q1357702): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:04, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Higher Specht polynomials |
scientific article |
Statements
Higher Specht polynomials (English)
0 references
4 March 1998
0 references
Let \(J_+=(e_1,e_2,\ldots,e_n)\) be the polynomial ideal generated by the elementary symmetric polynomials \(e_k=\sum_{1\leq i_1<i_2<\cdots<i_k\leq n} x_{i_1}x_{i_2}\cdots x_{i_k}\). It is known that \(R=\mathbb{C}[x_1,x_2,\ldots,x_n]/J_+\) is isomorphic, as a symmetric group module, to the left regular representation. This paper gives a basis of \(R\) that is compatible with its decomposition into simple modules. [This was also obtained independently by \textit{E. E. Allen} in Adv. Math. 100, No. 2, 262-292 (1993; Zbl 0795.20006).] We also find here a generalization to the semi-direct product \(G_{r,n}=\mathbb{Z}_r\rtimes S_n\). More precisely, they give a basis of \(R^{(r)}\mathbb{C}[x_1,x_2,\ldots,x_n]/J_+^{(r)}\) that is compatible with its decomposition into simple modules. Here, \(J_+^{(r)}\) is the ideal generated by \(e_k(x_1^r,x_2^r,\ldots,x_n^r)\), and it is known that \(R^{(r)}\) corresponds to the left regular \(G_{r,n}\)-module.
0 references
representations of symmetric groups
0 references
Specht modules
0 references
invariants
0 references
polynomial ideals
0 references
elementary symmetric polynomials
0 references
decompositions into simple modules
0 references