Showing 1–18 of 18 results for author: Poloni, P

Complements of hypersurfaces in projective spaces

Authors: Jérémy Blanc, Pierre-Marie Poloni, Immanuel Van Santen

Abstract: We study the complement problem in projective spaces $\mathbb{P}^n$ over any algebraically closed field: If $H, H' \subseteq \mathbb{P}^n$ are irreducible hypersurfaces of degree $d$ such that the complements $\mathbb{P}^n \setminus H$, $\mathbb{P}^n \setminus H'$ are isomorphic, are the hypersurfaces $H$, $H'$ isomorphic? For $n = 2$, the answer is positive if $d\leq 7$ and there are counterexa… ▽ More We study the complement problem in projective spaces $\mathbb{P}^n$ over any algebraically closed field: If $H, H' \subseteq \mathbb{P}^n$ are irreducible hypersurfaces of degree $d$ such that the complements $\mathbb{P}^n \setminus H$, $\mathbb{P}^n \setminus H'$ are isomorphic, are the hypersurfaces $H$, $H'$ isomorphic? For $n = 2$, the answer is positive if $d\leq 7$ and there are counterexamples when $d = 8$. In contrast we provide counterexamples for all $n, d \geq 3$ with $(n, d) \neq (3, 3)$. Moreover, we show that the complement problem has an affirmative answer for $d = 2$ and give partial results in case $(n, d) = (3, 3)$. In the course of the exposition, we prove that rational normal projective surfaces admitting a desingularisation by trees of smooth rational curves are piecewise isomorphic if and only if they coincide in the Grothendieck ring, answering affirmatively a question posed by Larsen and Lunts for such surfaces. △ Less

Submitted 16 February, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 36 pages

MSC Class: 14J70; 14R05 (primary); 14E07; 14F43; (secondary)

Real forms of some Gizatullin surfaces and Koras-Russell threefolds

Authors: Jérémy Blanc, Anna Bot, Pierre-Marie Poloni

Abstract: We describe the real forms of Gizatullin surfaces of the form $xy=p(z)$ and of Koras-Russell threefolds of the first kind. The former admit zero, two, three, four or six isomorphism classes of real forms, depending on the degree and the symmetries of the polynomial~$p$. The latter, which are threefolds given by an equation of the form $x^dy+z^k+x+t^\ell=0$, all admit exactly one real form up to is… ▽ More We describe the real forms of Gizatullin surfaces of the form $xy=p(z)$ and of Koras-Russell threefolds of the first kind. The former admit zero, two, three, four or six isomorphism classes of real forms, depending on the degree and the symmetries of the polynomial~$p$. The latter, which are threefolds given by an equation of the form $x^dy+z^k+x+t^\ell=0$, all admit exactly one real form up to isomorphism. △ Less

Submitted 27 August, 2021; originally announced August 2021.

Comments: 33 pages

MSC Class: 14R05; 14R20; 20J06; 14J50; 14P05; 14P99; 14J26

Bivariables and Vénéreau polynomials

Authors: Jérémy Blanc, Pierre-Marie Poloni

Abstract: We study a family of polynomials introduced by Daigle and Freudenburg, which contains the famous Vénéreau polynomials and defines $\mathbb{A}^2$-fibrations over $\mathbb{A}^2$. According to the Dolgachev-Weisfeiler conjecture, every such fibration should have the structure of a locally trivial $\mathbb{A}^2$-bundle over $\mathbb{A}^2$. We follow an idea of Kaliman and Zaidenberg to show that these… ▽ More We study a family of polynomials introduced by Daigle and Freudenburg, which contains the famous Vénéreau polynomials and defines $\mathbb{A}^2$-fibrations over $\mathbb{A}^2$. According to the Dolgachev-Weisfeiler conjecture, every such fibration should have the structure of a locally trivial $\mathbb{A}^2$-bundle over $\mathbb{A}^2$. We follow an idea of Kaliman and Zaidenberg to show that these fibrations are locally trivial $\mathbb{A}^2$-bundles over the punctured plane, all of the same specific form $X_f$, depending on an element $f\in k[a^{\pm 1},b^{\pm 1}][x]$. We then introduce the notion of bivariables and show that the set of bivariables is in bijection with the set of locally trivial bundles $X_f$ that are trivial. This allows us to give another proof of Lewis's result stating that the second Vénéreau polynomial is a variable and also to trivialise other elements of the family $X_f$. We hope that the terminology and methods developed here may lead to future study of the whole family $X_f$. △ Less

