Motivic Fourier Transform: Concepts & Applications

• Motivic Fourier transform is a generalization of classical Fourier analysis that replaces analytic kernels with geometric and motivic data to establish dual correspondences.
• It employs techniques from Chow theory, étale motivic cohomology, and motivic integration to construct integral transforms and Poisson formulas in various algebraic settings.
• The framework underpins applications to abelian varieties, split tori, and spherical varieties, offering a unified approach to duality in algebraic geometry.

Searching arXiv for fresh relevant papers on motivic Fourier transform and adjacent frameworks. arxiv_search(query="motivic Fourier transform", max_results=10) Motivic Fourier transform denotes a family of algebraic and motivic analogues of Fourier analysis in which the classical analytic kernel is replaced by geometric or motivic data. In one major incarnation, for an abelian variety $A$ over a field $k$, the transform is induced by the Poincaré line bundle on $A\times \widehat A$; in another, it is a motivic integral transform on exponential constructible functions over valued fields; in a third, it becomes a multiplicative Poisson formalism for split algebraic tori; and in a fourth, it appears as a Fourier operator on Schwartz spaces of spherical varieties obtained from Braverman–Kazhdan spaces (Rosas-Soto, 2024, Cluckers et al., 2024, Bilu et al., 3 Apr 2026, Getz et al., 2020). Across these settings, the common theme is the replacement of transcendental Fourier analysis by correspondences, character objects, and functorial integral transforms in algebraic or motivic categories.

1. Classical origin: abelian varieties, correspondences, and the Poincaré bundle

For an abelian variety $A/k$ with dual $\widehat A$, the classical Fourier transform on cycles is the correspondence defined by the Poincaré line bundle $\mathcal P_A$ on $A\times \widehat A$. On Chow groups with rational coefficients it is

$$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$

Its kernel is therefore not an additive character but the Chern character of a universal biextension, and the first Chern class

$$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$

generates the relevant correspondences. The transform is an isomorphism, its inverse is expressed via the Poincaré bundle on $\widehat A\times A$, and it yields an isomorphism of motives. It is central in the classical proofs of the Chow–Künneth decomposition of the motive of $k$0 due to Shermenev and Deninger–Murre (Rosas-Soto, 2024).

A defining structural property is the exchange of the Pontryagin product

$k$1

with the usual intersection product: $k$2 This duality explains why the Fourier transform is not merely a correspondence between Chow groups but a mechanism for transferring multiplicative structure between two different products (Rosas-Soto, 2024).

The classical theory is closely tied to Beauville’s eigenspace decomposition

$k$3

where the summands are eigenspaces for pullback under multiplication-by-$k$4. Moonen–Polishchuk showed that the Fourier transform respects this decomposition and constructed a divided power structure on the Pontryagin ideal

$k$5

and, over algebraically closed fields, on the augmentation ideal

$k$6

Beckmann–de Gaay Fortman then revisited the integral problem: rather than requiring a literal integral equality $k$7, they characterized when the rational correspondence can be lifted integrally up to torsion (Rosas-Soto, 2024).

2. Étale motivic cohomology and the étale Chow ring

The étale-motivic extension replaces ordinary Chow groups by étale motivic Chow groups defined in the framework of Cisinski–Déglise’s $k$8-motives. For a finite type $k$9-scheme $A\times \widehat A$0,

$A\times \widehat A$1

and

$A\times \widehat A$2

When $A\times \widehat A$3 is smooth projective of dimension $A\times \widehat A$4, these groups identify with classical motivic cohomology, compatibly with pushforward and pullback. For an abelian variety $A\times \widehat A$5, the étale Chow ring $A\times \widehat A$6 therefore serves as an “étale” version of the Chow ring defined at the motivic level (Rosas-Soto, 2024).

This setting is compared in the paper with Lichtenbaum cohomology, defined via the étale sheafification of Bloch’s cycle complex. For smooth projective $A\times \widehat A$7 of characteristic $A\times \widehat A$8, Cisinski–Déglise show that

