Related papers: A counterexample concerning quantifier elimination…
We introduce the notion of quasi-log complex analytic spaces and establish various fundamental properties. Moreover, we prove that a semi-log canonical pair naturally has a quasi-log complex analytic space structure. This paper is part of…
Consider quasianalytic local rings of germs of smooth functions closed under composition, implicit equation, and monomial division. We show that if the Weierstrass Preparation Theorem holds in such a ring then all elements of it are germs…
We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Koll\'ar injectivity theorems for proper morphisms of schemes of equal characteristic zero, solving conjectures of Boutot and Kawakita. Our proof uses…
It is shown that the free energy associated to a finite dimensional Airy structure is an analytic function at each finite order of the $\hbar$ expansion. Semiclassical series itself is in general divergent. Calculations are facilitated by…
Let $\mathrm{R}$ be a real closed field. Given a closed and bounded semi-algebraic set $A \subset \mathrm{R}^n$ and semi-algebraic continuous functions $f,g:A \rightarrow \mathrm{R}$, such that $f^{-1}(0) \subset g^{-1}(0)$, there exist $N$…
In this paper we show that the equivalences between certain properties of closed subanalytic sets proved by E. Bierstone and P. Milman in \cite{[BM-1]} hold for closed sets definable in quasianalytic o-minimal structures. In particular we…
It is shown that Denjoy-Carleman quasi analytic rings of germs of functions in two or more variables either complex or real valued that are stable under derivation and strictly larger than the ring of real-analytic germs are not Noetherian…
The Borel mapping takes germs at $0$ of smooth functions to the sequence of iterated partial derivatives at $0$. We prove that the Borel mapping restricted to the germs of any quasianalytic ultradifferentiable class strictly larger than the…
Let $\mathcal{E}_1(M)^+$ be the local ring of germs at 0 of functions belonging to a given Denjoy-Carleman quasianalytic class in a neighborhood of 0 in $[0,+\infty[$. We show that the ring $\mathcal{E}_1(M)^+$ contains elements that cannot…
The Borel map $j^{\infty}$ takes germs at 0 of smooth functions to the sequence of iterated partial derivatives at 0. It is well known that the restriction of $j^{\infty}$ to the germs of quasianalytic ultradifferentiable classes which are…
We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…
In arXiv:1303.3724, the authors provide an axiomatic way of constructing new polynomially bounded o-minimal structures. However, all of the structures satisfying these axioms must also have smooth cell-decomposition. In this paper, we…
In [O. Le Gal, J.-P. Rolin. An o-minimal structure which does not admit $C^\infty$ cellular decomposition. In: Ann. Inst. Fourier 59 (2009), pp 543-562], the authors construct an o-minimal structure which does not admit smooth…
It is well known that the non-spiraling leaves of real analytic foliations of codimension 1 all belong to the same o-minimal structure. Naturally, the question arises if the same statement is true for non-oscillating trajectories of real…
Consider a class of functions of one real variable with the following uniqueness property: if a function f(x) from the class vanishes on a set of positive measure, then f is the zero function. In many instances, we would like to have a…
We discuss the quasianalytic properties of various spaces of functions suitable for one-dimensional small divisor problems. These spaces are formed of functions C^1-holomorphic on certain compact sets K_j of the Riemann sphere (in the…
On real metric manifolds admitting a co-dimension one foliation, sectorial operators are introduced that interpolate between the generalized Laplacian and the d'Alembertian. This is used to construct a one-parameter family of analytic…
This paper is concerned with a non-compact GIT quotient of a vector space, in the presence of an abelian group action and an equivariant regular function (potential) on the quotient. We define virtual counts of quasimaps from prestable…
We show that the graph $$\Gamma_f=\{(z,f(z))\in{\Bbb C}^2: z\in S\}$$ in ${\Bbb C}^2$ of a function $f$ on the unit circle $S$ which is either continuous and quasianalytic in the sense of Bernstein or $C^\infty$ and quasianalytic in the…
We work with quasianalytic classes of functions. Consider a real-valued function y = f(x) on an open subset U of Euclidean space, which satisfies a quasianalytic equation G(x, y) = 0. We prove that f is arc-quasianalytic (i.e., its…