Related papers: Equations differentielles sur les hypersurfaces de…
Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$…
We prove that if $X$ is a complex projective K3 surface and $g>0$, then there exist infinitely many families of curves of geometric genus $g$ on $X$ with maximal, i.e., $g$-dimensional, variation in moduli. In particular every K3 surface…
We prove that every elliptic curve defined over a totally real number field of degree 4 not containing $\sqrt{5}$ is modular. To this end, we study the quartic points on four modular curves.
We present a local classification of smooth projective surfaces in 3-space via projective transformations in accordance with singularity types of central projections up to codimension 4. We also discuss relations between our classification…
Let $X$ be an algebraic variety, defined over the rationals. This paper gives upper bounds for the number of rational points on $X$, with height at most $B$, for the case in which $X$ is a curve or a surface. In the latter case one excludes…
We study various measures of irrationality for hypersurfaces of large degree in projective space and other varieties. These include the least degree of a rational covering of projective space, and the minimal gonality of a covering family…
Let $X \subset \Bbb P^r$ be a smooth algebraic curve in projective space, over an algebraically closed field of characteristic zero. For each $m \in \Bbb N$, the $m$-flexes of $X$ are defined as the points where the osculating hypersurface…
We consider the question: ``How bad can the deformation space of an object be?'' The answer seems to be: ``Unless there is some a priori reason otherwise, the deformation space may be as bad as possible.'' We show this for a number of…
Let X be a smooth cubic hypersurface. We prove that a general cubic surface is isomorphic to a hyperplane section of X .
A theorem of Wiegerinck asserts that the Bergman space of an open subset of the complex numbers is either infinite-dimensional or trivial. Recently, this has been generalized to holomorphic vector bundles over the projective line by the…
We sharpen and generalize the dimension growth bounds for the number of points of bounded height lying on an irreducible algebraic variety of degree $d$, over any global field. In particular, we focus on the affine hypersurface situation by…
We study the normal map for plane projective curves, i.e., the map associating to every regular point of the curve the normal line at the point in the dual space. We first observe that the normal map is always birational and then we use…
We prove an effective version of a theorem relating curve complex distance to electric distance in hyperbolic 3-manifolds, up to errors that are polynomial in the complexity of the underlying surface. We use this to give an effective proof…
Poonen and Gabber independently showed that any smooth geometrically irreducible projective scheme over a finite field has a smooth space filling curve, that is, a smooth curve defined over the field and passes through all points over the…
The author determines the structure of automorphism groups of smooth plane curves of degree at least four. Furthermore, he gives some upper bounds for the order of automorphism groups of smooth plane curves and classifies the cases with…
We bound the genus of a projective curve lying on a complete intersection surface in terms of its degree and the degrees of the defining equations of the surface on which it lies.
We show by finding an explicit parametrization that a 4th degree surface which arises as a necessary condition for the existence of a perfect cuboid is a rational surface, i.e. birationally equivalent over $\mathbb Q$ to a plane.
We consider the question: which elliptic curves appear as the Jacobian of a smooth curve of genus one splitting a Severi--Brauer variety? We provide three new examples. First, we show that if $E$ is any elliptic curve over an algebraically…
It was shown by A. Beauville that if the canonical map $\varphi_{|K_M|}$ of a complex smooth projective surface $M$ is generically finite, then ${\rm deg}(\varphi_{|K_M|})\leq 36$. The first example of a surface with canonical degree 36 was…
We present a novel algorithm for deciding whether a given planar curve is an image of a given spatial curve, obtained by a central or a parallel projection with unknown parameters. The motivation comes from the problem of establishing a…