---
title: 'Ichino–Ikeda Conjecture: Periods & L-values'
url: https://www.emergentmind.com/topics/ichino-ikeda-type-conjecture
type: topic
---

# Ichino–Ikeda Conjecture: Periods & L-values

The Ichino–Ikeda type conjecture is a family of refined period formulas in automorphic representation theory. In its basic form, it asserts that the square of a global automorphic period—typically a Gross–Prasad, Bessel, Fourier–Jacobi, or Whittaker period—is equal to an explicit central \(L\)-value multiplied by a product of normalized local period integrals, with an explicit global constant involving Tamagawa measures and component groups. In the orthogonal and unitary settings, it refines the Gross–Prasad nonvanishing principle by replacing the equivalence “period \(\neq 0\) if and only if \(L(1/2)\neq 0\)” with an exact factorization formula [1201.0518]. Subsequent work has extended this paradigm to endoscopic unitary parameters, Bessel and Fourier–Jacobi periods, Whittaker coefficients, and certain Eisenstein series [2007.05601].

## 1. General form and normalizations

In the refined Gross–Prasad framework, one begins with a pair of classical groups \(H \subset G\), an automorphic representation \(\pi\) of \(G(\mathbb{A}_F)\), and a global period integral \(P(\phi)\) defined by integration over \(H(F)\backslash H(\mathbb{A}_F)\). The Ichino–Ikeda type formula predicts that
\[
\frac{|P(\phi)|^2}{\langle \phi,\phi\rangle}
\]
is proportional to a central special value of an \(L\)-function and to a product of normalized local factors, almost all equal to \(1\) at unramified places [1201.0518].

For unitary groups, the refined conjecture formulated in low rank has the shape
\[
\mathcal{P}
=
\frac{\Delta_{G_{n+1}}}{2^\beta}\,
\frac{L_E\big(1/2,\mathrm{BC}(\pi_{n+1})\boxtimes \mathrm{BC}(\pi_n)\big)}
{L_F\big(1,\pi_{n+1}, \mathrm{Ad}\big)\, L_F\big(1,\pi_n,\mathrm{Ad}\big)}
\prod_v \mathcal{P}_v,
\]
where \(\mathrm{BC}(\pi_i)\) denotes quadratic base change to \(\mathrm{GL}_i(\mathbb{A}_E)\), the global measures are Tamagawa, and the local factors \(\mathcal{P}_v\) are normalized so that \(\mathcal{P}_v=1\) for spherical vectors at unramified places [1201.0518].

Two structural features recur throughout the literature. First, the global constant is not universal: it depends on the subgroup, the measure normalization, and the component group attached to the relevant global parameter. Second, the local terms are canonical only after division by specific adjoint, Asai, or Rankin–Selberg \(L\)-factors. This is why the same conjectural pattern appears in several different guises rather than as a single invariant formula.

## 2. Relation to Gross–Prasad and Gan–Gross–Prasad

The unrefined Gross–Prasad philosophy concerns nonvanishing. In the unitary case, the refined statement strengthens the implication
\[
P_U(\phi_{n+1},\phi_n)\neq 0
\quad \Longleftrightarrow \quad
L_E\big(1/2,\mathrm{BC}(\pi_{n+1})\boxtimes \mathrm{BC}(\pi_n)\big)\neq 0
\]
by identifying the exact proportionality constant between the period square and the central \(L\)-value [1201.0518].

