Here we introduce the concept of special effect curve which permits to study, from a different point of view, special linear systems in P^2, i.e. linear system with general multiple base points whose effective dimension is strictly greater than the expected one. In particular we study two different kinds of special effect: the α-special effect is defined by requiring some numerical conditions, while the definition of h^1-special effect concerns cohomology groups. We state two new conjectures for the characterization of special linear systems and we prove they are equivalent to the Segre and the Harbourne-Hirschowitz ones.
For a very general product $A$ of seven or more elliptic curves, every rational curve on the Kummer variety of $A$ projects trivially onto the Kummer variety of at least one of its factors. As a consequence, a very general member of certain families of abelian varieties parametrized by connected Shimura varieties of unitary type has the property that its Kummer variety has no rational curves.
We prove an hyperbolic analogue of the Bloch-Ochiai theorem about the Zariski closure of holomorphic curves in abelian varieties. We consider the case of non compact Shimura varieties completing the proof of the result for all Shimura varieties. The statement analysed was first formulated and proven by Ullmo and Yafaev for compact Shimura varieties.
Inspired by a theorem of Gruson-Lazarsfeld-Peskine bounding the Castelnuovo-Mumford regularity of curves in projective spaces, we bound the Theta-regularity of curves in polarized abelian varieties.
In this paper, we obtain a complete classification of smooth toric Fano varieties equipped with extremal contractions which contract divisors to curves for any dimension. As an application, we obtain a complete classification of smooth projective toric varieties which can be equivariantly blown-up to Fano along curves.
The aim of these notes is to give a introduction to the ideas and techniques of handling rational curves on varieties. The main emphasis is on varieties with many rational curves which are the higher dimensional analogs of rational curves and surfaces. The first six sections closely follow the lectures of J. Kollár given at the summer school ``Higher dimensional varieties and rational points''. The notes were written up by C. Araujo and substantially edited later. Revised version with 2 new sections.
We show that the linear syzygy spaces of elliptic normal curves, their secant varieties and of bielliptic canonical curves are spanned by geometric syzygies.
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.
We investigate families of minimal rational curves on Schubert varieties, their Bott-Samelson desingularizations, and their generalizations constructed by Nicolas Perrin in the minuscule case. In particular, we describe the minimal families on small resolutions of minuscule Schubert varieties.
We investigate the problem of counting tropical genus g curves in g-dimensional tropical abelian varieties. For g = 2, 3, we prove that the tropical count matches the count provided by Göttsche, Bryan-Leung, and Lange-Sernesi in the complex setting.
In this paper we give a simple Torelli type theorem for curves of genus 6 and 8 by showing that these curves can be reconstructed from their Brill-Noether varieties. Among other results, it is shown that the focal variety of a general, canonical and nonhyperelliptic curve of genus 6 is a hypersurface.
Following work by Ullmo and Yafaev, we propose and prove an analogue of the Bloch-Ochiai theorem in the context of mixed Shimura varieties. We follow the strategy and use results of previous articles by Ullmo and Yafaev and the author plus consequences of the Ax-Lindemann-Weierstrass theorem for mixed Shimura varieties due to Gao.
We prove that the integral Hodge conjecture holds for 1-cycles on irreducible holomorphic symplectic varieties of K3 type and of Generalized Kummer type. As an application, we give a new proof of the integral Hodge conjecture for cubic fourfolds.
In this paper we study varieties covered by rational or elliptic curves. First, we show that images of Calabi-Yau or irreducible symplectic varieties under rational maps are almost always rationally connected. Second, we investigate elliptically connected and elliptically chain connected varieties, and varieties swept out by a family of elliptic curves. Among other things, we show that Calabi-Yau or hyperkähler manifolds which are covered by a family of elliptic curves contain uniruled divisors and that elliptically chain connected varieties of dimension at least two contain a rational curve, …
We study various generalisations of rationally connected varieties, allowing the connecting curves to be of higher genus. The main focus will be on free curves $f:C\to X$ with large unobstructed deformation space as originally defined by Kollár, but we also give definitions and basic properties of varieties $X$ covered by a family of curves of a fixed genus $g$ so that through any two general points of $X$ there passes the image of a curve in the family. We prove that the existence of a free curve of genus $g \geq 1$ implies the variety is rationally connected in characteristic zero and initia…
This work is a PhD thesis. First we provide some general context on wonderful varieties and moduli spaces of rational curves. Working over complex numbers we prove that the moduli space of rational curves with no marked points on the wonderful compactification of a symmetric space is not irreducible in general. Lastly we show that in the case of wonderful group compactifications the set of rational curves with no marked points and irreducible source is irreducible.
Given a principally polarized abelian variety $(A,Θ)$, we give a characterization of all elliptic curves that lie on $A$ in terms of intersection numbers of divisor classes in its Néron-Severi group.
We prove that certain Severi varieties of nodal curves of positive genus on general blow-ups of the twofold symmetric product of a general elliptic curve are non-empty and smooth of the expected dimension. This result, besides its intrinsic value, is an important preliminary step for the proof of nonemptiness of Severi varieties on general Enriques surfaces in arXiv:2109.10735.
We prove the generic injectivity of the Prym map, sending a double covering of an elliptic curve ramified at r>4 points to its polarized Prym variety. For r=6 the map is birational.
In this paper we discuss the geometry of affine Deligne Lusztig varieties with very special level structure, determining their dimension and connected and irreducible components. As application, we prove the Grothendieck conjecture for Shimura varieties with very special level at $p$ and a function field analogue.
We prove a sharp relative Clifford inequality for relatively special divisors on varieties fibered by curves. It generalizes the classical Clifford inequality about a single curve to a family of curves. It yields a geographical inequality for varieties of general type and Albanese-fibered by curves, extending the work of Horikawa, Persson, and Xiao in dimension two to arbitrary dimensions. We also apply it to deduce a slope inequality for some arbitrary dimensional families of curves. It sheds light on the existence of a most general Cornalba-Harris-Xiao type inequality for families of curves.…
We introduce a method to construct special holomorphic tensors on orthogonal modular varieties from scalar-valued modular forms, and give applications to the Lang conjecture on the birational type of subvarieties of orthogonal modular varieties.
We prove the Integral Hodge Conjecture for curve classes on smooth varieties of dimension at least three with nef anticanonical divisor constructed as a complete intersection of ample hypersurfaces in a smooth toric variety. In particular, this includes the case of smooth anticanonical hypersurfaces in toric Fano varieties. In fact, using results of Casagrande and the toric MMP, we prove that in each case, $H_2(X,\mathbb{Z})$ is generated by classes of rational curves.
Let $X$ be a projective variety and let $C$ be a rational normal curve on $X$. We compute the normal bundle of $C$ in a general complete intersection of hypersurfaces of sufficiently large degree in $X$. As a result, we establish the separable rational connectedness of a large class of varieties, including general Fano complete intersections of hypersurfaces of degree at least three in flag varieties, in arbitrary characteristic. In addition, we give a new way of computing the normal bundle of certain rational curves in products of varieties in terms of their restricted tangent bundles and nor…
We classify the cones of curves of Fano varieties of dimension greater or equal than five and (pseudo)index dim X -3, describing the number and type of their extremal rays.
We study families of rational curves on certain irreducible holomorphic symplectic varieties. In particular, we prove that any ample linear system on a projective holomorphic symplectic variety of K3[n]-type contains a uniruled divisor. As an application we provide a generalization of the Beauville-Voisin result on the Chow group of 0-cycles on such varieties.
We consider linear systems on toric varieties of any dimension, with invariant base points, giving a characterization of special linear systems. We then make a new conjecture for linear systems on rational surfaces.
Given a smooth and projective curve C and a smooth and projective toric variety X, we first describe a compactification of the space of morphisms from C to X representing a fixed homology class, and after we study the intersection theory on this variety.
We study for rationally connected varieties $X$ the group of degree 2 integral homology classes on $X$ modulo those which are algebraic. We show that the Tate conjecture for divisor classes on surfaces defined over finite fields implies that this group is trivial for any rationally connected variety.
Our fundamental result is the construction of new subvarieties in the varieties of power sums for the Scorza quartic of any general pairs of trigonal curves and non-effective theta characteristics. This is a generalization of Mukai's description of smooth prime Fano threefolds of genus twelve as the varieties of power sums for plane quartics. Among other applications, we give an affirmative answer to the conjecture of Dolgachev and Kanev on the existence of the Scorza quartic for any general pairs of curves and non-effective theta characteristics.
In this paper, we study principally polarized abelian varieties $X$ of dimension $g$ that contain a curve $ν:C\to X$ such that the class of $C$ is $m$ times the minimal class. Welters introduced the formalism of stable pairs to handle this problem in the case $m=2$. We generalize the results of Welters and construct families of principally polarized abelian varieties for any $m$ and compute the dimension of the locus of these abelian varieties.
For a given complex projective variety, the existence of entire curves is strongly constrained by the positivity properties of the cotangent bundle. The Green-Griffiths-Lang conjecture stipulates that entire curves drawn on a variety of general type should all be contained in a proper algebraic subvariety. We present here new results on the existence of differential equations that strongly restrain the locus of entire curves in the general context of foliated or directed varieties, under appropriate positivity conditions.
The aim of the paper is twofold. First, some results of Shiota and Plaza-Martin on Prym varieties of curves with an involution are generalized to the general case of an arbitrary automorphism of prime order. Second, the equations defining the moduli space of curves with an automorphism of prime order as a subscheme of the Sato Grassmannian are given.
Using degeneration techniques, we prove the correspondence of tropical curve counts and log Gromov-Witten invariants with general incidence and psi-class conditions in toric varieties for genus zero curves and all non-superabundant higher-genus situations. We also relate the log invariants to the ordinary ones, in particular explaining the appearance of negative multiplicities in the descendant correspondence result of Mark Gross.
We study the geometry of a class of $n$-dimensional smooth projective varieties constructed by Schreieder for their noteworthy Hodge-theoretic properties. In particular, we realize Schreieder's surfaces as elliptic modular surfaces and Schreieder's threefolds as one-dimensional families of Picard rank $19$ $K3$ surfaces.
Let $X$ be a projective variety with log terminal singularities and vanishing augmented irregularity. In this paper we prove that if $X$ admits a relatively minimal genus one fibration then it does contain a subvariety of codimension one covered by rational curves contracted by the fibration. We then focus on the case of varieties with numerically trivial canonical bundle and we discuss several consequences of this result.
This survey article discusses some results on the structure of families f:V-->U of n-dimensional manifolds over quasi-projective curves U, with semistable reduction over a compactification Y of U. We improve the Arakelov inequality for the direct images of powers of the dualizing sheaf. For families of Abelian varieties we recall the characterization of Shimura curves by Arakelov equalities. For families of curves we recall the characterization of Teichmueller curves in terms of the existence of certain sub variation of Hodge structures. We sketch the proof that the moduli scheme of curves of …
We show that the moduli space of elliptic curves of minimal degree in a general Fano variety of lines of a cubic fourfold is a non-singular curve of genus $631$. The curve admits a natural involution with connected quotient. We find that the general Fano contains precisely $3780$ elliptic curves of minimal degree with fixed (general) $j$-invariant. More generally, we express (modulo a transversality result) the enumerative count of elliptic curves of minimal degree in hyper-Kähler varieties with fixed $j$-invariant in terms of Gromov--Witten invariants. In $K3[2]$-type this leads to explicit f…
The aim of this paper is to provide another perspective on secant varieties on algebraic curves by reformulating the problem in terms of refined de Jonquières divisors, that is divisors on the curve with prescribed multiplicities and dimensions of their spaces of global sections. We are able to both recover some already known results and to obtain some new statements concerning the dimension theory of secant varieties. We do this via the study of the dimension theory of refined de Jonquières divisors in some relevant cases and degeneration arguments.
We prove that any ample class on a primitive symplectic variety that is locally trivial deformation of O'Grady's singular 6 dimensional example is proportional to the first Chern class of a uniruled divisor. This result answers a question of Lehn, Mongardi and Pacienza, extending their result for primitive symplectic varieties of this deformation type.
Let $\mbox{IG}(k,2n+1)$ be the odd symplectic Grassmannian. It is a quasi-ho\-mo\-ge\-neous space with homogeneous-like behavior. A very limited description of curve neighborhoods of Schubert varieties in $\mbox{IG}(k,2n+1)$ was used by Mihalcea and the second named author to prove an (equivariant) quantum Chevalley rule. In this paper we give a full description of the irreducible components of curve neighborhoods in terms of the Hecke product of (appropriate) Weyl group elements, $k$-strict partitions, and BC-partitions. The latter set of partitions respect the Bruhat order with inclusions. O…
We compute the rational cohomology groups of the smooth Brill-Noether varieties $G^r_d(C)$, parametrizing linear series of degree $d$ and dimension exactly $r$ on a general curve $C$. As an application, we determine the whole intersection cohomology of the singular Brill-Noether loci $W^r_d(C)$, parametrizing complete linear series on $C$ of degree $d$ and dimension at least $r$.
We relate the geometry of curves to the notion of hyperbolicity in real algebraic geometry. A hyperbolic variety is a real algebraic variety that (in particular) admits a real fibered morphism to a projective space whose dimension is equal to the dimension of the variety. We study hyperbolic varieties with a special interest in the case of hypersurfaces that admit a real algebraic ruling. The central part of the paper is concerned with secant varieties of real algebraic curves where the real locus has the maximal number of connected components, which is determined by the genus of the curve. Fo…
In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of genus $g$ is greater than $2g+2k+p$ for nonnegative integers $k$ and $p$, then the $k$-th secant variety of the curve has normal Du Bois singularities, is arithmetically Cohen--Macaulay, and satisfie…
We prove that the Jacobian of a general curve C of genus g=2a+1, with g>4, can be realized as a Prym-Tyurin variety for the Brill-Noether curve W^1_{a+2}(C). As a consequence of this result we are able to compute the class of the sum of the secant divisors for the curve C, embedded with a complete linear series g^{a-1}_{3a-2}
