{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "25G4AP9P4R"
    },
    {
      "field": "uses",
      "target": "4E7ZAWAJ7S"
    },
    {
      "field": "uses",
      "target": "73ANTTKAH3"
    },
    {
      "field": "uses",
      "target": "8722T9KCP5"
    },
    {
      "field": "uses",
      "target": "A5TDM8F4KB"
    },
    {
      "field": "uses",
      "target": "A77EHY9DAN"
    },
    {
      "field": "uses",
      "target": "BEHD931SJQ"
    },
    {
      "field": "uses",
      "target": "F4WDYPQ9VP"
    },
    {
      "field": "uses",
      "target": "GGFAH1M80J"
    },
    {
      "field": "uses",
      "target": "GTJ6KBD4PX"
    },
    {
      "field": "uses",
      "target": "M7DE5A0RKN"
    },
    {
      "field": "uses",
      "target": "MBQS4B0TPA"
    },
    {
      "field": "uses",
      "target": "T866256Y1W"
    },
    {
      "field": "uses",
      "target": "TPG0GQBFHM"
    },
    {
      "field": "about",
      "target": "73ANTTKAH3"
    },
    {
      "field": "defines",
      "target": "W4B84CGEG1"
    }
  ],
  "body": "\n## Summary\n\nAn elliptic operator on a compact manifold is a [[differential operator between vector bundles|CGBX1N9V8H]] whose [[principal symbol|S8GC34D5ZG]] is invertible at every nonzero covector.\nIt extends the notion of an [[elliptic operator|XY8GEQSWPR]] on a domain of $\\R^n$ to sections of bundles on a closed manifold.\nOn a compact manifold such an operator is Fredholm between suitable Sobolev spaces, so it has a finite index.\nThe Hodge Laplacian, the operator $d + d^*$ on forms, Dirac operators and the operator $\\bar\\partial + \\bar\\partial^*$ built from the Dolbeault operator are the main examples.\nThe Atiyah–Singer index theorem computes their indices.\n\n## Explanations\n\n### L1 human\n\nEllipticity says that the operator controls every derivative of its input, in every direction, at the top order.\nOn a compact manifold there is no boundary and no infinity where things can escape.\nTogether these two facts make an elliptic operator nearly invertible: only finitely many independent inputs are killed and only finitely many independent outputs are missed.\nFor example, the Laplacian on the circle kills only the constant functions, and its image consists of the functions with average zero.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "58J05",
      "47F10",
      "35J46"
    ],
    "name": "Elliptic operator on a compact manifold",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Elliptic_operator"
      }
    ],
    "tag": "MT9P2X85V8"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/MT9P2X85V8/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/MT9P2X85V8.md",
  "msc": [
    "58J05",
    "47F10",
    "35J46"
  ],
  "name": "Elliptic operator on a compact manifold",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/MT9/MT9P2X85V8.md",
  "status": null,
  "tag": "MT9P2X85V8",
  "uri": "m2://MT9P2X85V8",
  "url": "https://tamnd.github.io/math2/wiki/elliptic-operator-on-a-compact-manifold/",
  "writing": {
    "tag": "MT9P2X85V8",
    "kind": "concept",
    "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
      }
    ]
  }
}