Goresky–Kottwitz–Macpherson purity conjecture for affine Springer fibers

Let k=Fqk=\mathbf{F}_{q}, let GG be a connected reductive group split over kk, and let γt(O)\gamma\in \mathfrak{t}(\mathcal{O}) be regular, with affine Springer fiber

Xγ={gG(F)/KAd(g1)γg(O)}.\mathscr{X}_{\gamma}=\{g\in G(F)/K\mid\operatorname{Ad}(g^{-1})\gamma\in\mathfrak{g}(\mathcal{O})\}.

Here F=k((ϵ))F=k((\epsilon)), O=k[[ϵ]]\mathcal{O}=k[[\epsilon]], K=G(O)K=G(\mathcal{O}), and Xγ,kˉ\mathscr{X}_{\gamma,\bar{k}} denotes base change to an algebraic closure. Goresky–Kottwitz–Macpherson purity conjecture. The cohomology of Xγ\mathscr{X}_{\gamma} is pure in the sense of Deligne: the eigenvalues of Frobenius Frq\operatorname{Fr}_{q} on Hi(Xγ,kˉ,Ql)H^{i}(\mathscr{X}_{\gamma,\bar{k}},\overline{\mathbf{Q}}_{l}) have absolute value qi/2q^{i/2} under every embedding QlC\overline{\mathbf{Q}}_{l}\to\mathbf{C}. This purity conjecture is known in some cases, notably when affine pavings are available, but is not resolved in general.

Sources & referencesView supporting material

Primary source

Zongbin Chen, “On the fundamental domain of affine Springer fibers”, arXiv:1303.4630 (2016).

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.