Distributions and wave front sets in the uniform non-archimedean setting

We study some constructions on distributions in a uniform $p$-adic context, and also in large positive characteristic, using model theoretic methods. We introduce a class of distributions which we call distributions of ${\mathscr C}^{\mathrm{exp}}$-class and which is based on the notion of ${\mathscr C}^{\mathrm{exp}}$-class functions from [6]. This class of distributions is stable under Fourier transformation and has various forms of uniform behavior across non-archimedean local fields. We study wave front sets, pull-backs and push-forwards of distributions of this class. In particular we show that the wave front set is always equal to the complement of the zero locus of a ${\mathscr C}^{\mathrm{exp}}$-class function. We first revise and generalize some of the results of Heifetz that he developed in the $p$-adic context by analogy to results about real wave front sets by H\"ormander. In the final section, we study sizes of neighborhoods of local constancy of Schwartz-Bruhat functions and their push forwards in relation to discriminants.


Introduction
1.1. The study of wave front sets since Hörmander has been a bridge between geometry and analysis, pure and applied, as in the study of partial differential equations and associated distributions. Our research is driven by the quest for p-adic and motivic analogues for results in real and complex geometry and analysis, where in the p-adic case the link between distributions and differential operators still has many mysterious aspects. Here, we introduce a uniform algebraic viewpoint on p-adic wave front sets, based on model theory, and we prove results like Theorem 3.4.1 which seem to be waiting for real analogues, and which in particular yield uniformity in the local field and natural notions of families of distributions.
1.2. In his paper [15], Heifetz developed a p-adic version of the wave front set of a distribution first introduced by Hörmander in the real case in [16], as follows. Let K be a p-adic field and X be a open subset of K n . A distribution u on X is an element of the linear dual of the complex vector space of locally constant functions with compact support on X. For Λ an open subgroup of K × of finite index, one says that u is Λ-smooth at a point (x 0 , ξ 0 ) ∈ X × (K n \ {0}) if there is a neighborhood U × V of (x 0 , ξ 0 ) such that, for any locally constant function ϕ with compact support on U and any ξ ∈ V , the Fourier transform F(ϕu)(λξ) of ϕu vanishes for λ ∈ Λ \ C for some compact C ⊂ K. The complement of the locus of Λ-smooth vectors in X ×(K n \{0}) is the Λ-wave front set WF Λ (u) of u. The goal of this paper is to study distributions and their wave front sets in a uniform p-adic context, and also in large positive characteristic, using model theoretic methods, in order to obtain uniformity results.
Let us now provide a more detailed description of the content of this work. We start in Section 2 by revisiting and improving the results and constructions of Heifetz [15]. In particular, instead of using K-analytic maps as in [15] we deal with strict C 1 maps throughout (cf. Definition 2.1.1) Also, we work over any non-archimedean local field without any restriction on the characteristic until the end of Section 2. Another important novelty is the introduction in Definition 2.9.1 of a topology on the space of distributions in order to make explicit the continuity aspects in Theorem 2.9.3 on pull-backs of distributions. Note that such a topology was not considered in [15], and that if one does not specify this finer topology, the pull-back construction is not continuous and not well defined as we show in Example 2.9.7.
The core of this paper lies in Section 3 were we study uniformity with respect to the local field. To this aim we have to use the field-independent descriptions provided by model theory and uniform integration, cf. [9], [5], [6]. More precisely, we introduce a class of distributions given by uniform, field-independent descriptions, called of C exp -class. Roughly, we require that the continuous wavelet transform is a C exp -class function in the sense of [6]. These distributions are not only uniform, they also have some geometric properties that arbitrary distributions do not share, and moreover, this class of distributions is stable under Fourier transformation and under pull-backs. In our study of C exp -class distributions, we make full use of [5] and [6] in proofs: this includes use of limits in the proof of Theorem 3.4.3, elimination of universal quantifiers and of the sufficiently large quantifier in the proof of Theorem 3.4.1, and, stability under integration in the proof of Theorem 3.3.5. As we show in Example 3.4.6, one cannot expect the wave front sets associated to distributions of C exp -class to be definable in general. However, we prove in Theorem 3.4.1 that the wave front sets associated to distributions of C exp -class are always the complement of a zero locus of a function of C expclass. Note that this is in sharp contrast with Theorem 2.8. 9 of Section 2 which states that the wave front of an abstract distribution can be equal to any closed cone. Our control of the wave front sets shares some similariries in spirit with the work by Aizenbud and Drinfeld in [2]. We make this connection explicit in Section 4, where we also rephrase an open question of [2], see Section 4, below Definition 4.1.1.
Finally, in Section 5 we investigate a natural question relative to the behaviour of Schwartz-Bruhat functions under integration. What we prove is essentially that the valuative radius of balls on which the integral of a Schwartz-Bruhat function ϕ along the fibers of a morphism f between projective varieties is linearly controlled by the valuative distance to the discriminant of f and the valuative radius of balls on which the function ϕ is constant.
1.3. Acknowledgements. The authors would like to thank Julia Gordon for interesting discussions during the preparation of the paper. The first author would like to thank Avraham Aizenbud and Dmitry Gourevitch for interesting discussions during the preparation of the paper. The third author would like to thank Ngô Bảo Châu for interesting discussions leading to the results of section 5. The authors thank the referee for valuable suggestions.

Some additions on wave front sets in the non-archimedean case
In this section we let K be a non-archimedean local field (namely either a finite field extension of Q p for some prime p or isomorphic to F q ((t)) for some prime power q). We give additions to Heifetz' constructions from [15] in three ways: we use strict C 1 maps instead of K-analytic maps throughout; we work with any (non-archimedean) local field instead of only p-adic fields; we make the topology and continuity aspects explicit in order to define pull-backs of distributions (this is omitted in [15]). From Section 2 on, we combine this with definability conditions which will allow us to work uniformly in K (usually excluding F q ((t)) of small positive characteristic however).
Let O K denote the valuation ring of K with maximal ideal M K and residue field k K with q K elements and characteristic p K . Let |.| be the ultrametric norm on K so that a uniformizer of O K has norm q −1 K , and write ord : K → Z ∪ {+∞} for the valuation sending a uniformizer to 1. Let ψ K be an additive character on K which is trivial on M K and nontrivial on O K . for the intersection of T * X with X × (K n \ {0}). Similarly, for a strict C 1 submanifold Y of X, we can consider the normal bundle N X Y and the co-normal bundle CN X Y of Y ⊂ X. Recall that N X Y at y ∈ Y is the quotient of the tangent space to X at y by the tangent space to Y at y, and that the co-normal bundle CN X Y is the dual bundle of N X Y . For a smooth algebraic variety X over K and a locally closed smooth subvariety Y ⊂ X one defines the tangent bundle T X , the cotangent bundle T * X , the normal bundle N X Y and the co-normal bundle CN X Y as usual, see e.g. [2,Section 2]. For a strict C 1 morphism f : X → Y between strict C 1 submanifolds of K n , resp. K m and x 0 ∈ X, we write Df (x 0 ) for the linear map from the tangent space T x 0 X to X at x 0 to the tangent space T f (x 0 ) Y to Y at f (x 0 ), and t Df (x 0 ) is its dual map, from the dual space of T f (x 0 ) Y to the dual of T x 0 X.

2.2.
Distributions. For x ∈ K n and r ∈ Z, write B r (x) for the ball {x ′ ∈ K n | ord(x − x ′ ) ≥ r}, which we call a ball of valuative radius r. We will simply write B r for B r (0). For X a subset of K n (or of another space depending on the context), write 1 X for the characteristic function of X.
Definition 2.2.1. Let X be a strict C 1 submanifold of K n . We denote by C ∞ (X) the C-vector space of locally constant functions on X with complex values. We call functions in C ∞ (X) sometimes C ∞ -functions, which should not be confused with strict C 1 -functions. Definition 2.2.2. Let X be a strict C 1 submanifold of K n , say, of dimension ℓ. Write S(X) for the C-vector space of Schwartz-Bruhat functions on X, namely, functions in C ∞ (X) with compact support.
Remark 2.2.3. Let ϕ be a nonzero Schwartz-Bruhat function in S(K n ). Since the support of ϕ is compact, there is a maximal integer α − (ϕ) such that ϕ is supported in the ball B α − (ϕ) . Since ϕ is locally constant and has compact support, there is a minimal integer α + (ϕ) such that ϕ is constant on balls of (valuative) radius α + (ϕ). Definition 2.2.4. Let X be a strict C 1 submanifold of K n . A distribution u on X is by definition a C-linear map from S(X) to C. Write S ′ (X) to denote the collection of distributions on X. For any Schwartz-Bruhat function ϕ in S(X), depending on the context we will denote the evaluation of u on ϕ by u(ϕ) or u, ϕ . The vector space S ′ (X) has a structure of C ∞ (X)-module by the following operation: For any C ∞ function φ on X and any distribution u in S ′ (X), the distribution φu is defined by φu, ϕ = u, φϕ for any Schwartz-Bruhat function ϕ in S(X).
The following definition will turn out to be convenient in the definable context. Definition 2.2.5. Let X be a strict C 1 submanifold of K n . The B-function D u of a distribution u on X is the map from X × Z to C sending (x, r) with x ∈ X and r ∈ Z to u(1 Br (x)∩X ) if B r (x) ∩ X is compact, and to zero otherwise. (Recall that 1 A stands for the characteristic function of A.) The B-function D u of a distribution u on a strict C 1 submanifold X ⊂ K n may be considered (up to a scaling factor q rℓ K with ℓ the dimension of X), as the p-adic continuous wavelet transform W (u) : X × Z → C of u with mother wavelet the characteristic function of the unit ball B 0 (0) around zero. More precisely, W (u) is defined (by analogy to real continuous wavelet transformation) as W (u)(x, r) := q rℓ D u (x, r).
Moreover, every Schwartz-Bruhat function on X is a (finite) C-linear combination of functions of the form 1 Br(x)∩X with B r (x) ∩ X compact, and hence, a distribution u on X is determined by its B-function.
Definition 2.2.7. Let X be a strict C 1 submanifold of K n and let D 0 be a function on X × Z. Say that D 0 is a function on balls if, for any r ∈ Z and any x, If this is the case, write u D 0 to denote this distribution.
The next (basic) lemma gives precise conditions to be a B-function.
Lemma 2.2.8. Let X be a strict C 1 submanifold of K n and let D 0 : X×Z → C be a function. Then D 0 is a B-function if and only if D 0 is a function on balls such that D 0 (B) = 0 whenever B ∩ X is not compact, and, for any ball B with B ∩ X compact and any finite collection of disjoint balls B i with Proof. The direction from left to right is clear. For the other direction, suppose that D 0 is a function on balls and satisfies (2.2.1) and that D 0 (B) = 0 whenever B ∩ X is not compact. We only need to show that the map u sending a Schwartz-Bruhat function ϕ with for some complex numbers c i and some balls B i in X to 2.3. Distributions on manifolds. Any strict C 1 submanifold X of K n of dimension ℓ comes with a natural induced ℓ-dimensional measure, induced by the submanifold structure X ⊂ K n . Let us denote this measure by µ X . If U ⊂ X is open and p : K n → K ℓ is a coordinate projection such that the restriction p |U : be a strict C 1 morphism between strict C 1 submanifolds and let u be a distribution on X. Suppose that the restriction of f to the support of u (see Definition 2.4.3 below) is proper (proper meaning that inverse images of compact subsets are compact). Then, for φ ∈ S(Y ), the composition φ • f lies in S(X), and hence, we can define the push-forward f * (u) as the distribution on Y sending φ ∈ S(Y ) to u(φ • f ).
(In fact, f being continuous instead of strict C 1 is enough to define f * (u).) A distribution u on a strict C 1 submanifold X ⊂ K n can be restricted to a nonempty open U ⊂ X to a distribution denoted by u |U and which sends φ in S(U ) to u(ϕ), where ϕ is the extension by 0 of φ.

