Related papers: An effective criterion for algebraicity of rationa…
Let f: Y -> CP^2 be a birational morphism of non-singular (rational) surfaces. We give an effective (necessary and sufficient) criterion for algebraicity of the surfaces resulting from contraction of the union of the strict transform of a…
We present an effective criterion to determine if a normal analytic compactification of C^2 with one irreducible curve at infinity is algebraic or not. As a by product we establish a correspondence between normal algebraic compactifications…
This is a survey of some results on the structure and classification of normal analytic compactifications of C^2. Mirroring the existing literature, we especially emphasize the compactifications for which the curve at infinity is…
It is well known that an irreducible algebraic curve is rational (i.e. parametric) if and only if its genus is zero. In this paper, given a tolerance $\epsilon>0$ and an $\epsilon$-irreducible algebraic affine plane curve $\mathcal C$ of…
We classify 'primitive normal compactifications' of C^2 (i.e. normal analytic surfaces containing C^2 for which the curve at infinity is irreducible), compute the moduli space of these surfaces and their groups of auomorphisms. In…
Consider the scheme parametrizing non-constant morphisms from a fixed projective curve to a projective surface. There is a rational map between this scheme and the Chow variety of $1$-cycles on the surface. We prove that, if the curve is…
We characterize contractible curves on proper normal algebraic surfaces in terms of complementary Weil divisors. Using this we generalize the classical criteria of Castelnuovo and Artin. As application we derive a finiteness result on…
The surfaces considered are real, rational and have a unique smooth real $(-2)$-curve. Their canonical class $K$ is strictly negative on any other irreducible curve in the surface and $K^2>0$. For surfaces satisfying these assumptions, we…
We study normal analytic compactifications of C^2 and describe their singularities and configuration of curves at infinity, in particular improving and generalizing results of (Brenton, Math. Ann. 206:303--310, 1973). As a by product we…
A determination of the fixed components, base points and irregularity is made for arbitrary numerically effective divisors on any smooth projective rational surface having an effective anticanonical divisor. All of the results are proven…
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…
We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of…
We study curves of negative self-intersection on algebraic surfaces. We obtain results for smooth complex projective surfaces X on the number of reduced, irreducible curves C of negative self-intersection C^2. The only known examples of…
The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such…
We introduce in this article a new method to estimate the minimum distance of codes from algebraic surfaces. This lower bound is generic, i.e. can be applied to any surface, and turns out to be ``liftable'' under finite morphisms, paving…
We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective or embeddable into toric varieties. Our methods…
In this paper we provide, first, a general symbolic algorithm for computing the symmetries of a given rational surface, based on the classical differential invariants of surfaces, i.e. Gauss curvature and mean curvature. In practice, the…
We prove that a reduced and irreducible algebraic surface in $\mathbb{CP}^{3}$ containing infinitely many twistor lines cannot have odd degree. Then, exploiting the theory of quaternionic slice regularity and the normalization map of a…
Given a minimal surface equipped with a generically finite map to an Abelian variety, we give an optimal bound on the canonical degree of a rational or an elliptic curve. As a corollary, we obtain the finiteness of rational and elliptic…
I construct "fake algebraic curves" in $Cp^2$. More precisely, for any k>2, I construct infinitely many pairwise smoothly non-isotopic (and moreover not ambient diffeomorphic) smooth surfaces $F\subset Cp^2$ homeomorphic to a non-singular…