Differential forms are an extremely useful concept for smooth manifolds. They are the input for integration, allowing one to find volumes, centres of mass, among other measurements; they are the foundation for global invariants such as de Rham cohomology; and they can encode geometric information such as symplectic forms and connections. But what happens in the case of singular spaces? How do we even begin to define them?
First, we must carefully consider the definition of differential forms for manifolds. Interestingly, there are many different yet equivalent definitions. Here are four of them. Fix a smooth manifold
- A differential -form is an antisymmetric fibre-wise -linear map taking tangent vectors and producing a real number.
- A differential -form is an antisymmetric - -linear map taking vector fields and producing a smooth function.
- A differential -form is a smooth section of the tensor bundle , the th wedge product of the cotangent bundle, taking a point of and producing an antisymmetric covariant -tensor
- A differential
is an antisymmetric covariant
-tensor field that satisfies the following transformation law in local coordinates: if locally
has the form
then given a coordinate transformation (a diffeomorphism) , the pullback (the expression of in the new coordinate system) takes the form
where is the Jacobian of with respect to the coordinates .
In general, one should not expect any of these definitions to produce the same set of differential forms when dealing with singular spaces, and indeed, depending on various definitions of smooth structure, tangent space, and vector field, they all produce different things that act in different ways. The question is, what exactly does one want when dealing with differential forms? The answer to this question helps determine the definition that one might want to use.
I studied and compared some of these definitions in my MSc thesis [W:MSc] for arbitrary subsets of with an induced smooth structure. In [W:PhD], [KW], and [W:gpds], it is shown that diffeological differential forms on the orbit space of a compact Lie group action, a proper Lie group action, and a proper Lie groupoid, respectively, match basic forms on the base space. In fact, [KW] generalises this to a Lie group whose identity component acts properly.
- [KW] Yael Karshon and Jordan Watts, Basic forms and orbit spaces: a diffeological approach, SIGMA Symmetry Integrability Geom. Methods Appl., Vol. 12 (2016), 026, 19 pages.
- [W:gpds] Jordan Watts, The orbit space and basic forms of a proper Lie groupoid, Trends in Mathematics, Research Perspectives: Proceedings of the 12th ISAAC Congress, Aveiro, Portugal, 2019, Birkh"auser (to appear).
- [W:PhD] Jordan Watts, Diffeologies, Differential Spaces, and Symplectic Geometry, PhD Thesis, Department of Mathematics, University of Toronto, 108 pages, 2012.
- [W:MSc] Jordan Watts, The Calculus on Subcartesian Spaces, MSc Thesis, Department of Mathematics & Statistics, University of Calgary, 116 pages, 2006.