Novikov type inequalities for orbifolds
Extracted source text · arXiv 2306.05990
\documentclass[
a4paper,
reqno,
oneside,
12pt
]{amsart}
%---------PACKAGES-------------------------------------------
\usepackage[utf8]{inputenc}
\usepackage[dvipsnames]{xcolor} % Must come before tikz!
\colorlet{cite}{red}
\usepackage{tikz} % for diagrams
%\usepackage[inline]{showlabels}
\usetikzlibrary{arrows,positioning}
\tikzset{
baseline=-2.3pt,
text height=1.5ex, text depth=0.25ex,
>=stealth,
node distance=2cm,
mid/.style={fill=white,inner sep=2.5pt},
}
\setlength{\textwidth}{6.7in}
\setlength{\oddsidemargin}{-0.3in}
\setlength{\evensidemargin}{-0.3in}
\setlength{\textheight}{9in}
\setlength{\topmargin}{0in}
\usepackage{lmodern}
%\usepackage[T1]{fontenc}
\usepackage{tikz-cd}
\usepackage{amsthm, amssymb, amsfonts}
\usepackage{amsthm, amssymb, amsfonts} % Standard maths packages.
\usepackage[all]{xy}
\usepackage{graphicx,caption,subcaption}
%\usepackage{fourier}
\usepackage{braket} % For nice sets
%\usepackage{fouriernc} % Nice maths font
\usepackage{microtype}
\usepackage{DotArrow}
\usepackage[makeroom]{cancel}
\usepackage[%
bookmarks=true, % show bookmarks bar?
unicode=true, % non-Latin characters in Acrobat’s bookmarks
pdftitle={Novikov-Morse theory}, %
pdfauthor={Valencia}, %
pdfkeywords={Novikov-Morse theory, groupoids}, % list of keywords
colorlinks=true, % false: boxed links; true: colored links
linkcolor=black, % color of internal links
citecolor=black, % color of links to bibliography
filecolor=magenta, % color of file links
urlcolor=RoyalBlue % color of external links
]{hyperref} % One of the most useful packages I have found.
\usepackage{cleveref}
%---------THEOREMS-------------------------------------------
\newtheoremstyle{mydef}
{} % Space above environment
{} % Space below environment
{} % Body font
{} % Indent amount (empty = no indent, \parindent = para indent)
{\scshape} % theorem head font
{. } % Punctuation after heading
{ } % Space after heading
{\thmname{#1}\thmnumber{ #2}\thmnote{ #3}} % Heading spec
\newtheorem{theorem}{Theorem}[section]
\newtheorem*{theorem*}{Theorem}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem*{proposition*}{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem*{lemma*}{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem*{corollary*}{Corollary}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{assumption}[theorem]{Assumption}
\newtheorem{notation}[theorem]{Notation}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{problem}[theorem]{Problem}
\newtheorem*{conjecture*}{Conjecture}
\usepackage{tikz}
\DeclareMathOperator{\re}{Re}
\DeclareMathOperator{\im}{Im}
\DeclareMathOperator{\Tot}{Tot}
\DeclareMathOperator{\End}{End}
\DeclareMathOperator{\ad}{ad}
\DeclareMathOperator{\Ad}{Ad}
\DeclareMathOperator{\Nij}{Nij}
\DeclareMathOperator{\Ann}{Ann}
\newcommand{\ce}{\mathrel{\mathop:}=}
\newcommand{\fcomment}[1]{{\sf\color{blue} #1}}
\newcommand{\ccomment}[1]{{\sf\color{orange} #1}}
\newcommand{\rr}{\rightrightarrows}
%---------TITLE-------------------------------------------
\author{Fabricio Valencia}
\subjclass[2020]{22A22, 57R18, 57R70}
\address{}
\date{\today}
\address{F. Valencia - Instituto de Matem\'atica e Estat\'istica, Universidade de S\~ao Paulo, Rua do Mat\~ao 1010, Cidade Universit\'aria, 05508-090 S\~ao Paulo - Brasil. \newline
\phantom{xx}
%L. San Martin - Imecc - Unicamp, Campinas, Brasil.\newline
fabricio.valencia@ime.usp.br}
%\thanks{This work was supported by Funda\c{c}\~ao de Amparo \`a Pesquisa do Estado de S\~ao Paulo (FAPESP) grant 2020/07704-7.}
\title{Novikov type inequalities for orbifolds}
%---------DOCUMENT------------------------------------------
\begin{document}
\maketitle
\begin{abstract}
We show a natural extension of the Novikov numbers associated to the basic cohomology class of a closed $1$-form on an orbifold, thus proving corresponding Novikov inequalities for the compact case.
\end{abstract}
\tableofcontents
\section{Introduction}
In the seminal works \cite{No1,No2} Novikov started a generalization of Morse theory in which instead of critical points of smooth functions he dealt with closed 1-forms and
their zeros, thus obtaining inequalities that generalize the well known Morse inequalities. In order to do so Novikov defined numbers $b_j(\xi)$ and $q_j(\xi)$ which depend on a real cohomology class $\xi\in H^1(M,\mathbb{R})$. Such numbers are known in the literature as the Novikov Betti and torsion numbers, respectively. It is worth mentioning that in the special case $\xi=0$, which corresponds to classical Morse theory, the numbers $b_j(\xi)$ recover the usual Betti numbers of the ambient manifold $M$ and the numbers $q_j(\xi)$ agree with the minimal number of generators of the torsion subgroup $H^1(M,\mathbb{Z})$ inside $H^1(M,\mathbb{R})$. The classical Novikov inequalities state that any closed 1-form $\omega$ with Morse-type zeros has at least $b_j(\xi)+q_j(\xi)+q_{j-1}(\xi)$ zeros of index $j$ where $\xi=[\omega]\in H^1(M,\mathbb{R})$ is the de Rham cohomology class of $\omega$. Nowadays, Novikov theory is widely known, as it provides several applications in geometry, topology, analysis, and dynamics. The reader is recommended to visit \cite{F} in order to get in touch with the fundamentals of Novikov theory as well as with some of the classical results around this beautiful subject.
The main purpose of this paper is to extend some of the ingredients of the classical Novikov theory to the context of orbifolds, thus providing a way to generalize the Novikov inequalities for the compact ones. We think of orbifolds as proper and \'etale groupoids up to Morita equivalence. In this spirit, we deal with cohomology classes of closed basic 1-forms on Lie groupoids whose critical orbits are nondegenerate in the sense of Morse--Bott theory.
Let $G\rr M$ be a Lie groupoid and let $\Pi_1(G)\rr M$ denote its fundamental groupoid of $G$-homotopy classes of $G$-paths. The fundamental group $\Pi_1(G, x_0)$ of $G$ with respect to a base-point $x_0\in M$ is defined to be isotropy group $\Pi_1(G)_{x_0}$ which consists of $G$-homotopy classes of $G$-loops at $x_0$. Let us denote by $H_\bullet(G,\mathbb{Z})$ the total singular homology of $G$. There is a canonical way to define a Hurewicz $G$-homomorphism $h:\Pi_1(G, x_0)\to H_1(G,\mathbb{Z})$ which restricts as an isomorphism to the abelianization of $\Pi_1(G, x_0)$. Let $\omega$ be a closed basic $1$-form on $M$. That is, a closed $1$-form satisfying $(t^\ast - s^\ast)(\omega)=0$. For each smooth $G$-path $\sigma=\sigma_ng_n\sigma_{n-1}\cdots \sigma_1g_1\sigma_0$ in $M$ we can naturally define the $G$-path integral $\int_{\sigma}\omega=\sum_{k=0}^{n}\int_{\sigma_k}\omega$. It canonically determines a group homomorphism $l_{\omega}:\Pi_1(G,x_0)\to (\mathbb{R},+)$ which factors through the Hurewicz $G$-homomorphism $h$ by a uniquely determined group homomorphism $\textnormal{Per}_\xi: H_1(G,\mathbb{Z})\to \mathbb{R}$ which only depends on the basic cohomology class $\xi:=[\omega]$. This will be called the $G$-homomorphism of periods of $\xi$. Let \textbf{Nov} denote the Novikov ring of $\mathbb{R}$ and let us further assume that our Lie groupoid $G\rr M$ is \'etale and proper with compact orbit space $M/G$. Thus, we may define a ring homomorphism $\phi_\xi: \mathbb{Z}(\Pi_1(G,x_0))\to \textbf{Nov}$ by setting $\phi_\xi([\sigma]):=\tau^{\textnormal{Per}_\xi(h([\sigma]))}$ for all $[\sigma]\in \Pi_1(G,x_0)$. It yields a local system $\mathcal{L}_\xi$ of left $\textbf{Nov}$-modules over $G\rr M$ whose total homology groups $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)$ are called Novikov homology groups of $\xi$. It follows that the homology $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)$ is a finitely generated module over the ring {\bf Nov}. Since {\bf Nov} is a principal ideal domain we have that the module $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)$ is a direct sum of a free submodule with a torsion submodule. The Novikov Betti number $b_j(\xi)$ is defined to be the rank of the free summand of $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)$ and the Novikov torsion number $q_j(\xi)$ is defined to be the minimal number of generators of the torsion submodule of $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)$.
The critical point set $\textnormal{Crit}(\omega)$ of a closed basic $1$-form $\omega$ on $M$ is saturated in $M$ so that it is formed by a disjoint union of groupoid orbits. Therefore, we say that a critical orbit $\mathcal{O}_x$ of $\omega$ is nondegenerate if its normal Hessian is a nondegenerate fiberwise bilinear symmetric form on $\nu(O_x)$. Accordingly, $\omega$ is said to be of Morse type if all of its critical orbits are nondegenerate. Let us fix a groupoid metric on $G\rr M$ in the sense of del Hoyo and Fernandes, visit \cite{dHF}. The nondegeneracy requirement over $\mathcal{O}_x$ imposed above allows us to use the groupoid metric to split $\nu(\mathcal{O}_x)$ into the Whitney sum of two subbundles $\nu_-(\mathcal{O}_x)\oplus \nu_+(\mathcal{O}_x)$ such that normal Hessian of $\omega$ around $\mathcal{O}_x$ is strictly negative on $\nu_-(\mathcal{O}_x)$ and strictly positive on $\nu_+(\mathcal{O}_x)$. Let $G_x$ be the isotropy group at $x$. From \cite{OV} we know that the normal Hessian is invariant with respect to the normal representation $G_x\curvearrowright \nu(\mathcal{O}_x)$ so that it preserves the splitting above since the normal representation is by isometries in this case. In consequence, we get a normal sub-representation $G_x\curvearrowright \nu_-(\mathcal{O}_x)$. The stacky index of $\mathcal{O}_x$ in $M/G$ is defined to be $\dim \nu_-(\mathcal{O}_{x})/G_{x}=\dim \nu_-(\mathcal{O}_{x})-\dim G_{x}$.
Our main result can be stated in the following way:
\begin{theorem*}
Let $G\rr M$ be an \'etale and proper Lie groupoid such that the orbit space $M/G$ is compact. Let $\omega$ be a closed basic $1$-form on $M$ of Morse type. If $c_j(\omega)$ denotes the number of critical points in $M/G$ having stacky Morse index $j$ then
$$c_j(\omega)\geq b_j(\xi)+q_j(\xi)+q_{j-1}(\xi), $$
where $\xi=[\omega]$ is the basic cohomology class of $\omega$.
\end{theorem*}
It is worth mentioning that the natural generalization of the Novikov theory we have described above provides a tool for using topological methods to study zeros of symplectic vector fields on symplectic orbifolds.
The paper is structured as follows. In Section \ref{S:2} we define the fundamental Lie groupoid of $G$-homotopy classes of $G$-paths and briefly recall the definition of the total singular homology and cohomology groups of a topological groupoid. We show a $G$-version of the Hurewicz homomorphism and exhibit how to construct a groupoid covering space over $G\rr M$ out of a fixed subgroup in $\Pi_1(G, x_0)$. This is the content of Propositions \ref{Hur} and \ref{Covering}, respectively. Motivated by the notion of local coefficients system for topological spaces we introduce a corresponding notion as well as its associated homology in the groupoid setting. Indeed, we define a double chain complex out of a local system of modules over a Lie groupoid, thus proving that its associated total homology is Morita invariant, compare Lemma \ref{LemDoubleComplex} and Proposition \ref{MoritaLocal}. We also show in Proposition \ref{EilenbergProp} a $G$-version of the Eilenberg homology isomorphism. In Section \ref{S:3} we study closed basic $1$-forms. We define the $G$-homomorphism of periods associated to the basic cohomology class $\xi$ of a closed basic $1$-form $\omega$ on $M$ and explore some of its elementary properties. In particular, we characterize when $\xi$ is an integral class and describe the groupoid covering space associated to the kernel of the $G$-homomorphism of periods of $\xi$, see Propositions \ref{IntegralClass} and \ref{FormulaEqui}. We introduce closed basic $1$-forms of Morse type and prove that such a notion is Morita invariant, see Proposition \ref{MoritaMorse}. This gives rise to a notion of stacky closed $1$-form of Morse type over the differentiable stack $[M/G]$ presented by $G\rr M$. Finally, in Section \ref{S:4} we present three different manners to define the Novikov numbers $b_j(\xi)$ and $q_j(\xi)$ associated to the basic cohomology class $\xi$ over an orbifold. As a result we show the Novikov inequalities for compact orbifolds, compare Theorem \ref{ThmNokivovOrbifolds}, and quickly explain how to use this result in order to find a lower bound for the amount of zeros of certain symplectic vector fields on symplectic orbifolds.
\vspace{.2cm}
{\bf Acknowledgments:} Part of this work was carried out during a visit to the Dipartimento di Matematica, Universit\`a degli Studi di Salerno, Fisciano, Italy in 2023. I am very thankful for the hospitality and support that the Geometry Group gave me while being there. I have benefited from several conversations with Juan Camilo Arias, Antonio Maglio, Cristi\'an Ortiz and Luca Vitagliano, so that I am grateful for all their comments and suggestions that improved this work. Valencia was supported by Grants 2020/07704-7 and 2022/11994-6 Sao Paulo Research Foundation - FAPESP.
\section{Some algebraic topology ingredients}\label{S:2}
Before defining the $G$-homomorphism of periods of a closed basic $1$-form as well as its corresponding Novikov numbers we have to fill out some algebraic topology gaps concerning the fundamental Lie groupoid of $G$-homotopy classes of $G$-paths which, to our knowledge, do not seem to have been described before in the literature; see for instance \cite[s. 3.3]{MoMr} and \cite[c. G; s. 3]{BH}. Let $G\rr M$ be a Lie groupoid \cite{dH,MoMr}. Throughout this paper the structural maps of $G$ will be denoted by $(s,t,m,u,i)$ where $s,t:G\to M$ are the maps respectively indicating the source and target of the arrows, $m:G^{(2)}\to G$ stands for the partial composition of arrows, $u:M\to G$ is the unit map, and $i:G\to G$ is the map determined by the inversion of arrows. A \emph{$G$-path} in $M$ is a sequence $\sigma:=\sigma_ng_n\sigma_{n-1}\cdots \sigma_1g_1\sigma_0$ where $\sigma_0,\cdots,\sigma_n:[0,1]\to M$ are (piecewise smooth) paths in $M$ and $g_1,\cdots,g_n$ are arrows in $G$ such that $g_j:\sigma_{j-1}(1)\to \sigma_{j}(0)$ for all $j=1,\cdots,n$. We shall say that $\sigma$ is a $G$-path of \emph{order} $n$ from $\sigma_{0}(0)$ to $\sigma_{n}(1)$. Our groupoid $G$ is said to be \emph{$G$-connected} if for any two points $x,y\in M$ there exists a $G$-path from $x$ to $y$. We will always assume that the groupoids we are working with are $G$-connected unless otherwise stated. If $\sigma':=\sigma_n'g_n'\sigma_{n-1}'\cdots \sigma_1'g_1'\sigma_0'$ is another $G$-path with $\sigma_{0}'(0)=\sigma_{n}(1)$ then we can \emph{concatenate} $\sigma$ and $\sigma'$ into a new $G$-path
$$\sigma\ast \sigma'=\sigma_n'g_n'\sigma_{n-1}'\cdots \sigma_1'g_1'\sigma_0'1_{\sigma_{n}(1)}\sigma_ng_n\sigma_{n-1}\cdots \sigma_1g_1\sigma_0.$$
We define an equivalence relation in the set of $G$-paths which is generated by the following \emph{multiplication equivalence}
$$\sigma_n g_n\cdots \sigma_{j+1}g_{j+1}\sigma_jg_j\sigma_{j-1}\cdots g_1\sigma_0 \quad\sim\quad \sigma_n g_n\cdots \sigma_{j+1}g_{j+1}g_j\sigma_{j-1}\cdots g_1\sigma_0,$$
if $\sigma_j$ is the constant path for any $0<j<n$, and \emph{concatenation equivalence}
$$\sigma_n g_n\cdots g_{j+1}\sigma_jg_j\sigma_{j-1}g_{j-1}\cdots g_1\sigma_0 \quad\sim\quad \sigma_n g_n\cdots g_{j+1}\sigma_j\cdot\sigma_{j-1}g_{j-1}\cdots g_1\alpha_0,$$
if $g_j=1_{\alpha_{j-1}(1)}$ for any $0<j<n$ where $\sigma_j\cdot\sigma_{j-1}$ stands to denote the standard concatenation of the paths $\sigma_j$ and $\sigma_{j-1}$. A \emph{deformation} between two $G$-paths $\sigma$ and $\sigma'$ of the same order $n$ from $x$ to $y$ consist of homotopies $D_j:[0,1]\times [0,1]\to M$ from $\sigma_j$ to $\sigma_j'$ for $j=0,1,\cdots, n$ and paths $d_i:[0,1]\to G$ from $g_j$ to $g_j'$ for $j=1,\cdots, n$ such that $s\circ d_j=D_{j-1}(\cdot,1)$ and $t\circ d_j=D_{j}(\cdot,0)$ for $j=1,\cdots, n$ verifying $D_0([0,1],0)=x$ and $D_n([0,1],1)=y$. That is, a deformation as a continuous family of $G$-paths of order $n$ from $x$ to $y$ which may be written as $D_n(\tau,\cdot)d_n(\tau)\cdots d_1(\tau)D_0(\tau,\cdot)$ for $\tau\in [0,1]$. Accordingly, two $G$-paths with fixed endpoints in $M$ are said to be \emph{$G$-homotopic} if it is possible to pass from one to another by a sequence of equivalences and deformations. With the multiplication induced by concatenation it follows that the $G$-homotopy classes of $G$-paths form a Lie groupoid over $M$ which is called the \emph{fundamental groupoid} of $G$. This shall be denoted by $\Pi_1(G)\rr M$, see \cite[s. 3.3]{MoMr}. The \emph{fundamental group} of $G$ with respect to a base-point $x_0\in M$ is the isotropy group $\Pi_1(G, x_0):= \Pi_1(G)_{x_0}$. Note that it consists of $G$-homotopy classes of $G$-loops at $x_0$ which are by definition the $G$-homotopy classes of $G$-paths from $x_0$ to $x_0$. It is simple to check that for any two different points $x_0,y_0\in M$ it holds that $\Pi_1(G, x_0)$ and $\Pi_1(G, y_0)$ are isomorphic by $G$-connectedness. Every Lie groupoid morphism $\phi_1:G\to G'$ covering $\phi_0:M\to M'$ induces another Lie groupoid morphism $(\phi_1)_\ast:\Pi_1(G)\to \Pi_1(G')$ by mapping $[\sigma]$ to $[(\phi_1)_\ast(\sigma)]$, where $(\phi_1)_\ast(\sigma)=(\phi_0)_\ast(\sigma_n)\phi_1(g_n)(\phi_0)_\ast(\sigma_{n-1})\cdots (\phi_0)_\ast(\sigma_1)\phi_1(g_0)(\phi_0)_\ast(\sigma_0)$. This also covers $\phi_0:M\to M'$ so that it induces a Lie group homomorphism between the fundamental groups $(\phi_1)_\ast:\Pi_1(G,x_0)\to \Pi_1(G',\phi_0(x_0))$. As an important feature we have that Morita equivalent groupoids have isomorphic fundamental groupoids, see \cite[p. 195]{MoMr}. For specific details and results concerning the fundamental groupoid of a Lie groupoid the reader is recommended to visit \cite[s. 3.3]{MoMr} and \cite[c. G; s. 3]{BH}.
Let us now consider the nerve of $G\rr M$. This is formed by manifolds $\lbrace G^{(n)}\rbrace_{n\in \mathbb{N}}$ with $G^{(0)}=M$, $G^{(1)}=G$ and $G^{(n)}=\lbrace (g_1,\cdots,g_n): s(g_j)=t(g_{j+1})\rbrace$. We also have the face maps $d_k^n:G^{(n)}\to G^{(n-1)}$ given by the surjective submersions $d^1_0=t$, $d^1_1=s$ and
$$d_k^n(g_1,\cdots,g_n)= \left\{ \begin{array}{lcc}
(g_2,\cdots,g_n) & \textnormal{if} & k=0 \\
(g_1,\cdots,g_{i}g_{i+1},\cdots,g_n) & \textnormal{if} & 0<k<n \\
(g_{1},\cdots,g_{n-1}) & \textnormal{if} & k=n.
\end{array}
\right.$$
These maps satisfy the simplicial relations $d_{k}^{n-1}\circ d_{k'}^n=d_{k'-1}^{n-1}\circ d_{k}^n$ for $k<k'$. We define the singular double chain complex of $G\rr M$ as follows. This is determined by the data $\lbrace C_\bullet(G^{(\bullet)}),\partial,d\rbrace$ where $C_q(G^{(n)})$ is given by the set of singular $q$-chains on $G^{(n)}$, $\partial: C_q(G^{(n)})\to C_q(G^{(n-1)})$ is the simplicial boundary operator $\partial=\sum_{k=0}^n (-1)^k d_{k}^{n}$, and $d: C_q(G^{(n)})\to C_{q-1}(G^{(n)})$ is the usual singular boundary operator $d=\sum_{j=0}^q (-1)^j d_j$. We can then consider the associated total complex $\lbrace \tilde{C}_\bullet(G),\delta\rbrace$ where $\tilde{C}_v(G)=\bigoplus_{q+n=v} C_q(G^{(n)})$ with total differential operator $\delta:\tilde{C}_v(G)\to \tilde{C}_{v-1}(G)$ defined as
$$\delta(\gamma)=(-1)^{q+n}\partial(\gamma)+(-1)^qd(\gamma),\qquad \gamma \in C_q(G^{(n)}).$$
The associated total singular homology will be denoted by $H_\bullet(G,\mathbb{Z})$. It is worth mentioning that Morita equivalent groupoids have isomorphic total singular homologies, visit for instance \cite{Be,crainicMoer}. By following a similar approach it may be easily verified that the total singular cohomology $H^\bullet(G,\mathbb{Z})$ of $G\rr M$ can be obtained by dualizing the total singular complex $\tilde{C}_\bullet(G)$ in order to define another total complex $\tilde{C}^\bullet(G)$ and then considering its associated cohomology. Also, by tensoring $C_\bullet(G)\otimes_\mathbb{Z}\mathbb{R}$ and $C^\bullet(G)\otimes_\mathbb{Z}\mathbb{R}$ we get the total singular homology and cohomology groups $H_\bullet(G,\mathbb{R})$ and $H^\bullet(G,\mathbb{R})$, respectively. Furthermore, via a spectral sequence argument it follows that the classical de Rham isomorphism for manifolds extends to define an isomorphism between the de Rham cohomology $H^\bullet_{dR}(G)$ of $G$ defined through the Bott-Shulman-Stasheff total complex and the singular cohomology $H^\bullet(G,\mathbb{R})$. Here, the cohomology $H^\bullet_{dR}(G)$ is defined as the total cohomology obtained from the double cochain complex $\lbrace \Omega_\bullet(G^{(\bullet)}),\overline{\partial},d_{dR}\rbrace$ where $\Omega_q(G^{(n)})$ is given by the differential $q$-forms on $G^{(n)}$, $\overline{\partial}: \Omega_q(G^{(n)})\to \Omega_q(G^{(n+1)})$ is the simplicial boundary operator $\overline{\partial}=\sum_{k=0}^n (-1)^k (d_{k}^{n})^\ast$, and $d_{dR}: \Omega_q(G^{(n)})\to \Omega_{q+1}(G^{(n)})$ is the usual the de Rham differential. As expected, all of these (co)homologies are Morita invariant. For more details visit \cite{Be}.
\subsection{Hurewicz $G$-homomorphism and coverings}
Let $G\rr M$ be a $G$-connected Lie groupoid and fix $x_0\in M$. Consider $\Pi_1(G,x_0)$ and $H_1(G,\mathbb{Z})$ the fundamental group of $G$ with respect to the base-point $x_0$ and the first total singular homology group of $G$, respectively. It is simple to check that every $G$-loop at $x_0$ canonically defines a $1$-cycle in $\tilde{C}_1(G)=C_0(G)\oplus C_1(M)$. This suggests us to define the map $h:\Pi_1(G,x_0)\to H_1(G,\mathbb{Z})$ which sends the $G$-homotopy class $[\sigma]$ of a $G$-loop $\sigma$ at $x_0$ to its corresponding homology class $|\sigma|$.
\begin{lemma}\label{LemHur1}
Let $\sigma$ and $\sigma'$ be two $G$-paths. The following assertions hold true:
\begin{itemize}
\item $\sigma+\sigma^{-1}$ is equivalent to a boundary in $\tilde{C}_1(G)$, and
\item if $\sigma_0'(0)=\sigma_n(1)$ then $\sigma\ast \sigma'-\sigma-\sigma'$ is also equivalent to a boundary in $\tilde{C}_1(G)$.
\end{itemize}
\end{lemma}
\begin{proof}
Firstly, for every path $\sigma_j$ in $\sigma$ we may argue as in Lemma 3.2 from \cite[p. 173]{Br} and for every arrow $g_j$ in $\sigma$ we consider the pair of composable arrows $(g_j,g_j^{-1})$. Secondly, observe that the expression $\sigma\ast \sigma'-\sigma-\sigma'$ equals
$$\sigma_n\ast\sigma_0'-\sigma_n-\sigma_0'+\textnormal{boundary}.$$
So, the last assertion follows directly as a consequence of Lemma 3.1 in \cite[p. 173]{Br}.
\end{proof}
\begin{proposition}[Hurewicz $G$-homomorphism]\label{Hur}
The map $h$ is a well defined group homomorphism which restricts to the abelianization $\Pi_1^{ab}(G,x_0)=\Pi_1(G,x_0)/[\Pi_1(G,x_0),\Pi_1(G,x_0)]
$ as an isomorphism.
\end{proposition}
\begin{proof}
We shall follow the usual strategy used to prove the classical version of this result, see for instance \cite[c.4; s.3]{Br}. Throughout the proof we shall fix $\sigma=\sigma_ng_n\sigma_{n-1}\cdots \sigma_1g_1\sigma_0$ a $G$-loop at $x_0$. In order to see that $h$ is well defined let us consider $\sigma'=\sigma_n'g_n'\sigma_{n-1}'\cdots \sigma_1'g_1'\sigma_0'$ another $G$-loop at $x_0$ which is in the $G$-homotopy class of $\sigma$. If $\sigma$ and $\sigma'$ are equivalent then the assertion is trivial. Let us suppose then that there is a $G$-homotopy $D(\tau,\cdot)=D_n(\tau,\cdot)d_n(\tau)\cdots d_1(\tau)D_0(\tau,\cdot)$ from $\sigma$ to $\sigma'$. We split the square $[0,1]\times [0,1]$ into two 2-simplices with vertices $\lbrace (0,0), (0,1), (1,1)\rbrace$ and $\lbrace (0,0), (1,0), (1,1)\rbrace$, respectively, so that every homotopy $D_j$ can be
regarded as the sum of two singular 2-simplices over $M$. The diagonal from $(0,0)$ to $(1,1)$ will be denoted by $\lambda$. Therefore, by using Lemma \ref{LemHur1} we get:
% \begin{center}
% \includegraphics[height=5.69cm]{Split}
% \end{center}
% Thus:
\begin{eqnarray*}
\delta D &=& \sum_{j=1}^n(t\circ d_j-s\circ d_j)+\sum_{j=0}^n(s\circ d_{j+1}-D_j|_{\lambda}-\sigma_j)-\sum_{j=0}^n(\sigma_j'-D_j|_{\lambda}-t\circ d_j)\\
&-&\sum_{j=1}^n(g_j'- g_j)+\textnormal{constant} = \sigma - \sigma' + \textnormal{boundary},
\end{eqnarray*}
where $s\circ d_{n+1}:=D_n|_{[0,1]\times 1}=x_0\ \textnormal{and}\ t\circ d_{0}:=D_0|_{[0,1]\times 0}=x_0$. That is, $\sigma$ and $\sigma'$ are homologous which means that $h$ is well defined. Again, as consequence of Lemma \ref{LemHur1} we have that if $[\sigma],[\sigma']\in \Pi_1(G,x_0)$ then
$$h([\sigma][\sigma'])=h([\sigma\ast \sigma'])=|\sigma\ast \sigma'|=|\sigma|+ |\sigma'|=h([\sigma])+h([\sigma]),$$
thus obtaining that $h$ is a group homomorphism. Note that if $\sigma^{-1}$ denotes the inverse $G$-loop of $\sigma$ then $h([\sigma^{-1}])=-|\sigma|$ since $h$ is a homomorphism. Hence, by Lemma \ref{LemHur1} it follows that the commutator subgroup of $\Pi_1(G,x_0)$ lies inside $\textnormal{ker}(h)$ so that we get another well defined group homomorphism $\tilde{h}:\Pi_1^{ab}(G,x_0)\to H_1(G,\mathbb{Z})$.
Since our groupoid is $G$-connected we have that for each $x\in M$ there exists some $G$-path $\lambda_x$ from our base-point $x_0$ to $x$. The constant path at $x$ is denoted by $c_x$. Let us construct the inverse group homomorphism of $\tilde{h}$. It is clear that we may think of every arrow $g\in G$ as a $G$-path connecting the constant paths at $s(g)$ and $t(g)$. Also, it is obvious that every path $\gamma:[0,1]\to M$ is equivalent to the $G$-path $c_{\gamma(0)}1_{\gamma(0)}\gamma 1_{\gamma(1)}c_{\gamma(1)}$. In consequence, after possibly reversing orientations and fixing an order, each singular groupoid $1$-chain $\alpha\in \tilde{C}_1(G)$ can be thought of as a formal sum of not necessarily different $G$-paths $\alpha=\sum \alpha_j$. We define the homomorphism $l:\tilde{C}_1(G)\to \Pi_1^{ab}(G,x_0)$ as $l(\alpha)=[\sum_{\ast} \lambda_{\alpha_j(1)}^{-1}*\alpha_j*\lambda_{\alpha_j(0)}]$, where $\sum_{\ast}$ denotes the concatenation of all the $G$-loops at $x_0$ given by $\lambda_{\alpha_j(1)}^{-1}*\alpha_j*\lambda_{\alpha_j(0)}$. Note that the definition of $l$ does not depend on the choice of the $G$-paths $\lambda_{\alpha_j(0)}$ and $\lambda_{\alpha_j(1)}$ since we are going into $\Pi_1^{ab}(G,x_0)$ instead of $\Pi_1(G,x_0)$. We claim that $l$ takes the boundaries in $\tilde{C}_1(G)$ into $1\in \Pi_1^{ab}(G,x_0)$. Indeed, it is clear that it suffices to check this assertion when we apply the boundary operator $\delta$ over a pair of composable arrows $(g,g')\in G^{(2)}$, a path $\tilde{\sigma}:[0,1]\to G$ and a singular 2-simplex $\Sigma: \triangle_2\to M$. Firstly, $\delta (g,g')=g'-g'g+g$ so that
\begin{eqnarray*}
l(\delta (g,g')) & = & l(g')l(g)l(g'g)^{-1}=[\lambda_{s(g')}^{-1}*g'*\lambda_{t(g)}][\lambda_{t(g)}^{-1}*g*\lambda_{s(g)}][\lambda_{s(g')}^{-1}*g'g*\lambda_{s(g)}]^{-1}\\
& = & [\lambda_{s(g')}^{-1}*g'g(g'g)^{-1}*\lambda_{s(g')}]]=[\textnormal{constant}]=1.
\end{eqnarray*}
Secondly, $\delta \tilde{\sigma}= t\circ \tilde{\sigma} -s\circ \tilde{\sigma}-(\tilde{\sigma}(1)-\tilde{\sigma}(0))$. Note that
$$
l(t\circ \tilde{\sigma}+\tilde{\sigma}(0)-s\circ \tilde{\sigma}-\tilde{\sigma}(1))=l(t\circ \tilde{\sigma})l(\tilde{\sigma}(0))l(s\circ \tilde{\sigma})^{-1}l(\tilde{\sigma}(1))^{-1}\\
$$
$$ =[\lambda_{t\circ \tilde{\sigma}(1)}^{-1}*t\circ \tilde{\sigma}*\lambda_{t\circ \tilde{\sigma}(0)}][\lambda_{t\circ \tilde{\sigma}(0)}^{-1}*\tilde{\sigma}(0)*\lambda_{s\circ \tilde{\sigma}(0)}] [\lambda_{s\circ \tilde{\sigma}(1)}^{-1}*s\circ \tilde{\sigma}*\lambda_{s\circ \tilde{\sigma}(0)}]^{-1}[\lambda_{t\circ \tilde{\sigma}(1)}^{-1}*\tilde{\sigma}(1)*\lambda_{s\circ \tilde{\sigma}(1)}]^{-1}$$
$$ =[\lambda_{t\circ \tilde{\sigma}(1)}^{-1}*(t\circ \tilde{\sigma}) \tilde{\sigma}(0)(s\circ \tilde{\sigma})^{-1} \tilde{\sigma}(1)^{-1}*\lambda_{t\circ \tilde{\sigma}(1)}]=1,$$
since $\tilde{\sigma}(1)$ is $G$-homotopic to the $G$-path $(t\circ \tilde{\sigma}) \tilde{\sigma}(0)(s\circ \tilde{\sigma})^{-1}$, see \cite[p. 191]{MoMr}. Thirdly, the case of the singular $2$-simplex $\Sigma$ over $M$ follows directly by Lemma 3.5 in \cite[p. 174]{Br}.
The fact we just proved implies that $l$ descends to a well defined group homomorphism $\tilde{l}:H_1(G,\mathbb{Z})\to \Pi_1^{ab}(G,x_0)$. Furthermore, if $\sigma$ is a $G$-loop at $x_0$ then
$$(\tilde{l}\circ \tilde{h})([\sigma])=\tilde{l}(|\sigma|)=[\lambda_{x_0}^{-1}*\sigma*\lambda_{x_0} ]=[\sigma],$$
since $\lambda_{x_0}$ may be chosen to be just the constant $G$-path at $x_0$. Let us now look at the opposite composition. Observe that the assignment $x\mapsto \lambda_{x}$ allows us to send singular groupoid $0$-simplices into singular groupoid $1$-simplices and this can be clearly extended to a homomorphism $\lambda: \tilde{C}_0(G)\to \tilde{C}_1(G)$. Suppose that $\alpha=\sum \alpha_j$ is a singular groupoid 1-chain. Then, by Lemma \ref{LemHur1} it holds that
\begin{eqnarray*}
(\tilde{h}\circ l)(\alpha) &=&\tilde{h}([\sum_\ast \lambda_{\alpha_j(1)}^{-1}*\alpha_j*\lambda_{\alpha_j(0)}])=\sum|\lambda_{\alpha_j(1)}^{-1}*\alpha_j*\lambda_{\alpha_j(0)}|\\
&=& \sum|\lambda_{\alpha_j(1)}^{-1}+\alpha_j+\lambda_{\alpha_j(0)}|=\sum|\lambda_{\alpha_j(0)}+\alpha_j- \lambda_{\alpha_j(1)}|\\
&=& |\sum \alpha_j+\lambda_{\sum (\alpha_j(1)-\alpha_j(0))}|=|\alpha+\lambda_{\delta \alpha}|.
\end{eqnarray*}
Therefore, if $\alpha$ is a singular groupoid $1$-cycle it follows that $(\tilde{h}\circ l)(\alpha)=|\alpha|$. In particular, $(\tilde{h}\circ \tilde{l})(|\alpha|)=|\alpha|$, as desired.
\end{proof}
Let us now consider the notion of covering space over a groupoid as defined in \cite[s. 3.3]{MoMr} and \cite[c. G; s. 3]{BH}. A \emph{covering space} $E$ over $G\rr M$ is a covering space $p:E\to M$ equipped with a right $G$-action $E\times_{M}G\to E$ along $p$. Morphisms between two covering spaces $E$ and $F$ over $G$ are equivariant maps $f:E\to F$. It is clear that any such morphism is necessarily a covering projection. We will denote by $\Gamma^G(E)$ the set of \emph{equivariant automorphisms} of $E$. The map $p$ extends to a Lie groupoid morphism $p:E\rtimes G\to G$ from the action groupoid $E\rtimes G$ into $G$ defined by $p(e,g)=g$, which covers the covering map $E\to M$. We say that $E$ is \emph{universal} if the action groupoid $E\rtimes G\rr E$ is $(E\rtimes G)$-connected and the fundamental groupoid $\Pi_1(E\rtimes G,e_0)$ is trivial for one (hence all) base-point $e_0\in E$. The latter kind of Lie groupoids shall be called \emph{simply $G$-connected}.
\begin{example}\label{ExaUnivesal}
There is an explicit way to construct the universal covering space over $G\rr M$ when is $G$-connected. Namely, the target fiber $\Pi_1(G)(-,x_0)$ at $x_0\in M$ of the fundamental groupoid $\Pi_1(G)$ of $G$ becomes a covering space over $M$ by restricting the source map $s:\Pi_1(G)(-,x_0)\to M$. In fact, this map is a left principal $\Pi_1(G, x_0)$-bundle. Also, there is a natural right $G$-action on $\Pi_1(G)(-,x_0)$ along $s$ given by $([\sigma],g)\to [\sigma g c_{s(g)}]$, where $c_{s(g)}$ is the constant map at $s(g)$, which makes it into a covering space over $G$. This is actually a universal covering space over $G$, see \cite[p. 612-613]{BH}.
\end{example}
It is well known that $G$-paths have a unique path lifting property, visit \cite[p. 191]{MoMr}. Let $e_0$ be a base-point in $E$, denote $x_0 = p(e_0)$, and suppose
that $\sigma=\sigma_ng_n\sigma_{n-1}\cdots \sigma_1g_1\sigma_0$ is a $G$-path from $x_0$ to $x$. Then there are unique paths
$\tilde{\sigma_n}, \tilde{\sigma_{n-1}}, \cdots, \tilde{\sigma_0}$ in $E$ with $p_\ast(\tilde{\sigma_j}) = \sigma_j$, $\tilde{\sigma_0}(0)=e_0$ and $\tilde{\sigma_i}(0)g_j = \tilde{\sigma_{j-1}}(1)$. By setting $\tilde{\sigma_j}(0)=e_j$ and $(e_j,g_j):e_jg_j\to e_j$ the arrows in $E\rtimes G$ it follows that $\tilde{\sigma}=\tilde{\sigma_n}(e_n,g_n) \tilde{\sigma_{n-1}} \cdots (e_1,g_1)\tilde{\sigma_0}$ is the unique $(E\rtimes G)$-path starting at $e_0$ which projects onto $\sigma$. Since $G$-homotopic paths are in this way lifted to $(E\rtimes G)$-homotopic paths, it holds that any covering space over $G$ with a base-point $e_0$ as above has a natural fiber-wise action of $\Pi_1(G, x_0)$. Indeed, if $[\sigma]$ is the $G$-homotopy class of a $G$-loop at $x_0$ then we define $e_0\cdot [\sigma]:= \tilde{\sigma_n}(1)$. This defines a right action of $\Pi_1(G, x_0)$ on $p^{-1}(x_0)$. As a consequence of the previous lifting property we get that the induced group homomorphism $\Pi_1(E\rtimes G, e_0)\to \Pi_1(G,x_0)$ is injective, see \cite[p. 611]{BH}.
Let us assume that the action groupoid $E\rtimes G\rr E$ is $(E\rtimes G)$-connected. Thus, it is simple to check that the action of $\Pi_1(G, x_0)$ on $p^{-1}(x_0)$ is transitive which implies that $p^{-1}(x_0)$ is homogeneous. That is, it is isomorphic to the quotient $\Pi_1(G, x_0)/p_\ast(\Pi_1(E\rtimes G, e_0))$ since the isotropy at $e_0$ agrees with $p_\ast(\Pi_1(E\rtimes G, e_0))$ by definition. Observe that every element $f\in \Gamma^G(E)$ induces an automorphism of $p^{-1}(x_0)$ when seeing it as a $\Pi_1(G, x_0)$-space. Indeed, if $F:E\rtimes G\to E\rtimes G$ is the groupoid automorphism $F(e,g)=(f(e),g)$ induced by $f$ then note that the $(E\rtimes G)$-path $F_\ast(\tilde{\sigma})$ has initial point $f(e_0)$ and final point $f(e_0\cdot [\sigma])$ and satisfies $p_\ast(F_\ast(\tilde{\sigma}))=\sigma$, which means that it is also a lift of $\sigma$. Therefore, $f(e_0)\cdot [\sigma]=f(e_0\cdot [\sigma])$ by uniqueness.
Just as in the classical case it follows that if our covering space $E$ over $G$ is universal then $\Gamma^G(E)\cong \Pi_1(G,x_0)$, see for instance \cite[p. 612]{BH}. This important fact together with the previous comments allow us to prove the following result.
\begin{proposition}\label{Covering}
If $H$ is a subgroup of $\Pi_1(G,x_0)$ then there exists a covering $r:F\to M$ over $G$ such that $r_\ast(\Pi_1(F\rtimes G, e_0))=H$.
\end{proposition}
\begin{proof}
Let us fix a universal covering $p:E\to M$ over $G$, see Example \ref{ExaUnivesal}. As $\Gamma^G(E)\cong \Pi_1(G,x_0)$ and $\Gamma^G(E)$ acts on the fibers $p^{-1}(x_0)$ without any fixed points then we may assume that $\Pi_1(G,x_0)$ acts on it without fixed points, see \cite[p. 612]{BH}. Choose $e_0\in p^{-1}(x_0)$ and define the subgroup $H'$ of $\Gamma^G(E)$ as follows: $f\in H'$ if and only if there exists $[\sigma]\in H$ such that $f(e_0)=e_0\cdot [\sigma]$. It is simple to check that $H$ and $H'$ are isomorphic. As $H'$ is a subgroup of $\Gamma^G(E)$ it is actually a properly discontinuous subgroup of diffeomorphisms of $E$. Let us define $F$ as the quotient manifold $E/H'$ and denote by $q:E\to F$ the corresponding canonical projection. It is well known that this is also a covering space. Denote by $r:F\to M$ the induced smooth map defined as $r([e])=p(e)$. As $r\circ q=p$ it follows that $r$ is also a covering space. The right action of $G$ along $p:E\to M$ induces a well defined right action of $G$ along $q:E\to F$ as $[e]\cdot g:=[e\cdot g]$ which, in turn, induces another right action of $G$ along $r:F\to M$ by the same expression since the elements of $\Gamma^G(E)$ are $G$-equivariant. Therefore, we get that $\Pi_1(G,x_0)$ acts transitively on the right of the fibers $r^{-1}(x_0)$. Let $\tilde{x_0}=q(e_0)\in r^{-1}(x_0)$. Finally, by the construction of $F$ it holds that the isotropy group of the right $\Pi_1(G,x_0)$-action on $r^{-1}(x_0)$ corresponding to $\tilde{x_0}$ is precisely the subgroup $H$. That is, $r_\ast(\Pi_1(F\rtimes G, e_0))=H$.
\end{proof}
\subsection{Groupoid homology with local coefficients}
Motivated by the notion of local coefficients system for topological spaces (see for instance \cite[c. 6]{Wh}), we introduce a corresponding notion as well as its associated homology in the groupoid setting. Let $R$ be a ring. A \emph{local system of $R$-modules} over $G\rr M$ is defined as a function which assigns to any point $x_0\in M$ a left $R$-module $\mathcal{L}_x$ and to any continuous $G$-path $\sigma$ from $x$ to $y$ an $R$-homomorphism $\sigma_\#: \mathcal{L}_y\to \mathcal{L}_x$ such that the following conditions are satisfied:
\begin{itemize}
\item if $\sigma$ and $\sigma'$ are $G$-homotopic then $\sigma_\#=\sigma'_\#$,
\item if $\sigma$ is the constant $G$-path at $x_0$ then $\sigma_\#: \mathcal{L}_{x_0}\to \mathcal{L}_{x_0}$ is the identity map, and
\item if $\sigma_0'(0)=\sigma_n(1)$ then $(\sigma\ast \sigma')_\#=\sigma_\#\circ\sigma'_\#$.
\end{itemize}
Compare with \cite{crainic,Tu}. Note that for any two point $x,y\in M$ it holds that $\mathcal{L}_x$ and $\mathcal{L}_y$ are isomorphic by $G$-connectedness. In particular, any $G$-loop $\sigma$ at $x_0$ determines an automorphism $\sigma_\#: \mathcal{L}_x\to \mathcal{L}_x$ which depends only on its $G$-homotopy class. This implies that the correspondence $[\sigma]\mapsto \sigma_\#$ induces an action of $\Pi_1(G,x_0)$ on $\mathcal{L}_{x_0}$, thus turning $\mathcal{L}_{x_0}$ into a left module over the group ring $R[\Pi_1(G,x_0)]$. A \emph{homomorphism} between two local systems of $R$-modules $\mathcal{L}$ and $\mathcal{L}'$ over $G$ is just natural transformation $\Phi:\mathcal{L}\to \mathcal{L}'$. Namely, for each $x_0\in M$ we have a homomorphism $\Phi_{x_0}:\mathcal{L}_{x_0}\to \mathcal{L}'_{x_0}$ such that for each $G$-path $\sigma$ from $x$ to $y$ it holds $(\sigma_\#)' \circ \Phi_y=\Phi_x\circ \sigma_\#$. If each $\Phi_x$ is an isomorphism then we say that $\mathcal{L}$ and $\mathcal{L}'$ are \emph{isomorphic}.
\begin{lemma}\label{LocalSystemCharacterized}
Suppose that our groupoid is $G$-connected.
\begin{itemize}
\item Let $\mathcal{L}$ and $\mathcal{L}'$ be two local systems of $R$-modules over $G\rr M$ and let $\phi: \mathcal{L}_{x_0}\to \mathcal{L}'_{x_0}$ be an isomorphism. Then there exists a unique isomorphism $\Phi:\mathcal{L}\to \mathcal{L}'$ such that $\Phi_{x_0}=\phi$.
\item Let $\mathcal{L}_0$ be an $R$-module acted upon by $\Pi_1(G,x_0)$. Then there exists a local system of $R$-modules $\mathcal{L}$ such that $\mathcal{L}_{x_0}=\mathcal{L}_0$ and which induces the given action of $\Pi_1(G,x_0)$ on $\mathcal{L}_{x_0}$.
\end{itemize}
\end{lemma}
\begin{proof}
The proofs of these statements are straightforward adaptations of the proofs of Theorems 1.11 and 1.12 in \cite[p. 263]{Wh}, so that they are left as an exercise to the reader.
\end{proof}
\begin{example}\label{ExampleNovikov}
Suppose that $\alpha:\mathbb{Z}[\Pi_1(G,x_0)]\to R$ is a ring homomorphism. We may view $R$ as a left $\mathbb{Z}[\Pi_1(G,x_0)]$-module with the action $[\sigma]\cdot r:= r\alpha([\sigma])$. Such an action commutes with the standard left $R$-module structure on $R$. Therefore, by Lemma \ref{LocalSystemCharacterized} it follows that $\alpha$ determines a local system of $\mathcal{L}_\alpha$ of $R$-modules over $G\rr M$. Note that each module $(\mathcal{L}_\alpha)_x$ is isomorphic to $R$.
\end{example}
Let $\mathcal{L}$ be a local system of $R$-modules over $G$ and consider the nerve structure $\lbrace G^{(n)}, d^n_k\rbrace$ of $G$. Let $\lambda_n:G^{(n)}\to G^{(0)}$ denote the ``last vertex'' map $\lambda_n(g_1,\cdots,g_n)=s(g_n)$ with $\lambda_0=\textnormal{id}_{G^{(0)}}$. We define $C^q(G^{(n)},\mathcal{L})$ as the set of all functions $c$ with the following properties:
\begin{enumerate}
\item[$a.$] for any $n$-singular $q$-simplex $\Sigma: \triangle_q\to G^{(n)}$ the value $c(\Sigma)$ is defined and belongs to the $R$-module $\mathcal{L}_{\lambda_n(\Sigma(a_0))}$. Here we assume that $a_0$ is the first vertex of the standard simplex $\triangle_q$ with vertices $a_0,a_1,\cdots, a_q$, and
\item[$b.$] the set of $n$-singular $q$-simpleces $\Sigma$ such that $c(\Sigma)\neq 0$ is finite.
\end{enumerate}
The elements of $C_q(G^{(n)},\mathcal{L})$ are called \emph{$n$-singular $q$-chains with coefficients in $\mathcal{L}$}. Note that any chain $c\in C_q(G^{(n)},\mathcal{L})$ can be formally written as a finite sum of the form $c=\sum_j v_j\cdot \Sigma_j$ where $\Sigma_j:\triangle_q\to G^{(n)}$ are $n$-singular $q$-simplices and $v_j\in \mathcal{L}_{\lambda_n(\Sigma_j(a_0))}$. That is, $c(\Sigma_j)=v_j$ and $c(\Sigma)=0$ for any $n$-singular $q$-simplex $\Sigma$ different from $\Sigma_j$. Let $c=v\cdot \Sigma$ be an elementary $n$-chain (i.e. the sum above contains only one term). On the one hand, we define the boundary homomorphism $\partial: C_q(G^{(n)},\mathcal{L})\to C_q(G^{(n-1)},\mathcal{L})$ as
$$\partial c=\partial(v\cdot \Sigma)=\sum_{k=0}^{n-1}(-1)^kv\cdot (d_k^n\circ \Sigma)+(-1)^{n} (g^\Sigma_n)^{-1}_\#(v)\cdot (d^n_n\circ \Sigma).$$
Here $g^\Sigma_n$ denotes the arrow determined by the $n$-projection of $\Sigma(a_0)\in G^{(n)}$ onto $G^{(1)}$ and $(g^\Sigma_n)^{-1}_\#$ is the inverse of the isomorphism $(g^\Sigma_n)_\#:\mathcal{L}_{t(g^\Sigma_n)}\to \mathcal{L}_{s(g^\Sigma_n)}$ which is induced by the arrow $g^\Sigma_n$, viewed as a $G$-path from $s(g^\Sigma_n)=\lambda_n(\Sigma(a_0))$ to $t(g^\Sigma_n)=s(g^\Sigma_{n-1})=\lambda_{n-1}(d^n_n\circ \Sigma(a_0))$. It is well known that $\partial^2=0$, compare \cite{crainic,crainicMoer, Tu}. On the other hand, we also define the boundary operator $\overline{d}: C_q(G^{(n)},\mathcal{L})\to C_{q-1}(G^{(n)},\mathcal{L})$ as
$$\overline{d}c=\overline{d}(v\cdot\Sigma)=\sigma_\#(v)\cdot d_0(\Sigma)+\sum_{j=1}^{q}(-1)^j v\cdot d_j(\Sigma).$$
In this case $d$ denotes the usual homology boundary operator and $\sigma:[0,1]\to G^{(0)}$ is the path from $\lambda_n(\Sigma(a_1))$ to $\lambda_n(\Sigma(a_0))$ defined by $\sigma(\tau)=\lambda_n(\Sigma((1-\tau)a_1+\tau a_0))$, which has corresponding isomorphism $\sigma_\#:\mathcal{L}_{\lambda_n(\Sigma(a_0))}\to \mathcal{L}_{\lambda_n(\Sigma(a_1))}$. This operator also satisfies $\overline{d}^2=0$, see \cite[p. 266]{Wh}.
\begin{lemma}\label{LemDoubleComplex}
The boundary operators $\partial$ and $\overline{d}$ commute.
\end{lemma}
\begin{proof}
On the one side,
\begin{eqnarray*}
\overline{d}(\partial(c)) &= & \sum_{k=0}^{n-1}(-1)^k(\sigma_k)_\#(v)\cdot d_0(d_k^n\circ \Sigma))+ \sum_{k=0}^{n-1}\sum_{j=1}^{q}(-1)^{k+j}v\cdot d_j(d_k^n\circ \Sigma))\\
& + & (-1)^n((\sigma_n)_\#((g^\Sigma_n)^{-1}_\#(v)))(d_0(d^n_n\circ \Sigma))+\sum_{j=1}^{q}(-1)^{j+n}(g^\Sigma_n)^{-1}_\#(v)\cdot d_j(d_n^n\circ \Sigma)),
\end{eqnarray*}
where $\sigma_k(\tau)=(\lambda_{n-1}\circ d_k^n) (\Sigma((1-\tau)a_1+\tau a_0))$ for all $k=0,1,\cdots, n$. On the other side,
\begin{eqnarray*}
\partial(\overline{d}(c)) &= & \sum_{k=0}^{n-1}(-1)^k\sigma_\#(v)\cdot d_k^n\circ d_0(\Sigma)+ \sum_{j=1}^{q}\sum_{k=0}^{n-1}(-1)^{j+k}v\cdot d_k^n\circ d_j(\Sigma)\\
& + & (-1)^n(g^{d_0(\Sigma)}_n)^{-1}_\#(\sigma_\#(v))\cdot d^n_n\circ d_0(\Sigma)+\sum_{j=1}^{q}(-1)^{j+n}(g^{d_j(\Sigma)}_n)^{-1}_\#(v)\cdot d_n^n\circ d_j(\Sigma).
\end{eqnarray*}
Firstly, note that for all $k=0,1,\cdots, n-1$ it holds that $\lambda_{n-1}\circ d_k^n=\lambda_{n}$ so that the first two expressions in the right hand side of the above equalities agree. The second two expressions are exactly the same. Secondly, as $d_j(\Sigma)(a_0)=\Sigma(a_0)$ for all $j=1,\cdots, q$ then $g^{d_j(\Sigma)}_n=g^{\Sigma}_n$ which implies that the last expressions also agree. It remains to prove that $(\sigma_n)_\#\circ(g^\Sigma_n)^{-1}_\#=(g^{d_0(\Sigma)}_n)^{-1}_\#\circ(\sigma)_\#$. Observe that $\lambda_{n-1}(d^n_n\circ \Sigma(a_1))=\lambda_{n-1}(\Sigma(a_1))$ so that $\sigma_n\ast(g^\Sigma_n)^{-1}$ and $(g^{d_0(\Sigma)}_n)^{-1}\ast\sigma$ are two $G$-paths from $\lambda_{n-1}(\Sigma(a_1))$ to $\lambda_{n}(\Sigma(a_0))$. Define the path $\gamma:[0,1]\to G^{(1)}$ as $\gamma(\tau)=(\textnormal{pr}_n(\Sigma((1-\tau)a_1+\tau a_0)))^{-1}$. This is such that $\gamma(0)=(g^{d_0(\Sigma)}_n)^{-1}$ and $\gamma(1)=(g^\Sigma_n)^{-1}$. Also, $t\circ \gamma= \sigma$ and $s\circ \gamma= \sigma_n$. Therefore, since $\gamma(1)$ is $G$-homotopic to the $G$-path $(s\circ \gamma)^{-1} \gamma(0)(t\circ \gamma)$ (see \cite[p. 191]{MoMr}), it holds that the $G$-paths above are $G$-homotopic and the result follows as desired.
\end{proof}
The total homology associated to the double chain complex $\lbrace C_\bullet(G^{(\bullet)},\mathcal{L}),\partial,\overline{d} \rbrace$ will be denoted by $H_\bullet^{\textnormal{tot}}(G,\mathcal{L})$ and called the \emph{groupoid homology of $G\rr M$ with local coefficients in $\mathcal{L}$}. Let $\phi:(G\rr M)\to (G'\rr M')$ be a Lie groupoid morphism and suppose that $\mathcal{L}$ is a local system of $R$-modules over $G'$. By using the induced Lie groupoid morphism $\phi_\ast:(\Pi_1(G)\rr M)\to (\Pi_1(G')\rr M')$ it is possible to define another local system of $R$-modules $\phi^\ast \mathcal{L}$ over $G$ by setting $(\phi^\ast \mathcal{L})_x=\mathcal{L}_{\phi_0(x)}$. Let $c=\sum_j v_j\cdot \Sigma_j$ be an $n$-singular $q$-chain in $C_q(G^{(n)},\phi^\ast \mathcal{L})$. As $v_j\in (\phi^\ast \mathcal{L})_{\lambda_n(\Sigma_j)(a_0)}=\mathcal{L}_{\lambda'_n(\phi_n\circ \Sigma_j)(a_0)}$ then we have a well defined map $\phi_\ast:C_q(G^{(n)},\phi^\ast \mathcal{L})\to C_q(G'^{(n)},\mathcal{L})$ given as $\phi_\ast(\sum_j v_j\cdot \Sigma_j)=\sum_j v_j\cdot (\phi_n\circ\Sigma_j)$. It is simple to check that $\phi_\ast$ commutes with both pairs of boundary operators $\partial,\overline{d}$ and $\partial',\overline{d}'$ so that we have a well defined group homomorphism $\phi_\ast:H_\bullet^{\textnormal{tot}}(G,\phi^\ast \mathcal{L})\to H_\bullet^{\textnormal{tot}}(G',\mathcal{L})$. It is well known that if $\phi$ is a Morita map then horizontal homologies defined by $\partial$ and $\partial'$ are isomorphic, see \cite{crainic,crainicMoer} and \cite[p. 214]{MoMr}. Thus, by using a usual argument of spectral sequences (see for instance \cite[p. 108]{BT}), we conclude:
\begin{proposition}\label{MoritaLocal}
A Morita map $\phi:G\to G'$ induces an isomorphism $\phi_\ast:H_\bullet^{\textnormal{tot}}(G,\phi^\ast \mathcal{L})\to H_\bullet^{\textnormal{tot}}(G',\mathcal{L})$.
\end{proposition}
Let us fix a universal covering $p:E\to M$ over $G$ and consider the action groupoid $E\rtimes G\rr E$, see Example \ref{ExaUnivesal}. Recall that $p$ extends to a Lie groupoid morphism $p:E\rtimes G\to G$, defined by $p(e,g)=g$, which covers the covering map $E\to M$. Pick $x_0\in M$. We know that $\Gamma^G(E)\cong \Pi_1(G,x_0)$ where the isomorphism is as follows. The group $\Gamma^G(E)$ acts simply transitively on the fiber $p^{-1}(x_0)$. Take $e_0\in p^{-1}(x_0)$. Given $f\in \Gamma^G(E)$, let $\tilde{\sigma}$ be a $E\rtimes G$-path joining $f(e_0)$ with $e_0$. Define the map $\beta:\Gamma^G(E)\to \Pi_1(G,x_0)$ as $\beta(f)=[p_\ast(\tilde{\sigma})]$. Observe that $\beta$ does not depend on $\tilde{\sigma}$ since $\Pi_1(E\rtimes G,e_0)$ is trivial. This is the isomorphism we are interested in. For every $[\sigma]\in \Pi_1(G,x_0)$ we denote by $\beta_{[\sigma]}=\beta^{-1}([\sigma])$ the corresponding element in $\Gamma^G(E)$. That is, $[\sigma]$ can be presented by $p_\ast(\tilde{\sigma})$ where $\tilde{\sigma}$ is any $E\rtimes G$-path from $e_0$ to $\beta_{[\sigma]}(e_0)$.
Let us now consider nerve structure $\lbrace E^{(n)}, (d^n_k)^E\rbrace$ of the action groupoid $E\rtimes G\rr E$
as well as its total singular groupoid homology. The group $\Gamma^G(E)$ acts naturally on $C_q(E^{(n)},\mathbb{Z})$ as follows. Let $f_1:E\rtimes G\to E\rtimes G$ be the groupoid automorphism $f_1(e,g)=(f_0(e),g)$ induced by $f_0=f\in \Gamma^G(E)$. So, $f\cdot \Sigma = f_n\circ \Sigma$ for $\Sigma:\triangle_q\to E^{(n)}$ where $f_n:E^{(n)}\to E^{(n)}$ is the induced map along the nerve. Let $\mathcal{L}$ be a local system of $R$-modules over $G$. Denote by $\mathcal{L}_0:=\mathcal{L}_{x_0}$. It is clear that $\Pi_1(G,x_0)$ acts on $\mathcal{L}_0$ from the left. We transform this action into a right action of $\Gamma^G(E)$ on $\mathcal{L}_0$ by setting $v\cdot \beta_{[\sigma]}=(\sigma_\#)^{-1}(v)$. Let us denote by $\mathcal{L}_0\otimes_{\Gamma^G(E)} C_q(E^{(n)},\mathbb{Z})$ the quotient group of the tensor product $\mathcal{L}_0\otimes C_q(E^{(n)},\mathbb{Z})$ by the subgroup $Q_q(\mathcal{L}_0,E^{(n)})$ generated by all elements of the form $v\cdot f\otimes \Sigma - v\otimes f\cdot \Sigma$ with $v\in \mathcal{L}_0$, $f\in \Gamma^G(E)$, and $\Sigma\in C_q(E^{(n)},\mathbb{Z})$. Observe that, after naturally extending them to the tensor product, the simplicial boundary operator $\partial$ maps $Q_q(\mathcal{L}_0,E^{(n)})$ onto $Q_{q}(\mathcal{L}_0,E^{(n-1)})$ and the homology boundary operator $d$ maps $Q_q(\mathcal{L}_0,E^{(n)})$ onto $Q_{q-1}(\mathcal{L}_0,E^{(n)})$ so that they pass to the quotient, thus giving rise to well defined boundary operators $\partial:\mathcal{L}_0\otimes_{\Gamma^G(E)} C_q(E^{(n)},\mathbb{Z})\to \mathcal{L}_0\otimes_{\Gamma^G(E)} C_q(E^{(n-1)},\mathbb{Z})$ and $d:\mathcal{L}_0\otimes_{\Gamma^G(E)} C_q(E^{(n)},\mathbb{Z})\to \mathcal{L}_0\otimes_{\Gamma^G(E)} C_{q-1}(E^{(n)},\mathbb{Z})$. Hence, we have obtained a double chain complex $\lbrace\mathcal{L}_0\otimes_{\Gamma^G(E)} C_\bullet(E^{(\bullet)},\mathbb{Z}),\partial,d\rbrace$ whose associated total cohomology will be denoted by $H_\bullet(\mathcal{L}_0\otimes_{\Gamma^G(E)}E,\mathbb{Z})$. We are now in conditions to prove our $G$-version of the well known \emph{Eilenberg homology isomorphism}, namely:
\begin{proposition}[Eilenberg $G$-isomorphism]\label{EilenbergProp}
There exists a chain isomorphism between $\mathcal{L}_0\otimes_{\Gamma^G(E)} C_\bullet(E^{(\bullet)},\mathbb{Z})$ and $C_\bullet(G^{(\bullet)},\mathcal{L})$. In particular, the total homologies $H_\bullet(\mathcal{L}_0\otimes_{\Gamma^G(E)}E,\mathbb{Z})$ and $H_\bullet^{\textnormal{tot}}(G,\mathcal{L})$ are isomorphic.
\end{proposition}
\begin{proof}
Let us first exhibit isomorphisms $\tilde{p}: \mathcal{L}_0\otimes_{\Gamma^G(E)} C_q(E^{(n)},\mathbb{Z})\to C_q(G^{(n)},\mathcal{L})$. It is clear that the simply $E\rtimes G$-connectedness implies that for each $e\in E$ there exists a unique $E\rtimes G$-homotopy class $[\xi_{e}]$ presented by any $E\rtimes G$-path $\xi_{e}$ from $e$ to $e_0$. Denote by $p_n:E^{(n)}\to G^{(n)}$ the map induced by $p$ along the nerves. Let $v_0\in \mathcal{L}_0$, $\Sigma:\triangle_q\to E^{(n)}$, $\Lambda=p_n\circ \Sigma$, $e=\lambda^{E}_n(\Sigma(a_0))$, $x=\lambda^{G}_n(\Lambda(a_0))=p(e)$ and define $\tilde{p}_o: \mathcal{L}_0\otimes C_q(E^{(n)},\mathbb{Z})\to C_q(G^{(n)},\mathcal{L})$ by
$$\tilde{p}_o(v_0\otimes \Sigma )= v\cdot \Lambda,$$
where $v=(p_\ast(\xi_{e}))_\#(v_0)\in \mathcal{L}_x$. Analogously to how it was proven in Theorem 3.4 from \cite[p. 279]{Wh} it is simple to check that $\tilde{p}_o Q_q(\mathcal{L}_0,E^{(n)})=0$, so that $\tilde{p}_o$ induces a homomorphism $\tilde{p}: \mathcal{L}_0\otimes_{\Gamma^G(E)} C_q(E^{(n)},\mathbb{Z})\to C_q(G^{(n)},\mathcal{L})$ which is actually an isomorphism. It remains to verify that these maps determine a chain map between the double chain complexes involved.
Firstly, recall that $d_j(\Sigma(a_0))=\Sigma(a_0)$ for all $1\leq j\leq q$ so that
$$\tilde{p}_o(d_j(v_0\otimes \Sigma))=\tilde{p}_o(v_0\otimes d_j(\Sigma))=v\cdot (p_n\circ (d_j(\Sigma)))=v\cdot d_j(\Lambda)=\overline{d}_j(\tilde{p}_o(v_0\otimes \Sigma)).$$
As usual, denote by $\sigma(\tau)=\lambda_n^E(\Sigma((1-\tau)a_1+\tau a_0))$. Note that $e'=\lambda_n^E(d_0(\Sigma)(a_0))=\lambda_n^E(\Sigma(a_1))$, thus obtaining $\xi_{e'}=\sigma\ast \xi_{e}$. Hence
$$\tilde{p}_o(d_0(v_0\otimes \Sigma))=\tilde{p}_o(v_0\otimes d_0(\Sigma))=v'\cdot (p_n\circ (d_0(\Sigma)))=v'\cdot d_0(\Lambda),$$
where
$$v'=(p_\ast(\xi_{e'}))_\#(v_0)=(p_\ast(\sigma)\ast p_\ast(\xi_{e}))_\#(v_0)=(p_\ast(\sigma))_\# (v).$$
But $p\circ \lambda_n^E=\lambda_n^G\circ p_n$ so that $p_\ast(\sigma)(\tau)=\lambda_n^G(\Lambda((1-\tau)a_1+\tau a_0))$. That is, $\tilde{p}_o(d_0(v_0\otimes \Sigma))=\overline{d}_0(\tilde{p}_o(v_0\otimes \Sigma))$.
Secondly, observe that for $ 0\leq k\leq n-1$ we have
\begin{eqnarray*}
\tilde{p}_o(\partial_k^E(v_0\otimes \Sigma)) &=& \tilde{p}_o(v_0\otimes (d_k^n)^E\circ \Sigma)=v\cdot (p_{n-1}\circ (d_k^n)^E\circ \Sigma)\\
&=&v\cdot ((d_k^n)^G\circ p_{n}\circ \Sigma)=v\cdot (d_k^n)^G\circ\Lambda=\partial_k^G(\tilde{p}_o(v_0\otimes \Sigma)).
\end{eqnarray*}
We denote by $e^\Sigma_n$ the arrow determined by the $n$-projection of $\Sigma(a_0)\in E^{(n)}$ onto $E\rtimes G$. Observe that $e'=\lambda_{n-1}^E((d_n^n)^E\circ\Sigma)(a_0))=s(e^\Sigma_{n-1})=t(e^\Sigma_n)$ which implies that $\xi_{e'}=(e^\Sigma_n)^{-1}\ast \xi_{e}$. Thus,
$$\tilde{p}_o(\partial_n^E(v_0\otimes \Sigma))=\tilde{p}_o(v_0\otimes (d_n^n)^E\circ(\Sigma))=v'\cdot (p_{n-1}\circ ((d_n^n)^E\circ(\Sigma)))=v'\cdot (d_n^n)^G\circ\Lambda,$$
where
$$v'=(p_\ast(\xi_{e'}))_\#(v_0)=(p_\ast((e^\Sigma_n)^{-1})\ast p_\ast(\xi_{e}))_\#(v_0)=(p(e^\Sigma_n)^{-1})_\# (v)=((g^\Lambda_n)^{-1})_\# (v),$$
since $p\circ \textnormal{pr}_n^E=\textnormal{pr}_n^G\circ p_n$. In consequence, $\tilde{p}_o(\partial_n^E(v_0\otimes \Sigma))=\partial_n^G(\tilde{p}_o(v_0\otimes \Sigma))$. This completes the proof.
\end{proof}
\begin{remark}
It is worth mentioning that similarly to how they were defined the total homology groups $H_\bullet^{\textnormal{tot}}(G,\mathcal{L})$ it is possible to define total cohomology groups $H^\bullet_{\textnormal{tot}}(G,\mathcal{L})$ as well as to prove a $G$-version of the Eilenberg cohomology isomorphism. This can be done by mimicking our approach together with the classical constructions, see \cite[p. 14]{F}.
\end{remark}
\section{Closed basic 1-forms}\label{S:3}
We say that a Lie groupoid $G\rr M$ is \emph{proper} if the source/target map $(s,t):G\to M\times M$ is proper. In this case the groupoid orbits $\mathcal{O}_x$ are embedded in $M$, the isotropy groups $G_x$ are compact, and the orbit space $M/G$ is Hausdorff, second-countable, and paracompact, visit \cite{dH}. Let $G\rr M$ be a proper groupoid and denote by $X=M/G$ its corresponding orbit space. A differential form $\omega$ on $M$ is said to be \emph{basic} if $s^\ast \omega=t^\ast \omega$, see \cite{PPT,Wa}. The set of basic forms will be denoted by $\Omega_{\textnormal{bas}}^\bullet(G)$. It is clear that the de Rham exterior differential on $\Omega^\bullet(M)$ restricts to $\Omega_{\textnormal{bas}}^\bullet(G)$, thus yielding the so-called \emph{basic cohomology} $H_{\textnormal{bas}}^\bullet(G,\mathbb{R})$ of $G$. Such a cohomology is Morita invariant and also satisfies that $H^\bullet(X,\mathbb{R})\cong H_{\textnormal{bas}}^\bullet(G,\mathbb{R})$, where $H^\bullet(X,\mathbb{R})$ denotes the singular cohomology of $X$.
\subsection{G-homomorphisms of periods}
Let $\omega$ be a closed basic $1$-form on $G$ and let $\xi$ denote the basic cohomology class $[\omega]\in H_{\textnormal{bas}}^1(G,\mathbb{R})$. We are interested in studying some features of $\xi$ by defining its $G$-homomorphism of periods as well as its corresponding covering space. In order to do so we will make use of the topological ingredients described in the previous section. For each smooth $G$-path $\sigma=\sigma_ng_n\sigma_{n-1}\cdots \sigma_1g_1\sigma_0$ in $M$ we define the $G$-path integral
$$\int_{\sigma}\omega=\sum_{k=0}^{n}\int_{\sigma_k}\omega.$$
\begin{lemma}\label{Lem1}
Let $[\sigma]$ denote the $G$-homotopy class of $\sigma$. Then the expression
$$\int_{[\sigma]}\omega=\int_{\sigma}\omega,$$
is well defined.
\end{lemma}
\begin{proof}
Let us pick another $G$-path $\sigma'$ being $G$-homotopic to $\sigma$. If $\sigma$ and $\sigma'$ are equivalent then the assertion is trivial. Suppose then that there is a smooth $G$-homotopy $D(\tau,\cdot)=D_n(\tau,\cdot)d_n(\tau)\cdots d_1(\tau)D_0(\tau,\cdot)$ from $\sigma$ to $\sigma'$ with fixed endpoints $x$ and $y$. It suffices to check that the expression
$$I_\tau=\int_{D(\tau,\cdot)}\omega= \sum_{k=0}^{n}\int_{0}^{1}\omega_{D_k(\tau,\nu)}(D_k'(\tau,\nu))d\nu,$$
does not depend on $\tau$ by differentiating it with respect to $\tau$. However, this computation can be verified in local coordinates as in the classical case by using the fact that $\omega$ is a closed basic $1$-form and the following identities are satisfied: $D_k(\tau,0)=t(d_k(\tau))$, $D_{k-1}(\tau,1)=s(d_k(\tau))$ for all $k=1,\cdots,n$ and $D_0(\tau,0)=x$, $D_n(\tau,1)=y$ for all $\tau\in [0,1]$.
% We know that $\omega$ can be locally written as $\omega=df_U$ where $f_U$ is a basic function over some open subset $U$. We may assume for simplicity that the $G$-homotopy $D$ lies inside $U$, otherwise we may break up the integral $I_\tau$ into pieces that fit into open subsets considered with the above property. Note that by possibly breaking the paths in $D(\tau,\cdot)$ this way we get another $G$-path being equivalent to $D(\tau,\cdot)$, so that the result of the integral along this new $G$-path does not change. Therefore, if $\omega=df_U$ then the assertion follows as in the classical case after using the fact that $f_U$ is basic.
\end{proof}
\begin{remark}\label{RemarkBasicCohomologous}
Suppose that $\omega$ and $\omega'$ are basic-cohomologous closed basic 1-forms. That is, there is a basic smooth function $f:M\to \mathbb{R}$ such that $\omega-\omega'=df$. By arguing as in Lemma \ref{FormulaEqui} below it is simple to check that $\int_\sigma (\omega-\omega')=\int_\sigma df=f(\sigma_n(1))-f(\sigma_0(0))$ since $f$ is basic. In consequence, the expression $\int_{[\sigma]}\xi=\int_{\sigma}\omega$ is also well defined when $\sigma$ is a $G$-loop.
\end{remark}
The first interesting consequence of the previous result is the following.
\begin{proposition}\label{BasicTrivial}
If $G\rr M$ is simply $G$-connected then $H_{\textnormal{bas}}^1(G,\mathbb{R})=0$.
\end{proposition}
\begin{proof}
Let $\omega$ be a closed basic $1$-form and define $f(x)=\int_{\lambda_x}\omega$ where $\lambda_x$ is any $G$-path joining $x_0$ with $x$. This function is smooth and well defined since $\Pi_1(G,x_0)$ is trivial. Let $\gamma:[1,3]\to M$ be a smooth path such that $\gamma(2)=x$ and $\gamma'(2)=X_x\in T_xM$. Let $\lambda_{\gamma(1)}$ be a fixed $G$-path from $x_0$ to $\gamma(1)$ and consider the $G$-path $\lambda_{\gamma(\tau)}=\gamma|_{[1,\tau]}1_{\gamma(1)}\lambda_{\gamma(1)}$ for $1\leq\tau\leq 3$. Observe that $f(\gamma(\tau))=f(\gamma(1))+\int_1^{\tau}\omega_{\gamma(\nu)}(\gamma'(\nu)) d\nu$. Thus
$$
df_x(X_x) = \frac{d}{d\tau}\left( f(\gamma(1))+\int_1^{\tau}\omega_{\gamma(\nu)}(\gamma'(\nu)) d\nu\right)|_{\tau=2}= \frac{d}{d\tau}\left(\int_1^{\tau}\omega_{\gamma(\nu)}(\gamma'(\nu)) d\nu\right)|_{\tau=2}=\omega_x(X_x).$$
Let us now check that $f$ is basic. If $g\in G$ then it follows that $\lambda_{t(g)}= c_{t(g)}g\lambda_{s(g)}$, where $c_{t(g)}$ denotes the constant path at $t(g)$ and $\lambda_{s(g)}$ is any $G$-path from $x_0$ to $s(g)$, is a $G$-path joining $x_0$ with $t(g)$. Note that by definition $\int_{\lambda_{t(g)}}\omega=\int_{\lambda_{s(g)}}\omega$ since the $G$-path $c_{t(g)}g$ does not contribute to the $G$-path integral of the left hand side. Hence, $f(s(g))=f(t(g))$ as desired.
\end{proof}
If $\Pi_1(G,x_0)$ is the fundamental group of $G$ at the base-point $x_0\in M$ then from Lemma \ref{Lem1} we get a well defined group homomorphism $l_{\omega}:\Pi_1(G,x_0)\to (\mathbb{R},+)$ by sending $[\sigma]\mapsto \int_{\sigma}\omega$. Since $\mathbb{R}$ is abelian it follows that $l_\omega$ factors through the Hurewicz $G$-homomorphism $h$ from Proposition \ref{Hur} by a uniquely determined group homomorphism $\textnormal{Per}_\xi: H_1(G,\mathbb{Z})\to \mathbb{R}$ which only depends on the cohomology class $[\omega]\in H_{\textnormal{bas}}^1(G,\mathbb{R})$, see Remark \ref{RemarkBasicCohomologous}. This will be called the \emph{$G$-homomorphism of periods} of $\omega$.
Let $d\theta$ denote the angle form on $S^1$. Here $\theta=\frac{1}{2\pi}\phi$ where $\phi$ is the angle multi-valued function on $S^1$. This is a closed 1-form without zeroes which can not be presented as the differential of a smooth function. The latter fact is consequence of the Stokes Theorem and the fact that $\int_{S^1}d\theta=1$. It is clear that if $f:M\to S^1$ is basic then $f^\ast(d\theta)$ becomes a closed basic $1$-form on $M$. Let us characterize the closed basic 1-forms that can be obtained in this way.
\begin{proposition}\label{IntegralClass}
Let $\omega$ be a closed basic 1-form on $M$. Then $\omega=f^\ast(d\theta)$ where $f:M\to S^1$ is a smooth basic function if and only if the cohomology class $\xi=[\omega]\in H_{\textnormal{bas}}^1(G,\mathbb{R})$ is integral, that is, $\xi\in H_{\textnormal{bas}}^1(G,\mathbb{Z})=H_{\textnormal{bas}}^1(G,\mathbb{R})\cap H^1(M,\mathbb{Z})$.
\end{proposition}
\begin{proof}
We will mainly follow the classical proof of this result as in \cite[p. 37]{F}. Suppose that $\omega=f^\ast(d\theta)$ with $f:M\to S^1$ basic. Note that $f$ induces a Lie groupoid morphism $F:(G\rr M)\to (S^1\rr S^1)$ where $F$ is either given by $s^\ast f$ or $t^\ast f$. Therefore, if $\sigma=\sigma_ng_n\sigma_{n-1}\cdots \sigma_1g_1\sigma_0$ is a $G$-loop then $$f_\ast(\sigma)=f_\ast(\sigma_n)1_{f_\ast(\sigma_n)(0)}f_\ast(\sigma_{n-1})\cdots f_\ast(\sigma_1)1_{f_\ast(\sigma_1)(0)}f_\ast(\sigma_0),$$
turns out to be equivalent to a usual loop on $S^1$ (actually, we obtain a branch of loops formed by $f_\ast(\sigma_j)$ with $j=0,1,\cdots,n$). In consequence, the number
$$\int_{\sigma}\omega= \sum_{k=0}^{n}\int_{\sigma_k}f^\ast(d\theta)=\sum_{k=0}^{n}\int_{f_\ast(\sigma_k)}d\theta=\int_{f_\ast(\sigma)}d\theta\in \mathbb{Z},$$
is an integer since it agrees with the sum of the degrees of the loops $f_\ast(\sigma_j)$ on $S^1$, which clearly computes the degree of the whole branch loop $f_\ast(\sigma)$. Thus, we get that the $G$-homomorphism of periods of any closed basic $1$-form $\omega=f^\ast(d\theta)$ with $f:M\to S^1$ basic takes integral values so that its associated cohomology class lies inside $H_{\textnormal{bas}}^1(G,\mathbb{Z})$.
Conversely, let us now suppose that all the $G$-periods associated to $\xi$ are integral. Fix a base point $x_0\in M$ and define $f(x)=\exp\left( 2\pi \sqrt{-1}\int_{\lambda_x}\omega\right)$, where $\lambda_x$ is any $G$-path joining $x_0$ with $x$. Note that the definition of $f$ does not depend on $\lambda_x$ since if $\lambda'_x$ is another $G$-path from $x_0$ to $x$ then for the $G$-loop at $x_0$ we get $\sigma= (\lambda'_x)^{-1} \ast \lambda_x$ and $\int_{\lambda_x}\omega-\int_{\lambda'_x}\omega=\int_{\sigma}\omega \in \mathbb{Z}$. By performing similar computations as those in the proof of Proposition \ref{BasicTrivial} it is simple to check that $f$ is a smooth basic function satisfying $\omega=f^\ast(d\theta)$.
\end{proof}
It follows from Proposition \ref{Covering} that we can consider a covering space $p:M_{\xi}\to M$ over $G$ which corresponds to the kernel of the $G$-homomorphism of periods $\Pi_1(G,x_0)\to \mathbb{R}$ of the cohomology class $\xi$. Every $(M_{\xi}\rtimes G)$-loop in $M_\xi$ project by $p$ to a $G$-loop in $M$ with trivial periods with respect to $\omega$. Therefore, it follows that the pullback basic 1-form $p^\ast\omega$ is basic exact. That is, there is a basic function $f:M_\xi \to \mathbb{R}$ such that $p^\ast\omega=df$. Recall that the free abelian group of equivariant covering transformations $\Gamma^G(E)$ acts by the left on $M_\xi$. Thus, the cohomology class $\xi$ determines an injective group homomorphism $\alpha_\xi:\Gamma^G(E)\to \mathbb{R}$ with image equal to the group of periods. Indeed, we define $\alpha_\xi$ through the composition $\textnormal{Per}_\xi\circ \beta^{-1}$ where $\beta:\Gamma^G(E)\to \Pi_1(G,x_0)$ as $\beta(f)=[p_\ast(\tilde{\sigma})]$ is the isomorphism previously described. Therefore, for $\varphi\in \Gamma^G(E)$ we choose $x\in M_\xi$ and any $(M_{\xi}\rtimes G)$-path $\tilde{\sigma}$ from $x$ to $\varphi(x)$. Note that $p_\ast(\tilde{\sigma})$ defines a $G$-loop at $p(x)$, so that it also defines a homology class in $|p_\ast(\tilde{\sigma})|\in H_1(G,\mathbb{Z})$. Hence, since $H^1_{dR}(G)\cong \textnormal{Hom}(H_1(G,\mathbb{R}),\mathbb{R})$ and $H_{\textnormal{bas}}^1(G,\mathbb{R})\hookrightarrow H^1_{dR}(G)$ it makes sense to set
\begin{equation}\label{RankDeck}
\alpha_\xi(\varphi)=\langle \xi,|p_\ast(\tilde{\sigma})|\rangle=\int_{p_\ast(\tilde{\sigma})}\omega\in \mathbb{R}.
\end{equation}
Such an expression does not depend on $x$ nor $\tilde{\sigma}$. It is clear that $df=p^\ast \omega$ is invariant by the action of $\Gamma^G(E)$ but $f$ is not, in fact:
\begin{lemma}\label{FormulaEqui}
The following formula holds true
$$f(\varphi(x))=f(x)+\alpha_\xi(\varphi),$$
for all $x\in M_\xi$ and $\varphi\in \Gamma^G(E)$.
\end{lemma}
\begin{proof}
Pick a $(M_{\xi}\rtimes G)$-path $\tilde{\sigma}=\tilde{\sigma}_n\tilde{g}_n\tilde{\sigma}_{n-1}\cdots \tilde{\sigma}_1\tilde{g}_1\tilde{\sigma}_0$ from $x$ to $\varphi(x)$. Then, since $f$ is basic we get
\begin{eqnarray*}
\int_{\tilde{\sigma}} p^\ast \omega & =& \int_{\tilde{\sigma}} df = \sum_{k=0}^{n}(f(\tilde{\sigma_k}(1))-f(\tilde{\sigma_k}(0)))\\
&= & f(\tilde{\sigma_n}(1))+\sum_{k=1}^n(f(t(\tilde{g}_k))-f(s(\tilde{g}_k)))-f(\tilde{\sigma_0}(0))= f(\varphi(x))-f(x).
\end{eqnarray*}
But $\int_{\tilde{\sigma}} p^\ast \omega=\int_{p_\ast \tilde{\sigma}} \omega =\alpha_\xi(\varphi)$, so that the formula follows.
\end{proof}
\subsection{Closed basic 1-forms of Morse type}
Let $\omega$ be a closed basic $1$-form on $G$ and let $\xi$ denote the basic cohomology class $[\omega]\in H_{\textnormal{bas}}^1(G,\mathbb{R})$. Note that $\xi=0$ if and only if there exists a basic smooth function $f:M\to \mathbb{R}$ such that $\omega=df$. Therefore, in this case the Morse theoretical features of $\omega$ on $X$ are the same as those described by means of $f$ in \cite{OV}. We will be mainly interested in studying the case $\xi\neq 0$.
\begin{lemma}
The critical point set of $\omega\in \Omega_{\textnormal{bas}}^1(G)$ is saturated in $M$. In particular, if $\omega_1=s^\ast \omega=t^\ast \omega$ then we have a topological subgroupoid $\textnormal{Crit}(\omega_1)\rr \textnormal{Crit}(\omega)$ of $G\rr M$.
\end{lemma}
\begin{proof}
This easily follows from the fact that both $t$ and $s$ are surjective submersions and $\textnormal{Crit}(\omega_1)=s^{-1}\textnormal{Crit}(\omega)=t^{-1}\textnormal{Crit}(\omega)$.
\end{proof}
If $\omega$ is a closed basic 1-form then by the Poincar\'e Lemma \cite[Lem. 8.5]{PPT} it follows that for each groupoid orbit $\mathcal{O}$ there exists an open neighborhood $\mathcal{O}\subset U\subset M$ and a basic smooth function $f_U\in \Omega_{\textnormal{bas}}^0(G|_{U})$ such that $\omega|_U=df$. If $U$ is connected then the function $f_U$ is determined by $\omega|_U$ uniquely up to a constant. In particular, $\textnormal{Crit}(\omega|_{U})=\textnormal{Crit}(f_U)$. The \emph{normal Hessian} of $\omega$ along a critical orbit $\mathcal{O}$ is defined to the the normal Hessian of $f_U$ along $\mathcal{O}$. Thus:
\begin{definition}
A critical orbit $\mathcal{O}$ of $\omega$ is said to be \emph{nondegenerate} if and only if $f_U$ is nondegenerate in the sense of Bott. Accordingly, we say that $\omega$ is \emph{Morse} if all of its critical orbits are nondegenerate.
\end{definition}
The notion of Morse--Bott function is classical and was initially introduced by Bott in \cite{Bo}. Our first key observation is that the previous notion is Morita invariant.
\begin{proposition}\label{MoritaMorse}
Suppose that $G$ an $G'$ are Morita equivalent Lie groupoids. If $G'$ admits a Morse closed basic $1$-form then so does $G$.
\end{proposition}
\begin{proof}
Let $P$ be a principal bi-bundle between $G$ and $G'$ with anchor maps $a_l:P\to M$ and $a_r:P\to M'$, see \cite{dH}. If $\omega'$ is a Morse closed basic $1$-form on $G'$ then there exists a unique closed basic $1$-form $\omega$ on $G$ such that $a_l^\ast(\omega)=a_r^\ast(\omega')$, see for instance \cite{PPT,Wa}. This establishes a correspondence between critical orbits since both $a_l$ and $a_r$ are surjective submersions, compare Lemma 5.11 in \cite{PTW}. Furthermore, if $\mathcal{O'}$ and $\mathcal{O}$ are related critical orbits then there are connected neighborhoods $\mathcal{O'}\subseteq U'\subseteq M'$ and $\mathcal{O}\subseteq U\subseteq M$ together with basic functions $f'_{U'}$ and $f_{U}$ such that $a_l^\ast(f_{U})=a_r^\ast(f'_{U'})$. Hence, if $\mathcal{O'}$ is nondegenerate then so is $\mathcal{O}$ since both $a_l$ and $a_r$ are surjective submersions.
\end{proof}
Observe that if $\omega$ is a basic $1$-form on $G$ then the expression $\overline{\omega}([x])=\omega(x)$ for $[x]\in X$ is well defined. In particular, this fact allows us to define a \emph{stacky closed $1$-form} on the differentiable stack $[M/G]$ presented by $G\rr M$ as an element $\overline{\omega}$ presented by a closed basic $1$-form $\omega$ on $G$. In consequence, we say that $[x]$ is a critical point of $\overline{\omega}$ if and only if $\mathcal{O}_x$ is a critical orbit of $\omega$. Also, a critical point $[x]$ is nondegenerate if and only if $\mathcal{O}_x$ is nondegenerate for $\omega$.
\begin{definition}
A stacky closed $1$-form $\overline{\omega}$ on $[M/G]$ is \emph{Morse} if all of its critical points are nondegenerate. That is, it is presented by a Morse closed basic $1$-form on $G$.
\end{definition}
It is well known that if $G\rr M$ is a Lie groupoid then its \emph{tangent groupoid} $TG\rightrightarrows TM$ is obtained by applying the tangent functor to each of its structural maps. If $\mathcal{O}_x \subset M$ is an orbit then we can restrict the groupoid structure to $G_{\mathcal{O}_x}=s^{-1}(\mathcal{O}_x)=t^{-1}(\mathcal{O}_x)$, thus obtaining a Lie subgroupoid $G_{\mathcal{O}_x}\rightrightarrows \mathcal{O}_x$ of $G\rightrightarrows M$. Furthermore, the Lie groupoid structure of $TG\rightrightarrows TM$ induces a Lie groupoid $\nu(G_{\mathcal{O}_x})\rightrightarrows \nu(\mathcal{O}_x)$ on the normal bundles, having the property that all of its structural maps are fiberwise isomorphisms. In particular, we have that $\overline{dt}\circ \overline{ds}^{-1}:s^*\nu(\mathcal{O}_x)\to t^*\nu(\mathcal{O}_x)$ defines a representation $(G_{\mathcal{O}_x}\rr \mathcal{O}_x)\curvearrowright(\nu(\mathcal{O}_x)\to \mathcal{O}_x)$. As a consequence, for every $x \in M$ the isotropy group $G_x$ has a canonical representation on the normal fiber $\nu_x(\mathcal{O}_x)$ called the \emph{normal representation} of $G_x$ on the normal direction.
Let $\mathcal{O}_x$ be a nondegenerate critical orbit of $\omega$ and let $\mathcal{O}_x\subset U\subset M$ and $f_U:U\to \mathbb{R}$ respectively be an open neighborhood and basic smooth function such that $\omega|_U=f_U$. Let us also fix a groupoid metric on $G\rr M$ in the sense of del Hoyo and Fernandes, visit \cite{dHF}. Since the normal Hessian $\textnormal{Hess}(f_U)$ is nondegenerate it follows that by using the groupoid metric the normal bundle $\nu(\mathcal{O}_x)$ splits into the Whitney sum of two subbundles $\nu_-(\mathcal{O}_x)\oplus \nu_+(\mathcal{O}_x)$ such that $\textnormal{Hess}(f_U)$ is strictly negative on $\nu_-(\mathcal{O}_x)$ and strictly positive on $\nu_+(\mathcal{O}_x)$. Let $G_x$ be the isotropy group at $x$. From \cite{OV} we know that $\textnormal{Hess}(f_U)$ is invariant with respect to the normal representation $G_x\curvearrowright \nu(\mathcal{O}_x)$ so that it preserves the splitting above since the normal representation is by isometries in this case. In consequence, we get a normal sub-representation $G_x\curvearrowright \nu_-(\mathcal{O}_x)$. The \emph{stacky index} of $[x]$ is defined to be $\dim \nu_-(\mathcal{O}_{x})/G_{x}=\dim \nu_-(\mathcal{O}_{x})-\dim G_{x}$.
\section{Novikov numbers for orbifolds}\label{S:4}
A Lie groupoid $G\rr M$ is said to be \emph{\'etale} if either $s$ or $t$ is a local diffeomorphism. From now on we assume that our Lie groupoid $G\rr M$ is \'etale and proper (i.e. it presents an orbifold) and that the orbit space $X$ is compact. From \cite{PPT} we know that $X$ can be triangulated so that the basic cohomology $H_{\textnormal{bas}}^\bullet(G,\mathbb{R})$ becomes a finite dimensional vector space. Moreover, in this specific case we also get that $H_{dR}^\bullet(G)\cong H_{\textnormal{bas}}^\bullet(G,\mathbb{R})$, see \cite{TuX}. Thus, $H_{dR}^\bullet(G)\cong H^\bullet(X,\mathbb{R})$. In particular, it follows that we may identify the total singular homology $H_1(G,\mathbb{Z})$ of $G$ with the singular homology $H_\bullet(X,\mathbb{Z})$ of $X$. That is, we may assume from now on that $H_1(G,\mathbb{Z})$ is a finitely generated $\mathbb{Z}$-module since $X$ is compact.
Let $\xi\in H_{\textnormal{bas}}^1(G,\mathbb{R})$ be the cohomology class of a closed basic 1-form $\omega$ on $M$ and let $\textnormal{Per}_\xi$ denote its corresponding $G$-homomorphism of periods. Observe that in the particular case of proper and \'etale Lie groupoids any group homomorphism $H_1(G,\mathbb{Z})\to \mathbb{R}$ can be realized as the homomorphism of periods of a closed basic $1$-form. We define the \emph{rank} of the basic cohomology class $\xi$ as the rank of the image of $\textnormal{Per}_\xi$. This number will be denoted by $\textnormal{rank}(\xi)$. Note that by arguing as in the proof Proposition \ref{BasicTrivial} we may prove that $\textnormal{rank}(\xi)=0$ if and only if there is a basic function $f:M\to \mathbb{R}$ such that $\omega=df$. That is, $\textnormal{rank}(\xi)=0$ if and only if $\xi=0$.
\begin{remark}
If we consider a covering space $p:M_{\xi}\to M$ over $G$ which corresponds to the kernel of the $G$-homomorphism of periods then the expression \eqref{RankDeck} also shows that the rank of the group $\Gamma^G(M_\xi)$ equals the rank of the cohomology class $\xi$.
\end{remark}
\begin{proposition}\label{DenseRank1}
The set of classes in $H_{\textnormal{bas}}^1(G,\mathbb{R})$ having rank $1$ is dense.
\end{proposition}
\begin{proof}
The proof of this result is similar to \cite[Cor. 2.2; p. 38]{F} when considering instead $H_{\textnormal{bas}}^1(G,\mathbb{R})$ and $H_{\textnormal{bas}}^1(G,\mathbb{Z})$.
\end{proof}
We are now in conditions to define the Novikov Betti and torsion numbers associated to the basic cohomology class $\xi$ by mimicking the three definitions introduced in \cite[s. 1.5]{F}. Let $\Gamma\subset \mathbb{R}$ be an additive subgroup. The \emph{Novikov ring} {\bf Nov}$(\Gamma)$ consists of formal power series of the form $x=\sum_{j=0}^\infty n_j\tau^{\gamma_j}$ where the coefficients are integers $n_j\in \mathbb{Z}$ and the exponents $\gamma_j\in\Gamma$ are real numbers forming a decreasing sequence converging to $-\infty$, visit \cite[c. 1]{F} for further details concerning the ring structure as well as the properties of {\bf Nov}$(\Gamma)$. When $\Gamma=\mathbb{R}$ we denote {\bf Nov}$(\mathbb{R})$ just by {\bf Nov}. For any basic cohomology class $\xi\in H_{\textnormal{bas}}^1(G,\mathbb{R})$ we may define a ring homomorphism $\phi_\xi: \mathbb{Z}(\Pi_1(G,x_0))\to \textbf{Nov}$ by setting $\phi_\xi([\sigma]):=\tau^{\langle \xi,|\sigma|\rangle}$ for all $[\sigma]\in \Pi_1(G,x_0)$. As consequence of Example \ref{ExampleNovikov} we get that $\phi_\xi$ determines a local system $\mathcal{L}_\xi$ of left $\textbf{Nov}$-modules over $G\rr M$. The groups $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)$ are called \emph{Novikov homology groups} of $\xi$. It follows that the homology $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)$ is a finitely generated module over the ring {\bf Nov}. Since {\bf Nov} is a principal ideal domain we have that the module $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)$ is a direct sum of a free submodule with a torsion submodule. The \emph{Novikov Betti number} $b_j(\xi)$ is defined to be the rank of the free summand of $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)$ and the \emph{Novikov torsion number} $q_j(\xi)$ is defined to be the minimal number of generators of the torsion submodule of $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)$.
\begin{remark}
On the one hand, if $G\rr M$ is \'etale and proper and $p:E\to M$ is a covering space over $G$ (e.g. the universal covering from Example \ref{ExaUnivesal}), then the action groupoid $E\rtimes G\rr E$ is \'etale and proper as well. That is, it also represents an orbifold. On the other hand, note that if $\xi=0$ then $\textnormal{Per}_\xi=0$ which implies that the homomorphism $\phi_\xi$ takes values within the subring $\mathbb{Z}\subset \textbf{Nov}$, meaning that $\mathcal{L}_\xi$ is trivial. Therefore, by looking at the groupoid homology with local coefficients as the groupoid equivariant homology described in Proposition \ref{EilenbergProp} it follows that the total chain complex $\textbf{Nov}\otimes_{\mathbb{Z}(\Pi_1(G,x_0))} \tilde{C}_\bullet(E)$ agrees in this case with $\textbf{Nov}\otimes_{\mathbb{Z}} \tilde{C}_\bullet(G)$. In consequence, from \cite[Lem. 1.12]{F} we get that $b_j(\xi)$ coincides with the Betti number $\textnormal{rank} H_j(G,\mathbb{Z})$ and $q_j(\xi)$ equals the minimal number of generators of the torsion subgroup of $H_j(G,\mathbb{Z})$. But $H_j(G,\mathbb{Z})\cong H_j(X,\mathbb{Z})$, so that we recover the corresponding numerical invariants of the orbit space $X$.
\end{remark}
There are other two possible ways to define the Novikov numbers associated to $\xi$. Let $\mathbb{Z}[\textbf{Nov}(\Gamma)]$ be the group ring consisting just of finite sums $x$ as above. This is a subring of $\textbf{Nov}(\Gamma)$. Let $S\subset \mathbb{Z}[\textbf{Nov}(\Gamma)]$ denote the subset consisting of the elements in $\mathbb{Z}[\textbf{Nov}(\Gamma)]$ with leading term $1$, so that we have a canonical inclusion of the localized ring $\mathcal{R}(\Gamma):=S^{-1}\mathbb{Z}[\textbf{Nov}(\Gamma)]$ into the Novikov ring $\textbf{Nov}(\Gamma)$. The ring $\mathcal{R}(\Gamma)$ will be called the \emph{rational part} of $\textbf{Nov}(\Gamma)$.
Firstly, consider the $G$-homomorphism of periods $\textnormal{Per}_{\xi}: H_1(G,\mathbb{Z})\to \mathbb{R}$ and denote by $\Gamma_\xi$ its image inside $\mathbb{R}$. It follows that $\Gamma_\xi$ is a finitely generated free abelian group. The class $\xi$ determines a ring homomorphism $\psi_\xi: \mathbb{Z}(\Pi_1(G,x_0))\to \mathcal{R}(\Gamma_\xi)$ defined as $\psi_\xi([\sigma]):=\tau^{\langle \xi,|\sigma|\rangle}$ for all $[\sigma]\in \Pi_1(G,x_0)$. As above, the
homomorphism $\psi_\xi$ gives rise to a local system of left $\mathcal{R}(\Gamma_\xi)$-modules $\mathcal{M}_\xi$ over $G\rr M$ and the homology $H_j^{\textnormal{tot}}(G,\mathcal{M}_\xi)$ is a finitely generated module over the principal ideal $\mathcal{R}(\Gamma_\xi)$. From \cite[Cor. 1.12]{F} we obtain that $\textbf{Nov}(\Gamma_\xi)$ is flat over $\mathcal{R}(\Gamma_\xi)$ so that we may get an isomorphism $H_j^{\textnormal{tot}}(G,\mathcal{L}_\xi)\cong \textbf{Nov}(\Gamma_\xi)\otimes_{\mathcal{R}(\Gamma_\xi)} H_j^{\textnormal{tot}}(G,\mathcal{M}_\xi)$. This immediately implies that $\textnormal{rank}H_j^{\textnormal{tot}}(G,\mathcal{M}_\xi)$ equals $b_j(\xi)$ and the minimal number of generators of the torsion submodule of $H_j^{\textnormal{tot}}(G,\mathcal{M}_\xi)$ agrees with $q_j(\xi)$.
Secondly, consider the covering space $p:M_{\xi}\to M$ over $G$ which corresponds to the kernel of the $G$-homomorphism of periods $\textnormal{Per}_{\xi}$, see Proposition \ref{Covering}. It is simple to see that a $G$-loop $\sigma$ in $M$ lifts to another $(M_\xi\rtimes G)$-loop in $M_\xi$ if and only if $\textnormal{Per}_{\xi}(|\sigma|)=\langle \xi, |\sigma|\rangle=0$, where $|\sigma|\in H_1(G,\mathbb{R})$ denotes the corresponding homology class of the $G$-loop $\sigma$. Thus, by the isomorphism theorem it follows that the group of covering
transformations $\Gamma^G(M_\xi)$ can be naturally identified with $L_\xi = H_1(G,\mathbb{Z})/\textnormal{ker}({\xi})$ and $\textnormal{Per}_{\xi}$ yields an isomorphisms between the groups $L_\xi$ and $\Gamma_\xi$. Observe that after fixing a base for the free abelian group $L_\xi$ we may identify the group ring $\Lambda_\xi=\mathbb{Z}[L_\xi]$ with the ring of Laurent integral polynomials $\mathbb{Z}[T_1,\cdots,T_r,T_1^{-1},\cdots,T_r^{-1}]$. Let us denote by $w_1,\cdots,w_r$ the weights of the variables $T_1,\cdots,T_r$ which are determined by the $G$-homomorphism of periods $\textnormal{Per}_{\xi}:L_\xi\to \Gamma_\xi$. These weights are linearly independent over $\mathbb{Z}$ so that we may define the weight of a monomial
$T_1^{n_1}\cdots T_r^{n_r}$ as $\sum n_jw_j$. Denote by $S_\xi\subset \Lambda_\xi$ the set consisting of the Laurent polynomials such that the monomial of maximal
weight appearing in them has coefficient $1$. This is a multiplicative subset and the localized ring $S_\xi^{-1}\Lambda_\xi$ is a principal ideal domain since it is isomorphic to the rational subring $\mathcal{R}(\Gamma_\xi)$ of the Novikov ring, see \cite[s. 1.3]{F} for specific details.
Let $p_1:E\to M$ be the universal covering over $G$ (see Example \ref{ExaUnivesal}) and let $p_2:F\to M$ be the covering space over $G$ corresponding to the kernel $\textnormal{ker}(\xi)\subset H_1(G,\mathbb{Z})$, after mapping it to $\Pi_1(G,x_0)$ by using the Hurewicz $G$-homomorphism (see Proposition \ref{Covering}). These covering spaces give rise to the action groupoids $E\rtimes G\rr E$ and $F\rtimes G\rr F$ which are also \'etale and proper. By viewing at the groupoid homology with local coefficients in $\mathcal{M}_\xi$ as the groupoid equivariant homology described in Proposition \ref{EilenbergProp} we get isomorphisms among the total chain complexes
$$\mathcal{R}(\Gamma_\xi)\otimes_{\mathbb{Z}(\Pi_1(G,x_0))} \tilde{C}_\bullet(E)\cong S_\xi^{-1}\Lambda_\xi\otimes_{\Lambda_\xi} \tilde{C}_\bullet(F)\cong S_\xi^{-1} \tilde{C}_\bullet(F).$$
It is important to notice that in the previous identifications we used the isomorphism $\textnormal{Per}_{\xi}:L_\xi\to \Gamma_\xi$. As localization is an exact functor we obtain that $H_\bullet^{\textnormal{tot}}(G,\mathcal{M}_\xi)\cong S_\xi^{-1} H_\bullet(F,\mathbb{Z})$. Therefore, the Novikov Betti number $b_j(\xi)$ coincides with $\textnormal{rank}H_\bullet(F,\mathbb{Z})$ and the Novikov torsion number $q_j(\xi)$ equals the minimal number of generators of the torsion submodule of the $S_\xi^{-1}\Lambda_\xi$-submodule $S_\xi^{-1} H_\bullet(F,\mathbb{Z})$.
\begin{remark}\label{SameResults}
The reader probably already noticed that the definitions of the Novikov numbers in the context of orbifolds provided above became both natural and straightforward after having described the algebraic topology notions from Sections \ref{S:2} and \ref{S:3}. It is left as an exercise to the reader to verify that similar results as those in Sections 1.5 and 1.6 from \cite{F} may be adapted in our context without so many changes along the proofs. In particular, we have that if $\xi_1,\xi_2\in H_{\textnormal{bas}}^1(G,\mathbb{R})$ are two basic cohomology classes such that $\textnormal{ker}(\xi_1)=\textnormal{ker}(\xi_2)$ then $b_j(\xi_1)=b_j(\xi_2)$ for all $j$. Also, $q_j(\xi_1)=q_j(\lambda\xi_2)$ for all $\lambda\in \mathbb{R}$ with $\lambda>0$.
\end{remark}
\begin{remark}
Since the Lie groupoids we are working with above are all of them \'etale and proper it follows that after naturally adapting Corollaries 4.13 and 4.14 from \cite[p. 224]{MoMr} to the homology case we may think of the total homologies $H_\bullet^{\textnormal{tot}}(G,\mathcal{L}_\xi)$, $H_\bullet^{\textnormal{tot}}(G,\mathcal{M}_\xi)$, $H_\bullet(E,\mathbb{Z})$ and $H_\bullet(F,\mathbb{Z})$ as being respectively identified with the usual homologies of the orbit spaces $H_\bullet(X,\pi_\ast(\mathcal{L}_\xi))$, $H_\bullet(X,\pi_\ast(\mathcal{M}_\xi))$, $H_\bullet(E/E\rtimes G,\mathbb{Z})$ and $H_\bullet(F/F\rtimes G,\mathbb{Z})$ where $\pi:M\to X$ denotes the canonical orbit projection.
\end{remark}
\subsection{Novikov inequalities}
Let us now prove the Novikov inequalities for orbifolds. This can be done by following the strategy described in \cite[s. 2.3]{F} step by step. It is worth mentioning that the inequalities below depend at some point of the usual Morse inequalities for orbifolds which were already proven in \cite{H} (see also \cite{OV}). Although the ideas of the proof are natural and straightforward adaptations of the classical ones, we will bring enough details in order to use most of the machinery introduced in the previous sections.
\begin{theorem}\label{ThmNokivovOrbifolds}
Let $G\rr M$ be an \'etale and proper Lie groupoid such that the orbit space $X$ is compact. Let $\omega$ be a Morse closed basic $1$-form on $M$. If $c_j(\omega)$ denotes the number of critical points in $M/G$ having stacky Morse index $j$ then
\begin{equation}\label{NovikovInequalities}
c_j(\omega)\geq b_j(\xi)+q_j(\xi)+q_{j-1}(\xi),
\end{equation}
where $\xi=[\omega]\in H^1_{\textnormal{bas}}(G,\mathbb{R})$ is the basic cohomology class of $\omega$.
\end{theorem}
\begin{proof}
It suffices to prove the inequalities under the additional assumption that the basic cohomology class $\xi$ is integral. That is, $\xi\in H_{\textnormal{bas}}^1(G,\mathbb{Z})$. The latter requirement is equivalent to asking that $\xi$ has rank $1$. Indeed, basic cohomology classes $\xi$ of rank 1 are real multiples of integral basic cohomology classes, namely, $\xi = \lambda \xi_0$ where $\xi\in H_{\textnormal{bas}}^1(G,\mathbb{Z})$ and $\lambda$ is a nonzero real number. It is because in this specific case the image of the $G$-homomorphism of periods $\textnormal{Per}_\xi$ is a cyclic subgroup in $\mathbb{R}$ so that all periods are integral multiples of a minimal period $\lambda\in \mathbb{R}_{>0}$. In other words, the $\lambda^{-1}\xi$ has all integral periods and it belongs to $H_{\textnormal{bas}}^1(G,\mathbb{Z})$. Therefore, if $\xi=\lambda \xi_0$ has rank $1$ and $\omega$ is a Morse closed basic 1-form in the class $\xi$ then $\omega_0=\lambda^{-1}\omega$ is another Morse closed basic 1-form in the class $\xi_0$ having the same zeroes. In consequence, $b_j(\xi)=b_j(\xi_0)$ and $q_j(\xi)=q_j(\xi_0)$ by Remark \ref{SameResults}.
Assume for a moment that the Novikov inequalities \eqref{NovikovInequalities} hold true for basic cohomology classes of rank $1$. The argument to prove that the previous assumption is enough to ensure that the inequalities hold true for every basic cohomology class of rank $>1$ is similar to that in Lemma 2.5 from \cite{F} after considering instead basic cohomology. We sketch the argument here for the sake of completeness as well as the role it plays in our proof. Suppose that $\xi\in H_{\textnormal{bas}}^1(G,\mathbb{R})$ is a basic cohomology class of rank $>1$ and let $\omega$ be a Morse closed basic $1$-form in $\xi$. Let $S\subset X$ denote the set of zeroes of $\overline{\omega}$. This is a finite set since $X$ is compact. Consider the vector subspace $N_\xi=\lbrace \eta\in H_{\textnormal{bas}}^1(G,\mathbb{R}): \eta|_{\ker(\xi)}=0\rbrace$. By similar arguments as those used in the proof of Theorem 1.44 from \cite{F} and by Proposition \ref{DenseRank1} it follows that there exists a sequence of rank 1 basic cohomology classes $\xi_n\in N_\xi$ such that $\xi_n\to \xi$ as $n$ goes to $\infty$, $b_j(\xi_n)=b_j(\xi)$ and $q_j(\xi_n)=q_j(\xi)$ for all $j$ and $n$. Let us fix a basis $\eta_1,\cdots,\eta_r$ of $N_\xi$ whose elements are respectively represented by closed basic $1$-forms $\omega_1,\cdots,\omega_r$. Note that since $G$ is proper and $\eta_k|_{\ker(\xi)}=0$ we may ensure that there are open neighborhoods $U_k\subset M$ such that $U_k/G_{U_k}\subset X$ are open neighborhoods of $S$ and $\overline{\omega}_k$ vanishes identically on $U_k/G_{U_k}$ for all $k=1,\cdots,r$. It is clear that we can rewrite $\xi=\sum_{k=1}^r a_k \eta_k$ and $\xi_n=\sum_{k=1}^r a_{k,n} \eta_k$ with $a_k,a_{n,k}\in \mathbb{R}$ such that $a_{n,k}\to a_k$ as $n$ goes to $\infty$. Let us define $\omega_n=\omega-\sum_{k=1}^r(a_k-a_{n,k})\omega_k$. This is a basic closed $1$-form for which there is an open neighborhood $U\subset M$ made out of the $U_k's$ above such that $S\subset U/G_{U}$ and $\omega-\overline{\omega}_n$ vanishes identically on $U/G_{U}$. Furthermore, for $n$ large enough it follows that $\omega_n$ has no critical points outside $U$. That is, $c_j(\omega_n)=c_j(\omega)$ for any $j$ provided that $n$ is large enough. Note that from the defining formula above it follows that the basic cohomology class $[\omega_n]$ agrees with $\xi_n$ and they have rank $1$. In consequence, we get that if the Novikov inequalities hold true for $[\omega_n]$ then they must hold true also for $\xi$.
Suppose that $\xi$ has rank $1$. Let us take a covering space $p:M_{\xi}\to M$ over $G$ which corresponds to the kernel of the $G$-homomorphism of periods $H_1(G,\mathbb{Z})\to \mathbb{R}$ of the cohomology class $\xi$, see Proposition \ref{Covering}. In this case $M_\xi$ has an infinite cyclic group of equivariant covering transformations $\Gamma^G(M_\xi)$ whose generator is denoted by $T$. We already know that the pullback $p^\ast (\omega)$ is a closed basic-exact $1$-form so that there exists a basic function $f:M_\xi \to \mathbb{R}$, uniquely determined up to constant, such that $p^\ast (\omega)=df$. From Lemma \ref{FormulaEqui} it follows that $f(Tx)-f(x)=c$ is a constant for all $x\in M_\xi$. The number $c$ equals the minimal period of $\omega$ so that we may assume $c = \pm 1$ in our case since $\xi$ is integral. Assume that the generator $T$ is chosen so that $f(Tx)-f(x)=-1$ for all $x\in M_\xi$. Otherwise, we may take $T^{-1}$ instead of $T$.
Let us consider the action groupoid $M_\xi\rtimes G\rr M_\xi$, the stacky function $\overline{f}:[M_\xi/M_\xi\rtimes G]\to \mathbb{R}$ determined by $f$ and the Lie groupoid morphism $p:M_\xi\rtimes G\to G$ induced by the covering space $M_{\xi}\to M$ over $G$. We denote by $X_\xi$ the orbit space $M_\xi/M_\xi\rtimes G$ and by $\overline{T}:X_\xi\to X_\xi$ and $\overline{p}:X_\xi\to X$ the induced maps between the orbit spaces. On the one hand, observe that the formula $\overline{f}(\overline{T}[x])-\overline{f}([x])=-1$ holds true for all $[x]\in X_\xi$. On the other hand, the critical points of $f$ are precisely the elements in $p^{-1}(x)$ of the zeroes $x\in M$ of $\omega$ so that the critical points of the stacky function $\overline{f}$ in $X_\xi$ are given by the elements in $\overline{p}^{-1}([x])$ of the zeroes $[x]$ of $\overline{\omega}$ in $X$. Pick a regular value $b\in \mathbb{R}$ of $\overline{f}$ and set $V=\overline{f}^{-1}(b)$, $N=\overline{f}^{-1}([b,b+1])$, and $Y=\overline{f}^{-1}((-\infty,b+1])$. Note that the projection $\overline{p}$ determines a one-to-one correspondence between the critical points of $\overline{f}|_{N}$ and the zeroes of $\overline{\omega}$. Furthermore, $\overline{f}|_{N}:N\to [b,b+1]$ is a stacky Morse function since $p_\xi$ is a local diffeomorphism and $\omega$ is of Morse type. Therefore, $c_j(\overline{f}|_{N})=c_j(\omega)$ for all $j=0,1,2,\cdots$. The homeomorphism $\overline{T}$ maps $Y$ into itself. As $X_\xi$ can be triangulated (see \cite{PPT}), it follows that we may fix a triangulation of $V$ which in turn induces another triangulation of $\overline{T}^{-1}V$, thus obtaining a simplicial isomorphism $\overline{T}:\overline{T}^{-1}V\to V$. Let us choose a triangulation of $N$ in such a way $V$ and $\overline{T}^{-1}V$ are sub-complexes. So, after applying the homeomorphism $\overline{T}$ we can get a triangulation of the whole $Y$ so that $\overline{T}:Y\to Y$ is represented by a simplicial map. In other words, we have obtained a chain complex $\overline{C}_\bullet(Y)$ of simplicial chains which actually is a complex of finitely generated $\mathbb{Z}[\overline{T}]$-modules.
The standard Morse inequalities for orbifolds were proved in Theorem 7.11 from \cite{H}. Hence, by mimicking the analysis of the Betti numbers $b_j(\overline{C},\mathfrak{p})$ associated to different prime ideals $\mathfrak{p}\subset\mathbb{Z}[\overline{T}]$, exactly to how it is done in the remaining part of the proof of Theorem 2.4 in \cite{F}, we can get the inequalities
$$\sum_{k=0}^j(-1)^{k}c_{j-k}(\omega)\geq q_j(\xi)+\sum_{k=0}^j(-1)^kb_{j-k}(\xi),$$
which are slightly stronger than the Novikov inequalities we wanted to prove.
\end{proof}
Let us quickly explain how to apply Theorem \ref{ThmNokivovOrbifolds} to find a lower bound for the numbers of zeros of certain symplectic vector fields on symplectic orbifolds. Let $G\rr M$ be an \'etale and proper Lie groupoid with compact orbit space $X$ and let $\rho:A\to TM$ denote its Lie algebroid. The set of \emph{basic vector fields} $\mathfrak{X}_{\textnormal{bas}}(G)$ is by definition the quotient
$$\mathfrak{X}_{\textnormal{bas}}(G)=\frac{\lbrace (v_1,v_0)\in \mathfrak{X}(G)\times \mathfrak{X}(M): ds(v_1)=v_0\circ s,\ dt(v_1)=v_0\circ t \rbrace}{\lbrace (v_1,v_0): ds(v_1)=v_0\circ s,\ dt(v_1)=v_0\circ t,\ v_1\in (\ker(ds)+\ker(dt)) \rbrace}.$$
That is, a basic vector field is not strictly a vector field, but a pair of equivalence classes of vector fields. It is simple to see that a basic vector field $v= (v_1, v_0)$ is determined by its 2st component $v_0$. By Proposition 5.3.12 from \cite{hsz} we know that Morita equivalent \'etale a proper groupoids have isomorphic spaces of basic vector fields so that we may think of $\mathfrak{X}_{\textnormal{bas}}(G)$ as the space of vector field on the orbifold presented by $G\rr M$. Note that if we identify the basic forms $\Omega_{\textnormal{bas}}^\bullet(G)$ with the set of pairs $\lbrace (\theta_1,\theta_0)\in \Omega^\bullet(G)\times \Omega^\bullet(M): s^\ast(\theta_0)=\theta_1= t^\ast(\theta_0)\rbrace$ then we have contraction operations and Lie derivatives $\iota: \mathfrak{X}_{\textnormal{bas}}(G)\times \Omega_{\textnormal{bas}}^\bullet(G)\to \Omega_{\textnormal{bas}}^{\bullet-1}(G)$ and $\mathcal{L}:\mathfrak{X}_{\textnormal{bas}}(G)\times \Omega_{\textnormal{bas}}^\bullet(G)\to \Omega_{\textnormal{bas}}^{\bullet}(G)$ respectively defined by
$$\iota_v\theta=(\iota_{\tilde{v_1}}\theta_1,\iota_{\tilde{v_0}}\theta_0)\quad\textnormal{and}\quad \mathcal{L}_v\theta=(\mathcal{L}_{\tilde{v_1}}\theta_1,\mathcal{L}_{\tilde{v_0}}\theta_0),$$
where $(\tilde{v_1},\tilde{v_0})\in \mathfrak{X}(G)\times \mathfrak{X}(M)$ is a representative of $v$. These expressions do not depend on the choice of $(\tilde{v_1},\tilde{v_0})$, see \cite{hsz}. By following \cite{hsz,LM} we have that a \emph{symplectic form} on $G\rr M$ is by definition a closed basic $2$-form $\Omega$ on $M$ which is \emph{nondegenerate} in the sense that $\ker(\Omega)=\textnormal{im}(\rho)$. This nondegeneracy requirement implies that the contraction with a symplectic form $\Omega$ induces a linear isomorphism $\Omega^\flat:\mathfrak{X}_{\textnormal{bas}}(G)\to \Omega_{\textnormal{bas}}^1(G)$. Such a notion is also Morita invariant so that it yields a well defined notion of symplectic form over an orbifold. We say that a basic vector field $v$ is \emph{symplectic} if $\mathcal{L}_{\tilde{v_0}}\Omega=0$. Note that after using the Cartan formula for the Lie derivative the latter requirement is equivalent to asking that $\omega=\iota_{\tilde{v_0}}\Omega$ is a closed basic $1$-form. But we already know that if $\omega$ is a closed $1$-form then the formula $\omega=\iota_{\tilde{v_0}}\Omega$ defines a basic vector field $v$ which must be symplectic since $\omega$ is closed. Therefore, it follows that there is a one-to-one correspondence between the closed basic 1-forms and basic symplectic vector fields.
Motivated by Proposition 2.6 in \cite{LM} we define the \emph{critical point set of a basic vector field} $v$ as the critical point set of $\tilde{v_0}$ viewed as a section of the vector bundle $TM/\textnormal{im}(\rho)\to M$. It is simple to check that such a definition does not depend on $\tilde{v_0}$. Because of the nondegeneracy condition imposed over $\Omega$ it holds automatically that the critical points of $v$ and $\omega=\iota_{\tilde{v_0}}\Omega$ agree. Hence, on symplectic orbifolds, the problem of estimating from below the number of zeros of closed basic 1-forms is equivalent to finding a lower bound for the numbers of zeros of basic symplectic vector fields. In consequence, the natural generalization of the Novikov theory we have developed in this paper provides a tool for using topological methods to study zeros of symplectic vector fields on symplectic orbifolds. Furthermore, it also opens new research directions for many important physical models which can be described by the Hamiltonian formalism over orbifolds allowing closed basic 1-forms as their Hamiltonians. This can be done in the same spirit that it was studied by Novikov in \cite{No2}.
%From the formula of Lemma \ref{FormulaEqui} we can also see that $f$ is unbounded from above and from below. \textcolor{green}{Why}.
%
%Note that the critical points of $f$ are precisely the elements in $p^{-1}(x)$ of the zeroes $x\in M$ of $\omega$. Hence, each zero of $\omega$ provides an infinite number of critical points for $f$ which form an orbit with respect to the action by $\textnormal{Aut}(E)$. \textcolor{green}{What happens with this in terms of critical orbits}.
%Let $\eta^{(2)}$ be a Riemannian $2$-metric on $G^{(2)}$ and denote by $\eta^{(1)}$ and $\eta^{(0)}$, the corresponding Riemannian 1-metric on $G$ and 0-metric on $M$, respectively. Let $\omega$ be a basic form on $M$ and set $\omega_1=s^\ast \omega=t^\ast \omega$ on $G$. Denote by $\nabla(\omega_1)$ and $\nabla(\omega)$ the gradient vector fields of $\omega_1$ and $\omega$ with respect to $\eta^{(1)}$ and $\eta^{(0)}$. As $s$ is a Riemannian submersion it is simple to check that $\nabla(\omega_1)$ is horizontal and that $\nabla(\omega_1)$ and $\nabla(\omega_0)$ are $s$-related. More importantly, with similar arguments as those from \cite{OV} it is simple to check that
%\begin{lemma}
%The pair $(\nabla(\omega_1),\nabla(\omega_0))$ is a multiplicative vector field.
%\end{lemma}
%
%
%Suppose that there is a Riemannian $2$-metric $\eta^{(2)}$ on $G^{(2)}$ with corresponding 1-metric $\eta^{(1)}$ on $G$ and 0-metric $\eta^{(0)}$ on $M$, see \cite{dHF}. This allows us to obtain well defined actions $G_x\curvearrowright D_-(\mathcal{O}_x)$ and $G_x\curvearrowright \partial D_-(\mathcal{O}_x)$ over the dick $D_-(\mathcal{O}_x)$ and sphere $\partial D_-(\mathcal{O}_x)$ bundles over $\mathcal{O}_x$, respectively, since in this case the normal representation acts by isometries, visit \cite{OV} for further details.
\begin{thebibliography}{WWW}
\bibitem{Be} K. Behrend: {\it Cohomology of stacks}, Intersection theory and moduli, ICTP Lect. Notes, XIX. Abdus Salam Int. Cent. Theoret. Phys., Trieste (2004), 249--294.
\bibitem{Bo} R. Bott: {\it Nondegenerate critical manifolds}, Ann. of Math. (2), {\bf 60} (1954), 248--261.
\bibitem{BT} R. Bott, L. Tu: {\it Differential forms in algebraic topology}, Graduate Texts in Mathematics vol 82, Springer-Verlag, New York-Berlin (1982).
\bibitem{BH} M. R. Bridson, A. Haefliger: \emph{Metric spaces of non-positive curvature}, Springer-Verlag, Berlin {\bf 319} (1999).
\bibitem{Br} G. E. Bredon: \emph{Topology and geometry}, Graduate Texts in Mathematics, Springer-Verlag, New York, {\bf 139} (1997).
\bibitem{crainic} M. Crainic: \emph{Differentiable and algebroid cohomology, Van Est isomorphisms, and characteristic classes,} Commentari Math. Helvetici, {\bf 78} (2003), 681--721.
\bibitem{crainicMoer} M. Crainic, I. Moerdijk: \emph{A homology theory for \'{e}tale groupoids,} J. Reine Angew. Math., {\bf 521} (2000), 25--46.
\bibitem{dH} M. del Hoyo: \emph{Lie groupoids and their orbispaces}, Port. Math., 70 (2) (2012), 161--209.
\bibitem{dHF} M. del Hoyo, R. Fernandes: \emph{Riemannian metrics on {L}ie groupoids}, J. Reine Angew. Math., 735 (2018), 143--173.
\bibitem{dHF2} M. del Hoyo, R. Fernandes: \emph{Riemannian metrics on differentiable stacks}, Math. Z., 292 (1-2) (2019), 103--132.
\bibitem{F} M. Farber: \emph{Topology of closed one-forms}, Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, (2004).
\bibitem{H} R. Hepworth: {\it Morse inequalities for orbifold cohomology}, Algebr. Geom. Topol., 9 (2) (2009), 1105--1175.
\bibitem{hsz} B. Hoffman, R. Sjamaar: \emph{Stacky {H}amiltonian actions and symplectic reduction}, Int. Math. Res. Not. IMRN, 2021 (20) (2021), 15209--15300.
\bibitem{LM} E. Lerman, A. Malkin: \emph{Hamiltonian group actions on symplectic {D}eligne-{M}umford stacks and toric orbifolds}, Adv. Math., (229) (2012) n. 2, 984--1000.
\bibitem{LS} Y. Lin, R. Sjamaar, {\it Convexity properties of presymplectic moment maps}, J. Symplectic Geom., 17 (4) (2019), 1159--1200.
\bibitem{MoMr} I. Moerdijk, J. Mrcun: \emph{Lie groupoids, sheaves and cohomology in: Poisson Geometry, Deformation Quantisation and Group Representations}, London Math. Soc. Lecture Note Ser., Vol. {\bf 323}, Cambridge Univ. Press, Cambridge, (2005) 145--272.
\bibitem{No1} S. P. Novikov: \emph{Multi-valued functions and functionals. An analogue of Morse theory}, Soviet Math. Doklady, {\bf 24} (1981), 222--226.
\bibitem{No2} S. P. Novikov: \emph{The Hamiltonian formalism and a multi-valued analogue of Morse theory}, Russian Math. Surveys, {\bf 37:5} (1982), 1--56.
\bibitem{OV} C. Ortiz, F. Valencia: \emph{Morse theory on Lie groupoids}, preprint: arXiv:math.DG/2207.07594, (2022).
\bibitem{PPT} M. J. Pflaum, H. Posthuma, X. Tang: \emph{Geometry of orbit spaces of proper {L}ie groupoids}, J. Reine Angew. Math., {\bf 694} (2014), 49--84.
\bibitem{PTW} H. Posthuma, X. Tang, K. Wang: \emph{Resolutions of proper {R}iemannian {L}ie groupoids}, Int. Math. Res. Not. IMRN, (2021) no. 2, 1249--1287.
\bibitem{Tu} J-L. Tu: \emph{Groupoid cohomology and extensions}, Trans. Amer. Math. Soc., {\bf 358} (2006) no. 11, 4721--4747.
\bibitem{TuX} J-L. Tu, P. Xu: \emph{Chern character for twisted {$K$}-theory of orbifolds}, Adv. Math., {\bf 207} (2006) no. 2, 455--483.
\bibitem{TuXLG} J-L. Tu, P. Xu, C. Laurent-Gengoux: \emph{Twisted {$K$}-theory of differentiable stacks}, Ann. Sci. \'{E}cole Norm. Sup. (4), {\bf 37} (2004) no. 6, 841--910.
\bibitem{Wa} J. Watts: \emph{The Orbit Space and Basic Forms of a Proper Lie Groupoid}. In: Cerejeiras, P., Reissig, M., Sabadini, I., Toft, J. (eds) Current Trends in Analysis, its Applications and Computation. Trends in Mathematics(). Birkhäuser, Cham, (2022) 513--523.
\bibitem{Wh} G. W. Whitehead: \emph{Elements of homotopy theory}, Graduate Texts in Mathematics, Springer-Verlag, New York-Berlin, {\bf 61} (1978).
\end{thebibliography}
\end{document}