---
title: Blasius–Deligne Conjecture
url: https://www.emergentmind.com/topics/blasius-deligne-conjecture
type: topic
---

# Blasius–Deligne Conjecture

The Blasius–Deligne conjecture is a family of algebraicity and Galois-equivariance statements for critical values of motivic and automorphic \(L\)-functions. In Deligne’s formulation, the normalized critical values of a pure motive are controlled by periods \(c^{\pm}(M)\) obtained from the comparison between Betti and de Rham realizations. In Blasius-style refinements, especially for Hecke characters, tensor products, and automorphic representations, the normalization becomes more explicit through CM periods, Gauss sums, Petersson norms, Betti–Whittaker periods, or Shalika periods. The modern literature treats this as a coherent program linking Hodge theory, automorphic cohomology, and special values: rank-one CM formulas and their higher-rank analogues, tensor product conjectures for modular forms, and automorphic reciprocity laws all fit within this framework [1608.07643].

## 1. Motivic formulation and Deligne periods

Deligne’s conjecture begins with a pure motive \(M\) over \(\mathbf Q\), equipped with Betti and de Rham realizations, an archimedean Frobenius action on Betti cohomology, and periods \(c^{\pm}(M)\) defined from the comparison isomorphism. For a pure, regular motive \(M^\#\) over \(\mathbf Q\) with no \((p,p)\)-classes, Deligne predicts that for each critical integer \(m\),
\[
L(m,M^\#)\ \sim_E\ (2\pi i)^{d^\epsilon m}\, c^\epsilon(M^\#),\qquad \epsilon=\mathrm{sign}((-1)^m),
\]
where \(A\sim_E B\) means \(A/B\in E^\times\) and criticality is defined by the absence of poles in both the archimedean factor of \(L(s,M^\#)\) and the corresponding dual factor at \(s=m\) [1608.07643].

For modular forms, this becomes a concrete statement about motives attached to normalized holomorphic newforms. If \(f\) is a newform of weight \(k\ge 2\), Deligne–Scholl attach a rank-two motive \(M_f\), and Deligne computed explicit formulas for \(c^{\pm}(\operatorname{Sym}^n M_f)\) in terms of \(\delta(M_f)\) and \(c^{\pm}(M_f)\). In particular, the symmetric-power conjecture specializes to algebraicity statements for
\[
L^*(\operatorname{Sym}^n M_f,m)\big/\big((2\pi i)^{\cdots}\,c^{\epsilon(m)}(\operatorname{Sym}^n M_f)\big),
\]
with the sign \(\epsilon(m)\) determined by parity and the precise exponent prescribed by Deligne’s period formulas [2205.15382].

Blasius’s tensor-product refinement places the same phenomenon in a higher-rank setting. For normalized holomorphic newforms \(f_1,\dots,f_n\) with associated motives \(M_i\), the conjectural tensor motive \(\bigotimes_i M_i\) should satisfy an explicit algebraicity statement at critical points, refined by a period factor \(q(f_1\otimes\cdots\otimes f_n)\) built from powers of \(2\pi i\), Gauss sums of the nebentypoi, and Petersson norms. This is the version that governs triple products and more general tensor-product \(L\)-values of modular forms [2205.15382].

## 2. Hecke characters, CM periods, and the reflex-motive formulation

The rank-one case is the classical entry point for the Blasius–Deligne picture. For an algebraic Hecke character \(\chi\) of a quadratic imaginary field \(K\), Blasius and Deligne predict, and in the CM case prove, that at critical integers \(m\),
\[
L(m,\chi)\ \sim\ (2\pi i)^m\, p(\chi)\,p(\overline{\chi}),
\]
where \(p(\chi)\) and \(p(\overline{\chi})\) are CM periods attached to \(\chi\) and its conjugate. In the normalization used in the automorphic literature, this is compatible with \(\delta(\mathbf Z(1)_K)\sim_K 2\pi i\), and the CM periods are rank-one comparison determinants on distinguished Hodge lines [1608.07643].

A more general rank-one formulation applies to algebraic Hecke characters of totally imaginary fields. If \(\chi\) is a critical algebraic Hecke character of a number field \(F\) with values in \(T\), the period version of Deligne’s conjecture takes the form
\[
L_f(\chi,m)\ \sim_{T^\times}\ (2\pi i)^{A(\chi,m)}\cdot c^+\bigl(\chi\cdot\|\cdot\|_F^{-m}\bigr),
\]
with \(A(\chi,m)=d(\beta_m)\) determined by the critical decomposition of the infinity type. The case \(m=0\) is the core statement, and the other critical integers follow by twisting [2406.06148].

A major advance is the proof of this conjecture for arbitrary critical algebraic Hecke characters of totally imaginary fields that contain a CM subfield. The key new insight is that the Eisenstein–Kronecker classes of Kings–Sprang can be regarded as de Rham classes of Blasius’ reflex motive. More precisely, the proof constructs a de Rham class \(EK\) in the reflex motive \(RM(\Xi)\) with
\[
I_{\infty}(EK)\ =\ (2\pi i)^{d(\beta)}\cdot L_f(\chi,0)\cdot \sum_{\eta\in J_E} e(\eta)\,a_{\eta},
\]
while Blasius’s reflex-period relation gives
\[
I_{\infty}(\omega)\ =\ (2\pi i)^{d(\beta)}\cdot c^{+}(\chi)\cdot \sum_{\eta} e(\eta)\,a_{\eta}.
\]
Comparing coefficients yields \(L_f(\chi,0)\sim_{T^\times} c^+(\chi)\), and hence the full critical-value formula by twisting [2406.06148].

## 3. Automorphic reformulations over CM fields

The automorphic variant replaces motivic periods by periods extracted from cohomology of unitary Shimura varieties. For a cohomological, regular algebraic, conjugate self-dual cuspidal representation \(\Pi\) of \(\mathrm{GL}_n(\mathbf A_K)\), with \(K\) quadratic imaginary, automorphic periods \(P^{(s)}(\Pi)\) are defined by descending \(\Pi^\vee\otimes\xi\) to suitable unitary groups, choosing a holomorphic discrete series contribution to coherent cohomology, and taking a normalized Petersson pairing of a rational cohomology class. The resulting quantity \(P^{(s)}(\Pi)\) is well-defined up to \(E(\pi)^\times\) and depends only on the infinity type of \(\Pi\) and the index \(s\) [1608.07643].

The corresponding automorphic conjecture expresses critical values of Rankin–Selberg \(L\)-functions in terms of these periods and split indices. If \(\Pi\) and \(\Pi'\) are regular, cohomological, conjugate self-dual cuspidal representations of \(\mathrm{GL}_n(\mathbf A_K)\) and \(\mathrm{GL}_{n'}(\mathbf A_K)\), then for critical \(m\),
\[
L(m,\Pi\times \Pi')\ \sim_{E(\Pi)E(\Pi');K}\ (2\pi i)^{nn'm}\ 
\prod_{j=0}^{n}P^{(j)}(\Pi)^{sp(j,\Pi;\Pi')}
\prod_{k=0}^{n'}P^{(k)}(\Pi')^{sp(k,\Pi';\Pi)}.
\]
The exponents \(sp(\cdot,\cdot;\cdot)\) are split indices determined solely by the infinity types [1608.07643].

This formulation is designed to match the motivic one. Under the expected motivic–automorphic correspondence, one has
\[
P^{(s)}(\Pi)\ \sim_{E(\Pi);K}\ Q^{(s)}(M(\Pi)),
\]
so the automorphic conjecture is the translation of Deligne’s period formula into automorphic language. In rank one, the automorphic periods reduce to CM periods, and the general statement recovers the quadratic-imaginary formula \(L(m,\chi)\sim (2\pi i)^m p(\chi)p(\overline{\chi})\) [1608.07643].

## 4. Ratio theorems, Betti–Whittaker periods, and the modern method

A decisive methodological development is the “ratio of special values” strategy for Rankin–Selberg \(L\)-functions. For regular algebraic automorphic representations \(\Pi,\Pi'\) of \(\mathrm{GL}_n(\mathbf A)\) and \(\pi,\pi'\) of \(\mathrm{GL}_{n'}(\mathbf A)\), under cohomological, essentially tempered, regularity, and nonvanishing hypotheses, one proves that at a common non-central critical half-integer \(m_0\),
\[
\frac{L^*(m_0,\Pi\times\pi)\,L^*(m_0,\Pi'\times\pi')}
{L^*(m_0,\Pi\times\pi')\,L^*(m_0,\Pi'\times\pi)}
\in \mathbf Q^\times,
\]
with full \(\operatorname{Aut}(\mathbf C)\)-equivariance. This is the main global ratio theorem for products of Rankin–Selberg values at a fixed critical point [2205.15382].

The proof factors each critical value as
\[
L^*(m_0,\Pi\times\pi)\ \sim\ Z_\infty(M_0)\cdot q(m_0,\Pi)\cdot q(m_0,\pi).
\]
Here \(Z_\infty(M_0)\) is a nonzero archimedean constant defined by pairing canonical generators in bottom-degree relative Lie algebra cohomology, while \(q(m_0,\Pi)\) and \(q(m_0,\pi)\) are algebraic quantities built from Betti–Whittaker periods, Gauss sums, and auxiliary completed Rankin–Selberg values. Passing to the fourfold ratio cancels the archimedean factor and isolates algebraic, Galois-equivariant pieces [2205.15382].

Betti–Whittaker periods are the crucial rationality invariants in this argument. For a regular algebraic \(\Pi\), they are defined by comparing a \(\mathbf Q(\Pi)\)-rational structure on the Whittaker model with a \(\mathbf Q(\Pi)\)-rational structure on bottom-degree cohomology. Their construction is \(\operatorname{Aut}(\mathbf C)\)-equivariant, and for Eisenstein representations they are defined multiplicatively in terms of inducing data and \(L\)-values at \(s=1\). The broader method combines Eisenstein cohomology, cohomological realizations of Rankin–Selberg zeta integrals, comparison of rational structures, and a nonvanishing archimedean pairing \(Z_\infty\) [2205.15382].

## 5. Symmetric powers, tensor products, and modular forms

For symmetric powers of modular forms, the conjecture becomes both explicit and highly structured. In the case of \(\operatorname{Sym}^5\), if \(f\in S_k(N,\omega)\) is a normalized elliptic newform of weight \(k\ge 6\), the critical integers are
\[
\{\,m\in \mathbf Z \mid 2k-1 < m \le 3k-3\,\},
\]
and Chen proves that for every Dirichlet character \(\chi\) and every such \(m\),
\[
\sigma\!\left((2\pi i)^{3m}G(\chi)^3\,c^+(\operatorname{Sym}^5(f))^{-1}\,L(m,\operatorname{Sym}^5(f)\otimes\chi)\right)
\]
transforms exactly as predicted under \(\sigma\in\operatorname{Aut}(\mathbf C)\). In the same normalization,
\[
c^+(\operatorname{Sym}^5(f))
= (2\pi i)^{6-3k}\cdot i^k\cdot G(\omega)^6\cdot c^+(f)^3\cdot \langle f,f\rangle^3,
\]
and the proof also yields period relations between motivic periods of \(f\) and Betti–Whittaker periods of \(\operatorname{Sym}^3(f)\) on \(\mathrm{GL}_4\) [2112.12978].

The later general theorem proves Deligne’s conjecture for all symmetric power \(L\)-functions of holomorphic modular forms of weight \(k\ge 5\). If \(f\) is a holomorphic newform and \(\operatorname{Sym}^n \pi_f\) is the Newton–Thorne lift to \(\mathrm{GL}_{n+1}(\mathbf A)\), then for every critical integer \(m\),
\[
\frac{L^*(m,\operatorname{Sym}^n f)}
{(2\pi i)^{\alpha(n,k)\cdot m}\,c^{\epsilon(m)}(\operatorname{Sym}^n M_f)}
\]
is algebraic with the expected \(\operatorname{Aut}(\mathbf C)\)-equivariance, and the periods \(c^\pm(\operatorname{Sym}^n M_f)\) agree with Deligne’s explicit formulas in terms of \(\delta(M_f)\) and \(c^\pm(M_f)\) [2205.15382].

The same framework proves new cases of Blasius’s tensor-product conjecture. For regular algebraic cuspidal representations \(\pi_1,\dots,\pi_n\) of \(\mathrm{GL}_2(\mathbf A)\) attached to newforms \(f_i\), and under explicit regularity and automorphy conditions, one obtains the predicted algebraicity for critical values of
\[
L^*(m+\tfrac12,\pi_1\boxtimes\cdots\boxtimes \pi_n),
\]
with normalization given by powers of \(2\pi i\), Gauss sums \(G(\omega_i)\), and Petersson norms \(\langle f_i,f_i\rangle\). This includes many new unbalanced triple-product cases and higher tensor products under level-one or functoriality hypotheses [2205.15382].

## 6. Symplectic type on \(\mathrm{GL}_{2n}\) and unconditional reciprocity

A distinct but closely related branch of the program concerns standard \(L\)-functions of symplectic type for \(\mathrm{GL}_{2n}\). A regular algebraic cuspidal cohomological representation \(\Pi\) of \(\mathrm{GL}_{2n}(\mathbf A_F)\) is said to be of symplectic type if there exists a Hecke character \(\eta\) such that
\[
L(s,\Pi,\wedge^2\otimes \eta^{-1})
\]
has a pole at \(s=1\). This is equivalent to \(\Pi\) being essentially self-dual with symplectic sign \(-1\), to the existence of a global Shalika model with respect to \(\eta\otimes\psi\), and to the Arthur parameter factoring through \(\mathrm{Sp}_{2n}(\mathbf C)\) [2509.00434].

In this setting, critical points are encoded by balanced algebraic twists. Writing the infinity type of an algebraic Hecke character as \(\chi_\infty=\chi^\sharp|F_\infty^\times\cdot\chi^\flat\), with \(\chi^\flat\) quadratic at infinity, one says that \(\chi^\sharp\) is \(F_\mu\)-balanced if a certain archimedean Hom-space for \(H=\mathrm{GL}_n\times\mathrm{GL}_n\) is nonzero. Then
\[
\operatorname{Crit}(\Pi\otimes\chi)=\{\,\tfrac12+j:\chi^\sharp\otimes(\otimes_\iota \iota^j)\ \text{is}\ F_\mu\text{-balanced}\,\}.
\]
Thus the critical set is a translate of half-integers, and balancing moves arbitrary critical points to the central point \(1/2\) [2509.00434].

The main theorem gives an unconditional reciprocity identity at the central point, and hence at all critical points by varying \(\chi\). For every \(\sigma\in\operatorname{Aut}(\mathbf C)\),
\[
\sigma\!\left(
\frac{L(1/2,\Pi\otimes\chi)}
{\Omega_{\mu,\chi^\sharp}\cdot (\chi_f)^n\cdot \Omega^\varepsilon(\Pi,\eta)}
\right)
=
\frac{L(1/2,{}^\sigma\Pi\otimes{}^\sigma\chi)}
{\Omega_{\mu,\chi^\sharp}\cdot ({}^\sigma\chi_f)^n\cdot \Omega^\varepsilon({}^\sigma\Pi,{}^\sigma\eta)},
\]
and the normalized value lies in \(\mathbf Q(\Pi,\eta,\chi)\). Here \(\Omega_{\mu,\chi^\sharp}\) encodes the archimedean \((2\pi i)\)-power predicted by Deligne, \((\chi_f)^n\) is the \(n\)-th power of the global Gauss sum, and \(\Omega^\varepsilon(\Pi,\eta)\) is a canonically normalized family of Shalika periods. The proof is unconditional and rests on a complete archimedean local theory for Jacquet–Shalika and Friedberg–Jacquet integrals, refined archimedean period relations via Zuckerman translation functors, and global modular symbols [2509.00434].

## 7. Scope, normalizations, and open directions

The conjecture is best viewed as a period-normalization principle rather than a single formula with one universal notation. In the literature surveyed here, “Blasius–Deligne conjecture” may refer to the rank-one CM-period statement for Hecke characters, to tensor-product formulas for modular forms involving Gauss sums and Petersson norms, or to higher-rank automorphic reciprocity laws phrased in terms of automorphic periods, Betti–Whittaker periods, or Shalika periods. This suggests that the term designates a tightly connected family of statements organized by the same period philosophy.

A persistent structural feature is that periods depend on choices—CM types, embeddings, rational bases, coherent cohomology classes, Whittaker generators, or auxiliary characters—but only up to algebraic factors in the relevant rationality fields. The equivalence relations \(\sim_E\) and \(\sim_{E;K}\), together with explicit \(\operatorname{Aut}(\mathbf C)\)-equivariance, are designed to absorb precisely these ambiguities. In the automorphic setting, this is reflected in the definition of \(P^{(s)}(\Pi)\), the Betti–Whittaker periods \(p(\Pi,\varepsilon)\), and the Shalika periods \(\Omega^\varepsilon(\Pi,\eta)\) [1608.07643].

The currently proved cases are extensive but remain conditional in some directions. The symmetric-power and tensor-product results on \(\mathrm{GL}_n\) require cohomologicality, regularity, explicit weight bounds, and functoriality hypotheses; the automorphic variant over quadratic imaginary fields still leaves open arbitrary \((n,n')\) without gap or parity restrictions; and the motivic isomorphism
\[
M_s(\Pi,\xi)\cong \Lambda^{n-s}(M(\Pi)^\vee)\otimes M(\xi)
\]
up to Tate twist is still presented as conjectural input in the automorphic theory over CM fields. By contrast, the Hecke-character theorem beyond CM fields and the symplectic-type \(\mathrm{GL}_{2n}\) standard-\(L\) theorem are unconditional within their stated hypotheses [2406.06148].

Taken together, these developments show that large parts of the Blasius–Deligne program are now theorem rather than conjecture: Deligne’s conjecture for all symmetric power \(L\)-functions of holomorphic modular forms of weight \(k\ge 5\), many new cases of Blasius’s tensor-product conjecture, Deligne’s conjecture for arbitrary algebraic Hecke characters of the stated type, and the full symplectic-type standard-\(L\) case on \(\mathrm{GL}_{2n}\) have all been established. The remaining open problems are concentrated in the general higher-rank motivic–automorphic dictionary and in removing residual regularity, parity, and descent hypotheses [2205.15382].

Source: https://www.emergentmind.com/topics/blasius-deligne-conjecture