Strong Macdonald Theory and the Brylinski Filtration for Affine Lie Algebras
Notice bibliographique
Résumé
The strong Macdonald theorems state that, for L reductive and s an odd variable, the cohomology algebras H<super>*</super>(L[z]/z<super>N</super>) and H<super>*</super>(L[z, s]) are freely generated, and describe the co-homological, s-, and z-degrees of the generators. The resulting identity for the z-weighted Euler characteristic is equivalent to Macdonald's constant term identity for a finite root system. The proof of the strong Macdonald theorems, due to Fishel, Grojnowski, and Teleman, uses a Laplacian calculation for the (continuous) cohomology of L[[z]] with coefficients in the symmetric algebra of the (continuous) dual of L[[z]].Our main result is a generalization of this Laplacian calculation to the setting of a general parahoric p of a (possibly twisted) loop algebra g. As part of this result, we give a detailed exposition of one of the key ingredients in Fishel, Grojnowski, and Teleman's proof, a version of Nakano's identity for infinite-dimensional Lie algebras.We apply this Laplacian result to prove new strong Macdonald theorems for H<super>*</super>(p/z<super>N</super>p) and H<super>*</super>(p[s]), where p is a standard parahoric in a twisted loop algebra. We show that H(p/z<super>N</super>p) contains a parabolic subalgebra of the coinvariant algebra of the fixed-point subgroup of the Weyl group of L, and thus is no longer free. We also prove a strong Macdonald theorem for H<super>*</super>(b; S<super>*</super> n<super>*</super> ) and H(b /z<super>N</super> n) when b and n are Iwahori and nilpotent subalgebras respectively of a twisted loop algebra. For each strong Macdonald theorem proved, taking z-weighted Euler characteristics gives an identity equivalent to Macdonald's constant term identity for the corresponding affine root system. As part of the proof, we study the regular adjoint orbits for the adjoint action of the twisted arc group associated to L, proving an analogue of the Kostant slice theorem.Our Laplacian calculation can also be adapted to the case when g is a symmetrizable Kac-Moody algebra. In this case, the Laplacian calculation leads to a generalization of the Brylinski identity or affine Kac-Moody algebras. In the semisimple case, the Brylinski identity states that, at dominant weights, the q-analog of weight multiplicity is equal to the Poincare series of the principal nilpotent filtration of the weight space. This filtration is known as the Brylinski filtration. We show that this identity holds in the affine case, as long as the principal nilpotent filtration is replaced by the principal Heisenberg. We also give an example to show that the Poincare series of the principal nilpotent filtration is not always equal to the q-analog of weight multiplicity, and give some partial results for indefinite Kac-Moody algebras.
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction distillée sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.
Scores Codex et Gemma par catégorie
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,001 | 0,002 |
| Méta-épidémiologie (sens strict) | 0,000 | 0,000 |
| Méta-épidémiologie (sens large) | 0,000 | 0,000 |
| Bibliométrie | 0,000 | 0,000 |
| Études des sciences et des technologies | 0,000 | 0,000 |
| Communication savante | 0,000 | 0,002 |
| Science ouverte | 0,000 | 0,000 |
| Intégrité de la recherche | 0,000 | 0,000 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,001 | 0,000 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validéePrédiction automatique; un appel candidat d’une seule tête enseignante, pas un consensus.
Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».