--- title: 'Constructible Functions: Theory and Applications' url: https://www.emergentmind.com/topics/constructible-functions type: topic --- # Constructible Functions: Theory and Applications Constructible functions form a family of notions that recur across topology, real and non-archimedean tame geometry, sheaf theory, valuation theory, and model theory. The common theme is finitary geometric control: objects are assembled from strata, locally closed pieces, logarithmic terms, or Grothendieck-group coefficients in a way that preserves strong functorial operations such as Euler integration, pushforward, pullback, convolution, or parameterized integration. The term is therefore not univocal. In real-analytic and subanalytic geometry it often means an integer-valued function constant on a stratification; in tame real geometry it means a real-valued function generated by globally subanalytic functions and logarithms; in non-archimedean geometry it may take values in a polynomial ring via an extended logarithm; and in relative sheaf-theoretic settings it may mean a \(K_0(S)\)-valued function on a base manifold [2603.15303] [1209.3439] [1803.00598] [2310.10313]. ## 1. Terminology and foundational notions A first source of variation is the underlying notion of “constructible.” In topology, a subset of a space is constructible if it belongs to the smallest family containing all open sets and stable under finite intersections and complements; equivalently, it is a finite union of locally closed sets [1205.6045]. In the model-theoretic topological setting, the same notion is expressed as a finite Boolean combination of closed sets, equivalently of open sets, and is characterized by eventual vanishing of iterated frontiers \(\partial^{(n)}X\) [2604.24522]. On a real analytic manifold \(X\), a subanalytic constructible function usually means an integer-valued function \(\varphi:X\to\mathbb Z\) that takes only finitely many values, with each level set \(\varphi^{-1}(m)\) subanalytic and the family of level sets locally finite. Equivalently, there is a locally finite Whitney stratification \(\{S_i\}\) by locally closed, relatively compact subanalytic submanifolds and integers \(m_i\) such that \[ \varphi=\sum_i m_i\,\mathbf 1_{S_i}. \] This yields the ring \(\mathrm{CF}(X)\) of constructible functions under pointwise sum and product [2603.15303]. A different and now standard usage in tame real geometry defines a constructible function on a globally subanalytic set \(D\subset\mathbb R^n\) as an element of the \(\mathbb R\)-algebra generated by subanalytic functions and functions of the form \(\log g\), where \(g:D\to(0,\infty)\) is subanalytic. Equivalently, such a function is a finite sum of finite products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions [1209.3439] [2508.02517]. In relative sheaf theory, the coefficient ring itself varies: an \(S\)-constructible function on \(X\) is a \(K_0(S)\)-constructible function \(X\to K_0(S)\), with subanalytic fibers and locally finite support behavior [2310.10313]. A persistent misconception is that these are merely notational variants. They are related, but they encode different categories of objects: integer-valued stratified functions, real-valued log-analytic functions, polynomial-ring-valued functions on non-archimedean models, and Grothendieck-group-valued relative invariants are not interchangeable without additional structure. ## 2. Tame real geometry: preparation, integrability, differentiation, and suprema For a subanalytic set \(D\subset\mathbb R^n\), the algebra \(C(D)\) of constructible functions is generated by functions \(x\mapsto f(x)\) and \(x\mapsto \log g(x)\), where \(f:D\to\mathbb R\) and \(g:D\to(0,\infty)\) are subanalytic [1209.3439]. This class was designed to capture the output of parameterized integration. In that setting, the geometry of \(L^p\)-integrability is highly rigid: for \(q>0\) and \(f,\mu\in C(D)\), the set of Lebesgue classes \(\mathrm{LC}(f,|\mu|^q,x)\) forms only finitely many open subintervals of \((0,\infty]\), and the endpoints are rational-linear combinations of \(1\) and \(q\), or \(\infty\). Moreover, the parameter loci on which a given interval occurs are zero sets of constructible functions [1209.3439]. The analytic mechanism behind these statements is a preparation theorem. After partition into suitable cells and triangular coordinate changes, constructible functions admit monomial–logarithmic normal forms. In the simple preparation theorem, each term can be written on a cell as \[ T_k(x,y) = g_k(x) \left(\prod_i |y_i-\theta_i(x,y_{-1\). The class is also stable under differentiation. If \(U\subset\mathbb R^n\) is open and globally subanalytic, \(f:U\to\mathbb R\) is constructible, and \(f\) is differentiable with respect to \(x_i\) on \(U\), then \(\partial f/\partial x_i\) is constructible [2508.02517]. The proof uses a preparation theorem on simple cells together with a limit theorem: if \(F(x,y)\) is constructible on \(X\times(0,1)\) and \(\lim_{y\searrow 0}F(x,y)\) exists for every \(x\), then the limit function is constructible. Difference quotients provide the derivative as such a limit [2508.02517]. By contrast, parametric suprema are not literally closed in the same way. For \(\K\subset\mathbb C\), let \(\mathcal C^\K(X)\) be the algebra of \(\K\)-power-constructible functions generated by subanalytic functions, \(\log(g)\) for positive subanalytic \(g\), and \(|f|^r\) for \(r\in\K\) [2602.23126]. If \(f\in\mathcal C^\K(Y)\) is fiberwise bounded over \(X=\pi_m(Y)\), then there exist finitely many \(g_1,\dots,g_k\in\mathcal C^\K(X)\) and \(C>0\) such that \[ \frac1C \max_i |g_i(x)| \le \sup_{y\in Y_x}|f(x,y)| \le C \max_i |g_i(x)|. \] If \(\K\subset\mathbb R\), the \(g_i\) can be chosen as pullbacks \(g_i(x)=f(a_i(x))\) along subanalytic choice maps \(a_i:X\to Y\) with \(\pi_m\circ a_i=\mathrm{Id}_X\) [2602.23126]. The supremum itself need not lie in \(\mathcal C^\K\), but it is uniformly approximable, up to multiplicative constants, by functions in the same class. In one-parameter families this yields asymptotics of the form \(x^r(\log x)^l\), and it resolves the Adiceam–Cluckers conjecture that arose from a question of Sarnak [2602.23126]. ## 3. Non-archimedean and motivic frameworks In non-archimedean models \(R\models T_{\mathrm{an}}\) whose value group \(\Gamma\) has finite Archimedean rank \(\ell\), the logarithm is extended from a partial logarithm on \(R_{>0}\cdot(1+\mathfrak m_R)\) to a global map \[ \log_\mu:R_{>0}\to R[X_1,\dots,X_\ell], \] depending on a logarithmic datum \(\mu=(s,\tau)\) consisting of a section \(s:\Gamma\to R_{>0}\) and a Hahn embedding \(\tau:\Gamma\to\mathbb R^\ell_{\mathrm{anlex}}\) [1803.00598]. The formula \[ \log_\mu(x)=-(\tau(v_R(x)),X)+\log(u) \] encodes the valuation of \(x\) in the polynomial variables \(X_1,\dots,X_\ell\) and the infinitesimal part in \(R\) [1803.00598]. Fixing \(\mu\), a function \(f:A\to R[X]\) on a globally subanalytic \(A\subseteq R^n\) is \(\mu\)-constructible if it is a finite sum of finite products of globally subanalytic functions and \(\mu\)-logarithms of positive globally subanalytic functions: \[ f(x)=\sum_{i=1}^p p_i(x)\prod_{j=1}^q \log_\mu(b_{ij}(x)). \] These functions lift to ordinary constructible functions in a suitable \(T_{\mathrm{an,exp}}\)-companion \(S\), via an injective map \(\mathcal C_{A,\mathcal E}:\mathrm{Con}_{R,\mu}(A)\to\mathrm{Cons}(A_\mathcal E)\), and they are stable under integration. The resulting Lebesgue measure and integration theory takes values in \(R[X]\), supports Fubini’s theorem, and is canonical up to a unique isomorphism of \(R[X]\) when the Archimedean rank equals the rational rank of \(\Gamma\) [1803.00598]. Motivic integration supplies another extension. In the Cluckers–Loeser framework, motivic constructible functions are assembled from Grothendieck classes of definable residue-field fibers and Presburger-type functions in the value-group variables, and constructible exponential functions enlarge this class by universal additive characters [1811.06850]. The resulting functorial calculus has pull-back \(f^*\) and push-forward \(f_!\) defined on integrable objects, and the central base-change theorem states that pull-back and push-forward commute in Cartesian situations. For a projection \(\pi_{W'}:W'\times_S X\to W'\) and base change \(\gamma:W\to W'\), \[ \pi_{W!}\big[(\gamma\times\mathrm{Id}_X)^*\varphi\big] = \gamma^*\big(\pi_{W'!}[\varphi]\big), \] with an analogous statement for more general maps [1811.06850]. This places motivic constructible functions alongside sheaf-theoretic base-change and Fubini-type formalisms. ## 4. Sheaf theory, characteristic cycles, and valuations On a real analytic manifold \(X\), constructible functions form a commutative ring \(\mathrm{CF}(X)\), with compactly supported subgroup \(\mathrm{CF}_c(X)\), and support the standard operations: pullback by real analytic maps, Euler integral \[ \int_X \varphi = \sum_i m_i\,\chi(S_i), \] pushforward by Euler integration along fibers, exterior product, and convolution under analytic group actions [2603.15303]. These operations are shadows of the corresponding functors on constructible sheaves. A central microlocal object is the characteristic cycle \(CC(\varphi)\subset T^*X\), a conic Lagrangian cycle attached to \(\varphi\). It yields an embedding of constructible functions into generalized valuations by passing through the normal cycle. In Alesker’s theory, one obtains an inclusion \[ \mathrm{CF}(X)\hookrightarrow \mathcal V^{-\infty}(X), \] and the main compatibility theorem shows that the valuation-theoretic operations agree with the classical sheaf-theoretic ones on constructible functions under mild transversality assumptions. In particular, exterior product, pullback, pointwise product, pushforward, and convolution coincide with the expected operations on \(\mathrm{CF}(X)\) [2603.15303]. This microlocal picture is reinforced by approximation theory inside generalized valuations. The space \(\mathcal F(X)\) of constructible functions is not only dense in \(\mathcal V^{-\infty}(X)\); its stable transfinite sequential closure equals the whole space of generalized valuations: \[ \scl^*(\mathcal F(X))=\mathcal V^{-\infty}(X). \] Equivalently, constructible functions form a sequential core for generalized valuations, sufficient for applications where only sequential continuity is available for pull-back, push-forward, or product [1408.2637]. A plausible implication is that constructible functions function as a common test class for sheaf theory, microlocal geometry, and integral geometry because they are simultaneously concrete enough for stratified analysis and dense enough for distribution-valued completions. ## 5. Relative, orbifold, algebraic, and “up to infinity” theories For real analytic orbifolds \(\mathcal X\), constructible functions are defined by descent from analytic charts, and the characteristic cycle construction extends to conic Lagrangian cycles on the orbifold cotangent bundle. The orbifold Kashiwara index formula states that for \(f\in\mathrm{Func}(\mathcal X)\), \[ \int_{\mathcal X} f = n_{C_{\mathcal X}}(CC(f)), \] so weighted Euler characteristic equals microlocal intersection with the zero section [1110.3866]. On the coarse space \(X\), this weighted Euler integral is computed with the isotropy factor \(\lambda(x)=1/|G_x|\), showing explicitly how stacky structure enters the theory [1110.3866]. Relative sheaf theory replaces integer values by classes in a Grothendieck ring. For a real analytic manifold \(X\) and a complex parameter space \(S\), one considers \(S\)-\(\mathbb R\)-constructible complexes of \(p_X^{-1}\mathcal O_S\)-modules on \(X\times S\). The corresponding relative constructible functions are \(K_0(S)\)-constructible functions \(X\to K_0(S)\), and the relative Euler–Poincaré index \[ \chi_S:K_{\mathbb R\text{-}c}(p_X^{-1}\mathcal O_S)\to \mathsf{CF}_S(X) \] is an isomorphism of rings [2310.10313]. Under a projectivity assumption on \(S\), the natural functor from the derived category of the abelian category of relative constructible sheaves to the triangulated category defined by cohomological conditions is also an equivalence [2310.10313]. This is the relative analogue of the classical identification between constructible sheaves and constructible functions. In real algebraic geometry, algebraically constructible functions on a real algebraic variety \(S\) are those of the form \[ \varphi=\sum_i m_i\,(f_i)_!(1_{X_i}), \] with \(f_i:X_i\to S\) regular and \(m_i\in\mathbb Z\). The relative Grothendieck ring \(K_0(\mathbb R\mathrm{Var}_S)\) maps surjectively onto the ring \(A(S)\) of algebraically constructible functions, and similarly relative AS- and Nash-Grothendieck rings map to Nash constructible functions [1703.09915]. This identifies algebraically constructible functions as Euler shadows of motivic classes over \(S\). A different extension controls behavior at infinity. A b-analytic manifold is a pair \(\mathfrak X=(X,\overline X)\) where \(j_X:X\hookrightarrow\overline X\) is an open embedding and \(X\) is relatively compact and subanalytic in \(\overline X\). A function on \(X\) is constructible up to infinity, or b-constructible, if its extension by zero to \(\overline X\) is constructible [2012.09652]. The resulting ring \(\mathrm{CF}(\mathfrak X)\) again identifies with the Grothendieck group of b-constructible sheaves, but now both \(\mathrm Rf_!\) and \(\mathrm Rf_*\) preserve b-constructibility without properness assumptions, producing two Euler integrals: \[ \int_X \varphi \quad\text{and}\quad \int_X^{\mathrm{np}}\varphi=\int_X \mathbb D_X\varphi. \] This “up to infinity” formalism is designed precisely to retain functoriality for nonproper maps [2012.09652]. ## 6. Topological and model-theoretic regularity phenomena Constructibility also appears as a regularity condition on images of closed sets and on definable sets in topological structures. In the purely topological setting of separable metrizable spaces, a continuous onto map \(f:X\to Y\) is called closed-constructible if it sends every closed set in \(X\) to a constructible subset of \(Y\). The main theorem states that every closed-constructible function is piece-wise closed: \(X\) is a countable union of closed sets \(Z_n\) such that \(f|_{Z_n}\) is closed [1205.6045]. A corollary is that each constructible-measurable, closed (or open), one-to-one function is piece-wise continuous [1205.6045]. Here “constructible” applies to subsets of the codomain, not to a function algebra, but the conclusion is again a decomposition into tame pieces. In NTP\(_2\) topological structures, constructibility of definable sets controls the regularity of definable functions. A subset is constructible if it is a finite Boolean combination of closed sets, and in an NTP\(_2\) definably \(\sigma\)-compact uniform structure the open core is constructible [2604.24522]. Consequently, definable functions in the open core are generically and finitely piecewise continuous: if \(X_{n+1}\) is the closure in \(X_n\) of the discontinuity set of \(f|_{X_n}\), then \(X_j\) has empty interior in \(X_i\) for \(i