Related papers: Tameness of complex dimension in a real analytic s…

Let $X$ be a real algebraic variety with set of complex points $X_{\mathbb C}$ and set of real points $X_{\mathbb R}$. A complex slice of $X$ is a transverse intersection of $X_{\mathbb R}$ with a complex subvariety $V$ of $X_{\mathbb C}$.…

Let $A$ be a subset of positive relative upper density of $\PP^d$, the $d$-tuples of primes. We prove that $A$ contains an affine copy of any finite set $F\subs\Z^d$, which provides a natural multi-dimensional extension of the theorem of…

Let $\Omega$ be a bounded, weakly pseudoconvex domain in C^n, n > 1, with real-analytic boundary. A real-analytic submanifold $M \subset bd\Omega$ is called an analytic interpolation manifold if every real-analytic function on M extends to…

It is known that every germ of an analytic set is homeomorphic to the germ of an algebraic set. In this paper we show that the homeomorphism can be chosen in such a way that the analytic and algebraic germs are tangent with any prescribed…

Let $\RR$ be a real closed field (e.g. the field of real numbers) and $\mathscr{S} \subset \RR^n$ be a semi-algebraic set defined as the set of points in $\RR^n$ satisfying a system of $s$ equalities and inequalities of multivariate…

Let (G, *) be a semigroup, D subset of G, and n >= 2 be an integer. We say that (D, *) is an n-closed subset of G if a_1* ... *a_n in D for every a_1, ..., a_n in D. Hence every closed set is a 2-closed set. The concept of n-closed sets…

Given a complex analytic function f on a Whitney stratified complex analytic variety of complex dimension n, whose real part Re(f) is Morse, we prove the existence of a stratified gradient-like vector field for Re(f) such that the unstable…

An important theorem by Timofte states that nonnegativity of real $n$-variate symmetric polynomials of degree $d$ can be decided at test sets given by all points with at most $\lfloor\frac{d}{2}\rfloor$ distinct components. However, if the…

The quotient set, or ratio set, of a set of integers $A$ is defined as $R(A) := \left\{a/b : a,b \in A,\; b \neq 0\right\}$. We consider the case in which $A$ is the image of $\mathbb{Z}^+$ under a polynomial $f \in \mathbb{Z}[X]$, and we…

Let G be a commutative algebraic group over Q. Let Gamma be a subgroup of G(Q) contained in the union of the compact subgroups of G(Q_p). We formulate a guess for the dimension of the closure of Gamma in G(Q_p), and show that its…

We give a complete characterization of compact sets with positive reach (=proximally $C^1$ sets) in the plane and of one-dimensional sets with positive reach in ${\mathbb R}^d$. Further, we prove that if $\emptyset \neq A\subset{\mathbb…

We prove a conjecture of Denef on parameterized $p$-adic analytic integrals using an analytic cell decomposition theorem, which we also prove in this paper. This cell decomposition theorem describes piecewise the valuation of analytic…

Let $f:\mathbb{K}^n\rightarrow\mathbb{K}^m$ be a generically finite polynomial map of degree $d$ between affine spaces. In arXiv:1411.5011 we proved that if $\mathbb{K}$ is the field of complex or real numbers, then the set $S_f$ of points…

In this short Note we show that the direct image sheaf R 1 $\pi$ * (O X) associated to an analytic family of compact complex manifolds $\pi$ : X $\rightarrow$ S parametrized by a reduced complex space S is a locally free (coherent) sheaf of…

We prove the following Artin type approximation theorem for smooth CR mappings: given M a connected real-analytic CR submanifold in C^N that is minimal at some point, M' a real-analytic subset of C^N', and H:M->M' a smooth CR mapping, there…

We consider the problem of computing sample points in each connected component of a semi-algebraic set defined by the non-vanishing or the positivity of an n-variate polynomial of degree d, with rational coefficients of bit size bounded by…

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…

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 $k \ge 2$ be an integer. We say a set $A$ of positive integers is an asymptotic basis of order $k$ if every large enough positive integer can be represented as the sum of $k$ terms from $A$. A set of positive integers $A$ is called…

The special case of closed subsets of C^n is briefly discussed.