Related papers: Piecewise Weierstrass preparation and division for…
We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…
The first papers on o-minimal structures appeared in the mid 1980s, since then the subject has grown into a wide ranging generalisation of semialgebraic, subanalytic and subpfaffian geometry. In these notes we try to show that this is in…
Preordered semialgebras and semirings are two kinds of algebraic structures occurring in real algebraic geometry frequently and usually play important roles therein. They have many interesting and promising applications in the fields of…
Using a few basics from integration theory, a short proof of nowhere-differentiability of Weierstrass functions is given. Restated in terms of the Fourier transformation, the method consists in principle of a second microlocalisation, which…
In a former paper the first and third authors introduced the notion of direction set for a subset of R^n, and showed that the dimension of the common direction set of two subanalytic subsets, called directional dimension, is preserved by a…
We determine the Weierstrass semigroup at one and two totally ramified places in a Kummer extension defined by the affine equation $y^{m}=\prod_{i=1}^{r} (x-\alpha_i)^{\lambda_i}$ over $K$, the algebraic closure of $\mathbb{F}_q$, where…
Semistable reduction theorem for projective morphisms in the category of complex analytic spaces is established.
Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…
The paper is devoted to a comprehensive second-order study of a remarkable class of convex extended-real-valued functions that is highly important in many aspects of nonlinear and variational analysis, specifically those related to…
The purpose of this paper is to give a characterization for polynomials and rational functions which admit only non-negative values on definable sets in real closed valued fields. That is, generalizing the relative positivstellens\"atze for…
We construct Fourier transforms relating functions and distributions on finite height $p$-divisible rigid analytic groups and objects in a dual category of $\mathbb{Z}_p$-local systems with analyticity conditions. Our Fourier transforms are…
This work looks at the theory of octonionic slice regular functions through the lens of differential topology. It proves a full-fledged version of the Open Mapping Theorem for octonionic slice regular functions. Moreover, it opens the path…
Let $D$ be a domain in the complex plane, $M$ be an extended real function on $D$. If $f$ is a non-zero holomorphic function on $D$ with an upper constraint $|f|\leq \exp M$ on this domain $D$, then it is natural to expect that there must…
Many observables in quantum field theories are involved non-analytic functions of the parameters of the theory. However, it is expected that they are not arbitrarily wild, but rather have only a finite amount of geometric complexity. This…
The celebrated and famous Weierstrass approximation theorem characterizes the set of continuous functions on a compact interval via uniform approximation by algebraic polynomials. This theorem is the first significant result in…
Adapted pairs and Weierstrass sections are central to the invariant theory associated to the action of an algebraic Lie algebra a on a finite dimensional vector space X. In this a need not be a semisimple Lie algebra. Here their general…
We propose to grok Lipschitz stratifications from a non-archimedean point of view and thereby show that they exist for closed definable sets in any power-bounded o-minimal structure on a real closed field. Unlike the previous approaches in…
We study a fine hierarchy of Borel-piecewise continuous functions, especially, between closed-piecewise continuity and $G_\delta$-piecewise continuity. Our aim is to understand how a priority argument in computability theory is connected to…
We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting…
An argument of A.Borel shows that every compact connected Lie group is homeomorphic to the Cartesian product of its derived subgroup and a torus. We prove a parallel result for definably compact definably connected groups definable in an…