2.4.
Representation, support, singular support. Definition 2.4.1. Say that a distribution u on a strict C 1 submanifold X of K n is represented by a C ∞ function if there is a function f : X → C in C ∞ (X) so that for all ϕ in S(X) one has We thus find a map C ∞ (X) → S ′ (X) which is an injective linear map.
Definition 2.4.3. Let u be a distribution on a strict C 1 submanifold X of K n . The zero set of u is the set of points x of X such that there is a compact open neighborhood U of x where 1 U u is represented by the zero function. The support of u is the complement in X of the zero set of u and is denoted by Supp(u).
The complement in X of the set of smooth points of u is called the singular support and denoted by SS(u).

Fourier transform and oscillatory integrals.
Definition 2.5.1. For a distribution u on K n , the Fourier transform F(u) is the distribution on K n sending ϕ in S(K n ) to u(F(ϕ)), where F(ϕ) is the Fourier transform of ϕ with respect to the character ψ K , namely, for y ∈ K n , with |dx| the normalized Haar measure on K n which gives measure 1 to O n K and where x|y = n i=1 x i y i . Note that F is a linear isomorphism from S(K n ) to S(K n ).
For various results related to harmonic analysis on local fields, we refer to [20]. For the convenience of the reader we prove the non archimedean version of the Paley-Wiener theorem [17,Theorem 7.3.1].
Theorem 2.5.2. Let u be a distribution on K n with compact support. Then the distribution F(u) is represented by the following function in C ∞ (K n ) with φ a characteristic function of a ball containing the support of u. Furthermore, if moreover F(u) has compact support then R φ lies in S(K n ).
Proof. As the character ψ K is trivial on M K , for any ξ in K n , the function ψ K (. | ξ) is constant on balls of valuative radius 1 − ord ξ. Let φ be the characteristic function of a ball B R containing the support of u. For any ξ, the function φψ K (. | ξ) is Schwartz-Bruhat. By the same argument, the function R φ is constant on balls of valuative radius larger than 1 − R and does not depend on such φ. Indeed, if φ ′ is any other characteristic function of a ball containing the support of u, then one of these balls is included in the other and by definition of the support, u vanishes on the difference (φ − φ ′ )ψ K (. | ξ) for any ξ.
We consider φ = 1 B R as before, and we prove that the distribution F(φu) is represented by the function R φ , namely for any Schwartz-Bruhat function ϕ in S(K n ). By additivity, it is enough to prove the result for characteristic functions of balls, for instance for ϕ = 1 Br(ξ 0 ) with r ≥ 1 − R. By definition of the Fourier transform of distributions, we have F(φu), ϕ = u, φFϕ and we obtain by computation By assumption on r, the function R φ is constant on the ball B r (ξ 0 ) which gives the equality (2.5.1). The second assertion follows from the inverse Fourier transform formula.
Let X be an open set of K n , φ be a Schwartz-Bruhat function in S(X) and p be a strict C 1 map from X × K r to K. For λ in K × and η in K r we set The following is a non archimedean stationary phase formula, similar to [15, Proposition 1.1] but without restrictions on the characteristic of K. The proof is the same as for [15, Proposition 1.1].
Proposition 2.5.3. Let X ⊂ K n and V ⊂ K r be two open sets. Let p be a strict C 1 map from X × V to K and φ be in S(X) with support Supp(φ). Assume that there is δ > 0 such that for any (x, η) in Supp(φ) × V one has Suppose further that |R(x, y, η)| is bounded for x and x + y in Supp(φ) and η in V , where R is defined by Then, λ → I η (p, φ)(λ) has bounded support on K × , with bound independent of η ∈ V . Namely, there is an integer r such that, for each η ∈ V , the support of λ → I η (p, φ)(λ) is contained in the ball B r .
2.6. Approximations. Definition 2.6.1. For n ≥ 1, for any Schwartz-Bruhat function φ in S(K n ) and distribution u in S ′ (K n ), we define the convolution of u by φ as the function Remark 2.6.2. The convolution product u * φ is a locally constant function. Indeed, as a Schwartz-Bruhat function, φ is constant on balls of radius α + (φ), and thus, for any x ′ in K n with ord x ′ ≥ α + (φ) and any x and y in K n , we have Proposition 2.6.3 (Associativity). For any distribution u in S ′ (K n ), for any Schwartz-Bruhat functions φ and ϕ in S(K n ) we have the associativity property Proof. By decomposition of a Schwartz-Bruhat function as a linear combination of characteristic functions of balls and by linearity of the product it is enough to prove the property in the case of φ = 1 Br(b) and ϕ = 1 Bη (a) with r > η. In that case we have, dy the last summation is finite and comes from the decomposition For any i, for any y in the ball B(y i , r) we have the equivalence As r > η, we have the following equivalences for any z ∈ K n We deduce the equalities and by definition of the convolution product we obtain the equality Definition 2.6.4. A sequence of distributions u ℓ in S ′ (K n ) for ℓ ∈ N is said to converge to a distribution u in S ′ (K n ) if and only if for any Schwartz-Bruhat function ϕ in S(K n ), the sequence of complex numbers ( u ℓ , ϕ ) ℓ converges to u, ϕ .
Proposition 2.6.5. Let (u ℓ ) be a sequence in S ′ (K n ) which converges to a distribution u. For any Schwartz-Bruhat function ϕ in S(K n ), the sequence of functions F(ϕu ℓ ) converges uniformly to the function F(ϕu) on any compact set of K n .
The family of functions F(ϕu ℓ ) is then equicontinuous on K n . This family is also pointwise bounded. By Ascoli-Arzela theorem, this family converges uniformly to F(ϕu) on any compact set. Alternatively, one can also prove the result without using Ascoli-Arzela theorem, as follows. We prove first the uniform convergence on any ball of radius larger than 1 − α − (ϕ). The result for any compact set follows immediately by the Borel-Lebesgue property. Let B be such a ball. If the convergence is not uniform then, there is ε > 0 such that for any M > 0 there is m > M and ξ m ∈ B such that |F(ϕu m )(ξ m ) − F(ϕu)(ξ m )| > ε. As B is compact, the sequence (ξ m ) has a limit point ξ. We can assume (ξ m ) converges to ξ. By equicontinuity of the sequence (F(ϕu m )) and by continuity of F(ϕu) there is an integer r such for any ξ ′ in B r (ξ) and for any m we have Furthermore, by convergence of (ξ m ) to ξ and (F(ϕu m )(ξ)) to F(ϕu)(ξ), there is a bound N such that for any m ≥ N , we have ξ m ∈ B r (ξ) implying the equalities F(ϕu m )(ξ m ) = F(ϕu m )(ξ) and F(ϕu)(ξ m ) = F(ϕu)(ξ), and the inequality |F(ϕu m )(ξ) − F(ϕu)(ξ)| ≤ ǫ.

All of that implies
which is a contradiction.
Proposition 2.6.6. Let (Φ ℓ ) be a sequence of Schwartz-Bruhat functions of S(K n ) supported on a neighborhood U ℓ of zero such that and such that for each ℓ Let u be in S ′ (K n ). Then the sequence (u * Φ ℓ ) converges to u in S ′ (K n ).
Proof. For any ℓ, we denote by u Φ ℓ the locally constant function u * Φ ℓ . This function defines a distribution. For any Schwartz-Bruhat function ϕ in S(K n ) we have withφ(y) = ϕ(−y). By associativity we conclude When ℓ goes to infinity, the support of Φ ℓ goes to {0}, in particular there is ℓ 0 such that for any ℓ ≥ l 0 , the support of Φ ℓ is included in the ball B α + (ϕ) where ϕ is constant and hence u Φ ℓ , ϕ = u Φ , ϕ .
Proposition 2.6.7. Let u be a distribution in S ′ (K n ). There is a sequence of Schwartz-Bruhat functions (u j ) in S(K n ) such that the family of distributions (u j ) converges to u.
Proof. Let u be a distribution in S ′ (K n ). Let (χ j ) a sequence of Schwartz-Bruhat functions in S(K n ) such that for any compact set C of K n there is an index j 0 such that for any j ≥ j 0 , χ j|C = 1. Let (Φ j ) be a sequence of Schwartz-Bruhat functions in S(K n ) such that the support of Φ j converges to {0} and such that for any j one has Φ j (x)dx = 1. For any j, the convolution product (χ j u) * Φ j denoted by u j is a Schwartz-Bruhat functions in S(K n ). For any ϕ in S(K n ) we have Writeφ(y) = ϕ(−y). Since the support of the convolution Φ j * φ is included in the sumset Supp Φ j + Suppφ, since the support of Φ j converges to {0} and since any compact set is included in the support of χ j for j sufficiently large, there is j 0 such that This implies the equality By the previous proposition and its proof, we deduce u j , ϕ = u Φ j , ϕ → u, ϕ .

