{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "1YKCH218MN"
    },
    {
      "field": "uses",
      "target": "CHJ4TAH0QX"
    }
  ],
  "body": "\n## Statement\n\nLet $M$ be a closed Riemannian manifold of dimension $4k$ with a [[spin structure|RSPZ9TCFQ8]], and let $S = S^+ \\oplus S^-$ be its complex spinor bundle.\nLet $D^+ \\colon C^\\infty(M; S^+) \\to C^\\infty(M; S^-)$ be the [[Dirac operator|QMRAVX14BJ]] restricted to positive spinors.\nLet $p_i \\in H^{4i}(M; \\Q)$ be the [[Pontryagin classes|DN11FKWN63]] of $TM$.\nLet $\\hat A_k(p_1, \\ldots, p_k)$ be the degree $4k$ part of the multiplicative sequence with characteristic power series $\\dfrac{\\sqrt{z}/2}{\\sinh(\\sqrt{z}/2)}$.\nThen the [[analytic index|44GBFZ16SG]] of $D^+$ is\n$$\\operatorname{ind} D^+ = \\hat A(M) := \\langle \\hat A_k(p_1, \\ldots, p_k), [M] \\rangle.$$\n\n## Remarks\n\nThe theorem is the case of the Atiyah–Singer index theorem for the spin Dirac operator.\nIn the cohomological formula, the Chern character of the spinor symbol combined with the Todd class leaves exactly the $\\hat A$-class.\nThe first terms are $\\hat A_1 = -\\tfrac{1}{24} p_1$ and $\\hat A_2 = \\tfrac{1}{5760}(-4 p_2 + 7 p_1^2)$.\nConsequence: the $\\hat A$-genus of a closed spin manifold is an integer, while for general manifolds it is only rational.\nThe spin hypothesis is necessary: $\\C P^2$ is not spin, and $\\hat A(\\C P^2) = -\\tfrac{1}{24} \\cdot 3 = -\\tfrac18$.\nExample: a K3 surface is spin with $p_1 = -48$, so $\\hat A = 2$, and the Dirac operator has index $2$.\nWith the Lichnerowicz formula $D^2 = \\nabla^*\\nabla + \\tfrac{s}{4}$, where $s$ is the scalar curvature, the theorem shows that a closed spin manifold with $\\hat A(M) \\ne 0$ has no metric of positive scalar curvature.\n\n## Explanations\n\n### L1 human\n\nThe $\\hat A$-genus is a number computed from the curvature, or the Pontryagin classes, of a manifold.\nA priori it is a fraction.\nOn a spin manifold it counts the harmonic positive spinors minus the harmonic negative spinors, so it is an integer.\n\n### L2 human\n\nOn an even-dimensional spin manifold, the K-theory Thom isomorphism shows that every class in $K(T^*M)$ is a difference of symbol classes of Dirac operators twisted by vector bundles.\nTwisting by a complex vector bundle $W$ gives $\\operatorname{ind} D^+_W = \\langle \\hat A(TM) \\operatorname{ch}(W), [M] \\rangle$, where $\\operatorname{ch}$ is the Chern character.\nSo on spin manifolds this special case already contains the general index theorem.\nThe vanishing of $\\hat A(M)$ under positive scalar curvature, due to Lichnerowicz, began the study of obstructions to positive scalar curvature.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "QMRAVX14BJ",
      "44GBFZ16SG"
    ],
    "kind": "statement",
    "msc": [
      "58J20",
      "57R20",
      "53C27"
    ],
    "name": "Â-genus as the index of the Dirac operator",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Genus_of_a_multiplicative_sequence"
      }
    ],
    "tag": "JR2M58RCW3",
    "uses": [
      "QMRAVX14BJ",
      "RSPZ9TCFQ8",
      "DN11FKWN63",
      "44GBFZ16SG"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/JR2M58RCW3/",
  "links": [
    {
      "field": "about",
      "target": "QMRAVX14BJ"
    },
    {
      "field": "about",
      "target": "44GBFZ16SG"
    },
    {
      "field": "uses",
      "target": "QMRAVX14BJ"
    },
    {
      "field": "uses",
      "target": "RSPZ9TCFQ8"
    },
    {
      "field": "uses",
      "target": "DN11FKWN63"
    },
    {
      "field": "uses",
      "target": "44GBFZ16SG"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/JR2M58RCW3.md",
  "msc": [
    "58J20",
    "57R20",
    "53C27"
  ],
  "name": "Â-genus as the index of the Dirac operator",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/JR2/JR2M58RCW3.md",
  "status": null,
  "tag": "JR2M58RCW3",
  "uri": "m2://JR2M58RCW3",
  "url": "https://tamnd.github.io/math2/wiki/a-genus-as-the-index-of-the-dirac-operator/",
  "writing": {
    "tag": "JR2M58RCW3",
    "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
      }
    ]
  }
}