On the normal cycles of subanalytic sets

Model theory of ordered structures; o-minimality (03C64) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Geometric measure and integration theory, integral and normal currents in optimization (49Q15) Methods of global Riemannian geometry, including PDE methods; curvature restrictions (53C21) Integral geometry (53C65) Currents in global analysis (58A25) Stratified sets (58A35)

Abstract: We present a short complete proof of the existence of the normal cycle of a compact subanalytic set. The approach is inspired by some old ides of Joseph Fu, uses Morse theoretic techniques and

o

-minimal topology.

Review text

The author gives an elementary proof of the existence of the normal cycle of a compact subanalytic set using techniques from o-minimal geometry. This result was originally obtained by \textit{M. Kashiwara} and \textit{P. Schapira} [Categories and sheaves. Grundlehren der Mathematischen Wissenschaften 332. Berlin: Springer (2006; Zbl 1118.18001)] and \textit{J. Fu} [Am. J. Math. 116, No. 4, 819--880 (1994; Zbl 0818.53091)] with methods from sheaf theorey resp. geometric measure theory. \textit{A. Bernig} [Isr. J. Math. 159, 373--411 (2007; Zbl 1119.37025)] presented an elementary proof using o-minimality. The paper of Nicolaescu closes a gap in the reasoning of Bernig. The article is well organized. It contains a nice historical overview of the result and appendices helpful for the reader.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: On the normal cycles of subanalytic sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q532568)