🔢 mathematics

A motivic derived Fourier transform

This paper constructs a motivic Fourier transform for rational étale motives on derived vector bundles over derived Artin stacks in positive characteristic, utilizing the Artin-Schreier motive as a kernel and establishing its fundamental properties such as involutivity, duality, and constructibility.

Original authors: Tong Zhou

Published 2026-08-25

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Tong Zhou

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

In the vast landscape of modern mathematics, there is a branch dedicated to understanding the hidden shapes and structures that underlie geometric spaces. Imagine a world where objects are not just solid forms like spheres or cubes, but complex, shifting patterns of information that can be stretched, twisted, and folded. Mathematicians study these patterns using tools called motives, which act like a universal language to describe the essential nature of these spaces, much like how a genetic code describes the fundamental traits of a living organism. When these spaces exist over fields of numbers with specific properties, such as those used in cryptography, the patterns become even more intricate. One of the most powerful tools in this field is the Fourier transform. Originally developed to break down sound waves into their individual frequencies, this mathematical operation allows researchers to translate a complex object into a different form where its hidden symmetries and relationships become visible. It is a way of seeing the same thing from a completely new angle, often revealing truths that were impossible to spot in the original view.

For decades, mathematicians have successfully applied this Fourier transform to classical geometric shapes, such as flat planes or curved surfaces defined by simple equations. However, a new frontier has emerged involving "derived" spaces. These are not just simple shapes but highly sophisticated structures that carry extra layers of information about how they might be deformed or how they interact with other shapes. Until now, the powerful tool of the Fourier transform had not been fully adapted to work within this advanced, derived setting, particularly when dealing with spaces defined over fields of positive characteristic, a specific type of number system crucial for certain areas of algebra and number theory. Without this tool, mathematicians were unable to fully explore the deep symmetries and structural properties of these complex, derived objects.

In a recent study, a researcher named Tong Zhou has successfully constructed a theory of the Fourier transform specifically for these derived spaces. The work focuses on rational étale motives, which are a precise way of encoding the geometric and arithmetic information of these spaces. The core of this achievement is the creation of a new kernel, or a fundamental building block, called the Artin–Schreier motive. This motive is derived from a specific type of mathematical covering, a process that wraps a space around itself in a particular way related to the number of prime factors in the field. By using this motive as the engine for the transform, Zhou has defined a method to translate objects from a derived vector bundle—a complex, multi-dimensional geometric structure—to its dual, a corresponding structure that captures the same information from a different perspective.

The paper demonstrates that this new transform works with remarkable consistency and power. The most striking result is that the transform is involutive, meaning that if you apply the transformation twice, you return to the original object, perhaps with a slight, predictable shift in its orientation or scale. This property is essential for any reliable mathematical tool, as it guarantees that the process is reversible and does not lose information. The study proves that this transform respects the fundamental operations of the mathematical world, such as combining objects together or moving them from one space to another. It behaves correctly when the underlying space is changed, ensuring that the relationships between different geometric structures remain intact no matter how the view is shifted.

Furthermore, the research establishes that this transform preserves the most important types of objects within these spaces. It maps "constructible" objects, which are those built from a finite number of basic pieces, to other constructible objects, ensuring that the complexity of the structure does not explode into chaos. It also respects "monodromic" objects, which are shapes that behave consistently as they are rotated or scaled, maintaining their identity through these changes. The paper shows that the transform acts as a perfect bridge between a space and its dual, creating an equivalence that allows mathematicians to move freely between the two without losing any data. This includes a version of the famous Plancherel theorem, which relates the total "energy" or size of an object in one view to its size in the transformed view, confirming that the transform is a balanced and fair exchange of information.

The significance of this work lies in its ability to unify and extend previous theories. While parts of this theory had been explored for simpler, classical shapes, this paper lifts the entire framework into the realm of derived geometry. It provides a rigorous foundation that allows for the study of these complex spaces with the same confidence and precision that mathematicians have long enjoyed with simpler shapes. The results are not merely theoretical; they are designed to be used as a toolkit for solving deeper problems in algebraic geometry and number theory. By proving that the transform is compatible with various natural operations, such as changing the base field or mapping between different bundles, the paper ensures that this new tool is robust and ready for application in future research. The construction of the involutivity property, in particular, required a novel approach that avoided certain technical obstacles, demonstrating a fresh perspective on how these complex structures interact.

Ultimately, this paper opens a new door for exploring the geometry of derived spaces. It confirms that the elegant logic of the Fourier transform, which has guided mathematical discovery for centuries, holds true even in the most abstract and intricate corners of the field. By defining the transform through the Artin–Schreier motive and proving its fundamental properties, the work provides a clear, reliable path for mathematicians to navigate these complex landscapes. The findings suggest that the deep symmetries of these derived spaces are not only real but accessible, waiting to be uncovered by this newly forged key. The study stands as a testament to the power of extending classical ideas into new, more complex territories, ensuring that the language of geometry continues to grow and adapt to the challenges of modern mathematics.