2.7.
Tensor product of distributions. Let X 1 and X 2 be two open sets of K n 1 and K n 2 . Let u 1 ∈ C(X 1 ) and u 2 ∈ C(X 2 ) be two continuous functions. The tensor product u 1 ⊗ u 2 is defined on X 1 × X 2 as the function It follows from Fubini theorem that for any ϕ 1 ∈ S(X 1 ) and ϕ 2 ∈ S(X 2 ) we have for all ϕ 1 in S(X 1 ) and ϕ 2 in S(X 2 ). This distribution is denoted by u 1 ⊗u 2 . Furthermore, for any ϕ ∈ S(X 1 × X 2 ), we have r) . This remark with the constraint 2.7.1 gives existence and uniqueness of the tensor product u 1 ⊗ u 2 . The equalities 2.7.2 follow by computation from this observation.

2.8.
Wave front sets. The wave front set WF(u) of a distribution u defined on R n is a part of R n × R n \ {0} which is conical in the second argument: for any (x, ξ) in WF(u), for any positive real number λ, (x, λξ) belongs to WF(u). In the non archimedean context, the analogous of the mutliplicative subgroup R >0 is given by Heifetz in [15] as open subgroups of finite index Moreover, if a is an element of Λ with minimal positive valuation among the elements of Λ, then Λ = i∈Z a i Λ 1 . For the remainder of Section 2 we keep Λ fixed.
For any n, we consider the action of Λ on K n \ {0} by multiplication. This action induces an equivalence relation on K n \ {0}, we denote by S (n) Λ the quotient space and we identify it with a compact subspace of K n .
We define Λ-smooth points and Λ-wave fronts, generalizing Section 2, page 288 of [15] (which only treats the characteristic zero case, and only on K-analytic manifolds). The definition uses the group Λ and the character ψ K as fixed above. 1 First we give the definitions for distributions on an open U ⊂ K n . Let u be a distribution in S ′ (U ). According to the Paley-Wiener Theorem (Theorem 2.5.2), u is smooth in a neighborhood of a point x in U , namely x does not belong to the singular support SS(u), if and only if there exists a Schwartz-Bruhat function ϕ in S(U ) such that ϕ(x) = 0 and such that F(ϕu) has bounded support. In particular, if u is not smooth in a neighborhood of x, it is natural to consider the set of critical directions in which F(ϕu) is not eventually vanishing. This idea underlies the following definitions.
By compactness and the definitions, the wave front set lies above the singular support, as follows. We leave the details of the proof to the reader. Proposition 2.8.3. Let u be a distribution on an open U ⊂ K n . Let π be the projection from K n × K n \ {0} to K n . Then the projection π(WF Λ (u)) equals the singular support SS(u).
Remark 2.8.5. Let f : U → U 1 be a strict C 1 isomophism between two open sets of K n and u be a distribution in S ′ (U ). A point is Λ-microlocally smooth for u if and only if the point is Λ-microlocally smooth for f * u. Here, t Df (x 0 ) stands for the transpose of Df (x 0 ), or, in other words, for the dual linear map of Df (x 0 ) by the identifications made between K n and (K n ) * .
Proof of Remark 2.8.5. The remark follows from Proposition 2.5.3 using the function p defined by Using the definition of the push-forward by f , this means For X a strict C 1 submanifold of K n , recall that T * X stands for the co-tangent bundle of X, and T * X \ {0} for the set of (x, ξ) in T * X with x ∈ X and ξ = 0. Using the previous two remarks, and again the Taylor approximation formula (of degree 1) for strict C 1 functions from [4, Theorem 5.1 and Proposition 5.3] we can give now the 'coordinate free' definition of wave front sets for distributions on strict C 1 submanifolds.
Lemma-Definition 2.8.6 (Wave front sets). Let X ⊂ K n be a strict C 1 submanifold of dimension ℓ and let u be a distribution on X.
at which u is Λ-smooth, is called the Λ-wave front set of u, and is denoted by WF Λ (u).
Remark 2.8.8. By definition, the wave front set of a distribution is an example of a Λ-cone.
Wave front sets can be rather general sets, as shown by the following result, analogous to [17, Thm 8.1.4].
Theorem 2.8.9. Let Λ be a finite index subgroup of (K * , ×). Let d ≥ 1 be an integer. Let S be a closed subset of K d × (K d \ {0}) which is Λ-conical in the second factor meaning that S, when seen as subset of Proof. We adapt the proof of [17,Thm 8.1.4] to the present context. Let λ be an element of Λ with minimal positive valuation. Let (x k , θ k ) k be a sequence in S indexed by integers k > 0, with |θ k | K = 1 for each k and such that any point (x, θ) of S with |θ| = 1 is a limit of a subsequence of (x k , θ k ) k . We consider the function u on K d defined for x in K d by where π x is the projection to K d . Indeed, for x 0 / ∈ π x (S), as S is closed, |θ k | = 1 for each k > 0 and by compactness, there is a neighborhood U x 0 such that at most finitely many x k belong to U x 0 , and thus, u |Ux 0 is a finite sum of locally constant functions. In particular, the singular support of u is contained in π x (S).
We now prove the inclusion We may suppose that U is closed and that V = V ∪ {0}. We write u as u = u 1 + u 2 where u 1 is the sum of terms for k > 0 with x k / ∈ U and u 2 is the sum of terms for k > 0 with x k ∈ U . Then, it follows from its definition that the restriction to U of u 1 is a finite sum of locally constant functions on U . For the Fourier transform of u 2 we find by integrating term by term and by noting that the norm of a tuple being the maximum of the norms of the entries. (The existence of c is clear for (ξ, θ) with |(ξ, θ)| = 1 and thus for general (ξ, θ) by scaling.) Thus, for any ξ in V and any k > 0 one has By the presence of 1 B 1 in (2.8.4) and by (2.8.5), the restriction of Fu 2 to V has bounded support, and hence, (x 0 , ξ 0 ) / ∈ WF Λ (u). We have showed that Let us now prove the inclusion S ⊂ WF Λ (u). Let (x 0 , ξ 0 ) be in S. Let us write χ for 1 B 0 (x 0 ) . For any k > 0 such that x k ∈ B 0 (x 0 ) and for any x in the ball B 0 (x 0 ), one has Hence, the Fourier transform F(χu) has the same form as F(u) in (2.8.4) but with the condition x k ∈ U on k > 0 replaced by the condition x k ∈ B 0 (x 0 ). We obtain for any k > 0 the equality Note that for any j > 0 with j = k one has For any distribution u on a strict C 1 -manifold X, we write WF 0 Λ (u) for the union of WF Λ (u) with X × {0} in T * X. With this notation, we have the following relation for tensor products.
Theorem 2.8.10 (Wave front sets and tensor products). Let X 1 and X 2 be two open sets of K n 1 and K n 2 respectively. Let u 1 be in S ′ (X 1 ) and u 2 be in S ′ (X 2 ). Then we have the inclusion Denote by E the right-hand side term of the inclusion (2.8.6). Let P be a point ((a 1 , η 1 ), (a 2 , η 2 )) in T * X 1 × T * X 2 , with (η 1 , η 2 ) = 0. Assume P does not belong to E. In particular (a 1 , η 1 ) does not belong to WF Λ (u 1 ) or (a 2 , η 2 ) does not belong to WF Λ (u 2 ). Assume for instance (a 1 , η 1 ) / ∈ WF Λ (u 1 ). Then, by the definition of Λ-micro-local smoothness, there are an open ball U a 1 centered at a 1 and an open ballǓ η 1 centered at η 1 such that for any Schwartz-Bruhat function ϕ in S(U a 1 ) there is an integer N ϕ > 0 such that for all λ in Λ with ord λ < N ϕ and ξ 1 inǓ η 1 we have Consider the open sets Ω = U a 1 × X 2 andΩ =Ǔ η 1 × K n 2 and choose ϕ ∈ S(Ω). This Schwartz-Bruhat function is a C-linear combination of characteristic functions of balls of Ω which themselves are products of characteristic functions of balls in U a 1 and in X 2 , and thus, ϕ can be written such that for x 1 ∈ X 1 and x 2 ∈ X 2 with B i,1 a ball in U a 1 , B i,2 a ball in X 2 and c i a complex number for each i. Denote by N ϕ the minimum min N 1 B i,1 over i. Using (2.7.2), we conclude that for any λ in Λ with ord λ ≤ N ϕ and (ξ 1 , ξ 2 ) inΩ we have which shows that the point ((a 1 , η 1 ), (a 2 , η 2 )) does not belong to WF u 1 ⊗u 2 as desired.
2.9. Pull-backs and push-forwards of distributions. Let X be a strict C 1 submanifold of K n . On the set S ′ (X) of all distributions on X, one has the topology such that for distributions u and u j on X, one has u j → u if and only if for all Schwartz-Bruhat functions ϕ on X one has u j (ϕ) → u(ϕ) in C. We call this convergence of (u j ) j in the S ′ -sense. We introduce a refined topology on certain subsets S ′ Γ,Λ (X) of S ′ (X) by using closed Λ-cones Γ in T * X.
for all j, all η ∈ U η 0 and for all λ ∈ Λ with ord λ < N .
Proposition 2.9.2. Let X be a strict C 1 submanifold of K n and let u be a distribution in S ′ (X). Then there exists a sequence of Schwartz-Bruhat functions (u j ) j which converges to u in the S ′ Γ,Λ -sense if and only if u lies in S ′ Γ,Λ (X). Proof. Since we can work locally, it is enough to treat the case that X = K n . As in the proof of proposition 2.6.7 and with its notation for χ j and Φ j , we consider a sequence (u j ) j of Schwartz-Bruhat functions in S(K n ), with u j = (χ j u) * Φ j , which converges to u in the S ′ -sense. Each function u j defines a distribution with an empty wave front set, hence u j lies in S ′ Γ,Λ (K n ). Let us first suppose that u lies in S ′ Γ,Λ and prove the S ′ Γ,Λ -convergence of the sequence to u. Let (x 0 , η 0 ) be a point in T * K n \ {0} not lying in Γ. In particular, by the assumptions on u, the point (x 0 , η 0 ) is Λ-micro-locally smooth for u, and thus, there is a ball B(x 0 , r) and an open neighborhood U η 0 of η 0 such that for any ϕ ∈ S(B(x 0 , r)) there is a constant N such that F(ϕu)(λη) = 0 for all η ∈ U η 0 and all λ ∈ Λ with ord λ ≤ N . We denote by U x 0 the ball B 2r (x 0 ). For ϕ ∈ S(U x 0 ) it is sufficient to prove the existence of an index j 0 such that F(ϕu j )(λη) = 0 for any j ≥ j 0 , η ∈ U η 0 and λ ∈ Λ with ord λ ≤ N . To this end, note that and that there is an index j 0 such that for j with j ≥ j 0 one has The function is clearly a Schwartz-Bruhat function, with support in the ball B(x 0 , r). By the microlocal smoothness we obtain for all j > j 0 , all λ with ord λ ≤ N and all η ∈ U η 0 . This proves the S ′ Γ,Λconvergence. The remaining implication follows easily from (2) and (1), by definition of S ′ -convergence.
Finally, define the Λ-cone N f by Then the pullback has a unique continuous extension for the topology from Definition 2.9.1 on S ′ Γ,Λ (Y ) and from Definition 2.6.4 on S ′ (X). Moreover, , with both topologies from Definition 2.9.1.