$A\times \widehat A$9

Thus the étale motivic Chow groups used in the construction are compatible with Lichtenbaum cohomology after inverting the characteristic. The ring $A/k$0 carries both the intersection product and, because $A/k$1 is a commutative monoid, the Pontryagin product $A/k$2. Its positive-degree part is

$A/k$3

and the augmentation ideal is

$A/k$4

These are the principal ideals on which the divided power theory is developed (Rosas-Soto, 2024).

Within this category the rational Fourier transform is defined by the same formula as in the classical Chow-theoretic setting, using $A/k$5. The paper then introduces two integral notions. A homomorphism

$A/k$6

is a weak integral étale Fourier transform if it lifts the rational transform after tensoring with $A/k$7; it is algebraic if it is induced by a cycle $A/k$8 whose rational image is $A/k$9. There is also an integral étale Fourier transform up to homology, defined by compatibility with the cohomological Fourier transform

$\widehat A$0

which preserves integral $\widehat A$1-lattices (Rosas-Soto, 2024).

A central role is played by the rational classes

$\widehat A$2

and, under a principal polarization $\widehat A$3 with symmetric ample class $\widehat A$4,

$\widehat A$5

The paper also uses the Pontryagin exponential

$\widehat A$6

together with the fact that $\widehat A$7 recovers $\widehat A$8. The integrality of these classes controls whether the rational Fourier correspondence can be realized integrally (Rosas-Soto, 2024).

3. Divided powers, integral equivalences, and algebraically closed fields

A major structural contribution is the construction of a divided power structure for Pontryagin products in the étale-motivic setting. For a commutative ring $\widehat A$9 and ideal $\mathcal P_A$0, a PD-structure is a family $\mathcal P_A$1 satisfying the standard divided-power identities. In the geometric context, if $\mathcal P_A$2 is a quasi-projective commutative monoid scheme over $\mathcal P_A$3 with proper multiplication $\mathcal P_A$4, one defines $\mathcal P_A$5 using symmetric powers $\mathcal P_A$6, the induced map $\mathcal P_A$7, and combinatorial formulas analogous to those of Moonen–Polishchuk. The theorem states that the maps

$\mathcal P_A$8

extend uniquely to a PD-structure on $\mathcal P_A$9 for the Pontryagin product, functorially in proper morphisms of graded monoids (Rosas-Soto, 2024).

For an abelian variety over an algebraically closed field, the result strengthens to the augmentation ideal: $A\times \widehat A$0 This is presented as the exact étale motivic analogue of Moonen–Polishchuk’s PD-structure on the usual Chow ring. The key input is that over algebraically closed fields one has $A\times \widehat A$1, so the étale version behaves like the classical zero-cycle theory (Rosas-Soto, 2024).

The Fourier-transform existence theorem identifies integrality, divided powers, and torsion-free preservation as equivalent phenomena. For an abelian variety $A\times \widehat A$2 of dimension $A\times \widehat A$3, the following are equivalent: the cycle $A\times \widehat A$4 lifts integrally; $A\times \widehat A$5 admits an étale motivic weak integral Fourier transform; $A\times \widehat A$6 admits one as well; and, under a principal polarization, equivalent conditions include the lifting of

$A\times \widehat A$7

the existence of a principally polarized weak integral étale Fourier transform, preservation of the torsion-free étale Chow groups by the rational Fourier transform, and existence of a PD-structure on

$A\times \widehat A$8

A parallel equivalence is proved for $A\times \widehat A$9-cohomology, where “lifting to the étale Chow group” is replaced by algebraicity of the relevant cohomology class (Rosas-Soto, 2024).

