{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $(M, \\omega)$ be a closed [[symplectic manifold|CAN490EPRT]].\nLet $H \\colon [0, 1] \\times M \\to \\R$ be smooth, let $X_{H_t}$ be the [[Hamiltonian vector field|C5EH3B4BEP]] of $H_t = H(t, \\cdot)$, and let $\\phi \\colon M \\to M$ be the time-$1$ map of the flow of $X_{H_t}$.\nSuch a [[symplectomorphism|A8TS2SNX9Z]] $\\phi$ is called a Hamiltonian diffeomorphism.\nAssume that every fixed point $x$ of $\\phi$ is nondegenerate: $1$ is not an eigenvalue of $d\\phi_x$.\nThen the number of fixed points of $\\phi$ is at least the minimal number of critical points of a [[Morse function|KPQ96640ZJ]] on $M$.\n\n## Remarks\n\nThe homological version of the conjecture replaces the right side by the sum of the [[Betti numbers|ST71ZV3FES]] $\\sum_k \\dim H_k(M; \\F)$ for a field $\\F$.\nBy the Morse inequalities this sum is at most the number of critical points of any Morse function, so the homological version is weaker.\nA degenerate version, without the nondegeneracy assumption, asks for at least as many fixed points as the minimal number of critical points of an arbitrary smooth function.\n\nFor $\\phi = \\id$ generated by $H = 0$ the hypothesis fails, and indeed every point is fixed.\nIf $H$ does not depend on $t$ and is a $C^2$-small Morse function, the fixed points of $\\phi$ are exactly the critical points of $H$.\nTaking $H$ with the minimal number of critical points shows that the bound is sharp.\n\nConley and Zehnder proved the conjecture for the standard torus $\\mathbb{T}^{2n}$ in 1983.\nFloer proved the homological version for monotone symplectic manifolds by building [[Floer homology|NCKFPAGHXF]], whose chain complex is generated by the fixed points of $\\phi$.\nThe homological version with rational coefficients was proved for all closed symplectic manifolds in the late 1990s, by Fukaya and Ono and by Liu and Tian, among others.\nThe version with the minimal number of critical points of a Morse function is open in general.\n\n## Explanations\n\n### L1 human\n\nA symplectic manifold is the phase space of a mechanical system.\nA Hamiltonian diffeomorphism is what happens to the whole phase space after running the system for one unit of time.\nThe conjecture says that such a map must have many fixed points: at least as many as a smooth function on the space must have critical points.\nFor a two-dimensional torus, a generic such map has at least four fixed points, much more than topology alone would force.\nThe conjecture led to Floer homology, one of the main tools of modern symplectic geometry.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "A8TS2SNX9Z",
      "CAN490EPRT"
    ],
    "history": {
      "first_stated": "1965",
      "posed_by": "Vladimir Arnold"
    },
    "kind": "conjecture",
    "msc": [
      "53D40",
      "37J11",
      "37J12"
    ],
    "name": "Arnold conjecture",
    "same_as": {
      "wikidata": "Q115803233",
      "wikipedia": "Arnold conjecture"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Arnold_conjecture"
      }
    ],
    "tag": "HY7VRFBAP9",
    "uses": [
      "CAN490EPRT",
      "C5EH3B4BEP",
      "A8TS2SNX9Z",
      "ST71ZV3FES",
      "KPQ96640ZJ"
    ]
  },
  "kind": "conjecture",
  "link": "https://tamnd.github.io/math2/node/HY7VRFBAP9/",
  "links": [
    {
      "field": "about",
      "target": "A8TS2SNX9Z"
    },
    {
      "field": "about",
      "target": "CAN490EPRT"
    },
    {
      "field": "uses",
      "target": "CAN490EPRT"
    },
    {
      "field": "uses",
      "target": "C5EH3B4BEP"
    },
    {
      "field": "uses",
      "target": "A8TS2SNX9Z"
    },
    {
      "field": "uses",
      "target": "ST71ZV3FES"
    },
    {
      "field": "uses",
      "target": "KPQ96640ZJ"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/HY7VRFBAP9.md",
  "msc": [
    "53D40",
    "37J11",
    "37J12"
  ],
  "name": "Arnold conjecture",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/HY7/HY7VRFBAP9.md",
  "status": null,
  "tag": "HY7VRFBAP9",
  "uri": "m2://HY7VRFBAP9",
  "url": "https://tamnd.github.io/math2/wiki/arnold-conjecture/",
  "writing": {
    "tag": "HY7VRFBAP9",
    "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
      }
    ]
  }
}