By Taking
Proof of Theorem 2.9.3. Uniqueness follows from the continuity of f * and Proposition 2.9.2. It is sufficient to prove the existence in the case that X = K m and Y = K n by working locally and with charts. We adapt the proofs of [ for any x 0 in X we define a convenient neighborhood X 0 of x 0 and f * u on S(X 0 ). The construction f * u extends naturally to S(X) by linearity and compactness of the support of a Schwartz-Bruhat function. We will finally need to show that this is well-defined, continuous and goes to S ′ f * Γ,Λ (X). Let x 0 ∈ X, y 0 = f (x 0 ). If, y 0 does not belong to π Y (Γ), then as WF Λ (u) is included in Γ, y 0 is a smooth point, and locally around y 0 , u is a C ∞ function, and the pull-back f * u is already defined as u•f around y 0 . Assume now that y 0 belongs to π Y (Γ), then Γ y 0 = {η | (y 0 , η) ∈ Γ} is non empty.
In the following steps we construct some neighborhoods V of Γ y 0 , Y 0 of y 0 and X 0 of x 0 , and we start the construction of f * u, χ for any χ in S(X 0 ). Recall that the action of Λ on K n \ {0} induces an equivalence relation on K n \ {0}, we denote by S (n) Λ the quotient space and we identify it to a compact subspace of K n .
Step 1. As Γ y 0 ∩N f,y 0 is empty, by continuity on the compact set Γ y 0 ∩S (n) Λ , the map t Df (x 0 ) admits a minimum δ > 0. By compactness, there is an open-closed conic neighborhood V of Γ y 0 in K n \ {0} with t Df (x 0 )η = 0 for any η ∈ V . For instance we can consider V as Step 2. As Γ is closed, there is a compact neighborhood Y 0 of y 0 such that V is a neighborhood of Γ y for every y ∈ Y 0 ∩ π Y (Γ). Else, considering a familly of balls centered at y 0 with valuative radius r n → +∞, there is a sequence (y ℓ , η ℓ ) with η ℓ in Γ y ℓ ∩ S (n) Λ \ V . By compactness of S (n) Λ , we can extract a subsequence converging to a point (y 0 , η). As V is open and Γ is closed , (y 0 , η) belongs to Γ y 0 \V which shows that Γ y 0 ⊂ V , a contradiction.
Step 3. There is a compact neighborhood X 0 of x 0 with f (X 0 ) in the interior of Y 0 and t Df (x)η = 0 for any x ∈ X 0 and η ∈ V . Indeed, there is δ > 0 such that for any Step 4. By proposition 2.9.2, let (u ℓ ) be a sequence of S(Y ) which converges to u for the S ′ Γ,Λ convergence. We can assume Y 0 sufficiently small such that for any ϕ ∈ S(Y 0 ), there is an integer j ϕ such that, for any j ≥ j ϕ , F(ϕu j )1 V c has a compact support which is moreover independent from j where V c is the complement of V in K n \ {0}. This follows from the compactness of V c ∩ S (n) Λ and the definition of the S ′ Γ,Λ convergence. Using, x 0 , y 0 , V , X 0 , Y 0 and (u ℓ ) the sequence of S(Y ) defined above, we give now the construction of f * u, χ for any χ in S(X 0 ). We fix also ϕ be in S(Y 0 ) equal to 1 on f (X 0 ) hence for any ℓ, f * (ϕu ℓ ) is equal to f * u ℓ and below nothing will depend on ϕ. Let χ be a Schwartz-Bruhat function in S(X 0 ). By the Fourier's inversion formula, we have for any ℓ, By construction of X 0 , compactness of V ∩ S (n) Λ and the stationary phase formula, the function I χ 1 V has a compact support. By proposition 2.6.5, the sequence F(ϕu ℓ ) converges uniformly to F(ϕu), then we deduce the convergence By step 4, F(ϕu ℓ ) has a compact support on V c which is independent from ℓ when ℓ is large enough. By convergence in S ′ the sequence F(ϕu ℓ ) converges uniformly to F(ϕu) on it. Then, we deduce the convergence Hence, for any x 0 in X, with f (x 0 ) in π Y (Γ) we have defined an open compact neighborhood X 0 of x 0 such that for any χ in S(X 0 ) we define We extends naturally the construction of f * u to S(X) by linearity and compactness of the support of a Schwartz-Bruhat function. If u is a Schwartz-Bruhat function then by construction f * u = u • f .
We prove now for any u in S ′ (X) the inclusion Let (x 0 , ξ 0 ) / ∈ f * Γ and prove that (x 0 , ξ 0 ) / ∈ WF(f * u). As before, we write y 0 = f (x 0 ). If y 0 is not in π Y (Γ) then y 0 is a smooth point of u and by construction x 0 is a smooth point of f * u, so (x 0 , ξ 0 ) does not belong to WF Λ (f * u). Assume now y 0 to be in π Y (Γ). We denote by (f * Γ) x 0 the image t Df (x 0 )(Γ y 0 ). By assumption ξ 0 does not belong to (f * Γ) x 0 . We consider a Λ-conical open neighborhood W of (f * Γ) x 0 , which does not contain ξ 0 . As f is strict C 1 , it is also C 1 and the map t Df : We consider an open ball B ξ 0 centered in ξ 0 with radius larger than ord ξ 0 and such that B ξ 0 ∩ W = ∅. In particular, the order of each element of the ball ξ is equal to ord ξ 0 . Thus there is ε > 0 such that for any x in X 0 , for any η in V , for any ξ in B ξ 0 we have Let χ ∈ S(X 0 ). By formulas 2.9.1 and 2.9.2, and the change variable formula we have for any ξ in B ξ 0 and ϕ is a Schwartz-Bruhat function in S(Y 0 ) equal to 1 on f (X 0 ). We show that for any ξ in B ξ 0 , the function λ → F(χf * u)(λξ) has a bounded support which is moreover independent from ξ and we deduce that the point (x 0 , ξ 0 ) is microlocally smooth. Indeed denoting r the integer ord ξ 0 − min x∈suppχ ord t Df (x) and working separately on a ball B r with r large enough, on V \ B r and on V c \ B r we prove that I χ (ξ, η) has a bounded support which is independent from ξ in B ξ 0 and η in K n . For any ξ in B ξ 0 , and any η in K n with ord η > r we have then by the sationnary phase formula, I χ (ξ, η) has a bounded support which is independent from ξ in B ξ 0 and η in B r . As well, by 2.9.4 and the stationary phase formula, the function I χ (ξ, η) has a compact support which is independent from ξ in B ξ 0 and η in V \ B r . Finally, for any η in V c \ B r , by assumption on WF Λ (u), (y 0 , η) is a micro-locally smooth point, in particular λ → F(ϕu)(λη) has a bounded support, with a bound locally independent from η in V c ∩ S (n) Λ . Again by compactness, we deduce a uniform bound in η in V c ∩ S (n) Λ . Hence, λ → F(ϕu)(λη) has a bounded support which is independent from η ∈ V c \ B r .
We end the proof by the continuity of f * . Let (u j ) be a sequence of By construction of f * u and its independance from the sequence (u j ), for any χ in S(X), ( f * u j , χ ) converges to f * u, χ . We deduce the second point of the definition of the S ′ f * Γ,Λ -convergence from the definition of the S ′ Γ,Λ (Y )-convergence of u j and the proof of I χ (ξ, η) has a bounded support which is independent from ξ in B ξ 0 and η in B r or V \ B r . Proposition 2.9.4 (Functoriality of the pull-back). Let f : Then, the intersection N g•f ∩ Γ is empty and we have the equality ,Λ (X), are given by the pull-back theorem applied to (g • f ), f and g.

Proof.
Assume N g•f ∩ Γ to be non empty and take (z, η) an element. By definition, there is x ∈ X such that z = (g•f )(x) and t Df x t Dg f (x) (η) = 0. In particular, the point f (x), t Dg f (x) (η) belongs to N f . By definition this point belongs also to the cone g * Γ which induces a contradiction with the fact N f ∩ g * Γ = ∅. We conclude that N g•f ∩ Γ = ∅. Hence, by the pullback theorem, there is a unique continuous map (g • f ) * from S ′ Γ,Λ (Z) to S ′ (g•f ) * Γ,Λ (X) such that for any Schwartz-Bruhat function u in S(Z), we have (g • f ) * (u) = u • (g • f ). Furthermore, by assumptions and the pullback theorem, the pull-back morphisms f * and g * are well defined, the map f * • g * from S ′ Γ,Λ (Z) to S ′ (g•f ) * Γ,Λ (X) is continuous and for any Schwartz-Bruhat function u in S(Z), we have f * • g * (u) = u • (g • f ). By uniqueness, we obtain the equality (g • f ) * = f * • g * . Finally, using the definition we have the equality f * (g * Γ) = (g • f ) * Γ.
Corollary 2.9.5. Let f : X ⊂ K n → Y ⊂ K m be a strict C 1 isomorphisms between strict C 1 submanifolds. Then the cone N f is empty and for any distribution u ∈ S ′ (Y ) the pull-back f * u given by the pull-back theorem satisfies In fact this corollary follows already from Remark 2.8.5. Alternatively, one can use Theorem 2.9.3 as follows.
Proof of Corollary 2.9.5. Since f is a strict C 1 isomorphism, the submanifolds X and Y have same dimension and for any point x in X the differential Df (x) is invertible and N f is necessarly empty. For any distribution u in S ′ (Y ), taking Γ = WF Λ (u), the pull-back f * u given by the pull-back theorem satisfies WF Λ (f * u) ⊂ f * (WF Λ (u)).
As well, we have namely by functoriality of the pull-back and applying f * we get Theorem 2.9.6 (Push-forwards of distributions). Let f : X ⊂ K n → Y ⊂ K m be a strict C 1 morphism between strict C 1 submanifolds and let u be a distribution on X. Suppose that the restriction of f to the support of u is proper. Then one has Proof. We follow [12,Theorem 2]. By the definition in paragraph 2.3, the push-forward operation is functorial. Hence, for f : X ⊂ K n → Y ⊂ K m a strict C 1 morphism between strict C 1 submanifolds, we can decompose f as a composition p • i where i : X → Γ f is the imbedding from X to the graph Γ f of f , mapping x to (x, f (x)) and p : Γ f → Y is the second projection to Y . By functoriality, we get f * = p * • i * . It is then enough to prove the result for imbeddings and projections.
• The imbedding case. The wave front set is defined locally and by 2.9.5 it is invariant by change of coordinates. It is then enough to prove the result in the case of i : in that case, for any distribution u in S ′ (X), the push-forward i * u is equal to u ⊗ δ, where δ is the Dirac measure, and using the theorem 2.8.10 and the definition of a Λ-micro-locall-smooth point we obtain the equality WF Λ (i * u) = i * (WF Λ u).
We consider points ((x, y 0 ), (η, ξ 0 )) with U (x,y 0 ),(η,ξ 0 ) included in the support of u. By properness assumption of π on the support of u, and compactness of the product S (n) We consider the following open neighborhoods of y 0 and ξ 0 We can assume Ω y 0 ,ξ 0 included in the support of u. Let ϕ be in S(Ω y 0 ,ξ 0 ). By definition of π, the composition φ = ϕ • π belongs to the intersection i∈I S(U (x i ,y 0 ),(η i ,ξ 0 ) ). For any λ in Λ with ord λ ≤ max(N φ,(x i ,y 0 ),(η i ,ξ 0 ) ), for any ξ ′ inΩ y 0 ,ξ 0 , applying 2.9.5 for any η i , with i in I, we obtain F(ϕπ * u)(λξ ′ ) = 0 and the point (y 0 , ξ 0 ) does not belong to WF Λ (π * u). Example 2.9.7. In this example we show that the finer topology is needed in order to get continuity of f * in Theorem 2.9.3, even already on the subspace S(Y ) ⊂ S ′ Γ,Λ (Y ) for Y = K. For each r ≥ 0, let v r be the distribution on Y with Y = K given by integration against the Schwartz-Bruhat function where B r (0) is the ball around 0 of valuative radius r. Thus, v r (ψ) = K ϕ r (x)ψ(x)|dx| for any Schwartz-Bruhat ψ on Y .
Note that the sequence (v r ) r has a limit which is the zero distribution, since for any Schwartz-Bruhat ψ on K one has Now put X = K and Y = K and let f : X → Y be the constant function to 0. Then, the conditions of Theorem 2.9.3 are satisfied to take f * (v r ) for each r, with Γ any closed cone disjoint from N f = {0} × K × . However, the sequence w r := f * (v r ) does not have a limit in S ′ (K), since Of course, the sequence (v r ) r is not converging in the S ′ Γ,Λ -sense, since it fails condition (2) of Definition 2.9.1.
The example thus shows that Heifetz construction from [15] is not continuous with the subset topology on S ′ Γ,Λ (X) induced from S ′ (X). Thus, the finer topology on S ′ Γ,Λ (X), as specified in Definition 2.9.1 (similar to the real case by Hörmander [17]) is necessary. Heifetz omits to specify this finer topology in [15].
We finish this section by the version in our context of the classical result on the product of distributions (see [17,Theorem 8.2.10]). Theorem 2.9.8. Let X be a C 1 strict submanifold of K n for some n ≥ 0. Let u and v be distributions in S ′ (X). Then, the product uv can be defined as the pull-back of the tensor product u ⊗ v by the diagonal map δ : When the product is defined we have , (x, η) ∈ WF 0 Λ (v)}, with notation from just above Theorem 2.8.10.
Proof. The result follows from Theorems 2.8.10 and 2.9.3 with f = δ.

