{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $M$ be a compact connected [[Riemannian manifold|7CBT4SM83Y]] without boundary, of even dimension $2d$.\nLet $\\chi(M)$ be its [[Euler characteristic|RNDDWDAFJ5]].\n\n1. If $M$ has positive [[sectional curvature|1X42JAA349]], then $\\chi(M) \u003e 0$.\n2. If $M$ has negative sectional curvature, then $(-1)^d \\chi(M) \u003e 0$.\n\n## Remarks\n\nBoth parts are open in dimension $6$ and higher.\nIn dimension $2$ both parts follow from the [[Gauss–Bonnet theorem|ESGEHKPD60]], since the integral of the Gaussian curvature equals $2\\pi \\chi(M)$.\nIn dimension $4$ both parts follow from the [[Chern–Gauss–Bonnet theorem|GG6NYPKMHX]], because in that dimension the integrand is positive when the sectional curvature is either everywhere positive or everywhere negative.\nFor the positive case in dimension $4$ there is also a topological argument: by [[Synge's theorem|Z8JJ04X1JX]] an orientable such $M$ is simply connected, so $b_1 = b_3 = 0$ and $\\chi(M) = 2 + b_2 \u003e 0$.\nIn dimensions $2d \\ge 6$ the Chern–Gauss–Bonnet integrand can be negative at a point even when the sectional curvature is positive, so this route fails.\nThe positive case is known for manifolds whose curvature is pinched enough, since then the [[sphere theorem|7GRSF20H15]] shows that $M$ is covered by a sphere.\nWeaker forms with non-strict inequalities are also attributed to Hopf: nonnegative curvature should give $\\chi(M) \\ge 0$, and nonpositive curvature should give $(-1)^d \\chi(M) \\ge 0$.\nA different question of Hopf, often also called the Hopf conjecture, asks whether $S^2 \\times S^2$ carries a metric of positive sectional curvature; this is also open.\n\n## Explanations\n\n### L1 human\n\nCurvature is a local quantity, measured near each point.\nThe Euler characteristic is a global number: for a surface cut into polygons it is vertices minus edges plus faces.\nHopf asked whether the sign of the curvature everywhere forces the sign of this global count.\nFor surfaces the answer is yes.\nA positively curved closed surface is a sphere or a projective plane, and both have positive Euler characteristic.\nA negatively curved closed surface always has negative Euler characteristic.\nThe conjecture asks the same in every even dimension, and in general it is proved only up to dimension $4$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "1X42JAA349",
      "RNDDWDAFJ5"
    ],
    "history": {
      "posed_by": "Heinz Hopf"
    },
    "kind": "conjecture",
    "msc": [
      "53C20",
      "53C21"
    ],
    "name": "Hopf conjecture",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Hopf_conjectures"
      }
    ],
    "tag": "D95SQEJJSK",
    "uses": [
      "7CBT4SM83Y",
      "1X42JAA349",
      "RNDDWDAFJ5",
      "0TVJZYB6SH"
    ]
  },
  "kind": "conjecture",
  "link": "https://tamnd.github.io/math2/node/D95SQEJJSK/",
  "links": [
    {
      "field": "about",
      "target": "1X42JAA349"
    },
    {
      "field": "about",
      "target": "RNDDWDAFJ5"
    },
    {
      "field": "uses",
      "target": "7CBT4SM83Y"
    },
    {
      "field": "uses",
      "target": "1X42JAA349"
    },
    {
      "field": "uses",
      "target": "RNDDWDAFJ5"
    },
    {
      "field": "uses",
      "target": "0TVJZYB6SH"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/D95SQEJJSK.md",
  "msc": [
    "53C20",
    "53C21"
  ],
  "name": "Hopf conjecture",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/D95/D95SQEJJSK.md",
  "status": null,
  "tag": "D95SQEJJSK",
  "uri": "m2://D95SQEJJSK",
  "url": "https://tamnd.github.io/math2/wiki/hopf-conjecture/",
  "writing": {
    "tag": "D95SQEJJSK",
    "kind": "conjecture",
    "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
      }
    ]
  }
}