The holonomy groupoid of a singular foliation.

*(English)*Zbl 1161.53020For a (regular) foliation \(\mathcal F\), the holonomy groupoid (sometimes called the graph of a foliation) is defined as the space of equivalence classes of triples \((y,\alpha,x)\) where \(x\) and \(y\) are points of the same leaf \(L\) of \(\mathcal F\), \(\alpha\) is a path in \(L\) linking \(x\) to \(y\), and two triples \((y,\alpha,x)\), \((y',\alpha',x')\) are equivalent if and only if \(x=x'\), \(y=y'\) and the holonomy of the curve \(\alpha^{-1}\ast\alpha'\) is trivial. This definition is due to H. E. Winkelnkemper [Ann. Global Anal. Geom. 1, No. 3, 51–75 (1983; Zbl 0526.53039)], who also proved that the holonomy groupoid is a, in general non-Hausdorff, manifold.

The analogous definition in the setting of singular foliations was given by various authors such as Pradines, Bigonnet and Debord [J. Pradines, Cah. Topol. Géom. Différ. Catégoriques 26, 339–380 (1985; Zbl 0576.57023); B. Bigonnet and J. Pradines, C. R. Acad. Sci., Paris, Sér. I 300, 439–442 (1985; Zbl 0581.57013); C. Debord, Banach Cent. Publ. 54, 21–33 (2001; Zbl 1007.22008); C. Debord, J. Differ. Geom. 58, No. 3, 467–500 (2001; Zbl 1034.58017)]. However, these authors dealt with singular foliations that can be defined by an almost injective Lie algebroid, i.e. a Lie algebroid whose anchor map is injective in a dense open subset of the base manifold.

The present article deals with the problem of defining a holonomy groupoid for a singular foliation without assuming the foliation to be defined by some algebroid. The properties of such groupoid may be summarized in the following theorem:

Let \(\mathcal F\) be a (possibly singular) Stefan-Sussmann foliation on a manifold \(M\). Then there exists a topological groupoid \({\mathcal H}({\mathcal F})\rightrightarrows M\) such that: a) its orbits are the leaves of the given foliation \(\mathcal F\), b) \({\mathcal H}({\mathcal F})\) is minimal in the sense that if \(G\rightrightarrows M\) is a Lie groupoid which defines the foliation \(\mathcal F\) then there exists an open subgroupoid \(G_0\) of \(G\) and a morphism of groupoids \(G_0 \rightarrow {\mathcal H}({\mathcal F})\) which is onto.

Moreover, it is shown that if \({\mathcal F}\) is regular or is defined from an almost injective Lie groupoid then one gets the aforementioned definitions of Winkelnkemper and Pradines, Bigonnet, Debord.

In such construction, the key notion is that of a bi-submersion which plays the role of a local Lie groupoid defining the foliation. The holonomy groupoid is indeed given by the quotient of germs of these bi-submersions with respect to an appropriate equivalence relation.

Though, in the general case, such groupoid can be quite an ill behaved geometric object and its only possible topology is quite pathological, it often has a nice longitudinal smooth structure and it is used by the authors for the generalization in the singular setting the Connes’ construction of the \(C^{\ast}\)-algebra of a foliation.

The analogous definition in the setting of singular foliations was given by various authors such as Pradines, Bigonnet and Debord [J. Pradines, Cah. Topol. Géom. Différ. Catégoriques 26, 339–380 (1985; Zbl 0576.57023); B. Bigonnet and J. Pradines, C. R. Acad. Sci., Paris, Sér. I 300, 439–442 (1985; Zbl 0581.57013); C. Debord, Banach Cent. Publ. 54, 21–33 (2001; Zbl 1007.22008); C. Debord, J. Differ. Geom. 58, No. 3, 467–500 (2001; Zbl 1034.58017)]. However, these authors dealt with singular foliations that can be defined by an almost injective Lie algebroid, i.e. a Lie algebroid whose anchor map is injective in a dense open subset of the base manifold.

