{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $X$ be a compact [[Kähler manifold|X60JG9AEQJ]] of dimension $n$ whose [[canonical bundle|W05VYY4HBR]] $K_X$ is trivial.\nLet $\\Theta_X$ be the sheaf of holomorphic vector fields on $X$.\nThen the deformations of $X$ are unobstructed: the base of the [[Kuranishi family|R0QABVGPRX]] of $X$ is smooth, of dimension $\\dim_\\C H^1(X, \\Theta_X) = h^{n-1,1}(X)$.\n\n## Remarks\n\nThe theorem is also called the Bogomolov–Tian–Todorov theorem: Bogomolov proved the case of hyperkähler manifolds, and Tian and Todorov proved the general case independently.\nA nowhere vanishing holomorphic $n$-form $\\Omega$ gives an isomorphism $\\Theta_X \\cong \\Omega^{n-1}_X$, $v \\mapsto \\iota_v \\Omega$, which explains the equality of dimensions.\nUnder this isomorphism the bracket of two vector-valued forms becomes $\\partial$-exact (the Tian–Todorov lemma).\nThe $\\partial\\bar\\partial$-lemma of compact Kähler manifolds then lets one solve the integrability equation $\\bar\\partial\\varphi + \\frac12[\\varphi, \\varphi] = 0$ order by order, so all obstructions vanish.\n\nExample: a K3 surface $X$ has $n = 2$, $\\Theta_X \\cong \\Omega^1_X$ and $h^{1,1}(X) = 20$, so its Kuranishi space is a smooth germ of dimension $20$.\n\nThe Kähler hypothesis is used through the $\\partial\\bar\\partial$-lemma.\nThe Iwasawa manifold is a compact complex manifold with trivial canonical bundle that is not Kähler, and its deformations are obstructed.\n\n## Explanations\n\n### L1 human\n\nCalabi–Yau manifolds are compact Kähler manifolds with a nowhere zero holomorphic volume form.\nThe theorem says that every first-order deformation of such a manifold extends to an actual family.\nSo their local moduli spaces are smooth, with a dimension computed from Hodge numbers.\n\n### L2 human\n\nIn general the Kuranishi space is cut out by obstructions with values in $H^2(X, \\Theta_X)$, and for some manifolds these obstructions are nonzero.\nFor Calabi–Yau manifolds $H^2(X, \\Theta_X) \\cong H^{n-1,2}(X)$ is usually nonzero, so the earlier existence theorem of Kodaira, Nirenberg and Spencer does not apply.\nThe theorem shows that the obstructions vanish anyway.\nIt is the starting point for the study of moduli of Calabi–Yau threefolds, of their period maps, and of mirror symmetry.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "STYAB4PFDW",
      "R0QABVGPRX"
    ],
    "kind": "statement",
    "msc": [
      "32G05",
      "32Q25",
      "14J32"
    ],
    "name": "Tian–Todorov theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Calabi%E2%80%93Yau_manifold"
      }
    ],
    "tag": "PRC4WH5WYJ",
    "uses": [
      "X60JG9AEQJ",
      "W05VYY4HBR",
      "R0QABVGPRX",
      "STYAB4PFDW"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/PRC4WH5WYJ/",
  "links": [
    {
      "field": "about",
      "target": "STYAB4PFDW"
    },
    {
      "field": "about",
      "target": "R0QABVGPRX"
    },
    {
      "field": "uses",
      "target": "X60JG9AEQJ"
    },
    {
      "field": "uses",
      "target": "W05VYY4HBR"
    },
    {
      "field": "uses",
      "target": "R0QABVGPRX"
    },
    {
      "field": "uses",
      "target": "STYAB4PFDW"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/PRC4WH5WYJ.md",
  "msc": [
    "32G05",
    "32Q25",
    "14J32"
  ],
  "name": "Tian–Todorov theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/PRC/PRC4WH5WYJ.md",
  "status": null,
  "tag": "PRC4WH5WYJ",
  "uri": "m2://PRC4WH5WYJ",
  "url": "https://tamnd.github.io/math2/wiki/tian-todorov-theorem/",
  "writing": {
    "tag": "PRC4WH5WYJ",
    "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
      }
    ]
  }
}