Pith. sign in

REVIEW 2 major objections 3 minor 21 references

A remark on Continuous K-theory and Fourier-Sato transform

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The universal K-theory invariant of constrained sheaf categories is cohomology of the constraint set.

desk verdict A short, honest note with a genuinely new Fourier-Sato proof of a continuous K-theory computation, but the proof of Prop 2.11 has a real gap that blocks the main theorem as written. read the letter →

arxiv 2506.02329 v2 pith:55KSKYID submitted 2025-06-02 math.AT math.KTmath.SG

Bingyu Zhang This is my paper
classification math.ATmath.KTmath.SG MSC 18F2514F08
keywords continuousK-theoryuniversallocalizinginvariantFourier-SatotransformmicrosupportTamarkincategoryalmostquasi-coherentsheavesNovikovtoricschemefinitary
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This note proves that the universal finitary localizing invariant of a category of sheaves with a conic microsupport constraint is determined by the constraint set itself: for a dualizable stable category $C$, a finite-dimensional real vector space $V$, and a conic closed set $X\subset V^{\vee}$, one has $U^{\mathrm{cont}}_{\mathrm{loc}}(\mathrm{Sh}_{V\times X}(V;C))\simeq \Gamma_c(X;U^{\mathrm{cont}}_{\mathrm{loc}}(C))$. The result generalizes a previously known one-dimensional vanishing computation to arbitrary dimension and arbitrary conic closed constraints, and the proof uses categorical equivalences from the Fourier-Sato-Tamarkin transform rather than a semi-orthogonal decomposition. A parallel statement for Tamarkin categories carries an extra loop factor. The paper's application computes the same invariant for almost quasi-coherent sheaves on the Novikov toric scheme as the compactly supported cohomology of the underlying fan. The upshot is that for these categories, continuous K-theory is a cohomological invariant of the constraint alone.

What carries the argument

The load-bearing object is the Fourier-Sato-Tamarkin transform, a variant of the Fourier-Sato transform on a real vector space that induces an equivalence $T_{V\times X}(T^*V;\mathrm{Sp})\simeq T_{X\times V}(T^*V^{\vee};\mathrm{Sp})$ for every closed set $X\subset V^{\vee}$. The argument then identifies the second category with sheaves on $X$ via the fact that the projection of a sheaf's microsupport onto the base is exactly its support, so $\mathrm{Sh}_{X\times V}(V^{\vee};\mathrm{Sp})\simeq \mathrm{Sh}(X;\mathrm{Sp})$. For the conic statement, a Künneth decomposition $T_Z(T^*M;C)\simeq \mathrm{Sh}_Z(M;C)\otimes T_{\mathrm{Sp}}$ splits off the one-dimensional Tamarkin direction, whose localizing invariant contributes a loop-suspension factor and cancels the loop in the Tamarkin formula.

What would settle it

Take $V=\mathbb{R}$ and $X=[0,1]$, a closed non-conic set. The theorem predicts $U^{\mathrm{cont}}_{\mathrm{loc}}(T_{\mathbb{R}\times[0,1]}(T^*\mathbb{R};C))\simeq \Omega\Gamma_c([0,1];U^{\mathrm{cont}}_{\mathrm{loc}}(C))$; computing the left-hand side directly from the definition of $U^{\mathrm{cont}}_{\mathrm{loc}}$ and finding any object different from the predicted right-hand side would refute the quoted equivalence and hence the main theorem. An even simpler check is to compare the two Tamarkin constraint categories for a closed non-conic set directly: if $T_{V\times X}(T^*V;\mathrm{Sp})$ and $T_{X\times V}(T^*V^{\vee};\mathrm{Sp})$ are not equivalent for some $X$, the proof collapses.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.4: for a dualizable stable category $C$, a finite-dimensional real vector space $V$, and a closed set $X\subset V^{\vee}$, there is an equivalence $U^{\mathrm{cont}}_{\mathrm{loc}}(T_{V\times X}(T^*V;C))\simeq \Omega\Gamma_c(X;U^{\mathrm{cont}}_{\mathrm{loc}}(C))$, and when $X$ is conic, $U^{\mathrm{cont}}_{\mathrm{loc}}(\mathrm{Sh}_{V\times X}(V;C))\simeq \Gamma_c(X;U^{\mathrm{cont}}_{\mathrm{loc}}(C))$. Taking $X$ to be a non-zero proper closed convex cone makes the right-hand side vanish, so the invariant of the corresponding sheaf category vanishes; this is the announced generalization of the one-dimensional computation. The author emphasizes that the route is new: the universal localizing invariant is applied to Fourier-Sato-Tamarkin equivalences and to a Künneth decomposition, so the computation is reduced to a presheaf formula on the constraint set, with no semi-orthogonal decomposition. The same theorem holds verbatim for any finitary localizing invariant, because the universal one is initial among them.