Submitted 22 April, 2020; originally announced April 2020.

Comments: 25 pages, coments are welcome

MSC Class: 14R10; 14R25

Isomorphisms between cylinders over Danielewski surfaces

Authors: Lucy Moser-Jauslin, Pierre-Marie Poloni

Abstract: A special Danielewski surface is an affine surface which is the total space of a principal $(\mathbb{C},+)$-bundle over an affine line with a multiple origin. Using a fiber product trick introduced by Danielewski, it is known that cylinders over two such surfaces are always isomorphic provided that both bases have the same number of origins. The goal of this note is to give an explicit method to f… ▽ More A special Danielewski surface is an affine surface which is the total space of a principal $(\mathbb{C},+)$-bundle over an affine line with a multiple origin. Using a fiber product trick introduced by Danielewski, it is known that cylinders over two such surfaces are always isomorphic provided that both bases have the same number of origins. The goal of this note is to give an explicit method to find isomorphisms between cylinders over special Danielewski surfaces. The method is based on the construction of appropriate locally nilpotent derivations. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Embedding Riemann surfaces with isolated punctures into the complex plane

Authors: Frank Kutzschebauch, Pierre-Marie Poloni

Abstract: We enlarge the class of open Riemann surfaces known to be holomorphically embeddable into the plane by allowing them to have additional isolated punctures compared to the known embedding results. We enlarge the class of open Riemann surfaces known to be holomorphically embeddable into the plane by allowing them to have additional isolated punctures compared to the known embedding results. △ Less

Submitted 4 June, 2019; v1 submitted 20 November, 2018; originally announced November 2018.

MSC Class: 32C22; 32E10; 32H05; 32M17; 14H55

On the maximality of the triangular subgroup

Authors: Jean-Philippe Furter, Pierre-Marie Poloni

Abstract: We prove that the subgroup of triangular automorphisms of the complex affine $n$-space is maximal among all solvable subgroups of $\mathrm{Aut}(\mathbb{A}_{\mathbb{C}}^n)$ for every $n$. In particular, it is a Borel subgroup of $\mathrm{Aut}(\mathbb{A}_{\mathbb{C}}^n)$, when the latter is viewed as an ind-group. In dimension two, we prove that the triangular subgroup is a maximal closed subgroup.… ▽ More We prove that the subgroup of triangular automorphisms of the complex affine $n$-space is maximal among all solvable subgroups of $\mathrm{Aut}(\mathbb{A}_{\mathbb{C}}^n)$ for every $n$. In particular, it is a Borel subgroup of $\mathrm{Aut}(\mathbb{A}_{\mathbb{C}}^n)$, when the latter is viewed as an ind-group. In dimension two, we prove that the triangular subgroup is a maximal closed subgroup. Nevertheless, it is not maximal among all subgroups of $\mathrm{Aut}(\mathbb{A}_{\mathbb{C}}^2)$. Given an automorphism $f$ of $\mathbb{A}_{\mathbb{C}}^2$, we study the question whether the group generated by $f$ and the triangular subgroup is equal to the whole group $\mathrm{Aut}(\mathbb{A}_{\mathbb{C}}^2)$. △ Less

Submitted 6 April, 2017; v1 submitted 20 May, 2016; originally announced May 2016.

Counterexamples to the Complement Problem

Authors: Pierre-Marie Poloni

Abstract: We provide explicit counterexamples to the so-called Complement Problem in every dimension $n\geq3$, i.e. pairs of non-isomorphic irreducible hypersurfaces $H_1, H_2\subset\mathbb{C}^{n}$ whose complements $\mathbb{C}^{n}\setminus H_1$ and $\mathbb{C}^{n}\setminus H_2$ are isomorphic. Since we can arrange that one of the hypersurfaces is singular whereas the other is smooth, we also have counterex… ▽ More We provide explicit counterexamples to the so-called Complement Problem in every dimension $n\geq3$, i.e. pairs of non-isomorphic irreducible hypersurfaces $H_1, H_2\subset\mathbb{C}^{n}$ whose complements $\mathbb{C}^{n}\setminus H_1$ and $\mathbb{C}^{n}\setminus H_2$ are isomorphic. Since we can arrange that one of the hypersurfaces is singular whereas the other is smooth, we also have counterexamples in the analytic setting. △ Less

Submitted 10 February, 2017; v1 submitted 17 May, 2016; originally announced May 2016.

Comments: to appear in Commentarii Mathematici Helvetici

The density property for Gizatullin surfaces of type $[[0,0,-r_2,-r_3]]$