For \(U_n\times U_{n+1}\), the global Gan–Gross–Prasad theorem in endoscopic generality states that for a Hermitian Arthur parameter \(\Pi\),
\[
L\!\left(\tfrac12,\Pi\right)\neq 0
\iff
\exists\, h\in \hc_n,\ \sigma\subset U_h \text{ cuspidal, } \Pi=BC(\sigma),
\]
such that the diagonal period
\[
\mathcal{P}_h(\varphi)=\int_{[U'_h]} \varphi(h)\,dh
\]
induces a nonzero linear form on \(\sigma\) [2007.05601]. Parallel equivalences are now known for unitary Bessel periods and for unitary Fourier–Jacobi periods [2302.12331; 2601.01738].

A common misconception is that the Ichino–Ikeda type conjecture is merely an “explicit version” of nonvanishing. In fact, its refined form encodes substantially more data: the component-group denominator, the exact global \(L\)-ratio, and the local relative characters. It is therefore both a refinement of Gan–Gross–Prasad and a mechanism for global-to-local compatibility.

## 3. The unitary \(U_n\times U_{n+1}\) case

For diagonal periods on \(U_n\times U_{n+1}\), the modern unitary formulation uses a Hermitian space \(h\) of rank \(n\), the rank-one norm space \(h_0\), and the diagonal embedding
\[
U'_h=U(h)\hookrightarrow U(h)\times U(h\oplus h_0)=U_h.
\]
If \(\sigma\) is a cuspidal automorphic representation of \(U_h(\mathbb{A})\), tempered everywhere, and \(\Pi=BC(\sigma)\), then the refined global identity proved in the endoscopic case is
\[
\frac{\lvert \mathcal{P}_h(\varphi)\rvert^2}{(\varphi,\varphi)_{\Pet}}
=
|S_\Pi|^{-1}\,\mathcal{L}\!\Big(\tfrac12,\sigma\Big)\,
\prod_v
\frac{\mathcal{P}^\natural_{h,\sigma_v}(\varphi_v,\varphi_v)}{(\varphi_v,\varphi_v)_v},
\]
for every nonzero factorizable vector \(\varphi=\otimes'_v\varphi_v\) [2007.05601]. Here
\[
\mathcal{P}^\natural_{h,\sigma_v}(\varphi_v,\varphi_v')
=
\mathcal{L}\Big(\tfrac12,\sigma_v\Big)^{-1}
\int_{U'_h(F_v)} (\sigma_v(h_v)\varphi_v,\varphi_v')_v\,dh_v,
\]
and at almost all places
\[
\mathcal{P}^\natural_{h,\sigma_v}(\varphi_v,\varphi_v)
=
\vol(U'_h(\mathcal{O}_v))(\varphi_v,\varphi_v)_v
\]
[2007.05601].

The conjectural form of this identity was already visible in the unitary refinement proved in the first cases \(U(1)\subset U(2)\) and, under a theta-lift hypothesis, \(U(2)\subset U(3)\) [1201.0518]. The stable tempered case for \(U(n)\times U(n+1)\) was completed by isolating the cuspidal spectrum on the Jacquet–Rallis relative trace formula, yielding the expected formula with trivial global component group in the stable setting [1912.07169]. The endoscopic extension then handled general Hermitian Arthur parameters, not only simple cuspidal ones [2007.05601].

The same formalism has been pushed beyond the cuspidal corank-one setting. For \(H\)-regular Hermitian Arthur parameters, Eisenstein periods admit a regularized Ichino–Yamana period, and the resulting identity keeps the same shape:
\[
\frac{|pc_{U_h'}(\phi,\lambda)|^2}{(\phi,\phi)_{Pet}}
=
|S_\Pi|^{-1}\,\mathcal{L}(1/2,\Sigma_\lambda)\,
\prod_v
\frac{pc^\natural_{h,\Sigma_{\lambda,v}}(\phi_v,\phi_v)}{(\phi_v,\phi_v)_v},
\]
with \(\mathcal{L}(s,\Sigma_\lambda)\) incorporating completed Rankin–Selberg and Asai factors [2302.12331].

## 4. Bessel, Fourier–Jacobi, and Whittaker variants

The Ichino–Ikeda pattern is not confined to diagonal Gross–Prasad periods. For unitary Bessel periods, one fixes \(m\leq n\), writes \(n=m+2r\), defines a Bessel subgroup \(\mathcal{B}=U_m\ltimes N\), and considers
\[
pc_{\mathcal{B},\psi}(\phi)=\int_{[\mathcal{B}]}\phi(g)\psi_{\mathcal{B}}(g)\,dg.
\]
The corresponding refined formula is
\[
\frac{|pc_{\mathcal{B}_h,\psi}(\phi)|^2}{(\phi,\phi)_{Pet}}
=
|S_\Pi|^{-1}\,\mathcal{L}(1/2,\sigma)\,
\prod_v
\frac{pc^\natural_{\mathcal{B}_h,\psi_v}(\phi_v,\phi_v)}{(\phi_v,\phi_v)_v},
\]
with almost all local factors equal to \(1\) [2302.12331].

For unitary Fourier–Jacobi periods, the subgroup is \(H_W=U(W)\ltimes U_r\), equipped with a Heisenberg–Weil representation \(\nu^\vee\), and the global period is
\[
P_{H_W}(\phi,\varphi)=\int_{[H_W]}\phi(h)\theta_{H_W}^\vee(h,\varphi)\,dh.
\]
The proved refined identity is
\[
|P_{H_W}(\phi,\varphi)|^2
=
|S_\sigma|^{-1}\cdot L(1/2,\sigma)\cdot \prod_v P_{H_W,v}^\sharp(\phi_v,\varphi_v),
\]
where
\[
L(s,\sigma)=\prod_{i=1}^n L(i+s-1/2,\eta^i)\cdot
\frac{L(s,BC(\sigma)\otimes \bar\mu)}{L(s+1/2,BC(\sigma),As^{n,m})},
\]
and \(P_{H_W,v}^\sharp=1\) at almost all places [2601.01738]. The global Fourier–Jacobi Gan–Gross–Prasad conjecture and its refined form are now established via comparison of Liu’s relative trace formulae, including positive corank [2404.07342].

Orthogonal Bessel settings furnish further archetypes. For \((\mathrm{SO}(5),\mathrm{SO}(2))\), the refined formula for tempered cuspidal representations gives
\[
\frac{|B_{E,A,\psi}(\varphi)|^2}{\langle \varphi,\varphi\rangle}
=
2^{-\ell(\pi)}\, C_E\,
\prod_{j=1}^2 \zeta_F(2j)\,
\frac{L\!\left(\tfrac12,\;\pi \times \mathrm{AI}(A)\right)}
{L(1,\pi,\mathrm{Ad})\,L(1,\chi_E)}
\cdot
\prod_v \alpha_{A_v,\psi_v}(\varphi_v),
\]
with \(\alpha_{A_v,\psi_v}(\varphi_v)=1\) for almost all \(v\) [2205.09503]. A related refined formula for non-endoscopic Yoshida lifts on \(\mathrm{GSp}_4\) has global constant \(1/4\), matching the expected component-group factor [1507.00089].

Finally, there are Whittaker analogues. Lapid–Mao formulated an Ichino–Ikeda type conjecture for Whittaker–Fourier coefficients on quasi-split reductive groups [1309.3190]. For quasi-split unitary groups, the proved formula reads
\[
\frac{|\ell(\phi)|^2}{\langle\phi,\phi\rangle}
=
2^{-k}\;
\frac{L\!\left(1,\Pi,\mathrm{As}^{(-1)^{n-1}}\right)}
{\prod_{j=1}^{n-1} L(j,\chi_E)}
\cdot
\prod_v I_v^\natural(\phi_v),
\]
for any irreducible cuspidal globally generic automorphic representation of \(U(n)\) [2403.19166].

## 5. Local factors, relative characters, and proof technology

The conjecture is local-global in a strong sense. Its local input is not a bare matrix coefficient integral, but a normalized relative character. In the unitary diagonal case, the normalized local factor is an integral over \(U'_h(F_v)\) divided by \(\mathcal{L}(1/2,\sigma_v)\) [2007.05601]. In Bessel and Fourier–Jacobi settings, the local factor is defined by stable or regularized integration against a local Bessel or Heisenberg–Weil model [2302.12331; 2601.01738]. In Whittaker settings, one integrates matrix coefficients against a generic character on the maximal unipotent and normalizes by Asai factors [2403.19166].

A second indispensable ingredient is local comparison of spherical characters between a classical-group side and a linear-group side. For unitary Gan–Gross–Prasad, the comparison takes the form
\[
K_V\cdot J_T(f_V)=I_{BC(T)}(f')
\]
for matching local test functions, completing the local step in Zhang’s program [1812.00047]. In the Fourier–Jacobi comparison, the local identity is
\[
J_\pi(f^V_+)=\kappa(\pi)\,I_{\mathrm{BC}(\pi)}(f_+),
\]
with explicit \(\kappa(\pi)\) depending on \(\psi\), \(\mu\), \(\tau\), and the discriminant of the Hermitian space [2601.01727].

Globally, proofs are built from relative trace formulas. The diagonal unitary case uses the Jacquet–Rallis relative trace formula, together with isolation of the desired cuspidal packet on the spectral side [1912.07169]. The endoscopic extension computes the \(*\)-generic spectral contributions in two ways—via truncation and intertwining periods, and via Whittaker zeta integrals—and proves their equality [2007.05601]. Fourier–Jacobi proofs compare two relative trace formulae due to Liu, one on the unitary side and one on the linear side, and identify matching test functions spectrally as well as geometrically [2404.07342; 2601.01727]. Lower-rank and special-lift cases often proceed instead through Waldspurger’s formula, theta correspondence, Ichino’s triple product formula, and Rallis inner product formulas [1201.0518; 1507.00089; 2205.09503].

## 6. Proven cases, scope, and related directions

A substantial portion of the conjectural landscape has now been proved. The first unitary cases \(U(1)\subset U(2)\) and \(U(2)\subset U(3)\) were established using Waldspurger and theta methods [1201.0518]. The stable case for \(U(n)\times U(n+1)\) was completed by isolation of the cuspidal spectrum [1912.07169]. All endoscopic cases for \(U_n\times U_{n+1}\) were then proved, including the refined formula with explicit \(|S_\Pi|^{-1}\) [2007.05601]. Bessel periods on unitary groups and some Eisenstein cases are also covered [2302.12331]. Fourier–Jacobi periods on unitary groups are now proved in full, including the Ichino–Ikeda type refinement [2404.07342; 2601.01738]. For \((\mathrm{SO}(5),\mathrm{SO}(2))\), the refined formula is known for tempered irreducible cuspidal automorphic representations [2205.09503], and for non-endoscopic Yoshida lifts one obtains an exact factor \(1/4\) in the refined formula [1507.00089]. Whittaker-period analogues for quasi-split unitary groups are likewise established [2403.19166].

The scope of each theorem remains sensitive to hypotheses. Temperedness is often imposed to guarantee absolute convergence and holomorphy of local zeta integrals. Several arguments assume totally real or CM global fields, discrete series at archimedean places, or regularity conditions on Hermitian Arthur parameters [2205.09503; 2302.12331]. At the same time, the extension to endoscopic parameters and to Eisenstein series shows that the Ichino–Ikeda type paradigm is not restricted to simple cuspidal packets [2007.05601; 2302.12331].

A related but distinct local direction is the Hiraga–Ichino–Ikeda formal degree conjecture, which identifies formal degrees or Plancherel densities with adjoint \(\gamma\)-factors and component groups. For unitary groups, explicit Plancherel formulas on \(\mathrm{GL}_n(F)\backslash \mathrm{GL}_n(E)\) were used to deduce the formal degree conjecture in the unitary case [1812.00047]. Substantial further cases are known for unipotent representations and for discrete series in principal series of split \(p\)-adic groups [1807.10232; 2506.19619]. This suggests that the “Ichino–Ikeda type” viewpoint extends beyond global periods to a broader local representation-theoretic framework in which adjoint \(\gamma\)-factors, component groups, and canonical models are governed by the same normalization principles.

Source: https://www.emergentmind.com/topics/ichino-ikeda-type-conjecture