Load-bearing premise

The proof rests on a quoted categorical equivalence, the Fourier-Sato-Tamarkin interchange of microsupport constraints for every closed set $X$; if that equivalence failed for some non-conic $X$, both halves of the main theorem would lose their proof, and the application also depends on a cited identification of almost quasi-coherent sheaves with a microsupport-constrained sheaf category.

Editorial extensions

If this is right

  • For every conic closed constraint $X\subset V^{\vee}$, the universal localizing invariant of $\mathrm{Sh}_{V\times X}(V;C)$ is exactly $\Gamma_c(X;U^{\mathrm{cont}}_{\mathrm{loc}}(C))$, so it vanishes whenever $\Gamma_c$ of the constraint vanishes, in particular for non-zero proper closed convex cones.
  • The Tamarkin category $T_{V\times X}(T^*V;C)$ has invariant $\Omega\Gamma_c(X;U^{\mathrm{cont}}_{\mathrm{loc}}(C))$, a looped, compactly supported cohomology of the same set.
  • Because $U^{\mathrm{cont}}_{\mathrm{loc}}$ is the initial finitary localizing invariant, the same equivalences hold for every finitary localizing invariant, not just the universal one.
  • For an open complement $U=V^{\vee}\setminus X$, the quotient categories satisfy $U^{\mathrm{cont}}_{\mathrm{loc}}(\mathrm{Sh}(V,V\times U;C))\simeq \Gamma_c(U;U^{\mathrm{cont}}_{\mathrm{loc}}(C))$ and $U^{\mathrm{cont}}_{\mathrm{loc}}(T(V\times U;C))\simeq \Omega\Gamma_c(U;U^{\mathrm{cont}}_{\mathrm{loc}}(C))$.
  • For the Novikov toric scheme, $U^{\mathrm{cont}}_{\mathrm{loc}}(a\mathrm{QCoh}^{T_{\mathrm{Nov}}}(X^{\mathrm{Nov}}_{\Sigma},\partial\Sigma))\simeq \Gamma_c(|\Sigma|;U^{\mathrm{cont}}_{\mathrm{loc}}(\mathrm{Mod}\,k))$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Extrapolating the pattern, one may conjecture that whenever a Tamarkin or microsupport-restricted sheaf category is Fourier-Sato dual to sheaves on its constraint set, its universal localizing invariant is a (possibly looped or suspended) compactly supported cohomology of that set; this would make continuous K-theory a genuine microlocal invariant comparable to Hochschild homology of Tamarkin cate
  • Because the computed invariant depends on the fan only through $\Gamma_c(|\Sigma|;U^{\mathrm{cont}}_{\mathrm{loc}}(\mathrm{Mod}\,k))$, the Novikov-toric application predicts that two fans with the same underlying support but different cone combinatorics have the same continuous K-theory; comparing such pairs is a direct test of the formula.
  • The author leaves open the computation for general open domains $D\subset T^*M$; the quotient formula here gives the first family of such computations, so a natural next step is to test whether the filtered symplectic cohomology expectation, proved for Hochschild homology in the cited literature, carries over to $U^{\mathrm{cont}}_{\mathrm{loc}}(T(D;C))$ for domains with good contact boundary.
  • The proof's reliance on a quoted equivalence for arbitrary closed sets means the scope of the main theorem is exactly the scope of that equivalence; proving it for more general coefficient categories or non-linear bases would immediately extend the cohomological formula.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper proposes a new proof of a generalization of Efimov's theorem on the universal localizing invariant of categories of sheaves with microsupport constraints. The main result, Theorem 4.4, states that for a dualizable stable category C, a finite-dimensional real vector space V, and a closed set X ⊂ V∨, the continuous universal localizing invariant of the Tamarkin category T_{V×X}(T*V;C) is ΩΓ_c(X;U_cont_loc(C)), and if X is conic, the invariant of Sh_{V×X}(V;C) is Γ_c(X;U_cont_loc(C)). The proof uses the Fourier-Sato-Tamarkin transform and identifies certain microsupport-constrained sheaf categories with tensor products involving the Tamarkin category T_Sp. As an application, the paper computes U_cont_loc for the category of almost quasi-coherent sheaves on Vaintrob's Novikov toric scheme.

