Rankin–Cohen Brackets

• Rankin–Cohen brackets are bilinear differential operators acting on modular objects, establishing a graded algebra structure in modular form theory.
• They employ explicit derivatives and combinatorial coefficients from Jacobi polynomials to reveal deep links with representation theory and noncommutative deformations.
• Applications include constructing cusp forms, developing star-product deformations in arithmetic geometry, and analyzing congruences and special L-values.

A Rankin--Cohen bracket is a canonical family of bilinear differential operators acting on modular-type objects, most classically on pairs of holomorphic modular forms, but extending with rich algebraic and representation-theoretic content to contexts as diverse as automorphic forms for higher-rank groups, Jacobi forms, quasimodular forms, and the theory of deformation and symmetry-breaking operators. The classical brackets realize a structured noncommutative deformation of the commutative algebra of modular forms, intertwine with key representation-theoretic branching rules, encode orthogonal polynomial combinatorics, and serve as universal algebraic and analytic tools for producing and classifying modular and cusp forms.

1. Classical Definition and Properties

Given holomorphic modular forms $f\in M_k$ and $g\in M_\ell$ for a subgroup $\Gamma\subset SL_2(\mathbb R)$, the $n$th Rankin--Cohen bracket is defined as

$$[f,g]_n(z) = \sum_{r=0}^n (-1)^r \binom{k+n-1}{n-r} \binom{\ell+n-1}{r} f^{(r)}(z) g^{(n-r)}(z),$$

where $f^{(r)}$ denotes the $r$-th derivative, normalized as $(2\pi i)^{-r}\frac{d^r}{dz^r}f(z)$ if $z$ is the upper half-plane coordinate. This bracket is bilinear, graded by weight, and for $f$ of weight $k$ and $g$ of weight $\ell$, $[f,g]_n$ is a modular form of weight $k+\ell+2n$ for $\Gamma$ (Choie et al., 2010, Jha et al., 2016, Kobayashi et al., 22 Jan 2026).

Key algebraic relations include:

• Skew-symmetry: $[f,g]_n=(-1)^n [g,f]_n$.
• Jacobi identity: For $n=1$, the brackets satisfy a graded Jacobi-type relation (Nikdelan, 6 Mar 2025).
• Graded Leibniz rule: $$[f,gh]_n = \sum_{r=0}^n \binom{n}{r}[f,g]_{n-r} h^{(r)} + f^{(r)}[f,h]_{n-r}$$.
• Closure under modular forms: For $n>0$ at least one argument cuspidal, $[f,g]_n$ is cuspidal (Jha et al., 2016, Beyerl, 2021).

These brackets equip graded algebras of modular forms, quasimodular forms, and more general structures with the richer structure of a "Rankin--Cohen algebra" (Nikdelan, 6 Mar 2025, Choie et al., 2018).

2. Representation Theory and Covariance

The Rankin--Cohen brackets encode the fusion rules for holomorphic discrete series representations of $SL(2,\mathbb R)$: If $\pi_k, \pi_\ell$ are the holomorphic discrete series of weights $k,\ell>1$, then

$$\pi_k \otimes \pi_\ell \cong \bigoplus_{n=0}^\infty \pi_{k+\ell+2n},$$

with the intertwiners corresponding exactly to the $n$th Rankin--Cohen bracket (Kobayashi et al., 22 Jan 2026, Kobayashi et al., 2013).

Covariance holds in the form

$[g \cdot f, g \cdot h]_n = g \cdot [f,h]_n,$

for the group action $g$ by weight on forms and their differentials. This is realized explicitly via generating-operator and contour integral constructions (Kobayashi et al., 2024, Kobayashi et al., 2023).

In higher-rank or broader geometric contexts (e.g., SO(n+1,1), tube-type domains), generalizations of Rankin--Cohen brackets arise as symmetry-breaking or intertwining bi-differential operators, with combinatorial structures imprinted by generalizations of Jacobi and hypergeometric polynomials (Kobayashi et al., 2013, Somberg, 2013, Clerc, 2020, Saïd et al., 2018).

3. Generating Operators, Orthogonal Polynomials, and Algebraic Frameworks

A single generating operator $T(z,t)$ packages the whole Rankin--Cohen family via a contour integral

$$(Tf)(z,t) = \frac{1}{(2\pi i)^2} \oint_{C_1}\oint_{C_2} \frac{f(\zeta_1, \zeta_2)}{(\zeta_1-z)(\zeta_2-z)+t(\zeta_1-\zeta_2)} d\zeta_1 d\zeta_2,$$

yielding

$$(Tf)(z,t) = \sum_{n=0}^\infty \frac{t^n}{n!} R_n f(z),$$

where $R_n$ is the $n$th Rankin--Cohen bidifferential operator (Kobayashi et al., 2023, Kobayashi et al., 2024).

