Strong Macdonald Theory and the Brylinski Filtration for Affine Lie Algebras
Bibliographic record
Abstract
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.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
How this classification was reachedexpand
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.001 | 0.002 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.002 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.001 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from itClassification
machine, unvalidatedMachine predicted; a candidate call from one teacher head, not a consensus.
How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".