Cohomology of coinvariant differential forms

TL;DR

This paper introduces and explores the cohomology of coinvariant differential forms associated with group actions on manifolds, analyzing its relation to de Rham and invariant cohomologies in specific geometric contexts.

Contribution

It defines a new cohomology theory for coinvariant forms and investigates its connections with existing cohomologies under isometric and properly discontinuous actions.

Findings

Establishes relations between coinvariant, de Rham, and invariant cohomologies.

Analyzes these relations for isometric actions on compact Riemannian manifolds.

Studies the case of properly discontinuous group actions on manifolds.

Abstract

Let $M$ be a smooth manifold and $\Gamma$ a group acting on $M$ by diffeomorphisms; which means that there is a group morphism $\rho:\Gamma\rightarrow \mathrm{Diff}(M)$ from $\Gamma$ to the group of diffeomorphisms of $M$. For any such action we associate a cohomology $\mathrm{H}(\Omega(M)_\Gamma)$ which we call the cohomology of $\Gamma$-coinvariant forms. This is the cohomology of the graded vector space generated by the differentiable forms $\omega -\rho(\gamma)^*\omega$ where $\omega$ is a differential form with compact support and $\gamma\in \Gamma$. The present paper is an introduction to the study of this cohomology. More precisely, we study the relations between this cohomology, the de Rham cohomology and the cohomology of invariant forms $\mathrm{H}(\Omega(M)^\Gamma)$ in the case of isometric actions on compact Riemannian oriented manifolds and in the case of properly discontinuous actions on manifolds.