Related papers: Flattening and subanalytic sets in rigid analytic …

Let $k$ be a non-Archimedean field, $X$ a $k$-affinoid space and $f$ an analytic function over $X$. We precisely describe how the geometric connected components of the spaces $\{x \in X, |f(x)| \ge \varepsilon\}$ behave with regards to…

For a subfield K of C, we denote by C^K the category of algebras of functions defined on the globally subanalytic sets that are generated by all K-powers and logarithms of positively-valued globally subanalytic functions. For any function f…

Semilinear maps are a generalization of linear maps between vector spaces where we allow the scalar action to be twisted by a ring homomorphism such as complex conjugation. In particular, this generalization unifies the concepts of linear…

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a…

Let K be an algebraic number field of degree d and discriminant D over Q. Let A be an associative algebra over K given by structure constants such that A is isomorphic to the algebra M_n(K) of n by n matrices over K for some positive…

We study a reduct L\ast of the ring language where multiplication is restricted to a neighbourhood of zero. The language is chosen such that for p-adically closed fields K, the L\ast-definable subsets of K coincide with the semi-algebraic…

On a real ($\mathbb F=\mathbb R$) or complex ($\mathbb F=\mathbb C$) analytic connected 2-manifold $M$ with empty boundary consider two vector fields $X,Y$. We say that $Y$ {\it tracks} $X$ if $[Y,X]=fX$ for some continuous function…

Let G be a profinite group which is topologically finitely generated, p a prime number and d an integer. We show that the functor from rigid analytic spaces over Q_p to sets, which associates to a rigid space Y the set of continuous…

On a smooth algebraic variety over $\mathbb{C}$, we build the tempered subanalytic and Stein tempered subanalytic sites. We construct the sheaf of holomorphic functions tempered at infinity over these sites and study their relations with…

Let $\mathrm{R}$ be a real closed field. We prove that for any fixed $d$, the equivariant rational cohomology groups of closed symmetric semi-algebraic subsets of $\mathrm{R}^k$ defined by polynomials of degrees bounded by $d$ vanishes in…

Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational…

Let A be an associative algebra with identity over a field k. An atomistic subsemiring R of the lattice of subspaces of A, endowed with the natural product, is a subsemiring which is a closed atomistic sublattice. When R has no zero…

The paper concerns uniform Yomdin-Gromov parametrizations together with an estimate of their number, which generalizes a theorem by Cluckers-Forey-Loeser to arbitrary equicharacteristic zero valued fields with analytic structure. To this…

I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…

We show that a certain simply-stated notion of "analytic completeness" of the image of a real analytic map implies the map admits no analytic extension. We also give a useful criterion for that notion of analytic completeness by defining…

Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…

These notes constitute a survey on the geometric properties of globally subanalytic sets. We start with their definition and some fundamental results such as Gabrielov's Complement Theorem or existence of cell decompositions. We then give…

Let $\mathbf{K}$ be an algebraically closed field of arbitrary characteristic, complete with respect to a non-archimedean absolute value $|\,|$. We establish a Second Main Theorem type estimate for analytic map $f\colon…

We prove that the first derived analytic vectors of the subring of Fontaine's period ring $\mathbf{B}_e$ stable under the kernel of the cyclotomic character are non-zero. Subsequently we compute their analytic cohomology. We also give a…

Given a finite number of samples of a continuous set-valued function F, mapping an interval to non-empty compact subsets of $\mathbb{R}^d$, $F: [a,b] \to K(\mathbb{R}^d)$, we discuss the problem of computing good approximations of F. We…