🔢 mathematics

On the Periods of Ikeda-Yamana Lift for the Unitary Group I

This paper extends Katsurada's result on Ikeda's conjecture by expressing the period of the Ikeda-Yamana lift of Hecke eigenforms on the unitary group over a totally real field in terms of special values of associated $L$ -functions.

Original authors: Jin Higashitani

Published 2026-05-19

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jin Higashitani

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

The Big Picture: Measuring the "Weight" of a Mathematical Object

Imagine you are an architect trying to understand a massive, invisible cathedral built out of pure numbers. This cathedral is called a Unitary Group. Inside this cathedral, there are special, vibrating structures called automorphic forms. Think of these forms as complex musical chords or intricate patterns that repeat themselves in a very specific, symmetrical way across the universe of numbers.

Mathematicians have long been fascinated by a specific question: How "heavy" or "large" is one of these patterns?

In mathematics, we don't measure weight with a scale; we measure it using something called a period (specifically, the Petersson inner product). This is like calculating the total volume of sound a musical chord produces. Knowing this "volume" is crucial because it often reveals hidden secrets about the numbers themselves, specifically how they relate to L-functions.

L-functions are like the "DNA" or the "fingerprint" of these number patterns. They are infinite series of numbers that encode deep arithmetic information. The paper's main goal is to prove a precise formula that says: "The volume of this specific musical chord (the period) is exactly equal to a specific combination of these DNA fingerprints (special values of L-functions)."

The Characters in the Story

The Source (The Hilbert Cusp Form): Imagine a simple, beautiful melody played on a single instrument. In math terms, this is a function $f$ defined over a field $F$ (which is like a specific type of number system).
The Builder (Yamana): A mathematician named Yamana invented a special machine called the Ikeda-Yamana Lift.
The Machine (The Lift): This machine takes the simple melody ( $f$ ) and transforms it into a much more complex, multi-dimensional symphony ($In(f)$) that lives inside the massive Unitary Group cathedral. It's like taking a single violin note and expanding it into a full orchestral arrangement that fills a giant hall.
The Goal (The Main Theorem): The author, Jin Higashitani, wants to calculate the total "volume" (period) of this new, complex symphony.

The Journey: How the Author Solves the Puzzle

The paper is a step-by-step guide on how to calculate this volume without getting lost in the complexity of the cathedral.

1. The Blueprint (Preliminaries)

Before building, you need to understand the materials. The author sets up the rules for the "Unitary Group" (the cathedral) and defines the "Hermitian modular forms" (the musical notes). He establishes the rules for how these notes interact with the geometry of the space.

2. The Construction (The Lift)

The author explains exactly how Yamana's machine works. It takes the simple input $f$ and, using a process involving "Shalika functionals" (which act like specialized filters or lenses), constructs the complex output $In(f)$.

Analogy: Imagine taking a single thread (the simple form) and weaving it into a giant, intricate tapestry (the lift). The paper explains the exact pattern of the weave.

3. The Measurement Tool (Rankin-Selberg Integrals)

To measure the volume of the tapestry, the author uses a tool called the Rankin-Selberg integral.

Analogy: Think of this as shining a special light through the tapestry. As the light passes through, it creates a shadow or a projection. By analyzing this projection, you can deduce the total amount of thread used (the period).
The author uses a technique called the "residue method," which is like finding a specific point where the light bends or concentrates to get a clear reading.

4. Breaking it Down (Local Computation)

The tapestry is huge, so the author breaks it down into tiny, manageable patches. He looks at the math "locally" (at specific prime numbers, like looking at the weave under a microscope at one specific spot).

The Siegel Series: These are like the local blueprints for the weave at each spot. The author spends a lot of time (Sections 5.1 and 5.2) calculating exactly how these local blueprints fit together. He uses "local densities" (how tightly packed the threads are at a specific spot) to figure out the math.
The Puzzle: He has to prove that if you multiply all these tiny local measurements together, they form a perfect, rational pattern (an Euler product).

5. The Grand Reveal (The Main Theorem)

Finally, the author puts all the pieces together. He combines the global "volume" calculation with the local "microscope" calculations.

The Result:
He proves that the total volume of the complex symphony ($In(f)$) is exactly equal to a product of specific values from the L-functions (the DNA fingerprints) of the original simple melody ( $f$ ).

The formula looks complicated, but the message is simple:

The size of the complex structure is perfectly determined by the special values of the L-functions associated with the original simple structure.

Why This Matters (According to the Paper)

The paper states that this result is an extension of a previous discovery by Katsurada.

Previous Work: Katsurada solved this puzzle for a simpler case (when the number field is just the rational numbers, $\mathbb{Q}$ ).
This Paper: Higashitani solves it for a much more complex and general case (when the number field is a "totally real field" and the extension is a "quadratic CM extension").

In the world of math, this is like moving from solving a puzzle on a flat table to solving the same puzzle on a curved, multi-dimensional surface. It confirms a conjecture made by Ikeda and provides a precise "recipe" for calculating these periods in a much broader setting.

Summary in One Sentence

This paper proves that the "volume" of a complex mathematical structure (the Ikeda-Yamana lift) can be calculated exactly by multiplying together specific "fingerprint values" (L-function values) of the simpler structure it was built from, extending a known result to a much wider and more complex mathematical universe.

Technical Summary: On the Periods of Ikeda-Yamana Lift for the Unitary Group I

