[Paper Review] Rankin-Cohen brackets for orthogonal Lie algebras and bilinear conformally invariant differential operators

Petr Somberg|arXiv (Cornell University)|Jan 12, 2013

Algebraic structures and combinatorial models7 references7 citations

TL;DR

This paper classifies scalar-valued bilinear conformally equivariant differential operators on the conformal sphere $S^n$ using Lie-theoretic methods, specifically via the F-method and generalized Verma modules for $so(n+1,1,\mathbb{R})$. The key result is an explicit formula for Rankin-Cohen-type operators $B_N$ in terms of Laplacians and mixed derivatives, parameterized by coefficients involving ${}_3F_2$ hypergeometric functions.

ABSTRACT

Based on the Lie theoretical methods of algebraic Fourier transformation, we classify in the case of generic values of inducing parameters the scalar singular vectors corresponding to the diagonal branching rules for scalar generalized Verma modules in the case of orthogonal Lie algebra and its conformal parabolic subalgebra with commutative nilradical, thereby realizing the diagonal branching rules in an explicit way. The complicated combinatorial structure of singular vectors is conveniently determined in terms of recursion relations for the generalized hypergeometric function ${}_3F_2$. As a geometrical application, we classify bilinear conformally equivariant differential operators acting on homogeneous line bundles on the flag manifold given by conformal sphere $S^n$.

Motivation & Objective

• To classify scalar-valued bilinear conformally equivariant differential operators acting on sections of homogeneous line bundles over the conformal sphere $S^n$.
• To realize diagonal branching rules for scalar generalized Verma modules of $so(n+1,1,\mathbb{R})$ with respect to its conformal parabolic subalgebra.
• To provide an explicit construction of singular vectors in generalized Verma modules using recursion relations for ${}_3F_2$ hypergeometric functions.
• To establish a correspondence between equivariant differential operators and homomorphisms of generalized Verma modules via the F-method.

Proposed method

• The F-method is applied to transform the problem of classifying equivariant differential operators into a Lie algebraic problem of characterizing homomorphisms between generalized Verma modules.
• Singular vectors in generalized Verma modules are constructed by solving a four-term functional equation arising from the action of the positive nilradical of $so(n+1,1,\mathbb{R})$.
• The coefficients of singular vectors are determined via recursion relations tied to the generalized hypergeometric function ${}_3F_2$, enabling explicit parametrization.
• The inverse algebraic Fourier transform is used to translate solutions from the dual space back to the original differential operator framework.
• The classification is achieved by identifying $P_{\mathbb{R}}$-invariant elements in tensor products of universal enveloping algebras and dual representations.
• Explicit formulas for the operators $B_N$ are derived by expressing them as linear combinations of differential monomials $\tilde{s}^i\tilde{t}^j\tilde{r}^k$ with coefficients $A_{i,j}(-\lambda,-\mu)$.

Experimental results

Research questions

• RQ1 What is the complete set of scalar-valued bilinear conformally equivariant differential operators acting on sections of homogeneous line bundles over $S^n$?
• RQ2 How can the diagonal branching rules for scalar generalized Verma modules of $so(n+1,1,\mathbb{R})$ be explicitly realized in terms of singular vectors?
• RQ3 What is the role of the generalized hypergeometric function ${}_3F_2$ in parametrizing the coefficients of these singular vectors?
• RQ4 How do the coefficients $A_{i,j}(\lambda,\mu)$ in the operator $B_N$ depend on the inducing parameters $\lambda, \mu$ and the order $N$?
• RQ5 Can the full system of equivariant differential operators be reconstructed from the structure of singular vectors in generalized Verma modules?

Key findings

• The set of all scalar-valued conformally equivariant bilinear differential operators $\{B_N\}_{N\in\mathbb{N}}$ is completely determined by the formula $B_N = \sum_{i+j+k=N} A_{i,j}(-\lambda,-\mu) \iota^* \tilde{s}^i \tilde{t}^j \tilde{r}^k$, where $\tilde{s} = \triangle_x$, $\tilde{t} = \triangle_y$, and $\tilde{r} = \sum_i \partial_{x_i}\partial_{y_i}$.
• The coefficients $A_{i,j}(\lambda,\mu)$ are explicitly given by equation (3.5) and are expressed in terms of the generalized hypergeometric function ${}_3F_2$, which governs the combinatorial structure of the singular vectors.
• The construction of singular vectors reduces to solving a four-term functional equation, whose solutions are encoded in the ${}_3F_2$ function, providing a complete parametrization for generic inducing parameters.
• The operators $B_N$ map smooth sections of $L_\lambda$ and $L_\mu$ on $S^n$ to smooth sections of $L_{\lambda+\mu-2N}$, preserving conformal covariance.
• The classification is achieved via the F-method and duality, with the inverse Fourier transform used to recover the differential operators from solutions in the dual space.
• The result generalizes classical Rankin-Cohen brackets to the orthogonal group setting, providing a geometric realization on the conformal sphere $S^n$.