Generalized Polarization Modules (extended abstract)

Abstract

This work enrols the research line of M. Haiman on the Operator Theorem (the old operator conjecture). This theorem states that the smallest $\mathfrak{S}_n$-module closed under taking partial derivatives and closed under the action of polarization operators that contains the Vandermonde determinant is the space of diagonal harmonics polynomials. We start generalizing the context of this theorem to the context of polynomials in $\ell$ sets of $n$ variables $x_{ij}$ with $1\le i \le \ell$ and $1 \le j \le n$. Given a $\mathfrak{S}_n$-stable family of homogeneous polynomials in the variables $x_{ij}$ the smallest vector space closed under taking partial derivatives and closed under the action of polarization operators that contains $F$ is the polarization module generated by the family $F$. These polarization modules are all representation of the direct product $\mathfrak{S}_n \times GL_\ell(\mathbb{C})$. In order to study the decomposition into irreducible submodules, we compute the graded Frobenius characteristic of these modules. For several cases of $\mathfrak{S}_n$-stable families of homogeneous polynomials in n variables, for every $n \ge 1$, we show general formulas for this graded characteristic in a global manner, independent of the value of $\ell$. Ce travail s'inscrit dans la lignée de recherche des travaux de M. Haiman sur le théorème de l'opérateur (ex-conjecture de l'opérateur). Ce théorème affirme que le plus petit $\mathfrak{S}_n$-module clos par dérivation partielle et clos par l'action des opérateurs de polarisation qui contient le déterminant de Vandermonde est l'espace des polynômes harmoniques diagonaux. On commence par généraliser le contexte du théorème de l'opérateur au contexte de polynômes à ensembles de $n$ variables $x_{ij}$ avec $1\le i \le \ell$ et $1 \le j \le n$. Étant donnée une famille $\mathfrak{S}_n$-stable $F$ des polynômes homogènes en les variables $x_{ij}$, le plus petit espace vectoriel $\mathcal{M}_F$ clos par dérivation partielle et clos par léaction des opérateurs de polarisation contenant $F$ est le module de polarisation engendré par la famille $F$. Les modules $\mathcal{M}_F$ sont tous des représentations du produit direct $\mathfrak{S}_n \times GL_\ell(\mathbb{C})$. Dans le but d'étudier la décomposition en sous-modules irréductibles on calcule la caractéristique de Frobenius graduée de ces modules. Pour plusieurs cas de familles homogènes $\mathfrak{S}_n$-stables constituées des polynômes homogènes à $n$ variables, pour tout $n \ge 1$, on démontre des formules générales pour cette caractéristique graduée de façon globale, indépendante de la valeur de $\ell$.