Problem Statement
The paper addresses the explicit determination of the Petersson norm (period) of the Ikeda-Yamana lift, a specific automorphic lifting construction from Hilbert modular forms to unitary groups. Let $F$ be a totally real number field and $E$ a quadratic CM extension of $F$ . The Ikeda-Yamana lift, constructed by Yamana, maps an irreducible cuspidal automorphic representation $\pi$ of $GL_2(\mathbb{A}_F)$ (generated by a Hilbert cusp form $f$ ) to an automorphic form $I_n(f)$ on the unitary similitude group $\widetilde{G}_n$ over $F$ . While Ikeda conjectured an explicit period formula for the analogous lift on symplectic groups (the Duke–Imamoglu–Ikeda lift) and Katsurada subsequently proved this for the case $F=\mathbb{Q}$ , a general formula for the unitary group over an arbitrary totally real field $F$ remained open. The primary objective is to express the Petersson inner product $\langle I_n(f), I_n(f) \rangle$ in terms of special values of $L$ -functions associated with $f$ and Hecke characters of $E$ .

Methodology
The proof strategy synthesizes the explicit construction of the lift by Yamana with the Rankin-Selberg integral method, utilizing the residue of Eisenstein series. The methodology proceeds through the following stages:

Global Setup and Rankin-Selberg Integral: The authors define a Rankin-Selberg integral $R(s; \phi)$ involving the lift $I_n(f)$ and an Eisenstein series $E_{\widetilde{P}}(g, s)$ on the unitary group. By unfolding the integral, they relate the residue of $R(s; I_n(f))$ at $s=n$ to the Petersson norm $\langle I_n(f), I_n(f) \rangle$ .
Euler Product Decomposition: The integral is decomposed into an Euler product of local integrals. This requires computing the local Rankin-Selberg integrals $\hat{R}_v(X, Y, t)$ for each place $v$ of $F$ .
Local Computation via Siegel Series: The core technical work involves the local computation at finite places. The authors utilize the theory of Siegel series $b_v(B; s)$ $b_{v} (B; s)$ and their associated polynomials $F_v(B; X)$ $F_{v} (B; X)$ . They establish relations between these series and local densities ( $\alpha$ $α$ ) and primitive local densities ( $\beta$ $β$ ).
- The paper introduces and computes specific rational polynomials $G(A; X)$ and $\tilde{G}(A; X, t)$ related to the Siegel series.
- It derives explicit formulas for the local densities representing Hermitian matrices by specific regular elements ( $\Theta_k$ ), distinguishing cases based on whether the extension $E/F$ is inert, split, or ramified at $v$ .
- The local Rankin-Selberg integrals are reduced to products of these local densities and Koecher-Maass integrals, which are computed explicitly using properties of the Siegel series and local zeta integrals.
Archimedean and Tamagawa Measures: The authors compute the archimedean local factors and carefully normalize the Tamagawa measures on the relevant algebraic groups ( $\widetilde{G}_n$ , $\widetilde{P}_n$ , etc.) to determine the explicit constant $C_{F,E,n,\kappa}$ appearing in the final formula.

Key Contributions and Results
The paper establishes the Main Theorem (Theorem 3.4), which provides an explicit formula for the Petersson norm of the Ikeda-Yamana lift $I_n(f)$ for a Hilbert eigenform $f$ of weight $\kappa = (\kappa_v)$ and trivial central character.

The formula is given by:
$\langle I_n(f), I_n(f) \rangle = C_{F,E,n,\kappa} \cdot \frac{\tilde{\Lambda}(1, \text{Ad}, f)}{\zeta_F(n+1)} \prod_{i=2}^n \frac{\tilde{\Lambda}(i, \text{Ad}, f, \epsilon_{E/F}^{i-1}) \Lambda(i, \epsilon_{E/F}^{i-1})}{\Lambda(n+i, \epsilon_{E/F}^{i-1})} \cdot \prod_{i=1}^n \frac{\Gamma_R(n+i, \epsilon_{E/F}^{i-1})^{2d_F}}{\Gamma_R(i, \epsilon_{E/F}^{i-1})^{2d_F} \Gamma_C(i)^{2d_F}}$
where:

$\tilde{\Lambda}$ and $\Lambda$ denote completed $L$ -functions involving the adjoint $L$ -function of $f$ and Hecke characters $\epsilon_{E/F}$ .
$\Gamma_R$ and $\Gamma_C$ are Gamma factors associated with the real and complex places.
$C_{F,E,n,\kappa}$ is an explicit constant depending on the discriminants of $F$ and $E$ , the degree $n$ , and the weight $\kappa$ .

The paper explicitly calculates the local factors for all types of places (inert, split, ramified) and verifies that the global product yields the stated formula. This result extends Katsurada's work on the symplectic case over $\mathbb{Q}$ to the unitary case over general totally real fields.

Significance
The paper claims that this result constitutes an extension of Katsurada's resolution of Ikeda's conjecture for the symplectic group to the unitary group setting over totally real fields. By providing an explicit period formula, the work connects the Petersson norm of the lift directly to special values of $L$ -functions. This relationship is significant for the arithmetic theory of automorphic forms, as it provides information on Satake parameters and the transfer of automorphic representations via the $L$ -group formalism. The explicit determination of the constant and the handling of the general totally real field case (including ramified primes and arbitrary weights) represent a substantial generalization of previous results restricted to $F=\mathbb{Q}$ .