Fourier–Sato Transform Overview

• Fourier–Sato transform is a sheaf-theoretic integral transform on vector spaces that establishes exact equivalences between conic sheaf categories using half-space kernels.
• It employs a microlocal rotation, (x,ξ) → (ξ,−x), to transport microsupports, Lagrangian cycles, and exponential factors, playing a key role in stationary phase and dual stratifications.
• Enhanced formulations incorporate an auxiliary real parameter, linking irregular Riemann–Hilbert theory with the Fourier–Laplace transform of holonomic D‑modules and advanced microlocal techniques.

Searching arXiv for recent and foundational papers on the Fourier–Sato transform to ground the article in the literature. The Fourier–Sato transform is a sheaf-theoretic integral transform on vector spaces, originally defined for conic constructible sheaves and later extended to enhanced ind-sheaves, monodromic sheaves, mixed Hodge modules, and Tamarkin-type microlocal categories. In its classical form, for a real finite-dimensional vector space $V$ and dual $V^*$, it is an exact equivalence between conic derived categories, implemented by the half-space kernel $k_{\{\langle x,\xi\rangle\ge 0\}}$ or $k_{\{\langle x,\xi\rangle\le 0\}}$ depending on sign convention (D'Agnolo, 2012). In the enhanced setting, the transform incorporates an auxiliary real parameter $t$ and kernels such as $k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$, making it compatible with irregular Riemann–Hilbert theory and with the Fourier–Laplace transform of holonomic $\mathcal{D}$-modules (D'Agnolo et al., 2017). Across these formulations, its persistent structural feature is the microlocal rotation $(x,\xi)\mapsto (\xi,-x)$ on cotangent bundles, which transports microsupports, Lagrangian cycles, exponential factors, and Stokes data (Ito et al., 2018).

1. Classical definition and categorical equivalence

For dual real vector spaces $V$ and $W$, the classical Fourier–Sato transform is defined on the bounded derived category of $V^*$0-conic sheaves by convolution with a half-space kernel. One formulation is

$V^*$1

with adjoint

$V^*$2

