2011/05/15 by William Slofstra, Slofstra, William
Mathematics · #Combinatorics (math.CO) #FOS: Mathematics #Representation Theory (math.RT) #math.CO #math.RT
paper · pdf · doi:10.48550/arxiv.1105.2971
Major reorganization and rewrite. In particular, section 4 has been split into two sections, and a number of errors in the statement of background results from this section have been corrected. All main results are unchanged
arxiv created 2015/03/01 · arxiv updated 2015/03/03
The strong Macdonald theorems state that, for L reductive and s an odd variable, the cohomology algebras H^*(L[z]/zN) and H^*(L[z,s]) are freely generated, and describe the cohomological, 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. We calculate H^*(\mathfrakp / zN \mathfrakp) and H^*(\mathfrakp[s]) for \mathfrakp a standard parahoric in a twisted loop algebra, giving strong Macdonald theorems that take into account both a parabolic component and a possible diagram automorphism twist. In particular we show that H^*(\mathfrakp / zN \mathfrakp) 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^*(\mathfrakb; S^* \mathfrakn^*) and H^*(\mathfrakb / zN \mathfrakn) when \mathfrakb and \mathfrakn 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.