Hermitian Modular Operators Overview

• Hermitian modular operators are constructions acting on Hermitian modular forms, including Hecke, differential, theta, and heat operators on groups like U(n,n).
• They use differential criteria such as pluriharmonicity and covariance to transform scalar-valued forms into vector-valued ones while preserving automorphic properties.
• These operators facilitate pullback formulas, Eisenstein series constructions, and Fourier expansion manipulations, linking arithmetic theory with explicit representation theory.

Searching arXiv for papers on Hermitian modular operators, differential operators, and related Hecke/theta operator frameworks. arxiv_search(query="Hermitian modular operators differential operators Hermitian modular forms U(n,n) pullback formula", max_results=10) arxiv_search(query="Hermitian modular forms differential operators pullback formula U(n,n) Hecke theta operator", max_results=10) Hermitian modular operators are operator constructions acting on Hermitian modular forms on unitary groups such as $U(n,n)$. In the arithmetic literature, the term encompasses several distinct but related families: Hecke operators defined by double cosets, differential operators in matrix variables, Rankin–Cohen type bilinear brackets, Jacobian-based vector-valued operators, and Fourier-coefficient operators such as the Hermitian theta and heat operators. These operators are used to preserve or alter automorphic transformation laws, to pass from scalar-valued to vector-valued forms, to construct Eisenstein and Klingen-type series by pullback, and to study congruences and $L$-functions (Takeda, 2024).

1. Arithmetic setting and automorphy

The standard setting is a CM field $K$, often a quadratic imaginary extension of a totally real field $K^+$, together with the algebraic unitary group $U_n$ over $K^+$. In the $U(n,n)$ realization, the Hermitian upper half-space of degree $n$ is

$$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$

and an element $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$ acts by

$L$0

For vector-valued theory one uses the pair of automorphy factors

$L$1

or, equivalently, $L$2, and a representation $L$3 of $L$4. The slash operator is

$L$5

and a Hermitian modular form is a holomorphic $L$6-valued function fixed by the relevant congruence subgroup (Takeda, 2024).

Scalar-valued formulations appear in parallel. For a congruence subgroup $L$7, a scalar-valued Hermitian modular form $L$8 of weight $L$9 satisfies

$K$0

or equivalently $K$1 (Dunn, 2024). In degree $K$2, one frequently works with $K$3 or $K$4, and the Fourier expansion is indexed by positive semidefinite Hermitian matrices. A typical expansion is

$K$5

with cusp forms characterized by support on positive definite indices (Takeda, 2024).

The underlying representation theory is intrinsic to the operator theory. Dominant integral weights $K$6 and $K$7 parametrize irreducible algebraic representations $K$8 and $K$9 of $K^+$0, and tensor products $K^+$1 encode vector-valued weights. In low-dimensional structure theorems, the standard tensor product representation $K^+$2 appears as the natural target for first-order differential constructions (Freitag et al., 2014).

2. Differential-operator criteria on $K^+$3

A central problem is to determine when a differential operator on scalar Hermitian modular forms preserves automorphy after restriction and produces a vector-valued form of prescribed weight. In the pullback framework, one considers operators $K^+$4, where $K^+$5 is a polynomial in matrix derivatives. The operator-preservation criterion, formulated as Condition (A), states that the restriction of $K^+$6 must commute with the slash action in the appropriate vector-valued weight. The characterization is exact: $K^+$7 satisfies Condition (A) if and only if the associated polynomial symbols are pluriharmonic and covariant under blockwise $K^+$8-action (Takeda, 2024).

The pluriharmonicity condition is expressed after rewriting a polynomial $K^+$9 as

$U_n$0

and requiring $U_n$1 to be pluriharmonic in each pair $U_n$2. The covariance condition is

$U_n$3

This gives an exact intertwining criterion for an operator to map scalar forms of weight $U_n$4 to vector-valued forms of weight $U_n$5 (Takeda, 2024).

The recent explicit theory on $U_n$6 refines this criterion by introducing two-variable spherical pluriharmonic polynomials and explicit bases for their spaces. For $U_n$7, the mixed Laplacians

$U_n$8

define pluriharmonicity, while the induced Hermitian mixed Laplacians on $U_n$9 are

$K^+$0

The spaces $K^+$1 of higher spherical pluriharmonic polynomials are then characterized by the equations $K^+$2 on specified block indices, and explicit monomial and descending bases are constructed. The symbol calculus is encoded by

