Ennola duality conjecture for Deligne–Lusztig cohomology

Let N=l(w0)N=l(w_0), let ρE(GF,1)\rho\in{\mathcal E}({\bf G}^F,1), and let AρA_\rho and aρa_\rho be respectively the degree and valuation of the polynomial in qq giving ρ(1)\rho(1). Let EE be the Ennola involution of E(GF,1){\mathcal E}({\bf G}^F,1). Ennola duality conjecture. Assume that w0w_0 is central in WW. For every wB+{\bf w}\in B^+, one has

Hc(X(w0w)),ρ=h2NAρtN(aρ+Aρ)/2Hc(X(w)),E(ρ).\langle H_c^*({\bf X}({\bf w}_0{\bf w})),\rho\rangle=h^{2N-A_\rho}t^{N-(a_\rho+A_\rho)/2}\langle H_c^*({\bf X}({\bf w})),E(\rho)\rangle.

The conjecture relates cohomology after multiplication by the longest Weyl-group element to the Ennola involution; the surrounding periodicity claims are verified in rank 22 and in the cases computed in the paper.

Sources & referencesView supporting material

Primary source

François Digne, Jean Michel and Raphaël Rouquier, “Cohomologie des variétés de Deligne-Lusztig”, arXiv:math/0410454 (2006).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.