🔢 mathematics

Pullback formula for vector-valued Hermitian modular forms on $\mathrm{U}_{n,n}$

This paper establishes a pullback formula for vector-valued Hermitian modular forms over CM fields and provides the necessary and sufficient conditions for differential operators to preserve their automorphic properties.

Original authors: Nobuki Takeda

Published 2026-08-17

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Nobuki Takeda

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern mathematics, there is a branch dedicated to understanding patterns that repeat in complex, multi-dimensional spaces. These patterns are not just abstract curiosities; they are the hidden architecture behind some of the deepest questions in number theory, the study of whole numbers and their relationships. At the heart of this field lie objects called modular forms. You can think of these as highly structured functions that behave with a specific kind of symmetry, much like a snowflake looks the same when rotated, but in a much more intricate, mathematical sense. For decades, mathematicians have been particularly interested in how these forms behave when you look at them through different "lenses" or when you try to break a large, complex pattern down into smaller, simpler pieces. This process of breaking things down is known as a pullback. It is a powerful tool because it allows researchers to connect the properties of a massive, complicated object to the properties of smaller, more manageable ones, often revealing deep connections between different areas of mathematics.

The challenge, however, is that these objects come in many varieties. Some are simple, carrying a single value at every point, while others are vector-valued, meaning they carry a whole list of values or a complex direction at every point. For a long time, mathematicians had a clear map for how to pull back the simple, single-value versions. But the vector-valued versions, which are essential for solving more advanced problems, remained a bit of a mystery. Specifically, researchers wanted to know how to take a large vector-valued pattern defined on a high-dimensional space and pull it back to a smaller space in a way that preserved its complex structure. Without a reliable method to do this, many doors in number theory remained locked.

In this work, Nobuki Takeda provides a precise and rigorous map for navigating this specific territory. The paper focuses on a particular type of modular form defined on a space related to unitary groups, which are mathematical structures that preserve a specific kind of distance in complex spaces. The author's primary achievement is the construction of a special mathematical tool, a differential operator, which acts like a sophisticated filter. This tool takes a large, scalar-valued modular form (one that carries a single value) and transforms it into the tensor product of two vector-valued forms (carrying a combined list of values) on a smaller space. Crucially, the paper proves that this transformation works perfectly under specific conditions, preserving the essential symmetries of the original object.

The core of the discovery is a formula that describes exactly what happens when you pull back a specific type of large pattern, known as an Eisenstein series, to a product of two smaller spaces. The author demonstrates that if you apply this special differential operator to a large Eisenstein series and then restrict it to a smaller, diagonal slice of the space, the result is not a random jumble. Instead, it is a precise, predictable combination of a smaller Eisenstein series and a specific vector-valued modular form. The paper proves that this relationship holds true for any number field that fits a certain algebraic description, known as a CM field. This is a significant generalization, extending previous results that were limited to simpler cases or specific types of fields.

To reach this conclusion, the author had to solve two distinct problems. First, they had to define exactly what kind of differential operator would work. The paper establishes a set of strict rules that any such operator must follow. It turns out that the operator must be built from a specific type of polynomial that satisfies a condition called pluriharmonicity, a property that ensures the function behaves smoothly in all directions simultaneously. The author proves that only operators built from these special polynomials can successfully transform the large forms into the desired smaller forms without breaking their mathematical structure. This part of the work is a complete characterization; it tells us exactly which tools are valid and which are not.

Second, the author had to calculate the result of applying this tool to the Eisenstein series. This involved a detailed, step-by-step computation that broke the problem down into local pieces, analyzing what happens at every "place" or point in the number system. The paper shows that the final result is a product of three distinct components: a constant factor that depends on the complexity of the forms, a product of local factors that account for the specific arithmetic properties of the number field, and the transformed modular form itself. The author explicitly calculates these components, providing a complete formula that connects the large object to the small one.

The paper does not merely suggest that this works; it provides a rigorous proof that the formula is correct. The author carefully handles the infinite parts of the number system, where the geometry is continuous, and the finite parts, where the arithmetic is discrete, showing that the pieces fit together perfectly. The result is a definitive pullback formula that works for vector-valued hermitian modular forms on any CM field. This means that mathematicians now have a reliable method to decompose these complex vector-valued objects, opening the door to new calculations regarding their Fourier coefficients and their algebraic properties. The work stands as a solid extension of earlier theories, filling a gap in our understanding of how these high-dimensional patterns interact and transform.

Technical Summary: Pullback Formula for Vector-Valued Hermitian Modular Forms on $U_{n,n}$

Problem Statement
The paper addresses the construction and application of a pullback formula for vector-valued Hermitian modular forms on the unitary group $U(n,n)$ defined over a CM field $K$ (a quadratic imaginary extension of a totally real field $K^+$ ). While the pullback of scalar-valued Siegel Eisenstein series to a product of Siegel upper half-spaces is a well-established result (Garrett, Kozima), and extensions to vector-valued cases exist for symplectic groups, a comprehensive theory for vector-valued Hermitian modular forms involving general differential operators was lacking. Specifically, the author seeks to generalize Ibukiyama's results on differential operators to the Hermitian setting and utilize these operators to derive a pullback formula that relates a vector-valued Hermitian Eisenstein series to the tensor product of modular forms on smaller unitary groups.

