Constructible functions on 2-dimensional analytic manifolds.
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 fibers of proper analytic morphisms,...