Related papers: A subanalytic triangulation theorem for real analy…

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…

An orbifold version of Bogomolov decomposition theorem is established for compact K\"ahler spaces with quotient singularities and first Chern class zero.The proof is a direct adaptation of the classical smooth case, using Ricci-flat…

Near every point of a real-analytic set in $\mathbb R^n$, we make use of Hironaka's resolution of singularity theorem to construct a family of continuous functions in $W^{1, 1}_{loc}$ such that their weak derivatives have (removable)…

We discuss the problem of classifying birational extremal contractions of smooth threefolds where the canonical bundle is trivial along the curves contracted, in the case when a divisor is contracted to a point. We prove the analytic…

A {\em $k$-trinitary algebra} is any subalgebra of the space of smooth functions $f: M \to {\mathbb R}$ that is distinguished in this space by $k$ independent conditions of the form $f(x_i) = f(\tilde x_i) = f(\hat x_i)$, where $x_i, \tilde…

We show that a projective triangulation of a subcomplex of a polyhedral complex can be extended to the whole complex. As a result, we show that the weak semistable reduction result of Abramovich - Karu alg-geom/9707012 can be refined, so…

We show that any surface of infinite type admits an ideal triangulation. Furthermore, we show that a set of disjoint arcs can be completed into a triangulation if and only if, as a set, they intersect every simple closed curve a finite…

Assuming projective determinacy, we extend Spector's strong version of the Spector-Gandy Theorem to all odd levels of the projective hierarchy: Theorem. For every space $X$ which is a finite product of the natural numbers $N$ and Baire…

We construct Morse-Smale-Witten complex for an effective orientable orbifold. For a global quotient orbifold, we also construct a Morse-Bott complex. We show that certain type of critical points of a Morse function has to be discarded to…

We introduce the concept of pseudo-trisections of smooth oriented compact 4-manifolds with boundary. The main feature of pseudo-trisections is that they have lower complexity than relative trisections for given 4-manifolds. We prove…

Given a quasi-smooth Berkovich curve $X$ admitting a finite triangulation, finitely many disjoint open annuli $A_1,\dots,A_n$ in $X$ that are not precompact, and for each $i=1,\dots, n$, an analytic function $f_i$ (resp. differential form…

An almost complex structure J on a 4-manifold X may be described in terms of a rank 2 vector bundle E. A splitting of J consists of a pair of line bundles spanning E. A hypersurface M in X satisfying a nondegeneracy condition inherits a…

We show that a compact, complex analytic space $X$ has a bimeromorphic orbifold modification that is an isomorphism over the locally trivial orbifold locus of $X$.

We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…

Let $X$ be a completely regular topological space. We assign to each (set theoretic) ideal of $X$ an (algebraic) ideal of $C_B(X)$, the normed algebra of continuous bounded complex valued mappings on $X$ equipped with the supremum norm. We…

It is shown that every C-semianalytic arc-symmetric set can be realized as the zero locus of an arc-analytic function. As a consequence, a Nash globally subanalytic arc-symmetric set is the zero locus of a continuous globally-subanalytic…

We prove classical Taylor polynomial theorems for sub-Riemannian manifolds that are obtained as the submetric image of a Carnot group. For these theorems we also prove a sufficient condition for real analyticity and a result on…

This work concludes a series of four papers on the foundational theory of orbifolds and stacks. We apply the abstract theory, developed in its predecessors, to orbifolds derived from manifolds. Specifically, we show how the very concrete…

In this paper, it is shown that a topological space $X$ is compact iff every maximal ideal of the power set ring $\mathcal{P}(X)$ converges to exactly one point of $X$. Then as an application, simple and ring-theoretic proofs are provided…

Let M be a (possibly non-orientable) compact 3-manifold with (possibly empty) boundary consisting of tori and Klein bottles. Let $X\subset\partial M$ be a trivalent graph such that $\partial M\setminus X$ is a union of one disc for each…