{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "8WAC71N0C2"
    },
    {
      "field": "uses",
      "target": "JK0S0WYN01"
    },
    {
      "field": "uses",
      "target": "QZN6P7AG33"
    },
    {
      "field": "uses",
      "target": "W9DXVGAE3R"
    },
    {
      "field": "specializes",
      "target": "9537RKBZPP"
    },
    {
      "field": "about",
      "target": "QZN6P7AG33"
    },
    {
      "field": "defines",
      "target": "XJ1GNQZ8ND"
    }
  ],
  "body": "\n## Summary\n\nA separated morphism $X \\to Y$ is a [[morphism of schemes|JXRKH6P1Z4]] whose diagonal $X \\to X \\times_Y X$ is a [[closed immersion|WWRWYSJDET]].\nIt is the scheme version of the Hausdorff property, which fails for the Zariski topology itself.\nA scheme is separated if its morphism to $\\operatorname{Spec} \\Z$ is separated; all affine and all projective schemes are separated.\n\n## Explanations\n\n### L1 human\n\nA topological space is Hausdorff exactly when the diagonal $\\set{(x, x)}$ is closed in $X \\times X$ with the product topology.\nZariski topologies are almost never Hausdorff, but the same diagonal test works when one uses the fiber product of schemes.\nThe standard failure is the line with two origins: two copies of the line glued everywhere except at $0$.\nThere the two copies of the line agree away from $0$ but not at $0$, much like a sequence with two limits, and the diagonal is not closed.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "14A15"
    ],
    "name": "Separated morphism",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Diagonal_morphism_(algebraic_geometry)"
      }
    ],
    "specializes": [
      "JXRKH6P1Z4"
    ],
    "tag": "X30G4V7VAJ"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/X30G4V7VAJ/",
  "links": [
    {
      "field": "specializes",
      "target": "JXRKH6P1Z4"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/X30G4V7VAJ.md",
  "msc": [
    "14A15"
  ],
  "name": "Separated morphism",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/X30/X30G4V7VAJ.md",
  "status": null,
  "tag": "X30G4V7VAJ",
  "uri": "m2://X30G4V7VAJ",
  "url": "https://tamnd.github.io/math2/wiki/separated-morphism/",
  "writing": {
    "tag": "X30G4V7VAJ",
    "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
      }
    ]
  }
}