Authors: Rafael B. Andrist, Frank Kutzschebauch, Pierre-Marie Poloni

Abstract: Gizatullin surfaces of type $[[0,0,-r_2,-r_3]]$ can be described by the equations $yu = x P(x)$, $xv = u Q(u)$ and $yv = P(x) Q(u)$ in $\mathbb{C}^4_{x,y,u,v}$ where $P$ and $Q$ are non-constant polynomials. We establish the algebraic density property for smooth Gizatullin surfaces of this type. Moreover we also prove the density property for smooth surfaces given by these equations when $P$ and… ▽ More Gizatullin surfaces of type $[[0,0,-r_2,-r_3]]$ can be described by the equations $yu = x P(x)$, $xv = u Q(u)$ and $yv = P(x) Q(u)$ in $\mathbb{C}^4_{x,y,u,v}$ where $P$ and $Q$ are non-constant polynomials. We establish the algebraic density property for smooth Gizatullin surfaces of this type. Moreover we also prove the density property for smooth surfaces given by these equations when $P$ and $Q$ are holomorphic functions. △ Less

Submitted 16 April, 2016; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: 14 pages; changes in introduction, minor calculation error in section 5 corrected

MSC Class: 32M17; 14R20

Affine-ruled varieties without the Laurent cancellation property

Authors: Adrien Dubouloz, Pierre-Marie Poloni

Abstract: We describe a method to construct hypersurfaces of the complex affine $n$-space with isomorphic $\mathbb{C}^*$-cylinders. Among these hypersurfaces, we find new explicit counterexamples to the Laurent Cancellation Problem, i.e. hypersurfaces that are non isomorphic, although their $\mathbb{C}^*$-cylinders are isomorphic as abstract algebraic varieties. We also provide examples of non isomorphic va… ▽ More We describe a method to construct hypersurfaces of the complex affine $n$-space with isomorphic $\mathbb{C}^*$-cylinders. Among these hypersurfaces, we find new explicit counterexamples to the Laurent Cancellation Problem, i.e. hypersurfaces that are non isomorphic, although their $\mathbb{C}^*$-cylinders are isomorphic as abstract algebraic varieties. We also provide examples of non isomorphic varieties $X$ and $Y$ with isomorphic cartesian squares $X\times X$ and $Y\times Y$. △ Less

Submitted 25 September, 2015; originally announced September 2015.

On the closure of the tame automorphism group of affine three-space

Authors: Eric Edo, Pierre-Marie Poloni

Abstract: We provide explicit families of tame automorphisms of the complex affine three-space which degenerate to wild automorphisms. This shows that the tame subgroup of the group of polynomial automorphisms of $\C^3$ is not closed, when the latter is seen as an infinite dimensional algebraic group.tomorphism group of affine three-space We provide explicit families of tame automorphisms of the complex affine three-space which degenerate to wild automorphisms. This shows that the tame subgroup of the group of polynomial automorphisms of $\C^3$ is not closed, when the latter is seen as an infinite dimensional algebraic group.tomorphism group of affine three-space △ Less

Submitted 22 July, 2014; v1 submitted 12 March, 2014; originally announced March 2014.

Automorphism groups of certain rational hypersurfaces in complex four-space

Authors: Adrien Dubouloz, Lucy Moser-Jauslin, Pierre-Marie Poloni

Abstract: The Russell cubic is a smooth contractible affine complex threefold which is not isomorphic to affine three-space. In previous articles, we discussed the structure of the automorphism group of this variety. Here we review some consequences of this structure and generalize some results to other hypersurfaces which arise as deformations of Koras-Russell threefolds. The Russell cubic is a smooth contractible affine complex threefold which is not isomorphic to affine three-space. In previous articles, we discussed the structure of the automorphism group of this variety. Here we review some consequences of this structure and generalize some results to other hypersurfaces which arise as deformations of Koras-Russell threefolds. △ Less

Submitted 27 September, 2013; originally announced September 2013.

Comments: To appear in Proceedings of the GABAG2012 conference

A note on the stable equivalence problem

Authors: Pierre-Marie Poloni

