Modified differentials and basic cohomology for Riemannian foliations (Q363215): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(8 intermediate revisions by 6 users not shown) | |||
Property / author | |||
Property / author: Ken V. Richardson / rank | |||
Property / author | |||
Property / author: Ken V. Richardson / rank | |||
Normal rank | |||
Property / review text | |||
The basic cohomology \(H^*(M,{\mathcal{F}})\) of foliated manifolds attempts to describe the ``cohomology of the space of leaves'', in particular if the foliation is by fibres of a fibre bundle then the basic cohomology is just the cohomology of the base space. Basic cohomology is defined as the cohomology of the complex of basic forms, i.e., forms that (together with their derivative) locally depend only on the transverse variables in the foliation charts. A foliation is called geometrically taut if there exists a Riemannian metric such that all leaves become minimal hypersurfaces. \textit{X.\ Masa} [Comment. Math. Helv. 67, No. 1, 17--27 (1992; Zbl 0778.53029)] proved that a foliation is geometrically taut if and only if \(H^{\mathrm{codim}({\mathcal{F}})}(M,{\mathcal{F}})=\mathbb R\) and the latter condition is equivalent to that the basic cohomology satisfies Poincaré duality. On the other hand, there are examples of foliations not satisfying Poincaré duality and \textit{J. Álvarez López} [Ann. Global Anal. Geom. 10, No. 2, 179--194 (1992; Zbl 0759.57017)] characterized geometrically taut Riemannian foliations (with bundle-like metric) by the fact that the cohomology class of the basic mean curvature form \(\left[\kappa_b\right]\in H^1(M,{\mathcal{F}})\) vanishes. (Here, \(\kappa_b\) is the projection to the space of basic forms of \(\kappa\), the \(1\)-form dual to the mean curvature vector field.) In the paper under review the authors consider the complex of basic forms with the ``twisted'' differential \(d-\kappa_b\wedge\). This is used to define a twisted basic Laplace operator and a twisted basic cohomology \(\tilde{H}^*(M,{\mathcal{F}})\) and since the twisted basic Laplace operator happens to commute with the Hodge operator, this new cohomology theory actually satisfies Poincaré duality. (For geometrically taut foliations the new cohomology of course coincides with the old one.) The authors establish a Weitzenböck-Bochner formula for the twisted basic Laplace operator and use it to derive some results relating transversal curvature to basic cohomology. Finally, the authors study codimension-two Riemannian foliations and show that in this case a foliation is nontaut if and only if the twisted basic cohomology vanishes in all degrees. The latter implies that the basic Euler characteristic and basic signature must vanish. The authors also compute the twisted basic cohomology for some examples such as Anosov flows on the 3-torus. | |||
Property / review text: The basic cohomology \(H^*(M,{\mathcal{F}})\) of foliated manifolds attempts to describe the ``cohomology of the space of leaves'', in particular if the foliation is by fibres of a fibre bundle then the basic cohomology is just the cohomology of the base space. Basic cohomology is defined as the cohomology of the complex of basic forms, i.e., forms that (together with their derivative) locally depend only on the transverse variables in the foliation charts. A foliation is called geometrically taut if there exists a Riemannian metric such that all leaves become minimal hypersurfaces. \textit{X.\ Masa} [Comment. Math. Helv. 67, No. 1, 17--27 (1992; Zbl 0778.53029)] proved that a foliation is geometrically taut if and only if \(H^{\mathrm{codim}({\mathcal{F}})}(M,{\mathcal{F}})=\mathbb R\) and the latter condition is equivalent to that the basic cohomology satisfies Poincaré duality. On the other hand, there are examples of foliations not satisfying Poincaré duality and \textit{J. Álvarez López} [Ann. Global Anal. Geom. 10, No. 2, 179--194 (1992; Zbl 0759.57017)] characterized geometrically taut Riemannian foliations (with bundle-like metric) by the fact that the cohomology class of the basic mean curvature form \(\left[\kappa_b\right]\in H^1(M,{\mathcal{F}})\) vanishes. (Here, \(\kappa_b\) is the projection to the space of basic forms of \(\kappa\), the \(1\)-form dual to the mean curvature vector field.) In the paper under review the authors consider the complex of basic forms with the ``twisted'' differential \(d-\kappa_b\wedge\). This is used to define a twisted basic Laplace operator and a twisted basic cohomology \(\tilde{H}^*(M,{\mathcal{F}})\) and since the twisted basic Laplace operator happens to commute with the Hodge operator, this new cohomology theory actually satisfies Poincaré duality. (For geometrically taut foliations the new cohomology of course coincides with the old one.) The authors establish a Weitzenböck-Bochner formula for the twisted basic Laplace operator and use it to derive some results relating transversal curvature to basic cohomology. Finally, the authors study codimension-two Riemannian foliations and show that in this case a foliation is nontaut if and only if the twisted basic cohomology vanishes in all degrees. The latter implies that the basic Euler characteristic and basic signature must vanish. The authors also compute the twisted basic cohomology for some examples such as Anosov flows on the 3-torus. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Thilo Kuessner / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C12 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C21 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58J50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58J60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6203576 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Riemannian foliation | |||
Property / zbMATH Keywords: Riemannian foliation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
basic cohomology, basic Laplacian | |||
Property / zbMATH Keywords: basic cohomology, basic Laplacian / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
transverse geometry | |||
Property / zbMATH Keywords: transverse geometry / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
eigenvalue estimate | |||
Property / zbMATH Keywords: eigenvalue estimate / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Poincaré duality | |||
Property / zbMATH Keywords: Poincaré duality / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q115376881 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1992194679 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1007.2955 / 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: A unique continuation theorem for solutions of elliptic partial differential equations or inequalities of second order / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zero sets of solutions to semilinear elliptic systems of first order / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Hopf index theorem for foliations. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The invertible double of elliptic operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Index theory for basic Dirac operators on Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On continuation of boundary values for partial differential operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4850452 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Index formulas for geometric Dirac operators in Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3473832 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5482790 / 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: On the topological invariance of the basic cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Feuilletages riemanniens sur les variétés simplement connexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transversal Dirac families in Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A brief note on the spectrum of the basic Dirac operator / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Basic signature and applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3729609 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The first eigenvalue of the transversal Dirac operator / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transverse conformal Killing forms and a Gallot-Meyer theorem for foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foliated bundles and characteristic classes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3681516 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: De Rham-Hodge theory for Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3653936 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Riemannian foliations and eigenvalue comparison / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lichnerowicz and Obata theorems for foliations. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mean Curvature of Riemannian Foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Duality and minimality in Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2716449 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3977313 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity of the Álvarez class / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuity of the Álvarez class under deformations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The basic Laplacian of a Riemannian foliation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Natural equivariant transversally elliptic Dirac operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Harmonic Integrals on Almost Product Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foliated manifolds with bundle-like metrics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4743396 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The asymptotics of heat kernels on Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Traces of heat operators on Riemannian foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quelques notions simples en géométrie riemannienne et leurs applications aux feuilletages compacts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A homological characterization of foliations consisting of minimal surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compact finite type foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4337693 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2714236 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:18, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modified differentials and basic cohomology for Riemannian foliations |
scientific article |
Statements
Modified differentials and basic cohomology for Riemannian foliations (English)
0 references
2 September 2013
0 references
The basic cohomology \(H^*(M,{\mathcal{F}})\) of foliated manifolds attempts to describe the ``cohomology of the space of leaves'', in particular if the foliation is by fibres of a fibre bundle then the basic cohomology is just the cohomology of the base space. Basic cohomology is defined as the cohomology of the complex of basic forms, i.e., forms that (together with their derivative) locally depend only on the transverse variables in the foliation charts. A foliation is called geometrically taut if there exists a Riemannian metric such that all leaves become minimal hypersurfaces. \textit{X.\ Masa} [Comment. Math. Helv. 67, No. 1, 17--27 (1992; Zbl 0778.53029)] proved that a foliation is geometrically taut if and only if \(H^{\mathrm{codim}({\mathcal{F}})}(M,{\mathcal{F}})=\mathbb R\) and the latter condition is equivalent to that the basic cohomology satisfies Poincaré duality. On the other hand, there are examples of foliations not satisfying Poincaré duality and \textit{J. Álvarez López} [Ann. Global Anal. Geom. 10, No. 2, 179--194 (1992; Zbl 0759.57017)] characterized geometrically taut Riemannian foliations (with bundle-like metric) by the fact that the cohomology class of the basic mean curvature form \(\left[\kappa_b\right]\in H^1(M,{\mathcal{F}})\) vanishes. (Here, \(\kappa_b\) is the projection to the space of basic forms of \(\kappa\), the \(1\)-form dual to the mean curvature vector field.) In the paper under review the authors consider the complex of basic forms with the ``twisted'' differential \(d-\kappa_b\wedge\). This is used to define a twisted basic Laplace operator and a twisted basic cohomology \(\tilde{H}^*(M,{\mathcal{F}})\) and since the twisted basic Laplace operator happens to commute with the Hodge operator, this new cohomology theory actually satisfies Poincaré duality. (For geometrically taut foliations the new cohomology of course coincides with the old one.) The authors establish a Weitzenböck-Bochner formula for the twisted basic Laplace operator and use it to derive some results relating transversal curvature to basic cohomology. Finally, the authors study codimension-two Riemannian foliations and show that in this case a foliation is nontaut if and only if the twisted basic cohomology vanishes in all degrees. The latter implies that the basic Euler characteristic and basic signature must vanish. The authors also compute the twisted basic cohomology for some examples such as Anosov flows on the 3-torus.
0 references
Riemannian foliation
0 references
basic cohomology, basic Laplacian
0 references
transverse geometry
0 references
eigenvalue estimate
0 references
Poincaré duality
0 references
0 references