Brosnan's decomposition and Weyl-group monodromy conjecture

Let GG be a connected reductive algebraic group over C\mathbb{C}, let MM be a Hessenberg subspace, and let πM:G×BMg\pi_M:G\times^B M\to\mathfrak{g} be the Hessenberg map. Let grs\mathfrak{g}^{rs} be the Zariski open dense subset of regular semisimple elements, let d=dim(G×BM)d=\dim(G\times^B M), and let WW be the Weyl group of GG. For each local system Vi\mathcal{V}_i on grs\mathfrak{g}^{rs}, write IC(grs,Vi)\operatorname{IC}(\overline{\mathfrak{g}^{rs}},\mathcal{V}_i) for its intermediate extension to g=grs\mathfrak{g}=\overline{\mathfrak{g}^{rs}}. Brosnan's conjecture. The complex RπMC[d]R\pi_{M*}\underline{\mathbb{C}}[d] is a direct sum of shifted intermediate extensions of irreducible local systems on grs\mathfrak{g}^{rs}, namely

RπMC[d]=IC(grs,Vi)[ai],R\pi_{M*}\underline{\mathbb{C}}[d]=\bigoplus \operatorname{IC}(\overline{\mathfrak{g}^{rs}},\mathcal{V}_i)[a_i],

where each Vi\mathcal{V}_i is irreducible and, for every ygrsy\in\mathfrak{g}^{rs}, the monodromy action of π1(grs,y)\pi_1(\mathfrak{g}^{rs},y) on the stalk Vi,y\mathcal{V}_{i,y} factors through WW. This conjecture concerns a decomposition-theorem description of the Hessenberg direct image together with Weyl-group control of its monodromy. The source gives no evidence of resolution, so its status remains open.

Sources & referencesView supporting material

Primary source

Ke Xue, “Affine Pavings of Hessenberg Ideal Fibers”, arXiv:2007.08712 (2024).

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.