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. A canonical basis fo ...
Conference paper

A canonical basis for Garsia-Procesi modules

Jonah Blasiak (1)
(1) Department of Computer Science, University of Chicago
Download article
Open on HAL
Imported on
January 31, 2017
Published on
December 31, 2009
Last modified on
March 31, 2025
Volume
DMTCS Proceedings vol. AN, 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010)
Proceedings
DOI
10.46298/dmtcs.2858
License
https://about.hal.science/hal-authorisation-v1
Indicators
576
Views
1024
Downloads

A canonical basis for Garsia-Procesi modules

Jonah Blasiak (1)
(1) Department of Computer Science, University of Chicago
Abstract
English
We identify a subalgebra $\widehat{\mathscr{H}}^+_n$ of the extended affine Hecke algebra $\widehat{\mathscr{H}}_n$ of type $A$. The subalgebra $\widehat{\mathscr{H}}^+_n$ is a u-analogue of the monoid algebra of $\mathcal{S}_n ⋉ℤ_≥0^n$ and inherits a canonical basis from that of $\widehat{\mathscr{H}}_n$. We show that its left cells are naturally labeled by tableaux filled with positive integer entries having distinct residues mod $n$, which we term positive affine tableaux (PAT). We then exhibit a cellular subquotient $\mathscr{R}_1^n$ of $\widehat{\mathscr{H}}^+_n$ that is a $u$-analogue of the ring of coinvariants $ℂ[y_1,\ldots,y_n]/(e_1, \ldots,e_n)$ with left cells labeled by PAT that are essentially standard Young tableaux with cocharge labels. Multiplying canonical basis elements by a certain element $*π ∈ \widehat{\mathscr{H}}^+_n$ corresponds to rotations of words, and on cells corresponds to cocyclage. We further show that $\mathscr{R}_1^n$ has cellular quotients $\mathscr{R}_λ$ that are $u$-analogues of the Garsia-Procesi modules $R_λ$ with left cells labeled by (a PAT version of) the $λ$ -catabolizable tableaux.
French
On définit une sous-algèbre $\widehat{\mathscr{H}}^+_n$ de l'extension affine de l'algèbre de Hecke \$\widehat{\mathscr{H}}_n$ de type $A$. La sous-algèbre $\widehat{\mathscr{H}}^+_n$ est $u$-analogue à l'algèbre monoïde de $\mathcal{S}_n ⋉ℤ_≥0^n$ et hérite d'une base canonique de $\widehat{\mathscr{H}}_n$. On montre que ses cellules gauches sont naturellement classées par des tableaux remplis d'entiers naturels ayant chacun des restes différents modulo $n$, que l'on nomme Positive Affine Tableaux (PAT). On montre ensuite qu'un sous-quotient cellulaire $\mathscr{R}_1^n$ de $\widehat{\mathscr{H}}^+_n$ est une $u$-analogue de l'anneau des co-invariants $ℂ[y_1,\ldots,y_n]/(e_1, \ldots,e_n)$ avec des cellules gauches classées PAT qui sont essentiellement des tableaux de Young standards avec des labels cochargés. Multiplier les éléments de la base canonique par un certain élément $π ∈ \widehat{\mathscr{H}}^+_n$ correspond à des rotations de mots, et par rapport aux cellules cela correspond à un cocyclage. Plus loin, on montre que $\mathscr{R}_1^n$ a pour quotients cellulaires $\mathscr{R}_λ$ qui sont $u$- analogues aux modules de Garsia-Procesi $R_λ$ avec des cellules gauches définies par (une version PAT) des tableaux $λ$ -catabolisable.
Keywords
  • [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
  • [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
  • Garsia-Procesi modules
  • affine Hecke algebra
  • canonical basis
  • symmetric group
  • k-atoms
Preview
Loading PDF preview...