Differential forms on manifolds with boundary and corners (Q2322939)

An \(n\)-manifold with corners is a diffeological space which is everywhere locally diffeomorphic to the corner \(\mathbb{K}^n\subset\mathbb{R}^n\). The latter is defined by \(x_i\geq0\), \(i=1,...,n\), it is equipped with the subset diffeology. It's shown that the classical approach and the diffeological definition lead to the same category, which was mandatory. The aim of this paper is to identify the category of manifolds with boundary and corners with a subcategory of the category diffeology. The authors show that any differential form on a manifold with boundary or corners, embedded in a smooth manifold, extends to a differential form on an open neighborhood. As an example of application, they discuss the structure of \(SO(2)^n\) invariant closed \(2\)-forms on \(\mathbb{R}^{2n}\). This paper is organized as follows: The first part is an introduction to the subject. The second part deals with diffeology of manifolds with corners. The authors recall some definitions and properties in diffeology that will be used in this paper. The third part concerns an extension of differential forms on manifolds with corners. The authors prove that any differential form on a manifold with corners is the restriction of a differential form on an open neighborhood, after having been pushed inside itself as a submanifold with corner.