The paper then derives existence results over several classes of fields. Over $$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$0, finitely generated fields over $$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$1, and finite fields, one obtains algebraic integral Fourier transforms up to homology in the appropriate Betti or $$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$2-adic sense. Most strikingly, for an algebraically closed field $$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$3, an abelian variety $$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$4 admits an integral algebraic étale Fourier transform if and only if it admits algebraic $$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$5-adic integral Fourier transforms up to homology for all primes $$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$6; in particular, such an integral algebraic étale Fourier transform always exists. In this sense, the integrality obstruction disappears over algebraically closed fields. The same framework is used to relate the Fourier symmetry of $$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$7 and $$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$8 to integral Hodge and Tate-type statements, and to explicit Chow–Künneth projectors for the étale motive $$\mathcal F_A \colon CH_*(A)_\mathbf Q \longrightarrow CH_*(\widehat A)_\mathbf Q, \qquad \mathcal F_A(x):={p_2}_*\big(\operatorname{ch}(\mathcal P_A)\cdot p_1^*x\big).$$9 (Rosas-Soto, 2024).

4. Additive motivic Fourier transform in motivic integration

A different but complementary theory places Fourier transform inside motivic integration over valued fields. In the framework of the paper on motivic Mellin transforms, the language is an expansion of the Denef–Pas language, with valued-field sort $$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$0, value-group sort $$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$1 endowed with Presburger structure, and residue-ring sorts $$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$2. The motivic functions of interest live in rings $$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$3 and $$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$4, whose generators encode geometric classes, additive-character data through imaginary functions $$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$5, and residue-ring characters through functions $$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$6 (Cluckers et al., 2024).

In this setting the motivic Fourier transform is defined for integrable $$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$7 by

$$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$8

where $$\ell=c_1(\mathcal P_A)\in CH^1(A\times \widehat A)_\mathbf Q$$9 is the motivic additive-character factor attached to the imaginary function $\widehat A\times A$0. The same formalism simultaneously supports Mellin transforms, but the Fourier kernel is specifically additive. Stability under integration implies that if $\widehat A\times A$1 is integrable, then $\widehat A\times A$2 again lies in $\widehat A\times A$3. Thus the transform is closed on the class of exponential constructible motivic functions (Cluckers et al., 2024).

The theory includes structural analogues of classical harmonic analysis. Theorem 5.18 asserts injectivity up to measure-zero sets: if two integrable functions have the same Fourier transform, then they coincide almost everywhere. Proposition 6.9 gives the inversion formula

$\widehat A\times A$4

almost everywhere, where $\widehat A\times A$5. Convolution is defined motivically and satisfies the expected identity $\widehat A\times A$6. Fubini and change of variables are proved in general for the underlying integration theory, so iterated Fourier-type integrals and parameter-dependent transforms are handled in the same framework (Cluckers et al., 2024).

A further feature is specialization. Motivically integrable functions specialize to $\widehat A\times A$7 $\widehat A\times A$8-adic functions for local fields of sufficiently large residue characteristic, and motivic integrals commute with specialization. Consequently, the motivic Fourier transform specializes to the classical $\widehat A\times A$9-adic Fourier transform

$k$00

for a chosen additive character $k$01. The framework also supports a transfer principle between local fields with isomorphic residue rings up to finite depth. The paper presents this as a unification and extension of earlier exponential motivic integration, now enlarged so that Fourier and Mellin transforms are treated in the same algebraic formalism (Cluckers et al., 2024).

5. Multiplicative and toric motivic Fourier analysis

For split algebraic tori, motivic Fourier analysis takes a multiplicative form. The paper on the motivic Poisson formula for split algebraic tori constructs a Grothendieck ring $k$02 of varieties with multiplicative characters, where the geometric factor and the character factor are kept simultaneously. After localizing one obtains

$k$03

and there is a canonical integration-over-characters operator

$k$04

characterized by orthogonality: $k$05 This is the multiplicative analogue of the cancellation property underlying Poisson summation (Bilu et al., 3 Apr 2026).

Given a finitely generated abelian group $k$06, a finite-support motivic function $k$07 has Fourier transform

$k$08

equivalently

$k$09

