The Abhyankar–Sathaye embedding conjecture predicts that, over an algebraically closed field of characteristic zero (the standard setting of the conjecture; some authors pose it over every field of characteristic zero), an irreducible polynomial ff in nn variables whose zero hypersurface in affine nn-space is isomorphic to affine (n−1)(n-1)-space must be a coordinate (a member of a polynomial generating system, equivalently the image of a variable under a polynomial automorphism of An\mathbb A^n); equivalently, every closed embedding An−1↪An\mathbb A^{n-1}\hookrightarrow\mathbb A^n is rectifiable by an automorphism of the ambient space. The case n⩽2n\leqslant 2 is the classical theorem of Abhyankar–Moh and Suzuki; the conjecture is open for every n⩾3n\geqslant 3, starting with embeddings of A2\mathbb A^2 in A3\mathbb A^3.

Background

Affine algebraic geometry studies polynomial maps between affine spaces. The affine nn-space AKn\mathbb A^n_K over a field KK is the variety with coordinate ring K[x1,…,xn]K[x_1,\dots,x_n]; a polynomial automorphism of An\mathbb A^n is a polynomial map σ=(σ1,…,σn)\sigma=(\sigma_1,\dots,\sigma_n) with a polynomial inverse, and a polynomial f∈K[x1,…,xn]f\in K[x_1,\dots,x_n] is called a coordinate or variable if f=σ(x1)f=\sigma(x_1) for such a σ\sigma, equivalently if there exist g2,…,gng_2,\dots,g_n with K[f,g2,…,gn]=K[x1,…,xn]K[f,g_2,\dots,g_n]=K[x_1,\dots,x_n]. Geometrically, the zero locus V(f)V(f) of a coordinate is the image of a coordinate hyperplane under an automorphism.

The embedding conjecture of Abhyankar and Sathaye, formulated in their 1970s work on algebraic space curves, asks the converse: over an algebraically closed field of characteristic zero, if an irreducible polynomial defines a hypersurface isomorphic to An−1\mathbb A^{n-1}, must the polynomial be a coordinate? Equivalently, every closed embedding An−1↪An\mathbb A^{n-1}\hookrightarrow\mathbb A^n is rectifiable, i.e. becomes the standard inclusion after composition with an automorphism of the ambient space. For n=2n=2 the answer is the classical theorem of Abhyankar–Moh and Suzuki: an irreducible plane curve isomorphic to A1\mathbb A^1 is sent to a coordinate line by an automorphism of the plane. Their proof introduced approximate roots — for a monic polynomial ff of degree dd in yy, polynomials gg with f=gj+(lower y-degree)f=g^j+(\text{lower }y\text{-degree}) for j∣dj\mid d, generalizing square and cube roots — together with the semigroup of intersection multiplicities at infinity, and showed the curve is a coordinate line exactly when this semigroup is generated by the degree.

Two facts make the case n⩾3n\geqslant 3 far harder. First, the automorphism group of the affine plane has a structure theorem (Jung–van der Kulk: every plane automorphism is a composition of affine and triangular ones), which yields effective procedures in dimension two; for n⩾3n\geqslant 3 there exist wild automorphisms, such as Nagata's famous example in three variables, and no normal form or effective criterion for recognizing coordinates is known. Second, the standard algebraic tool is the locally nilpotent derivation: a KK-linear derivation DD of K[x1,…,xn]K[x_1,\dots,x_n] (a map satisfying the Leibniz rule) with Dm=0D^m=0 for mm large; a polynomial ff is a variable exactly when some locally nilpotent derivation satisfies D(f)=1D(f)=1, and deciding the non-existence of such a derivation for a concrete polynomial in n⩾3n\geqslant 3 variables is an open-ended task.

Assi's work [4] is set in the quasi-ordinary world. A polynomial f(x‾,y)f(\underline x,y) monic in yy over K[x‾]\mathbf K[\underline x], x‾=(x1,…,xe)\underline x=(x_1,\dots,x_e), is quasi-ordinary (a class going back to Jung and Abhyankar) when its discriminant in yy is a monomial in x‾\underline x times a unit; such polynomials behave combinatorially like plane curve branches and carry a discrete value semigroup. Assi (J. Pure Appl. Algebra 214 (2010)) extended the Abhyankar–Moh theory of approximate roots and semigroups to quasi-ordinary polynomials, established stability of irreducibility, approximate roots and the semigroup under one-parameter translations F↦F−λF\mapsto F-\lambda, and proved the embedding conjecture for polynomials whose associated meromorphic polynomial is quasi-ordinary, also after a change of coordinates (the 'almost quasi-ordinary' case). His paper states that the conjecture remains open outside these classes, in fact for ambient dimension greater than 22, and records further open sub-questions: effective recognition of almost quasi-ordinary polynomials for e⩾3e\geqslant 3 (blocked by the unknown structure of the automorphism group of Ae\mathbb A^e), the behavior of the quasi-ordinary structure under deformations beyond translations, and the characterization of the coordinate changes that produce the quasi-ordinary property.

