1 - Introduction

Summary

If X is a manifold then the set $C^\infty$(X) of smooth functions on X 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 Algebro-Geometric techniques in Differential Geometry. They include smooth manifolds, but also many singular and infinite-dimensional spaces. They have applications to Synthetic Differential Geometry, and to ‘derived manifolds’ in Derived Differential Geometry.

Manifolds with corners, such as a triangle or a cube, are generalizations of manifolds, with boundaries and corners. They occur in many places in Differential Geometry. In this book we define and study new categories of ‘ $C^\infty$-rings with corners’ and ‘ $C^\infty$-schemes with corners’, which generalize manifolds with corners in the same way that $C^\infty$-rings and $C^\infty$-schemes generalize manifolds. These will be used in future work by the second author as the foundations of theories of derived manifolds and derived orbifolds with corners. These have important applications in Symplectic Geometry, as moduli spaces of pseudo-holomorphic curves should be derived orbifolds with corners.