REVIEW 5 major objections 4 minor 17 references
Fourier-Sato transform for monodromic mixed Hodge modules
T0 review · 5 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The Fourier–Sato transform of monodromic mixed Hodge modules is defined by a single vanishing-cycles formula and is shown to match the classical transform on underlying rational sheaves.
desk verdict A short, honest note proving a vanishing-cycles formula for Fourier-Sato on monodromic mixed Hodge modules; the main lift is a formal consequence of known sheaf-level results, but two proof steps in Proposition 4.3 are not justified as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the vanishing-cycles functor $\varphi_t$, the derived functor that measures how cohomology changes as a function crosses zero, attached to the coordinate $t\colon V^\vee\times\mathbb{C}\to\mathbb{C}$ and applied after the change of variables $\gamma(v,w)=(w,\mu(v,w))$ to the pullback $p^*M$, where $\mu\colon V\times_S V^\vee\to\mathbb{C}$ is the evaluation pairing. Proposition 4.3 is the load-bearing identity: $$\mathrm{rat}(M)^\wedge=q_*\Gamma_{\{\mathrm{Re}\,\mu\ge0\}}p^*\mathrm{rat}(M)\simeq\varphi_t\,\gamma_*\,p^*\mathrm{rat}(M).$$ It rewrites the half-space section in the classical transform as a specialization along $t$, using the monodromic homotopy lemma (Lemma 3.2): for monodromic sheaves, pullback along a vector bundle followed by restriction to the zero section is an isomorphism. This identity converts a global integral transform into local vanishing-cycle data, and the same formula is then taken as the definition of $M^\wedge$ for mixed Hodge modules.
What would settle it
Compute both sides of Theorem 6.4 for the monodromic Hodge module $M=j_*\mathbb{Q}_H[1]$ on $V=\mathbb{C}$, where $j:\mathbb{C}^*\to\mathbb{C}$ is the inclusion of the punctured line and $\mathbb{Q}_H$ is the constant Hodge module on it. The two sides must have the same perverse cohomology sheaves on the dual line $V^\vee=\mathbb{C}$, including the origin where the half-space condition degenerates; a mismatch there would falsify the claimed canonical isomorphism.
Extended reading notes
Core claim
The central discovery is that the Fourier–Sato transform, for sheaves whose cohomology is locally constant along $\mathbb{C}^*$-orbits, is canonically a vanishing-cycles construction, and that this construction can be lifted verbatim to mixed Hodge modules. Concretely, for $M\in\mathrm{DM}^b_{\mathrm{mon}}(V)$ the paper sets $M^\wedge=\varphi_t\,\gamma_*\,p^*M$ and proves Theorem 6.4, the canonical isomorphism $\mathrm{rat}(M^\wedge)\simeq\mathrm{rat}(M)^\wedge$, where $\mathrm{rat}$ is the conservative, perverse-exact rational realization functor. Theorem 6.5 adds Verdier duality compatibility: $\mathrm{D}(M^\wedge)\simeq(\mathrm{D}M)^\wedge[2r](r)$ for a bundle of rank $r$. The paper is explicit that the key sheaf-level ingredients are not new and are drawn from the cited literature; the contribution is the observation that this particular formula can serve as the definition of the mixed-Hodge-module transform, bypassing explicit filtrations.
Load-bearing premise
The construction assumes that the standard sheaf operations used in the formula, pullback, pushforward, and especially the vanishing-cycles functor, all lift to mixed Hodge modules compatibly with the rational realization functor; the main theorem is declared immediate from that compatibility, so if any of these lifts failed, the claimed isomorphism would not follow.
Editorial extensions
If this is right
- For every $M\in\mathrm{DM}^b_{\mathrm{mon}}(V)$, the formula $M^\wedge=\varphi_t\gamma_*p^*M$ gives a mixed Hodge module on the dual bundle whose rational realization is the classical Fourier–Sato transform of $\mathrm{rat}(M)$.
- Verdier duality commutes with the transform up to a rank-dependent shift and Tate twist: $\mathrm{D}(M^\wedge)\simeq(\mathrm{D}M)^\wedge[2r](r)$.
- Because $\mathrm{rat}$ is conservative and perverse-exact, verifying an isomorphism of Hodge-theoretic Fourier transforms reduces to the underlying constructible sheaves, where the classical theory applies.
- On the affine line, the shifted transform interchanges the nearby-cycle and vanishing-cycle spaces in the gluing quiver, with a Tate twist entering the Hodge version; this is stated in the paper as a 'should' rather than a proved theorem.
- Fourier inversion on monodromic mixed Hodge modules remains unproved in the note, with the paper sketching an indirect route through the quiver description and functoriality of the transform under maps of vector bundles.
Reading between the lines
- The argument is formal enough that the same recipe should define the transform in any six-functor formalism with a conservative realization functor and a vanishing-cycles functor satisfying the monodromic homotopy lemma; this transfer is not stated in the paper.
- Proving $(-)^\wedge$ is an equivalence is the natural next step, and the quiver picture suggests the inverse is the same construction up to Tate twist, which would give an explicit Hodge-theoretic Fourier inversion formula.
- The duality formula implies that the transform preserves Verdier self-duality up to shift and twist, so pure objects should have pure transforms; checking the weight filtration on an example such as the constant Hodge module on a punctured line would test this consequence.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a construction of the Fourier-Sato transform for monodromic mixed Hodge modules using the vanishing cycles functor. After setting up notation and recalling a lemma on homotopy invariance for monodromic sheaves (Lemma 3.2), the author states a sheaf-level identity (Proposition 4.3): for F in D^b_mon(V), F^∧ is canonically isomorphic to φ_t γ_* p^* F. This identity is then used to define the Fourier-Sato transform on mixed Hodge modules (Definition 6.3) and to prove a lift of the transform to mixed Hodge modules (Theorem 6.4) and a duality result (Theorem 6.5). Section 7 sketches a possible Fourier inversion. The manuscript explicitly disclaims originality and relies on Kashiwara-Schapira and Brylinski.
Significance. If the proof gaps identified below are closed, the paper would provide a short, formal construction of the mixed Hodge structure on the Fourier-Sato transform, avoiding the construction of explicit Hodge and weight filtrations. The central idea—expressing the transform via vanishing cycles and then lifting that expression to mixed Hodge modules—is attractive and potentially useful. The author is admirably honest about the limitations of Section 7, which is presented as a sketch with unverified claims. However, the proof of Proposition 4.3, which is the load-bearing input for Theorem 6.4, contains gaps that must be addressed before the results can be considered established.
major comments (5)
- [§4.3, Proposition 4.3] In the display, the isomorphism τ_* γ_* Γ_{Re μ≥0} p^* F ≅ τ_* Γ_{Re t≥0} γ_* p^* F is asserted without justification. This is a base-change statement for local cohomology along the non-proper morphism γ, and it is false for arbitrary constructible sheaves. The monodromic hypothesis must be used, but no argument is given. Since Theorem 6.4 reduces to Proposition 4.3 via Definition 6.3 and the rat-compatibility of §6.1, this gap is central and must be closed, either by a complete proof or by a precise reference to a statement that covers exactly this situation.
- [§4.3, Proposition 4.3 proof] Lemma 3.2 is applied to G = Γ_{Re t≥0}(γ_* p^* F) on V∨×C. However, G is not C^*-monodromic in the sense of §2.5: along a C^*-orbit of the second factor, the restriction is generally a constant sheaf on a half-plane, not a local system. The proof silently switches to the R_+-conic version of the lemma, as in [KS, Proposition 3.7.5]. This switch must be stated and the conic hypothesis verified; currently the application of Lemma 3.2 is not justified by the lemma as stated.
- [§5.3, Proposition 5.3] The proof is only a sketch. It invokes [B, Proposition 4.8] to assert that the cone C restricts to a local system (up to shift) on each {y}×C and then concludes φ_t(C)=0. Neither the cited statement nor the inference to vanishing cycles is fully spelled out. Proposition 5.3 is needed for Theorem 6.5, so this gap is load-bearing. The alternative argument mentioned in footnote 3 is not carried out and cannot replace the missing details.
- [§6.1] The blanket assertion that 'All the usual functors/adjunctions lift to DM^b(X) compatibly with rat' is used essentially in Definition 6.3 and Theorem 6.4. The paper does not provide a reference for the compatibility in the specific form needed, which includes the functors γ_*, p^*, and φ_t. Since this compatibility is the bridge between the sheaf-level Proposition 4.3 and the Hodge-theoretic statement, the relevant compatibility statements should be stated precisely and either proved or cited to Saito's work.
- [§7.1, Fourier inversion] This section contains explicitly unverified statements: 'should', 'not checked', and 'I do not know.a simpler demonstration'. As written, it does not contain a proof of the claimed equivalence on mixed Hodge modules. If the author wishes to claim this result, the proof must be supplied; otherwise the section should be labeled as a conjecture or an open problem. The current presentation risks being read as a theorem when it is not.
minor comments (4)
- [§3.4] There is a typo 'consider consider' in the sentence introducing conic sheaves; it should read 'we may also consider conic sheaves'.
- [§4.2] In the diagram, 'V× s V∨' should be 'V×_S V∨' to indicate the fibre product over S.
- [Corollary 5] The numbering 'Corollary 5' appears after Proposition 4.3 but before Example 5.1; it should be renumbered consistently (e.g., Corollary 4.4).
- [§7.2] In the gluing description, the phrase 'F should correspond to swapping Ψ and Φ' is marked with a footnote 'I have not checked the details.' This should be presented explicitly as a conjecture, not as part of the main development.
Circularity Check
No circularity: the main isomorphism reduces to an independently cited sheaf-theoretic result, not to the paper's own definitions.
full rationale
The paper explicitly disclaims originality and states that the key points are extracted from [KS] and [B]. Theorem 6.4 is not a prediction fitted to data; it is a compatibility statement whose proof is 'Immediate from Proposition 4.3'. Proposition 4.3 is an independent sheaf-level isomorphism, which the paper attributes to the proof of [KS, Proposition 10.3.18] and proves by invoking the external Lemma 3.2, attributed to [KS, Proposition 3.7.5], [So], and [Sp]. Definition 6.3 chooses the mixed Hodge module transform to be phi_t gamma_* p^* M, so that after applying rat and using the standard compatibility of functors assumed in Section 6.1, the statement reduces exactly to the independent sheaf-level Proposition 4.3. This is a legitimate construction: the definition of M^wedge and the conclusion rat(M^wedge) = rat(M)^wedge are not the same by construction, because the sheaf-theoretic Fourier-Sato transform is defined separately as q_* Gamma_{Re mu >= 0} p^* F, and Proposition 4.3 supplies the required isomorphism. No self-citation is load-bearing; the references are to Verdier, Brylinski, Kashiwara-Schapira, Saito, Soergel, and Springer, not to the author's own prior work. Even if Proposition 4.3 has technical gaps, such as applying Lemma 3.2 to a sheaf that is only R_+-conic rather than C^*-monodromic, those are correctness concerns, not circularity: the proof does not assume the conclusion or reduce the theorem to its own inputs. Accordingly, no circular step is identified, and the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption rat is a conservative t-exact functor and all six-functor operations and adjunctions on mixed Hodge modules commute with rat.
- domain assumption Homotopy invariance for monodromic sheaves (Lemma 3.2).
- standard math Vanishing cycles identify with the sublevel set functor (Eq. 3.6.1).
- domain assumption The cone of gamma_! to gamma_* restricts to a local system on each fiber (Proposition 5.3).
- domain assumption The Fourier-Sato transform on monodromic perverse sheaves is an equivalence given by swapping the two vector spaces in the gluing description.
Cite this review
Pith. "Pith review of Fourier-Sato transform for monodromic mixed Hodge modules." pith.science (2026). https://pith.science/paper/TFHYYU37
@misc{pith2026250716170,
author = {Pith},
title = {Pith review of: Fourier-Sato transform for monodromic mixed Hodge modules},
year = {2026},
howpublished = {\url{https://pith.science/paper/TFHYYU37}},
note = {Machine review of arXiv:2507.16170}
}
read the original abstract
We discuss a construction of the Fourier-Sato transform for monodromic mixed Hodge modules.
Reference graph
Works this paper leans on
-
[1]
Brylinski , Transformations canoniques, dualit\'e projective, th\'eorie de Lefschetz, transformations de Fourier et sommes trigonom\'etriques , Ast\'erisque 140-141(1986)
J-L. Brylinski , Transformations canoniques, dualit\'e projective, th\'eorie de Lefschetz, transformations de Fourier et sommes trigonom\'etriques , Ast\'erisque 140-141(1986)
1986
-
[2]
Brylinski, B
J-L. Brylinski, B. Malgrange, J-L. Verdier , Transformation de Fourier g\'eom\'etrique II , C. R. Acad. Sci. Paris 303 (1986)
1986
-
[3]
Bott, L.W
R. Bott, L.W. Tu , Differential Forms in Algebraic Topology , GTM 82, Springer-Verlag (1982)
1982
-
[4]
Bernstein, I.M
J. Bernstein, I.M. Gelfand, S.I. Gelfand , A certain category of -modules , Functional Analysis and its Applications 10, no. 2 (1976), 1-8
1976
-
[5]
Deligne , Th\'eorie de Hodge III , Pub I.H.\'E.S 44 (1974), 5-77
P. Deligne , Th\'eorie de Hodge III , Pub I.H.\'E.S 44 (1974), 5-77
work page 1974
-
[6]
Bernstein, V
J. Bernstein, V. Lunts , Equivariant sheaves and functors , Springer-Verlag, Berlin (1994)
1994
-
[7]
Bernstein, V
J. Bernstein, V. Lunts , Equivariant sheaves and functors , Lecture Notes in Math. 1578, Springer-Verlag, Berlin (1994)
1994
-
[8]
Drinfeld , On algebraic spaces with an action of _m , arxiv:1308.2604v2
V. Drinfeld , On algebraic spaces with an action of _m , arxiv:1308.2604v2
Show all 17 references
-
[9]
Emerton, D
M. Emerton, D. Nadler, K. Vilonen . A geometric Jacquet functor , arXiv:math/0311339v2
-
[10]
Kashiwara, P
M. Kashiwara, P. Schapira , Categories and Sheaves , Springer-Verlag, Berlin (1990)
1990
-
[11]
Langlands , On the Classification of Irreducible Representations of Real Algebraic Groups , preprint I.A.S
R.P. Langlands , On the Classification of Irreducible Representations of Real Algebraic Groups , preprint I.A.S. (1973), appeared in Math. Surveys and Monographs 31, AMS (1988)
1973
-
[12]
Serre , Espaces fibr\'es alg\'ebriques , Anneaux de Chow et Applications, Se\'eminaire C
J.-P. Serre , Espaces fibr\'es alg\'ebriques , Anneaux de Chow et Applications, Se\'eminaire C. Chevalley, E.N.S., Paris (1958)
1958
-
[13]
SGA 7, volume II, Expos\'e XIII
-
[14]
Saito , Mixed Hodge modules , Publ
M. Saito , Mixed Hodge modules , Publ. RIMS, Kyoto Univ. 26 (1990)
1990
-
[15]
Soergel , -cohomology of simple highest weight modules on walls and purity , Invent
W. Soergel , -cohomology of simple highest weight modules on walls and purity , Invent. Math. 98 (1989)
1989
-
[16]
Springer , A purity result for fixed point varieties in flag manifolds , J
T.A. Springer , A purity result for fixed point varieties in flag manifolds , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 31 (1984)
1984
-
[17]
Verdier Sp\'ecialisation de faisceaux et monodromie mod\'er\'ee , Ast\'erisque 101 (1983)
J.L. Verdier Sp\'ecialisation de faisceaux et monodromie mod\'er\'ee , Ast\'erisque 101 (1983)
1983
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.