Significance. If the main theorem is correct, it provides a striking and clean description of the universal finitary localizing invariant of microsupport-constrained sheaf categories: it is exactly the compactly supported cohomology of the constraint set. The use of the Fourier-Sato-Tamarkin transform is a novel proof strategy that avoids the semi-orthogonal decompositions used by Efimov, and the development of microsupport theory for general coefficient categories is potentially useful beyond this paper. The application to Novikov toric schemes is also interesting. However, the proof of the load-bearing Proposition 2.11 contains a gap that, as written, invalidates the proof of Theorem 4.4(2). The central claim is likely true, but the manuscript needs a corrected argument.

major comments (2)
  1. [Section 2, Proposition 2.11] The proof identifies Sh_{R×(0,∞)}(R;Sp) with T_Sp. Under Definition 2.2, Sh_{R×(0,∞)}(R;Sp) is the full subcategory of sheaves on R whose non-zero microsupport lies in R×(0,∞). The constant sheaf k_R has empty non-zero microsupport, so it belongs to Sh_{R×(0,∞)}(R;Sp). But k_R also belongs to Sh_{R×(-∞,0]}(R;Sp), because its microsupport is the zero section and Definition 2.2 only constrains the non-zero part; therefore [k_R] = 0 in the quotient T_Sp = Sh(R;Sp)/Sh_{R×(-∞,0]}(R;Sp). Thus the natural functor Sh_{R×(0,∞)}(R;Sp) → T_Sp is not fully faithful and cannot be an equivalence. Since this identification is the only step in the proof connecting Sh_Z(M;Sp) to T_Sp, Proposition 2.11 is not established by the argument written.
  2. [Section 2, Proposition 2.11 and Section 4, Theorem 4.4(2)] The proof of Proposition 2.11 also asserts the equality T_Z(T*M;Sp) = Sh_{Z×R×(0,∞)}(M×R;Sp). This is a microlocal cut-off statement: it claims that every class in the quotient has a representative whose full microsupport is contained in Z×R×(0,∞). The proof does not justify this assertion, and the cited Künneth formula in [KSZ23] or [Zha25] does not obviously contain this equality. Combined with the false identification of Sh_{R×(0,∞)}(R;Sp) with T_Sp, Proposition 2.11 lacks a valid proof. Since Theorem 4.4(2) relies directly on Proposition 2.11 in its proof, the main theorem is not proven as written.
minor comments (3)
  1. [Remark 1.7] The notation W is used without definition; the sentence 'we have W≃T_Sp' is only meaningful if the reader already knows the notation from [Sch25]. Please define W or rephrase.
  2. [Proposition 4.3] The phrase 'One can directly check that the second morphism is induced by the loop-suspension adjunction' is too terse. Since this is a key step in the proof of U_cont_loc(T_Sp)≃ΩU_cont_loc(Sp), an expanded explanation or a precise reference would improve the paper.
  3. [Section 2, Definition 2.2] The definition of Sh_Z(M;C) for a conic closed set Z not containing the zero section is non-standard, since the condition only constrains the non-zero microsupport. This is a source of confusion in the proof of Proposition 2.11; a remark clarifying this convention would be helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central theorem is derived from external results (Efimov, Tamarkin) with independent cited lemmas; self-citations are supporting, not load-bearing redefinitions.

