The si-full-rank conjecture for Deligne–Lusztig cohomology maps

Let w=swsw=sw's be an element of the Weyl group with ll(w)=ll(w)+2ll(w)=ll(w')+2, and let Z=X(w)X(sw)Z=X(w)\cup X(sw'). For i0i\geq 0, write

Hci(Z)=Hci2(Z)(1)=AB,H^{i}_c(Z)=H^{i-2}_c(Z')(-1)=A\oplus B,

where

Acoker(Hci3(X(w))Hci2(X(ws)))(1)A\cong \operatorname{coker}\big(H^{i-3}_c(X(w'))\longrightarrow H^{i-2}_c(X(w's))\big)(-1)

and

B=ker(Hci2(X(w))Hci1(X(ws)))(1).B=\ker\big(H^{i-2}_c(X(w'))\longrightarrow H^{i-1}_c(X(w's))\big)(-1).

Let ri=rw,swi:Hci(Z)Hci(X(sw))r^i=r^i_{w,sw'}:H^i_c(Z)\longrightarrow H^i_c(X(sw')) be the natural map. Si-full-rank conjecture. For i0i\geq 0, the restriction

rBi:BHci(X(sw))r^i_{\mid B}:B\longrightarrow H^i_c(X(sw'))

has si-full rank. The conjecture is motivated by the preceding surjectivity result and concerns the contribution of the summand BB to the compactly supported cohomology of the Deligne–Lusztig variety X(sw)X(sw'); its status is not resolved in the supplied source.

Sources & referencesView supporting material

Primary source

Sascha Orlik, “The cohomology of Deligne-Lusztig varieties for the general linear group”, arXiv:1302.0428 (2014).

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.