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

At least 1 year old · documented by

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 k∈Z/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 k∈Z/pZk\in\mathbb{Z}/p\mathbb{Z}, one has

dim⁡KZ(Hr,n(K))(k)=dim⁡KZ(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

dim⁡KZ(Hr,p,n(K))=dim⁡KZ(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.

References

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.