Derived sheaves in locally conformally symplectic geometry
Pith reviewed 2026-05-20 01:08 UTC · model grok-4.3
The pith
Derived sheaves define a quantization for locally conformally symplectic Hamiltonian isotopies that controls asymptotic Betti numbers and yields a non-squeezing theorem.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By adapting sheaf methods to the locally conformally symplectic case, the paper defines a quantization of lcs Hamiltonian isotopies together with asymptotic Betti numbers of sheaves; these quantities interact in a controlled fashion under the quantization, which directly yields a sheaf-theoretic proof of rigidity phenomena and a non-squeezing theorem for lcs geometry that parallels contact non-squeezing results.
What carries the argument
The quantization of lcs Hamiltonian isotopies paired with the asymptotic Betti numbers of a sheaf, which together transfer controlled rigidity information from the sheaf category into the geometry.
If this is right
- Rigidity phenomena in lcs geometry admit proofs that rely only on properties of the quantization and the asymptotic Betti numbers.
- A non-squeezing theorem holds for lcs structures and is compatible with the Tamarkin morphism and displacement energy of sheaves.
- Asymptotic Betti numbers remain invariant or transform predictably under quantized lcs isotopies.
- The same sheaf-theoretic framework applies to both the proof of known rigidity statements and the derivation of new volume-type obstructions.
Where Pith is reading between the lines
- The same quantization construction may supply computable invariants for Hamiltonian flows on lcs manifolds that lack a global symplectic form.
- Quantitative versions of the non-squeezing result could be extracted by tracking how displacement energy scales with the conformal factor.
- The method suggests a route to compare rigidity thresholds across symplectic, contact, and lcs geometries within a single categorical setting.
Load-bearing premise
The quantization defined for locally conformally symplectic Hamiltonian isotopies interacts with the asymptotic Betti numbers in a sufficiently controlled manner that rigidity properties carry across the map.
What would settle it
An explicit lcs Hamiltonian isotopy on a concrete manifold for which the computed asymptotic Betti numbers of the associated sheaf violate the predicted behavior under the defined quantization, or a concrete lcs embedding that squeezes a region whose size exceeds the displacement-energy bound derived in the paper.
read the original abstract
In this paper, we use derived sheaves to study rigidity phenomena in the cotangent bundles of manifolds endowed with some locally conformally symplectic ($\frak{lcs}$) structure. Taking inspiration from the work of Guillermou, Kashiwara and Shapira, we define a quantization for ``$\frak{lcs}$'' Hamiltonian isotopies, as well as new quantities: the asymptotic Betti numbers of a sheaf. We then show that those quantities are ``well behaved'' with respect of said quantization and use this to give a sheaf-theoretical proof of the Chantraine-Murphy theorem. We also consider the quantization in light of the Tamarkin morphism and the displacement energy of sheaves. This allows us to derive a non-squeezing theorem for $\frak{lcs}$ geometry that is similar, although not identical, to the one recently proven by Bertelson, Chakravarthy, and Sandon. Indeed, the result shown in this paper is more in line with the contact non-squeezing theorem shown by Eliashberg, Kim and Polterovich in 2006.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops derived sheaf methods in locally conformally symplectic (lcs) geometry. It defines a quantization of lcs Hamiltonian isotopies extending the Guillermou-Kashiwara-Shapira framework, introduces asymptotic Betti numbers as new invariants, proves that these numbers behave well under the quantization, applies this to obtain a sheaf-theoretic proof of the Chantraine-Murphy theorem, and uses the Tamarkin morphism together with displacement energy to derive a non-squeezing theorem for lcs manifolds that is closer in spirit to the Eliashberg-Kim-Polterovich contact result than to the recent Bertelson-Chakravarthy-Sandon theorem.
Significance. If the central claims hold, the work supplies a new microlocal toolset for rigidity questions in lcs geometry, where the symplectic form is only locally closed up to conformal factor. The sheaf-theoretic proof of Chantraine-Murphy and the non-squeezing statement would constitute concrete advances that transfer techniques from the symplectic/contact setting while accounting for the global monodromy of the conformal factor. The asymptotic Betti numbers, if shown to be invariant under the defined quantization, could serve as useful invariants for further lcs problems.
major comments (1)
- [quantization of lcs Hamiltonian isotopies and compatibility with asymptotic Betti numbers] The load-bearing step is the claim that asymptotic Betti numbers remain controlled under the quantization of lcs Hamiltonian isotopies. The manuscript must supply an explicit estimate or correction term that rules out uncontrolled shifts of the microsupport arising from the global monodromy of the conformal factor around closed loops; without such control the transfer of rigidity from the GKS setting to the lcs setting is not guaranteed. This issue directly affects both the proof of the Chantraine-Murphy theorem and the non-squeezing result.
minor comments (2)
- [definition of asymptotic Betti numbers] The definition of asymptotic Betti numbers would benefit from a short computational example on a simple lcs manifold (e.g., the standard lcs structure on the torus) to illustrate the new invariants before the general statements.
- [Tamarkin morphism and displacement energy] Notation for the Tamarkin morphism in the lcs setting should be compared explicitly with the original Tamarkin construction to highlight the necessary modifications.
Simulated Author's Rebuttal
We thank the referee for their thorough review and insightful comments on our manuscript. We appreciate the recognition of the potential advances in applying derived sheaf methods to locally conformally symplectic geometry. Below, we address the major comment point by point.
read point-by-point responses
-
Referee: The load-bearing step is the claim that asymptotic Betti numbers remain controlled under the quantization of lcs Hamiltonian isotopies. The manuscript must supply an explicit estimate or correction term that rules out uncontrolled shifts of the microsupport arising from the global monodromy of the conformal factor around closed loops; without such control the transfer of rigidity from the GKS setting to the lcs setting is not guaranteed. This issue directly affects both the proof of the Chantraine-Murphy theorem and the non-squeezing result.
Authors: We thank the referee for pointing out this crucial aspect. The manuscript defines the quantization of lcs Hamiltonian isotopies in a way that extends the Guillermou-Kashiwara-Shapira framework while accounting for the conformal factor. The asymptotic Betti numbers are then shown to be invariant under this quantization, which implicitly controls the microsupport shifts by leveraging the local symplectic nature in charts and the global consistency provided by the lcs structure. This ensures no uncontrolled shifts from the monodromy. To make this more transparent and address the request for an explicit estimate, we will revise the manuscript to include a dedicated proposition or remark that provides a bound on any potential microsupport displacement due to the monodromy of the conformal factor. revision: yes
Circularity Check
No circularity: new definitions and external adaptations are independent
full rationale
The paper defines a new quantization for lcs Hamiltonian isotopies and introduces asymptotic Betti numbers as fresh quantities. It then proves compatibility between these objects by adapting methods from Guillermou-Kashiwara-Shapira (external reference) to the lcs setting. The sheaf-theoretic proof of the Chantraine-Murphy theorem and the derived non-squeezing result are obtained directly from these constructions and the Tamarkin morphism. No step reduces a claimed prediction or theorem to a fitted input, self-citation chain, or definitional equivalence internal to the paper; the derivation remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of derived sheaves and microlocal sheaf theory as developed by Guillermou, Kashiwara and Shapira.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Definition 1.3 (asymptotic Betti number): cj(F) := lim sup k→+∞ bj((π−1 F)Wk) / (2k+1)^r
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.5: quantization K_eq of equivariant homogeneous lift Φ_eq preserves cj(Gs)=cj(Gt)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.