---
title: CM-Automorphic Motives in Automorphic Correspondence
url: https://www.emergentmind.com/topics/cm-automorphic-motives
type: topic
---

# CM-Automorphic Motives in Automorphic Correspondence

CM-automorphic motives occupy the part of the motives–automorphic correspondence in which CM fields, CM Hodge structures, algebraic Hecke characters, and cohomological automorphic representations are linked through geometric realizations and \(L\)-functions. In the torus/Hodge-type sector, CM motives are governed by torus-valued Langlands data such as Hecke characters, Serre’s motivic torus, and the Taniyama group, while explicit constructions range from Chow motives attached to CM factors of Jacobians to motives cut out from unitary and Hilbert–Siegel Shimura varieties [1708.03145] [2507.10268]. The subject includes both unconditional geometric realizations in special CM situations and broader, sometimes conditional, constructions of motives expected to correspond to automorphic representations over CM fields.

## 1. Classical CM–Hecke-character realizations

The basic paradigm is the theorem of Shimura and Taniyama: if \(A\) is a potentially CM abelian variety over a number field \(F\), with complex multiplication by a CM field \(K\) linearly disjoint from \(F\), then there exists an algebraic Hecke character \(\lambda_A\) of \(FK\) such that
\[
L(A/F,s)=L(\lambda_A,s).
\]
This identifies the Hasse–Weil \(L\)-function of a CM abelian variety with the \(L\)-function of an algebraic Hecke character, and it is the forward direction of the CM-automorphic philosophy [1708.03145].

A concrete converse direction is developed for CM factors of Jacobians of Weil curves
\[
C:\ y^e=\gamma x^f+\delta,
\]
with \(2\le e<f\), \((e,f)=1\), \(F=\mathbb{Q}(\gamma,\delta)\) linearly disjoint from \(K=\mathbb{Q}(\zeta_e,\zeta_f)\), and \(C(F)\neq\varnothing\). The Jacobian decomposes over \(F\) as
\[
\Jac(C)\sim_F \prod_{d,d'} A_{d,d'},
\]
where \(d\mid f\) and \(d'\mid e\) are proper divisors, each \(A_{d,d'}\) is isotypic, and after base change to \(F_{d,d'}=F K_{d,d'}\) it has CM by \(K_{d,d'}\). Idempotents \(e_{d,d'}\in \End_F^0(\Jac C)\) cut out these factors [1708.03145].

