{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "DHYSPSYSCB"
    }
  ],
  "body": "\n## Statement\n\nLet $M$ be a compact complex manifold of complex dimension $n$ with a Kähler metric $g$, whose fundamental form is $\\omega$; see [[Hermitian manifold|CK1DCPC3D3]].\nLet $c_1(M)$ be the first Chern class of $M$ in real de Rham cohomology.\nLet $\\rho'$ be a real closed $(1,1)$-form on $M$ whose [[de Rham class|0ZV14XRNF0]] is $2\\pi c_1(M)$.\nThen there is a unique Kähler form $\\omega'$ on $M$ in the same cohomology class as $\\omega$ whose Ricci form is $\\rho'$.\n\n## Remarks\n\nCalabi proved uniqueness, and Yau proved existence; the result is often called the Calabi–Yau theorem.\nWrite $\\omega' = \\omega + i\\partial\\bar\\partial\\varphi$ for a real function $\\varphi$, by the $\\partial\\bar\\partial$-lemma.\nSince the Ricci form is $-i\\partial\\bar\\partial \\log$ of the volume density, the problem becomes the complex Monge–Ampère equation\n$$(\\omega + i\\partial\\bar\\partial\\varphi)^n = e^{F} \\omega^n,$$\nfor a given function $F$ normalized so that $\\int_M e^F \\omega^n = \\int_M \\omega^n$.\nYau solved it by the continuity method, and the key step is an a priori bound on $\\sup \\abs{\\varphi}$.\n\nThe main application is the case $c_1(M) = 0$ in real cohomology.\nTake $\\rho' = 0$: each Kähler class then contains a unique Ricci-flat Kähler metric.\nSuch manifolds are the Calabi–Yau manifolds, for example K3 surfaces and quintic threefolds in $\\C P^4$.\nThe same method gives [[Kähler–Einstein metrics|6ETEBA8827]] with negative constant when $c_1(M) \u003c 0$, a result of Aubin and Yau.\n\n## Explanations\n\n### L1 human\n\nThe curvature of a Kähler metric is tied to the topology of the manifold through the first Chern class.\nCalabi asked whether every curvature form allowed by this topology is actually the Ricci curvature of some Kähler metric.\nYau proved that the answer is yes, and that the metric is unique once its Kähler class is fixed.\n\n### L2 human\n\nThe theorem is a statement about a fully nonlinear elliptic equation, and its proof was a landmark of geometric analysis.\nIts best-known consequence is the existence of Ricci-flat metrics on compact Kähler manifolds with vanishing first Chern class.\nThese metrics have restricted holonomy in $SU(n)$ and are used in string theory and in mirror symmetry.\nThe positive case $c_1(M) \u003e 0$ is not covered and is the subject of the [[Yau–Tian–Donaldson conjecture|DHYSPSYSCB]].\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "about": [
      "CK1DCPC3D3",
      "4GTNM0WHDH"
    ],
    "kind": "statement",
    "msc": [
      "32Q25",
      "53C55",
      "32Q20"
    ],
    "name": "Calabi conjecture",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q5018293",
      "wikipedia": "Calabi conjecture"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Calabi_conjecture"
      }
    ],
    "tag": "WJKA5YBTJ7",
    "uses": [
      "CK1DCPC3D3",
      "4GTNM0WHDH",
      "6ETEBA8827",
      "0ZV14XRNF0"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/WJKA5YBTJ7/",
  "links": [
    {
      "field": "about",
      "target": "CK1DCPC3D3"
    },
    {
      "field": "about",
      "target": "4GTNM0WHDH"
    },
    {
      "field": "uses",
      "target": "CK1DCPC3D3"
    },
    {
      "field": "uses",
      "target": "4GTNM0WHDH"
    },
    {
      "field": "uses",
      "target": "6ETEBA8827"
    },
    {
      "field": "uses",
      "target": "0ZV14XRNF0"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/WJKA5YBTJ7.md",
  "msc": [
    "32Q25",
    "53C55",
    "32Q20"
  ],
  "name": "Calabi conjecture",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/WJK/WJKA5YBTJ7.md",
  "status": null,
  "tag": "WJKA5YBTJ7",
  "uri": "m2://WJKA5YBTJ7",
  "url": "https://math2.tamnd.com/wiki/calabi-conjecture/",
  "writing": {
    "tag": "WJKA5YBTJ7",
    "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
      }
    ]
  }
}