Cohomologies of certain orbifolds (Q390938): Difference between revisions

A complex orbifold (or V-manifold) is a singular complex space whose singularities are locally isomorphic to quotient singularities \(\mathbb{C}^n/G\), for finite subgroups \(G\subset GL(n,\mathbb{C})\), where \(n\) is the complex dimension. The author studies the Bott-Chern cohomology and the Aeppli cohomology of compact complex orbifolds \(\widetilde{X}=X/G\) of global quotient type, where \(X\) is a compact complex manifold and \(G\) is a finite group of biholomorphisms of \(X\). The studied cohomologies are the Bott-Chern cohomology \(H_{BC}^{*,*}(\widetilde{X})={{ker\partial}\cap {ker\overline{\partial}}}\over {im\partial\overline{\partial}}\) and the Aeppli cohomology \(H_A^{*,*}(\widetilde{X})={ker\partial\overline{\partial}}\over {im\partial+im\overline{\partial}}\). Theorem 1. Let \(\widetilde {X}=X/G\) be a compact complex orbifold of complex dimension \(n\), where \(X\) is a compact complex manifold and \(G\) is a finite group of biholomorphisms of \(X\). For any \(p,q\in \mathbb{N}\), there is a canonical isomorphism \[ {H_{BC}^{p,q}(\widetilde X) \simeq} {{ker(\partial:\mathcal{D}^{p,q}\widetilde{X}\to \mathcal{D}^{p+1,q}\widetilde{X})\cap ker(\overline\partial:\mathcal{D}^{p,q}\widetilde{X}\to \mathcal{D}^{p,q+1}\widetilde{X})}\over im(\partial \overline\partial : \mathcal{D}^{p-1,q-1}\widetilde{X}\to \mathcal{D}^{p,q}\widetilde{X})} \] where \(\mathcal{D}^{p,q}\widetilde{X}\) denotes the space of currents of bi-degree \((p,q)\) on \(\widetilde {X}\), that is, the space of \(G\)-invariant currents of bi-degree \((p,q)\) on \(X\). Furthermore, given a Hermitian metric on \(\widetilde {X}\) there are canonical isomorphisms \(H_{BC}^{*,*}(\widetilde X)\simeq ker \widetilde \Delta_{BC}\) and \(H_A^{*,*}(\widetilde X)\simeq ker \widetilde \Delta_A\), where \(\widetilde \Delta_{BC}\) and \(\widetilde \Delta_A\) are the fourth order self-adjoint elliptic differential operators \[ \begin{multlined} \widetilde \Delta_{BC}=(\partial\overline{\partial})(\partial \overline{\partial})^*+ (\partial\overline{\partial})^*(\partial \overline{\partial})+ (\overline{\partial}^* \partial)(\overline{\partial}^* {\partial})^*+ (\overline{\partial}^*{\partial})^*(\overline{\partial}^* {\partial})\\ + \overline{\partial}^*\overline{\partial}+\partial^*\partial\in End(\wedge^{\bullet,\bullet}\widetilde X)\end{multlined} \] and \[ \widetilde{\Delta}_A=\partial \partial^*+\overline{\partial\partial}^*+ (\partial \overline \partial)^*(\partial \overline \partial)+ (\partial \overline \partial)(\partial \overline \partial)^* +(\overline \partial \partial^*)^*(\overline {\partial}\partial^*)+ (\overline \partial \partial^*)(\overline \partial \partial^*)^* \in End(\wedge^{\bullet,\bullet}\widetilde X). \] In particular, the Hodge-\(*\) operator induces an isomorphism \break \(H_{BC}^{\bullet1,\bullet2}(\widetilde X)\simeq H_A^{n-\bullet2,n-\bullet1}(\widetilde X)\). The \(\partial \overline \partial\)-lemma for complex orbifolds can be stated as: Theorem 2. Let \(\widetilde Y\) and \(\widetilde X\) be compact complex orbifolds of the same dimension and let \(\epsilon :\widetilde Y\to \widetilde X\) be a proper surjective morphism of complex orbifolds. If \(\widetilde Y\) satisfies the \(\partial \widetilde \partial\) lemma then also \(\widetilde X\) satisfies the \(\partial \overline \partial\)-lemma.