{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "CHJ4TAH0QX"
    }
  ],
  "body": "\n## Statement\n\nLet $(M, g)$ be a [[Riemannian manifold|7CBT4SM83Y]] of dimension $n$ with a [[spin structure|RSPZ9TCFQ8]], and let $S$ be its [[spinor bundle|PYYQQKAZ0C]] with spin connection $\\nabla$.\nLet $D$ be the [[Dirac operator|QMRAVX14BJ]] of $M$, defined with Clifford multiplication satisfying $v \\cdot v = -g(v, v)$.\nLet $\\nabla^* \\nabla = -\\sum_{i=1}^n \\bigl(\\nabla_{e_i} \\nabla_{e_i} - \\nabla_{\\nabla_{e_i} e_i}\\bigr)$ be the rough Laplacian, for a local orthonormal frame $e_1, \\ldots, e_n$, and let $R$ be the [[scalar curvature|ZHX2VYQDZ3]] of $g$.\nThen\n$$D^2 \\psi = \\nabla^* \\nabla \\psi + \\frac{R}{4} \\, \\psi$$\nfor every smooth section $\\psi$ of $S$.\n\n## Remarks\n\nWork at a point with a frame satisfying $\\nabla e_i = 0$ there.\nThen $D^2 = \\sum_{i,j} e_i e_j \\nabla_{e_i} \\nabla_{e_j}$, the terms with $i = j$ give $\\nabla^* \\nabla$, and the terms with $i \\ne j$ give $\\frac{1}{2} \\sum_{i,j} e_i e_j R^S(e_i, e_j)$, where $R^S$ is the curvature of $S$.\nThe curvature of the spin connection is the Riemann tensor acting through Clifford multiplication, and the first Bianchi identity reduces this sum to $\\frac{R}{4}$.\n\nExample: on flat $\\R^n$, $R = 0$ and the formula says that $D^2 = -\\sum_j \\partial_j^2$ on spinor fields, the defining property of the flat Dirac operator.\nOn the round sphere $S^n$ of radius $1$, $R = n(n-1) \u003e 0$, so $D^2 \\ge \\frac{n(n-1)}{4}$ as an operator, which bounds the eigenvalues of $D$ away from $0$.\n\n## Explanations\n\n### L1 human\n\nThe square of the Dirac operator is a Laplacian plus one extra term, and that term is a quarter of the scalar curvature.\nSo the Dirac operator feels the curvature of the manifold only through one number at each point.\nWhen that number is positive, it pushes the square of the operator up and leaves no room for spinors killed by it.\n\n### L2 human\n\nThe formula is a special case of the Bochner–Weitzenböck formula for the Dirac operator of a [[Dirac bundle|K0GVMM3YPF]], like the [[Weitzenböck identity|BE9GTWMN0B]] for forms.\nIntegrating it on a closed manifold gives $\\norm{D\\psi}^2 = \\norm{\\nabla\\psi}^2 + \\frac{1}{4} \\int_M R \\abs{\\psi}^2$, which is the source of the Lichnerowicz vanishing theorem.\nFor a spinor bundle twisted by a bundle $E$ with connection, an extra term appears: Clifford multiplication by the curvature of $E$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "QMRAVX14BJ",
      "ZHX2VYQDZ3"
    ],
    "kind": "statement",
    "msc": [
      "53C27",
      "58J60",
      "53C21"
    ],
    "name": "Lichnerowicz formula",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q6543306",
      "wikipedia": "Lichnerowicz formula"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Lichnerowicz_formula"
      }
    ],
    "tag": "4WCJ49Z90S",
    "uses": [
      "QMRAVX14BJ",
      "PYYQQKAZ0C",
      "RSPZ9TCFQ8",
      "7CBT4SM83Y",
      "ZHX2VYQDZ3",
      "CAZYGE1T4E",
      "BE9GTWMN0B",
      "K0GVMM3YPF"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/4WCJ49Z90S/",
  "links": [
    {
      "field": "about",
      "target": "QMRAVX14BJ"
    },
    {
      "field": "about",
      "target": "ZHX2VYQDZ3"
    },
    {
      "field": "uses",
      "target": "QMRAVX14BJ"
    },
    {
      "field": "uses",
      "target": "PYYQQKAZ0C"
    },
    {
      "field": "uses",
      "target": "RSPZ9TCFQ8"
    },
    {
      "field": "uses",
      "target": "7CBT4SM83Y"
    },
    {
      "field": "uses",
      "target": "ZHX2VYQDZ3"
    },
    {
      "field": "uses",
      "target": "CAZYGE1T4E"
    },
    {
      "field": "uses",
      "target": "BE9GTWMN0B"
    },
    {
      "field": "uses",
      "target": "K0GVMM3YPF"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/4WCJ49Z90S.md",
  "msc": [
    "53C27",
    "58J60",
    "53C21"
  ],
  "name": "Lichnerowicz formula",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/4WC/4WCJ49Z90S.md",
  "status": null,
  "tag": "4WCJ49Z90S",
  "uri": "m2://4WCJ49Z90S",
  "url": "https://tamnd.github.io/math2/wiki/lichnerowicz-formula/",
  "writing": {
    "tag": "4WCJ49Z90S",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}