Naive classification conjecture for class-one representations of SO(n)SO(n)

Let SO(n)SO(n) be the special orthogonal group, and let SO(n1)SO(n-1) be the subgroup fixing the first coordinate. A class-one representation means an irreducible representation admitting a nonzero SO(n1)SO(n-1)-invariant vector. For an element γSO(n)\gamma\in SO(n), write γ11\gamma_{11} for its upper-left entry, let P(n1)P^{(n-1)} denote the relevant Gegenbauer polynomial, and let χ\chi denote the indicator function. Naive classification conjecture. Every irreducible class-one representation of SO(n)SO(n) arises from one of the states

φ(γ)=P(n1)(γ11),φ(γ)=χ(γ11=1γ11=1),\varphi(\gamma)=P^{(n-1)}(\gamma_{11}),\qquad \varphi(\gamma)=\chi(\gamma_{11}=1\vee\gamma_{11}=-1),

or

φ(γ)=γ11χ(γ11=1γ11=1).\varphi(\gamma)=\gamma_{11}\chi(\gamma_{11}=1\vee\gamma_{11}=-1).

This would classify the possible invariant states underlying class-one representations and clarify whether discontinuous representations produce additional positive definite functions. The source presents this explicitly as a naive conjecture and gives no resolution.

Sources & referencesView supporting material

Primary source

Sujit Sakharam Damase and James Eldred Pascoe, “Complete discrete Schoenberg-Delsarte theory for homogeneous spaces”, arXiv:2602.09010 (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.