{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Description\n\nLet $M$ be a smooth manifold of dimension $n$ and fix points $p, q \\in M$.\nThe *path space* $\\Omega_{p,q} M$ is the set of paths $\\gamma \\colon [0, 1] \\to M$ of [[Sobolev class|M4CEZ5K9HP]] $H^1$ with $\\gamma(0) = p$ and $\\gamma(1) = q$.\nHere $H^1$ means that in local coordinates the path is absolutely continuous with square-integrable derivative.\n\n## Remarks\n\nThe path space is a Hilbert manifold.\nChoose a complete [[Riemannian metric|7CBT4SM83Y]] on $M$.\nFor a smooth path $\\gamma$ from $p$ to $q$, let $T_\\gamma$ be the Hilbert space of $H^1$ vector fields $\\xi$ along $\\gamma$ with $\\xi(0) = \\xi(1) = 0$.\nSmall $\\xi \\in T_\\gamma$ give paths $t \\mapsto \\exp_{\\gamma(t)}(\\xi(t))$ from $p$ to $q$, and these maps are charts with smooth chart changes.\nEvery $H^1$ path is close to a smooth one, so these charts cover $\\Omega_{p,q} M$, and each model space $T_\\gamma$ is isomorphic to $H^1_0([0, 1]; \\R^n)$.\n\nOn this Hilbert manifold the energy $E(\\gamma) = \\frac{1}{2} \\int_0^1 \\abs{\\gamma'(t)}^2 \\, dt$ is a smooth function whose critical points are the [[geodesics|NSYMQMHPDN]] from $p$ to $q$.\nThe inclusion of piecewise smooth or smooth paths into $\\Omega_{p,q} M$ is a homotopy equivalence.\nFor connected $M$ the space is homotopy equivalent to the based [[loop space|2JFF5F3EGF]] of $M$.\n\n\n## Explanations\n\n### L1 human\n\nThe path space collects all routes from $p$ to $q$ in $M$, each route being one point of the space.\nUsing paths with square-integrable speed, rather than smooth ones, makes the space a Hilbert manifold, which is the right setting for calculus of variations.\nThe shortest and, more generally, the locally straightest routes are the geodesics, and they appear as the critical points of the energy on this space.\nThis is the starting point of Morse theory of geodesics.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "instance_of": [
      "R8DMMW0E9M"
    ],
    "kind": "object",
    "msc": [
      "58D15",
      "58E10",
      "58B20"
    ],
    "name": "Path space of a manifold",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Path_space_(algebraic_topology)"
      }
    ],
    "tag": "CFHNV77ZMD",
    "uses": [
      "F45VQ47GPV",
      "7CBT4SM83Y",
      "M4CEZ5K9HP",
      "NSYMQMHPDN",
      "2JFF5F3EGF"
    ]
  },
  "kind": "object",
  "link": "https://tamnd.github.io/math2/node/CFHNV77ZMD/",
  "links": [
    {
      "field": "instance_of",
      "target": "R8DMMW0E9M"
    },
    {
      "field": "uses",
      "target": "F45VQ47GPV"
    },
    {
      "field": "uses",
      "target": "7CBT4SM83Y"
    },
    {
      "field": "uses",
      "target": "M4CEZ5K9HP"
    },
    {
      "field": "uses",
      "target": "NSYMQMHPDN"
    },
    {
      "field": "uses",
      "target": "2JFF5F3EGF"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/CFHNV77ZMD.md",
  "msc": [
    "58D15",
    "58E10",
    "58B20"
  ],
  "name": "Path space of a manifold",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/CFH/CFHNV77ZMD.md",
  "status": null,
  "tag": "CFHNV77ZMD",
  "uri": "m2://CFHNV77ZMD",
  "url": "https://tamnd.github.io/math2/wiki/path-space-of-a-manifold/",
  "writing": {
    "tag": "CFHNV77ZMD",
    "kind": "object",
    "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
      },
      {
        "what": "field same_as",
        "note": "the identifiers in the databases",
        "have": 0,
        "want": 1
      }
    ]
  }
}