Skip to main contentSkip to search
Episciences
Open Access Journals
Sign in(new window)
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSectionsSpecial issuesAuthors
About
The journalIndexing
Boards
Publish
For authorsEthical charter
Submit
Discrete Mathematics & Theoretical Computer Science logo
Contact
|
Credits
eISSN 1365-8050
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  2. Articles >
  3. The quasiinvariants ...
Conference paper

The quasiinvariants of the symmetric group

Jason Bandlow (1), Gregg Musiker (2)
(1) Department of Mathematics [Univ California Davis]
(2) Department of Mathematics [MIT]
Download article
Open on HAL
Imported on
May 10, 2017
Published on
December 31, 2007
Last modified on
March 31, 2025
Volume
DMTCS Proceedings vol. AJ, 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008)
Proceedings
DOI
10.46298/dmtcs.3619
License
https://about.hal.science/hal-authorisation-v1
Indicators
582
Views
502
Downloads

The quasiinvariants of the symmetric group

Jason Bandlow (1), Gregg Musiker (2)
(1) Department of Mathematics [Univ California Davis]
(2) Department of Mathematics [MIT]
Abstract
English
For $m$ a non-negative integer and $G$ a Coxeter group, we denote by $\mathbf{QI_m}(G)$ the ring of $m$-quasiinvariants of $G$, as defined by Chalykh, Feigin, and Veselov. These form a nested series of rings, with $\mathbf{QI_0}(G)$ the whole polynomial ring, and the limit $\mathbf{QI}_{\infty}(G)$ the usual ring of invariants. Remarkably, the ring $\mathbf{QI_m}(G)$ is freely generated over the ideal generated by the invariants of $G$ without constant term, and the quotient is isomorphic to the left regular representation of $G$. However, even in the case of the symmetric group, no basis for $\mathbf{QI_m}(G)$ is known. We provide a new description of $\mathbf{QI_m}(S_n)$, and use this to give a basis for the isotypic component of $\mathbf{QI_m}(S_n)$ indexed by the shape $[n-1,1]$.
French
Pour $m$ un entier positif ou nul et $G$ un groupe de Coxeter, nous notons $\mathbf{QI_m}(G)$ l'anneau des quasiinvariants définis par Chalykh, Feigin et Veselov. On obtient ainsi une série d'anneaux emboités, $\mathbf{QI_0}(G)$ étant l'anneau des polynômes, et la limite $\mathbf{QI}_{\infty}(G)$ l'anneau des invariants usuels. Il est remarquable que l'anneau $\mathbf{QI_m}(G)$ est librement généré sur l'idéal engendré par les invariants de $G$ sans terme constant, et le quotient est isomorphe à la représentation régulière à gauche de $G$. Cependant, même dans le cas du groupe symétrique, aucune base de $\mathbf{QI_m}(G)$ n'est connue. Nous donnons une nouvelle description de $\mathbf{QI_m}(G)$ et l'utilisons pour obtenir une base du composant isotypique de $\mathbf{QI_m}(S_n)$ indexée par la partition $(n-1,1)$.
Keywords
  • [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
  • [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
  • symmetric group
  • invariants
  • quasiinvariants
Preview
Loading PDF preview...