The unrestricted conjecture is a central open problem. Kaliman proved that a polynomial in C[x,y,z]\mathbb C[x,y,z] whose general fiber is C2\mathbb C^2 is a variable, settling the 'hyperplane' version (all fibers affine planes) in ambient dimension 33, but the conjecture hypothesizes only that the single fiber f=0f=0 is an affine space. Kishimoto settled the three-dimensional problem under restrictions on the boundary at infinity; Ohta settled a geometric case in all dimensions via the canonical compactification; Popov proved a partial case for embeddings equivariant under unipotent group actions. On the negative side, the Vénéreau polynomials — four-variable hyperplanes, i.e. polynomials all of whose fibers are A3\mathbb A^3 — are not known to be coordinates and stand as potential counterexamples, while earlier proposed counterexamples of Shpilrain and Yu were refuted by van den Essen and van Rossum. Since 2022 the Gupta school has proved the conjecture for widening families of linear hypersurfaces α(X)Y−F(X,Z,T)\alpha(X)Y-F(X,Z,T) and connected its rectifiability question to the Zariski cancellation problem (whether X×Am≅Y×AmX\times\mathbb A^m\cong Y\times\mathbb A^m forces X≅YX\cong Y) and to A1\mathbb A^1-contractibility of associated varieties (contractibility to a point in the A1\mathbb A^1-homotopy sense).

Problem Statement

Conjecture (Abhyankar–Sathaye, codimension-one embedding problem). Let KK be an algebraically closed field of characteristic zero and let n⩾3n\geqslant 3. If f∈K[x1,…,xn]f\in K[x_1,\dots,x_n] is irreducible and its zero hypersurface V(f)⊂AKnV(f)\subset\mathbb A^n_K is isomorphic to AKn−1\mathbb A^{n-1}_K, then ff is a coordinate of K[x1,…,xn]K[x_1,\dots,x_n]: there exist g2,…,gng_2,\dots,g_n with K[f,g2,…,gn]=K[x1,…,xn]K[f,g_2,\dots,g_n]=K[x_1,\dots,x_n], equivalently f=σ(x1)f=\sigma(x_1) for some polynomial automorphism σ\sigma of AKn\mathbb A^n_K. Equivalently: every closed embedding An−1↪An\mathbb A^{n-1}\hookrightarrow\mathbb A^n over KK is rectifiable, i.e. becomes the standard inclusion after composition with an automorphism of An\mathbb A^n. This is the standard formulation over algebraically closed fields; some authors pose the conjecture over every field of characteristic zero.

Prove the conjecture for all n⩾3n\geqslant 3 — either for every algebraically closed field of characteristic zero (which resolves the conjecture in its standard form), or for every field of characteristic zero (the stronger variant) — or refute it by exhibiting, for some n⩾3n\geqslant 3 and some algebraically closed field KK of characteristic zero, an irreducible f∈K[x1,…,xn]f\in K[x_1,\dots,x_n] with an isomorphism V(f)≅AKn−1V(f)\cong\mathbb A^{n-1}_K, such that ff is provably not a coordinate of K[x1,…,xn]K[x_1,\dots,x_n]. The case n⩽2n\leqslant 2 is the theorem of Abhyankar–Moh and Suzuki and is not part of the open problem. The target is the unrestricted statement: known positive results impose additional hypotheses — quasi-ordinariness (Assi [4]), conditions on the general fiber (Kaliman), on the boundary at infinity (Kishimoto), on the canonical compactification (Ohta), or equivariance (Popov) — and partial progress such as a proof for n=3n=3 alone or for further special classes of polynomials falls short of a resolution in either direction.