$K^+$3

for homogeneous $K^+$4 of degree $K^+$5 (Takeda, 23 Jun 2025).

A complementary bilinear theory constructs Rankin–Cohen type differential operators on Hermitian modular forms of signature $K^+$6. For polynomials $K^+$7, the commutation relation

$K^+$8

holds if and only if $K^+$9 lies in the appropriate pluriharmonic space. In the bilinear case $U(n,n)$0, uniqueness up to scale is proved for $U(n,n)$1 and $U(n,n)$2 (Dunn, 2024).

3. Pullback formulas and Eisenstein series

Pullback formulas provide one of the principal applications of Hermitian modular differential operators. Given $U(n,n)$3 and $U(n,n)$4, one embeds $U(n,n)$5 into $U(n,n)$6 by block diagonal insertion. The operator under study is a differential operator $U(n,n)$7 applied to a Hermitian Eisenstein series $U(n,n)$8, then restricted along the embedding and paired against a cusp form on $U(n,n)$9 (Takeda, 2024).

For a Hecke character $n$0 of $n$1 with prescribed infinity type, the Eisenstein series is defined from local sections $n$2, and convergence for $n$3 is standard. The pullback theorem states that, after applying $n$4, the inner product with a Hecke eigen cusp form $n$5 factors into explicit local contributions. In the equal-rank case $n$6, the result is

$n$7

while in level $n$8 the same pullback produces a Klingen-type Eisenstein series $n$9 with coefficient $$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$0 (Takeda, 2024).

The later differential-operator treatment makes the archimedean part explicit in terms of the symbol $$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$1 of the operator. The constant $$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$2 is given by an integral over the matrix ball

$$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$3

and for $$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$4 a closed product formula is obtained in terms of factorials and Pochhammer symbols. This yields an exact pullback formula for Hermitian Eisenstein series, analogous to the Siegel case but with the Hermitian representation parameters $$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$5 and the symbol $$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$6 built into the archimedean factor (Takeda, 23 Jun 2025).

On Fourier expansions, the operator $$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$7 acts termwise: $$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$8 so pullback and differentiation transform coefficients by explicit polynomial symbols in the Fourier index $$\mathfrak{H}_n=\{Z\in M_n(\mathbb{C})\mid \operatorname{Im}(Z)>0\},$$9. This is the mechanism behind the appearance of operator symbols in the pullback formula and the restriction to compatible block indices (Takeda, 2024).

4. Hecke algebras, theta and heat operators, and congruence operators

Hecke operators form another major class of Hermitian modular operators. In the Hel Braun setting, the pair $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$0 is a Hecke pair, the Hecke algebra $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$1 is commutative, and double cosets $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$2 act on Hermitian modular forms by summing slash actions over right coset representatives. For inert primes, the local Hecke algebra is generated by the analogues of the Siegel generators $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$3 and $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$4, and the inert part of the Hecke algebra decomposes as a restricted tensor product over inert primes (Hauffe-Waschbüsch et al., 2019).

In degree $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$5 over imaginary quadratic fields, explicit good-prime formulas are available. For $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$6, inert primes admit generators $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$7 and $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$8, while split primes admit $$g=\begin{pmatrix}A&B\ C&D\end{pmatrix}$$9, $L$00, and $L$01, each given by explicit double-coset representatives and explicit Fourier-coefficient transformations. The corresponding degree-$L$02 Euler factors are then written directly in terms of the Hecke eigenvalues $L$03, $L$04, $L$05, and $L$06 (Ibukiyama et al., 29 May 2025).

A distinct Fourier-coefficient operator is the Hermitian theta operator. In degree $L$07, it is defined by

$L$08

Over $L$09, $L$10 need not be modular. Over $L$11, however, a modularity-lifting result holds: for $L$12, $L$13 is congruent modulo $L$14 to a cusp form of weight $L$15. This is used to define the mod $L$16 kernel of $L$17 and to prove explicit congruences such as

$L$18

over the Eisenstein field, and

$L$19

for class number $L$20 when $L$21 in the Gaussian-field setting (Nagaoka et al., 2018).

The heat operators are Jacobi- and modular-form analogues of $L$22. For Hermitian Jacobi forms over $L$23,

$L$24

and for degree-$L$25 Hermitian modular forms,

$L$26

On Fourier coefficients, $L$27 multiplies $L$28 by $L$29. These operators control $L$30-congruences and Ramanujan-type congruences. For example, $L$31 has a Ramanujan-type congruence at $L$32 if and only if

