Dimension-equality conjecture for centers of cyclotomic Hecke algebras of type G(r,p,n)G(r,p,n)

Let r,p,nr,p,n be the parameters of the cyclotomic Hecke algebras, let KK be the relevant specialization field, let K\mathscr{K} be the generic field, and let Z(Hr,n(K))(k)Z(\mathscr{H}_{r,n}(K))^{(k)} and Z(Hr,n(K))(k)Z(\mathscr{H}_{r,n}(\mathscr{K}))^{(k)} denote the kk-weight components of their centers for kZ/pZk\in\mathbb{Z}/p\mathbb{Z}. Write Z(Hr,p,n(K))Z(\mathscr{H}_{r,p,n}(K)) and Z(Hr,p,n(K))Z(\mathscr{H}_{r,p,n}(\mathscr{K})) for the centers of the corresponding Hecke algebras. Dimension-equality conjecture. For any kZ/pZk\in\mathbb{Z}/p\mathbb{Z}, one has

dimKZ(Hr,n(K))(k)=dimKZ(Hr,n(K))(k),\dim_K Z(\mathscr{H}_{r,n}(K))^{(k)}=\dim_{\mathscr{K}}Z(\mathscr{H}_{r,n}(\mathscr{K}))^{(k)},

and

dimKZ(Hr,p,n(K))=dimKZ(Hr,p,n(K)).\dim_K Z(\mathscr{H}_{r,p,n}(K))=\dim_{\mathscr{K}}Z(\mathscr{H}_{r,p,n}(\mathscr{K})).

These equalities would establish that specialization preserves the relevant dimensions of the centers, a key step toward constructing a seminormal basis for the cyclotomic Hecke algebra of type G(r,p,n)G(r,p,n). The supplied context does not state whether the conjecture is proved or remains open.

Sources & referencesView supporting material

Primary source

Jun Hu and Shixuan Wang, “Seminormal basis for the cyclotomic Hecke algebra of type G(r,p,n)”, arXiv:2410.13158 (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.