Difference between revisions
keller-birational
Status and infobox
- status:
—→ proved - tier:
—→ V3 - kind:
—→ theorem - year:
—→ 1939 - statement:
—→ Let $\operatorname{char}k=0$ and $F\in k[x_1,\dots,x_n]^n$ with $\det JF\in k^{\times}$. If $k(F_1,\dots,F_n)=k(x_1,\dots,x_n)$, then $k[F]=k[x]$. - short:
—→ A birational Keller map is an automorphism
Relations
- + special case of jc-n: The proof used homology. In modern terms, the conjecture holds for Keller maps of field degree 1, so Keller's theorem is the Jacobian conjecture restricted to birational maps.
- + special case of campbell-galois: The trivial extension is Galois, so Keller's theorem is the degree-1 case of Campbell's Galois criterion.
Source +17 −0
+---
+title: Keller's birational theorem
+short: A birational Keller map is an automorphism
+kind: theorem
+status: proved
+tier: V3
+year: 1939
+authors: O.-H. Keller
+statement: Let $\operatorname{char}k=0$ and $F\in k[x_1,\dots,x_n]^n$ with $\det JF\in k^{\times}$. If $k(F_1,\dots,F_n)=k(x_1,\dots,x_n)$, then $k[F]=k[x]$.
+---
+Keller proved this in the paper where he posed the conjecture. He worked over the integers with functional determinant 1, and showed that if the map is rationally invertible, its inverse is polynomial with integer coefficients. The proof used homology.<ref>O.-H. Keller, Ganze Cremona-Transformationen, Monatsh. Math. Phys. 47 (1939) 299–306; zbMATH review by Kneser.</ref> In modern terms, the conjecture holds for Keller maps of field degree 1, so [[special-case-of::Statement:jc-n|Keller's theorem is the Jacobian conjecture restricted to birational maps]].
+The trivial extension $k(x)=k(F)$ is Galois, so [[special-case-of::Statement:campbell-galois|Keller's theorem is the degree-1 case of Campbell's Galois criterion]].
+
+It is the first wall around every counterexample. A non-invertible Keller map has field degree at least 2, and in fact at least 3 (see [[Statement:degree-spectrum-c3|the degree spectrum]]). Alpöge's map has degree 3.
+
+<references />
+
Revision 267 as rendered
Keller proved this in the paper where he posed the conjecture. He worked over the integers with functional determinant 1, and showed that if the map is rationally invertible, its inverse is polynomial with integer coefficients. The proof used homology.[1] In modern terms, the conjecture holds for Keller maps of field degree 1, so Keller's theorem is the Jacobian conjecture restricted to birational maps.
The trivial extension is Galois, so Keller's theorem is the degree-1 case of Campbell's Galois criterion.
It is the first wall around every counterexample. A non-invertible Keller map has field degree at least 2, and in fact at least 3 (see the degree spectrum). Alpöge's map has degree 3.
- ↑ O.-H. Keller, Ganze Cremona-Transformationen, Monatsh. Math. Phys. 47 (1939) 299–306; zbMATH review by Kneser.