Abstract: We provide counterexamples to the stable equivalence problem in every dimension $d\geq2$. That means that we construct hypersurfaces $H_1, H_2\subset\mathbb{C}^{d+1}$ whose cylinders $H_1\times\mathbb{C}$ and $H_2\times\mathbb{C}$ are equivalent hypersurfaces in $\mathbb{C}^{d+2}$, although $H_1$ and $H_2$ themselves are not equivalent by an automorphism of $\mathbb{C}^{d+1}$. We also give, for ev… ▽ More We provide counterexamples to the stable equivalence problem in every dimension $d\geq2$. That means that we construct hypersurfaces $H_1, H_2\subset\mathbb{C}^{d+1}$ whose cylinders $H_1\times\mathbb{C}$ and $H_2\times\mathbb{C}$ are equivalent hypersurfaces in $\mathbb{C}^{d+2}$, although $H_1$ and $H_2$ themselves are not equivalent by an automorphism of $\mathbb{C}^{d+1}$. We also give, for every $d\geq2$, examples of two non-isomorphic algebraic varieties of dimension $d$ which are biholomorphic. △ Less

Submitted 12 August, 2013; originally announced August 2013.

Extension of automorphisms of rational smooth affine curves

Authors: Jérémy Blanc, Jean-Philippe Furter, Pierre-Marie Poloni

Abstract: We provide the existence, for every complex rational smooth affine curve $Γ$, of a linear action of $\mathrm{Aut}(Γ)$ on the affine 3-dimensional space $\mathbb{A}^3$, together with a $\mathrm{Aut}(Γ)$-equivariant closed embedding of $Γ$ into $\mathbb{A}^3$. It is not possible to decrease the dimension of the target, the reason for this obstruction is also precisely described. We provide the existence, for every complex rational smooth affine curve $Γ$, of a linear action of $\mathrm{Aut}(Γ)$ on the affine 3-dimensional space $\mathbb{A}^3$, together with a $\mathrm{Aut}(Γ)$-equivariant closed embedding of $Γ$ into $\mathbb{A}^3$. It is not possible to decrease the dimension of the target, the reason for this obstruction is also precisely described. △ Less

Submitted 21 September, 2014; v1 submitted 6 February, 2013; originally announced February 2013.

Comments: 18 pages. To appear in Math. Res. Letters

MSC Class: 14R20; 14H45

Journal ref: Math. Res. Lett. 23 (2016), no. 1, 43-66

Non cancellation for smooth contractible affine threefolds

Authors: Adrien Dubouloz, Lucy Moser-Jauslin, Pierre-Marie Poloni

Abstract: We construct two non isomorphic contractible affine threefolds X and Y with isomorphic cylinders, showing that the generalized Cancellation Problem has a negative answer in general for contractible affine threefolds. We also establish that X and Y are actually biholomorphic as complex analytic varieties, providing the first example of a pair of biholomorphic but not isomorphic exotic affine 3-spac… ▽ More We construct two non isomorphic contractible affine threefolds X and Y with isomorphic cylinders, showing that the generalized Cancellation Problem has a negative answer in general for contractible affine threefolds. We also establish that X and Y are actually biholomorphic as complex analytic varieties, providing the first example of a pair of biholomorphic but not isomorphic exotic affine 3-spaces. △ Less

Submitted 27 April, 2010; originally announced April 2010.

Classification(s) of Danielewski hypersurfaces

Authors: Pierre-Marie Poloni

Abstract: The Danielewski hypersurfaces are the hypersurfaces $X_{Q,n}$ in $\mathbb{C}^3$ defined by an equation of the form $x^ny=Q(x,z)$ where $n\geq1$ and $Q(x,z)$ is a polynomial such that $Q(0,z)$ is of degree at least two. They were studied by many authors during the last twenty years. In the present article, we give their classification as algebraic varieties. We also give their classification up t… ▽ More The Danielewski hypersurfaces are the hypersurfaces $X_{Q,n}$ in $\mathbb{C}^3$ defined by an equation of the form $x^ny=Q(x,z)$ where $n\geq1$ and $Q(x,z)$ is a polynomial such that $Q(0,z)$ is of degree at least two. They were studied by many authors during the last twenty years. In the present article, we give their classification as algebraic varieties. We also give their classification up to automorphism of the ambient space. As a corollary, we obtain that every Danielewski hypersurface $X_{Q,n}$ with $n\geq2$ admits at least two non-equivalent embeddings into $\mathbb{C}^3$. △ Less

Submitted 16 December, 2009; originally announced December 2009.

MSC Class: 14R05; 14R20

Inequivalent embeddings of the Koras-Russell cubic threefold

Authors: Adrien Dubouloz, Lucy Moser-Jauslin, Pierre-Marie Poloni

