Real frontiers of fake planes
 509 Downloads
 1 Citations
Abstract
In Dubouloz and Mangolte (Fake real planes: exotic affine algebraic models of \({\mathbb {R}}^{2}\), arXiv:1507.01574, 2015), we define and partially classify fake real planes, that is, minimal complex surfaces with conjugation whose real locus is diffeomorphic to the euclidean real plane \(\mathbb {R}^{2}\). Classification results are given up to biregular isomorphisms and up to birational diffeomorphisms. In this note, we describe in an elementary way numerous examples of fake real planes and exhibit examples of such planes of every Kodaira dimension \(\kappa \in \{\infty ,0,1,2\}\) which are birationally diffeomorphic to \(\mathbb {R}^{2}\).
Keywords
Real algebraic model Affine surface Rational fibration Birational diffeomorphism Affine complexificationMathematics Subject Classification
14R05 14R25 14E05 14P25 14J261 Introduction

Start from \(S_0=\mathbb {C}^{2}_{u,v}\) with the usual conjugation \((u,v)\mapsto (\overline{u},\overline{v})\). We have \(S_0(\mathbb {R})=\mathbb {R}^{2}\). Blowingup a pair of conjugated nonreal points of \(\mathbb {C}^{2}\), we get a surface \(S_1\) which is not isomorphic to \(\mathbb {C}^{2}\), actually not even affine as it contains proper curves, but \(S_1(\mathbb {R})\approx \mathbb {R}^{2}\).

Start from \(\mathbb {CP}^{2}_{x:y:z}\) and choose a pair of conjugated lines \(L,\overline{L}\) meeting at a point on the line at infinity \(L_{\infty }=\{z=0\}\). Let \(S_2\) be the complement in \(\mathbb {CP}^{n}\) of the union \(L \cup \overline{L} \cup L_{\infty }\). Then \(S_2\) is isomorphic to \(\mathbb {C}{\setminus }\{\text {a pair of conjugated points}\}{\times }\mathbb {C}\) and \(S_2(\mathbb {R})\approx \mathbb {R}^{2}\).
Definition 1.1

S is a real plane: \(S(\mathbb {R})\approx \mathbb {R}^{2}\);

S is topologically minimal: \(H_k(S;\mathbb {Q})=0\) for all \(k\geqslant 1\);

