Constructible Functions on 2-dimensional Analytic Manifolds

Abstract

We present a characterization of sums of signs of global analytic functions on a real analytic manifold M of dimension two. Unlike the algebraic case, obstructions at infinity are not relevant: a function is a sum of signs on M if and only if this is true on each compact subset of M . This characterization gives a necessary and sufficient condition for an analytically constructible function, i.e. a linear combination with integer coefficients of Euler characteristic of fibres of proper analytic morphisms, to be such a sum of signs.

Topological invariants of analytic sets associated with Noetherian families

“…Following [9] and [2] we define the Euler integral, the link of φ, and the duality operator D on φ: In particular, for such ω, …”