The inversion formula integrates $k$10 against $k$11, and the local motivic Poisson formula expresses sums over a subgroup $k$12 as integrals over the subgroup of characters trivial on $k$13: $k$14 Here there is no Haar measure or locally compact topology; the paper emphasizes that integration is realized as pushforward in Grothendieck rings and convergence is controlled by the dimensional filtration (Bilu et al., 3 Apr 2026).

The global form is built for a split torus $k$15 over the function field $k$16 of a smooth projective geometrically irreducible curve $k$17. Local $k$18-invariant functions factor through the cocharacter lattice $k$19, and global adelic families are encoded by symmetric products of $k$20 and of constant group schemes $k$21. Rational points $k$22 are modeled via principal divisors $k$23, and the global motivic multiplicative Poisson formula states that for a family $k$24 of global $k$25-invariant functions of level $k$26,

$k$27

This is the motivic Poisson formula for the split torus $k$28 (Bilu et al., 3 Apr 2026).

The principal application is to motivic height zeta functions of smooth projective split toric compactifications $k$29. The motivic multivariate height zeta function

$k$30

is rewritten as a motivic adelic sum, then transformed by the global Poisson formula into an integral over characters. The local Fourier transform of the height factor is computed explicitly in terms of the fan $k$31 and the toric polynomial $k$32, producing motivic $k$33-factors and polyhedral $k$34-functions. The resulting analysis yields meromorphic continuation, an explicit leading term at the main pole, and a multivariate stabilization theorem described as the motivic Batyrev–Manin–Peyre principle for split toric varieties (Bilu et al., 3 Apr 2026).

6. Spherical varieties, Braverman–Kazhdan descent, and the scope of the term

A further development appears in the theory of spherical varieties attached to triples of quadratic spaces. Let $k$35 be even-dimensional quadratic spaces over a number field $k$36, and let $k$37 be the closed subscheme cut out by

$k$38

The space $k$39 is a spherical variety for a reductive group $k$40 defined by equal similitude factors. The relevant Fourier transform is not defined directly by an explicit kernel on $k$41; instead, $k$42 is obtained from a Braverman–Kazhdan space $k$43 for $k$44 by an integral transform

$k$45

where $k$46 and $k$47 is the corresponding Weil representation. The local and global Schwartz spaces on $k$48 are defined as the images of the corresponding maps $k$49 and $k$50 (Getz et al., 2020).

The central result is that the Braverman–Kazhdan Fourier transform on $k$51 descends to a genuine operator on $k$52. Assuming $k$53, there is a unique $k$54-linear isomorphism

$k$55

such that

$k$56

and similarly at each place $k$57. The paper describes this as the first time a summation formula with boundary terms has been proven for a spherical variety that is not a Braverman–Kazhdan space (Getz et al., 2020).

The corresponding Poisson formula contains explicit boundary terms indexed by non-open orbits. Besides the main sum over $k$58, there are contributions from quotient varieties $k$59 and $k$60 together with residues at $k$61 of auxiliary integrals $k$62. Under stronger local cusp-type conditions, these boundary terms vanish and one obtains an intrinsic Poisson summation formula

$k$63

for pure tensors in $k$64. The construction is therefore a prototype for Fourier transforms on non-BK spherical varieties via descent from a BK parent space (Getz et al., 2020).

A common misconception is that “motivic Fourier transform” denotes a single operator. The current literature instead exhibits several technically distinct constructions: a correspondence on Chow or étale motivic Chow groups for abelian varieties, an additive integral transform on exponential constructible motivic functions, a multiplicative Poisson formalism on cocharacter lattices and adelic symmetric products for split tori, and a descended Schwartz-space operator on spherical varieties (Rosas-Soto, 2024, Cluckers et al., 2024, Bilu et al., 3 Apr 2026, Getz et al., 2020). This suggests a unifying principle—Fourier duality encoded by algebraic kernels, motivic integration, and Poisson summation—while also showing that the dual objects, functional spaces, and integrality questions depend sharply on the ambient category.