full rationale

Walking the derivation chain: Theorem 4.4(2) is obtained by Proposition 2.11 (whose proof invokes a Kunneth formula from [KSZ23]/[Zha25]), part (1) (a direct consequence of Tamarkin's Theorem 3.2, Efimov's Theorem 1.1, and Proposition 4.3), Lemma 4.2, and the standard fact F(T_Sp) ≃ ΩF(Sp). The central result is not defined in terms of its conclusion; it is derived from external published theorems and independent microsupport/Kunneth lemmas. The self-citations [KSZ23], [Zha25], and [KZ25] supply supporting equivalences (Kunneth formula, Verdier duality with microsupport, and the almost mathematics/Tamarkin category comparison) whose statements do not include the target continuous K-theory computation, so under the stated rules they are real independent support rather than a circularity chain. Theorem 1.8, used only in the application, is attributed to Vaintrob and [KZ25] and is not the paper's claimed contribution. No step fits the enumerated patterns: no parameter is fitted and renamed a prediction, no uniqueness theorem is imported from the authors, no ansatz is smuggled in via citation, and no known result is merely renamed. The proof of Proposition 2.11 contains a very compressed identification of Sh_{R×(0,∞)}(R;Sp) with T_Sp that a referee may wish to see justified or replaced by the cited Kunneth statement, but that is a proof-gap concern, not circularity: it does not make the conclusion equivalent to an input by construction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters: this is a proof-based mathematics paper with no fitted constants. No invented entities: the Tamarkin category T_C, the C-valued microsupport SS_C (following Efimov's Remark 4.24), and the Novikov toric scheme (Vaintrob) are all imported with references. The central claim rests on two imported theorems (Efimov's presheaf computation and Tamarkin's Fourier-Sato-Tamarkin equivalence), on microsupport tools cited mainly to the author's own preprints (Künneth formula in Prop 2.11, Verdier duality in Prop 2.6), and on the Vaintrob/KZ25 equivalence identifying the Novikov scheme category, which carries the application. The paper proves its own deductions (Prop 2.7, Prop 3.3, Prop 4.3, Theorem 4.4) from these inputs but does not re-derive the inputs themselves.

assumptions (6)
  • domain assumption Efimov's Theorem 1.1: for a locally compact Hausdorff X and a presheaf C of dualizable stable categories, U^cont_loc(Sh(X;C)) ≃ Γ_c(X,(U^cont_loc C)^♯).
    Quoted as Theorem 1.1 (Efi24, Thm 6.11) in Section 1 and used as the terminal step in both halves of Theorem 4.4. Not re-proved in this paper.
  • domain assumption Tamarkin's Theorem 3.2: the Fourier-Sato-Tamarkin transform induces T_{V×X}(T*V;Sp) ≃ T_{X×V}(T*V∨;Sp) for every closed X ⊂ V∨.
    Quoted from [Tam18, Thm 3.6] in Section 3; load-bearing for Theorem 4.4(1) and, via Prop 2.11 and Lemma 4.2, for Theorem 4.4(2).
  • domain assumption Künneth formula for microsupport-constrained sheaf categories (Prop 2.11): for conic closed Z, T_Z(T*M;C) ≃ Sh_Z(M;Sp) ⊗ T_C.
    Cited in Prop 2.11 to [KSZ23] and [Zha25] (both co-authored by the author); used to tensor the microsupport category with T_Sp in the proof of Theorem 4.4(2).
  • domain assumption Verdier duality with microsupport (Prop 2.6, [KZ25, Thm B.8]): F is regular on Ω iff the compactly-supported restriction map is an equivalence for any -Ω-lens.
    Used to show Sh_Z(M;C) is closed under colimits and in the proof of Prop 2.7, which reduces C-valued microsupport theory to Sp-valued theory.
  • domain assumption Theorem 1.8: aQCoh^{T_Nov}(X^{Nov}_Σ,∂Σ) ≃ Sh_{R^n×|Σ|}(R^n; Mod k) for a fan Σ.
    Attributed to Vaintrob and [KZ25], stated without proof in Section 1; entirely load-bearing for the application Corollary 1.9.
  • standard math ∞-category foundations, the six-functor formalism for C-valued sheaves ([Vol21], [Sch22]), and the Ω-lens definition of regularity ([GV24, Def 3.1]).
    Background framework for Section 2; the paper proves the consequences it needs (Prop 2.7, Cor 2.8) on top of these foundations.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A remark on Continuous K-theory and Fourier-Sato transform." pith.science (2026). https://pith.science/paper/55KSKYID

