Let $X$ be an irreducible projective variety of dimension $n$ in a projective space and let $x$ be a point of $X$. Denote by ${\rm Curves}_d(X,x)$ the space of curves of degree $d$ lying on $X$ and passing through $x$. We will show that the number of components of ${\rm Curves}_d(X,x)$ for any smooth point $x$ outside a subvariety of codimension $\geq 2$ is bounded by a number depending only on $n$ and $d$. An effective bound is given. A key ingredient of the proof is an argument from Ein-Küchle-Lazarsfeld's work on Seshadri numbers.
We determine set theoretic defining equations for the third secant variety of the Segre product of $n$ projective spaces, and from the proof of the main statement we derive an upper bound for the degrees of these equations.
The Hurwitz form of a variety is the discriminant that characterizes linear spaces of complementary dimension which intersect the variety in fewer than degree many points. We study computational aspects of the Hurwitz form, relate this to the dual variety and Chow form, and show why reduced degenerations are special on the Hurwitz polytope.
In this paper, we establish several results related to vanishing theorems for Mather-Jacobian multiplier ideals on a Gorenstein projective variety, including an injectivity theorem, a Nadel-type vanishing theorem, a Griffith-type vanishing theorem for vector bundles, and a vanishing theorem for the asymptotic Mather-Jacobian multiplier ideals.
Let $X$ be a smooth $n$-dimensional projective variety over an algebraically closed field $k$ such that $K_X$ is not nef. We give a characterization of non nef extremal rays of $X$ of maximal length (i.e of length $n-1$); in the case of $\ch(k) = 0$ we also characterize non nef rays of length $n-2$.
In this paper we present a way of computing the degree of the secant (resp., tangent) variety of a smooth projective surface, under the assumption that the divisor giving the embedding in the projective space is $3$-very ample. This method exploits the link between these varieties and the Hilbert scheme $0$-dimensional subschemes of length $2$ of the surface.
We study the variety of rank $\leq k$ quadrics containing a general projective curve and show that it has the expected dimension in the range $g-d+r\leq 1$. By considering the loci where this expectation is not true, we construct new divisor classes in $\overline{\mathcal{M}}_{g,n}$. We use one of these classes to show that $\overline{\mathcal{M}}_{15,9}$ is of general type.
We construct the moduli of twisted sheaves on a projective variety. Then we generalize known results on the moduli space of usual sheaves on a K3 surface to the twisted case. Thus we consider the non-emptyness, the deformation type and the Fourier-Mukai transformation. As an application of our results, Daniel Huybrechts and Paolo Stellari prove Caldararu's conjecture.
We study rational curves on general Fano hypersurfaces in projective space, mostly by degenerating the hypersurface along with its ambient projective space to reducible varieties. We prove results on existence of low-degree rational curves with balanced normal bundle, and reprove some results on irreducibility of spaces of rational curves of low degree.
In this short article, we determine the bigness of the tangent bundle $T_X$ of the projective bundle $X=\mathbb{P}_C(E)$ associated to a vector bundle $E$ on a smooth projective curve $C$.
We prove that integral projective curves with Cohen-Macaulay singularities over an algebraically closed field of characteristic zero are determined by their triangulated category of perfect complexes.This partially extends a theorem of Bondal and Orlov to the case of singular projective varieties, and in particular shows that all integral complex projective curves are determined by their category of perfect complexes
We define a quasi--projective reduction of a complex algebraic variety $X$ to be a regular map from $X$ to a quasi--projective variety that is universal with respect to regular maps from $X$ to quasi--projective varieties. A toric quasi--projective reduction is the analogous notion in the category of toric varieties. For a given toric variety $X$ we first construct a toric quasi--projective reduction. Then we show that $X$ has a quasi--projective reduction if and only if its toric quasi--projective reduction is surjective. We apply this result to characterize when the action of a subtorus on a…
We discuss two conjectures by Francesco Severi and Joe Harris about the irreducibility and the dimension of the Hilbert scheme parameterizing smooth projective curves of given degree and genus.
Let $X$ be a connected smooth complex projective variety of dimension $n \geq 1$. Let $D$ be a simple normal crossing divisor on $X$. Let $G$ be a connected complex Lie group, and $E_G$ a holomorphic principal $G$-bundle on $X$. In this article, we give criterion for existence of a logarithmic connection on $E_G$ singular along $D$.
In this note, we give an overview of a new technique for studying Brill--Noether curves in projective space via degeneration. In particular, we give a roadmap to the proof of the Maximal Rank Conjecture.
We describe a computational proof that the fifth secant variety of the Segre product of five copies of the projective line is a codimension 2 complete intersection of equations of degree 6 and 16. Our computations rely on pseudo-randomness, and numerical accuracy, so parts of our proof are only valid "with high probability".
Generalizing work done by Miyaoka and others in the case of divisors and of curves, we compute the cones of effective cycles of arbitrary dimension on a projective bundle over a complex projective curve in terms of the numerical data in an associated Harder-Narasimhan filtration. An application to cycles on projective bundles over a smooth complex projective base of arbitrary dimension is also given.
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 study complex projective plane curves with a given group of automorphisms. Let $G$ be a simple primitive subgroup of $PGL(3, \mathbb{C})$, which is isomorphic to $A_{6}$, $A_{5}$ or $PSL(2, \mathbb{F}_{7})$. We obtain a necessary and sufficient condition on $d$ for the existence of a nonsingular projective plane curve of degree $d$ invariant under $G$. We also study an analogous problem on integral curves.
In this paper we study the projective normality of certain Artin-Schreier curves $Y_f$ defined over a field $\F$ of characteristic $p$ by the equations $y^q+y=f(x)$, $q$ being a power of $p$ and $f\in \F[x]$ being a polynomial in $x$ of degree $m$, with $(m,p)=1$. Many $Y_f$ curves are singular and so, to be precise, here we study the projective normality of appropriate projective models of their normalizations.
In the projective plane PG(2,q) over a finite field of order q, a Tallini curve is a plane irreducible (algebraic) curve of (minimum) degree q+2 containing all points of PG(2,q). Such curves were investigated by G. Tallini in 1961, and by Homma and Kim in 2013. Our results concern the automorphism groups, the Weierstrass semigroups, the Hasse-Witt invariants, and quotient curves of the Tallini curves.
We prove that the formal completion of a complex projective surface along a rigid smooth curve with trivial normal bundle determines the birational equivalence class of the surface.
We determine the splitting (isomorphism) type of the normal bundle of a generic genus-0 curve with 1 or 2 components in any projective space, as well as the (sometimes nontrivial) way the bundle deforms locally with a general deformation of the curve. We deduce an enumerative formula for divisorial loci of smooth rational curves whose normal bundle is of non-generic splitting type.
In this article, we study Newton-Okounkov bodies on projective vector bundles over curves. Inspired by Wolfe's estimates used to compute the volume function on these varieties, we compute all Newton-Okounkov bodies with respect to linear flags. Moreover, we characterize semi-stable vector bundles over curves via Newton-Okounkov bodies.
Exact bounds for the positions of the branch points for cyclic coverings of the $p$-adic projective line by Mumford curves are calculated in two ways. Firstly, by using Fumiharu Kato's *-trees, and secondly by giving explicit matrix representations of the Schottky groups corresponding to the Mumford curves above the projective line through combinatorial group theory.
Let $f(\bfz,\bar\bfz)$ be a mixed polar homogeneous polynomial of $n$ variables $\bfz=(z_1,..., z_n)$. It defines a projective real algebraic variety $V:=\{[\bfz]\in \BC\BP^{n-1} | f(\bfz,\bar\bfz)=0 \}$ in the projective space $\BC\BP^{n-1}$. The behavior is different from that of the projective hypersurface. The topology is not uniquely determined by the degree of the variety even if $V$ is non-singular. We study a basic property of such a variety.
The main purpose of the note is to exclude the existence of certain submaximal curves in fake projective planes. This will lead to lower bounds on multipoint Seshadri constants of `fake' $\mathcal{O}(1)$ on fake projective planes.
A set of multi-homogeneous equations for the Jacobian of a genus two curve is given. The approach used is to write down affine equations for the Jacobian minus various tranlations of the Theta-divisor by [2]-division points, and then to write down affine glue equations for the overlaps. Taking multi-projective completions for all of these then yields a complete multi-projective two-dimensional variety whose points are in one-to-one correspondence with degree zero divisor classes on the curve (i.e. the Picard group). This multi-projective variety then becomes a complete projective two-dimension…
A criterion for the existence of a birational embedding of an algebraic curve into a projective plane with two Galois points is presented. Several novel examples of plane curves with two inner Galois points as an application are described.
Using the data schemes developed by Arrondo-Sols-Speiser, we give a rigorous definition of algebraic differential equations on the complex projective space $P^n$. For an algebraic subvariety $S \subseteq P^n$, we present an explicit formula for the degree of the divisor of solutions of a differential equation on $S$ and give some examples of applications. We extend the technique and result to the real case.
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.
The first part of this note contains a review of basic properties of the variety of lines contained in an embedded projective variety and passing through a general point. In particular we provide a detailed proof that for varieties defined by quadratic equations the base locus of the projective second fundamental form at a general point coincides, as a scheme, with the variety of lines. The second part concerns the problem of extending embedded projective manifolds, using the geometry of the variety of lines. Some applications to the case of homogeneous manifolds are included.
We prove the irredcibility (and the rational connectedness) of the moduli spaces of (free) morphisms from a projective line to a successive blowing-up of a product of projective spaces if a suitable numerical condition on morphisms is provided (and also if all centers of the blowing-up are rationally connected).
Using combinatorial methods, we determine that a projective coordinate ring of the moduli of parabolic principal $\mathrm{SL}_2$-bundles on a marked projective curve is not Gorenstein when the genus and number of marked points are greater than $1$.
We study the rigid analytic geometry of cyclic coverings of the projective line. We determine the defining equation of a cyclic covering of degree $p$ of the projective line by a Mumford curve over a complete discrete valuation field of positive characteristic $p$. Previously, Bradley studied that of any degree over a non-archimedean local field of characteristic zero.
A general problem is to classify the real forms of a complex variety up to isomorphism. This paper introduces the polar group of a real form $X$ of a complex variety $Y$ as a tool to distinguish such real forms. This group is an invariant of $X$ which encodes information about the residual divisors in the coordinate ring of $Y$ over the coordinate ring of $X$. We calculate polar groups for various curves, including the real line and the algebraic 1-sphere.
Let $X$ be a smooth projective variety defined over an algebraically closed field, and let $L$ be an ample line bundle over $X$. We prove that for any smooth hypersurface $D$ on $X$ in the complete linear system $| L^{\otimes d}|$, the inclusion map $D\hookrightarrow X$ induces an isomorphism of fundamental group schemes, provided $d$ is sufficiently large and $\dim X \geq 3$. If $\dim X = 2$, and $d$ is sufficiently large, then the induced homomorphism of fundamental group schemes remains surjective. We give an example to show that the homomorphism of fundamental group schemes induced by the …
Given an embedding of a smooth projective curve $X$ of genus $g\geq1$ into $\mathbb{P}^N$, we study the locus of linear subspaces of $\mathbb{P}^N$ of codimension 2 such that projection from said subspace, composed with the embedding, gives a Galois morphism $X\to\mathbb{P}^1$. For genus $g\geq2$ we prove that this locus is a smooth projective variety with components isomorphic to projective spaces. If $g=1$ and the embedding is given by a complete linear system, we prove that this locus is also a smooth projective variety whose positive-dimensional components are isomorphic to projective bund…
Projective structures on compact real manifolds are classical objects in real differential geometry. Complex manifolds with a holomorphic projective structure on the other hand form a special class as soon as the dimension is greater than one. In the Kähler Einstein case, projective space, tori and ball quotients are essentially the only examples. They can be described purely in terms of Chern class conditions. We give a complete classification of all projective manifolds carrying a projective structure. The only additional examples are modular abelian families over quaternionic Shimura curves…
In this article we provide another method for obtaining explicit formulas yielding counts of secant planes to a projective curve. We formulate the problem in terms of Segre classes of suitable bundles over the symmetric product of the curve and take advantage of the result of Ellingsrud, Göttsche, and Lehn concerning the structure of integrals of polynomials in Chern classes of tautological bundles over Hilbert schemes of points. We use this to set up a recursion starting from the easy to compute case of the projective line.
We give evidence for a uniformization-type conjecture, that any algebraic variety can be altered into a variety endowed with a tower of smooth fibrations of relative dimension one.
We define a moduli space of stable regular singular parabolic connections of spectral type on smooth projective curves and show the smoothness of the moduli space and give a relative symplectic structure on the moduli space. Moreover, we define the isomonodromic deformation on this moduli space and prove the geometric Painlevé property of the isomonodromic deformation.
We prove that the universal cover of a normal, projective variety X is quasi-projective if and only if a finite, étale cover of X is a fiber bundle over an Abelian variety with simply connected fiber.
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.
We give several constructions of bicuspidal rational complex projective plane curves, and list the Newton pairs and the multiplicity sequences of the singularities on the resulting curves. Although the existence of some of the listed cusp configurations is already proved in the literature, the advantage of our approach is that on one hand we explicitly state the Newton pairs and the multiplicity sequences of the singularities on the curves, on the other hand, we also give birational transformations transforming a conic or a bicuspidal curve with simple equation to these rational bicuspidal cur…
Let $X = \mathbb{P}(E_1) \times_C \mathbb{P}(E_2)$ where $C$ is a smooth curve and $E_1$, $E_2$ are vector bundles over $C$.In this paper we compute the pseudo effective cones of higher codimension cycles on $X$.
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.
The space of smooth rational curves of degree $d$ in a projective variety $X$ has compactifications by taking closures in the Hilbert scheme, the moduli space of stable sheaves or the moduli space of stable maps respectively. In this paper we compare these compactifications by explicit blow-ups and -downs when $X$ is a projective homogeneous variety and $d\leq 3$. Using the comparison result, we calculate the Betti numbers of the compactifications when $X$ is a Grassmannian variety.
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.
An almost Fano bundle is a vector bundle on a smooth projective variety that its projectivization is an almost Fano variety. In this paper, we prove that almost Fano bundles exist only on almost Fano manifolds and study rank 2 almost Fano bundles over projective spaces.
Let $C$ be a projective plane curve of degree $d$ whose singularities are all isolated. Suppose $C$ is not concurrent lines. Płoski proved that the Milnor number of an isolated singlar point of $C$ is less than or equal to $(d-1)^{2}-\lfloor \frac{d}{2} \rfloor$. In this paper, we prove that the Milnor sum of $C$ is also less than or equal to $(d-1)^{2}-\lfloor \frac{d}{2} \rfloor$ and the equality holds if and only if $C$ is a Płoski curve. Furthermore, we find a bound for the Milnor sum of projective plane curves in terms of GIT.
Let $k$ be an algebraically closed field. Let $C$ be an irreducible smooth projective curve over $k$. Let $E$ be a locally free sheaf on $C$ of rank $\geq 2$. Fix an integer $d \geq 2$. Let $\mathcal{Q}$ denote the Quot scheme parameterizing torsion quotients of $E$ of degree $d$. In this article we compute the $S$-fundamental group scheme of $\mathcal{Q}$.
In this paper, we extend our result in [3] to hypersurfaces of any smooth projective variety $Y$. Precisely we let $X_0$ be a generic hypersurface of $Y$ and $c_0:\mathbf P^1\to X_0$ be a generic birational morphism to its image, i.e. $c_0\in Hom_{bir}(\mathbf P^1, X_0)$ is generic, such that (1) $dim(X_0)\geq 3$, (2) $H^1( N_{c_0/Y})=0$. Then \begin{equation} H^1(N_{c_0/X_0})=0. \end{equation} As an application we prove that the Clemens' conjecture holds for Calabi-Yau complete intersections of dimension 3.