and these functors give mutually quasi-inverse equivalences on conic categories (D'Agnolo, 2012). Another perverse-normalized form used for constructible sheaves is

$V^*$3

where the shift by $V^*$4 makes the transform $V^*$5-exact for the perverse $V^*$6-structure (Achar et al., 2012).

This equivalence admits several standard properties. It is involutive up to antipodal pullback and shift in the classical Kashiwara–Schapira normalization, and it commutes with linear operations such as direct images and inverse images along linear maps (D'Agnolo, 2012). In the equivariant constructible setting, it is $V^*$7-equivariant for a linear action of an algebraic group $V^*$8 and preserves perversity after the standard cohomological normalization (Achar et al., 2012).

A basic calculation is that the skyscraper sheaf at the origin transforms to a shifted constant sheaf:

$V^*$9

a formula that becomes structurally important in applications to Springer theory and nilpotent cones (Achar et al., 2012). For convex cones, the transform exchanges indicator sheaves of a cone with indicator sheaves of the interior of the polar cone, again up to standard shifts and sign conventions (D'Agnolo, 2012).

2. Microlocal interpretation

The Fourier–Sato transform is microlocally governed by the symplectic rotation

$k_{\{\langle x,\xi\rangle\ge 0\}}$0

or, in complex notation, $k_{\{\langle x,\xi\rangle\ge 0\}}$1 (Ito et al., 2018). This is the cotangent-level manifestation of the transform and is the reason it exchanges conormal geometries associated with dual stratifications. In particular, characteristic cycles and microsupports are transported by this rotation (Ito et al., 2018).

For enhanced ind-sheaves, the corresponding contact transformation also tracks the auxiliary $k_{\{\langle x,\xi\rangle\ge 0\}}$2-coordinate. In dimension one the transformation is written as

$k_{\{\langle x,\xi\rangle\ge 0\}}$3

and induces

$k_{\{\langle x,\xi\rangle\ge 0\}}$4

on cotangent bundles (D'Agnolo et al., 2017). The enhanced microsupport satisfies

$k_{\{\langle x,\xi\rangle\ge 0\}}$5

so the transform acts as a quantization of this contact/symplectic map (D'Agnolo et al., 2017).

This microlocal perspective is central in later developments. In hyperplane-arrangement settings, it explains why the transform takes sheaves smooth with respect to an arrangement to sheaves smooth with respect to the dual arrangement (Finkelberg et al., 2017). In the irregular holonomic $k_{\{\langle x,\xi\rangle\ge 0\}}$6-module setting, it explains why exponential factors are obtained by stationary phase and Legendre transform, and why irregular characteristic cycles control the generic rank and asymptotics of Fourier transforms (Takeuchi, 2022).

3. Enhanced Fourier–Sato transform and irregular Riemann–Hilbert theory

The enhanced theory refines the classical conic formalism by adjoining an auxiliary real parameter $k_{\{\langle x,\xi\rangle\ge 0\}}$7 and passing to the triangulated category of enhanced ind-sheaves. For bordered spaces $k_{\{\langle x,\xi\rangle\ge 0\}}$8 and $k_{\{\langle x,\xi\rangle\ge 0\}}$9 in dimension one, the standard kernels are

$k_{\{\langle x,\xi\rangle\le 0\}}$0

and the transform is

$k_{\{\langle x,\xi\rangle\le 0\}}$1

with quasi-inverse

$k_{\{\langle x,\xi\rangle\le 0\}}$2

(D'Agnolo et al., 2017).

The sign convention here matches the classical exponential kernel $k_{\{\langle x,\xi\rangle\le 0\}}$3; accordingly the relevant inequality is $k_{\{\langle x,\xi\rangle\le 0\}}$4 (D'Agnolo et al., 2017). On a complex vector space $k_{\{\langle x,\xi\rangle\le 0\}}$5 with dual $k_{\{\langle x,\xi\rangle\le 0\}}$6, the analogous enhanced Fourier–Laplace transform is

$k_{\{\langle x,\xi\rangle\le 0\}}$7

and for an algebraic holonomic $k_{\{\langle x,\xi\rangle\le 0\}}$8-module $k_{\{\langle x,\xi\rangle\le 0\}}$9 one has

$t$0

which is the precise compatibility between the algebraic Fourier transform and the enhanced Fourier–Sato transform (Takeuchi, 2022).

Through D’Agnolo–Kashiwara’s irregular Riemann–Hilbert correspondence, holonomic $t$1-modules are embedded fully faithfully into enhanced ind-sheaves:

$t$2

and the enhanced category records irregular growth and Stokes data rather than only regular-singular behavior (D'Agnolo et al., 2017). Exponential objects are represented by

$t$3

so the enhanced framework directly encodes exponential asymptotics. This is the mechanism by which Fourier–Sato becomes the correct sheaf-theoretic avatar of the Fourier–Laplace transform for irregular connections (D'Agnolo et al., 2017).

4. Stationary phase, Legendre transform, and exponential factors

In dimension one, the most precise stationary-phase statement is that exponential factors of the Fourier transform are obtained by Legendre transform from the exponential factors of the original holonomic $t$4-module (D'Agnolo et al., 2017). If $t$5 is a meromorphic phase, then the transformed phase $t$6 is determined by

$t$7

In Puiseux notation, if $t$8 then $t$9, with branch chosen so that

$k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$0

(D'Agnolo et al., 2017).

For a holonomic $k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$1-module $k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$2 on the affine line, the exponential factors at irregular singularities are Puiseux germs $k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$3, defined modulo bounded functions, with multiplicities given by the regular factors in the Hukuhara–Levelt–Turrittin decomposition (D'Agnolo et al., 2017). The main enhanced stationary-phase theorem states that if $k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$4 has normal form at $k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$5 with multiplicity class $k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$6, then for the Legendre transform $k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$7 one has, for generic $k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$8,

$k_{\{s-t-\mathrm{Re}(xy)>0\}}[1]$9

where $\mathcal{D}$0 is the multiplicity test functor (D'Agnolo et al., 2017). For $\mathcal{D}$1 this yields the classical stationary-phase principle: the exponential factors of $\mathcal{D}$2 are the Legendre transforms of those of $\mathcal{D}$3, with the same multiplicities (D'Agnolo et al., 2017).

Several standard examples illustrate the rule.

Phase $\mathcal{D}$4	Equation $\mathcal{D}$5	Legendre transform $\mathcal{D}$6
$\mathcal{D}$7	$\mathcal{D}$8	$\mathcal{D}$9
$(x,\xi)\mapsto (\xi,-x)$0	$(x,\xi)\mapsto (\xi,-x)$1	$(x,\xi)\mapsto (\xi,-x)$2
$(x,\xi)\mapsto (\xi,-x)$3	$(x,\xi)\mapsto (\xi,-x)$4	$(x,\xi)\mapsto (\xi,-x)$5

The quadratic example matches the Gaussian Fourier transform, the power example shows that an irregular singularity of order $(x,\xi)\mapsto (\xi,-x)$6 is sent to one of order $(x,\xi)\mapsto (\xi,-x)$7, and the cubic example gives the Airy exponential factors $(x,\xi)\mapsto (\xi,-x)$8 (D'Agnolo et al., 2017).

In higher dimensions the same stationary-phase geometry persists, but with an additional phenomenon: singularities of linear perturbations at indeterminacy points of meromorphic phases can produce extra multiplicities and generic rank jumps in the Fourier transform (Takeuchi, 2022). This suggests that the one-dimensional Legendre-transform picture remains valid as a local principle, but the global geometry of meromorphic indeterminacy becomes part of the transformed asymptotic data.

5. Stokes structures, nearby cycles, and topological algorithms

In the enhanced formalism, Stokes data are encoded microlocally. For an enhanced ind-sheaf with normal form at a point $(x,\xi)\mapsto (\xi,-x)$9, the enhanced nearby cycles functor yields a local system on the circle of tangent directions with Stokes filtration $V$0 indexed by Puiseux germs (D'Agnolo et al., 2017). The graded pieces satisfy

$V$1

and the multiplicity test functor detects these graded Stokes pieces (D'Agnolo et al., 2017). Under the enhanced Fourier–Sato transform, these filtrations are transported by the induced contact transformation, so Stokes rays and Stokes filtrations are carried to those associated with the Legendre-transformed phases (D'Agnolo et al., 2017).

A recent topological reformulation of this phenomenon studies the Fourier transform of Stokes data at infinity for one-level irregular connections on the Riemann sphere (Douçot et al., 2024). In that setting, the Legendre transform induces an orientation-preserving homeomorphism

$V$2

between Stokes circles of slope $V$3, transporting active circles and distinguished intervals (Douçot et al., 2024). The formal local systems of the transformed connection are obtained from the original ones by Legendre transport, up to a rank-one twist $V$4 with monodromy

$V$5

around each Stokes circle $V$6 (Douçot et al., 2024). Parallel transports along transformed Stokes paths satisfy

$V$7

with the sign determined explicitly by orientation and twist data (Douçot et al., 2024).

This yields an algorithm for transformed Stokes matrices in a large class of one-level cases from $V$8 to $V$9 (Douçot et al., 2024). In the Gaussian-type example the Stokes data are unchanged, while in Airy-type and twisted examples the new Stokes matrices are given by signed matrix entries of products of the original Stokes factors (Douçot et al., 2024). A plausible implication is that the enhanced microlocal description of stationary phase is sufficiently rigid to support explicit Betti-side computations beyond the purely formal $W$0-module level.

6. Variants, extensions, and geometric applications

Several later developments extend the Fourier–Sato transform beyond the classical conic constructible context.

For non-conic sheaves, one compensates for the lack of homogeneity by adding an extra variable. In this framework, if $W$1 is given by $W$2, then one has an equivalence

$W$3

and a kernel description

$W$4

(D'Agnolo, 2012). This extension is used to obtain Paley–Wiener type results and to introduce subanalytic sheaves of holomorphic functions with exponential growth (D'Agnolo, 2012).

For monodromic mixed Hodge modules on a vector bundle $W$5 of rank $W$6, a concise construction defines the transform by vanishing cycles:

$W$7

where $W$8 and $W$9 is the fiberwise evaluation pairing (Virk, 22 Jul 2025). The underlying sheaf satisfies

$V^*$00

and Verdier duality behaves as

$V^*$01

(Virk, 22 Jul 2025). The note does not establish a full involutivity theorem in the Hodge setting, but it gives a formal lift of the classical transform that avoids explicit construction of Hodge and weight filtrations (Virk, 22 Jul 2025).

A Tamarkin-type variant operates on sheaves valued in presentable stable $V^*$02-categories. For a finite-dimensional real vector space $V^*$03, the “Legendre kernel”

$V^*$04

defines a transform

$V^*$05

on Tamarkin categories (Zhang, 2 Jun 2025). In the form used there, it exchanges microsupport constraints of the form $V^*$06 on $V^*$07 with support constraints $V^*$08 on the dual side (Zhang, 2 Jun 2025). This is then used to compute universal localizing invariants and categories of almost quasi-coherent sheaves on the Novikov toric scheme (Zhang, 2 Jun 2025).

7. Arrangement theory, nilpotent cones, and representation-theoretic roles

In the theory of perverse sheaves smooth with respect to real hyperplane arrangements, the Fourier–Sato transform admits a fully combinatorial description. For a real arrangement $V^*$09 in $V^*$10, perverse sheaves on the complexification can be encoded by “hyperbolic sheaves” indexed by faces, with linear maps $V^*$11 and $V^*$12 satisfying monotonicity, collinearity, and neighbor-invertibility axioms (Finkelberg et al., 2017). The transformed perverse sheaf is smooth with respect to the dual arrangement $V^*$13, and its hyperbolic stalks are computed by cellular complexes over the “small dual cone” $V^*$14, while ordinary stalks use the “big dual cone” $V^*$15 (Finkelberg et al., 2017). This makes the transform algorithmic in arrangement combinatorics and ties it to vanishing cycles and specialization by a common “hyperbolic calculus” (Finkelberg et al., 2017).

A distinct representation-theoretic application appears for the nilpotent cone $V^*$16 of a complex reductive Lie algebra. With $V^*$17 and a fixed identification $V^*$18, the functor

$V^*$19

defines an autoequivalence of $V^*$20, with inverse

$V^*$21

(Achar et al., 2012). This autoequivalence is compatible with parabolic induction and restriction, and in characteristic zero it acts on generalized Springer correspondences by tensoring Weyl-group labels with the sign character (Achar et al., 2012). For $V^*$22, it sends tilting perverse sheaves to projective perverse sheaves, giving a geometric realization of Ringel self-duality for the Schur algebra (Achar et al., 2012).

These applications correct a common misconception that the Fourier–Sato transform is only a microlocal reformulation of Euclidean Fourier analysis. The cited work shows instead that it is a structural operation in representation theory, arrangement combinatorics, irregular Riemann–Hilbert theory, and $V^*$23-categorical microlocal geometry (Achar et al., 2012).

8. Higher-dimensional irregular Fourier transforms and current scope

For irregular holonomic $V^*$24-modules on $V^*$25, the enhanced Fourier–Sato transform provides a stationary-phase description of the Fourier transform in terms of critical values of the phase $V^*$26 (Takeuchi, 2022). Over a suitable Zariski-open set in the dual space, the enhanced solution of the Fourier transform decomposes as

$V^*$27

where the functions $V^*$28 are critical values and the multiplicities $V^*$29 are determined either by smooth stationary-phase contributions or by meromorphic vanishing cycles at indeterminacy loci (Takeuchi, 2022). The generic rank of $V^*$30 is then $V^*$31, and extra terms can arise from indeterminacy phenomena absent in dimension one (Takeuchi, 2022).

The paper introduces irregular characteristic cycles, not necessarily homogeneous Lagrangian cycles on cotangent bundles, to encode these transformed asymptotics and multiplicities (Takeuchi, 2022). This suggests that the natural higher-dimensional generalization of the classical stationary-phase theorem is not merely a formal replacement of Puiseux germs by multivariable phases: it requires additional microlocal invariants adapted to meromorphic singularities and vanishing-cycle loci (Takeuchi, 2022).

Within the scope covered by the cited literature, several limitations remain explicit. The dimension-one enhanced stationary-phase theorem is established for holonomic algebraic $V^*$32-modules on the affine line and for admissible Puiseux germs, excluding linear terms at infinity in the main statement (D'Agnolo et al., 2017). The topological Stokes-data algorithm applies to a large number of one-level cases from $V^*$33 to $V^*$34, under simplifying assumptions such as equal modulus of coefficients on active circles (Douçot et al., 2024). The monodromic mixed-Hodge-module construction provides compatibility with realization and duality but does not include a complete involutivity theorem in general rank (Virk, 22 Jul 2025).

Taken together, these developments present the Fourier–Sato transform as a unifying operation that begins as a kernel transform on conic sheaves and extends to a microlocal formalism for exponential asymptotics, Stokes filtrations, representation-theoretic dualities, and categorical invariants. Its modern significance lies less in any single formula than in the fact that the same half-space or enhanced-phase kernel controls microsupport transport, stationary phase, dual stratifications, and Fourier–Laplace correspondences across multiple mathematical regimes (D'Agnolo et al., 2017).