S is fake: S is not biregularly isomorphic to \(\mathbb {C}^{2}\) as a real algebraic surface.
Every fake real plane S is affine and rational over \(\mathbb {R}\), see Sect. 2.1. In the projective setting, we obtain complexifications of \(\mathbb {RP}^{2}\) in the same way as described in the first example above by blowingup pairs of conjugated nonreal points of \(\mathbb {CP}^{2}\). Among the rational projective complexifications of \(\mathbb {RP}^{2}\), the only minimal one is \(\mathbb {CP}^{2}\) because it is the only one with Picard number \(\rho =1\). In fact, \(\mathbb {CP}^{2}\) is the only topologically minimal complexification of \(\mathbb {RP}^{2}\): there exist other smooth complex surfaces with the same homology as \(\mathbb {CP}^{2}\), but none of them admits a real structure [15]. In the light of these observations, a first natural question is:
Question 1.2
Is there any fake real plane at all?
An affirmative answer to Question 1.2 is given in the article [8], where we introduce and partially classify fake real planes. In the present paper, as an application of general classification results in [8], we describe in an explicit way numerous examples.
Let S and \(S'\) be two complexifications of a given topological surface M. We say that S and \(S'\) are \(\mathbb {R}\)biregularly birationally equivalent if their real loci \(S(\mathbb {R})\) and \(S'(\mathbb {R})\) have isomorphic Zariski open neighborhoods in S and \(S'\), respectively. Equivalently the surfaces \(S(\mathbb {R})\) and \(S'(\mathbb {R})\) are birationally diffeomorphic, that is:
Definition 1.3
Let S and \(S'\) be real algebraic surfaces. Their real loci \(S(\mathbb {R})\) and \(S'(\mathbb {R})\) are birationally diffeomorphic if there is a diffeomorphism \(f :S(\mathbb {R}) \rightarrow S'(\mathbb {R})\) which extends as a real birational map \(\psi :S \rightarrow S'\) whose indeterminacy locus does not intersect \(S(\mathbb {R})\), and such that the indeterminacy locus of \(\psi ^{1}\) does not intersect \(S'(\mathbb {R})\).
A real algebraic surface S is rectifiable if its real locus \(S(\mathbb {R})\) is birationally diffeomorphic to \(\mathbb {R}^{2}\).
It is well known that every rational projective complexification of \(\mathbb {RP}^{2}\) is \(\mathbb {R}\)biregularly birationally equivalent to \(\mathbb {RP}^{2}\), even dropping the topological minimality condition, see [16]. Thus next natural questions are:
Question 1.4
Is there any rectifiable fake real plane?
Question 1.5
Let S be a fake real plane. Is S rectifiable?
Again the answer to Question 1.4 is affirmative; examples of rectifiable fake real planes of Kodaira dimensions \(\infty \) and 0 were given in [8]. In the present paper, we exhibit infinite families of rectifiable fake real planes in every Kodaira dimension. In spite of this, Question 1.5 remains open.
The idea of this paper emerges thanks to the conference Frontiers of Rationality which took place in Spitsbergen (Norway) in July 2014. The word “frontier” in our title is an attempt to give credit to this exceptional event.
2 Generalities on fake real planes

A real algebraic manifold of dimension n is a quasiprojective complex algebraic manifold S of complex dimension n endowed with an antiholomophic involution whose set of fixed points is called the real locus and denoted by \(S(\mathbb {R})\). A real map is a complex map commuting with involutions. A real algebraic surface is a real algebraic manifold of dimension 2. The manifolds S and \(S(\mathbb {R})\) are assumed to be endowed with their euclidean topology.

A topological surface is a real 2dimensional \(\mathscr {C}^\infty \)manifold. By our convention, a real algebraic surface S is nonsingular; as a consequence, if nonempty, the real locus \(S(\mathbb {R})\) gets a natural structure of a topological surface when endowed with the euclidean topology. Furthermore \(S(\mathbb {R})\) is compact if S is projective.
2.1 Generalities on topologically minimal real planes
By virtue of results of Fujita [9] and Gurjar–Pradeep–Shastri [12, 13] every smooth \(\mathbb {Q}\)acyclic complex surface S is affine and rational. If S is real, then it admits a real completion \(S\hookrightarrow (V,B)\) into a smooth real projective surface V with connected real boundary curve \(B=V{\setminus } S\). In the case where S is a real plane, the connectedness of \(S(\mathbb {R})\approx \mathbb {R}^{2}\) implies that V is a rational complex surface with connected real locus, hence an \(\mathbb {R}\)rational real projective surface, i.e. a real surface admitting a real birational map \(V\rightarrow \mathbb {CP}^{2}\) to \(\mathbb {CP}^{2}\) equipped with its standard real structure. The free abelian group \(\mathbb {Z}\langle B\rangle \) generated by the irreducible components of B and the divisor class group \(\mathrm {Cl}(V)\) of V both inherit a structure of Gmodule for the group \(G=\{1,\sigma \}\simeq \mathbb {Z}_{2}\) generated by the real structure \(\sigma \) on V. The inclusion \(j:B\hookrightarrow V\) gives rise to a homomorphism \(j_{*}:\mathbb {Z}\langle B\rangle \rightarrow \mathrm {Cl}(V)\) of Gmodule, hence to an induced homomorphism \(H^{2}(j_{*}):H^{2}(G,\mathbb {Z}\langle B\rangle )\rightarrow H^{2}(G,\mathrm {Cl}(V))\) of \(\mathbb {Z}_{2}\)vector spaces between the Galois cohomology groups \(H^{2}(G,M)=\mathrm {Ker}(\mathrm {id}_{M}\sigma )/\mathrm {Im}(\mathrm {id}_{M}+\sigma ), M=\mathbb {Z}\langle B\rangle ,\mathrm {Cl}(V)\). The next theorem will be the most useful for the constructions presented below.
Theorem 2.1
 (a)
V and B are connected and simply connected and \(j_{*}{\otimes }_{\mathbb {Z}}A:\mathbb {Z}\langle B\rangle {\otimes }_{\mathbb {Z}}A\rightarrow \mathrm {Cl}(V)\) \({\otimes }_{\mathbb {Z}}A\) is an isomorphism.
 (b)
The real locus of B is nonempty and \(H^{2}(j_{*}):H^{2}(G,\mathbb {Z}\langle B\rangle )\rightarrow H^{2}(G,\mathrm {Cl}(V))\) is an isomorphism.
Proof
The first assertion is essentially a rephrasing of a classical criterion established first by Ramanujam [20] and Fujita [9] which asserts that the complex surface S is Aacyclic if and only if V and B are connected and the homomorphism \(H_{2}(B;A)\rightarrow H_{2}(V;A)\) induced by the inclusion \(B\hookrightarrow V\) is an isomorphism. Indeed, \(H_{2}(B;A)\) is a free abelian group isomorphic to \(\mathbb {Z}\langle B\rangle {\otimes }_{\mathbb {Z}}A\) via the map which associates to every irreducible component of B its fundamental class in homology while the isomorphism \(H_{2}(V;A)\simeq \mathrm {Cl}(V){\otimes }_{\mathbb {Z}}A\) follows from that fact that since V is rational, the cycle map \(\mathrm {Cl}(V)\rightarrow H_{2}(V,\mathbb {Z})\) which associates to every irreducible complex curve \(D\subset V\) its fundamental class is an isomorphism. The second assertion essentially follows from the combination of the wellknown fact that a relatively compact topological surface \(M\subset \overline{M}\) with connected boundary \(\overline{M}{\setminus } M\) is diffeomorphic to \(\mathbb {R}^{2}\) if and only if it is connected and \(\mathbb {Z}_{2}\)acyclic with the cycle map construction due to Borel–Haefliger [3], see [8, Section 2].\(\square \)
Remark 2.2
 (i)
The curve B in the previous proposition need not be an SNC divisor on V, but the criterion implies in particular that if \(S=V{\setminus } B\) is Acyclic then its inverse image \(\tau ^{1}(B)\) in a logresolution \(\tau :V'\rightarrow V\) of the pair (V, B) defined over \(\mathbb {R}\) is a real tree of rational curves, that is a tree of rational curves with an induced action of the real structure \(\sigma \) on \(V'\). It follows in particular that the real locus of B is either empty or a connected union of curves homeomorphic to a circle.
 (ii)
In the case where \(j_{*}{\otimes }_{\mathbb {Z}}\mathbb {Q}:\mathbb {Z}\langle B\rangle {\otimes }_{\mathbb {Z}}\mathbb {Q}\rightarrow \mathrm {Cl}(V){\otimes }_{\mathbb {Z}}\mathbb {Q}\) is an isomorphism, one infers from the long exact sequence of relative homology for the pair (V, B) that \(H_{1}(S,\mathbb {Z})\) is a torsion group isomorphic to \(\mathrm {Cl}(V)/\mathrm {Im}(j_{*})\).
Example 2.3
The complement S of a smooth real conic B in \(\mathbb {CP}^{2}\) is a \(\mathbb {Q}\)acyclic real surface which is a not a real plane. It can be seen directly that \(S(\mathbb {R})\) is either diffeomorphic to \(\mathbb {RP}^{2}\) if \(B(\mathbb {R})=\varnothing \) or to the disjoint union of \(\mathbb {R}^{2}\) with a Möbius band otherwise. In the setting of Theorem 2.1, the image of the generator [B] of \(\mathbb {Z}\langle B\rangle \simeq \mathbb {Z}{\cdot }[B]\simeq H_{2}(B;\mathbb {Z})\) by \(j_{*}:\mathbb {Z}\langle B\rangle \rightarrow \mathrm {Cl}(\mathbb {C}\mathbb {P}^{2})\simeq H_{2}(\mathbb {CP}^{2};\mathbb {Z})\simeq \mathbb {Z}{\cdot }[\ell ]\), where \([\ell ]\) denotes the class of a real line, is equal to \(2{\cdot }[\ell ]\). So S is \(\mathbb {Q}\)acyclic, with \(H_{1}(S;\mathbb {Z})\simeq \mathbb {Z}_{2}\), but not \(\mathbb {Z}\)acyclic. Furthermore, since in this particular situation we have isomorphisms \(H^{2}(G,\mathbb {Z}\langle B\rangle )\simeq \mathbb {Z}\langle B\rangle {\otimes }_{\mathbb {Z}}\mathbb {Z}_{2}\) and \(H^{2}(G,\mathrm {Cl}(V))\simeq \mathrm {Cl}(V){\otimes }_{\mathbb {Z}}\mathbb {Z}_{2}, H^{2}(j_{*}):H^{2}(G,\mathbb {Z}\langle B\rangle )\rightarrow H^{2}(G,\mathrm {Cl}(V))\) is then the trivial map.
3 Fake planes of negative Kodaira dimension
It turns out that \(\mathbb {C}^{2}\) equipped with its standard real structure is the only \(\mathbb {Z}\)acyclic real plane S of negative Kodaira dimension. Indeed, a complex \(\mathbb {Z}\)acyclic surface of negative Kodaira dimension is isomorphic to \(\mathbb {C}^{2}\), by virtue of [18], while every real structure on \(\mathbb {C}^{2}\) is isomorphic to the standard one, as a consequence of [14]. In this section, we briefly review general geometric properties of \(\mathbb {Q}\)acyclic fake planes. Then, as a particular instance of a large class of such planes which are known since [8] to be \(\mathbb {R}\)biregularly birationally equivalent to \(\mathbb {C}^{2}\), see Theorem 3.3, we construct a pair of nonisomorphic \(\mathbb {Q}\)acyclic fake planes of negative Kodaira dimension with the same homology groups, whose real loci are both birationally diffeomorphic to \(\mathbb {R}^{2}\).
3.1 Basic properties of \(\mathbb {Q}\)acyclic fake planes of negative Kodaira dimension
By virtue of [18], the negativity of the Kodaira dimension of a smooth complex affine surface S is equivalent to the existence of an \(\mathbb {A}^{1}\)fibration \(\rho :S\rightarrow C\), that is, a fibration with general fibers isomorphic to \(\mathbb {C}\), over a smooth curve C. One direction is clear for if \(\rho :S\rightarrow C\) is such a fibration, then C contains a nonempty Zariski open subset \(C_{0}\) over which \(\rho \) restricts to a trivial bundle \(C_{0}{\times }\mathbb {C}\), and so \(\kappa (S)\leqslant \kappa (C_{0}{\times }\mathbb {C})=\infty \) by Iitaka’s easy addition formula. When S is in addition real, there is no reason in general that the existing \(\mathbb {A}^{1}\)fibration \(\rho :S\rightarrow C\) is a real map: for instance, the complement of a smooth conic B in \(\mathbb {CP}^{2}\) with empty real locus is a real surface of negative Kodaira dimension without any real \(\mathbb {A}^{1}\)fibration \(\rho :S\rightarrow C\). Indeed, if such a fibration existed then the closure in \(\mathbb {CP}^{2}\) of its fiber over a general real point of C would be a real rational curve intersecting B in a unique point, necessarily real, which is impossible. The following theorem shows in particular that this phenomenon does not occur for real planes.
Theorem 3.1

S is a \(\mathbb {Q}\)acyclic real plane of negative Kodaira dimension.

S admits a real \(\mathbb {A}^{1}\)fibration \(\rho :S\rightarrow \mathbb {C}\) whose closed fibers are all isomorphic to \(\mathbb {C}\) when equipped with their reduced structure and whose fibers over the real locus of \(\mathbb {C}\) have odd multiplicities.
Example 3.2
The following partial result concerning the classification of \(\mathbb {Q}\)acyclic real planes of negative Kodaira dimension up to \(\mathbb {R}\)biregular equivalence was obtained in [8].
Theorem 3.3
Every \(\mathbb {Q}\)acyclic real plane S of negative Kodaira dimension admitting a real \(\mathbb {A}^{1}\)fibration \(\rho :S\rightarrow \mathbb {C}\) with at most one degenerate fiber is \(\mathbb {R}\)biregularly birationally equivalent to \(\mathbb {C}^{2}\).
As a consequence, the real locus of every surface \(S_{1,m_{1},p_{1}}\) as in Example 3.2 is birationally diffeomorphic to \(\mathbb {R}^{2}\). We do not know whether \(\mathbb {Q}\)acyclic real plane of negative Kodaira dimension S admitting real \(\mathbb {A}^{1}\)fibrations \(\rho :S\rightarrow \mathbb {C}\) with more than one degenerate fiber is \(\mathbb {R}\)biregularly birationally equivalent to \(\mathbb {C}^{2}\), in particular:
Question 3.4
Is the real locus of a surface \(S_{s,[m][p]}\) with \(s\geqslant 2\) as in Example 3.2 birationally diffeomorphic to \(\mathbb {R}^{2}\)?
3.2 Two examples of \(\mathbb {Q}\)acyclic fake planes with real loci birationally diffeomorphic to \(\mathbb {R}^{2}\)
3.2.1 Construction and first properties
Proposition 3.5
The surfaces S and \(S'\) are nonisomorphic fake planes of negative Kodaira dimension.
Proof
That S and \(S'\) are fake planes of negative Kodaira dimension follows from the construction above. The fact they are nonisomorphic as complex surfaces can be deduced as follows. First since the dual graphs of the minimal resolutions of the pairs (V, B) and \((V'\!,B')\) are not chains, it follows from [1] that the \(\mathbb {A}^{1}\)fibrations \(\rho :S\rightarrow \mathbb {C}\) and \(\rho ':S'\rightarrow \mathbb {C}\) constructed above are unique, up to composition by automorphisms of the base \(\mathbb {C}\). This implies in particular that any isomorphism \(\Phi \) between S and \(S'\) is an isomorphism of fibered surfaces, that is, there exists an isomorphism \(\phi :\mathbb {C}\xrightarrow {\sim \,}\mathbb {C}\) such that \(\rho '{\circ }\Phi =\phi {\circ }\rho \). Every such isomorphism then admits a unique extension to a birational map \(\overline{\Phi }:\widetilde{V}\rightarrow \widetilde{V}'\) with a unique proper base point, supported at the intersection of C with the proper transform of B, restricting to an isomorphism between the complements \(\widetilde{V}{\setminus }\beta _{*}^{1}(B)\) and \(\widetilde{V}'{\setminus }(\beta ')_{*}^{1}(B')\) of the proper transforms of B and \(B'\) respectively and mapping C isomorphically onto \(C'\) (see e.g. [2] where these birational maps are called fibered modifications). But the fact that the irreducible components of \(\beta ^{1}(B){\setminus }\beta _{*}^{1}(B)\) and \(\beta ^{1}(B'){\setminus }\beta _{*}^{1}(B')\) intersecting C and \(C'\) respectively have different selfintersections prevents the existence of any such birational map. So S and \(S'\) are not isomorphic. \(\square \)
Remark 3.6
The surfaces S and \(S'\) do not only have the same homology group but also have the same fundamental group \(\pi _{1}\simeq \mathbb {Z}_{3}\). In fact, it can be shown that the complex algebraic threefolds \(S{\times }\mathbb {A}^{1}\) and \(S'{\times }\mathbb {A}^{1}\) are isomorphic, so that S and \(S'\) are in particular homotopically equivalent. A direct computation reveals further that the fundamental groups at infinity of S and \(S'\) (see e.g. [17, Section 4.9, p. 246] for the definition and an algorithm for the computation of these groups) are both isomorphic to \(\mathbb {Z}_{9}\). We do not know whether S and \(S'\) are homeomorphic as real 4manifolds or not.
3.2.2 Birational diffeomorphisms
Here we show that the real loci of S and \(S'\) are not only diffeomorphic to \(\mathbb {R}^{2}\) but actually birationally diffeomorphic to it.
Now let \(\theta _{2}:W_{1}\rightarrow W_{2}\) be the real birational map obtained by first blowingup the point \(E_{1}\cap E_{3}\) with exceptional divisor \(D_{1}\) and then contracting successively the proper transforms of \(B, E_{3}\) and \(E_{2}\). By counting the number of points blownup and the number of curves contracted during the whole process, we infer that the Picard rank of \(W_2\) is equal to 2. So \(W_2\) is a Hirzebruch surface in which the proper transforms of \(D_{1}\) and \(E_{1}\) are respectively a fiber and a section with selfintersection 1 of a \(\mathbb {P}^{1}\)bundle structure on \(W_2\). It follows that \(W_2\simeq \mathbb {F}_{1}\) and that the proper transform of \(D_1\) is a fiber of the unique \(\mathbb {P}^{1}\)bundle structure \(\pi _{1}:\mathbb {F}_{1}\rightarrow \mathbb {CP}^{1}\). The restriction of \(\theta _{2}{\circ }\theta _{1}\) to S is a real birational map \(f:S\rightarrow \mathbb {F}_{1}{\setminus }(E_{1}\cup D_{1})\simeq \mathbb {C}^{2}\) inducing a diffeomorphism \(S(\mathbb {R})\approx \mathbb {R}^{2}\).
Letting \(\theta _{2}':W_{1}'\rightarrow W_{2}'\) be the real birational morphism consisting of the successive contractions of \(B'\!, E_{5}', E_{3}'\) and \(E_{4}'\), the resulting surface \(W_{2}'\) is isomorphic to \(\mathbb {CP}^{1}{\times }\mathbb {CP}^{1}\) in which the proper transforms of \(E_{1}'\) and \(E_{2}'\) are fibers say of the first and second projection respectively. The restriction of \(\theta _{2}'{\circ }\theta _{1}'\) to \(S'\) is a real birational map \(f':S'\rightarrow \mathbb {CP}^{1}{\times }\mathbb {CP}^{1}{\setminus }(E_{1}'\cup E_{2}')\simeq \mathbb {C}^{2}\) inducing a diffeomorphism \(S'(\mathbb {R})\approx \mathbb {R}^{2}\).
4 Fake planes of Kodaira dimension 0
By virtue of [17, Theorem 4.7.1(1), p. 244], there is no smooth complex \(\mathbb {Z}\)acyclic surface of Kodaira dimension 0. Smooth complex \(\mathbb {Q}\)acyclic surfaces of Kodaira dimension 0 do exist, and are completely classified after the work of Fujita and Kojima (see also [17, Chapter 3, Section 4]). In this section, we present certain families of fake planes of Kodaira dimension 0, some of which being \(\mathbb {R}\)biregularly birationally equivalent to \(\mathbb {C}^{2}\).
4.1 Real models of Fujita’s \(H[k,k]\) surfaces
Proposition 4.1
For every \(p\geqslant 1\), the surface \(H[2p,2p]\) is a \(\mathbb {Q}\)acyclic fake plane of Kodaira dimension \(0, \mathbb {R}\)biregularly birationally equivalent to \(\mathbb {C}^{2}\).
Proof
4.2 The exceptional fake plane Y(3, 3, 3) (see also [8, Section 5.1.1])
Question 4.2
Is the real locus of Y(3, 3, 3) birationally diffeomorphic to \(\mathbb {R}^{2}\)?
5 Fake planes of Kodaira dimension 1
In this section, we first recall basic results on the classification of \(\mathbb {Z}\)acyclic fake planes of Kodaira dimension 1. We then present examples of contractible and \(\mathbb {Q}\)acyclic fake planes of Kodaira dimension 1 arising from rational real cuspidal quartics in \(\mathbb {CP}^{2}\). We conclude this section with the construction of families of \(\mathbb {Q}\)acyclic fake planes \(\mathbb {R}\)biregularly birationally equivalent to \(\mathbb {C}^{2}\).
5.1 Elements of classification of \(\mathbb {Z}\)acyclic fake planes of Kodaira dimension 1
Smooth complex \(\mathbb {Z}\)acyclic surfaces of Kodaira dimension 1 have been classified by Gurjar and Miyanishi [11] and tom Dieck and Petrie [4]. We recall from [8] the following construction, which provides the real counterpart of this classification.
5.1.1 General blowup construction

\(\eta =n1 \sum _{i=1}^{n}1/\mu _{i,+} >0\),

The matrix \(\mathscr {N}=\left( {\begin{matrix} 1 &{} 1\\ v_{} &{} \mathrm{\Delta }_{+} \end{matrix}}\right) \) belongs to \(\mathrm {GL}_{n+1}(\mathbb {Z})\).
1) We first blowup x with exceptional divisor \(C_{0}\simeq \mathbb {CP}^{1}\). The resulting surface is isomorphic to the Hirzebruch surface \(\pi _{1}:\mathbb {F}_{1}\rightarrow \mathbb {CP}^{1}\) with \(C_{0}\) as the negative section of \(\pi _{1}\), the proper transforms of \(E_{0,0},\ldots ,E_{n,0}\) are fibers of \(\pi _{1}\) while the strict transform of \(C_{1}\) is a section of \(\pi _{1}\) disjoint from \(C_{0}\).
2) Then for every \(i=1,\ldots ,n\), we perform a sequence of blowup of real points, starting with the blowup of \(p_{i}=C_{1}\cap E_{i,0}\) in such a way that the following two conditions are satisfied: a) the inverse image of \(p_{i}\) is a chain of \(\mathbb {CP}^{1}\) containing a unique \((1)\)curve \(A(p_{i})\) and b) the coefficients of \(A(p_{i})\) in the total transform of \(C_{1}\) and \(E_{i,0}\) are equal to \(\mu _{i,}\) and \(\mu _{i,+}\) respectively. Recall [8, Example 1.3] that letting \(x_{i,}\) and \(x_{i,+}\) be local defining equations for \(C_{1}\) and \(E_{i,0}\) in a Zariski open neighborhood \(U_i\) of \(p_i\), such a blowup sequence is obtained as the minimal resolution of the indeterminacies at \(p_i\) of the rational map \(x_{i,+}^{\mu _{i,+}}/x_{i,}^{\mu _{i,}}:U_i \rightarrow \mathbb {CP}^{1}\). We denote by \(E_{i,1},\ldots ,E_{i,r_{i}1},E_{i,r_{i}}=A(p_{i})\) the corresponding exceptional divisors.
Theorem 5.1
([8, Theorem 3.3]) Every \(\mathbb {Z}\)acyclic fake plane S of Kodaira dimension 1 is isomorphic to a surface constructed by the above procedure.
We do not know whether any of these surfaces is \(\mathbb {R}\)biregularly birationally equivalent to \(\mathbb {C}^{2}\).
5.2 Fake planes obtained from rational real cuspidal quartic curves
5.2.1 First construction
Let \(D\subset \mathbb {CP}^{2}\) be a real smooth rational quartic with a unique cusp \(p_{0}\) of multiplicity 3 and a unique flex q at which D and its tangent \(T_{q}\) intersect with multiplicity 4. For instance, D is the zero locus of the homogeneous polynomial \(z^{4}xy^{3}\in \mathbb {C}[x,y,z]\), the corresponding points \(p_{0}\) and q being \([1\!:\!0\!:\!0]\) and \([0\!:\!1\!:\!0]\).
Alternatively, the \(\mathbb {Z}\)acyclicity follows from Theorem 2.2 via a computation similar to that in the previous section while the fact that \(S(\mathbb {R})\approx \mathbb {R}^{2}\) can be seen more directly as follows. Since \(\tau :V\rightarrow \mathbb {CP}^{2}\) consists of the blowup of a real point, \(V(\mathbb {R})\) is a Klein bottle which we view as a circle bundle \(\theta :V(\mathbb {R})\rightarrow S^{1}\) with fibers equal to the real loci of the lines through p in \(\mathbb {CP}^{2}\). The sets \(E_{0,1}(\mathbb {R})\) and \(E_{1,0}(\mathbb {R})\) are two sections of \(\theta \) which do no intersect each other. On the other hand, \(E_{0,0}(\mathbb {R})\) is a connected closed curve which intersects \(E_{0,1}(\mathbb {R})\) and \(E_{1,0}(\mathbb {R})\) transversally in one point and at the point q with multiplicity 4. It follows that the homology classes of \(E_{0,0}(\mathbb {R})\) and \(E_{1,0}(\mathbb {R})\) in \(H_{1}(V(\mathbb {R});\mathbb {Z}_{2})\) form a basis of this group. Since \(B(\mathbb {R})\) is not empty, the long exact sequence of relative homology for the pair \((V(\mathbb {R}),B(\mathbb {R}))\) with \(\mathbb {Z}_{2}\)coefficients implies that \(S(\mathbb {R})\) is connected and \(\mathbb {Z}_{2}\)acyclic, hence diffeomorphic to \(\mathbb {R}^{2}\).
The contractibility of S follows from the general classification of such surfaces given in [4]. It can also be seen directly as follows: since it is \(\mathbb {Z}\)acyclic, it follows from the Hurewicz theorem that S is contractible if and only if it is simply connected. Since \(S{\setminus } E_{0,1}\simeq \mathbb {CP}^{2}{\setminus }(D\cup T_{q})\) is the complement of a closed submanifold of real codimension 2 in \(S, \pi _{1}(S)\) is a quotient of \(\pi _{1}(\mathbb {CP}^{2}{\setminus }(D\cup T_{q}))\). Furthermore, by virtue of [22, Lemma 2.3 (a)], we have an exact sequence \(0\rightarrow \mathbb {Z{\cdot }\langle \mu }\rangle \rightarrow \pi _{1}(\mathbb {CP}^{2}{\setminus }(D\cup T_{q}))\rightarrow \pi _{1}(\mathbb {CP}^{2}{\setminus } D)\rightarrow 0\) where \(\mathbb {Z{\cdot }\langle \mu }\rangle \) is the free abelian group generated by a meridian of the line \(T_{q}\). Since \(\pi _{1}(\mathbb {CP}^{2}{\setminus } D)\) is abelian [6, Proposition 4.3, p. 130], so is \(\pi _{1}(\mathbb {CP}^{2}{\setminus }(D\cup T_{q}))\), implying in turn that \(\pi _{1}(S)\) is abelian, hence trivial.
5.2.2 Second construction
5.3 \(\mathbb {Q}\)acyclic fake planes with real loci birationally diffeomorphic to \(\mathbb {R}^{2}\) (see also [8, Remark 3.2])
 (a’)
\(\eta =2m12\sum _{k=1}^{m}1/\nu _{k,+}>0\),
 (b’)
The matrix \(\mathscr {M}=\left( {\begin{matrix} 1 &{} 1\\ v_{} &{} \mathrm{\Delta }_{+} \end{matrix}}\right) \) belongs to \(\mathrm {GL}_{2m+1}(\mathbb {Q})\).
1) We first blowup x with exceptional divisor \(C_{0}\simeq \mathbb {CP}^{1}\). The resulting surface is isomorphic the Hirzebruch surface \(\pi _{1}:\mathbb {F}_{1}\rightarrow \mathbb {CP}^{1}\) with \(C_{0}\) as the negative section of \(\pi _{1}\), the proper transform of \(C_{1}\) is a section of \(\pi _{1}\) disjoint from \(C_{0}\), the proper transform of \(E_{0,0}\) is a real fiber of \(\pi _{1}\) while the proper transforms of the \(E_{i,0}\) and \(\overline{E}_{i,0}, i=1,\ldots ,m\), are pairs of nonreal complex conjugate fibers of \(\pi _{1}\).
2) Then for every \(i=1,\ldots ,m\), we perform a sequence of blowups of pairs of nonreal complex conjugate points, starting with the blowup of the points \(p_{i}=C_{1}\cap E_{i,0}\) and \(\overline{p}_{i}=C_{1}\cap \overline{E}_{i,0}\) in such a way that the following two conditions are satisfied: a) the inverse images of \(p_{i}\) and \(\overline{p}_{i}\) are complex conjugate chains of \(\mathbb {CP}^{1}\) each containing a unique \((1)\)curve \(A(p_{i})\) and \(A(\overline{p}_{i})\) respectively and b) the coefficients of \(A(p_{i})\) (respectively of \(A(\overline{p}_{i})\) in the total transform of \(C_{1}\) and \(E_{i,0}\) (respectively \(\overline{E}_{i,0}\)) are equal to \(\nu _{i,}\) and \(\nu _{i,+}\) respectively. We denote by \(E_{i,1},\ldots ,E_{i,r_{i}1},E_{i,r_{i}}=A(p_{i})\) and \(\overline{E}_{i,1},\ldots ,\overline{E}_{i,r_{i}1},\overline{E}_{i,r_{i}}=A(\overline{p}_{i})\) the corresponding exceptional divisors.
Proposition 5.2
Every real surface S as above is a \(\mathbb {Q}\)acyclic fake plane of Kodaira dimension \(1, \mathbb {R}\)biregularly birationally equivalent to \(\mathbb {C}^{2}\).
Proof
It remains to show that \(S(\mathbb {R})\) is birationally diffeomorphic to \(\mathbb {R}^{2}\). The real birational morphism \(\tau :V\rightarrow \mathbb {CP}^{2}\) factors through the real projective surface \(\tau ':V'\rightarrow \mathbb {CP}^{2}\) obtained from \(\mathbb {CP}^{2}\) by blowingup x with exceptional divisor \(C_{0}\) and then only performing the last sequence of blowups described in 3) above, the one starting with the blowup of a real point \(p_{0}\in E_{0,0}{\setminus }(C_{0}\cup C_{1})\) (Fig. 13). Since the induced real birational morphism \(\beta :V\rightarrow V'\) consists of blowups of pairs of nonreal complex conjugate points only, it restricts to a birational diffeomorphism between the real loci of V and \(V'\) respectively, mapping \(S(\mathbb {R})\) diffeomorphically onto the real loci of the surface \(S'=V'{\setminus } B'\), where \(B'=C_{0}\cup C_{1}\cup \bigcup _{j=0}^{r_{0}1}E_{0,j}\). A similar counting argument as in Sect. 3.2.2 shows that the surface obtained from \(V'\) by first blowingup the real point \(C_{1}\cap E_{0,0}\) with exceptional divisor C and then contracting successively the proper transforms of \(C_{0}, E_{0,0}, E_{0,1},\ldots ,E_{0,r_{0}1}\) has Picard rank 2, hence is a Hirzebruch surface \(\pi _{n}:\mathbb {F}_{n}\rightarrow \mathbb {CP}^{1}\) for some \(n\geqslant 0\), in which the proper transforms of \(C_{1}\) and C are respectively a real fiber of \(\pi _{n}\) and a real section of it, with selfintersection \(r_{0}\). The so constructed real birational map \(\theta :V'\rightarrow \mathbb {F}_{n}\) induces an isomorphism between the real loci of \(S'\) and that of \(\mathbb {F}_{n}{\setminus }(C\cup C_{1})\), and the composition \(\theta {\circ }\beta {}_{S}:S\rightarrow \mathbb {F}_{n}{\setminus }(C\cup C_{1})\simeq \mathbb {C}^{2}\) is the desired \(\mathbb {R}\)biregular birational isomorphism. \(\square \)
6 Fake planes of general type
By virtue of [21], the complement S of an irreducible rational cuspidal curve \(B\subset \mathbb {C}\mathbb {P}^{2}\) is a smooth affine surface of general type as soon as B has at least three cusps. Such a surface S is \(\mathbb {Q}\)acyclic by virtue of Theorem 2.1 (a), with \(H_{1}(S;\mathbb {Z})\simeq \mathbb {Z}_{d}\), where \(d\geqslant 3\) denotes the degree of B. If in addition B is a real curve with nonempty real locus, then Theorem 2.1 (b) implies that S is a real plane if and only if d is odd. This can be seen more directly as follows: when nonempty \(B(\mathbb {R})\) is homeomorphic to a simple closed curve in \(\mathbb {R}\mathbb {P}^{2}\), whose homotopy class is either trivial if d is even or equal to a generator of \(\pi _{1}(\mathbb {RP}^{2})\) if d is odd. So \(S(\mathbb {R})=\mathbb {RP}^{2}{\setminus } B(\mathbb {R})\) is either diffeomorphic to the disjoint union of \(\mathbb {R}^{2}\) with an open Möbius band in the first case or to \(\mathbb {R}^{2}\) in the second case.
In this section, we first present different examples of contractible fake planes constructed from arrangements of lines and rational real cuspidal quartics in \(\mathbb {CP}^{2}\) by the socalled cuttingcycle construction of tom Dieck and Petrie [5]. Then we construct an infinite family of \(\mathbb {Z}\)acyclic fake planes of general type whose real loci are all birationally diffeomorphic to \(\mathbb {R}^{2}\).
6.1 Fake planes of general type obtained from rational real cuspidal quartic curves
6.1.1 First construction
We consider again as in Sect. 5.2.2 a real smooth rational quartic \(D_{1}\subset \mathbb {CP}^{2}\) with a unique cusp \(p_{1,0}\) of multiplicity 3 and a pair of real flexes \(q_{1,1}\) and \(q_{1,2}\) at which \(D_{1}\) and its tangent \(T_{q_{i,1}}(D_{1})\) intersect with multiplicity 3. We let \(\tau _{1}:V_{1}\rightarrow \mathbb {CP}^{2}\) be the real projective surface obtained from \(\mathbb {CP}^{2}\) by first blowingup the intersection point \(p_{1}\) of \(T_{q_{1,1}}(D_{1})\) with \(D_{1}\) different from \(q_{1,1}\) with exceptional divisor \(F_{1,1}\), then blowingup the intersection point of \(F_{1,1}\) with the proper transform of \(D_{1}\) with exceptional divisor \(F_{1,2}\) and then blowingup the intersection point of \(F_{1,2}\) with the proper transform of \(D_{1}\), with exceptional divisor \(A(p_{1})\). The complement in \(V_{1}\) of \(B_{1}=D_{1}\cup T_{q_{1,1}}(D_{1})\cup F_{1,1}\cup F_{1,2}\) is a smooth \(\mathbb {Z}\)acyclic real surface \(S_{1}\) with \(S_{1}(\mathbb {R})\approx \mathbb {R}^{2}\).
6.1.2 Second construction
The same computation as in Sect. 6.1.1 shows that \(S_{2}\) is a contractible real plane.
6.1.3 Third construction
Here we start with a real rational bicuspidal quartic \(D_{3}\subset \mathbb {CP}^{2}\), with two real cusps \(p_{3,\infty }\) and \(p_{3,0}\) with respective multiplicity sequences (2, 2) and (2) such that \(D_{3}\) intersects its tangent \(T_{p_{3,0}}(D_{3})\) with multiplicity 3 at \(p_{3,0}\) and transversally at another real point \(p_3\). We let \(\tau _{3}:V_{3}\rightarrow \mathbb {CP}^{2}\) be the smooth real projective surface obtained from \(\mathbb {CP}^{2}\) by first blowingup \(p_{3}\) with exceptional divisor \(F_{3,1}\), then blowingup the intersection point of \(F_{3,1}\) with the proper transform of \(D_{3}\) with exceptional divisor \(F_{3,2}\) and then blowingup the intersection point of \(F_{3,2}\) with the proper transform of \(D_{3}\) with exceptional divisor \(A(p_{3})\). We let \(S_{3}\) be the smooth real surface obtained as the complement of \(B_{3}=D_{3}\cup T_{p_{3,0}}(D_{3})\cup F_{3,1}\cup F_{3,2}\) in \(V_{3}\).
Similar arguments as in Sect. 6.1.1 imply that \(S_{3}\) is a contractible real plane.
Proposition 6.1
The surfaces \(S_{1}, S_{2}\) and \(S_{3}\) constructed in Sects. 6.1.1, 6.1.2 and 6.1.3 are pairwise nonisomorphic contractible fake planes of general type.
Proof
Letting \(\beta _{i}:V_{i}'\rightarrow V_{i}, i=1,2,3\), be the minimal real logresolutions of the pair \((V_{i},B_{i})\) and \(B_{i}'=\beta _{i}^{1}(B_{i})\), the pairs \((V_{i}',B_{i}')\) are real minimal SNCcompletion of \(S_{i}\). Note that every irreducible component of \(B_{i}'\) has selfintersection \(\leqslant 1\) and that every \((1)\)curve in \(B_{i}'\) intersects three other irreducible components of \(B_{i}'\) (see Figs. 14, 15, 16). It follows that every birational map \(\varphi :(V''\!,B'')\rightarrow (V_{i}',B_{i}')\) from another SNCcompletion \((V''\!,B'')\) of \(S_{i}\) restricting to an isomorphism between \(V''{\setminus } B''\) and \(V_{i}'{\setminus } B_{i}'\) is a morphism. Now if \(S_{i}\) were isomorphic to \(S_{j}\) for some \(j\ne i\), then the birational map \(\varphi :(V_{j}',B_{j}')\rightarrow (V_{i}',B_{i}')\), extending an isomorphism \(S_{j}\xrightarrow {\sim \,}S_{i}\), would be an isomorphism mapping \(B_{j}'\) isomorphically onto \(B_{i}'\). In particular, the weighted dual graphs of \(B_{j}'\) and \(B_{i}'\) would be isomorphic, which is not the case. So \(S_{1}, S_{2}\) and \(S_{3}\) are pairwise nonisomorphic. It remains to show that they are all of general type. Since \(\mathbb {C}^{2}\) is the only smooth \(\mathbb {Z}\)acyclic real plane and since there is no \(\mathbb {Z}\)acyclic real plane of Kodaira dimension 0, to show that \(\kappa (S_{i})=2\), it is enough to check that \(S_{i}\) is isomorphic neither to \(\mathbb {C}^{2}\) nor to one of the surfaces described in Sect. 5.1.1. If \(S_{i}\) were isomorphic to \(\mathbb {C}^{2}\), then we would have a morphism \(\varphi :(\mathbb {CP}^{2}\!,\ell )\rightarrow (V'\!,B')\), where \(\ell \simeq \mathbb {CP}^{1}\) is a real line, restricting to an isomorphism between \(\mathbb {CP}^{2}{\setminus }\ell \) and \(S_{i}\), which is impossible as \(\ell ^{2}>0\). Now suppose that \(S_{i}\) is isomorphic to a surface obtained by the blowup procedure \(\tau '':V''\rightarrow \mathbb {CP}^{2}\) described in Sect. 5.1.1 and let \((V''\!,B'')\) be the corresponding SNCcompletion with boundary \(B''\) consisting of the proper transforms of \(C_{0},C_{1}\), and the divisors \(E_{i,j}, i=0,\ldots ,n, j=0,\dots , r_{i1}\). By construction, all irreducible components of \(B''\) have selfintersection \(\leqslant 1\) and \(B''\) contains at most three \((1)\)curves: the proper transform of \(C_{0}\) and \(E_{0,0}\), and the proper transform of \(C_{1}\) if \(n=2\), each of them intersecting at least three other irreducible components of \(B''\), except in the case where \(r_{0}=1\) . Since the birational map \(\varphi :(V''\!,B'')\rightarrow (V_{i}',B_{i}')\) induced by the isomorphism \(V''{\setminus } B''\simeq S_{i}\simeq V'{\setminus } B\) is a morphism, the structure of \(B''\) implies that \(\varphi \) is in fact an isomorphism of pairs, except possibly when \(r_{0}=1\), where it can consist of the contraction of \(E_{0,0}\) followed by an isomorphism of pairs. In both cases, we reach a contradiction by comparing the weighted dual graph of \(B_{i}'\) and the one of \(B''\) or its image by the contraction of \(E_{0,0}\) in the case where \(r_{0}=1\). So \(S_{i}\) is a fake plane of general type. \(\square \)
Question 6.2
Is the real locus of \(S_{1}, S_{2}\) and \(S_{3}\) birationally diffeomorphic to \(\mathbb {R}^{2}\)?
6.2 \(\mathbb {Z}\)acyclic fake planes of general type \(\mathbb {R}\)biregularly birationally equivalent to \(\mathbb {C}^{2}\)
Proposition 6.3
For every pair \((\mu ,\nu )\) such that \(4\nu \mu =\pm 1\), the surface \(S(\mu ,\nu )=V{\setminus } B\) is a \(\mathbb {Z}\)acyclic fake plane of general type, whose real locus is birationally diffeomorphic to \(\mathbb {R}^{2}\).
Proof
Example 6.4
In the simplest case \((\mu ,\nu )=(3,1)\), the dual graph of the total transform of \(\widetilde{L}_{1}\cup \widetilde{B}\cup \widetilde{A}(p)\) in the minimal logresolution \(\widetilde{\beta }:\widetilde{V}'\rightarrow \widetilde{V}\) of the pair \(\bigl (\widetilde{V},\widetilde{B}=\widetilde{D}\cup \widetilde{T}\cup \widetilde{L}\cup \widetilde{E}_{1}\cup \widetilde{E}_{2}\bigr )\) is depicted on the right hand side of Fig. 20, where \(E_{p_{\infty },1}\) and \(E_{p_{\infty },2}\) denote the two exceptional divisors of \(\widetilde{\beta }\) over \(p_{\infty }\). Let \(\gamma :\widetilde{V}'\rightarrow \widetilde{V}''\) be the real birational map consisting of the blowup of the real point \(E_{p_{\infty ,1}}\cap E_{p_{\infty },2}\) with exceptional divisor C, followed by the contraction of \(\widetilde{L}\) and \(\widetilde{D}\). The total image \(\widetilde{B}''=E_{p_{\infty },2}\cup C\cup E_{p_{\infty },1}\cup \widetilde{T}\cup \widetilde{E}_{1}\cup \widetilde{E}_{2}\) of \(\widetilde{B}'\) by \(\gamma \) is a chain of rational curves with selfintersections \((0,1,3,2,2,2)\). The complete linear system \(E_{p_{\infty ,2}}\) on \(\widetilde{V}''\) defines a real \(\mathbb {P}^{1}\)fibration \(\overline{\rho }:\widetilde{V}''\rightarrow \mathbb {CP}^{1}\) having C has a section and \(E_{p_{\infty ,1}}+3\widetilde{T}+3\widetilde{L}_{1}+2\widetilde{E}_{1}+\widetilde{E}_{2}\) as a unique degenerate fiber. The restriction of \(\overline{\rho }\) to \(\widetilde{S}\simeq \widetilde{V}''{\setminus }\widetilde{B}''\) is a real \(\mathbb {A}^{1}\)fibration \(\widetilde{\rho }:\widetilde{S}\rightarrow \mathbb {C}\) having \(\widetilde{L}_{1}\cap \widetilde{S}\simeq \mathbb {C}\) has unique degenerate fiber, of multiplicity 3.
References
 1.Bertin, J.: Pinceaux de droites et automorphismes des surfaces affines. J. Reine Angew. Math. 341, 32–53 (1983)zbMATHMathSciNetGoogle Scholar
 2.Blanc, J., Dubouloz, A.: Automorphisms of \(\mathbb{A}^{1}\)fibered surfaces. Trans. Amer. Math. Soc. 363(11), 5887–5924 (2011)zbMATHMathSciNetCrossRefGoogle Scholar
 3.Borel, A., Haefliger, A.: La classe d’homologie fondamentale d’un espace analytique. Bull. Soc. Math. France 89, 461–513 (1961)zbMATHMathSciNetGoogle Scholar
 4.tom Dieck, T., Petrie, T.: Contractible affine surfaces of Kodaira dimension one. Japan J. Math. 16(1), 147–169 (1990)Google Scholar
 5.tom Dieck, T., Petrie, T.: Homology planes and algebraic curves. Osaka J. Math. 30(4), 855–886 (1993)zbMATHMathSciNetGoogle Scholar
 6.Dimca, A.: Singularities and Topology of Hypersurfaces. Universitext. Springer, New York (1992)CrossRefGoogle Scholar
 7.Dubouloz, A.: Completions of normal affine surfaces with a trivial MakarLimanov invariant. Michigan Math. J. 52(2), 289–308 (2004)zbMATHMathSciNetCrossRefGoogle Scholar
 8.Dubouloz, A., Mangolte, F.: Fake real planes: exotic affine algebraic models of \({\mathbb{R}}^{2}\) (2015). arXiv:1507.01574
 9.Fujita, T.: On the topology of noncomplete algebraic surfaces. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 29(3), 503–566 (1982)zbMATHMathSciNetGoogle Scholar
 10.Gizatullin, M.H.: Quasihomogeneous affine surfaces. Math. USSRIzv. 5(5), 1057–1081 (1971)CrossRefGoogle Scholar
 11.Gurjar, R.V., Miyanishi, M.: Affine surfaces with \(\overline{\kappa }\leqslant 1\). In: Baily, W.L., Shioda, T. (eds.) Algebraic Geometry and Commutative Algebra, I, pp. 99–124. Kinokuniya, Tokyo (1987)Google Scholar
 12.Gurjar, R.V., Pradeep, C.R.: \(\mathbb{Q}\)homology planes are rational III. Osaka J. Math. 36(2), 259–335 (1999)zbMATHMathSciNetGoogle Scholar
 13.Gurjar, R.V., Pradeep, C.R., Shastri, A.R.: On rationality of logarithmic \(\mathbb{Q}\)homology planesII. Osaka J. Math. 34(3), 725–743 (1997)zbMATHMathSciNetGoogle Scholar
 14.Kambayashi, T.: On the absence of nontrivial separable forms of the affine plane. J. Algebra 35, 449–456 (1975)zbMATHMathSciNetCrossRefGoogle Scholar
 15.Kulikov, Vik.S., Kharlamov, V.M.: On real structures on rigid surfaces. Izv. Math. 66(1), 133–152 (2002)Google Scholar
 16.Mangolte, F.: Real rational surfaces. In: Real Algebraic Geometry. Panoramas et Synthèses (2016, to appear)Google Scholar
 17.Miyanishi, M.: Open Algebraic Surfaces. CRM Monograph Series, vol. 12. American Mathematical Society, Providence (2001)Google Scholar
 18.Miyanishi, M., Sugie, T.: Affine surfaces containing cylinderlike open sets. J. Math. Kyoto Univ. 20(1), 11–42 (1980)zbMATHMathSciNetGoogle Scholar
 19.Namba, M.: Geometry of Projective Algebraic Curves. Monographs and Textbooks in Pure and Applied Mathematics, vol. 88. Marcel Dekker, New York (1984)Google Scholar
 20.Ramanujam, C.P.: A topological characterisation of the affine plane as an algebraic variety. Ann. Math. 94(1), 69–88 (1971)zbMATHMathSciNetCrossRefGoogle Scholar
 21.Wakabayashi, I.: On the logarithmic Kodaira dimension of the complement of a curve in \(\mathbb{P}^2\). Proc. Japan Acad. Ser. A Math. Sci. 54(6), 157–162 (1978)Google Scholar
 22.Zaidenberg, M.: Exotic algebraic structures on affine spaces. St. Petersburg Math. J. 11(5), 703–760 (2000)zbMATHMathSciNetGoogle Scholar