Block orthogonality conjecture for principal blocks of \mathbb{Z}_\ell-spetses

Let G=(W,Λ)\mathbb{G}=(W,\Lambda) be a simply connected Zℓ\mathbb{Z}_\ell-spets such that ℓ>2\ell>2 is very good for G\mathbb{G} and coprime with ∣W∣|W|. Let q∈1+ℓZℓq\in1+\ell\mathbb{Z}_\ell, let SS be the Sylow ℓ\ell-subgroup of G(q)\mathbb{G}(q), and let B0B_0 be the principal block of G(q)\mathbb{G}(q). For t∈St\in S, write B0(t)B_0(t) for the principal block of CG(t)C_{\mathbb{G}}(t), and write t∼Ft′t\sim_{\mathcal F}t' for F\mathcal F-conjugacy. Block orthogonality conjecture. For all t,t′∈St,t'\in S,

∑χ∈Irr⁡(B0)χ(t)χ(t′)‾={dim⁡(B0(t))if t∼Ft′,0otherwise.\sum_{\chi \in \operatorname{Irr}(B_0)} \chi(t)\overline{\chi(t')} = \begin{cases} \dim(B_0(t))& \text{if $t\sim_{\mathcal F} t'$,}\\ 0& \text{otherwise.}\end{cases}

This is the spetsial analogue of block orthogonality for principal blocks of finite groups. It follows when the associated Hecke algebra is strongly symmetric, and the general assertion remains conjectural.

References

Primary source

Radha Kessar, Gunter Malle and Jason Semeraro, “Partial character tables for Z_-spetses”, arXiv:2507.08502 (2025).

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.