• Corpus ID: 115162803

On manifolds with corners

  title={On manifolds with corners},
  author={dominic. joyce},
  journal={arXiv: Differential Geometry},
  • D. joyce
  • Published 19 October 2009
  • Mathematics
  • arXiv: Differential Geometry
Manifolds without boundary, and manifolds with boundary, are universally known in Differential Geometry, but manifolds with corners (locally modelled on [0,\infty)^k x R^{n-k}) have received comparatively little attention. The basic definitions in the subject are not agreed upon, there are several inequivalent definitions in use of manifolds with corners, of boundary, and of smooth map, depending on the applications in mind. We present a theory of manifolds with corners which includes a new… 

Figures from this paper

$C^\infty$-algebraic geometry with corners
If X is a manifold then the set C∞(X) of smooth functions f : X → R is a C∞-ring, a rich algebraic structure with many operations. C∞schemes are schemes over C∞-rings, a way of using
Generalized blow-up of corners and fiber products
Radial blow-up, including inhomogeneous versions, of boundary faces of a manifold (always with corners) is an important tool for resolving singularities, degeneracies and competing notions of
On the Differentiation Lemma and the Reynolds Transport Theorem for Manifolds with Corners
We state and prove generalizations of the Differentiation Lemma and the Reynolds Transport Theorem in the general setting of smooth manifolds with corners (e.g. manifolds with or `without' boundary,
Parametrized and Functional Differential Geometry
The aim of this chapter is to present flexible tools to do differential geometry on spaces of fields, i.e., on spaces of “functions” between generalized “spaces”. We choose here a viewpoint that is
Moduli Spaces: An introduction to d-manifolds and derived differential geometry
This is a survey of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at this http URL We introduce a 2-category dMan of "d-manifolds", new
Transversality theorem in highly relative situations and its application
In this paper, we aim to provide a notion of "relative objects", i.e. objects equipped with some sort of subobjects, in differential topology. In spite of active researches relating them, e.g. knot
D-manifolds, d-orbifolds and derived differential geometry: a detailed summary
This is a long summary of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at this http URL . A shorter survey paper on the book, focussing on
Log differentiable spaces and manifolds with corners
We develop a general theory of log spaces, in which one can make sense of the basic notions of logarithmic geometry, in the sense of Fontaine-Illusie-Kato. Many of our general constructions with log
C-infinity algebraic geometry with corners
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
Lagrangian distributions on asymptotically Euclidean manifolds
We develop the notion of Lagrangian distribution on a scattering manifold X. The latter is a manifold with boundary, with the boundary being viewed as points “at infinity.” In analogy with the


Derived smooth manifolds
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
On the Classification of Regular O(n)-Manifolds in Terms of their Orbit Bundles
If one wishes to classify or at least to understand better some large class of mathematical objects, it is often useful to study how they can be built from a comparatively small collection of more
Groupoids and pseudodifferential calculus on manifolds with corners
We associate to any manifold with corners (even with non-embedded hyperfaces) a (non-Hausdorff) longitudinally smooth Lie groupoid, on which we define a pseudodifferential calculus. This calculus
This work sets up a cobordism theory for manifolds with corners and gives an identication with the homotopy of a certain limit of Thom spectra. It thereby creates a geometrical interpretation of
Open-closed strings: Two-dimensional open-closed TQFTs and knowledgeable Frobenius algebras
Abstract We study a special sort of 2-dimensional extended Topological Quantum Field Theories (TQFTs). These are defined on open–closed cobordisms by which we mean smooth compact oriented 2-manifolds
This paper is to propose solutions to selected exercises in Differential Topology by Guillemin and Pollack, [1], and to comment on certain proofs in the book. Although the sections covered in this
On differentiable manifolds
1 Differentiable manifolds and smooth maps 2 1.1 Coordinates on familiar spaces. Examples. . . . . . . . . . . . 2 1.2 Definition of a manifold. . . . . . . . . . . . . . . . . . . . . . 4 1.3 Smooth
A general Fredholm theory I: A splicing-based differential geometry
This is the first paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. These spaces, in general, are locally not homeomorphic to open sets in
Lagrangian intersection floer theory : anomaly and obstruction
Part I Introduction Review: Floer cohomology The $A_\infty$ algebra associated to a Lagrangian submanifold Homotopy equivalence of $A_\infty$ algebras Homotopy equivalence of $A_\infty$ bimodules