{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "9YTV2296X7"
    },
    {
      "field": "uses",
      "target": "AV0Q1VSJ88"
    },
    {
      "field": "uses",
      "target": "VA8R0TZCKB"
    },
    {
      "field": "uses",
      "target": "VP5PW8VSHZ"
    },
    {
      "field": "uses",
      "target": "W94AEJV9NK"
    },
    {
      "field": "uses",
      "target": "XK866CAZHE"
    },
    {
      "field": "defines",
      "target": "A4SS2SN0MB"
    },
    {
      "field": "instance_of",
      "target": "VP5PW8VSHZ"
    },
    {
      "field": "instance_of",
      "target": "XK866CAZHE"
    }
  ],
  "body": "\n## Summary\n\nA moduli space is a geometric space whose points correspond to the isomorphism classes of objects of some kind.\nThe objects may be curves, vector bundles or subvarieties, for example.\nA fine moduli space represents the moduli functor and carries a universal family.\nA coarse moduli space only has the right points and is universal for maps out of the functor.\nModuli spaces turn classification problems into geometry, and their geometry, such as dimension and singularities, reflects the deformations of the objects.\nExamples are the [[Grassmannian|CYPA882RB9]], the [[Hilbert scheme|XK866CAZHE]] and the [[moduli of algebraic curves|NK9ATH4WB6]].\n\n## Explanations\n\n### L1 human\n\nSome families of objects can be described by a few continuous parameters.\nLines through the origin in the plane are described by one angle, so they form a circle, the projective line.\nElliptic curves over the complex numbers are classified by one complex number, the [[j-invariant|9538W1K1EX]], so they form a line.\nA moduli space is the space of these parameters, built so that nearby points are nearby objects.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "14D22",
      "14D20"
    ],
    "name": "Moduli space",
    "same_as": {
      "wikidata": "Q845677",
      "wikipedia": "Moduli space"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Moduli_space"
      }
    ],
    "tag": "FJZRW9P0K3"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/FJZRW9P0K3/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/FJZRW9P0K3.md",
  "msc": [
    "14D22",
    "14D20"
  ],
  "name": "Moduli space",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/FJZ/FJZRW9P0K3.md",
  "status": null,
  "tag": "FJZRW9P0K3",
  "uri": "m2://FJZRW9P0K3",
  "url": "https://tamnd.github.io/math2/wiki/moduli-space/",
  "writing": {
    "tag": "FJZRW9P0K3",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}