Distributions of C exp -class and wave front sets
3.1. In this section we introduce a class of distributions given by uniform, field-independent descriptions, called distributions of C exp -class (see the definition in 3.3.1). These distributions are not only uniform, they also have some geometric properties that more arbitrary distributions may lack. We will study the wave front sets associated to distributions of C exp -class and we will show that such a wave front set is not definable in general (see Example 3.4.6), but still it is always the complement of a zero locus of a function of C exp -class (see Theorem 3.4.1), yielding some results on the recent notion of on WF-holonomicity from [2] in Section 4. Similarly, conditions (on family parameters) related to e.g. pull-backs are shown to be zero loci of functions of C exp -class, and the class of C exp -class distributions is stable under pullbacks (see Theorem 3.4.3). Also, the Fourier transform of distributions of C exp -class remains of C exp -class (see Theorem 3.3.5).
3.2. From now on, until the end of the paper, we use terminology and notation from Section 1.2 of [5], without recalling that section in full. In particular this fixes the notions of functions, loci, and conditions of C expclass, as well as of definable sets. Thus, Loc is the collection of all pairs (F, ̟) of non-archimedean local fields F with a uniformizer ̟ of the valuation ring O F of F . Further, given an integer M , Loc M is the collection of (F, ̟) ∈ Loc such that F has characteristic either 0 or at least M . Given F = (F , ̟) ∈ Loc, we write VF F (or, by abuse of notation, just F ) for the valued field F , we write O F for the valuation ring of VF F , M F for the maximal ideal, RF F for the residue field and q F for the number of elements of RF F . The value group (even though always being isomorphic to Z) will sometimes be denoted by VG F , and, for positive integers n, we write RF n,F for the quotient O F /nM F and ord F : VF F → VG F ∪ {∞} for the valuation map. Apart from the natural operations like the ring operations and the valuation map, note that definable sets are built up with a generalized Denef-Pas language L gDP involving also angular component maps ac n : VF → RF n for each integer n > 0.
We write D F for the subset of the group of additive characters ψ on F , such that ψ(M F ) = 1 and ψ(O F ) = 1, with M F the maximal ideal of O F . We introduce one handy extra abbreviation on top of the notation of [5, Section 1.2]: By Loc ′ we mean the collection of F = (F , ̟, ψ) with (F , ̟) in Loc and ψ ∈ D F . We use the obvious variants as for Loc in [5], like Loc ′ M (to denote that the characteristic of the local field is 0 or at least M ), and Loc ′ ≫1 (to denote that the characteristic of the local field is 0 or at least M for some M depending on the context).
For arbitrary sets A ⊂ X × T and x ∈ X, write A x for the set of t ∈ T with (x, t) ∈ A. For g : A ⊂ X × T → B a function and for x ∈ X, we write g(x, ·) or g x for the function A x → B sending t to g(x, t).

