{
  "aliases": null,
  "backlinks": [
    {
      "field": "specializes",
      "target": "2WJJBN2T5P"
    },
    {
      "field": "uses",
      "target": "6RE2JMYMA0"
    },
    {
      "field": "uses",
      "target": "KYVS4PSDBQ"
    },
    {
      "field": "defines",
      "target": "FPXZMN0CH5"
    }
  ],
  "body": "\n## Summary\n\nFloer homology is a family of homology theories built like [[Morse homology|94BWTKKGJM]] on an infinite-dimensional space.\nIts chain complex is generated by critical points of an action functional.\nThese are, for example, periodic orbits of a Hamiltonian or intersection points of two Lagrangian submanifolds.\nIts differential counts solutions of a Cauchy–Riemann type equation that connect them.\nAndreas Floer introduced it in the late 1980s to prove the Arnold conjecture on fixed points of Hamiltonian diffeomorphisms.\nVersions of it are now central in symplectic topology and in the topology of three- and four-manifolds.\n\n## Explanations\n\n### L1 human\n\nIn Morse theory one studies a function on a space through its critical points and the gradient lines that run between them.\nCounting these lines gives a homology that recovers the topology of the space.\nFloer applied this idea to a functional on loops in a symplectic manifold, whose critical points are periodic orbits of a Hamiltonian system.\nThe gradient lines become cylinders that solve a perturbed [[pseudoholomorphic curve|N469E47V75]] equation.\nTake a closed symplectic manifold with $\\omega = 0$ on spheres and a nondegenerate Hamiltonian diffeomorphism of it.\nThe resulting homology shows that the number of fixed points is at least the sum of the Betti numbers of the manifold with coefficients in $\\F_2$.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "53D40",
      "57R58"
    ],
    "name": "Floer homology",
    "same_as": {
      "wikidata": "Q652525",
      "wikipedia": "Floer homology"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Floer_homology"
      }
    ],
    "tag": "NCKFPAGHXF"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/NCKFPAGHXF/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/NCKFPAGHXF.md",
  "msc": [
    "53D40",
    "57R58"
  ],
  "name": "Floer homology",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/NCK/NCKFPAGHXF.md",
  "status": null,
  "tag": "NCKFPAGHXF",
  "uri": "m2://NCKFPAGHXF",
  "url": "https://math2.tamnd.com/wiki/floer-homology/",
  "writing": {
    "tag": "NCKFPAGHXF",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}