fake degré
Bonjour à tous
J'ai quelques problèmes sur la notion de fake degré, voici le problème.
Soient $V$ un $ \mathbb{C}$ espace vectoriel de dimension finie, $G \subset GL(V)$ un sous-groupe fini. Notons $S(V)$ l'algèbre symétrique de $V$ et $I =
(S(V)_+^G)$ l'idéal engendré par les éléments homogènes de degré strictement positif invariants par l'action de $G$. On regarde le quotient $S/I$ qu'on appelle algèbre des covariants de $G$. $G $ agit aussi sur $S/I$. $S/I$ est graduée par les entiers positifs (de part la graduation de $S$) et l'action de $G$ préserve la graduation de $S/I$. On a donc pour tout entier $d $ positif une représentation de $G$ donnée par les éléments homogènes de degré $d $ c'est-à-dire $ (S/I)_d$. Soit maintenant une autre représentation $\mathcal{U}$ de $G$ de caractère $\chi$. Notons $\chi_d$ le caractère de $ (S/I)_d$. On définit le fake degré comme étant la série : $$
f^{\,\mathcal{U}}(T)= \sum_{d \geq 0} (\chi, \chi_d)T^d .
$$ Il se trouve que $S/I$ est isomorphe en tant que représentation à la représentation régulière de $G$, on a donc $f^{\mathcal{U}}(1)= \dim_{\mathbb{C}}(\mathcal{U})$. Alors il semblerait qu'on puisse réécrire le fake degré comme un polynôme donné par : $$
f^{\,\mathcal{U}}(T)= \sum_{i = 0}^{\dim \mathcal{U}} T^{e_i} ,
$$ où $ e_1 \leq e_2 \ldots \leq e_{\dim(\mathcal{U})} $
Je ne comprends pas bien comment cette égalité est obtenue. Merci de vos réponses.
J'ai quelques problèmes sur la notion de fake degré, voici le problème.
Soient $V$ un $ \mathbb{C}$ espace vectoriel de dimension finie, $G \subset GL(V)$ un sous-groupe fini. Notons $S(V)$ l'algèbre symétrique de $V$ et $I =
(S(V)_+^G)$ l'idéal engendré par les éléments homogènes de degré strictement positif invariants par l'action de $G$. On regarde le quotient $S/I$ qu'on appelle algèbre des covariants de $G$. $G $ agit aussi sur $S/I$. $S/I$ est graduée par les entiers positifs (de part la graduation de $S$) et l'action de $G$ préserve la graduation de $S/I$. On a donc pour tout entier $d $ positif une représentation de $G$ donnée par les éléments homogènes de degré $d $ c'est-à-dire $ (S/I)_d$. Soit maintenant une autre représentation $\mathcal{U}$ de $G$ de caractère $\chi$. Notons $\chi_d$ le caractère de $ (S/I)_d$. On définit le fake degré comme étant la série : $$
f^{\,\mathcal{U}}(T)= \sum_{d \geq 0} (\chi, \chi_d)T^d .
$$ Il se trouve que $S/I$ est isomorphe en tant que représentation à la représentation régulière de $G$, on a donc $f^{\mathcal{U}}(1)= \dim_{\mathbb{C}}(\mathcal{U})$. Alors il semblerait qu'on puisse réécrire le fake degré comme un polynôme donné par : $$
f^{\,\mathcal{U}}(T)= \sum_{i = 0}^{\dim \mathcal{U}} T^{e_i} ,
$$ où $ e_1 \leq e_2 \ldots \leq e_{\dim(\mathcal{U})} $
Je ne comprends pas bien comment cette égalité est obtenue. Merci de vos réponses.
Réponses
-
Ce n'est qu'un jeu d'écriture : chaque $(\chi,\chi_d)$ est un entier $n_d$ et la somme des $n_d$ vaut $f^{\,\mathcal{U}}(1)=\dim \mathcal U$. On écrit $n_dT^d=T^d+\cdots+T^d$, ce qui présente $f^{\,\mathcal{U}}(T)$ comme une somme de $\dim(\mathcal U)$ monômes de la forme $T^e$ ($e\in\N$). Il suffit de réordonner ces monômes.
Si on tient à avoir des formules, cela revient à poser à poser $e_i=0$ si $1\le i\le n_0$, $e_i=1$ si $n_0+1\le i\le n_0+n_1$, etc. -
Bonjour Math Cross,
merci de cette réponse, en effet je n'avais pas pensé à faire ça et surtout je pensais (je ne sais pas pourquoi) l'inégalité entre les e_i stricte.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres