Exotic embeddings of smooth affine varieties (Q2491826)

A closed subvariety \(X\) of the affine space \(\mathbb{C}^n\) has the Abhyankar-Moh property (AMP for short) if every polynomial embedding \(X\hookrightarrow\mathbb{C}^n\) has an extension to a polynomial automorphism of the whole of \(\mathbb{C}^n\). There exist smooth affine subvarieties without the AMP (all known examples were hypersurfaces), however smooth \(X\) of sufficiently large codimension has the AMP [\textit{Z. Jelonek}, Math. Ann. 277, 113--120 (1987; Zbl 0611.14010)]. In the present article the author constructs a smooth rational affine subvariety \(X_{2n+1}\) (resp. \(Y_{2n+2}\)) in \(\mathbb{C}^{3n}\) (resp. \(\mathbb{C}^{3n+1}\)) without the AMP. The variety \(X_{2n+1}\) (resp. \(Y_{2n+2}\)) is a product of the complex sphere \(S^{2n-1}\subset\mathbb{C}^{2n}\) (resp. of some Zariski open subset of the sphere \(S^{2n}\)) and the plane \(\mathbb{C}^2\). Moreover, for every prime number \(p\) a smooth rational affine variety \(Z_{p+3}\) of dimension \(p+3\), for which there is an exotic embedding \(Z_{p+3}\hookrightarrow Z_{p+3}\times\mathbb{C}^p\), is constructed. These embeddings are holomorphically (but not algebraically) trivial. Using this, the author provides examples of complex manifolds which have at least two different algebraic quasi-affine structures. It is also shown that there is a natural connection between the Abhyankar-Sathaye conjecture and the famous Quillen-Suslin theorem.