Embeddings of a family of Danielewski hypersurfaces and certain ${\mathbf{C}}^{+}$-actions on ${\mathbf{C}}^3$

[Plongements d’une famille d’hypersurfaces de Danielewski et certaines actions de ${\mathbf{C}}^{+}$ sur ${\mathbf{C}}^3$]

Moser-Jauslin, Lucy¹  ; Poloni, Pierre-Marie¹ 

¹ Université de Bourgogne Institut de Mathématiques de Bourgogne CNRS–UMR 5584 9, avenue Alain Savary B.P. 47870 21078 Dijon (France)

Annales de l'Institut Fourier, Tome 56 (2006) no. 5, pp. 1567-1581

Abstract (VO)

We consider the family of polynomials in $\mathbf{C}[x,y,z]$ of the form $x^{2}y-z^2-xq(x,z)$. Two such polynomials $P_1$ and $P_2$ are equivalent if there is an automorphism ${\varphi }^{*}$ of $\mathbf{C}[x,y,z]$ such that ${\varphi }^{*}\left(P_1\right)=P_2$. We give a complete classification of the equivalence classes of these polynomials in the algebraic and analytic category. As a consequence, we find the following results. There are explicit examples of inequivalent polynomials $P_1$ and $P_2$ such that the zero set of $P_1+c$ is isomorphic to the zero set of $P_2+c$ for all $c\in \mathbf{C}$. There exist polynomials which are algebraically inequivalent but analytically equivalent. There exist polynomials which are algebraically inequivalent but when considered as polynomials in $\mathbf{C}[x,y,z,w]$ become equivalent. This last result answers a problem posed in [7]. Finally, we get a complete classification of ${\mathbf{C}}^{+}$-actions on ${\mathbf{C}}^3$ which are defined by a triangular locally nilpotent derivation of the form $x^2\partial /\partial z+(2z+xq(x,z))\partial /\partial y$.

Résumé

Nous considérons la famille de polynômes de $\mathbf{C}[x,y,z]$ de la forme $x^{2}y-z^2-xq(x,z).$ Deux polynômes $P_1$ et $P_2$ sont dits équivalents s’il existe un automorphisme $\varphi *$ de $\mathbf{C}[x,y,z]$ tel que $\varphi *\left(P_1\right)=P_2.$ Nous donnons une classification complète des classes d’équivalence de ces polynômes dans les catégories algébrique et analytique. Nous en déduisons les résultats suivants. Il existe des exemples explicites de polynômes non équivalents $P_1$ et $P_2$ tels que l’ensemble des zéros de $P_1+c$ est isomorphe à l’ensemble des zéros de $P_2+c$ pour tout $c\in \mathbf{C}$. Il existe des polynômes analytiquement équivalents qui ne le sont pas algébriquement. Il existe des polynômes algébriquement non équivalents mais qui, vus comme des polynômes de $\mathbf{C}[x,y,z,w]$, le deviennent. Ce dernier résultat répond à un problème posé dans [7]. Finalement, nous obtenons une classification complète des actions de ${\mathbf{C}}^{+}$ sur ${\mathbf{C}}^3$ définies par une dérivation triangulaire de la forme $x^2\partial /\partial z+(2z+xq(x,z))\partial /\partial y.$

Détail

DOI : 10.5802/aif.2220

Classification : 14R10, 14R05, 14L30
Keywords: equivalence of polynomials, stable equivalence, algebraic embeddings, Danielewski surfaces.
Mots-clés : polynômes équivalents, équivalence stable, plongements algébriques, surfaces de Danielewski.