Adjoint Steinberg conjecture

Let G~\tilde{G} be the relevant reductive group, let Z(G~)Z(\tilde{G}) denote its center, and let V(λk)V(\lambda_k), for k=1,,lk=1,\ldots,l, be the fundamental representations under consideration. Two semisimple elements are considered equivalent in each setting up to multiplication by a scalar, and in G~\tilde{G} up to multiplication by an element of Z(G~)Z(\tilde{G}). Adjoint Steinberg conjecture. Semisimple elements of G~\tilde{G} are conjugate in G~\tilde{G} up to a multiple of an element in Z(G~)Z(\tilde{G}) if and only if they are conjugate in GL(V(λk))\operatorname{GL}(V(\lambda_k)) up to a constant for k=1,,lk=1,\ldots,l. This question is motivated by Steinberg's related conjecture concerning detection of conjugacy by all irreducible rational representations; the claim is known for groups of AlA_l-type in the cases described in the source, but remains open in general.

Sources & referencesView supporting material

Primary source

Yunsong Wei, “Diagonal orbits in the wonderful compactification”, arXiv:2505.12749 (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.