topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
-Lie groupoids
-Lie groups
-Lie algebroids
-Lie algebras
A holonomy groupoid is a (topological/Lie-) groupoid naturally associated with a foliation of a manifold . It is, in some sense, the smallest de-singularization of the leaf-space quotient of the foliation, which is, in general, not a manifold itself. Every foliation groupoid of has this de-singularization property, but the holonomy groupoid is, in some sense, minimal with respect to this property.
Explicitly, given a foliation on a manifold , the holonomy groupoid of has as objects the points of . Given points in the same leaf, a morphism between them is the equivalence class of a path in the leaf from to , where two paths are identified if they induce the same germ of a holonomy transformation between small transversal sections through and . If and are not in the same leaf, then there is no morphism between them.
This is naturally a topological groupoid and a Lie groupoid if done right.
The monodromy groupoid of the foliation is obtained from this by further dividing out the homotopy between paths in a leaf.
Let be a foliated manifold with . Let be a leaf of ; let be two points; and let and be transversal sections through and respectively (i.e., and are sub-manifolds transversal to the leaves of ).
To a path from to , we assign the germ of a (partially defined) diffeomorphism
called the holonomy transformation of the path with respect to and , as follows:
If there exists a single foliation chart of that contains the image of , then there exists a sufficiently small open neighborhood of in the space for which there exists a unique smooth map satisfying the following conditions:
;
For every , the point lies in the same plaque in as . Observe that is a diffeomorphism onto its image.
Then define to be the germ of this diffeomorphism at :
In general, the image of is not contained inside any single foliation chart , but as it is a compact subspace of , there exist finitely many foliation charts and numbers such that
and
is contained in for .
Then arbitrarily choose transversal sections through for and define
This definition is independent of the choice of ‘s, ’s and ’s. It only depends on the initial and final transversal sections and .
Proposition
Two homotopic paths with the same endpoints induce the same holonomy. (Note, however, that the converse is not true. Two paths with the same endpoints inducing the same holonomy may not be homotopic.)
If are two transversal sections through and two transversal sections through , then
Given a foliated manifold , the monodromy groupoid is the disjoint union of the fundamental groupoids of the leaves of , which is the groupoid having the following properties:
Its objects are the points of .
There are no morphisms between two points on different leaves.
The morphisms between two points on the same leaf are homotopy-classes of paths lying in the leaf joining those points.
The holonomy groupoid is defined analogously, where instead of identifying two paths if they are homotopic, they are identified if they induce the same holonomy as described above.
The holonomy groupoid appears in
and was studied extensively in
See also
Marius Crainic, Ieke Moerdijk, Foliation groupoids and their cyclic homology, arXiv:math/0003119
Ronnie Brown, Osman Mucuk, Foliations, locally Lie groupoids and holonomy, numdam
Applications to singular foliations and to Poisson manifolds in particular are in
Last revised on July 2, 2016 at 10:57:30. See the history of this page for a list of all contributions to it.