{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $M$ be a [[smooth manifold|F45VQ47GPV]], let $f \\colon M \\to \\R$ be a [[smooth function|0V33BNKZ9S]], and let $p$ be a [[critical point|0YTCMFB4HC]] of $f$.\nLet $H = \\operatorname{Hess}_p f$ be its Hessian, the [[symmetric bilinear form|0AXZNE5XNH]] on $T_p M$ from the definition of a [[nondegenerate critical point|MGPPCDFQDG]].\nThe *Morse index* of $f$ at $p$ is the largest dimension of a linear subspace $V \\subseteq T_p M$ such that $H(v, v) \u003c 0$ for every nonzero $v \\in V$.\nThe *nullity* of $f$ at $p$ is the dimension of the kernel $\\set{v \\in T_p M : H(v, w) = 0 \\text{ for all } w \\in T_p M}$.\n\n## Remarks\n\nIn a chart, the index is the number of negative eigenvalues of the Hessian matrix, counted with multiplicity, and the nullity is the dimension of its kernel.\nBy Sylvester's law of inertia both are independent of the chart.\nThe point $p$ is nondegenerate exactly when the nullity is $0$, and the term Morse index is mostly used in that case.\n\nExample: $f(x, y, z) = x^2 - y^2 - 3z^2$ on $\\R^3$ has Hessian matrix $\\operatorname{diag}(2, -2, -6)$ at the origin.\nIt is negative definite on the $yz$-plane and not on any $3$-dimensional subspace, so the index is $2$ and the nullity is $0$.\n\nNon-example: for $g(x) = x^3$ on $\\R$, the critical point $0$ has index $0$ and nullity $1$.\nIndex $0$ does not make $0$ a local minimum here, since the point is degenerate; this is why the index describes the local shape only at nondegenerate critical points.\n\nThe same definition applies on a Hilbert manifold, where the index may be infinite.\nFor the [[energy functional on paths|Q12AB1MJ64]], the index at a geodesic is computed by the [[Morse index theorem for geodesics|YZ4268SK8G]].\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "MAX2ZYG6H9",
    "kind": "definition",
    "msc": [
      "57R70",
      "58E05",
      "58E10"
    ],
    "name": "Morse index",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Morse_theory"
      }
    ],
    "tag": "AH059Y44NF",
    "uses": [
      "F45VQ47GPV",
      "0V33BNKZ9S",
      "0YTCMFB4HC",
      "MGPPCDFQDG",
      "0AXZNE5XNH"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/AH059Y44NF/",
  "links": [
    {
      "field": "defines",
      "target": "MAX2ZYG6H9"
    },
    {
      "field": "uses",
      "target": "F45VQ47GPV"
    },
    {
      "field": "uses",
      "target": "0V33BNKZ9S"
    },
    {
      "field": "uses",
      "target": "0YTCMFB4HC"
    },
    {
      "field": "uses",
      "target": "MGPPCDFQDG"
    },
    {
      "field": "uses",
      "target": "0AXZNE5XNH"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/AH059Y44NF.md",
  "msc": [
    "57R70",
    "58E05",
    "58E10"
  ],
  "name": "Morse index",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/AH0/AH059Y44NF.md",
  "status": null,
  "tag": "AH059Y44NF",
  "uri": "m2://AH059Y44NF",
  "url": "https://tamnd.github.io/math2/wiki/morse-index-definition/",
  "writing": {
    "tag": "AH059Y44NF",
    "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
      }
    ]
  }
}