Methodology
The methodology is divided into three primary components: the theory of differential operators, the definition of Eisenstein series, and local-global computations.

Differential Operators and Representation Theory:
The author employs representation theory, specifically Howe duality for the Weil representation, to characterize differential operators that preserve automorphic properties.
- The paper defines a condition (Condition A) for a differential operator $D$ acting on scalar-valued functions on the Hermitian upper half-space $H_n$ . The condition requires that when $D$ is applied to a scalar modular form of weight $\kappa$ , the restriction of the result to a product of lower-dimensional spaces $H_{n_1} \times \dots \times H_{n_d}$ yields a vector-valued modular form with specific weights.
- Using the decomposition of the space of polynomials under the joint action of the Lie algebra and the unitary group, the author establishes an equivalence between the existence of such operators and the "pluriharmonicity" of associated polynomials.
- Key Technical Result: Corollary 3.21 provides necessary and sufficient conditions for a differential operator $D = P(\partial_Z)$ to satisfy Condition (A). The polynomial $P$ must be pluriharmonic and satisfy specific transformation laws under the action of $GL_n(\mathbb{C}) \times GL_n(\mathbb{C})$ . This extends Ibukiyama's results from the symplectic case to the unitary case.
Hermitian Eisenstein Series:
The paper defines Hermitian Eisenstein series $E_{n,\kappa}(g, s; \mathfrak{n}, \chi)$ and Klingen-Eisenstein series $[f]_r^n(g, s; \chi)$ associated with cusp forms $f$ . These are constructed using standard parabolic subgroups and Hecke characters $\chi$ with specific infinite components.
Pullback Calculation:
The core calculation involves restricting the vector-valued Eisenstein series (acted upon by the differential operator $D_{k,l}$ ) to the image of the diagonal embedding $\iota: G_{n_1} \times G_{n_2} \hookrightarrow G_n$ .
- Double Coset Decomposition: The author utilizes the decomposition of $P_{n,0} \backslash G_n / G_{n_1, n_2}$ to expand the pullback into a sum over representatives $\xi_r$ .
- Vanishing of Terms: Proposition 5.2 demonstrates that for a cusp form $f$ , the terms in the expansion corresponding to $r < n_2$ vanish due to the cuspidality of $f$ and the structure of the unipotent radicals.
- Local Computations: The non-vanishing term ( $r=n_2$ $r = n_{2}$ ) is evaluated via local integrals at finite and infinite places:
  - Finite Places (Good): For places $v \nmid \mathfrak{n}$ , the integral is computed using the Satake isomorphism and Hecke eigenvalues, yielding a factor related to the standard $L$ -function $D_v(s, f; \chi)$ .
  - Finite Places (Bad): For places $v \mid \mathfrak{n}$ , the calculation relies on the specific level structure and the conductor of the character, resulting in a factor involving the index of the congruence subgroup.
  - Archimedean Places: The infinite place calculation involves a change of variables using the Cholesky decomposition and integration over a domain of positive definite matrices, resulting in a constant $c(s, \rho_{n_2})$ defined by an explicit integral.

Key Contributions and Results

Characterization of Differential Operators: The paper provides a rigorous characterization (Corollary 3.21) of differential operators that map scalar modular forms to vector-valued forms with prescribed weights on product spaces. This includes a proof of existence and uniqueness (up to scalar) for the case $d=2$ under specific weight constraints (Proposition 3.22).
The Pullback Formula: The main theorem (Theorem 5.11) establishes the pullback formula. For a Hecke eigenform $f$ of weight $\rho_{n_2}$ and a vector-valued Eisenstein series $E_{n,\kappa}$ , the inner product of $f$ with the restricted differential operator applied to the Eisenstein series is given by:
$(f, (D_{k,l} E_{n,\kappa})(\iota(g_1, \cdot), s)) = c(s, \rho_{n_2}) \cdot D(s, f; \chi) \cdot [f^\dagger]_{n_2}^{n_1}(g_1, s; \chi)$
(with minor adjustments for level $\mathfrak{n}$ ). Here, $D(s, f; \chi)$ is a product of $L$ -functions, and $f^\dagger$ is a twist of $f$ by the character $\chi$ .
Explicit Constants: The paper explicitly defines the constant $c(s, \rho_{n_2})$ arising from the archimedean integration (Proposition 5.10), which depends on the weights and the complex variable $s$ .

Significance
The paper claims significance in extending the theory of pullback formulas to the vector-valued Hermitian setting, a necessary step for studying the arithmetic properties of these forms. As noted in the introduction, such formulas are instrumental in:

Investigating the Fourier coefficients of vector-valued Klingen-Eisenstein series.
Proving the algebraicity of special values of $L$ -functions associated with vector-valued Siegel and Hermitian modular forms.
Establishing congruences between modular forms.

By providing the differential operator framework and the explicit pullback formula, the work enables the application of these arithmetic tools to vector-valued Hermitian modular forms over arbitrary CM fields, generalizing previous results that were largely restricted to scalar-valued cases or specific symplectic settings. The author emphasizes that the results are derived using established methods (Shimura's calculations for finite places, Kozima's method for infinite places) adapted to the vector-valued context via representation-theoretic insights.

More like this