{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "W6DAWQ6H48"
    }
  ],
  "body": "\n## Statement\n\nLet $G$ be a compact [[Lie group|7JBRGCVJRB]] acting smoothly on a closed smooth manifold $M$.\nLet $E$ and $F$ be $G$-equivariant complex vector bundles over $M$, and let $P \\colon C^\\infty(M; E) \\to C^\\infty(M; F)$ be a $G$-invariant [[elliptic operator|MT9P2X85V8]].\nThen $\\ker P$ and $\\operatorname{coker} P$ are finite-dimensional [[representations|7JA7WH92K0]] of $G$, and the equivariant analytic index\n$$\\operatorname{ind}_G P = [\\ker P] - [\\operatorname{coker} P] \\in R(G)$$\nlies in the representation ring $R(G)$.\nThe equivariant analytic index equals the equivariant topological index:\n$$\\operatorname{ind}_G P = \\operatorname{t-ind}_G P.$$\nHere $\\operatorname{t-ind}_G P$ is defined from the class of the principal symbol in the equivariant K-theory $K_G(T^*M)$.\nThe definition uses a $G$-equivariant embedding of $M$ into a real representation of $G$.\n\n## Remarks\n\nThe proof follows the K-theoretic proof of the non-equivariant theorem.\nBoth sides are homomorphisms $K_G(T^*M) \\to R(G)$ with the same formal properties, and they agree on the basic case of a representation space.\nTaking $G$ trivial gives the Atiyah–Singer index theorem, since $R(\\{1\\}) = \\Z$ and the class of a vector space is its dimension.\nEvaluating the [[character|RMWMYBY8TC]] of $\\operatorname{ind}_G P$ at $g \\in G$ gives the Lefschetz number $\\operatorname{tr}(g \\mid \\ker P) - \\operatorname{tr}(g \\mid \\operatorname{coker} P)$.\nAtiyah, Segal and Singer computed this number by localization to the fixed point set $M^g$; when $g$ has no fixed points the number is $0$.\nExample: the $G$-signature theorem is the case of the signature operator.\n\n## Explanations\n\n### L1 human\n\nWhen a group acts by symmetries on a manifold and on an operator, the spaces of solutions are not only vector spaces but representations of the group.\nThe equivariant index records the difference of these representations, not just of their dimensions.\nThe theorem says that this difference is still computed by topology.\n\n### L2 human\n\nThe main use is the fixed point formula: the trace of a symmetry $g$ on the index is a sum of contributions of the fixed points of $g$.\nFor the de Rham complex this recovers the [[Lefschetz fixed-point theorem|G44NQXCWT9]].\nFor the Dolbeault complex it gives the holomorphic Lefschetz formula of [[Atiyah and Bott|PKS8JE1PW1]], from which they derived the Weyl character formula for compact connected Lie groups.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "44GBFZ16SG",
      "QDCD33CS21"
    ],
    "kind": "statement",
    "msc": [
      "58J20",
      "19L47",
      "57S15"
    ],
    "name": "Equivariant index theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Atiyah–Singer_index_theorem"
      }
    ],
    "tag": "T866256Y1W",
    "uses": [
      "44GBFZ16SG",
      "QDCD33CS21",
      "MT9P2X85V8",
      "7JBRGCVJRB",
      "7JA7WH92K0",
      "RMWMYBY8TC",
      "G44NQXCWT9",
      "PKS8JE1PW1"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/T866256Y1W/",
  "links": [
    {
      "field": "about",
      "target": "44GBFZ16SG"
    },
    {
      "field": "about",
      "target": "QDCD33CS21"
    },
    {
      "field": "uses",
      "target": "44GBFZ16SG"
    },
    {
      "field": "uses",
      "target": "QDCD33CS21"
    },
    {
      "field": "uses",
      "target": "MT9P2X85V8"
    },
    {
      "field": "uses",
      "target": "7JBRGCVJRB"
    },
    {
      "field": "uses",
      "target": "7JA7WH92K0"
    },
    {
      "field": "uses",
      "target": "RMWMYBY8TC"
    },
    {
      "field": "uses",
      "target": "G44NQXCWT9"
    },
    {
      "field": "uses",
      "target": "PKS8JE1PW1"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/T866256Y1W.md",
  "msc": [
    "58J20",
    "19L47",
    "57S15"
  ],
  "name": "Equivariant index theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/T86/T866256Y1W.md",
  "status": null,
  "tag": "T866256Y1W",
  "uri": "m2://T866256Y1W",
  "url": "https://tamnd.github.io/math2/wiki/equivariant-index-theorem/",
  "writing": {
    "tag": "T866256Y1W",
    "kind": "statement",
    "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
      }
    ]
  }
}