References

  1. S. S. Abhyankar and T. T. Moh, 'Embeddings of the line in the plane', Journal für die reine und angewandte Mathematik 276 (1975), 148–166. DOI: 10.1515/crll.1975.276.148, https://doi.org/10.1515/crll.1975.276.148
  2. M. Suzuki, 'Propriétés topologiques des polynômes de deux variables complexes, et automorphismes algébriques de l'espace C^2', Journal of the Mathematical Society of Japan 26 (1974), no. 2, 241–257. DOI: 10.2969/jmsj/02620241, https://doi.org/10.2969/jmsj/02620241
  3. S. S. Abhyankar and A. M. Sathaye, 'Geometric Theory of Algebraic Space Curves', Lecture Notes in Mathematics, vol. 423, Springer (1974). DOI: 10.1007/bfb0066166, https://doi.org/10.1007/bfb0066166
  4. A. Assi, 'The embedding conjecture for quasi-ordinary hypersurfaces', Journal of Pure and Applied Algebra 214 (2010), no. 9, 1623–1632. DOI: 10.1016/j.jpaa.2009.12.007, https://doi.org/10.1016/j.jpaa.2009.12.007
  5. S. Kaliman, 'Polynomials with general C^2-fibers are variables', Pacific Journal of Mathematics 203 (2002), no. 1, 161–190. DOI: 10.2140/pjm.2002.203.161, https://doi.org/10.2140/pjm.2002.203.161
  6. T. Kishimoto, 'Abhyankar-Sathaye embedding problem in dimension three', Journal of Mathematics of Kyoto University (now Kyoto Journal of Mathematics) 42 (2002), no. 4, 641–669. DOI: 10.1215/kjm/1250283832, https://doi.org/10.1215/kjm/1250283832
  7. T. Ohta, 'Abhyankar-Sathaye Embedding Conjecture for a geometric case', in 'Affine Algebraic Geometry' (Osaka, 2011), World Scientific (2013), 198–212. DOI: 10.1142/9789814436700_0009, https://doi.org/10.1142/9789814436700_0009
  8. V. L. Popov, 'Around the Abhyankar–Sathaye conjecture', Documenta Mathematica, Extra Volume 'A Collection of Manuscripts Written in Honour of Alexander S. Merkurjev on the Occasion of His Sixtieth Birthday' (2015), 513–528. DOI: 10.4171/dms/7/22, https://doi.org/10.4171/dms/7/22 (also arXiv:1409.6330, https://arxiv.org/abs/1409.6330)
  9. A. van den Essen and P. van Rossum, 'A note on possible counterexamples to the Abhyankar-Sathaye conjecture constructed by Shpilrain and Yu', in 'Combinatorial and Computational Algebra', Contemporary Mathematics 264, American Mathematical Society (2000), 215–218. DOI: 10.1090/conm/264/04221, https://doi.org/10.1090/conm/264/04221
  10. D. Lewis, 'Vénéreau-type polynomials as potential counterexamples', Journal of Pure and Applied Algebra 217 (2013), no. 5, 946–957. DOI: 10.1016/j.jpaa.2012.09.018, https://doi.org/10.1016/j.jpaa.2012.09.018 (also arXiv:1007.2230, https://arxiv.org/abs/1007.2230)
  11. A. Dubouloz, 'A^2-fibrations between affine spaces are trivial A^2-bundles', preprint (2017). arXiv:1704.04440, https://arxiv.org/abs/1704.04440
  12. J. Blanc and P.-M. Poloni, 'Bivariables and Vénéreau polynomials', preprint (2020). arXiv:2004.10739, https://arxiv.org/abs/2004.10739
  13. P. Ghosh and N. Gupta, 'On the triviality of a family of linear hyperplanes', preprint (2022). arXiv:2206.15210, https://arxiv.org/abs/2206.15210
  14. P. Ghosh, N. Gupta and A. Pal, 'On embedding of linear hypersurfaces', preprint (2024). arXiv:2405.07205, https://arxiv.org/abs/2405.07205
  15. P. Ghosh, N. Gupta and A. Pal, 'On the family of affine threefolds a(x)y = F(x,z,t)', Journal of Algebra 700 (2026), 267–288. DOI: 10.1016/j.jalgebra.2026.04.008, https://doi.org/10.1016/j.jalgebra.2026.04.008 (also arXiv:2403.17397, https://arxiv.org/abs/2403.17397)
  16. P. Ghosh, 'On A^1-contractibility of certain simple birational extensions of affine spaces', preprint (2025, revised 2026). arXiv:2506.09166, https://arxiv.org/abs/2506.09166