Steinberg tensor-product vanishing conjecture for X(G)\mathscr{X}({\bf G})

Let G{\bf G} be the group under consideration, let k\Bbbk be the coefficient field, let T{\bf T} be its torus, and let St⁡\operatorname{St} denote the Steinberg module. For a character θ∈T^\theta\in\widehat{\bf T}, let E(θ)JE(\theta)_J be the simple object of X(G)\mathscr{X}({\bf G}) indexed by θ\theta and J⊂I(θ)J\subset I(\theta). Steinberg tensor-product vanishing conjecture. For every nontrivial character θ∈T^\theta\in\widehat{\bf T} and every J⊂I(θ)J\subset I(\theta), one has

Hom⁡kG(St⁡⊗St⁡,E(θ)J)=0.\operatorname{Hom}_{\Bbbk {\bf G}}(\operatorname{St}\otimes\operatorname{St},E(\theta)_J)=0.

This is presented as a simplification of the weight-support vanishing conjecture and concerns the tensor square of the Steinberg module. The source gives no proof or resolution of this formulation.

References

Primary source

Junbin Dong, “Some conjectures on the quotients of the tensor products in the category X”, arXiv:2508.00488 (2026).

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.