We consider some conditions under which a smooth projective variety X is actually the projective space. We also extend to the case of positive characteristic some results in the theory of vector bundle adjunction. We use methods and techniques of the so called Mori theory, in particular the study of rational curves on projective manifolds.
In this note, we extend the theories of the canonical bundle formula and adjunction to the case of generalized pairs. As an application, we study a particular case of a conjecture by Prokhorov and Shokurov.
Let $E$ be an ample vector bundle of rank $r$ on a projective variety $X$ with only log-terminal singularities. We consider the nefness of adjoint divisors $K_X+(t-r)det(E)$ when $t>=dim(X)$ and $t>r$. As a corollary, we classify pairs $(X,E)$ with $c_r$-sectional genus zero.
Let $X$ be a smooth projective $n$-fold such that $q(X)=0$ and $L$ a globally generated, big line bundle on $X$ such that $h^0(K_X+(n-2)L) >0$. We give necessary and sufficient conditions for the adjoint systems $|K_X+kL|$ to be birational for $k \geq n-1$. In particular, for Calabi-Yau $n$-folds we generalize and prove parts of a conjecture of Gallego and Purnaprajna.
We study the relation between a certain graded part of the Jacobian ring of a projective hypersurface and a certain graded quotient for the Hodge filtration of its primitive cohomology, in the case that the hypersurface has at most isolated singularities. We distinguish a class of singularities for which this relation is best possible. The main examples refer to the surface case.
This paper gives an explicit formula for the Ehrhart quasi-polynomial of certain 2-dimensional polyhedra in terms of invariants of surface quotient singularities. Also, a formula for the dimension of the space of quasi-homogeneous polynomials of a given degree is derived. This admits an interpretation as a Numerical Adjunction Formula for singular curves on the weighted projective plane.
Let $X$ be a complex projective manifold, $L$ an ample line bundle on $X$, and assume that we have a $\mathbb{C}^*$ action on $(X,L)$. We classify such triples $(X,L,\mathbb{C}^*)$ for which the closure of a general orbit of the $\mathbb{C}^*$ action is of degree $\leq 3$ with respect to $L$ and, in addition, the source and the sink of the action are isolated fixed points, and the $\mathbb{C}^*$ action on the normal bundle of every fixed point component has weights $\pm 1$. We treat this situation by relating it to the classical adjunction theory. As an application, we prove that contact Fano …
Let (X,L) be a quasi polarized pairs, i.e. X is a normal complex projective variety and L is a nef and big line bundle on it. We study, up to birational equivalence, the positivity (nefness) of the adjoint bundles K_X + rL for high rational number r. For this we run a Minimal Model Program with scaling relative to the divisor K_X +rL. We give some applications, namely the classification up to birational equivalence of quasi polarized pairs with sectional genus 0,1 and of embedded projective varieties X < P^N with degree smaller than 2codim(X) +2.
In this paper, I construct noncompact analogs of the Chern classes of equivariant vector bundles over complex reductive groups. For the tangent bundle, these Chern classes yield an adjunction formula for the Euler characteristic of complete intersections in reductive groups. In the case where the complete intersection is a curve, this formula gives an explicit answer for the Euler characteristic and the genus of the curve.
Let $\mathcal{E}$ be an ample vector bundle of rank $r\geq 2$ on a smooth complex projective variety $X$ of dimension $n$. The aim of this paper is to describe the structure of pairs $(X,\mathcal{E})$ as above whose adjoint bundles $K_X+\det\mathcal{E}$ are not nef for $r=n-3$. Furthermore, we give some immediate consequences of this result in adjunction theory.
In this paper, we derive new adjunction inequalities for embedded surfaces with non-negative self-intersection number in four-manifolds. These formulas are proved by using relations between Seiberg-Witten invariants which are induced from embedded surfaces. To prove these relations, we develop the relevant parts of a Floer theory for four-manifolds which bound circle-bundles over Riemann surfaces.
We make precise the structure of the first two reduction morphisms associated with codimension two nonsingular subvarieties of quadrics $\Q{n}$, $n\geq 5$. We give a coarse classification of the same class of subvarieties when they are assumed to be not of log-general-type. Keywords: Adjunction Theory, classification, codimension two, conic bundles, low codimension, non log-general-type, quadric, reduction, special variety
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 study global deformations of certain projective bundles over projective spaces. We show that any projective global deformation of a projective bundle over $\bP^1$ carries the structure of a projective bundle over some projective space. Furthermore, we construct examples in arbitrary dimension $\ge 3$ of almost homogeneous Fano projective bundles over $\bP^2$ which can be globally deformed to non-almost homogeneous manifolds.
In this article we prove new results on projective normality and normal presentation of adjunction bundle associated to an ample and globally generated line bundle on higher dimensional smooth projective varieties with nef canonical bundle. As one of the consequences of the main theorem, we give bounds on very ampleness and projective normality of pluricanonical linear systems on varieties of general type in dimensions three, four and five. These improve known such results.
We establish that the isomorphy type as an abstract algebraic variety of the complement of an ample hyperplane sub-bundle H of a projective space bundle of rank r-1 over the projective line depends only on the the r-fold self-intersection of H . In particular it depends neither on the ambient bundle nor on a particular ample hyperplane sub-bundle with given r-fold self-intersection. Our proof exploits the unexpected property that every such complement comes equipped with the structure of a non trivial torsor under a vector bundle on the affine line with a double origin.
The notes start with an elementary introduction to a few important analytic techniques of algebraic geometry: closed positive currents, $L^2$ estimates for the $\dbar$-operator on positive vector bundles, Nadel's vanishing theorem for multiplier ideal sheaves (a generalization of the well-known Kawamata-Viehweg vanishing theorem). Applications to adjoint line bundles are then discussed. T.~Fujita conjectured in 1987 that $K_X+(n+2)L$ is very ample for every ample line bundle $L$ on a non singular projective variety $X$ with $\dim X=n$. The answer is known only for $n\le 2$ (I.~Reider, 1988). I…
The aim of this note is to investigate the relation between two types of non-singular projective varieties of Picard rank 2, namely the Projective bundles over Projective spaces and certain Blow-up of Projective spaces.
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.
In previous papers it was shown that the left and right O-module structure of the jet bundles on the projective line differed. In this paper we show that similar statements hold for jet bundles on projective space in any dimension. We also consider some classes associated to jet bundles in the algebraic K-theory of projective space.
We study ample vector bundles on smooth projective stacks. In particular, we prove that the tangent bundle for the weighted projective stack $\mathbb{P}(a_0,...,a_n)$ is ample. A result of Mori shows that the only smooth projective varieties with ample vector bundle are isomorphic to $\mathbb{P}^N$ for some $N$. Extending our geometric spaces from varieties to projective stacks, we are able to provide a new example. This leaves the open question of knowing if the only smooth projective stacks are the weighted projective stacks.
This short paper shows that a projective bundle over a smooth variety with a section can be uniquely recovered from the embedding of the section in its second infinitesimal neighborhood within the bundle.
In this paper, we study the structure of projective space bundles whose relative anti-canonical line bundle is nef. As an application, we get a characterization of abelian varieties up to finite etale covering.
The geometric and algebraic properties of smooth projective varieties with 1-regular structure sheaf are well understood, and the complete classification of these varieties is a classical result. The aim of this paper is to study the next case: smooth projective varieties with 2-regular structure sheaf. First, we give a classification of such varieties using adjunction mappings. Next, under suitable conditions, we study the syzygies of section rings of those varieties to understand the structure of the Betti tables, and show a sharp bound for Castelnuovo-Mumford regularity.
We prove that a smooth projective variety of dimension n is isomorphic to projective n-space iff the canonical class is -(n+1)-times an ample divisor. In characteristic zero this was proved by Kobayashi-Ochiai. We also extend the second adjunction theorem of Ionescu and Fujita to arbitrary characteristic.
We give several mild conditions on a toric bundle on a nonsingular toric variety under which the projectivization of the toric bundle is Frobenius split.
The automorphism group of a projective bundle P(E) over a simplicial toric variety is described when the bundle E is a direct sum of line bundles. Applications to study of moduli of complete intersections on toric varieties, including Calabi Yau m-folds and Del Pezzo surfaces, are indicated.
We define Schwarzenberger bundles on any smooth projective variety X. We introduce the notions of jumping pairs of a Steiner bundle E on X and determine a bound for the dimension of its jumping locus. We completely classify Steiner bundles whose set of jumping pairs have maximal dimension, proving that they are all Schwarzenberger bundles.
Given two equivariant vector bundles over an algebraic GKM manifold with the same equivariant Chern classes, we show that the genus zero equivariant Gromov--Witten theory of their projective bundles are naturally isomorphic.
We use a generalization of Horrocks monads for arithmetic Cohen-Macaulay (ACM) varieties to establish a cohomological characterization of linear and Steiner bundles over projective spaces and quadric hypersurfaces. We also study resolutions of bundles on ACM varieties by line bundles, and characterize linear homological dimension in the case of quadric hypersurfaces.
We investigate the universal cover of projective threefolds whose tangent bundle is a direct sum of subbundles in case the Kodaira dimension is not 1 and 2. We also prove results on Fano manifolds with splitting tangent bundles in any dimension.
Hartshorne's conjecture about vector bundles on projective space states that any rank 2 vector bundle on n-dimensional projective space splits as soon as n is at least 7. Klyachko has shown that Hartshorne's conjecture is true when the vector bundles are torus equivariant. Moreover, recent work of Ilten and Süss generalizes Klyachko's work to the case of a smaller rank torus action on projective space. In this note we give a new, direct proof that torus rank 2 bundles split that avoids a description of the category of torus equivariant vector bundles.
We classify singular fibres of a projective Lagrangian fibration over codimension one points. As an application, we obtain a canonical bundle formula for a projective Lagrangian fibration over a smooth manifold.
We prove an elementary but somewhat unexpected result about projective embeddings of smooth varieties X whose cotangent bundles are numerically effective. Specifically, we show that the degree of X in any projective embedding must grow (almost) exponentially in the dimension of X.
Our goal is to study the syzygies of the projective embeddings defined by ample line bundles on a fake projective plane S. The syzygies are studied in terms of the property $N_p$. For various kinds of ample line bundles, we give explicit lower bounds for their powers above which the property $N_p$ is satisfied.
We show that the moduli space of rank three toric vector bundles on smooth projective toric varieties satisfies Murphy's law, that is, every singularity type of finite type arises somewhere on this space.
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.
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…
In this paper, we attempt to determine the quantum cohomology of projective bundles over the projective space P^n. In contrast to the previous examples, the relevant moduli spaces in our case frequently do not have expected dimensions. It makes the calculation more difficult. We overcome this difficulty by using excessive intersection theory.
We systematically study the splitting of vector bundles on a smooth, projective variety, whose restriction to the zero locus of a regular section of an ample vector bundle splits. First, we find ampleness and genericity conditions which ensure that the splitting of the vector bundle along the subvariety implies its global splitting. Second, we obtain a simple splitting criterion for vector bundles on the Grassmannian and on partial flag varieties.
We classify the Ulrich vector bundles of arbitrary rank on smooth projective varieties of minimal degree. In the process, we prove the stability of the sheaves of relative differentials on rational scrolls.
We generalise the variant of the Babylonian tower theorem for vector bundles on projective spaces proved by I. Coanda and G. Trautmann (2006) to the case of principal $G$-bundles over projective spaces, where $G$ is a linear algebraic group defined over an algebraically closed field. In course of the proofs some new insight into the structure of such principal $G$-bundles is obtained.
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 paper we characterize smooth complex projective varieties that admit a quadric bundle structure on some dense open subset in terms of the geometry of certain families of rational curves.
According to Horrocks (1966), a vector bundle E on the projective n-space extends stably to the projective N-space, N>n, if there exists a vector bundle on the larger space whose restriction to the smaller one is isomorphic to E plus a direct sum of line bundles. We show that E extends stably to the projective N-space for every N>n if and only if E is the cohomology of a free monad (with three terms). The proof uses the method of Coanda and Trautmann (2006). Combining this result with a theorem of Mohan Kumar, Peterson and Rao (2003), we get a new effective version of the Babylonian tower theo…
Let $U^{'s}_L(n,d)$ be the moduli space of stable vector bundles of rank $n$ with determinant $L$ where $L$ is a fixed line bundle of degree $d$ over a nodal curve $Y$. We prove that the projective Poincare bundle on $Y \times U^{'s}_L(n,d)$ and the projective Picard bundle on $U^{'s}_L(n,d)$ are stable for suitable polarisation. For a nonsingular point $x \in Y$, we show that the restriction of the projective Poincare bundle to $x \times U^{'s}_L(n,d)$ is stable for any polarisation. We prove that for arithmetic genus $g\ge 3$ and for $g=n=2, d$ odd, the Picard group of the moduli space $U'_L…
We give a complete classification of P1-bundles over a projective manifold of Picard number one which admit another smooth morphism of relative dimension one.
We prove that the kernel bundle of the evaluation morphism of global sections, namely the syzygy bundle, of a sufficiently ample line bundle on a smooth projective variety is slope stable with respect to any polarization. This settles a conjecture of Ein-Lazarsfeld-Mustopa.
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.