Cohomologies of certain orbifolds (Q390938): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Vasile Oproiu / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55N32 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32C15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32Q55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32Q99 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6243806 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Bott-Chern cohomology | |||
Property / zbMATH Keywords: Bott-Chern cohomology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
orbifold | |||
Property / zbMATH Keywords: orbifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\partial \bar{\partial}\)-lemma | |||
Property / zbMATH Keywords: \(\partial \bar{\partial}\)-lemma / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Aeppli cohomology | |||
Property / zbMATH Keywords: Aeppli cohomology / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2078232214 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1211.2561 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON A GENERALIZATION OF THE NOTION OF MANIFOLD / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compact Riemannian 7-manifolds with holonomy \(G_ 2\). I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compact 8-manifolds with holonomy \(\text{Spin}(7)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new construction of compact 8-manifolds with holonomy Spin(7). / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4523708 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Decomposition Theorem for V-Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON THE QUOTIENT OF AN ANALYTIC MANIFOLD BY A GROUP OF ANALYTIC HOMEOMORPHISMS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hermitian vector bundles and the equidistribution of the zeroes of their holomorphic section / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5552286 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized cohomologies and supersymmetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Real homotopy theory of Kähler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparison of de Rham and Dolbeault cohomology for proper surjective mappings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3426908 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4528987 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: RELATIONS BETWEEN THE COHOMOLOGY GROUPS OF DOLBEAULT AND TOPOLOGICAL INVARIANTS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On deformations of complex analytic structures. III: Stability theorems for complex structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compact groups of differentiable transformations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An 8-dimensional nonformal, simply connected, symplectic manifold / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic resolutions, Lefschetz property and formality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On nonformal simply-connected symplectic manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the \(\partial\overline{\partial}\)-lemma and Bott-Chern cohomology / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:36, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cohomologies of certain orbifolds |
scientific article |
Statements
Cohomologies of certain orbifolds (English)
0 references
9 January 2014
0 references
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.
0 references
Bott-Chern cohomology
0 references
orbifold
0 references
\(\partial \bar{\partial}\)-lemma
0 references
Aeppli cohomology
0 references
0 references
0 references