For integers \(n\ge 1\) and \(a\) with \(\frac n2<a\le n\), one defines a finite group
\[
G \cong (\mathbb Z/f\mathbb Z\times \mathbb Z/e\mathbb Z)^{n-1}
\]
acting on \(C^n\), forms the averaging projector
\[
\varepsilon=\frac1{|G|}\sum_{g\in G}\Gamma_g,
\]
and combines it with the tensor idempotent \(E_{d,d'}=e_{d,d'}^{\otimes n}\) to obtain the Chow submotive
\[
M_{d,d'}=(E_{d,d'}\circ \varepsilon)(h(C^n)).
\]
The resulting motive descends to \(F\), although the action is initially defined over a larger field. Its Betti realization has nontrivial Hodge pieces concentrated in bidegrees \((a,n-a)\) and \((n-a,a)\), and at good primes its local Euler factors satisfy
\[
L_p(M_{d,d'}/F,s)=L_p(\lambda_{d,d'}^a\overline{\lambda}_{d,d'}^{\,n-a},s).
\]
Thus the construction gives a Chow-motivic realization of powers \(\lambda^a\overline{\lambda}^{\,n-a}\) of algebraic Hecke characters [1708.03145].

This construction is stronger than the standard numerical motive attached to a Hecke character in the sense discussed by Schappacher: the motive obtained here is a Chow motive, and it descends to the smaller field \(F\). In the special case \(e=2\), \(f=3^k\), \(\gamma=\delta=1\), the same framework recovers the Cynk–Hulek and Schreieder family, where the motive \(\widetilde M\) matches the transcendental part of certain smooth projective varieties obtained from resolutions of quotients \(C^n/G\), producing modularity statements for their transcendental cohomology [1708.03145].

## 2. Periods, factorization, and Deligne-type formulas over CM fields

Arithmetic automorphic periods were introduced by Harris for certain cuspidal representations over quadratic imaginary fields and then generalized to arbitrary CM fields. For a cohomological cuspidal representation \(\Pi\) of \(GL_n(\mathbb A_F)\), with \(F\) a CM field and \(I:\Sigma\to\{0,1,\dots,n\}\), one has global periods \(P^{(I)}(\Pi)\) defined from rational structures on automorphic cohomology and on Whittaker models. A central theorem is that these periods factor through the infinite places:
\[
P^{(I)}(\Pi)\sim_{E(\Pi)} \prod_{\sigma\in\Sigma} P^{(I(\sigma))}(\Pi,\sigma).
\]
For conjugate self-dual \(\Pi\), the local factors are normalized by
\[
P^{(0)}(\Pi,\sigma)\sim p(\widecheck{\xi_\Pi},\overline{\sigma}),\qquad
P^{(n)}(\Pi,\sigma)\sim p(\widecheck{\xi_\Pi},\sigma),
\]
and \(P^{(0)}(\Pi,\sigma)P^{(n)}(\Pi,\sigma)\sim 1\) [1705.01400].

This factorization is the automorphic counterpart of the decomposition of motivic periods into local archimedean factors. It is used to express critical values of Rankin–Selberg \(L\)-functions \(L(s,\Pi\times\Pi')\) for cohomological automorphic representations over CM fields in terms of split indices and arithmetic automorphic periods. An automorphic variant of Deligne’s conjecture takes the form
\[
L(m,\Pi\times \Pi') \sim (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)},
\]
for critical \(m\), up to algebraic factors in the relevant coefficient fields [1608.07643].

Later work makes this comparison genuinely motivic. For cohomological, conjugate self-dual cuspidal automorphic representations \(\Pi\) and \(\Pi'\) over a CM field, one obtains motives \(M(\Pi)\) and \(M(\Pi')\), and the tensor-product \(L\)-function satisfies
\[
L(s,M(\Pi)\otimes M(\Pi'))=L\!\left(s-\frac{n+n'-2}{2},\Pi_f\times \Pi'_f\right).
\]
The Deligne period of \(R_{F/\mathbb Q}(M(\Pi)\otimes M(\Pi'))\) then factors in terms of motivic periods \(Q^{(i)}(M(\Pi),\imath)\) and split indices, compatibly with the automorphic factorization [1802.02958] [2509.02303].

The 2025 construction goes further by building the motives \(M(\Pi)\) from coherent cohomology of unitary Shimura varieties and by proving a Deligne-type formula
\[
L^S(s_{0},\Pi\otimes \Pi') \sim I_{\infty}(\Pi,\Pi')\,c^+\!\left(s_0,R_{F/\mathbb Q}(M(\Pi)\otimes M(\Pi'))\right),
\]
under regularity hypotheses and a rationality hypothesis on archimedean zeta-integrals. The argument uses the Ichino–Ikeda–Neal-Harris formula, Asai \(L\)-values, and factorization of automorphic periods, and it is explicitly presented as an application of the relation between automorphic periods and Deligne’s conjecture [2509.02303].

## 3. Shimura varieties, boundary motives, and Hecke-eigenspace factors

A second major source of CM-automorphic motives is the cohomology of Shimura varieties attached to groups defined over totally real fields but carrying coefficient systems whose natural arithmetic realizations are sensitive to CM-type phenomena. For genus \(2\) Hilbert–Siegel varieties \(S_K\) attached to \(\operatorname{Res}_{F/\mathbb Q}\mathrm{GSp}_{4,F}\), with \(F\) totally real, Ancona’s motivic canonical construction produces relative Chow motives
\[
{}^\lambda \mathcal{V}\in \mathrm{CHM}(S_K)
\]
from irreducible algebraic representations \(V_\lambda\) of the ambient group [1805.00440].

The decisive technical issue is the degeneration of these motives at the boundary of the Baily–Borel compactification. The boundary weight theorem gives an exact criterion:
\[
\text{weights }0\text{ and }1\text{ appear in }i^*j_*{}^\lambda\mathcal V
\iff
\lambda\text{ is completely irregular and }\operatorname{cor}(\lambda)\ge 1.
\]
Equivalently, the boundary avoids weights \(0\) and \(1\) precisely when \(\lambda\) is not completely irregular, or \(\operatorname{cor}(\lambda)=0\) [1805.00440].

By Wildeshaus’s theory, avoidance of these middle weights permits the construction of a Hecke-equivariant Chow motive over \(\mathbb Q\),
\[
s_*j_{!*}\,{}^\lambda\mathcal V,
\]
whose realizations are the interior, hence intersection, cohomology of \(S_K\) with coefficients in \(V_\lambda\). When \(\lambda\) is regular, the realizations are concentrated in the middle degree \(3d\), where \(d=[F:\mathbb Q]\), and the Hecke algebra acts on the motive strongly enough to isolate direct factors attached to Hecke eigensystems. The resulting motives \(W(\pi_f)\) are presented as homological motives associated to automorphic representations [1805.00440].

This setting is not CM in the narrow sense of toric motives attached to Hecke characters. Rather, it shows that the CM-automorphic theme extends to higher-rank coefficient systems and to intersection motives whose realizations are automorphic, Hecke-equivariant, and cut out from Shimura-variety cohomology.

## 4. Chow groups, special cycles, and \(L\)-derivatives

For unitary groups attached to a CM extension \(E/F\), CM-automorphic motives appear in the middle cohomology of unitary Shimura varieties and in the arithmetic of their Chow groups. In the even-rank case \(n=2r\), one studies a tempered global \(L\)-packet \(\pi\) for a quasi-split unitary group and the conjectural motive
\[
\operatorname{Hom}_{\mathcal T}\!\big(\pi,\; h^{2r-1}(X_L)(r)\big),
\]
where \(X_L\) is a unitary Shimura variety over its reflex field and \(\mathcal T\) is the Hecke algebra acting by correspondences [2006.06139].

Under the hypotheses of the first theorem, the nonvanishing of the central derivative implies nontrivial Chow classes:
\[
L'(1/2,\pi)\neq 0
\quad\Longrightarrow\quad
\varinjlim_L \big(\mathrm{CH}^r(X_L)_{\overline{\mathbb Q}}\big)_{\mathfrak m_\pi}\neq 0.
\]
The proof actually produces classes in the subgroup generated by Kudla’s special cycles. Assuming modularity of Kudla’s generating series, the arithmetic theta lift \(\Theta_\varphi(\phi)_L\) is defined by integrating the generating function of special cycles against cusp forms, and its normalized Beilinson height pairing is expressed by an explicit arithmetic inner product formula involving \(L'(1/2,\pi)\), the factor \(b_{2r}(0)\), an archimedean constant \(C_r\), and normalized local doubling zeta integrals [2006.06139].

The sequel broadens the range of allowable local behavior. It allows ramified places in the CM extension \(E/F\) by proving a ramified analogue of the Kudla–Rapoport conjecture for an exotic smooth Rapoport–Zink space, with the key local identity
\[
\mathrm{Int}(L)=\partial\mathrm{Den}(L),
\]
and removes previous restrictions at split places by proving a vanishing theorem for cohomology of integral models with Drinfeld level structure. In the sequel’s normalization of the doubling method, the central derivative is written \(L'(2,\pi)\), and one again obtains nonvanishing of the \(\pi\)-isotypic Chow group together with an arithmetic inner product formula [2101.09485].

A \(p\)-adic analogue appears on Shimura curves. For a modular form \(f\) of weight \(k=n+2\ge 4\), an imaginary quadratic field \(K\), and \(p\) inert in \(K\), one constructs a Chow motive \(D_n\) from the universal quaternionic multiplication abelian surface and a CM elliptic curve \(E\). Generalized Heegner cycles \(\Delta_\varphi\) on \(D_n\) encode derivatives of the anticyclotomic \(p\)-adic \(L\)-function through the Abel–Jacobi formula
\[
\AJ_K(\Delta^-)(\omega_f\wedge\omega^j\eta^{n-j})
=\Omega^{j-n}L_p'(f,K,j+1).
\]
This is a higher-weight \(p\)-adic Gross–Zagier formula in which CM cycles on a Shimura curve realize derivatives of a \(p\)-adic automorphic \(L\)-function [1110.6465].

In the orthogonal setting over a totally real field, CM values of automorphic Green functions provide an archimedean counterpart: regularized theta lifts of harmonic Whittaker forms yield Green functions whose values on CM cycles are expressed by explicit theta–Eisenstein terms and derivatives of Rankin-type \(L\)-functions. The weakly holomorphic case gives norm formulas for CM values of meromorphic modular functions, extending the Gross–Zagier and Schofer formulas [1004.3720].

## 5. Galois realizations, local-global compatibility, and rigidity over CM fields

The Galois-theoretic side of CM-automorphic motives is represented by compatible systems attached to automorphic representations over CM fields. For cohomological cuspidal representations \(\Pi\) of \(\mathrm{GL}_2(\mathbf A_E)\), with \(E\) a CM field and central character satisfying the condition \(\omega_\Pi=\omega\circ N_{E/F}\) together with the parity requirement on \(\omega_v(-1)\), one constructs compatible systems
\[
\rho_p:G_E\to \mathrm{GL}_2(\overline{\mathbf Q}_p).
\]
The construction proceeds by lifting \(\Pi\) to \(\mathrm{GSp}_4(\mathbf A_F)\), building a \(4\)-dimensional Galois representation there, and extracting the \(2\)-dimensional constituent by quadratic-twist arguments. Local-global compatibility is proved away from \(p\), at least up to semisimplification, and the representations are Hodge–Tate with the expected weights and crystalline under suitable spherical and distinct-Satake-parameter hypotheses [1109.5392].

For ordinary rank-two representations, a stronger \(p\neq \ell\) local-global compatibility theorem is known over CM fields. If \(\pi\) is a regular algebraic cuspidal automorphic representation of \(\mathrm{GL}_2(\mathbf A_F)\), \(\iota\)-ordinary for some \(\iota:\overline{\mathbf Q}_\ell\cong \mathbf C\), and the residual representation satisfies the decomposed generic, enormous-image, and scalar-at-\(\sigma\) hypotheses, then for each finite place \(v\nmid \ell\),
\[
\WD\bigl(r_\iota(\pi)|_{G_{F_v}}\bigr)^{\mathrm{Fss}}\otimes_\iota \mathbf C
\;\cong\;
\rec_{F_v}\!\left(\pi_v\otimes |\det|^{-1/2}\right).
\]
The argument combines an ordinary potential automorphy theorem in rank two with the ordinary automorphy lifting theorem, removing the weight-\(0\) restriction present in earlier methods [2111.00318].

Rigidity phenomena also occur on the adjoint side. If \(\rho:G_F\to \GL_n(E)\) is an automorphic Galois representation over a CM field, de Rham at places above \(p\), then under the automorphy and local hypotheses of the rigidity theorem the adjoint Bloch–Kato Selmer group vanishes:
\[
H^1_g(G_{F,S},\ad \rho)=0.
\]
Equivalently, \(\rho\) has no nontrivial de Rham deformations. The same work proves that the automorphic Galois representations in question are potentially semistable, hence de Rham, at all places above \(p\), and interprets the vanishing as the Bloch–Kato prediction for the adjoint motive at \(s=1\) [2202.14022].

Dwork-motive constructions provide a further source of potentially automorphic Galois representations over CM fields. Certain hypergeometric summands of the Dwork family have geometric monodromy Zariski dense in \(\mathrm{SL}_n\), realize prescribed unipotent Jordan types as monodromy at \(t=\infty\), and have Hodge numbers \(\le 1\). These properties are then used to manufacture potentially automorphic \(\ell\)-adic representations with prescribed local monodromy at a fixed prime \(p\) [2407.16481].

## 6. Conceptual scope, conjectural frameworks, and limitations

A broad conjectural framework places CM-automorphic motives inside a universal bridge between Grothendieck motives and automorphic representations. On the automorphic side one has a conjectural universal automorphic Galois group \(L_F\), while on the motivic side one has a complex motivic Galois group \(\mathcal G_F\) fitting into
\[
1\to \mathcal D_F\to \mathcal G_F\to \mathcal T_F\to 1,
\]
where \(\mathcal T_F\) is the Taniyama group and \(\mathcal S_F\) is Serre’s proalgebraic torus. In this language, CM motives lie in the torus/Hodge-type sector: their Mumford–Tate groups are tori, their automorphic data are essentially Hecke characters, and the \(GL_1\) case is class field theory [2507.10268].

This broad picture is compatible with more refined conjectures linking automorphic cohomology and motivic cohomology. For a cohomological automorphic representation \(\Pi\), the adjoint motive \(Ad\Pi\) is expected to control hidden degree-shifting symmetries in automorphic cohomology through the motivic cohomology group
\[
H^1_M\big((Ad\Pi)_Z,\mathbf Q(1)\big),
\]
whose archimedean regulator should identify, after tensoring with \(\mathbf C\), with the canonical space \(a\) acting on cohomology. In the torus case this reduces to an elementary Artin-motive statement, while in higher rank it becomes a precise conjectural relation between Beilinson regulators, adjoint \(L\)-values, and automorphic cohomology [1609.06370].

The theory of congruences and \(p\)-adic families shows that the subject is subtler than a naive comparison of isolated motives. Congruent motives need not have literally congruent algebraic special values. A framework based on determinants, algebraic local Euler factors, and completed cohomology is therefore introduced for families of automorphic motives, together with corrected versions of the ETNC over Hecke algebras. The interpolation statement for algebraic local Euler factors is precise under pure specialization, but the authors emphasize that the naive family-level ETNC is not correct without correction terms and an auxiliary complex built from completed cohomology [1410.1347].

The literature therefore separates sharply between explicit theorems and broader expectations. Explicit Chow motives are available for Hecke-character powers arising from CM factors of Jacobians, for certain Shimura-variety intersection motives, and for motives attached to cohomological unitary representations in the settings described above [1708.03145] [1805.00440] [2509.02303]. By contrast, full identifications with the motives predicted by Langlands, complete Deligne-type formulas in higher rank, and family-level special-value conjectures typically remain conditional on regularity hypotheses, descent assumptions, nonvanishing conjectures, or rationality properties of archimedean zeta-integrals. This suggests that CM-automorphic motives are best understood not as a single finished theory, but as a stratified domain in which toric CM phenomena, Shimura-variety constructions, period factorizations, and automorphic Galois representations are already tightly interconnected, while the universal correspondence remains partly conjectural.

Source: https://www.emergentmind.com/topics/cm-automorphic-motives