$L$33

and there are precise filtration criteria distinguishing the cases $L$34 and $L$35 (Meher et al., 2019).

5. Vector-valued Jacobian and Rankin–Cohen constructions

In low-dimensional Hermitian theory, vector-valued operators are often built directly from the Jacobian of the modular action. For $L$36, the Jacobian of $L$37 on $L$38 is

$L$39

with determinant

$L$40

This leads to vector-valued transformation laws of $L$41-type. In particular, for $L$42, a $L$43-valued form transforms by

$L$44

The same paper develops an analogous Jacobian automorphy factor for the quaternionic case, but the Hermitian case is the relevant template for Hermitian modular operators in the sense of vector-valued differential constructions (Freitag et al., 2014).

The basic first-order operator is the Rankin–Cohen bracket

$L$45

which takes scalar-valued generators to $L$46-valued forms. In the Eisenstein and Gaussian cases, the graded modules of vector-valued Hermitian modular forms are generated over the scalar ring by such brackets among finitely many theta-constant generators. For the Eisenstein field,

$L$47

and for the Gaussian field,

$L$48

with defining skew-symmetry and Plücker-type relations. Determinant identities involving matrices of brackets and explicit cusp forms control holomorphy and denominators (Freitag et al., 2014).

The broader Rankin–Cohen theory on Hermitian modular forms of signature $L$49 extends these constructions from first-order brackets to bilinear differential operators of arbitrary order $L$50. For $L$51, the bilinear bracket is

$L$52

and has weight $L$53. For $L$54 and $L$55, the operator is unique up to rescaling, and for $L$56 its image consists of cusp forms. When $L$57, the construction specializes to the classical Rankin–Cohen brackets (Dunn, 2024).

A common misconception is that vector-valued Hermitian modular operators are merely ad hoc derivatives. The recent literature instead ties them to explicit representation theory: covariance is governed by $L$58-types, pluriharmonicity is enforced by mixed Laplacians, and determinant identities or symbol maps ensure precise automorphic behavior (Freitag et al., 2014).

6. Broader operator landscapes and terminological ambiguity

The phrase “Hermitian modular operator” is not uniform across the literature. In arithmetic geometry and automorphic forms it refers to operators acting on Hermitian modular forms, such as the Hecke, theta, heat, Jacobian, and differential operators described above. In operator algebra and quantum field theory, by contrast, “modular operator” refers to the Tomita–Takesaki modular operator $L$59 associated with a von Neumann algebra $L$60 and cyclic separating vector $L$61, with polar decomposition

$L$62

modular automorphism group

$L$63

and modular Hamiltonian

$L$64

That usage is conceptually distinct from Hermitian modular operators in the arithmetic theory of modular forms (Guimaraes et al., 31 May 2025).

The distinction matters because the same word “modular” labels very different structures. In the QFT setting, the bounded Hermitian observables used in Bell–CHSH analysis are functions of smeared fields, for example

$L$65

while $L$66 and $L$67 belong to modular theory in the von Neumann algebraic sense. This suggests a terminological separation between arithmetic Hermitian modular operators and Tomita–Takesaki modular operators, even though both are built from highly structured transformation theories (Guimaraes et al., 31 May 2025).

Within arithmetic Hermitian theory itself, the operator landscape is still expanding. A recent conjectural correspondence relates Hermitian modular forms of degree $L$68 to algebraic modular forms on $L$69, with Hecke operators, Atkin–Lehner involutions, and a theta map entering the proposed dictionary. Under that conjecture, unramified Hecke eigenvalues on the Hermitian side match Kneser-neighbor Hecke data on the $L$70 side, and the theta-map criterion is expected to detect Sugano Maass space forms (Ibukiyama et al., 29 May 2025). This suggests that the study of Hermitian modular operators is increasingly representation-theoretic, linking explicit operator formulas to conjectural functorial correspondences.

Overall, the modern theory presents Hermitian modular operators not as a single construction but as a family of exact mechanisms for controlling automorphy, vector-valued structure, Fourier expansions, congruences, and $L$71-functions. Differential criteria based on pluriharmonicity, Hecke-theoretic commutativity and local generators, mod $L$72 theta and heat operations, and Jacobian/Rankin–Cohen constructions together form the operative toolkit of current Hermitian modular-form theory (Takeda, 23 Jun 2025).