Distributions of C exp -class.
Proposition-Definition 3.3.1 (Distributions of C exp -class). Consider definable sets Y and W ⊂ Y × VF n for some n ≥ 0. Let E be in C exp (W × Z). For each F ∈ Loc ′ ≫1 , consider the set Dis(E, Y ) F := {y ∈ Y F | W F,y is a strict C 1 submanifold of F n , and, Then Dis(E, Y ) is a C exp -locus. In particular, there is M > 1 such that for F ∈ Loc ′ M and y ∈ Dis(E, Y ) F , the function E F (y, ·) is the B-function of a distribution u F,y on W F,y . The collection of distributions u F,y , for F ∈ Loc ′ M and y ∈ Dis(E, Y ) F , is called a C exp -class distribution.
Proof. The condition that W F,y is a strict C 1 submanifold of F n is clearly a definable condition, and hence, certainly a C exp -condition. Since a finite intersection of C exp -loci is a C exp -locus, we can proceed as follows. First we show that the collection, for F ∈ Loc ′ ≫1 , of the sets Ba(E, Y ) F := {y ∈ Y | W F,y is a strict C 1 manifold, and, That E F (y, ·) is a function on balls can be expressed as ∀x, x ′ ∈ W F,y : ∀r ∈ Z : ; by the formalism explained after [5, Proposition 1.3.1], this is a C exp -locus, and hence so is Ba(E, Y ). In more detail: Consider the function E 2 x, x ′ lie in W y and moreover B r (x) ∩ W y = B r (x ′ ) ∩ W y and W F,y is a strict C 1 manifold, and to 0 otherwise. Then clearly E 2 lies in C exp (Y × VF 2n × Z) and Ba(E, Y ) = {y ∈ Y |W F,y is a strict C 1 manifold, and, ∀x∀x ′ ∀r E 2 (y, x, x ′ , r) = 0}, which is a C exp -locus by Proposition 1.3.1(3) of [5].
Finally we show that Dis(E, Y ) is a C exp -locus. For a function on balls, in order for (2.2.1) to hold in general it is enough to check (2.2.1) for an arbitrary ball B in VF n , say, of valuative radius r, and for B i disjoint balls in B of valuative radius r + 1 whose union equals B. By Theorem 4.1.1 of [6], there are functions H and G in C exp (Y × VF n × Z) such that whenever W y is a strict C 1 manifold and the integral is finite, and such that G(y, x, r) = 0 if and only if these conditions hold (namely, the integral in (3.3.1) is finite and W y is a strict C 1 manifold). Here, µ Wy stands for the canonical measure on W y as in Section 2.3, and, q stands for the C expfunction which associates to F the number of residue field elements q F , with notation as in [5]. and, for all x ∈ VF n and all r ∈ Z, G(y, u, r) = 0 and E 3 (y, u, r) = 0. It now follows from Proposition 1.3.1 of [5] that Dis(E, Y ) is a C exp -locus.
Note that a distribution of C exp -class is in fact, by its definition in 3.3.1, a family of distributions whose (family of) p-adic continuous wavelet transforms is of C exp -class. Consider definable sets Y and W ⊂ Y × VF n for some n ≥ 0. Let ϕ be in C exp (W ). Then, the collection for F ∈ Loc ′ ≫1 of the sets Sch(ϕ, Y ) F := {y ∈ Y F | W F,y is a strict C 1 manifold, and, ϕ F (y, ·) is a Schwartz-Bruhat function on W F,y } is a C exp -locus. Furthermore, there are definable functions α + and α − from Y to Z and M > 0 with the following properties for any F ∈ Loc ′ M and any y ∈ Sch(ϕ, Y ) F . The function ϕ F (y, ·) is constant on any set of the form W y ∩ B with B ⊂ F n a ball of valuative radius α + F (y). Furthermore, ϕ F (y, ·) is supported on the ball around zero of valuative radius α − F (y). Proof. As before, we note that the condition that W F,y is a strict C 1 submanifold of VF n F is a definable condition, and hence, a C exp -condition. By Corollary 1.4.3 of [5], the condition that ϕ F (y, ·) is locally constant on W F,y is a C exp -locus, and Proposition 1.4.1 of [5] yields the existence of a definable map α + with properties as desired, namely, such that if ϕ F (y, ·) is Schwartz-Bruhat, then ϕ F (y, ·) is constant on any set of the form W y ∩ B with B ⊂ F n a ball of valuative radius α + F (y). Finally, ϕ F (y, ·) is Schwartz-Bruhat if and only if the following conditions hold: The function ϕ F (y, ·) is constant on W F,y intersected with any ball of valuative radius α + F (y) and moreover ∀λ ≪ 0 : ∀x ∈ W F,y \ B λ (0) : ϕ F (y, x) = 0 ∧ ∀x ∈ W F,y : (B α + F (y) (x) ∩ W F,y is not compact) ⇒ ϕ F (y, x) = 0 (here, λ runs over all sufficiently small integers). This is a C exp -locus by the formalism explained after [5, Proposition 1.3.1] and using [5, Proposition 1.4.1] to treat "∀λ ≪ 0". Also, [5, Proposition 1.4.1] yields a "definable witness for λ", i.e., the desired function α − F (y). Lemma 3.3.3 (Convolutions). Consider a definable set Y and some n ≥ 0. Let ϕ and ψ be in C exp (Y × VF n ). Then there are M > 0 and E in C exp (Y × VF n ) such that, for any F ∈ Loc ′ M , any y ∈ Y F and any x ∈ VF n F , E F (y, x) = z∈F n ϕ(y, x − z)ψ(y, z)|dz| whenever this integral is finite.
Proof. This follows directly from the stability under integration given by Theorem 4.1.1 of [6].
The evaluation of distributions of C exp -class in families of Schwartz-Bruhat functions of C exp -class is again of C exp -class, as follows. Proposition 3.3.4. Consider definable sets Y and W ⊂ Y × VF n for some n ≥ 0. Let E be in C exp (W × Z) and let ϕ be in C exp (W ). Then there are M > 0 and a function J in C exp (Y ) such that for each F in Loc ′ M and each y ∈ Y F one has J F (y) = u F,y (ϕ F,y ) whenever W F,y is a strict C 1 manifold, E F,y is a B-function on W F,y of a distribution denoted by u F,y , and ϕ F (y, ·) is a Schwartz-Bruhat function on W F,y , denoted by ϕ F,y .
Proof. Given ϕ, take definable functions α + and α − on Y as in Proposition 3.3.2. By the stability under integration of C exp -class function from Theorem 4.1.1 of [6], there is a function J in C exp (Y ) such that whenever W y is a strict C 1 manifold and the integral is finite, and where µ Wy stands for the canonical measure on W y as in Section 2.3 and q stands for the C exp -function which associates to F the number of residue field elements q F . Then J is as desired.
By the previous proposition, we can evaluate C exp -class distributions on C exp -class Schwartz-Bruhat functions with outcome being again of the same class. The next result gives stability under Fourier transform. Theorem 3.3.5. The Fourier transform of a C exp -class distribution on VF n is of C exp -class. More precisely, consider a definable set Y and let E be in C exp (Y × VF n × Z) for some n ≥ 0. Then there are M > 0 and F /Y (E) in C exp (Y × VF n × Z) such that for each F ∈ Loc ′ M and each y ∈ Dis(E, Y ) F one has that F(E) /Y,F (y, ·) is the B-function of the Fourier transform of the distribution associated to the B-function E F (y, ·), with respect to the character ψ if one writes F = (F , ̟, ψ) (see Definition 2.5.1).
Proof. This follows from Proposition 3.3.4 applied to E(y, ·) and the collection of the Schwartz-Bruhat functions which are the Fourier transform of characteristic functions of balls, which is of C exp -class by Theorem 4.1.1 of [6].
3.4. The nature of wave front sets of C exp -class distributions. By Example 3.4.6 below, and in the spirit of Theorem 2.8.9, the smooth locus of a C exp -class distribution is not always a definable set (it can in fact be far more general). The following theorem is one of our main results, namely that the micro-locally smooth locus of a C exp -class distribution is a C explocus, and thus, that the wave front set is the complement of the zero locus of a C exp -class function.
Theorem 3.4.1 (Loci of microlocal smoothness and zero loci). Let Λ ⊂ VF, Y , and W ⊂ Y × VF n be definable sets for some n ≥ 0. Let E be in Here, we have considered T * W F,y inside F n × F n when W F,y is a strict C 1 submanifold of F n . In particular, if Y is a point and E F is a distribution on a strict C 1 manifold W F for each F , then (WF Λ (E F )) F is the complement of a C exp -locus.
Note that the complement of a C exp -locus is not always a C exp -locus itself. Before proving Theorem 3.4.1, we slightly rephrase Definition 2.8.1. We now first treat the special case that W F,y = F n for all F . We proceed by unwinding Lemma 3.4.2. For y ∈ Dis(E, Y ), and u y the distribution associated to E(y, ·), F(1 Bs(x) u y )(λξ) = 0 is clearly a C exp -locus condition on the involved variables s, x, y, λ, ξ. Also, by Proposition 1.3.1 and 1.4.1 of [5], the condition 'for all sufficiently large λ ∈ Λ' is a C exp -locus condition, as are the conditions 's > r', 'for all x ∈ B r (x 0 )', and, 'for sufficiently large r'.
Putting this together we find that the condition of Λ-smoothness on (x 0 , ξ 0 ) is a C exp -locus condition on (x 0 , ξ 0 ) when W F,y = VF n F . The case of general W F,y follows from this by taking charts, which can be taken to be coordinate projections by the following property. Let F be a non-archimedean local field, let X ⊂ F n be a strict C 1 submanifold of dimension m and let x be in X. Then there exists an open neighborhood O of x in X and a subset I of {1, . . . , n} with m elements, such that the coordinate projection p I sending x = (x 1 , . . . , x n ) to (x i ) i∈I , gives a strict C 1 chart for O (the existence of such O follows from the Jacobian property Theorem 5.3.1 of [6]).
The previous theorem can be understood as a description of wave front sets as complements of C exp -loci.
Our next main result gives that pull-backs of C exp -class distributions are still of C exp -class. Recall the notation N f of Section 2.9 for a strict C 1 map f : X → Z of strict C 1 manifolds, with In Theorem 3.4.3, f * (E) will stand for the pull-back of the distribution E of C exp -class.
Then, the collection of sets for F ∈ Loc ′

≫1
Pull(Λ, f, E, Y ) F := {y ∈ Y F | y ∈ Dis(E, Y ) F and f F,y is a strict C 1 morphism between strict C 1 manifolds W i,F,y , and such that (f * (E)) F,y is the B-function of f * F,y (u E F,y ) whenever y lies in P ull(Λ, f, E, Y ) F , and where u E F,y is the distribution associated to E F (y, ·).
Proof. Clearly the property that f F,y is a strict C 1 morphism between strict C 1 manifolds W i,F,y is a definable condition on y ∈ Y F and F ∈ Loc ′ ≫1 . Hence, we may focus on the condition for the relevant y and F , and on the existence of and each y ∈ Pull(Λ, f, E, Y ) F , the sequence of functions G F,y,i for i ≥ 0 is a sequences of Schwartz-Bruhat functions such that the associated sequence of distributions u y,i converges to u y = u E F,y for the topology of S ′ WF Λ F (u F,y ),Λ F (W 2,F,y ) as in Definition 2.9.1. For each such F and y and each i ≥ 0, let u * y,i be the distribution associated to G F,y,i • f F,y . Clearly the collection of B-functions of the u * y,i is of C exp -class, for F in Loc ′ ≫1 and y ∈ Pull(Λ, f, E, Y ) F . By Theorem 3.1.3 (2) of [5] on limits, there exists f * (E) in C exp (W 1 × Z) such that, for each F ∈ Loc ′ ≫1 , each y ∈ Y F , each x ∈ W 1,F,y , and each r ∈ Z, f * (E) F (y, x, r) equals 0 whenever B r (x)∩W 1,F,y is not compact, and, equals the limit for i → +∞ of u * y,i (1 Br (x) ∩ W 1,F,y ), whenever this limit exists and B r (x) ∩ W 1,F,y is compact. Then f * (E) is as desired, by the continuity property of the pull-back as given by Theorem 2.9.3. Lemma 3.4.4 (Converging sequences of C exp -class distributions). Consider definable sets Λ ⊂ VF, Y and W ⊂ Y × VF n for some n ≥ 0. Let E be in C exp (W × Z). Suppose for each y ∈ Dis(E, Y ) that W F,y is a strict C 1 submanifold of F n , that Λ F is an open subgroup of finite index in F × , and that Γ F,y is a Λ F -cone. (Note that we require no conditions on the family of cones Γ F,y .) Then there exists ϕ in C exp (W × Z) such that each ϕ F,y,j is a Schwartz-Bruhat function, and such that, for each y ∈ Dis(E, Y ), the sequence ϕ F,y,j for j ∈ N converges to u E F,y in the S ′ -sense, and if moreover u E F,y belongs to S ′ Γ F,y ,Λ F (W F,y ), then it also converges to u E F,y in the S ′ Γ F,y ,Λ F -sense, where we identify the Schwartz-Bruhat functions ϕ F,y,j with the associated distribution and where convergence is as in Definition 2.9.1.
Proof. The existence of ϕ in C exp (W × Z) as desired follows directly from the construction in the proof of Proposition 2.9.2.
As final result of this section we show that also push-forwards of C expclass distributions are of C exp -class; notationally in Theorem 3.4.5, f * (E) stands for the push-foward of the distribution E of C exp -class.
Theorem 3.4.5 (Push-forwards of C exp -class distributions). Consider definable sets Y and W i ⊂ Y × VF n i and for some n i ≥ 0 and i = 1, 2 and a definable function f : f F,y is a strict C 1 morphism between strict C 1 manifolds W i,F,y , and f F,y is proper on the support of u E F,y }.
Then, the collection Prop(f, E, T ) F for F ∈ Loc ′ ≫1 is a C exp -locus, and, there are M > 0 and f * (E) in C exp (W 2 × Z) such that for all F ∈ Loc ′ ≫1 , (f * (E)) F,y is the B-function of f F,y, * (u E F,y ) whenever y lies in Prop(f, E, Y ) F . Proof. Write u F,y for u E F,y . The fact that f * (E) exists and is of C exp -class is easy to see. Indeed, for F in Loc ′ ≫1 , y in Prop(f, E, Y ) F , x ∈ W 2,F,y , and r ∈ Z, put whenever 1 Br(x)∩W 2,F,y • f F,y is a Schwartz-Bruhat function on W 2,F,y . Then f * (E) is of C exp -class by the second part of Proposition 3.3.4.
We now show that the collection of sets is a C exp -locus. By the continuity of f F,y , for any ball B in F n 2 such that W 2,F,y ∩ B is compact one has that f −1 F,y (W 2,F,y ∩ B) is closed in W 1,F,y for the subset topology on W 1,F,y ⊂ F n 1 . Hence, also the intersection of f −1 F,y (W 2,F,y ∩ B) with the support of u F,y is closed in W 1,F,y ; let us denote this intersection by A y,B . Let µ F,y : W 1,F,y → N be a definable function such that, for all a ∈ N, µ −1 F,y (a) is compact, and such that a∈N µ −1 F,y (a) equals W 1,F,y . We use the following properties: 1) For x ∈ W 1,F,y , to lie in the complement of the support of u F,y is a C exp -locus condition on x and y, and hence, to be in the complement of A y,B is also a C exp -locus condition.
2) Whether for all balls B such that W 2,F,y ∩ B is compact, the set µ F,y (A y,B ) ⊂ N is bounded by a constant C(B) ∈ N is a C exp -locus condition.
3) The map f F,y is proper on the support of u y if and only if for all B such that W 2,F,y ∩ B is compact, the set µ F,y (A y,B ) ⊂ N is bounded by a constant C(B) ∈ N.
To see why 1) holds, one notes that x ∈ W 1,F,y lies in the complement of the support of u F,y if and only if E F,y (x, r) = 0 for all large enough integers r. Now 1) follows from Proposition 1.4.1 of [5]. To show 2), one uses Proposition 1.4.1 of [5] once more, in combination with 1). Property 3) is purely topological and is left to the reader. Now the claim follows using the formalism from [5], namely as follows. Since one can also eliminate universal quantifiers by Proposition 1.3.1(3) of [5], and since quantifying over all balls B such that W 2,F,y ∩B is compact can be done definably with universal quantifiers (by using a tuple of variables running over B and a variable for its radius), it follows from 1), 2) and 3) that the collection Prop(f, E, Y ) F is a C exp -locus.
Example 3.4.6. We give an example which shows that the wave front set (of a distibution of C exp -class) is in general far from a definable set. The situation is even worse, as we show that even the smooth locus is not a definable set in general.
Let G be any function in C exp (VF n ) Suppose that G F is locally integrable over F n for each F ∈ Loc ′ ≫1 . Then, for each F ∈ Loc ′ ≫1 , we can consider G F as a distribution on F n . For each F ∈ Loc ′ ≫1 , let Y F be the locus where G F is locally constant. Note that in general the collection Y F for F ∈ Loc ′ ≫1 is not a definable set at all. For example, one can take n = 3 and G F (x, y, z) = (q ord x F − ord y) ord z for nonzero (x, y, z) ∈ F 3 , extended by 0. Nevertheless, the smooth locus of G F is precisely Y F . It would be interesting to characterise exactly the sets that can appear as the sets of smooth points, and as the sets of Λ-micro-locally smooth points. So far, we know by Theorem 3.4.1 that they are zero loci of functions of C exp -class (with conic structure).
Also, it would be interesting, for wave front sets of special distributions, to check whether they are definable sets, like for push-forwards under polynomial mappings of smooth distributions, their Fourier transforms, etc. Note that the wave front set of a push-forward of a smooth distribution under a polynomial mapping f is contained in N f by Theorem 2.9.6 and that N f itself is a definable set.

