Operations on constructible functions and generalized valuations
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917347218948096 |
|---|---|
| author | Bernig, Andreas Lebovici, Vadim |
| author_facet | Bernig, Andreas Lebovici, Vadim |
| contents | Alesker's theory of generalized valuations unifies smooth measures and constructible functions on real analytic manifolds, extending classical operations on functions and measures. Alesker showed that these operations agree with the sheaf-theoretic ones on constructible functions under restrictive assumptions, leaving key aspects conjectural. In this article, we close this gap by proving that the two approaches indeed coincide on constructible functions under mild transversality assumptions. Our proof is based on a comparison with the corresponding operations on characteristic cycles. As applications, we extend additive kinematic formulas from convex bodies to compact subanalytic sets in Euclidean spaces and derive new kinematic formulas on the 3-sphere. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_15303 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Operations on constructible functions and generalized valuations Bernig, Andreas Lebovici, Vadim Differential Geometry Algebraic Topology Alesker's theory of generalized valuations unifies smooth measures and constructible functions on real analytic manifolds, extending classical operations on functions and measures. Alesker showed that these operations agree with the sheaf-theoretic ones on constructible functions under restrictive assumptions, leaving key aspects conjectural. In this article, we close this gap by proving that the two approaches indeed coincide on constructible functions under mild transversality assumptions. Our proof is based on a comparison with the corresponding operations on characteristic cycles. As applications, we extend additive kinematic formulas from convex bodies to compact subanalytic sets in Euclidean spaces and derive new kinematic formulas on the 3-sphere. |
| title | Operations on constructible functions and generalized valuations |
| topic | Differential Geometry Algebraic Topology |
| url | https://arxiv.org/abs/2603.15303 |