The combinatorial coefficients in the brackets are encoded by Jacobi polynomials, and more generally, by families of orthogonal polynomials and Racah polynomials in the context of identities and associativity (Labriet et al., 2023, Kobayashi et al., 22 Jan 2026, Clerc, 2020). This orthogonal polynomial framework links Rankin--Cohen brackets to the universal algebraic structure of standard and canonical RC-algebras (Rankin--Cohen algebras), which are closed under all bracket operations and enjoy relations equivalent to those found for modular forms (Nikdelan, 6 Mar 2025, Choie et al., 2018).

4. Formal Deformations and Star-Product

The family $\{[f,g]_n\}$ defines an associative deformation (star-product)

$$f \star_t g = \sum_{n=0}^\infty \frac{t^n}{n!} [f,g]_n,$$

on the graded algebra of modular or Jacobi forms (Choie et al., 2018). This property, which hinges on universal identities such as those involving Racah coefficients, was originally formalized by Zagier and further developed in the noncommutative algebraic setting, with formal associativity ultimately reducing to polynomial identities among the brackets (Labriet et al., 2023, Nikdelan, 6 Mar 2025). The star-product encodes, in particular, nontrivial deformations relevant for symplectic geometry and deformation quantization, and its structure persists through localization, extension, and restriction in various modular-type algebras (Choie et al., 2018).

5. Generalizations: Quasimodular Forms, Vector-Valued Forms, Orthogonal and Tube Domains

Rankin--Cohen brackets naturally extend:

• Quasimodular forms: Extended and modified brackets give (with suitable correction terms) modular linear differential operators of any order, preserve depth, and govern the structure of quasimodular and almost holomorphic modular forms (Nagatomo et al., 2022, Nikdelan, 6 Mar 2025).
• Vector-valued and Jacobi forms: Explicit formulae generalize the classical scalar case, with tensor product properties determined by representation theory and isomorphisms such as the theta decomposition (Lee et al., 19 Jan 2026).
• Calabi–Yau modular forms: The RC construction, using a graded algebra and degree-2 derivation, yields canonical RC-algebras for Calabi-Yau moduli (e.g., Dwork family) closed under all brackets (Nikdelan, 2019, Nikdelan, 6 Mar 2025).
• Automorphic and orthogonal groups: Higher Rankin--Cohen brackets involve differential operators like the holomorphic Laplacian, acting in the context of $O(n,2)$ or tube-domain automorphic forms, with applications to congruences and Borcherds products (Wang et al., 2023, Clerc, 2020).
• Poincaré series and modular linear differential operators: The brackets commute with Poincaré averaging, yielding expressions for Serre derivatives and identities for important modular quantities such as Ramanujan’s $\tau$-function (Williams, 2018).

6. Applications and Arithmetic Implications

Rankin--Cohen brackets serve as operators for:

• Construction of new cusp forms: The map $f\mapsto [f,g]_n$ (for fixed $g$) produces cusp forms whose Fourier coefficients relate to special values of Rankin–Selberg $L$-functions (Jha et al., 2016).
• Hecke eigenform structure: The bracket $[f,g]_n$ can only be an eigenform due to dimension constraints except for forced low-dimensional coincidences, providing evidence for and links to Maeda’s conjecture (Beyerl, 2021, Zhang et al., 2024, Choie et al., 2024, Zhang et al., 2024).
• Automorphic congruences: In the context of automorphic forms for $O(n,2)$, the first bracket vanishing modulo $p$ yields congruences for reflective Borcherds products, controlled entirely by weights and combinatorial factors (Wang et al., 2023).
• Special values and critical $L$-values: The adjoints of the bracket map, as well as explicit inner product computations, relate directly to special $L$-values and fuel explicit formulas for Petersson inner products in classical and Hilbert modular settings (Jha et al., 2016, Zhang et al., 2024, Choie et al., 2024).
• Deformations of Jacobi and modular forms: The formal deformation structure has implications for the arithmetic geometry of modular and Jacobi forms, including classifications up to modular isomorphism (Choie et al., 2018).

7. Higher-Dimensional and Geometric Constructions

Beyond the one-dimensional modular setting, analogues of the Rankin--Cohen brackets have been constructed for:

• Tube-type symmetric domains: The formula for bi-differential operators generalizes using families of multivariable polynomials as higher-rank analogues of Jacobi polynomials, achieving branching decompositions for holomorphic discrete series (Clerc, 2020).
• Conformally covariant operators on differential forms: On Euclidean spaces, replacing $SL(2,\mathbb R)$ by $SO(1,n+1)$, and scalar functions by differential forms, the brackets generalize to explicit, conformally covariant bilinear differential operators, with covariance controlled by representation-theoretic parameters (Saïd et al., 2018, Somberg, 2013).

This extensive web of generalizations shows the structural role played by Rankin--Cohen brackets in analysis, geometry, representation theory, arithmetic, and deformation theory. They not only provide a mechanism for constructing modular objects but also encode and control deep algebraic, geometric, and arithmetic phenomena.