Differential Symmetry Breaking Operators

• Differential symmetry breaking operators are intertwining differential operators that map sections between equivariant bundles while explicitly reducing symmetry in geometric and algebraic contexts.
• They employ the F-method and symbol calculus to construct precise operator formulas, bridging the gap between abstract representation theory and concrete differential equations.
• Their applications span conformal geometry, automorphic forms, and representation theory, offering clear branching laws, factorization identities, and insights into invariant structures.

Differential symmetry breaking operators are intertwining differential operators that break equivariant symmetry from a larger group (or homogeneous space) to a subgroup (or subspace), capturing the explicit branching of representations in geometric, analytic, and algebraic settings. They are central in the study of representation restriction, branching problems, conformal geometry, automorphic forms, and the transfer of structures between several geometric and algebraic contexts.

1. Abstract Definition and Duality Theorem

Let $G\supset G'$ be real reductive Lie groups, with corresponding homogeneous spaces $X=G/H$, $Y=G'/H'$, and equivariant vector bundles $V_X=G\times_H V\to X$, $W_Y=G'\times_{H'} W\to Y$, for $H'\subset H$. Consider the restriction map $p:Y\to X$. A differential symmetry breaking operator (DSBO) is a $G'$-intertwining local operator

$D: C^\infty(X,V_X) \longrightarrow C^\infty(Y,W_Y)$

satisfying $\mathrm{Supp}(Df) \subset p^{-1}(\mathrm{Supp}\,f)$; equivalently, its Schwartz kernel is supported on the graph $\Delta(Y)=\{(p(y),y): y\in Y\}$ (Kobayashi et al., 2013). On the algebraic side, this corresponds to a homomorphism between generalized Verma modules: $$\mathrm{Hom}_{(\mathfrak{g}',H')}\left(\mathrm{ind}_{\mathfrak{h}'}^{\mathfrak{g}'}(W^\vee),\, \mathrm{ind}_{\mathfrak{h}}^{\mathfrak{g}}(V^\vee)\right) \simeq \mathrm{Diff}_{G'}(V_X,W_Y).$$ This duality theorem ensures that every such operator arises from a unique (up to scalar) homomorphism in representation theory, and provides a concrete translation between geometric and algebraic problems.

2. The F-method and Symbol Calculus

The F-method characterizes DSBOs using algebraic Fourier transform and polynomial symbol calculus. For a parabolic $P=L N_+$ with abelian $\mathfrak{n}_+$, one realizes sections on the open Bruhat cell via coordinates on $\mathfrak{n}_-$, and then maps distributions to polynomials: $$\mathcal{F}_c: \mathcal{D}_0'(\mathfrak{n}_-)\otimes V^\vee \longrightarrow \mathrm{Pol}(\mathfrak{n}_+)\otimes V^\vee$$ with the $\mathfrak{g}$-action transferred accordingly. DSBOs correspond to polynomial solutions $\psi(\zeta)$ of a system of PDEs encoding $L'$-equivariance and annihilation by $\mathfrak{n}_+'$: $$\left\{ \begin{array}{l} \mathrm{Ad}_\#(\ell)\psi = \nu(\ell)\circ\psi\circ\lambda(\ell^{-1}) \quad \forall \ell\in L', \ (\widehat{d\pi}_\mu(C)\otimes 1 + 1\otimes\nu(C))\psi=0 \quad \forall C\in \mathfrak{n}_+'. \end{array} \right.$$ The symbol map and its truncated version extend this method to non-abelian nil radicals, permitting explicit operator and Verma-homomorphism construction in cases such as full flag varieties for $SL(3,\mathbb{R})$, with combinatorial expressions involving Cayley continuants and Krawtchouk polynomials (Kubo et al., 30 Jun 2025).

3. Holomorphic Localness and Hermitian/Symmetric Geometries

In Hermitian symmetric and holomorphic settings, every continuous symmetry breaking operator is automatically differential—there are no genuinely nonlocal $G'$-equivariant maps between holomorphic sections. This is formalized by the holomorphic localness theorem: for Hermitian symmetric spaces $G/K\subset G_\mathbb{C}/P_\mathbb{C}$ and $G'/K'\subset G'_\mathbb{C}/P'_\mathbb{C}$ embedded compatibly,

$$\mathrm{Hom}_{G'}\left(\mathcal{O}(G/K,V),\,\mathcal{O}(G'/K',W)\right)=\mathrm{Diff}_{G'}^{\rm hol}(V_X,W_Y)$$

with every DSBO extending holomorphically onto the flag variety (Kobayashi et al., 2013).

4. Explicit Formulae: Rankin–Cohen, Conformal, and Classical Operators

DSBOs often admit explicit, model-dependent formulas. In split rank-one and symmetric/pseudo-Riemannian settings, these formulas include classical Rankin–Cohen brackets and generalizations for tensor products, line and vector bundles, and differential forms:

• For $(SL(2),GL(1))$ and holomorphic discrete series, DSBOs take the shape: $$D_\ell f(z,w) = \sum_{j=0}^\ell (-1)^j c_{j,\ell} \frac{\partial^{\ell-j}}{\partial z^{\ell-j}} \frac{\partial^{j}}{\partial w^j} f(z,w)$$ with coefficients given by binomial, Jacobi, or Gegenbauer polynomials (Kobayashi et al., 2013, Murakami, 2024).
• On spheres ($S^n \to S^{n-1}$), conformally covariant operators (Juhl-type) and their matrix-valued counterparts yield: $$C_{i\to j}^{(\ell)}(f) = \mathrm{rest}_{x_n=0} \left( \sum_{j=0}^\ell c_j \Delta_{x'}^j \partial_{x_n}^{2\ell-2j} f \right)$$ arising as residues from meromorphic integral operators (Kobayashi et al., 2016, Kobayashi, 2017).
• In cases of vector bundles of rank $2N+1$ over $S^3$, DSBOs between principal series representations have formulae involving renormalized Gegenbauer operators and homogeneous polynomials, with full kinematic dependence on branching parameter and spin (Pérez-Valdés, 2023, Pérez-Valdés, 26 Mar 2025).

5. Classification, Multiplicity, and Sporadic Operators

Classification of DSBOs typically exhibits multiplicity-one for generic parameters, detected via the dimension of solution spaces to the F-system or via irreducibility of the branching. At singular/exceptional loci, multiplicity may jump, leading to additional DSBOs—often accompanied by vanishing of classical brackets (Rankin–Cohen) or appearance of extra singular vectors in the Verma module decomposition (Kobayashi et al., 2013, Murakami, 2024). Sporadic DSBOs—the term Editor's term for isolated solutions at exceptional parameters—cannot be realized as residues of regular meromorphic families and arise in settings with vanishing branching multiplicities or in non-trivial cohomological situations (Pérez-Valdés, 29 Jun 2025, Frahm et al., 2018).

6. Factorization Identities and Polynomial Structure

DSBOs admit factorization identities, decomposing higher-order operators into compositions of lower-order ones and fundamental covariant or invariant operators (Branson–Gover, Knapp–Stein intertwining, differential cascade). Such factorizations clarify the algebraic structure underlying representation restriction and supply recurrence or generation relations for orthogonal polynomial coefficients in explicit formulas (Fischmann et al., 2016, Kubo et al., 30 Jun 2025).

7. Algebraic, Geometric, and Analytic Applications

DSBOs serve as building blocks for:

• Explicit branching laws in representation theory (e.g., Verma module tensor product decompositions, branching for line and vector bundles over projective spaces (Frahm et al., 2017, Kubo, 2024));
• Conformal geometry, providing all conformally covariant operators for forms and functions across submanifolds, including generalizations of Q-curvature, Paneitz, and GJMS operators (Fischmann et al., 2016, Kobayashi et al., 2016, Kobayashi, 2017, Kobayashi et al., 2017);
• Automorphic forms theory, relating periods, cohomological representations, and transfer of spectral decomposition between symmetric spaces (Kobayashi, 2017);
• Representation-theoretic and analytic study of periods, cohomology, and geometric quantization, including applications in AdS/CFT and holographic branching (Pérez-Valdés, 26 Mar 2025, Pérez-Valdés, 2023).

---

Differential symmetry breaking operators form a bridge between geometry, analysis, and algebra, reflecting deep connections in the decomposition of representations, the structure of PDEs between spaces of sections, and the algebraic loci of invariant or equivariant maps. The theory is unified by the F-method and symbol calculus, and characterized by precise existence, uniqueness, and explicit formulae, with rich applications across mathematics and mathematical physics (Kobayashi et al., 2013).