Related papers: A quasianalytic class with weakly smooth germs

This paper studies compactifications of moduli spaces involving closed Riemann surfaces. The first main result identifies the homeomorphism types of these compactifications. The second main result introduces orbicell decompositions on these…

In this paper we introduce a new homology theory devoted to the study of families such as semi-algebraic or subanalytic families and in general to any family definable in an o-minimal structure (such as Denjoy-Carleman definable or $ln-exp$…

In continuous logic, there are plenty of examples of interesting stable metric structures. However, on the other side of the SOP line, there are only a few metric structures where order is relevant, and orders often appear in different…

We establish a surprising correspondence between groups definable in o-minimal structures and linear algebraic groups, in the nilpotent case. It turns out that in the o-minimal context, like for finite groups, nilpotency is equivalent to…

We present a contribution to the structure theory of locally compact groups. The emphasis is on compactly generated locally compact groups which admit no infinite discrete quotient. It is shown that such a group possesses a characteristic…

This unpublished note is an alternate, shorter (and hopefully more readable) proof of the decidability of all minimal models. The decidability follows from a proof of the existence of a cellular term in each observational equivalence class…

We consider the Riemann Mapping Theorem in the case of a bounded simply connected and semianalytic domain. We show that the germ at 0 of the Riemann map (i.e. biholomorphic map) from the upper half plane to such a domain can be realized in…

The notion of almost elementariness for a locally compact Hausdorff \'{e}tale groupoid $\mathcal{G}$ with a compact unit space was introduced by the authors as a sufficient condition ensuring the reduced groupoid $C^*$-algebra…

We demonstrate that an expansion of a semi-bounded o-minimal expansion of the ordered group of reals by an increasing geometric progression is locally o-minimal.

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…

Searching normal forms for real analytic submanifolds of C^n involves convergence problems. In 1983, J.K. Moser and S.M. Webster provided examples of real analytic surfaces in C^2 having an isolated hyperbolic (in the sense of E. Bishop)…

In this paper we study the Bruhat decomposition of not necessarily connected reductive quasi-split groups $G$ with respect to not necessarily connected parabolic subgroups. If $G$ is defined over a finite field, we construct a smooth…

Fix a weakly minimal (i.e., superstable $U$-rank $1$) structure $\mathcal{M}$. Let $\mathcal{M}^*$ be an expansion by constants for an elementary substructure, and let $A$ be an arbitrary subset of the universe $M$. We show that all…

We construct a lattice cohomology ${\mathbb H}^*(C,o)=\oplus_{q\geq 0}{\mathbb H}^q(C,o)$ and a graded root ${\mathfrak R}(C,o)$ to any complex isolated curve singularity $(C,o)$. Each ${\mathbb H}^q(C,o)$ is a ${\mathbb Z}$-graded…

We study the geometry of infinitely presented groups satisfying the small cancelation condition C'(1/8), and define a standard decomposition (called the criss-cross decomposition) for the elements of such groups. We use it to prove the…

Quasianalytic classes are classes of infinitely differentiable functions that satisfy the analytic continuation property enjoyed by analytic functions. Two general examples are quasianalytic Denjoy-Carleman classes (of origin in the…

We give necessary and sufficient conditions of infinite determinacy for smooth function germs whose critical locus contains a given set. This set is assumed to be the zero variety X of some analytic map germ having maximal rank on a dense…

We demonstrate that pure C*-algebras form a robust class by proving that pureness follows from very weak comparison and divisibility properties. Using this, we show that every simple, non-elementary C*-algebra with a unique quasitrace and…

We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a…

We prove necessary and sufficient conditions for a smooth surface in a 4-manifold X to be pseudoholomorphic with respect to some almost complex structure on X. This provides a systematic approach to the construction of pseudoholomorphic…