---
title: Rankin–Cohen Brackets
url: https://www.emergentmind.com/topics/rankin-cohen-brackets
type: topic
---

# Rankin–Cohen Brackets

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$ [1008.5184, 1607.03511, 2601.15750].

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 [2503.04080].
- **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 [1607.03511, 2105.11316].

These brackets equip graded algebras of modular forms, quasimodular forms, and more general structures with the richer structure of a "Rankin--Cohen algebra" [2503.04080, 1801.00582].

## 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 [2601.15750, 1301.2111].

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 [2402.05363, 2306.16800].

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 [1301.2111, 1301.2687, 2003.06133, 1809.06290].

## 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 [2306.16800, 2402.05363].

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 [2304.10803, 2601.15750, 2003.06133]. 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 [2503.04080, 1801.00582].

## 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 [1801.00582]. 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 [2304.10803, 2503.04080]. 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 [1801.00582].

## 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 [2210.10686, 2503.04080].
- **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 [2601.12860].
- **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 [1912.12809, 2503.04080].
- **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 [2307.14222, 2003.06133].
- **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 [1801.01906].

## 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 [1607.03511].
- **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 [2105.11316, 2405.17887, 2405.16745, 2405.17887].
- **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 [2307.14222].
- **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 [1607.03511, 2405.17887, 2405.16745].
- **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 [1801.00582].

## 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 [2003.06133].
- **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 [1809.06290, 1301.2687].

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.

Source: https://www.emergentmind.com/topics/rankin-cohen-brackets