Morphisms between complete Riemannian pseudogroups

Foliations (differential geometric aspects) (53C12) Spectral sequences and homology of fiber spaces in algebraic topology (55R20) Foliations in differential topology; geometric theory (57R30) Pseudogroups and differentiable groupoids (58H05)

Abstract: We introduce the concept of morphism of pseudogroups generalizing the 'etal'e morphisms of Haefliger. With our definition, any continuous foliated map induces a morphism between the corresponding holonomy pseudogroups. The main theorem states that any morphism between complete Riemannian pseudogroups is complete, has a closure and its maps are cinf along the orbit closures. Here, completeness and closure are versions for morphisms of concepts introduced by Haefliger for pseudogroups. This result is applied to approximate foliated maps by smooth ones in the case of transversely complete Riemannian foliations, yielding the foliated homotopy invariance of their spectral sequence. This generalizes the topological invariance of their basic cohomology, shown by El Kacimi-Nicolau. A different proof of the spectral sequence invariance was also given by the second author.

Review text

In this long, detailed and well-written paper the authors study mappings between Riemannian foliations and morphisms between Riemannian pseudogroups. To use the language of categories the authors generalize some classical notions of the theory. They introduce the notion of a morphism of pseudogroups which is more general than the étalé morphism defined by \textit{A. Haefliger} in [in: A fête of topology, Pap. Dedic. Itiro Tamura, 3--32 (1988; Zbl 0667.57012)]. Elements of a morphism are required to be only continuous maps, not homeomorphisms of open subsets. This slight generalization permits to define a functor from the category of foliated spaces and their continuous foliated mappings into the category of pseudogroups and their morphisms, the holonomy functor. The authors' interest concentrates on mappings between Riemannian foliations and on Riemannian pseudogroups, i.e. pseudogroups whose elements are isometries of some Riemannian metric, and their morphisms. The main result of the paper is Theorem A which says that any morphism between complete Riemannian pseudogroups is complete, has a closure and is of class \(C^{0,\infty},\) i.e. of class \(C^{\infty}\) along the orbits. The theorem is a generalization of a well-known result on Lie groups saying that a continuous homomorphism of Lie groups is of class \(C^{0,\infty}.\) To supplement the theorem there are examples of non-complete morphisms between complete pseudogroups showing that the ``Riemannian assumption is essential. To study in depth the problems of homotopy of foliated mappings of Riemannian foliations the authors introduce a so-called ``strong adapted topology, which is the same as the compact open topology if the leaf closures are compact. For this topology they prove a series of results on denseness, approximation and homotopy of \(C^{0,\infty}\)-foliated maps. As a corollary they obtain the following result: Any foliated homotopy equivalence between transversely complete Riemannian foliations induces an isomorphism of \(E_i\), \(i \geq 2, \) of the associated spectral sequence, which, in particular, generalizes the result of \textit{A. El Kacimi Alaoui} and \textit{M. Nicolau} on the topological invariance of basic cohomology of Riemannian foliations on closed manifolds, [Math. Ann. 295, No.~4, 627--634 (1993; Zbl 0793.57016)]. Finally, they introduce a similar topology in the space of morphisms between Riemannian pseudogroups and prove similar properties of these morphisms. It is a long paper divided into 31 sections. The first 15 sections are introductory. The main result is proved in Sections 16 and 17. Sections 28--23 are dedicated to foliated maps. The invariance of the spectral sequence is proved in Section 25, and Sections 26--29 are about morphisms of pseudogroups. Examples are presented in Section 30. The paper is supplemented by a section (31) devoted to open problems.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Morphisms between complete Riemannian pseudogroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2474465)