Technical Summary: A Motivic Derived Fourier Transform

Problem and Context
This paper constructs a theory of Fourier transform for rational étale motives on derived vector bundles over derived Artin stacks defined over a field $k$ of positive characteristic $p > 0$ . The work operates within the framework of the six-functor formalism for étale motives with coefficients in a finite extension $L$ of $\mathbb{Q}$ containing a primitive $p$ -th root of unity. While Fourier transforms for sheaves and motives on classical schemes and vector bundles have been studied (notably in [CHS26]), this work extends the theory to the derived setting, addressing the complexities arising from derived geometry and the specific requirements of motivic homotopy theory in positive characteristic.

Methodology
The construction relies on the Artin–Schreier motive as the kernel of the integral transform. The methodology proceeds through the following stages:

Construction of the Kernel: The author defines the Artin–Schreier motive $L$ as a specific isotypic component of the pushforward $f_* f^* \mathbf{1}_{\mathbb{A}^1}$ , where $f: \mathbb{A}^1 \to \mathbb{A}^1$ is the Artin–Schreier covering ( $t \mapsto t^p - t$ ). This object lives in the category of étale motives on $\mathbb{A}^1$ and carries a natural action of the Galois group $\mathbb{Z}/p$ . The author establishes its fundamental properties, including additivity, duality, and behavior under scaling and pullback.
Classical Case (Vector Bundles): Before addressing the derived case, the theory is established for classical vector bundles over finite-dimensional schemes. The Fourier transform $\mathcal{F}$ is defined as the integral transform with kernel $L$ :
$\mathcal{F}(A) = p'_! (p^* A \otimes m^* L)$
where $p, p'$ are projections from $E \times_X E'$ to $E$ and $E'$ respectively, and $m$ is the pairing map.
Derived Generalization: The theory is extended to derived vector bundles over derived Artin stacks. This requires handling the derived nature of the total space and the dual bundle. A critical component of this extension is the proof of involutivity (the property that applying the Fourier transform twice yields a shift and a sign). The construction of this involutivity in the derived setting is non-trivial and relies on techniques from [FYZ26a], with the author providing a slightly different argument in the final gluing step to avoid reliance on $t$ -structures on the derived category $D(X)$ .

Key Contributions and Results
The paper establishes a comprehensive set of basic properties for the motivic derived Fourier transform, denoted $\mathcal{F}: D(E) \to D(E')$ , where $E$ is a derived vector bundle of rank $d$ and $E'$ is its dual:

Involutivity: There exist canonical natural isomorphisms $\mathcal{F}' \circ \mathcal{F} \simeq [-1]^* \langle -d \rangle$ and $\mathcal{F} \circ \mathcal{F}' \simeq [-1]^* \langle -d \rangle$ , satisfying specific commutative diagrams involving the sign $(-1)^d$ .
Adjunctions and Duality: The paper identifies the right adjoint of $\mathcal{F}$ and establishes a compatibility with Verdier duality: $D_{E'/X} \mathcal{F} \simeq (\mathcal{F} D_{E/X}) [-1]^* \langle d \rangle$ .
Convolution and Plancherel: The transform interchanges convolution and tensor product (up to a shift): $\mathcal{F}(A * B) \simeq \mathcal{F}A \otimes \mathcal{F}B$ and $\mathcal{F}(A \otimes B) \simeq (\mathcal{F}A * \mathcal{F}B) \langle d \rangle$ . A Plancherel-type formula is also established.
Monodromicity and Constructibility: The transform restricts to equivalences on the subcategories of monodromic motives ( $D_{mon}$ ) and constructible motives ( $D_c$ ).
Compatibility with Natural Transformations: The paper proves compatibility with:
- Base Change: Commutativity with $f_!, f^*, f_!, f_*$ for maps of derived Artin stacks.
- Functoriality: Behavior under maps of derived vector bundles and their duals.
- Proper Base Change and Gysin Maps: Non-trivial compatibilities involving proper base change squares and Gysin maps for quasi-smooth morphisms.
- Homogeneous Fourier Transform: A commutative diagram relating the standard transform to the homogeneous Fourier transform on the quotient stacks $E/\mathbb{G}_m$ .

Significance and Claims
The author states that the results are used in [FYZ26b]. The paper emphasizes that once the techniques for constructing involutivity in the derived setting are understood, most of the basic properties follow relatively easily, often by adapting proofs from the classical case. The primary technical novelty lies in the rigorous construction of the involutivity isomorphism for derived vector bundles without invoking $t$ -structures, thereby ensuring the result holds in the full stable $\infty$ -category of motives. The work serves as a foundational extension of motivic Fourier theory to the derived geometric context, providing the necessary formalism for further applications in arithmetic geometry and representation theory.

More like this