{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "32VAKG7CPS"
    },
    {
      "field": "uses",
      "target": "4VFX7WNFGX"
    },
    {
      "field": "uses",
      "target": "8V30QMXTYT"
    },
    {
      "field": "uses",
      "target": "GZ3XA1V7CJ"
    },
    {
      "field": "uses",
      "target": "MB52NDA6WN"
    },
    {
      "field": "uses",
      "target": "RVX312A2D2"
    },
    {
      "field": "defines",
      "target": "ZD73KPKPJ4"
    }
  ],
  "body": "\n## Summary\n\nA birational map between two varieties is a rational map that has a rational inverse.\nIt is an isomorphism between nonempty open subsets, so birational varieties look the same away from lower-dimensional subsets.\nTwo varieties are birational exactly when their function fields are isomorphic over the base field.\nThe classification of varieties up to birational equivalence is the goal of birational geometry.\n\n## Explanations\n\n### L1 human\n\nTwo shapes are birational if, after removing some small pieces from each, what is left is the same shape.\nA smooth conic in the plane, such as $x^2 + y^2 = 1$, is birational to the line.\nEach line through the point $(-1, 0)$ with slope $t$ meets the circle in one more point, and this matches points of the circle with numbers $t$.\nOnly the point $(-1, 0)$ itself is left out, since it would need the vertical line through it, which has no slope.\nSo the circle and the line are birational.\nThe plane and the projective plane are another birational pair: they agree once the line at infinity is removed, yet they are not isomorphic.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "14E05"
    ],
    "name": "Birational map",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Birational_geometry"
      }
    ],
    "tag": "KA5890R9YM"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/KA5890R9YM/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/KA5890R9YM.md",
  "msc": [
    "14E05"
  ],
  "name": "Birational map",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KA5/KA5890R9YM.md",
  "status": null,
  "tag": "KA5890R9YM",
  "uri": "m2://KA5890R9YM",
  "url": "https://tamnd.github.io/math2/wiki/birational-map/",
  "writing": {
    "tag": "KA5890R9YM",
    "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
      }
    ]
  }
}