Related papers: Elementary Orbifold Differential Topology

As a higher dimensional version of the theory of Morse functions, there have been various studies of smooth manifolds using generic smooth maps. As fundamental results, in these studies, they have found that inverse images of such maps…

In [3] Borzellino and Brunsden started to develop an elementary differential topology theory for orbifolds. In this paper we carry on their project by defining a mapping degree for proper maps between orbifolds, which counts preimages of…

The moduli space of regular stable maps with values in a complex manifold admits naturally the structure of a complex orbifold. Our proof uses the methods of differential geometry rather than algebraic geometry. It is based on Hardy…

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct…

We prove that Allard's regularity theorem holds for rectifiable $n$-dimensional varifolds $V$ assuming a weaker condition on the first variation. This, in the special case when $V$ is a smooth manifold translates to the following: If…

Sard's theorem asserts that the set of critical values of a smooth map from one Euclidean space to another one has measure zero. A version of this result for infinite-dimensional Banach manifolds was proven by Smale for maps with Fredholm…

In this work we analysed the validity of a type of Borsuk-Ulam theorem for multimaps between surfaces. We developed an algebraic technique involving braid groups to study this problem for $n$-valued maps. As a first application we described…

Fold maps are higher dimensional versions of Morse functions, which play important roles in the studies of smooth manifolds, and such general maps also have been fundamental tools in the studies of smooth manifolds by using generic maps. In…

In this paper, we show that some fundamental results for smooth mappings (e.g., the Brouwer degree formula, the implicit function and inverse function theorems, the mean value theorem, Sard's theorem, Hadamard's global invertibility…

Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of topological properties of smooth manifolds. Round fold maps were introduced as stable fold…

Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of geometric properties of smooth manifolds. Round fold maps were introduced as stable fold maps…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

This is the first of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we define the maps in the more general context of orbispaces, and establish several basic results concerning the…

We give a complete classification of all simple current modular invariants, extending previous results for $(\Zbf_p)^k$ to arbitrary centers. We obtain a simple explicit formula for the most general case. Using orbifold techniques to this…

We construct pairs of compact Riemannian orbifolds which are isospectral for the Laplace operator on functions such that the maximal isotropy order of singular points in one of the orbifolds is higher than in the other. In one type of…

The purpose of this article is to investigate the relationship between suborbifolds and orbifold embeddings. In particular, we give natural definitions of the notion of suborbifold and orbifold embedding and provide many examples.…

Let (X, t, S) be a triple, where S is a compact, connected surface without boundary, and t is a free cellular involution on a CW-complex X. The triple (X, t, S) is said to satisfy the Borsuk-Ulam property if for every continuous map…

Let $N$ and $P$ be smooth closed manifolds of dimensions $n$ and $p$ respectively. Given a Thom-Boardman symbol $I$, a smooth map $f:N\to P$ is called an $\Omega^{I}$-regular map if and only if the Thom-Boardman symbol of each singular…

We prove that if the minors of degree $k$ of a Sobolev map $\mathbb{R}^d \to \mathbb{R}^d$ are smooth then the map is smooth, when $k,d$ are not both even. We use this result to derive a simple, self-contained proof of the famous Liouville…

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…