Related papers: On manifolds with corners
In conventional Differential Geometry one studies manifolds, locally modelled on ${\mathbb R}^n$, manifolds with boundary, locally modelled on $[0,\infty)\times{\mathbb R}^{n-1}$, and manifolds with corners, locally modelled on…
Manifolds with boundary and with corners form categories ${\bf Man}\subset{\bf Man^b}\subset{\bf Man^c}$. A manifold with corners $X$ has two notions of tangent bundle: the tangent bundle $TX$, and the b-tangent bundle ${}^bTX$. The usual…
We define categories of stratified manifolds (s-manifolds) and stratified manifolds with corners (s-manifolds with corners). An s-manifold $\bf X$ of dimension $n$ is a Hausdorff, locally compact topological space $X$ with a stratification…
In this paper we present another notion of a smooth manifold with corners and relate it to the commonly used concept in the literature. Afterwards we introduce complex manifolds with corners and show that if $M$ is a compact (respectively…
This is a long summary of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html . A shorter survey paper on the book, focussing on…
The purpose of this paper is to introduce a version of singular homology based on smooth mappings of manifolds with corners. Although variants of such a theory exists in the literature, we felt that certain points were not adequately…
In this first part of the paper, we define a natural dual object for manifolds with corners and show how pseudodifferential calculus on such manifolds can be constructed in terms of the localization principle in C*-algebras. In the second…
This paper contains a set of lecture notes on manifolds with boundary and corners, with particular attention to the space of quantum states. A geometrically inspired way of dealing with these kind of manifolds is presented,and explicit…
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…
If $X$ is a manifold then the set $C^\infty(X)$ of smooth functions $f:X\to\mathbb R$ is a $C^\infty$-ring, a rich algebraic structure with many operations. $C^\infty$-schemes are schemes over $C^\infty$-rings, a way of using…
Stable fold maps are fundamental tools in studying a generalized theory of the theory of Morse functions on smooth manifolds and its application to geometry of the manifolds. It is important to construct explicit fold maps systematically to…
We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…
Let $M$ be a compact smooth manifold with corners and $N$ be a finite dimensional smooth manifold without boundary which admits local addition. We define a smooth manifold structure to general sets of continuous mapings $\mathcal{F}(M,N)$…
A new scheme is proposed for dealing with the problem of singularities in General Relativity. The proposal is, however, much more general than this. It can be used to deal with manifolds of any dimension which are endowed with nothing more…
This is a survey of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html We introduce a 2-category dMan of "d-manifolds", new geometric…
Manifolds with fibered corners arise as resolutions of stratified spaces, in many body compactifications of vector spaces, moduli spaces, and other settings. We define a category of fibered corners manifolds which has products and…
We show that there is a fully faithful embedding of the category of manifolds with corners into the Cahiers topos, one of the premier models for Synthetic Differential Geometry. This embedding is shown to have a number of nice properties,…
For non-compact manifolds with boundary we prove that bounded geometry defined by coordinate-free curvature bounds is equivalent to bounded geometry defined using bounds on the metric tensor in geodesic coordinates. We produce a nice atlas…
The present paper mainly presents, for example, explicit classifications of compact smooth manifolds having non-empty boundaries and simple structures where the dimensions are general. Studies of this type is fundamental and important. They…
{\it Fold maps} are fundamental tools in generalizing the theory of Morse functions and its application to studies of geometric properties of manifolds. One of the fundamental and important problems in the theory of fold maps is to…