Mehdi Nabil | Search arXiv

arXiv2021

A compact manifold with infinite-dimensional co-invariant cohomology

Let $M$ be a smooth manifold. When $Γ$ is a group acting on the manifold $M$ by diffeomorphisms one can define the $Γ$-co-invariant cohomology of $M$ to be the cohomology of the differential complex $Ω_c(M)_Γ=\mathrm{span}\{ω-γ^*ω,\;ω\inΩ_c(M),\;γ\inΓ\}.$ For a Lie algebra $\mathcal{G}$ acting on the manifold $M$, one defines the cohomology of $\mathcal{G}$-divergence forms to be the cohomology of the complex $\mathcal{C}_{\mathcal{G}}(M)=\mathrm{span}\{L_Xω,\;ω\inΩ_c(M),\;X\in\mathcal{G}\}.$ In this short paper we present a situation where these two cohomologies are infinite dimensional.

math.DG↗

arXiv2018

Cohomology of coinvariant differential forms

Let $M$ be a smooth manifold and $Γ$ a group acting on $M$ by diffeomorphisms; which means that there is a group morphism $ρ:Γ\rightarrow \mathrm{Diff}(M)$ from $Γ$ to the group of diffeomorphisms of $M$. For any such action we associate a cohomology $\mathrm{H}(Ω(M)_Γ)$ which we call the cohomology of $Γ$-coinvariant forms. This is the cohomology of the graded vector space generated by the differentiable forms $ω-ρ(γ)^*ω$ where $ω$ is a differential form with compact support and $γ\in Γ$. 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}(Ω(M)^Γ)$ in the case of isometric actions on compact Riemannian oriented manifolds and in the case of properly discontinuous actions on manifolds.

math.DG↗