{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $M$ be a connected smooth manifold, let $E \\to M$ be a smooth vector bundle with a [[connection|5ZYRRVE8BW]] $\\nabla$, and let $p \\in M$.\nLet $R$ be the [[curvature|JA29ETCM02]] of $\\nabla$, given by $R(X, Y) s = \\nabla_X \\nabla_Y s - \\nabla_Y \\nabla_X s - \\nabla_{[X, Y]} s$.\nLet $P_\\gamma$ denote the [[parallel transport|TVAGN3D6W5]] along a piecewise smooth curve $\\gamma$.\nThen the Lie algebra of the [[holonomy group|WHDZ3MK56B]] $\\mathrm{Hol}_p(\\nabla) \\subset \\mathrm{GL}(E_p)$ is the linear span of the endomorphisms\n$$P_\\gamma^{-1} \\circ R_q(u, v) \\circ P_\\gamma \\in \\mathrm{End}(E_p).$$\nHere $q$ runs over $M$, $\\gamma$ runs over the piecewise smooth curves from $p$ to $q$, and $u, v$ run over $T_qM$.\n\n## Remarks\n\nThe idea of the proof: transport around a small loop spanned by $u$ and $v$ at $q$ differs from the identity by about $R_q(u, v)$ times the area.\nSo these conjugated curvatures lie in the holonomy algebra.\nConversely, the set of frames reached from a frame at $p$ by horizontal curves is a reduction of the frame bundle.\nIts structure algebra is spanned by these elements, and this is where the [[curvature form|ZAJFW1S078]] of a principal connection enters.\nIn the language of principal bundles, let $\\omega$ be a connection on $P \\to M$ with curvature $\\Omega$, and let $u \\in P$.\nThen the Lie algebra of $\\mathrm{Hol}_u(\\omega)$ is spanned by the values $\\Omega_v(X, Y)$.\nHere $v$ runs over the points of $P$ joined to $u$ by horizontal curves, and $X, Y$ over the horizontal vectors at $v$.\nExample: a connection with $R = 0$ has zero holonomy algebra, so its restricted holonomy group is trivial and parallel transport is locally path independent.\nThe theorem only sees the identity component: the flat Möbius line bundle over a circle has $R = 0$ but holonomy group $\\set{\\pm 1}$.\n\n## Explanations\n\n### L1 human\n\nHolonomy is a global notion: it uses loops of any size.\nCurvature is local: it is computed at single points.\nThe Ambrose–Singer theorem says that the infinitesimal part of the holonomy is generated by curvature, once curvature at far away points is carried back along paths.\nSo if the curvature vanishes everywhere, small loops never turn vectors.\n\n### L2 human\n\nThe theorem is the bridge between the holonomy group and the curvature tensor.\nIt shows that the curvature takes values in the holonomy algebra, which gives strong algebraic restrictions on curvature when the holonomy is small.\nThis is the starting point of Berger's classification of Riemannian holonomy groups and of the study of manifolds with special holonomy.\nIt also shows that a connection is flat exactly when its restricted holonomy group is trivial.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "WHDZ3MK56B"
    ],
    "kind": "statement",
    "msc": [
      "53C29",
      "53C05"
    ],
    "name": "Ambrose–Singer theorem",
    "role": "theorem",
    "sources": [
      {
        "locator": "Ambrose–Singer theorem",
        "url": "https://en.wikipedia.org/wiki/Holonomy"
      }
    ],
    "tag": "T61AW674XD",
    "uses": [
      "WHDZ3MK56B",
      "TVAGN3D6W5",
      "JA29ETCM02",
      "ZAJFW1S078",
      "5ZYRRVE8BW"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/T61AW674XD/",
  "links": [
    {
      "field": "about",
      "target": "WHDZ3MK56B"
    },
    {
      "field": "uses",
      "target": "WHDZ3MK56B"
    },
    {
      "field": "uses",
      "target": "TVAGN3D6W5"
    },
    {
      "field": "uses",
      "target": "JA29ETCM02"
    },
    {
      "field": "uses",
      "target": "ZAJFW1S078"
    },
    {
      "field": "uses",
      "target": "5ZYRRVE8BW"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/T61AW674XD.md",
  "msc": [
    "53C29",
    "53C05"
  ],
  "name": "Ambrose–Singer theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/T61/T61AW674XD.md",
  "status": null,
  "tag": "T61AW674XD",
  "uri": "m2://T61AW674XD",
  "url": "https://math2.tamnd.com/wiki/ambrose-singer-theorem/",
  "writing": {
    "tag": "T61AW674XD",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}