We show that although the fundamental group of the complement of an algebraic affine plane curve is not easy to compute, it possesses a more accessible quotient, which we call the Orevkov invariant.
In this note, we consider rational cuspidal plane curves having exactly one cusp whose complements have logarithmic Kodaira dimension two. We classify such curves with the property that the strict transforms of them via the minimal embedded resolution of the cusp have the maximal self-intersection number. We show that the curves given by the classification coincide with those constructed by Orevkov.
We generalize results by Wakabayashi and Orevkov about rational cuspidal curves on the projective plane to that on $\mathbb{Q}$-homology projective planes. It turns out that the result is exactly the same as the projective plane case under suitable assumptions. We also provide examples which demonstrate sharpness of the results. The ambient surface is singular in these examples.
This note is a supplement to the papers: R. V. Gurjar, K. Masuda, M. Miyanishi and P. Russell, Affine lines on affine surfaces and the Makar-Limanov invariant, preprint, 2005, 42p. and T. Kishimoto and H. Kojima, Affine lines on {\bf Q}-homology planes with logarithmic Kodaira dimension $-\infty$, Transform. Groups 11 (2006), no. 4 (to appear). We show the role of group actions in classification of affine lines on {\bf Q}-homology planes.
Given a family of complex affine planes, we show that it is trivial over a Zariski open subset of the base. The proof relies upon a relative version of the contraction theorem.
We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.
This paper is dedicated to the problem of infinite transitivity for algebraically generated automorphism groups of the affine plane. We provide a necessary and sufficient condition of infinite transitivity for a large family of subgroups generated by one-parameter additive groups.
Nonsingular plane curves over a finite field $\mathbb{F}_q$ of degree $q+2$ passing through all the $\mathbb{F}_q$-points of the plane admita representation by $3\times 3$ matrices over $\mathbb{F}_q$. We classify their degenerations by means of the matrix representation, and also discuss the similar problem for the affine-plane filling curves of degree $q+1$.
The Hilbert scheme of $n$ points in the affine plane contains the open subscheme parametrizing $n$ distinct points in the affine plane, and the closed subscheme parametrizing ideals of codimension $n$ supported at the origin of the affine plane. Both schemes admit Białynicki-Birula decompositions into moduli spaces of ideals with prescribed lexicographic Gröbner deformations. We show that both decompositions are stratifications in the sense that the closure of each stratum is a union of certain other strata. We show that the corresponding two partial orderings on the set of of monomial ideals …
We characterize in terms of characteristic sequences the semigroups corresponding to branches at infinity of plane affine curves $Γ$ for which there exists a polynomial automorphism mapping $Γ$ onto the axis $x=0$.
We study real rational models of the euclidean plane $\mathbb{R}^2$ up to isomorphisms and up to birational diffeomorphisms. The analogous study in the compact case, that is the classification of real rational models of the real projective plane $\mathbb{R}\mathbb{P}^2$ is well known: up to birational diffeomorphisms, there is only one model. A fake real plane is a nonsingular affine surface defined over the reals with homologically trivial complex locus and real locus diffeomorphic to $\mathbb{R}^2$ but which is not isomorphic to the real affine plane. We prove that fake planes exist by givin…
We introduce and develop a language of semigroups over the braid groups for a study of braid monodromy factorizations (bmf's) of plane algebraic curves and other related objects. As an application we give a new proof of Orevkov's theorem on realization of a bmf over a disc by algebraic curves and show that the complexity of such a realization can not be bounded in terms of the types of the factors of the bmf. Besides, we prove that the type of a bmf is distinguishing Hurwitz curves with singularities of inseparable types up to $H$-isotopy and $J$-holomorphic cuspidal curves in $\C P^2$ up to s…
The quotient of a finite-dimensional vector space by the action of a finite subgroup of automorphisms is usually a singular variety. Under appropriate assumptions, the McKay correspondence relates the geometry of nice resolutions of singularities and the representations of the group. For the Hilbert scheme of points on the affine plane, we study how different correspondences (McKay, dual McKay and multiplicative McKay) are related to each other.
In this article, we give the classification of normal del Pezzo surfaces of rank one with at most log canonical singularities containing the affine plane defined over an algebraically non-closed field of characteristic zero. As an application, we have a criterion for del Pezzo fibrations with canonical singularities whose generic fibers are not smooth to contain vertical $\mathbb{A}^2$-cylinders.
Let A^2 denote the affine plane over an algebraically closed field of arbitrary characteristic. Besides contributing several new results in the general theory of birational endomorphisms of A^2, this article describes certain classes of birational endomorphisms f defined by requiring that the missing curves or contracting curves of f are lines. The last part of the article is concerned with the monoid structure of the set of birational endomorphisms of A^2.
The cohomology of the Hilbert schemes of points on smooth projective surfaces can be approached both with vertex algebra tools and equivariant tools. Using the first tool, we study the existence and the structure of universal formulas for the Chern classes of the tangent bundle over the Hilbert scheme of points on a projective surface. The second tool leads then to nice generating formulas in the particular case of the Hilbert scheme of points on the affine plane.
We classify closed curves isomorphic to the affine line in the complement of a smooth rational projective plane conic Q. Over a field of characteristic zero, we show that up to the action of the subgroup of the Cremona group of the plane consisting of birational endomorphisms restricting to biregular auto-morphisms outside Q, there are exactly two such lines: the restriction of a smooth conic osculating Q at a rational point and the restriction of the tangent line to Q at a rational point. In contrast, we give examples illustrating the fact that over fields of positive characteristic, there ex…
We classify coherent modules on $k[x,y]$ of length at most $4$ and supported at the origin. We compare our calculation with the motivic class of the moduli stack parametrizing such modules, extracted from the Feit-Fine formula. We observe that the natural torus action on this stack has finitely many fixed points, corresponding to connected skew Ferrers diagrams.
For an affine double plane defined by an equation of the form z^2 = f, we study the divisor class group and the Brauer group. Two cases are considered. In the first case, f is a product of n linear forms in k[x,y] and X is birational to a ruled surface P^1 x C, where C is rational if n is odd and hyperelliptic if n is even. In the second case, f is the equation of an affine hyperelliptic curve. On the open set where the cover is unramified, we compute the groups of divisor classes, the Brauer groups, the relative Brauer group, as well as all of the terms in he exact sequence of Chase, Harrison…
We associate to each automorphism of the plane, a geometric construction with some properties, it is the {\it{canonical resolution}}. We study the geometry of the canonical resolution, we deduce from it an upper bound for a geometric invariant (the ample index) linked to an automorphism of the affine plane and we link the structure of the effective cone of the surface we get to values of another geometric invariant (the effective index).
Every $\mathbb{A}^{1}-$bundle over the complex affine plane punctured at the origin, is trivial in the differentiable category but there are infinitely many distinct isomorphy classes of algebraic bundles. Isomorphy types of total spaces of such algebraic bundles are considered; in particular, the complex affine 3-sphere admitts such a structure with an additional homogeneity property. Total spaces of nontrivial homogeneous $\mathbb{A}^{1}$-bundles over the punctured plane are classified up to $\mathbb{G}_{m}$-equivariant algebraic isomorphism and a criterion for nonisomorphy is given. In fact…
This article describes the geometry of isomorphisms between complements of geometrically irreducible closed curves in the affine plane $\mathbb{A}^2$, over an arbitrary field, which do not extend to an automorphism of $\mathbb{A}^2$. We show that such isomorphisms are quite exceptional. In particular, they occur only when both curves are isomorphic to open subsets of the affine line $\mathbb{A}^1$, with the same number of complement points, over any field extension of the ground field. Moreover, the isomorphism is uniquely determined by one of the curves, up to left composition with an automor…
In this article we continue from \cite{sub2-1} the study of normal analytic compactifications of $\cc^2$ from the point of view of their associated pencils of jets of curve germs centered at infinity. If $\bar X$ is a normal analytic compactification of $\cc^2$ which is {\em primitive}, i.e.\ $\bar X \setminus \cc^2$ is irreducible curve, then we show that $\bar X$ is projective iff $\bar X$ is algebraic iff at least one of the jets in the associated pencil of jets of curve-germs can be represented by a planar curve with one place at infinity. As a result we show that there are primitive norma…
Let $G$ be a finite group acting effectively on the complex affine plane. If the $G$-action commutes with an étale endomorphism $f$ of the affine plane and the order of $G$ is even then the endomorphism $f$ is an automorphism.
Due to Rentschler, Miyanishi and Kojima, the invariant ring for a ${\bf G}_a$-action on the affine plane over an arbitrary field is generated by one coordinate. In this note, we give a new short proof for this result using the automorphism theorem of Jung and van der Kulk.
This article can be seen as a sequel to the first author's article ``Chern classes of the tangent bundle on the Hilbert scheme of points on the affine plane'', where he calculates the total Chern class of the Hilbert schemes of points on the affine plane by proving a result on the existence of certain universal formulas expressing characteristic classes on the Hilbert schemes in term of Nakajima's creation operators. The purpose of this work is (at least) two-fold. First of all, we clarify the notion of ``universality'' of certain formulas about the cohomology of the Hilbert schemes by definin…
Consider a primitive polynomial $f$ in two variables, thought of as a map from the affine plane to the affine line. We study the minimimal compactification of $f$; from our result one deduces in particular that if one of the fibers of $f$ has only one fiber at infinity, then all the fibers of $f$ have a simultaneous resolution of singularities at infinity. From this one gets a very simple proof of the Suzuki-Abhyankar-Moh theorem on the embeddings of the affine line in the plane.
We show that the cohomology ring of Hilbert scheme of $n$-points in the affine plane is isomorphic to the coordinate ring of $\mathbb{G}_{m}$-fixed point scheme of the $n$-th symmetric product of $\mathbb{C}^{2}$ for a natural $\mathbb{G}_{m}$-action on it. This result can be seen as an analogue of a theorem of DeConcini, Procesi and Tanisaki on a description of the cohomology ring of Springer fiber of type A.
In this paper we prove the following theorem. Let $f:\mathbb{A}^2\rightarrow \mathbb{A}^2$ be a dominate polynomial endomorphisms defined over an algebraically closed field $k$ of characteristic $0$. If there are no nonconstant rational function $g:\mathbb{A}^2-rightarrow \mathbb{P}^1$ satisfying $g\circ f=g$, then there exists a point $p\in \mathbb{A}^2(k)$ whose orbit under $f$ is Zariski dense in $\mathbb{A}^2$. This result gives us a positive answer to a conjecture of Amerik, Bogomolov and Rovinsky ( and Zhang) for polynomial endomorphisms on the affine plane.
Let $G$ be a reductive group. We prove that a family of polynomial actions of $G$ on $\mathbb{C}^2$, holomorphically parametrized by an open Riemann surface, is linearizable. As an application, we show that a particular class of reductive group actions on $\mathbb{C}^3$ is linearizable. The main step of our proof is to establish a certain restrictive Oka property for groups of equivariant algebraic automorphisms of $\mathbb{C}^2$.
Let $A$ be a subvariety of affine space $\mathbb{A}^n$ whose irreducible components are $d$-dimensional linear or affine subspaces of $\mathbb{A}^n$. Denote by $D(A)\subset\mathbb{N}^n$ the set of exponents of standard monomials of $A$. We show that the combinatorial object $D(A)$ reflects the geometry of $A$ in a very direct way. More precisely, we define a $d$-plane in $\mathbb{N}^n$ as being a set $γ+\oplus_{j\in J}\mathbb{N}e_{j}$, where $#J=d$ and $γ_{j}=0$ for all $j\in J$. We call the $d$-plane thus defined to be parallel to $\oplus_{j\in J}\mathbb{N}e_{j}$. We show that the number of $…
A natural family of affine cubic surfaces arises from SL(2)-characters of the 4-holed sphere and the 1-holed torus. The ideal locus is a tritangent plane which is generic in the sense that the cubic curve at infinity consists of three lines pairwise intersecting in three double points. We show that every affine cubic surface which is smooth at infinity and whose ideal locus is a generic tritangent plane arises as a relative SL(2)-character variety of the 4-holed sphere. Every such affine cubic for which all the periodic automorphisms of the tritangent plane extend to automorphisms of the cubic…
Let $f: \mathbb{A}^2 \to \mathbb{A}^2$ be a polynomial automorphism of dynamical degree $δ\geq 2$ over a number field $K$. (This is equivalent to say that $f$ is a polynomial automorphism that is not triangularizable.) Then we construct canonical height functions defined on $\mathbb{A}^2(\bar{K})$ associated with $f$. These functions satisfy the Northcott finiteness property, and an $\bar{K}$-valued point on $\mathbb{A}^2(\bar{K})$ is $f$-periodic if and only if its height is zero. As an application of canonical height functions, we give an estimate on the number of points with bounded height …
The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space of dimension at least 3 and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of the fundamental groups of the complements to the hypersurface in the plane and in the space. If a family of hypersurfaces depends algebraically on parameters then it is not true in general that there exists a plane such that the natural embedding generates isomorphisms of the fundamental groups of the complements to each hypersurface from this family in the p…
For a closed real algebraic plane affine curve dividing its complexification and equipped with a complex orientation, the Whitney number is expressed in terms of behavior of its complexification at infinity.
Let $Γ$ be a finite subgroup of $\SL_2(\C)$. We consider $Γ$-fixed point sets in Hilbert schemes of points on the affine plane $\C^2$. The direct sum of homology groups of components has a structure of a representation of the affine Lie algebra $\ag$ corresponding to $Γ$. If we replace homology groups by equivariant $K$-homology groups, we get a representation of the quantum toroidal algebra $\Ut$. We also discuss a higher rank generalization and character formulas in terms of intersection homology groups.