{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $k$ be a field of [[characteristic|0F6ES3BRYP]] $0$ and let $n \\ge 1$.\nLet $F_1, \\ldots, F_n \\in k[x_1, \\ldots, x_n]$ be polynomials, and let $F = (F_1, \\ldots, F_n) \\colon k^n \\to k^n$.\nSuppose that the [[Jacobian determinant|0ZCSMYHTBP]] $\\det \\left( \\frac{\\partial F_i}{\\partial x_j} \\right)$ is a nonzero constant in $k$.\nThen there are polynomials $G_1, \\ldots, G_n \\in k[x_1, \\ldots, x_n]$ such that $G = (G_1, \\ldots, G_n)$ satisfies $G \\circ F = F \\circ G = \\id$.\n\n## Remarks\n\nThe converse holds: if $F$ has a polynomial inverse $G$, the chain rule gives $\\det J_F \\cdot (\\det J_G \\circ F) = 1$, so $\\det J_F$ is a unit of the [[polynomial ring|0SDC934R52]], that is, a nonzero constant.\nThe conjecture is open for every $n \\ge 2$; the case $n = 1$ is easy, since a polynomial with constant nonzero derivative has degree $1$.\nThe question was posed by Ott-Heinrich Keller in 1939.\nCharacteristic $0$ is needed: over $\\F_p$, the polynomial $F(x) = x - x^p$ has derivative $1$, but it has degree $p$ and is not invertible by a polynomial.\nIt is known that the conjecture holds when all $F_i$ have degree at most $2$.\nBass, Connell and Wright showed that it suffices to prove it, for all $n$, for maps of the form $F = x + H$ with $H$ homogeneous of degree $3$.\n\n## Explanations\n\n### L1 human\n\nA polynomial map whose Jacobian determinant is a nonzero constant is invertible near each point of $\\R^n$ or $\\C^n$, by the inverse function theorem.\nThe conjecture says that it is then invertible everywhere, and that the inverse is again given by polynomials.\nFor one variable this is clear, but already for two variables nobody knows a proof or a counterexample.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "about": [
      "0ZCSMYHTBP",
      "0SDC934R52"
    ],
    "history": {
      "first_stated": "1939",
      "posed_by": "Ott-Heinrich Keller"
    },
    "kind": "conjecture",
    "msc": [
      "14R15",
      "13F20",
      "14R10"
    ],
    "name": "Jacobian conjecture",
    "same_as": {
      "wikidata": "Q2605695",
      "wikipedia": "Jacobian conjecture"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Jacobian_conjecture"
      }
    ],
    "tag": "B5JFXEQQD8",
    "uses": [
      "0F6ES3BRYP",
      "0SDC934R52",
      "047NDTEPCV",
      "0ZCSMYHTBP"
    ]
  },
  "kind": "conjecture",
  "link": "https://math2.tamnd.com/node/B5JFXEQQD8/",
  "links": [
    {
      "field": "about",
      "target": "0ZCSMYHTBP"
    },
    {
      "field": "about",
      "target": "0SDC934R52"
    },
    {
      "field": "uses",
      "target": "0F6ES3BRYP"
    },
    {
      "field": "uses",
      "target": "0SDC934R52"
    },
    {
      "field": "uses",
      "target": "047NDTEPCV"
    },
    {
      "field": "uses",
      "target": "0ZCSMYHTBP"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/B5JFXEQQD8.md",
  "msc": [
    "14R15",
    "13F20",
    "14R10"
  ],
  "name": "Jacobian conjecture",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/B5J/B5JFXEQQD8.md",
  "status": null,
  "tag": "B5JFXEQQD8",
  "uri": "m2://B5JFXEQQD8",
  "url": "https://math2.tamnd.com/wiki/jacobian-conjecture/",
  "writing": {
    "tag": "B5JFXEQQD8",
    "kind": "conjecture",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}