@misc{pith2026250602329,
  author       = {Pith},
  title        = {Pith review of: A remark on Continuous K-theory and Fourier-Sato transform},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/55KSKYID}},
  note         = {Machine review of arXiv:2506.02329}
}
read the original abstract

In this note, we prove a generalization of Efimov's computation for the universal localizing invariant of categories of sheaves with certain microsupport constraints. The proof is based on certain categorical equivalences given by the Fourier-Sato transform, which is different from the original proof. As an application, we compute the universal localizing invariant of the category of almost quasi-coherent sheaves on the Novikov toric scheme introduced by Vaintrob.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

21 extracted references · 15 canonical work pages

  1. [1]

    A universal characterization of higher algebraic K-theory

    Andrew J Blumberg, David Gepner, and Gon c alo Tabuada. A universal characterization of higher algebraic K-theory. Geometry & Topology, volume 17, no. 2, 733--838 [2013]. doi:10.2140/gt.2013.17.733

    doi:10.2140/gt.2013.17.733 2013

  2. [2]

    On the Laplace Transform for Tempered Holomorphic Functions

    Andrea D'Agnolo. On the Laplace Transform for Tempered Holomorphic Functions . International Mathematics Research Notices, volume 2014, no. 16, 4587--4623 [2013]. doi:10.1093/imrn/rnt091

    work page doi:10.1093/imrn/rnt091 2014

  3. [3]

    Riemann-Hilbert correspondence for holonomic D-modules

    Andrea D’Agnolo and Masaki Kashiwara. Riemann-Hilbert correspondence for holonomic D-modules. Publications mathématiques de l’IHÉS, volume 123, no. 1, 69–197 [2016]. ISSN 1618-1913. doi:10.1007/s10240-015-0076-y

    work page doi:10.1007/s10240-015-0076-y 2016

  4. [4]

    K-theory of large categories

    Alexander I Efimov. K-theory of large categories. In Proc. Int. Cong. Math, volume 3 [2022], volume 3, 2212--2226. doi:10.4171/ICM2022

    work page doi:10.4171/icm2022 2022

  5. [5]

    Alexander I. Efimov. K-theory and localizing invariants of large categories [2024]. arXiv:2405.12169 https://arxiv.org/abs/2405.12169

    arXiv 2024

  6. [6]

    Radon Transform for Sheaves

    Honghao Gao . Radon Transform for Sheaves [2017]. arXiv:1712.06453 https://arxiv.org/abs/1712.06453

    work page Pith review arXiv 2017

  7. [7]

    The singular support of sheaves is -coisotropic

    St \'e phane Guillermou and Claude Viterbo . The singular support of sheaves is -coisotropic . Geometric and Functional Analysis, volume 34, no. 4, 1052--1113 [2024]. doi:10.1007/s00039-024-00682-x

    work page doi:10.1007/s00039-024-00682-x 2024

  8. [8]

    Sheaves on manifolds: With a short gistory

    Masaki Kashiwara and Pierre Schapira . Sheaves on manifolds: With a short gistory. Les d \'e buts de la th \'e orie des faisceaux . By Christian Houzel , volume 292. Springer [1990]. doi:10.1007/978-3-662-02661-8

    doi:10.1007/978-3-662-02661-8 1990

