{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $M$ be a smooth manifold of dimension $n$ with a [[foliation|98HTB7MSPX]] $\\mathcal{F}$ of codimension $q$.\nA *leafwise path* is a [[path|03NAMV1DHJ]] $\\gamma \\colon [0, 1] \\to M$ whose image lies in a single leaf.\nFor each $x \\in M$ fix a transversal $T_x$: a [[submanifold|VKFW27WXEZ]] of dimension $q$ through $x$ that meets the leaves transversally.\nLet $\\gamma$ be a leafwise path from $x$ to $y$.\nFollowing the leaves near $\\gamma$ from $T_x$ to $T_y$ defines a [[germ|VZXF7RNFKS]] at $x$ of a diffeomorphism $\\operatorname{hol}(\\gamma) \\colon (T_x, x) \\to (T_y, y)$, the *holonomy* of $\\gamma$.\nTwo leafwise paths are *holonomy equivalent* if they have the same endpoints $x, y$ and the same holonomy germ.\nThe *holonomy groupoid* $\\operatorname{Hol}(M, \\mathcal{F})$ is the [[groupoid|FH3C0T643F]] with these data.\n\n1. Its objects are the points of $M$.\n2. Its arrows from $x$ to $y$ are the holonomy equivalence classes of leafwise paths from $x$ to $y$.\n3. Composition is induced by concatenation of paths, and the inverse of the class of $\\gamma$ is the class of the reversed path.\n\n## Remarks\n\nThe holonomy germ does not depend on the choice of transversals up to the natural identifications, so the equivalence relation is well defined.\nHomotopic leafwise paths with fixed endpoints have the same holonomy, so each arrow is a union of leafwise homotopy classes of paths.\nThe holonomy groupoid has a natural structure of a [[Lie groupoid|HNVW0E732J]] of dimension $2n - q$, whose manifold of arrows need not be Hausdorff.\nIts source fibre over $x$ is the holonomy cover of the leaf through $x$.\n\nExample: foliate $\\R^2$ by the horizontal lines $y = c$.\nAll holonomy germs are identities, so there is one arrow from $(a, c)$ to $(b, c)$ for all $a, b, c$, and no arrow between points with different second coordinates.\nThe holonomy groupoid is the equivalence relation $\\set{((b, c), (a, c))}$, a manifold of dimension $3 = 2 \\cdot 2 - 1$.\n\nNon-example: the monodromy groupoid, whose arrows are leafwise homotopy classes of leafwise paths, is in general different.\nFor the foliation of $S^1 \\times \\R$ by the circles $S^1 \\times \\set{c}$, a loop going once around a circle has trivial holonomy but is not null-homotopic in its leaf.\nSo it gives the identity arrow of the holonomy groupoid but a nontrivial arrow of the monodromy groupoid.\nIn the [[Reeb foliation|W58NYR1DGR]], the compact leaf has nontrivial holonomy, so some loops in it give nontrivial arrows in both.\n\n## Explanations\n\n### L1 human\n\nThe holonomy groupoid records all ways of walking from one point to another inside a leaf, counting two walks as equal when they drag nearby leaves in the same way.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "HMRP135M6K",
    "kind": "definition",
    "msc": [
      "57R30",
      "22A22",
      "58H05"
    ],
    "name": "Holonomy groupoid of a foliation",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Lie_groupoid"
      }
    ],
    "tag": "SXMPSYESTP",
    "uses": [
      "98HTB7MSPX",
      "FH3C0T643F",
      "HNVW0E732J",
      "03NAMV1DHJ",
      "VZXF7RNFKS",
      "VKFW27WXEZ",
      "W58NYR1DGR"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/SXMPSYESTP/",
  "links": [
    {
      "field": "defines",
      "target": "HMRP135M6K"
    },
    {
      "field": "uses",
      "target": "98HTB7MSPX"
    },
    {
      "field": "uses",
      "target": "FH3C0T643F"
    },
    {
      "field": "uses",
      "target": "HNVW0E732J"
    },
    {
      "field": "uses",
      "target": "03NAMV1DHJ"
    },
    {
      "field": "uses",
      "target": "VZXF7RNFKS"
    },
    {
      "field": "uses",
      "target": "VKFW27WXEZ"
    },
    {
      "field": "uses",
      "target": "W58NYR1DGR"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/SXMPSYESTP.md",
  "msc": [
    "57R30",
    "22A22",
    "58H05"
  ],
  "name": "Holonomy groupoid of a foliation",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/SXM/SXMPSYESTP.md",
  "status": null,
  "tag": "SXMPSYESTP",
  "uri": "m2://SXMPSYESTP",
  "url": "https://tamnd.github.io/math2/wiki/holonomy-groupoid-of-a-foliation-definition/",
  "writing": {
    "tag": "SXMPSYESTP",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}