WF-holonomicity
4.1. In this section we elaborate on a notion of algebraic WF-holonomicity introduced by Aizenbud and Drinfeld in [2]. We rephrase a question by Aizenbud and Drinfeld for future research, based on Remark 3.2.2 and the surrounding text of [2], and we make a first step in its direction in Theorem 4.1.2.
We first adapt the definition of [2, Section 3.2, 3.2.1 and 3.2.2] of algebraic WF-holonomicity, to the situation of any non-archimedean local field F (of arbirary characteristic).
Say that a Zariski closed subset C of A n has dimension −∞ if it is empty, and has dimension i for some i ≥ 0 when one of the irreducible components of C has dimension i and any irreducible component of C has dimension ≤ i. Definition 4.1.1. Let F be in Loc and let X ⊂ F m be a strict C 1 variety of dimension n. Let u be a distribution on X, and let WF(u) be its F × -wave front set.
Say that u is algebraically WF-holonomic if X = X (F ) for some smooth subvariety X of A m F and there are finitely many smooth locally closed subvarieties where CN X Y i is the co-normal bundle of Y i ⊂ X . Say that u is F -analytically WF-holonomic if X is an F -analytic submanifold of F m and there are finitely many F -analytic submanifolds Y i of X such that WF(u) is contained in the union over i of the co-normal bundles Say that u is strictly C 1 WF-holonomic if there are finitely many strict C 1 subvarieties Y i of X such that WF(u) is contained in the union of the co-normal bundles CN X Y i of Y i ⊂ X.
In [2], the question is considered when the Fourier transform of a WFholonomic distribution is again a WF-holonomic distribution, and for some distributions this property is shown. These distributions of [2] are all of C exp -class (up to working with charts to make the varieties affine), and it seems sensible to explore the mentioned question of [2] in the context of distributions of C exp -class, where more geometric tools are available than for abstract distributions, and which are stable under Fourier transforms by Theorem 3.3.5. The following generalization of Theorem A of [2] to general distributions of C exp -class may be a first step towards this question.
Theorem 4.1.2. Any C exp -class distribution is smooth on the complement of a proper Zariski closed subset. In more detail, let Y and W ⊂ Y × VF m be definable sets for some m ≥ 0 such that W F,y is a strict C 1 manifold of dimension n for each F , each y ∈ Y F and some n ≤ m. Let E be in C exp (W × Z). Then there are G in C exp (W ) and a definable set C ⊂ Y × VF m such that for each F in Loc ′ ≫1 and for each y ∈ Y F , the set C F,y is Zariski closed in F m of dimension at most n − 1, the function G F (y, ·) is locally constant on W F,y \ C F,y , and, for y ∈ Dis(E, Y ) F , the distribution u F,y associated to E F,y is smooth on W F,y \ C F,y and moreover represented by G F (y, ·) on W F,y \C F,y . Moreover, in the case that Y is a definable subset of VG N × RF N N for some N ≥ 0, there is a single Zariski closed subset C of A m Z such that one can take for the C F,y the set C(F ) (independently from y).
Proof. Let G be in C exp (W ) such that G F (y, x) equals the limit for r → ∞ of q nr F · E F (y, x, r) whenever this limit exists in C. Here, F runs over Loc ′ ≫1 , y over Y F , and x over W F,y . Such G exists by Theorem 3.1.3(2) of [5]. By Theorem 4.4.3 of [6], the remark below its proof, by using charts (as at the end of the proof of Theorem 3.4.1), and by quantifier elimination result in the generalized Denef-Pas language from [19], there is a definable set C 1 ⊂ Y × VF m such that for every F ∈ Loc ′ ≫1 and every y ∈ Y F , the set C 1,F,y is Zariski closed in F m , has dimension at most n − 1, and such that G F (y, ·) is locally constant on W F,y \ C 1,F,y . Similarly, there is a definable set C 2 ⊂ Y × VF m such that for every F ∈ Loc ′ ≫1 and every y ∈ Y F , the set C 2,F,y is Zariski closed in F m , has dimension at most n − 1, and such that the function sending r ≫ 1 to E F (y, x, r) is locally independent of x in W F,y \ C 2,F,y . By additivity of distributions (and since E F,y is a B-function), this implies, for y ∈ Dis(E, Y ) F , x ∈ W F,y \ C 2,F,y and for sufficiently large r, that E F (y, x, r + 1) = q n F · E F (y, x, r), and hence the above limit for r → ∞ exists for all x ∈ W F,y \ C 2,F,y . Now take C F,y to be the union of C 1,F,y and C 2,F,y to finish the proof, where the final simplified form for the C f,y follows again from the valued field quantifier elimination in the generalized Denef-Pas language from [19].