Show all 21 references
  1. [9]

    On the Hochschild cohomology of Tamarkin categories [2023]

    Christopher Kuo , Vivek Shende , and Bingyu Zhang . On the Hochschild cohomology of Tamarkin categories [2023]. arXiv:2312.11447 https://arxiv.org/abs/2312.11447

    2023 arXiv

  2. [10]

    Almost mathematics, Persistence module, and T amarkin category [2025]

    Tatsuki Kuwagaki and Bingyu Zhang . Almost mathematics, Persistence module, and T amarkin category [2025]. arXiv:2503.15933 https://arxiv.org/abs/2503.15933

    2025 arXiv

  3. [11]

    Higher Topos Theory ( AM -170)

    Jacob Lurie. Higher Topos Theory ( AM -170) . Princeton University Press [2009]. doi:10.1515/9781400830558

    2009 doi

  4. [12]

    Locally rigid -categories [2024]

    Maxime Ramzi. Locally rigid -categories [2024]. arXiv:2410.21524 https://arxiv.org/abs/2410.21524

    2024

  5. [13]

    A Lemma for microlocal sheaf theory in the -Categorical Setting

    Marco Robalo and Pierre Schapira. A Lemma for microlocal sheaf theory in the -Categorical Setting . Publications of the Research Institute for Mathematical Sciences, volume 54, no. 2, 379--391 [2018]. doi:10.4171/prims/54-2-5

    2018 doi

  6. [14]

    Six-Functor Formalisms [2022]

    Peter Scholze. Six-Functor Formalisms [2022]. Lecture Notes https://people.mpim-bonn.mpg.de/scholze/SixFunctors.pdf

    2022

  7. [15]

    Wild Betti Sheaves [2025]

    Peter Scholze. Wild Betti Sheaves [2025]. arXiv:2505.24599 https://arxiv.org/abs/2505.24599

    2025 arXiv

  8. [16]

    Microfunctions and pseudo-differential equations

    Mikio Sato, Masaki Kashiwara, and Takahiro and Kawai. Microfunctions and pseudo-differential equations. In Proceedings Katata 1971, Lecture Notes in Math, volume 287 [1973], volume 287, 265--524

    1971

  9. [17]

    Microlocal condition for non-displaceability

    Dmitry Tamarkin. Microlocal condition for non-displaceability. In Michael Hitrik, Dmitry Tamarkin, Boris Tsygan, and Steve Zelditch, editors, Algebraic and Analytic Microlocal Analysis. Springer [2018], 99--223. doi:10.1007/978-3-030-01588-6\_3

    2018 doi

  10. [18]

    Coherent-constructible correspondences and log-perfectoid mirror symmetry for the torus [2017]

    Dmitry Vaintrob. Coherent-constructible correspondences and log-perfectoid mirror symmetry for the torus [2017]. Preprint, available at https://math.berkeley.edu/ vaintrob/toric.pdf https://math.berkeley.edu/ vaintrob/toric.pdf

    2017

  11. [19]

    The six operations in topology [2021]

    Marco Volpe. The six operations in topology [2021]. arXiv:2110.10212 https://arxiv.org/abs/2110.10212

    2021

  12. [20]

    Idempotence of microlocal kernels and the S^1 -equivariant Chiu-Tamarkin invariant [2023]

    Bingyu Zhang . Idempotence of microlocal kernels and the S^1 -equivariant Chiu-Tamarkin invariant [2023]. arXiv:2306.12316 https://arxiv.org/abs/2306.12316

    2023 arXiv

  13. [21]

    Non-linear microlocal cut-off functors

    Bingyu Zhang. Non-linear microlocal cut-off functors. Rendiconti del Seminario Matematico della Università di Padova [2025]. ISSN 2240-2926. doi:10.4171/rsmup/174

    2025 doi

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.