# On manifolds with corners

@article{joyce2012OnMW, title={On manifolds with corners}, author={dominic. joyce}, journal={arXiv: Differential Geometry}, year={2012}, volume={21} }

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… Expand

#### Figures from this paper

#### 114 Citations

$C^\infty$-algebraic geometry with corners

- Mathematics
- 2019

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… Expand

Generalized blow-up of corners and fiber products

- Mathematics, Materials Science
- 2011

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… Expand

On the Differentiation Lemma and the Reynolds Transport Theorem for Manifolds with Corners

- Mathematics
- 2019

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,… Expand

Parametrized and Functional Differential Geometry

- Physics
- 2014

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… Expand

Moduli Spaces: An introduction to d-manifolds and derived differential geometry

- Mathematics
- 2012

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… Expand

Transversality theorem in highly relative situations and its application

- Mathematics
- 2017

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… Expand

D-manifolds, d-orbifolds and derived differential geometry: a detailed summary

- Mathematics
- 2012

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… Expand

Log differentiable spaces and manifolds with corners

- Mathematics
- 2015

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… Expand

C-infinity algebraic geometry with corners

- Mathematics
- 2019

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… Expand

Lagrangian distributions on asymptotically Euclidean manifolds

- Mathematics, Physics
- Annali di Matematica Pura ed Applicata (1923 -)
- 2019

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… Expand

#### References

SHOWING 1-10 OF 17 REFERENCES

Derived smooth manifolds

- Mathematics
- 2008

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… Expand

On the Classification of Regular O(n)-Manifolds in Terms of their Orbit Bundles

- Mathematics
- 1968

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… Expand

Groupoids and pseudodifferential calculus on manifolds with corners

- Mathematics
- 2003

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… Expand

ON COBORDISM OF MANIFOLDS WITH CORNERS

- Mathematics
- 2000

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… Expand

Open-closed strings: Two-dimensional open-closed TQFTs and knowledgeable Frobenius algebras

- Mathematics, Physics
- 2008

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… Expand

DIFFERENTIAL TOPOLOGY

- 2002

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… Expand

On differentiable manifolds

- Mathematics
- 1959

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… Expand

A general Fredholm theory I: A splicing-based differential geometry

- Mathematics
- 2006

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… Expand

Lagrangian intersection floer theory : anomaly and obstruction

- Mathematics
- 2009

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… Expand