Group-Theoretical Origin of the Sectoral-Tesseral-Zonal Trichotomy in Spherical Harmonics

TL;DR

This work reveals that the sectoral-tesseral-zonal trichotomy of spherical harmonics arises from the SO(3) representation theory, with sectoral modes satisfying the first-order condition $L_+\psi=0$ and admitting a continuous extension in $m>0$, while tesseral and zonal modes require finite, integer ladder closures. The authors show that non-integer azimuthal indices become physically meaningful only when azimuthal domains are restricted (e.g., conducting wedges), and that the key analytic and algebraic constraint is the termination condition $\nu-m\in\mathbb{Z}_{\ge0}$ governing tesseral modes. They rigorously connect group-theoretical structure to electromagnetic cavity spectra, and validate the predictions with high-precision finite-element simulations across multiple wedge geometries, including non-integer $m$ and a control integer-$m$ case. The results provide a universal framework for understanding angular spectra in systems governed by the angular Laplacian, with potential implications for wave problems in central potentials, cosmological spacetimes with conical deficits, and black-hole perturbations.

Abstract

The spherical harmonics $Y_\ell^m$ fall into three families -- sectoral ($\ell = |m|$), tesseral ($\ell > |m| > 0$), and zonal ($m = 0$) -- which exhibit fundamentally different behaviour under analytic continuation to non-integer parameters. We demonstrate that this trichotomy has a natural explanation in the representation theory of SO(3). Sectoral harmonics correspond to highest-weight vectors annihilated by the raising operator $L_+$; this annihilation condition reduces to a first-order differential equation admitting solutions for any real $m > 0$, independent of representation-theoretic constraints. Tesseral harmonics arise from the full ladder algebra acting on highest-weight states; for non-integer $m$, this construction yields tesseral modes at $ν= m + k$ for positive integer $k$, with the hypergeometric series terminating when $ν- m$ is a non-negative integer. Zonal harmonics with $m = 0$ require integer $ν$ on the full sphere, but TE-polarised zonal modes survive in wedge geometries because their electric field components automatically satisfy the conducting boundary conditions. Numerical simulations of electromagnetic cavities with conducting wedges confirm these predictions quantitatively: both sectoral modes ($ν= m$) and tesseral modes ($ν= m + k$) are observed with sub-percent frequency agreement, validating the extended framework for non-integer azimuthal index.

Figures (2)

• Figure 1: The $(\nu, m)$ parameter space for domains including both poles. Integer spherical harmonics occupy lattice points (black dots) with $|m| \leq \nu$. The diagonal $\nu = |m|$ corresponds to sectoral (highest-weight) modes; points along the dashed diagonals with $\nu = |m| + k$ ($k \in \mathbb{Z}^+$) are tesseral modes reached by $k$ applications of the lowering operator. The region $|m| > \nu$ is forbidden when regularity at both poles is required, as assumed throughout this paper; conical truncations that exclude a pole can violate this constraint but are not addressed here. For non-integer $m$ (e.g., $m = 2/3$ from a wedge geometry), the same structure applies: sectoral at $\nu = m$, tesseral at $\nu = m + k$.
• Figure 2: Schematic comparison of the two boundary modifications. (a) A conducting wedge restricts the azimuthal domain to $\phi \in [0, \Phi]$, replacing the single-valuedness condition with PEC boundary conditions and permitting non-integer $m = n\pi/\Phi$. (b) A conducting cone at polar angle $\theta_c$ truncates the domain to $\theta \in [\theta_c, \pi]$, replacing the north-pole regularity condition with a PEC boundary and permitting non-integer $\nu$. The wedge modification preserves the highest-weight structure (Section \ref{['sec:cavities']}), while the cone creates a different boundary-value problem.

Theorems & Definitions (10)

• Theorem 3.1: Continuous Sectoral Family
• proof
• Remark 3.1: Domain of validity
• Remark 3.2: The boundary at $m \to 0^+$
• Theorem 4.1: Integrality Requirement
• proof
• Proposition 4.2: Singularity Dichotomy
• Remark 4.1: Algebraic versus analytical perspectives
• Theorem 5.1: Group-Theoretical Classification
• Remark 5.1: Analytical versus algebraic perspectives