Poincaré duality of the basic intersection cohomology of a Killing foliation (Q284086): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Martintxo E. Saralegi-Aranguren / rank | |||
Property / author | |||
Property / author: Robert A. Wolak / rank | |||
Property / author | |||
Property / author: Robert A. Wolak / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Martintxo E. Saralegi-Aranguren / rank | |||
Normal rank | |||
Property / review text | |||
For a smooth regular foliation \(\mathcal F\) on a manifold \(M\), the basic complex \(\Omega^*(M/{\mathcal F})\) is the subcomplex of the de~Rham complex \(\Omega^*(M)\) that consists of the differential forms \(\omega\) such that \(\omega\) and \(d\omega\) vanish on vectors tangent to the leaves. Its cohomology, \(H^*(M/{\mathcal F})\), is called the basic cohomology, and can play the role of the de~Rham cohomology of the leaf space \(M/{\mathcal F}\). The basic cohomology does not behave well in general. For this reason, the condition on \(\mathcal F\) to be Riemannian was introduced, which means that the leaves of \(\mathcal F\) are locally given by the fibers of local Riemannian submersions for some Riemannian metric on \(M\). Such a metric is called bundle-like, and can be also characterized by requiring that geodesics orthogonal to a leaf at some point remain orthogonal to the leaves everywhere. When \(M\) is compact and \(\mathcal F\) is Riemannian, \textit{A. El Kacimi Alaoui} et al. have shown that \(H^*(M/{\mathcal F})\) is of finite dimension [Math. Z. 188, 593--599 (1985; Zbl 0536.57013)], and \textit{V. Sergiescu} has proved that \(H^*(M/{\mathcal F})\) satisfies a version of Poincaré duality under certain orientation and tautness assumptions [Ann. Inst. Fourier (Grenoble) 35, 137--158 (1985; Zbl 0563.57012)]. The contribution of the paper under review is a step towards generalizing the above results to the setting of a singular Riemannian foliation (SRF) \(\mathcal F\) on a compact manifold \(M\), introduced by \textit{P. Molino} [Riemannian foliations. With appendices by G. Cairns, Y. Carrière, E. Ghys, E. Salem, V. Sergiescu. Transl. from the French by Grant Cairns. Boston, MA etc.: Birkhäuser Verlag (1988; Zbl 0633.53001)]. The leaves of singular foliations may have different dimensions, and the Riemannian condition means that there is a Riemannian metric on \(M\) so that the geodesics that are orthogonal to the leaves at some point remain orthogonal to the leaves everywhere (the second description of bundle-like metrics generalizes to the singular case). A class SRFs is defined by Killing foliations, whose leaves are the connected components of the orbits of isometric Lie group actions. A canonical stratification on \(M\) can be defined using the dimension of the leaves, giving rise to the concept of basic intersection forms on the regular stratum \(R_{\mathcal F}\) with perversity \(\bar p\), defining the basic intersection cohomology (BIC) \({\mathbb H}_{\bar p}^*(M/{\mathcal F})\), a basic cohomology version of the intersection homology introduced for pseudomanifolds by \textit{M. Goresky} and \textit{R. MacPherson} [Topology 19, 135--165 (1980; Zbl 0448.55004)]. The authors require the restriction on \(\mathcal F\) to be Killing. Then they had already proved that \({\mathbb H}_{\bar p}^*(M/{\mathcal F})\) is of finite dimension [Math. Z. 272, No. 1--2, 443--457 (2012; Zbl 1255.57030)]. Now, they show a version of Poincaré duality, \({\mathbb H}_{\bar p}^*(M/{\mathcal F})\cong{\mathbb H}_{\bar q}^{m-w-*}(M/{\mathcal F})\), where \(\bar p\) and \(\bar q\) are complementary perversities, \(m=\dim M\), and \(w=\dim{\mathcal F}\) (the dimension of the leaves in \(R_{\mathcal F}\)). | |||
Property / review text: For a smooth regular foliation \(\mathcal F\) on a manifold \(M\), the basic complex \(\Omega^*(M/{\mathcal F})\) is the subcomplex of the de~Rham complex \(\Omega^*(M)\) that consists of the differential forms \(\omega\) such that \(\omega\) and \(d\omega\) vanish on vectors tangent to the leaves. Its cohomology, \(H^*(M/{\mathcal F})\), is called the basic cohomology, and can play the role of the de~Rham cohomology of the leaf space \(M/{\mathcal F}\). The basic cohomology does not behave well in general. For this reason, the condition on \(\mathcal F\) to be Riemannian was introduced, which means that the leaves of \(\mathcal F\) are locally given by the fibers of local Riemannian submersions for some Riemannian metric on \(M\). Such a metric is called bundle-like, and can be also characterized by requiring that geodesics orthogonal to a leaf at some point remain orthogonal to the leaves everywhere. When \(M\) is compact and \(\mathcal F\) is Riemannian, \textit{A. El Kacimi Alaoui} et al. have shown that \(H^*(M/{\mathcal F})\) is of finite dimension [Math. Z. 188, 593--599 (1985; Zbl 0536.57013)], and \textit{V. Sergiescu} has proved that \(H^*(M/{\mathcal F})\) satisfies a version of Poincaré duality under certain orientation and tautness assumptions [Ann. Inst. Fourier (Grenoble) 35, 137--158 (1985; Zbl 0563.57012)]. The contribution of the paper under review is a step towards generalizing the above results to the setting of a singular Riemannian foliation (SRF) \(\mathcal F\) on a compact manifold \(M\), introduced by \textit{P. Molino} [Riemannian foliations. With appendices by G. Cairns, Y. Carrière, E. Ghys, E. Salem, V. Sergiescu. Transl. from the French by Grant Cairns. Boston, MA etc.: Birkhäuser Verlag (1988; Zbl 0633.53001)]. The leaves of singular foliations may have different dimensions, and the Riemannian condition means that there is a Riemannian metric on \(M\) so that the geodesics that are orthogonal to the leaves at some point remain orthogonal to the leaves everywhere (the second description of bundle-like metrics generalizes to the singular case). A class SRFs is defined by Killing foliations, whose leaves are the connected components of the orbits of isometric Lie group actions. A canonical stratification on \(M\) can be defined using the dimension of the leaves, giving rise to the concept of basic intersection forms on the regular stratum \(R_{\mathcal F}\) with perversity \(\bar p\), defining the basic intersection cohomology (BIC) \({\mathbb H}_{\bar p}^*(M/{\mathcal F})\), a basic cohomology version of the intersection homology introduced for pseudomanifolds by \textit{M. Goresky} and \textit{R. MacPherson} [Topology 19, 135--165 (1980; Zbl 0448.55004)]. The authors require the restriction on \(\mathcal F\) to be Killing. Then they had already proved that \({\mathbb H}_{\bar p}^*(M/{\mathcal F})\) is of finite dimension [Math. Z. 272, No. 1--2, 443--457 (2012; Zbl 1255.57030)]. Now, they show a version of Poincaré duality, \({\mathbb H}_{\bar p}^*(M/{\mathcal F})\cong{\mathbb H}_{\bar q}^{m-w-*}(M/{\mathcal F})\), where \(\bar p\) and \(\bar q\) are complementary perversities, \(m=\dim M\), and \(w=\dim{\mathcal F}\) (the dimension of the leaves in \(R_{\mathcal F}\)). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57S15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55N33 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6581283 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
intersection cohomology | |||
Property / zbMATH Keywords: intersection cohomology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
singular foliation | |||
Property / zbMATH Keywords: singular foliation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lie group actions | |||
Property / zbMATH Keywords: Lie group actions / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jesús A. Álvarez López / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2263490674 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1401.5816 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The basic component of the mean curvature of Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the first secondary invariant of Molino's central sheaf / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3729587 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3961493 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5658847 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4269110 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Desingularisation Des Feuilletages Riemanniens / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3339825 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Décomposition de Hodge basique pour les feuilletages riemanniens / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intersection homology theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intersection homology. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5185750 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transformation groups in differential geometry. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Duality and minimality in Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal singular Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3977313 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Riemannian foliations. With appendices by G. Cairns, Y. Carrière, E. Ghys, E. Salem, V. Sergiescu / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Top-Dimensional Group of the Basic Intersection Cohomology for Singular Riemannian Foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deux remarques sur les flots Riemanniens. (Two remarks on Riemannian flows) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Momentum maps and Hamiltonian reduction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dense Lie group homomorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foliated manifolds with bundle-like metrics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tautness for Riemannian foliations on non-compact manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomological tautness for Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological properties of stratified spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Basic intersection cohomology of conical fibrations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The BIC of a singular foliation defined by an abelian group of isometries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness of the basic intersection cohomology of a Killing foliation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomologie basique et dualité des feuilletages riemanniens / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4337693 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:37, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Poincaré duality of the basic intersection cohomology of a Killing foliation |
scientific article |
Statements
Poincaré duality of the basic intersection cohomology of a Killing foliation (English)
0 references
17 May 2016
0 references
For a smooth regular foliation \(\mathcal F\) on a manifold \(M\), the basic complex \(\Omega^*(M/{\mathcal F})\) is the subcomplex of the de~Rham complex \(\Omega^*(M)\) that consists of the differential forms \(\omega\) such that \(\omega\) and \(d\omega\) vanish on vectors tangent to the leaves. Its cohomology, \(H^*(M/{\mathcal F})\), is called the basic cohomology, and can play the role of the de~Rham cohomology of the leaf space \(M/{\mathcal F}\). The basic cohomology does not behave well in general. For this reason, the condition on \(\mathcal F\) to be Riemannian was introduced, which means that the leaves of \(\mathcal F\) are locally given by the fibers of local Riemannian submersions for some Riemannian metric on \(M\). Such a metric is called bundle-like, and can be also characterized by requiring that geodesics orthogonal to a leaf at some point remain orthogonal to the leaves everywhere. When \(M\) is compact and \(\mathcal F\) is Riemannian, \textit{A. El Kacimi Alaoui} et al. have shown that \(H^*(M/{\mathcal F})\) is of finite dimension [Math. Z. 188, 593--599 (1985; Zbl 0536.57013)], and \textit{V. Sergiescu} has proved that \(H^*(M/{\mathcal F})\) satisfies a version of Poincaré duality under certain orientation and tautness assumptions [Ann. Inst. Fourier (Grenoble) 35, 137--158 (1985; Zbl 0563.57012)]. The contribution of the paper under review is a step towards generalizing the above results to the setting of a singular Riemannian foliation (SRF) \(\mathcal F\) on a compact manifold \(M\), introduced by \textit{P. Molino} [Riemannian foliations. With appendices by G. Cairns, Y. Carrière, E. Ghys, E. Salem, V. Sergiescu. Transl. from the French by Grant Cairns. Boston, MA etc.: Birkhäuser Verlag (1988; Zbl 0633.53001)]. The leaves of singular foliations may have different dimensions, and the Riemannian condition means that there is a Riemannian metric on \(M\) so that the geodesics that are orthogonal to the leaves at some point remain orthogonal to the leaves everywhere (the second description of bundle-like metrics generalizes to the singular case). A class SRFs is defined by Killing foliations, whose leaves are the connected components of the orbits of isometric Lie group actions. A canonical stratification on \(M\) can be defined using the dimension of the leaves, giving rise to the concept of basic intersection forms on the regular stratum \(R_{\mathcal F}\) with perversity \(\bar p\), defining the basic intersection cohomology (BIC) \({\mathbb H}_{\bar p}^*(M/{\mathcal F})\), a basic cohomology version of the intersection homology introduced for pseudomanifolds by \textit{M. Goresky} and \textit{R. MacPherson} [Topology 19, 135--165 (1980; Zbl 0448.55004)]. The authors require the restriction on \(\mathcal F\) to be Killing. Then they had already proved that \({\mathbb H}_{\bar p}^*(M/{\mathcal F})\) is of finite dimension [Math. Z. 272, No. 1--2, 443--457 (2012; Zbl 1255.57030)]. Now, they show a version of Poincaré duality, \({\mathbb H}_{\bar p}^*(M/{\mathcal F})\cong{\mathbb H}_{\bar q}^{m-w-*}(M/{\mathcal F})\), where \(\bar p\) and \(\bar q\) are complementary perversities, \(m=\dim M\), and \(w=\dim{\mathcal F}\) (the dimension of the leaves in \(R_{\mathcal F}\)).
0 references
intersection cohomology
0 references
singular foliation
0 references
Lie group actions
0 references
0 references
0 references