{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $F$ be an [[algebraic number field|MWBDFS2KJ5]] and let $X$ be a smooth projective variety over $F$.\nLet $D$ be an effective reduced [[divisor|Z9DN23DAE2]] on $X$ with at most normal crossings.\nLet $K_X$ be a [[canonical divisor|W05VYY4HBR]] and let $A$ be an [[ample|RRK8P6TXG2]] divisor on $X$.\nLet $S$ be a finite set of places of $F$.\nLet $h_{K_X}$ and $h_A$ be Weil [[heights|F1FF505PWH]] for $K_X$ and $A$, and let $\\lambda_{D,v}$ be a local height function for $D$ at the place $v$.\nThen for every $\\varepsilon \u003e 0$ there are a proper Zariski closed subset $Z \\subsetneq X$ and a constant $C$ such that\n$$\\sum_{v \\in S} \\lambda_{D,v}(P) + h_{K_X}(P) \\le \\varepsilon \\, h_A(P) + C$$\nfor all $P \\in X(F)$ with $P \\notin Z$.\n\n## Remarks\n\nVojta formulated the conjecture in 1987 by analogy with the second main theorem of Nevanlinna theory, through a dictionary between Diophantine approximation and value distribution.\nFor $X = \\mathbb{P}^1$ and $D$ a sum of distinct points, the conjecture is Roth's theorem, which is known.\nFor $X = \\mathbb{P}^n$ and $D$ a sum of hyperplanes in general position, it is Schmidt's subspace theorem, which is also known.\nLet $X$ be of general type and $D = 0$.\nOutside a proper closed subset, the canonical height is at least $\\delta h_A - C'$ for some $\\delta \u003e 0$.\nTaking $\\varepsilon \u003c \\delta$ then forces $X(F)$ into a proper closed subset, which is the [[Bombieri–Lang conjecture|TQ1QDAK2BR]].\nGeneralized forms for algebraic points, with truncated local heights, are higher-dimensional analogues of the [[abc conjecture|G7JH2NXPC0]].\nThe conjecture is open in general.\n\n## Explanations\n\n### L1 human\n\nHeights measure how complicated a rational point is.\nVojta's conjecture is a single inequality between heights that predicts how close rational points can come to a fixed divisor, given the curvature of the variety.\nIt unifies many famous results and conjectures.\nRoth's theorem on approximating algebraic numbers, Faltings's theorem on curves and the Bombieri–Lang conjecture appear as special cases.\nIts generalizations are related to the abc conjecture.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "F1FF505PWH",
      "SWJYG87QQH"
    ],
    "history": {
      "first_stated": "1987",
      "posed_by": "Paul Vojta"
    },
    "kind": "conjecture",
    "msc": [
      "11J97",
      "11G50",
      "14G40"
    ],
    "name": "Vojta's conjecture",
    "same_as": {
      "wikidata": "Q7939859",
      "wikipedia": "Vojta's conjecture"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Vojta%27s_conjecture"
      }
    ],
    "tag": "QQ717VSFNN",
    "uses": [
      "MWBDFS2KJ5",
      "F1FF505PWH",
      "W05VYY4HBR",
      "RRK8P6TXG2",
      "Z9DN23DAE2",
      "8SQK7RTB63",
      "SWJYG87QQH"
    ]
  },
  "kind": "conjecture",
  "link": "https://tamnd.github.io/math2/node/QQ717VSFNN/",
  "links": [
    {
      "field": "about",
      "target": "F1FF505PWH"
    },
    {
      "field": "about",
      "target": "SWJYG87QQH"
    },
    {
      "field": "uses",
      "target": "MWBDFS2KJ5"
    },
    {
      "field": "uses",
      "target": "F1FF505PWH"
    },
    {
      "field": "uses",
      "target": "W05VYY4HBR"
    },
    {
      "field": "uses",
      "target": "RRK8P6TXG2"
    },
    {
      "field": "uses",
      "target": "Z9DN23DAE2"
    },
    {
      "field": "uses",
      "target": "8SQK7RTB63"
    },
    {
      "field": "uses",
      "target": "SWJYG87QQH"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/QQ717VSFNN.md",
  "msc": [
    "11J97",
    "11G50",
    "14G40"
  ],
  "name": "Vojta's conjecture",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/QQ7/QQ717VSFNN.md",
  "status": null,
  "tag": "QQ717VSFNN",
  "uri": "m2://QQ717VSFNN",
  "url": "https://tamnd.github.io/math2/wiki/vojtas-conjecture/",
  "writing": {
    "tag": "QQ717VSFNN",
    "kind": "conjecture",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}