Abstract: The Koras-Russell threefold is the hypersurface X of the complex affine four-space defined by the equation x^2y+z^2+t^3+x=0. It is well-known that X is smooth contractible and rational but that it is not algebraically isomorphic to affine three-space. The main result of this article is to show that there exists another hypersurface Y of the affine four-space, which is isomorphic to X as an abstr… ▽ More The Koras-Russell threefold is the hypersurface X of the complex affine four-space defined by the equation x^2y+z^2+t^3+x=0. It is well-known that X is smooth contractible and rational but that it is not algebraically isomorphic to affine three-space. The main result of this article is to show that there exists another hypersurface Y of the affine four-space, which is isomorphic to X as an abstract variety, but such that there exists no algebraic automorphism of the ambient space which restricts to an isomorphism between X and Y. In other words, the two hypersurfaces are inequivalent. The proof of this result is based on the description of the automorphism group of X. We show in particular that all algebraic automorphisms of X extend to automorphisms of the ambient space. △ Less

Submitted 25 March, 2009; originally announced March 2009.

MSC Class: 14R10

The Nagata automorphism is shifted linearizable

Authors: Stefan Maubach, Pierre-Marie Poloni

Abstract: A polynomial automorphism $F$ is called {\em shifted linearizable} if there exists a linear map $L$ such that $LF$ is linearizable. We prove that the Nagata automorphism $N:=(X-YΔ-ZΔ^2,Y+ZΔ, Z)$ where $Δ=XZ+Y^2$ is shifted linearizable. More precisely, defining $L_{(a,b,c)}$ as the diagonal linear map having $a,b,c$ on its diagonal, we prove that if $ac=b^2$, then $L_{(a,b,c)}N$ is linearizable… ▽ More A polynomial automorphism $F$ is called {\em shifted linearizable} if there exists a linear map $L$ such that $LF$ is linearizable. We prove that the Nagata automorphism $N:=(X-YΔ-ZΔ^2,Y+ZΔ, Z)$ where $Δ=XZ+Y^2$ is shifted linearizable. More precisely, defining $L_{(a,b,c)}$ as the diagonal linear map having $a,b,c$ on its diagonal, we prove that if $ac=b^2$, then $L_{(a,b,c)}N$ is linearizable if and only if $bc\not = 1$. We do this as part of a significantly larger theory: for example, any exponent of a homogeneous locally finite derivation is shifted linearizable. We pose the conjecture that the group generated by the linearizable automorphisms may generate the group of automorphisms, and explain why this is a natural question. △ Less

Submitted 30 April, 2008; originally announced April 2008.

Comments: 14 pages

MSC Class: 14R10; 14R20; 14L17; 32M17

On a class of Danielewski surfaces in affine 3-space

Authors: Adrien Dubouloz, Pierre-Marie Poloni

Abstract: L. Makar-Limanov computed the automorphisms groups of surfaces in $\mathbb{C}^{3}$ defined by the equations $x^{n}z-P(y)=0$, where $n\geq1$ and $P(y)$ is a nonzero polynomial. Similar results have been obtained by A. Crachiola for surfaces defined by the equations $x^{n}z-y^{2}-h(x)y=0$, where $n\geq2$ and $h(0)\neq0$, defined over an arbitrary base field. Here we consider the more general surfa… ▽ More L. Makar-Limanov computed the automorphisms groups of surfaces in $\mathbb{C}^{3}$ defined by the equations $x^{n}z-P(y)=0$, where $n\geq1$ and $P(y)$ is a nonzero polynomial. Similar results have been obtained by A. Crachiola for surfaces defined by the equations $x^{n}z-y^{2}-h(x)y=0$, where $n\geq2$ and $h(0)\neq0$, defined over an arbitrary base field. Here we consider the more general surfaces defined by the equations $x^{n}z-Q(x,y)=0$, where $n\geq2$ and $Q(x,y)$ is a polynomial with coefficients in an arbitrary base field $k$. Among these surfaces, we characterize the ones which are Danielewski surfaces and we compute their automorphism groups. We study closed embeddings of these surfaces in affine 3-space. We show that in general their automorphisms do not extend to the ambient space. Finally, we give explicit examples of $\mathbb{C}^{*}$-actions on a surface in $\mathbb{C}^{3}$ which can be extended holomorphically but not algebraically to a $\mathbb{C}^{*}$-action on $\mathbb{C}^{3}$. △ Less

Submitted 27 August, 2006; v1 submitted 24 February, 2006; originally announced February 2006.

Comments: Revised version with simplified proofs. A classification of special Danielewski surfaces admitting multiplicative group actions has been added

MSC Class: 14R10; 14R05