The present article deals with the problem of defining a holonomy groupoid for a singular foliation without assuming the foliation to be defined by some algebroid. The properties of such groupoid may be summarized in the following theorem:

Let \(\mathcal F\) be a (possibly singular) Stefan-Sussmann foliation on a manifold \(M\). Then there exists a topological groupoid \({\mathcal H}({\mathcal F})\rightrightarrows M\) such that: a) its orbits are the leaves of the given foliation \(\mathcal F\), b) \({\mathcal H}({\mathcal F})\) is minimal in the sense that if \(G\rightrightarrows M\) is a Lie groupoid which defines the foliation \(\mathcal F\) then there exists an open subgroupoid \(G_0\) of \(G\) and a morphism of groupoids \(G_0 \rightarrow {\mathcal H}({\mathcal F})\) which is onto.

Moreover, it is shown that if \({\mathcal F}\) is regular or is defined from an almost injective Lie groupoid then one gets the aforementioned definitions of Winkelnkemper and Pradines, Bigonnet, Debord.

In such construction, the key notion is that of a bi-submersion which plays the role of a local Lie groupoid defining the foliation. The holonomy groupoid is indeed given by the quotient of germs of these bi-submersions with respect to an appropriate equivalence relation.

Though, in the general case, such groupoid can be quite an ill behaved geometric object and its only possible topology is quite pathological, it often has a nice longitudinal smooth structure and it is used by the authors for the generalization in the singular setting the Connes’ construction of the \(C^{\ast}\)-algebra of a foliation.

Reviewer: Beniamino Cappelletti Montano (Bari)

##### MSC:

53C12 | Foliations (differential geometric aspects) |

22A22 | Topological groupoids (including differentiable and Lie groupoids) |

53C29 | Issues of holonomy in differential geometry |

##### Keywords:

holonomy groupoid; graph of a foliation; Stefan-Sussmann foliation; \(C^{\ast}\)-algebra of a foliation##### References:

[1] | Bigonnet B., Sci. Paris 300 (13) pp 439– (1985) |

[2] | DOI: 10.1007/BFb0062614 |

[3] | DOI: 10.2977/prims/1195180375 · Zbl 0575.58030 |

[4] | DOI: 10.4007/annals.2003.157.575 · Zbl 1037.22003 |

[5] | Crainic Marius, J. Di{\currency}. Geom. 66 pp 71– (2004) |

[6] | Debord C., Banach Center Publ. 54 pp 21– (2001) |

[7] | Debord C., J. Di{\currency}. Geom. 58 pp 467– (2001) |

[8] | Fack Th., J. Op. Th. 8 pp 95– (1982) |

[9] | Khoshkam M., Math. 546 pp 47– (2002) |

[10] | Landsman N. P., Contemp. Math. 282 pp 159– (2001) |

[11] | Monthubert B., C. R. Acad. Sci. Paris (I) 325 pp 2– (1997) |

[12] | DOI: 10.2969/jmsj/05240847 · Zbl 0965.58023 |

[13] | DOI: 10.2140/pjm.1999.189.1 · Zbl 0932.47041 |

[14] | Paterson A., Homol. Homotopy Appl. 2 pp 89– (2000) |

[15] | DOI: 10.2478/BF02475970 · Zbl 1160.58300 |

[16] | Pradines J., C. Top. Geom. Di{\currency}. Cat. (4) pp 339– (1985) |

[17] | Pradines J., C. R. Acad. Sci. Paris (I) 298 (13) pp 297– (1984) |

[18] | Renault J. N., Springer Lect. Notes Math. pp 793– (1979) |

[19] | Stefan P., Proc. London Math. Soc. 29 pp 699– (3) · Zbl 0342.57015 |

[20] | DOI: 10.2307/1996660 · Zbl 0274.58002 |

[21] | DOI: 10.1016/j.jfa.2005.12.027 · Zbl 1105.58014 |

[22] | DOI: 10.1007/BF02329732 · Zbl 0526.53039 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.