{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $X$ be a compact [[Kähler manifold|X60JG9AEQJ]] of complex dimension $n$, with Kähler metric $g$ and curvature tensor $R$.\nSuppose that $g$ has positive holomorphic bisectional curvature: $R(u, \\bar u, v, \\bar v) \u003e 0$ for every point $p \\in X$ and all nonzero $u, v \\in T^{1,0}_p X$.\nThen $X$ is biholomorphic to complex projective space $\\mathbb{CP}^n$.\n\n## Remarks\n\nFrankel stated the conjecture in 1961 for compact Kähler manifolds of positive sectional curvature; the version above uses the weaker hypothesis of positive bisectional curvature.\nIt was proved in 1979 by Mori, as a consequence of his proof of the Hartshorne conjecture that a smooth projective variety with ample tangent bundle is a projective space.\nIndependently, Siu and Yau gave a differential-geometric proof in 1980, using energy-minimizing harmonic maps from $\\mathbb{CP}^1$ to produce rational curves.\n\nExample: the Fubini–Study metric on [[complex projective space|7GJ4STCNNM]] has constant positive holomorphic sectional curvature and positive bisectional curvature, so $\\mathbb{CP}^n$ satisfies the hypothesis.\n\nPositive Ricci curvature is not enough.\nThe product $\\mathbb{CP}^1 \\times \\mathbb{CP}^1$ with the product of Fubini–Study metrics has positive Ricci curvature, but its bisectional curvature vanishes for $u$ tangent to the first factor and $v$ to the second.\nIt is not biholomorphic to $\\mathbb{CP}^2$, since its second Betti number is $2$, while that of $\\mathbb{CP}^2$ is $1$.\n\n## Explanations\n\n### L1 human\n\nPositive curvature makes a space round, like a sphere.\nThe Frankel conjecture, now a theorem, says that in Kähler geometry a strong form of positive curvature leaves only one possibility: the space is complex projective space.\nIt is a complex analogue of the sphere theorems of Riemannian geometry.\n\n### L2 human\n\nHolomorphic bisectional curvature compares two complex directions at a point; it is weaker than sectional curvature and stronger than Ricci curvature.\nMori's proof works in algebraic geometry: positivity makes the tangent bundle ample, and then one finds and bends rational curves to recognize $\\mathbb{CP}^n$.\nMori's method of bending rational curves became a basis of the minimal model program.\nThe theorem was later extended by Mok to compact Kähler manifolds of nonnegative bisectional curvature, which are built from projective spaces, Hermitian symmetric spaces and flat tori.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "X60JG9AEQJ"
    ],
    "kind": "statement",
    "msc": [
      "32Q10",
      "53C55"
    ],
    "name": "Frankel conjecture",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q104862566",
      "wikipedia": "Frankel conjecture"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Frankel_conjecture"
      }
    ],
    "tag": "QWXTB8VVXN",
    "uses": [
      "X60JG9AEQJ",
      "JSGWAN2RJV"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/QWXTB8VVXN/",
  "links": [
    {
      "field": "about",
      "target": "X60JG9AEQJ"
    },
    {
      "field": "uses",
      "target": "X60JG9AEQJ"
    },
    {
      "field": "uses",
      "target": "JSGWAN2RJV"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/QWXTB8VVXN.md",
  "msc": [
    "32Q10",
    "53C55"
  ],
  "name": "Frankel conjecture",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/QWX/QWXTB8VVXN.md",
  "status": null,
  "tag": "QWXTB8VVXN",
  "uri": "m2://QWXTB8VVXN",
  "url": "https://tamnd.github.io/math2/wiki/frankel-conjecture/",
  "writing": {
    "tag": "QWXTB8VVXN",
    "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
      }
    ]
  }
}