{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "4AG8ZWK2BB"
    },
    {
      "field": "uses",
      "target": "VYQATJQNBH"
    },
    {
      "field": "uses",
      "target": "WJQ2C6SKX5"
    },
    {
      "field": "defines",
      "target": "E2EM9ZYCZS"
    }
  ],
  "body": "\n## Summary\n\nA regular function on a variety is a function to the base field that is locally a quotient of two polynomials.\nThe denominator must not vanish where the quotient is used.\nRegular functions are the algebraic analogue of smooth or holomorphic functions.\nOn an affine variety the regular functions are exactly the polynomial functions, so they form the coordinate ring.\nThey are used to define morphisms of varieties and the structure sheaf of a variety.\n\n## Explanations\n\n### L1 human\n\nOn the affine line, a regular function on the whole line is just a polynomial.\nOn the line with the origin removed, the function $1/x$ is also regular, because its denominator never vanishes there.\nIn general a function is regular when near each point it can be written as a fraction of polynomials whose bottom part is nonzero at that point.\nOn a projective variety, the only regular functions on the whole variety are the constants.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "14A10"
    ],
    "name": "Regular function",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Morphism_of_algebraic_varieties"
      }
    ],
    "tag": "4M94FZH9Y8"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/4M94FZH9Y8/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/4M94FZH9Y8.md",
  "msc": [
    "14A10"
  ],
  "name": "Regular function",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/4M9/4M94FZH9Y8.md",
  "status": null,
  "tag": "4M94FZH9Y8",
  "uri": "m2://4M94FZH9Y8",
  "url": "https://tamnd.github.io/math2/wiki/regular-function/",
  "writing": {
    "tag": "4M94FZH9Y8",
    "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
      }
    ]
  }
}