Comportement asymptotique des dimensions des covariants
Français
Soit $k$ un corps algébriquement clos de caractéristique $0$ et soit $A=\oplus _{n\geq 0} A_n$ une $k$-algèbre graduée intègre de type fini, avec $A_0=k\cdot 1$ et $A_n\neq 0$ pour $n$ assez grand. Soient $G$ un groupe réductif sur $k$, $e$ son élément neutre, $\Lambda $ l'ensemble des es de représentations rationnelles simples de dimension finie de $G$, $0$ l'élément trivial de dimension $1$ de $\Lambda $. On suppose que $G$ opère fidèlement rationnellement dans $A$ par automorphismes gradués. Pour $\lambda \in \Lambda $, soit $m_{\lambda ,n}$ la multiplicité de $\lambda $ dans $A_n$. Soit $X$ la variété affine irréductible sur $k$ définie par $A$. Le groupe $G$ opère dans $X$. Pour simplifier ce résumé, supposons que $m_{0,n}\neq 0$ pour $n$ assez grand, que l'orbite générique de $G$ dans $X$ soit fermée et que le stabilisateur générique d'un point de $X$ soit trivial. Alors $m_{\lambda ,n}/m_{0,n}\to \dim \lambda $ quand $n\rightarrow \infty $. Cela généralise un résultat de R. Howe, relatif au cas où $G$ est fini. Supposons que $G$ soit la complexification d'un groupe de Lie compact connexe $K$. Soit $\psi _n$ le caractère, convenablement normalisé, de $K$ opérant dans $A_n$. Alors $\psi _n\to \varepsilon _e$ (masse de Dirac en $e$) au sens des distributions quand $n\rightarrow \infty $.