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

Less than 1 year old · traced to

Let SO(n)SO(n) be the special orthogonal group, and let SO(n−1)SO(n-1) be the subgroup fixing the first coordinate. A class-one representation means an irreducible representation admitting a nonzero SO(n−1)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(n−1)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(n−1)(γ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.

References

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.