Goresky–Kottwitz–Macpherson purity conjecture for affine Springer fibers

About 13 years old · traced to

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γ={g∈G(F)/K∣Ad⁡(g−1)γ∈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 Fr⁡q\operatorname{Fr}_{q} on Hi(Xγ,kˉ,Q‾l)H^{i}(\mathscr{X}_{\gamma,\bar{k}},\overline{\mathbf{Q}}_{l}) have absolute value qi/2q^{i/2} under every embedding Q‾l→C\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.

References

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.