{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "1KPAEFMPZB"
    }
  ],
  "body": "\n## Summary\n\nA Kuranishi structure on a compact space describes it locally as a quotient by a finite group.\nThe thing divided is the zero set of a smooth section of a vector bundle.\nThe bundle has finite rank and lives over a finite-dimensional manifold.\n\nThe local descriptions, called Kuranishi charts, are glued by coordinate changes that embed one chart into another.\nThe notion was introduced by Fukaya and Ono to handle moduli spaces of pseudoholomorphic curves, which are usually singular and of the wrong dimension.\nA Kuranishi structure with an orientation has a [[virtual fundamental class|5VXYQ4BXRB]], which is used to define [[Gromov–Witten invariants|XVJA0JD79P]] and Floer homology in general symplectic manifolds.\n\n## Explanations\n\n### L1 human\n\nMany moduli spaces are cut out by equations that, near each solution, reduce to finitely many equations in finitely many unknowns.\nA Kuranishi chart records exactly this: a smooth space of unknowns, a finite list of equations, and a finite symmetry group.\nThe solutions may form a singular set, but the chart still knows the expected dimension, the number of unknowns minus the number of equations.\nFor example, the zero set of $s(x, y) = x y$ on $\\R^2$, a pair of crossing lines, is described by one chart with $V = \\R^2$, $E = \\R$ and expected dimension $1$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "53D45",
      "58D27",
      "57R18"
    ],
    "name": "Kuranishi structure",
    "same_as": {
      "wikidata": "Q25304228",
      "wikipedia": "Kuranishi structure"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Kuranishi_structure"
      }
    ],
    "tag": "4WY3A9YGDR"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/4WY3A9YGDR/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/4WY3A9YGDR.md",
  "msc": [
    "53D45",
    "58D27",
    "57R18"
  ],
  "name": "Kuranishi structure",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/4WY/4WY3A9YGDR.md",
  "status": null,
  "tag": "4WY3A9YGDR",
  "uri": "m2://4WY3A9YGDR",
  "url": "https://tamnd.github.io/math2/wiki/kuranishi-structure/",
  "writing": {
    "tag": "4WY3A9YGDR",
    "kind": "concept",
    "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
      }
    ]
  }
}