We study families of elliptic curves of degree n+1 in $P^n$ containing a fixed set of m points. In the case m = n+3 we show that this family is birationally isomorphic to a smooth complete intersection of n-2 diagonal quadrics in $P^{n+2}$. We also describe an action of the 2-elementary abelian group $2^{n+2}$ on this family via Cremona transformations in $P^n$.
We consider families of cyclic covers of the projective line, where we fix the covering group and the local monodromies and we vary the branch points. We prove that there are precisely twenty such families that give rise to a special subvariety in the moduli space of abelian varieties. Our proof uses techniques in mixed characteristics due to Dwork and Ogus.
Very few examples of obstructed equsingular families of curves on surfaces other than the projective plane are known. Combining results from Westenberger and Hirano with an idea from math.AG/9802009 we give in the present paper series of examples of families of irreducible curves with simple singularities on surfaces in projective three-space which are not T--smooth, i.e. do not have the expected dimension, and we compare this with conditions (showing the same asymptotics) which ensure the existence of a T--smooth component.
We find classes of projective manifolds that are elliptic in the sense of Gromov and such that the affine cones over these manifolds also are elliptic off their vertices. For example, the latter holds for any generalized flag manifold of dimension at least 3 successively blown up in a finite set of points and infinitesimally near points. This also holds for any smooth projective rational surface. For the affine cones, the Gromov ellipticity is a much weaker property than the flexibility. Nonetheless, it still implies the infinite transitivity of the action of the endomorphism monoid on these c…
In this paper we prove that a smooth family of canonically polarized manifolds parametrized by a special (in the sense of Campana) quasi-projective variety is isotrivial.
We exhibit a smooth compactification of the moduli space of elliptic curves in a product of projective spaces with tangency along a subset of its toric boundary divisors. This is a Vakil--Zinger type of desingularization for maps to a product of projective spaces using ideas of elliptic singularities and logarithmic geometry, extending the recent work by Ranganathan--Santos-Parker--Wise. We use this to construct the virtual fundamental classes of the spaces of genus 1 maps to a special class of simple normal crossings pairs.
In this paper we consider smooth affine elliptic plane curves having one place at infinity. We identify them with elliptic projective plane curves having only one cusp as their singular points and meeting with the line at infinity only at the cusp. We characterize such curves by the self-intersection number of the strict transform of them via the minimal embedded resolution of their cusp. Furthermore, we prove that the self-intersection number of them is the maximum value among those of all the elliptic plane curves having only one cusp.
We show that, for any fixed weight, there is a natural system of Hodge sheaves, whose Higgs field has no poles, arising from a flat projective family of varieties parametrized by a regular complex base scheme, extending the analogous classical result for smooth projective families due to Griffiths. As an application, based on positivity of direct image sheaves, we establish a criterion for base spaces of rational Gorenstein families to be of general type. A key component of our arguments is centered around the construction of derived categorical objects generalizing relative logarithmic forms …
The purpose of the present paper is to explain the fake projective plane constructed by J.H. Keum from the point of view of arithmetic ball quotients. Beside the ball quotient associated with the fake projective plane, we also analize two further naturally related ball quotients whose minimal desingularizations lead to two elliptic surfaces, one already considered by J.H. Keum as well as the one constructed by M.N. Ishida in terms of p-adic uniformization.
We study non-isotrivial projective families of elliptic surfaces of Kodaira dimension one, over complex projective curves. If the base is an elliptic curve, we show that the family must have a singular fibre, and that over the projective line it must have at least three singular fibres. Similar results, for families of surfaces of general type, have been obtained by Migliorini and Kovács, and they are well-known for projective families of surfaces of Kodaira dimension zero. Revised version: We corrected some minor errors and ambiguities, and we completed the list of references.
Let $\mathscr{X}\to W$ be a flat family of generically irreducible hypersurfaces of degree $d\geq 2$ in $\PP^n$ with singular locus of dimension $t$, with $W$ unirational of dimension $r$. We prove that if $n$ is large enough with respect to $d$, $r$ and $t$, then $\mathscr{X}$ is unirational. This extends results in \cite {Pre, HMP}.
In math.AG/0108089, math.AG/0212090 and math.AG/0308247 we gave numerical conditions which ensure that an equisingular family is irreducible respectively T-smooth. Combining results by Greuel, Lossen and Shustin and an idea from math.AG/9802009 we give in the present paper series of examples of families of irreducible curves on surfaces in projective three-space with only ordinary multiple points which are reducible and where at least one component does not have the expected dimension. The examples show that for families of curves with ordinary multiple points the conditions for T-smoothness i…
We study geometric properties of certain obstructed equisingular families of projective hypersurfaces with emphasis on smoothness, reducibility, being reduced, and having expected dimension. In the case of minimal obstructness, we give a detailed description of such families corresponding to quasihomogeneous singularities. Next we study the behavior of these properties with respect to stable equivalence of singularities. We show that under certain conditions, stabilization of singularities ensures the existence of a reduced component of expected dimension. For minimally obstructed families the…
We extend results of Chang and Ran regarding large dimensional families of immersed curves of positive genus in projective space in two directions. In one direction, we prove a sharp bound for the dimension of a complete family of smooth rational curves immersed into projective space, completing the picture in projective space. In another direction, we isolate the necessary positivity condition on the tangent bundle of projective space used to run the argument, which allows us to rule out large dimensional families of immersed curves of positive genus in generalized flag varieties.
We present a new family of monads whose cohomology is a stable rank two vector bundle on $\PP$. We also study the irreducibility and smoothness together with a geometrical description of some of these families. Such facts are used to prove that the moduli space of stable rank two vector bundles of zero first Chern class and second Chern class equal to 5 has exactly three irreducible components.
Let Y be a projective non-singular curve of genus g, X a projective manifold, both defined over the field of complex numbers, and let f:X ---> Y be a surjective morphism with general fibre F. If the Kodaira dimension of X is non-negative, and if Y is the projective line we show that f has at least 3 singular fibres. In general, for non-isotrivial morphisms f, one expects that the number of singular fibres is at least 3, if g=0, or at least 1, if g=1. Using the strong additivity of the Kodaira dimension, this is verified, if either F is of general type, or if F has a minimal model with a semi-a…
So far only a few families of smooth irregular surfaces are known to exist in P^4 up to pullbacks by suitable finite morphisms from P^4 onto P^4 itself. In this paper we present two different constructions of irregular smooth minimal elliptic surfaces of degree 12 in P^4. The first is a monad construction while the other uses liaison. The family constructed via liaison includes the surfaces of the first family as a special case.
Let N a compact complex submanifold of a compact complex manifold M. We say N splits in M, if the holomorphic tangent bundle sequence splits holomorphically. By a result of Mok a splitting submanifold of a Kaehler Einstein manifold with a projective structure is totally geodesic. The classification of all splitting submanifolds of families of fake elliptic curves given here completes the case of threefolds M with a projective structure by a previous result of the authors.
We determine all genus 2 curves, defined over $\mathbb C$, which have simultaneously degree 2 and 3 elliptic subcovers. The locus of such curves has three irreducible 1-dimensional genus zero components in $\mathcal M_2$. For each component we find a rational parametrization and construct the equation of the corresponding genus 2 curve and its elliptic subcovers in terms of the parameterization. Such families of genus 2 curves are determined for the first time. Furthermore, we prove that there are only finitely many genus 2 curves (up to $\mathbb C$-isomorphism) defined over $\mathbb Q$, which…
We study extremality properties of covering families of rational curves on projective varieties. Among others, we show that on a normal and Q-factorial projective variety of dimension at most 4, every covering and quasi-unsplit family of rational curves generates a geometric extremal ray of the Mori cone.
In this note, we give two applications of \cite[Theorem 3.1]{Hwang}. We first study the free family $\mathcal{K}$ of hyperplane sections of the smooth hypersurface $X\subset\mathbb{P}^{n+1}$ of degree $d\ge 3$. We prove that $X$ is determined by the free family $\mathcal{K}$ if $\dim(X)\ge 4$. As an application, we deduce that for $n\ge 4$, the hyperplane section of $X$ varies maximally in the moduli space of the smooth hypersurface of degree $d\ge 3$ in $\mathbb{P}^n$. We then study the free family of hyperplane sections of the smooth projective surface $X$ with Kodaira dimension $κ(X)\ge 0$.…
We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also study the isotriviality over simply connected projective smooth varieties.
This paper deals with a study of the rational elliptic surfaces whose $J$-invariant functions are of degree one. Almost all of these elliptic surfaces have four singular fibers, while the remaining surfaces have only three singular fibers. The moduli space of these elliptic surfaces is canonically isomorphic to the projective line by taking the $J$-values for a certain fixed type of singular fibers. Over the moduli space, we discuss our elliptic surfaces, and investigate how their sections are described by the parameter of the moduli space. By using a covering space of the moduli, we construct…
We study genus 2 covers of relative elliptic curves over an arbitrary base in which 2 is invertible. Particular emphasis lies on the case that the covering degree is 2. We show that the data in the "basic construction" of genus 2 covers of relative elliptic curves determine the cover in a unique way (up to isomorphism). A classical theorem says that a genus 2 cover of an elliptic curve of degree 2 over a field of characteristic different from 2 is birational to a product of two elliptic curves over the projective line. We formulate and prove a generalization of this theorem for the relative si…
In this survey, we report on progress concerning families of projective curves with fixed number and fixed (topological or analytic) types of singularities. We are, in particular, interested in numerical, universal and asymptotically proper sufficient conditions to guarantee the nonemptyness, T-smoothness and irreducibility of the variety of all projective curves with prescribed singularities in a fixed linear system. We also discuss the analogous problem for hypersurfaces of arbitrary dimension with isolated singularities, and we close with a section on open problems and conjectures.
Let X,Y be projective schemes over a discrete valuation ring R, where Y is generically smooth and g:X \to Y a surjective R-morphism such that g_*\mathcal{O}_X = \mathcal{O}_Y. We show that if the family X \to Spec(R) is isotrivial, then the generic fiber of the family Y \to Spec(R) is isotrivial.
Geometric variations of local systems are families of variations of Hodge structure; they typically correspond to fibrations of Kähler manifolds for which each fibre itself is fibred by codimension one Kähler manifolds. In this article, we introduce the formalism of geometric variations of local systems and then specialize the theory to study families of elliptic surfaces. We interpret a construction of twisted elliptic surface families used by Besser-Livné in terms of the middle convolution functor, and use explicit methods to calculate the variations of Hodge structure underlying the univers…
We study wall crossings in Bridgeland stability for the Hilbert scheme of elliptic quartic curves in three dimensional projective space. We provide a geometric description of each of the moduli spaces we encounter, including when the second component of this Hilbert scheme appears. Along the way, we prove that the principal component of this Hilbert scheme is a double blow up with smooth centers of a Grassmannian, exhibiting a completely different proof of this known result by Avritzer and Vainsencher. This description allows us to compute the cone of effective divisors of this component.
This paper is a follow up of arXiv:1702.02255 [math.NT]. We construct explicitly versal families of elliptic curves with rational points of order 4, 6, 8, 10, 12 respectively.
Classification theory and the study of projective varieties which are covered by rational curves of minimal degrees naturally leads to the study of families of singular rational curves. Since families of arbitrarily singular curves are hard to handle, it has been shown in a previous paper that there exists a partial resolution of singularities which transforms a bundle of possibly badly singular curves into a bundle of nodal and cuspidal plane cubics. In cases which are of interest for classification theory, the total spaces of these bundles will clearly be projective. It is, however, generall…
We review nonabelian Poisson structures on affine and projective spaces over $\mathbb{C}$. We also construct a class of examples of nonabelian Poisson structures on $\mathbb{C} P^{n-1}$ for $n>2$. These nonabelian Poisson structures depend on a modular parameter $τ\in\mathbb{C}$ and an additional descrete parameter $k\in\mathbb{Z}$, where $1\leq k<n$ and $k,n$ are coprime. The abelianization of these Poisson structures can be lifted to the quadratic elliptic Poisson algebras $q_{n,k}(τ)$.
For smooth families with maximal variation, whose general fibers have semi-ample canonical bundle, the generalized Viehweg hyperbolicity conjecture states that the base spaces of such families are of log general type. This deep conjecture was recently proved by Popa-Schnell using the theory of Hodge modules and a theorem by Campana-Păun. In this paper we prove that those base spaces are pseudo Kobayashi hyperbolic, as predicted by the Lang conjecture: any complex quasi-projective manifold is pseudo Kobayashi hyperbolic if it is of log general type. As a consequence, we prove the Brody hyperbol…
In this paper, we extend the ideas of Feng [F1], Feng-Xiong [FX] and Faulkner-James [FJ] to calculate the Selmer groups of elliptic curves $ y^{2} = x (x + \varepsilon p D) (x + εq D). $
In this paper, we calculate the $ ϕ(\hatϕ)-$Selmer groups $ S^{(ϕ)} (E / \Q) $ and $ S^{(\hatφ)} (E^{\prime} / \Q) $ of elliptic curves $ y^{2} = x (x + εp D) (x + εq D) $ via descent theory (see [S, Chapter X]), in particular, we obtain that the Selmer groups of several families of such elliptic curves can be arbitrary large.
We show that the canonical-lift construction for ordinary elliptic curves over perfect fields of characteristic $p>0$ extends uniquely to arbitrary families of ordinary elliptic curves, even over $p$-adic formal schemes. In particular, the universal ordinary elliptic curve has a canonical lift. The existence statement is largely a formal consequence of the universal property of Witt vectors applied to the moduli space of ordinary elliptic curves, at least with enough level structure. As an application, we show how this point of view allows for more formal proofs of recent results of Finotti an…
In this paper we prove that every quasi-projective base space $V$ of smooth family of minimal projective manifolds with maximal variation is pseudo Kobayashi hyperbolic, i.e. $V$ is Kobayashi hyperbolic modulo a proper subvariety $Z\subsetneq V$. In particular, $V$ is algebraically degenerate, that is, every nonconstant entire curve $f:\mathbb{C}\to V$ has image $f(\mathbb{C})$ which lies in that proper subvariety $Z\subsetneq V$. As a direct consequence, we prove the Brody hyperbolicity of moduli spaces of minimal projective manifolds, which answers a question by Viehweg-Zuo in 2003.
We prove results on the Mordell--Weil rank of elliptic curves $y^2=x(x-αa^2)(x-βb^2)$ parametrized by binary quadratic forms $αa^2+βb^2=γc^2$. We express our explicit lower bounds over number fields and offer a detailed description of the corresponding Mordell-Weil group structure in the function field case.
Let $B$ be a smooth projective surface, and $\mathcal{L}$ an ample line bundle on $B$. The aim of this parer is to study the families of elliptic Calabi--Yau threefolds sitting in the bundle $\mathbb{P}(\mathcal{L}^a \oplus \mathcal{L}^b \oplus \mathcal{O}_B)$ as anticanonical divisors. We will show that the number of such families is finite.
Constructing families of abelian varieties of $\text{GL}_2$-type over $4$-punctured complex projective line via $p$-adic Hodge theory and Langlands correspondence and application to algebraic solutions of Painleve VI equation
We consider elliptic curves whose coefficients are degree 2 polynomials in a variable t. We prove that for infinitely many values of t the resulting elliptic curve has rank at least 1. All such curves together form an algebraic surface which is birational to a conic bundle with 7 singular fibers. The main step of the proof is to show that such conic bundles are unirational. V.2: Main theorem is corrected for small finite fields.
We give a criterion for a projective surface to become a quotient of a fake projective plane. We also give a detailed information on the elliptic fibration of a $(2,3)$-elliptic surface that is the minimal resolution of a quotient of a fake projective plane. As a consequence, we give a classification of ${\mathbb Q}$-homology projective planes with cusps only.