4.2.
Loci, their complements, and dimension. Note that C exp -loci (and also complements of C exp -loci) are more general than definable sets, and that their study is more subtle than that of definable sets (the latter situation is well understood by the quantifier elimination result for definable sets in the generalized Denef-Pas language from [19], see also Theorem 5.1.2 of [6], generalizing [18] and [10]). We continue this section with a study of dimensions of C exp -loci and their complements.
Proposition-Definition 4.2.1 (Dimensions of loci). Let f be in C exp (VF n ). Fix F in Loc ′ ≫1 . Write A 1 ⊂ F n for the zero locus of f F , and, A 2 for the complement of A 1 in F n . Then there exist finitely many strict C 1 -submanifolds W i of F n such that A 1 (resp. A 2 ) equals i W i . Moreover, for each x ∈ W i for any i, there exists an open neighborhood U of x in F n such that W i ∩ U is L gDP (F )-definable. Let m be the maximum of the dimensions of the W i , then we call m the dimension of A 1 (resp. of A 2 ). Finally, the Zariski closure of i W i in F n has dimension m as well.
Proof. Given f and F , there are finitely many L gDP (F )-definable (that is, definable with parameters from F ) pieces D i ⊂ F n whose union equals F n , such that each D i is a strict C 1 manifold, and such that the restriction of f F to D i is locally constant. (This follows from cell decomposition and the definition of functions of C exp -class, and it requires F to be fixed.) Take Since f F is locally constant on D i , and since D i is a strict C 1 manifold, the W i are clearly strict C 1 submanifolds. Similarly, for any x ∈ W i , one clearly has that there exists an open neighborhood U of x in F n such that W i ∩ U is definable. Again by the local constancy on D i , either W i is empty, or, the dimensions of D i and W i coincide. Since D i is L gDP (F )-definable, it is contained in a Zariski closed of the same dimension by the quantifier elimination result for definable sets in the generalized Denef-Pas language from [19]. Proposition 4.2.2. Let g be a function in C exp (X) for some definable set X ⊂ Y × VF ℓ , where Y is a definable set, and let k ≤ ℓ be given. For each F in Loc ′ ≫1 , write A F for the complement of the zero locus of g F in X F . For each y ∈ Y F , write Z F,y for the Zariski closure of A F,y in F ℓ . Then there exists a definable set C ⊂ Y × VF ℓ such that for each F in Loc ′ ≫1 and for each y ∈ Y F , the set C F,y is Zariski closed in F ℓ of dimension at most k, and if dim Z F,y ≤ k, then Z F,y ⊂ C F,y . In particular, the set of y for which we have dim Z F,y ≤ k is a C exp -locus.
Proof. We may assume that X = Y × VF ℓ , by extending g by 0 on (Y × VF ℓ ) \ X.
First note that the "in particular" part indeed follows from the remainder of the proposition: From Z F,y ⊂ C F,y ⇐⇒ dim Z F,y ≤ k, we obtain that dim Z F,y ≤ k iff g vanishes on the definable set F ℓ \ C F,y . The set of y for which this holds is a C exp -locus by [ In the case k = ℓ − 1, we use Theorem 4.4.3 of [6] and the remark below its proof to find a definable set C ⊂ Y × VF ℓ such that for every F ∈ Loc ′ ≫1 and every y ∈ Y F , the set C F,y is Zariski closed in F ℓ , has dimension at most ℓ − 1, and contains the set of non-local constancy of g F,y . Then clearly, if Z F,y has dimension at most k, it is contained in C F,y .
For k < ℓ − 1, we use the case k = ℓ − 1 to find a definable set C ℓ−1 ⊂ Y ×VF ℓ and one finishes the proof by induction on ℓ, by using the restriction of g to C ℓ−1 and charts on C ℓ−1 which are coordinate projections (as at the end of the proof of Theorem 3.4.1), and using the quantifier elimination result in the generalized Denef-Pas language from [19] to get to definable sets which are Zariski closed as desired.

4.3.
Holonomicity. The following result relates to Remark 3.2.2 of [2], and is about witnessing algebraic holonomicity. Its first part states that given a family of distributions u F,y , the set of F and y such that u F,y is strict C 1 WF-holonomic is a locus sets. Further, the u F,y that are WFholonomic are even "uniformly algebraically WF-holonomic" in the sense that their wave front sets are contained in a finite union of the co-normal bundles of uniformly definable algebraic submanifolds. Finally, it says that, for C exp -class distributions, to be algebraically WF-holonomic is essentially the same as being strict C 1 WF-holonomic. Proposition 4.3.1. Let Y and W ⊂ Y ×VF n be definable sets for some n ≥ 0. Let E be in C exp (W ×Z). For each F in Loc ′ ≫1 and each y ∈ Dis(E, Y ) F , denote the distribution on W F,y associated to E F,y by u F,y . Define the sets, for F in Loc ′ ≫1 , Hol(E, Y ) F := {y ∈ Y F | y ∈ Dis(E, Y ) F and u F,y is strict C 1 WF-holonomic}.
Then Hol(E, Y ) is a C exp -locus. Moreover, there exist finitely many definable subsets X i ⊂ W such that for each F in Loc ′ ≫1 and each y ∈ Dis(E, Y ) F , each X i,F,y is the set of F -rational points on a smooth locally closed subvariety of A n F , X 0,F,y has the same dimension as W F,y , X 0,F,y contains both W F,y and the X i,F,y , and, u F,y is strict C 1 WF-holonomic if and only if the F × -wave front set of u F,y is contained in i CN X 0,F,y X i,F,y .
Hence, for any F in Loc ′ ≫1 and any y ∈ Dis(E, Y ) F , the distribution u F,y on W F,y is strict C 1 WF-holonomic if and only if it can be extended to an algebraically WF-holonomic distribution on X (F ) ⊃ W F,y for some smooth algebraic subvariety X of A n F of the same dimension as W F,y . Proof. By Theorem 3.4.1, Smo(Λ, E, Y ) is a C exp -locus, say, given as the locus of g ∈ C exp (W × VF n ). We may suppose that the dimension of W F,y equals k for each F and each y ∈ Dis(E, Y ) F . Let C be as in Proposition 4.2.2 for g and k, and, let C 0 be as in Proposition 4.2.2 for the characteristic function of W and k. By Proposition 4.2.1, Chevalley's theorem and valued field quantifier elimination in the generalized Denef-Pas language, there are finitely many definable sets X i as postulated in the proposition. Namely, each X i,F,y equals the set of F -rational points on a locally closed smooth submanifold of A n F of dimension at most k, and, for each F and each y ∈ Dis(E, Y ) F , the set X 0,F,y contains both W F,y and the X i,F,y , and, u F,y is strict C 1 WF-holonomic if and only if WF(u F,y ) is contained in i CN X 0,F,y X i,F,y .
By the formalism of [5, Proposition 1.3.1], this condition corresponds to a C exp -locus which finishes the proof.
We now get a transfer principle for WF-holonomicity. Corollary 4.3.2 (Transfer Principle for WF-holonomicity). Let data and notation be as in Proposition 4.3.1. Then there is M such that for all F 1 , F 2 ∈ Loc M with isomorphic residue fields, one has that Proof. By Proposition 4.3.1, to be WF-holonomic is a C exp -locus condition. By Proposition 9.2.1 of [9], one has transfer for any C exp -locus condition.
Remark 4.3.3. All results, statements and definitions of Sections 3 and 4 (modulo adaptations in the parts concerning algebraic varieties) hold when one consequently replaces L gDP by an enrichment obtained by adding some analytic structure as in [7], [8] to L gDP . Similarly, one can put additional structure on the residue rings R n , and, one can add constants for a ring of integers O of a number field in the sort VF and work uniformly in all finite field extensions of completions of the fraction field of O. Indeed, this corresponds to Remark A.3 of [5] and Section 4.7 of [6].

Discriminants and Schwartz-Bruhat functions
5.1. Let X be a smooth projective variety defined over Q. By abuse of notation we consider X as a definable set by taking for X F the set of Frational points X(F ) on X for all F in Loc ≫1 . More precisely there exists a finite family of definable sets X i , 1 ≤ i ≤ n, such that for any F in Loc ≫1 , X(F ) = i X i,F and each X i,F is open in X(F ). Consider a definable function d with, for each F ∈ Loc ≫1 , satisfying that d F (x, x ′ ) = +∞ if and only if x = x ′ , d F (x, x ′ ) = d F (x ′ , x) and d F (x, z) ≥ min(d F (x, y), d F (y, z)). For any x 0 ∈ X(F ) and any integer m, we denote by B F,x 0 ,m the subset of X(F ) consisting of points x such that d F (x, x 0 ) ≥ m, and we call such a set a ball of valuative radius m in X(F ). We call d a definable (valuative) metric on X if, for all F ∈ Loc ≫1 , all the balls B F,x 0 ,m are open and if they generate the valuation topology on X(F ). Assume now that d is a definable metric on X. Fix now an affine function λ : N × N → N with positive coefficients. We denote by S m λ (X(F ), D(F )) the set of functions on X(F ) \ D(F ) whose restriction to X(D(F ), ε) belongs to S λ(ε,m) (X(D(F ), ε)), for any ε. Furthermore, we denote by S m λ (X, D) the set of functions ϕ in C exp (X \ D) such that ϕ F lies in S m λ (X(F ), D(F )) for each F ∈ Loc ′ ≫1 . 5.3. Let f : X → Y be a morphism of smooth projective varieties defined over Q. Fix a definable valuative metric d ′ on Y . We denote by ∆ f the discriminant of f : X → Y , that is, the smallest closed subset Z of Y such that the restriction of the morphism f to X \ f −1 (Z) → Y \ Z is smooth. For F ∈ Loc ≫1 we write f F : X(F ) → Y (F ) for the corresponding map between sets of F -rational points.
Let D be a divisor in X and let ω be an algebraic volume form on X 0 = X \ D. Let D ′ be a divisor in Y containing f (D) and the discriminant ∆ f . Let ω ′ be an algebraic volume form on Y 0 = Y \ D ′ .
For ϕ a bounded function on X 0 (F ), one denotes the function It is easy to prove (using partitions of unity, the definable, strict C 1 Sard Lemma and Fubini) that if ϕ is locally constant on X 0 (F ) then f F,! (ϕ) is locally constant on Y 0 (F ), see e.g. Prop. 3.3.1 of [1].
Theorem 5.3.1. Let f : X → Y be a morphism of smooth projective varieties over Q. Suppose that both, X and Y , are equipped with a definable metric. Let D be a divisor in X and let ω be an algebraic volume form on X 0 = X \ D. Let D ′ be a divisor in Y containing f (D) and the discriminant ∆ f . Let ω ′ be an algebraic volume form on Y 0 = Y \ D ′ . For any affine function λ : N × N → N with positive coefficients, there exists an affine function µ : N × N → N with positive coefficients, such that for any integer m and for any ϕ ∈ S m λ (X, D), f ! (ϕ) belongs to S m µ (Y, D ′ ). Proof. For x ∈ X and r ∈ Z write 1 x,r for the characteristic function of the ball B x,r in X containing x and of valuative radius r. Write Y ε for the definable set Y \ T (D ′ , ε) and write g(x, ·, r, ε) for the restriction of f ! (1 x,r ) := (f !,F (1 F,x,r )) F to Y ε . Note that by the stability under integration given by Theorem 4.1.1 of [6], f ! (1 x,r ) is of C exp -class. By [5,Corollary 1.4.3], there is a definable function α : X × Y ε × Z 2 → Z such that the restriction to B y 0 ,α(x,y 0 ,r,ε) of y → g(x, y, r, ε) is constant for any (x, y 0 , r, ε) in X × Y ε . Here, B y 0 ,α(x,y 0 ,r,ε) is the ball in Y of radius α(x, y 0 , r, ε) around y 0 . Clearly, we may suppose that α is continuous as a function in y. But then, by local compactness, it attains a finite maximum β(x, r, ε) := max y∈Yε α(x, y, r, ε).
Clearly, β is definable and we may suppose that it is continuous as a function in x. Again by compactness, it attains a finite maximum γ(r, ε) := max x∈X β(x, r, ε).
Clearly γ is definable, and hence, bounded by a linear function µ in (ε, r), which is as desired.