Subvarieties of generic hypersurfaces in any variety
L. Chiantini, A. F. Lopez, Z. Ran
备注：
We made some improvements in the introduction and definitions. In an effort to clarify the arguments we separated the 1-filling case from the r-filling case and we gave a more detailed proof of the key lemma. The article will appear in the Math. Proc. Cambridge Philos. Soc
Let W be a projective variety of dimension n+1, L a free line bundle on W, X in $H^0(L^d)$ a hypersurface of degree d which is generic among those given by sums of monomials from $L$, and let $f : Y \to X$ be a generically finite map from a smooth m-fold Y. We suppose that f is r-filling, i.e. upon deforming X in $H^0(L^d)$, f deforms in a family such that the corresponding deformations of $Y^r$ dominate $W^r$. Under these hypotheses we give a lower bound for the dimension of a certain linear system on the Cartesian product $Y^r$ having certain vanishing order on a diagonal locus as well as on a double point locus. This yields as one application a lower bound on the dimension of the linear system |K_{Y} - (d - n + m)f^*L - f^*K_{W}| which generalizes results of Ein and Xu (and in weaker form, Voisin). As another perhaps more surprising application, we conclude a lower bound on the number of quadrics containing certain projective images of Y.
We prove some lower bounds on certain nonegative twists of the canonical bundle of a subvariety of a generic hypersurface in projective space. In particular we prove that the generic sextic threefold contains no rational or elliptic curves and no nondegenerate curves of genus 2.
We study subvarieties of a general projective degree $d$ hypersurface $X_d\subset \mathbf P^n$. Our main theorem, which improves previous results of L. Ein and C. Voisin, implies in particular the following sharp corollary: any subvariety of a general hypersurface $X_{d}\subset {\mathbf P}^n$, for $n\geq 6$ and $d\geq 2n-2$, is of general type.
A second-order invariant of C. Voisin gives a powerful method for bounding from below the geometric genus of a k-dimensional subvariety of a degree-d hypersurface in complex projective n-space. This work uses the Voisin method to establish a general bound, which lies behind recent results of G. Pacienza and Z. Ran.
We show that for a smooth hypersurface $X\subset \bbP^n$ of degree at least 2, there exist arithmetically Cohen-Macaulay (ACM) codimension two subvarieties $Y\subset X$ which are not an intersection $X\cap{S}$ for a codimension two subvariety $S\subset\bbP^n$. We also show there exist $Y\subset X$ as above for which the normal bundle sequence for the inclusion $Y\subset X\subset\bbP^n$ does not split.
We generalize the notion of coisotropic hypersurfaces to subvarieties of Grassmannians having arbitrary codimension. To every projective variety X, Gel'fand, Kapranov and Zelevinsky associate a series of coisotropic hypersurfaces in different Grassmannians. These include the Chow form and the Hurwitz form of X. Gel'fand, Kapranov and Zelevinsky characterized coisotropic hypersurfaces by a rank one condition on conormal spaces, which we use as the starting point for our generalization. We also study the dual notion of isotropic varieties by imposing rank one conditions on tangent spaces instead…
We introduce a spectrum for arbitrary varieties. This generalizes the definition by Steenbrink for hypersurfaces. In the isolated complete intersection singularity case, it coincides with the one given by Ebeling and Steenbrink except for the coefficients of integral exponents. We show a relation to the graded pieces of the multiplier ideals by using a relation to the filtration $V$ of Kashiwara and Malgrange. This implies a partial generalization of a theorem of Budur in the hypersurface case. The point is to consider the direct sum of the graded pieces of the multiplier ideals as a module ov…
If A is an Abelian variety, endowed with a polarization L, we study the function N_A(t) which counts the number of Abelian subvarieties S in A such that for the induced polarization L|_S the Euler characteristic χ(L|_S) is bounded above by t. We give an estimate for the asymptotic order of growth of this function.
We develop a technique that allows us to prove results about subvarieties of general type hypersurfaces. As an application, we use a result of Clemens and Ran to prove that a very general hypersurface of degree (3n+1)/2 \leq d \leq 2n-3 contains lines but no other rational curves.
We show that if $X$ is a smooth uniruled projective variety and $L$ a big and semiample $\mathbb{Q}$-divisor on $X$, then there exists a proper closed subset $W\subset X$ such that every subvariety $Y$ satisfying $a(Y,L)> a(X,L)$ is contained in $W$.
By a $B$-regular variety, we mean a smooth projective variety over $C$ admitting an algebraic action of the upper triangular Borel subgroup $B \subset SL_2(C)$ such that the unipotent radical in $B$ has a unique fixed point. A result of M. Brion and the first author describes the equivariant cohomology algebra (over $C$) of a $B$-regular variety $X$ as the coordinate ring of a remarkable affine curve in $X \times P^1$. The main result of this paper uses this fact to classify the $B$-invariant subvarieties $Y$ of a $B$-regular variety $X$ for which the restriction map $i_Y:H^*(X) \to H^*(Y)$ is…
I will present an explicit formula for the intersection indices of the Chern classes of an arbitrary reductive group with hypersurfaces. This formula has the following applications. First, it allows to compute explicitly the Euler characteristic of complete intersections in reductive groups. Second, for any regular compactification of a reductive group, it computes the intersection indices of the Chern classes of the compactification with hypersurfaces. The formula is similar to the Brion--Kazarnovskii formula for the intersection indices of hypersurfaces in reductive groups. The proof uses an…
We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge Conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in [3]. We also show that the Hodge Conjecture holds asymptotica…
We work over an algebraically closed field of arbitrary characteristic. Ellingsrud-Peskine proved that smooth surfaces in P^4 are subject to strong limitations. Their whole argument is derived from the fact that the sectional genus of surfaces of degree d lying on a hypersurface of degree s varies in an interval of length \frac{d(s-1)^2}{2s}. The aim of the present paper is to show that for smooth codimension two subvarieties of P^n, n\geq 5, one can get a similar result with an interval whose length depends only on s. The main point is Lemma 1.1 whose proof is a direct application of the posi…
This paper is a report based on the results obtained during a three months internship at the University of Pittsburgh by the first author and under the mentorship of the second author. The notion of an amoeba of a subvariety in a torus $(\mathbb{C}^*)^n$ has been extended to subvarieties of the general linear group $GL_n(\mathbb{C})$ by the second author and Manon. In this paper, we show some basic properties of these matrix amoebas, e.g. any such amoeba is closed and the connected components of its complement are convex when the variety is a hypersurface. We also extend the notion of Ronkin f…
In this paper we consider ideal sheaves associated to the singular loci of a divisor in a linear system $|L|$ of an ample line bundle on a complex abelian variety. We prove an effective result on their (continuous) global generation, after suitable twists by powers of $L$. Moreover we show that similar results hold for subvarieties of a complex abelian variety.
We prove an equidistribution result for small subvarieties of an abelian variety which generalizes the Szpiro-Ullmo-Zhang theorem on equidistribution of small points.
We give a new practical method for computing subvarieties of projective hypersurfaces. By computing the periods of a given hypersurface X, we find algebraic cohomology cycles on X. On well picked algebraic cycles, we can then recover the equations of subvarieties of X that realize these cycles. In practice, a bulk of the computations involve transcendental numbers and have to be carried out with floating point numbers. However, if X is defined over algebraic numbers then the coefficients of the equations of subvarieties can be reconstructed as algebraic numbers. A symbolic computation then ver…
We define the characteristic numbers of a holomorphic k-distribution of any dimension on $mathbb P^n$ and obtain relations between these numbers and the characteristic numbers of an invariant subvariety. As an application we bound the degree of a smooth invariant hypersurface.
A subvariety of a complex projective space has a well-known dual variety, which is the set of its tangent hyperplanes. The purpose of this paper is to generalise this notion for a subvariety of a quite general partial flag variety. A similar biduality theorem is proved, and the dual varieties of Schubert varieties are described.
For a generalized Kummer variety X of dimension 2n, we will construct for each 0 < i < n some co-isotropic subvarieties in X foliated by i-dimensional constant cycle subvarieties. These subvarieties serve to prove that the rational orbit filtration introduced by Voisin on the Chow group of zero-cycles of a generalized Kummer variety coincides with the induced Beauville decomposition from the Chow ring of abelian varieties. As a consequence, the rational orbit filtration is opposite to the conjectural Bloch-Beilinson filtration for generalized Kummer varieties.
We give a complete description of the cohomology ring $A^*(\overline Z)$ of a compactification of a linear subvariety $Z$ of a torus in a smooth toric variety whose fan $Σ$ is supported on the tropicalization of $Z$. It turns out that cocycles on $\overline Z$ canonically correspond to Minkowski weights on $Σ$ and that the cup product is described by the intersection product on the tropical matroid variety $\operatorname{Trop}(Z)$.
This small note is about Plücker hyperplane sections $X$ of the Grassmannian $\operatorname{Gr}(3,V_{10})$. Inspired by the analogy with cubic fourfolds, we prove that the only non-trivial Chow group of $X$ is generated by Grassmannians of type $\operatorname{Gr}(3,W_{6})$ contained in $X$. We also prove that a certain subring of the Chow ring of $X$ (containing all intersections of positive-codimensional subvarieties) injects into cohomology.
This paper generalizes the easy addition formula. Given a normal variety $X$ with an invertible sheaf $L$, inequalities are found bounding $\ka(X,L)$ from above based on the behavior of $L$ restricted to a subvariety or to a pair of "positive" intersecting subvarieties.
This paper is the sequel of our paper "Arithmetic height functions over finitely generated fields" (cf. math.NT/9809016). In this paper, we define the canonical height of subvarieties of an abelian variety over a finitely generated field over Q. We also prove that the canonical height of a subvariety is zero if and only if it is a translation of an abelian subvariety by a torsion point.
We determine positive-dimensional G-periodic proper subvarieties of an n-dimensional normal projective variety X under the action of an abelian group G of maximal rank n-1 and of positive entropy. The motivation of the paper is to understand the obstruction for X to be G-equivariant birational to the quotient variety of an abelian variety modulo the action of a finite group.
We construct new subvarieties in the varieties of power sums for certain quartic hypersurfaces. This provides a generalization of Mukai's description of smooth prime Fano threefolds of genus twelve as the varieties of power sums for plane quartics. In fact, in our second paper, we show that these quartics are exactly the Scorza quartics associated to general pairs of trigonal curves and ineffective theta characteristics and this enables us to prove there the main cojecture of Dolgachev and Kanev.
We give a uniform bound on the degree of the maximal torsion cosets for subvarieties of an abelian variety. The proof combines algebraic interpolation and a theorem of Serre on homotheties in the Galois representation associated to the torsion subgroup of an abelian variety.
Let $C$ be an algebraic smooth complex curve of genus $g>1$. The object of this paper is the study of the birational structure of certain moduli spaces of vector bundles and of coherent systems on $C$ and the comparison of different type of notions of stability arising in moduli theory. Notably we show that in certain cases these moduli spaces are birationally equivalent to fibrations over simple projective varieties, whose fibers are GIT quotients $(\PP^{r-1})^{rg}//PGL(r)$, where $r$ is the rank of the considered vector bundles. This allows us to compare different definitions of (semi-)stabi…
We discuss various constructions which allow one to embed a principally polarized abelian variety in the jacobian of a curve. Each of these gives representatives of multiples of the minimal cohomology class for curves which in turn produce subvarieties of higher dimension representing multiples of the minimal class. We then discuss the problem of producing curves representing multiples of the minimal class via deformation-theoretic methods.
We consider a smooth Lagrangian subvariety Y in a smooth algebraic variety X with an algebraic symplectic from. For a vector bundle E on Y and a choice Oh of deformation quantization of the structure sheaf of X, we establish when E admits a deformation quantization to a module over Oh. If the necessary conditions hold, we describe the set of equivalence classes of such quantizations.
We show that for an irreducible subvariety Y of an abelian variety X the Gauss mapping, from the conormal bundle of $Y$ to the dual of the tangent space of $X$ at the origin, is not dominant if and only if Y is degenerate in the sense that there exists a nontrivial abelian subvariety A of X such that A+Y=Y holds
By means of the theory of strongly semistable sheaves and of the theory of the Greenberg transform, we generalize to higher dimensions a result on the sparsity of p-divisible unramified liftings which played a crucial role in Raynaud's proof of the Manin-Mumford conjecture for curves. We also give a bound for the number of irreducible components of the first critical scheme of subvarieties of an abelian variety which are complete intersections.
We prove Bertini type theorems for the inverse image, under a proper morphism, of any Schubert variety in an homogeneous space. Using generalisations of Deligne's trick, we deduce connectedness results for the inverse image of the diagonal in $X^2$ where $X$ is any isotropic grassmannian. We also deduce simple connectedness properties for subvarieties of $X$. Finally we prove transplanting theorems {à} la Barth-Larsen for the Picard group of any isotropic grassmannian of lines and for the Neron-Severi group of some adjoint and coadjoint homogeneous spaces.
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.
This paper proposes a conjectural picture for the structure of the Chow ring of a (projective) hyper-Kähler variety, and the construction of a Beauville decomposition, with emphasis on the Chow group of $0$-cycles, which is endowed with a natural filtration of Brill-Noether type. Some of the conjectures are proved in the case of Hilbert schemes of K3 surfaces and Fano varieties of lines of cubic fourfolds.
Let $X$ be a hyperkähler variety, and let $Z\subset X$ be a Lagrangian subvariety. Conjecturally, $Z$ should have trivial intersection with certain parts of the Chow ring of $X$. We prove this conjecture for certain Hilbert schemes $X$ having a Lagrangian fibration, and $Z\subset X$ a general fibre of the Lagrangian fibration.
I prove that every smooth legendrian variety generated by quadrics is a homogeneous variety and further I give a list of all such legendrian varieties. A review of the subject is included, illustrated by examples. Another result is that no complete intersection is a legendrian variety.
Let $X$ be a hyperkaehler manifold. Trianalytic subvarieties of $X$ are subvarieties which are complex analytic with respect to all complex structures induced by the hyperkaehler structure. Given a 2-dimensional complex torus $T$, the Hilbert scheme $T^{[n]}$ classifying zero-dimensional subschemes of $T$ admits a hyperkaehler structure. A finite cover of $T^{[n]}$ is a product of $T$ and a simply connected hyperkaehler manifold $K^{[n-1]}$, called generalized Kummer variety. We show that for $T$ generic, the corresponding generalized Kummer variety has no trianalytic subvarieties. This implie…
Let $R$ be a hypersurface in an equicharacteristic or unramified regular local ring. For a pair of modules $(M,N)$ over $R$ we study applications of rigidity of $\Tor^R(M,N)$, based on ideas by Huneke, Wiegand and Jorgensen. We then focus on the hypersurfaces with isolated singularity and even dimension, and show that modules over such rings behave very much like those over regular local rings. Connections and applications to projective hypersurfaces such as intersection dimension of subvarieties and cohomological criterion for splitting of vector bundles are discussed.
This paper proves a finiteness result for families of integral points on a semiabelian variety minus a divisor, generalizing the corresponding result of Faltings for abelian varieties. Combined with the main theorem of the first part of this paper, this gives a finiteness statement for integral points on a closed subvariety of a semiabelian variety, minus a divisor. In addition, the last two sections generalize some standard results on closed subvarieties of semiabelian varieties to the context of closed subvarieties minus divisors.
Given a finite group $G$ and an abelian variety $A$ acted on by $G$, to any subgroup $H$ of $G$, we associate an abelian subvariety $A_H$ on which the associated Hecke algebra $\mathcal{H}_H$ for $H$ in $G$ acts. Any irreducible rational representation $\widetilde W$ of $\mathcal{H}_H$ induces an abelian subvariety of $A_H$ in a natural way. In this paper we give equations for this abelian subvariety. In a special case these equations become much easier. We work out some examples.
Let $X$ be a quasi-affine algebraic variety isomorphic to the complement of a closed subvariety of dimension at most $n-3$ in $\C^n$. We find some conditions under which an isomorphism of two closed subvarieties of $X$ can be extended to an automorphism of $X$.
We determine SL(n)-stable, SL(2)-regular subvarieties of the variety of complete quadrics. We extend the results of Akyıldız and Carrell on Kostant-Macdonald identity by computing the Poincar{é} polynomials of these regular subvarieties.
The purpose of this note is to prove Grothendieck's standard conjectures for the Fano variety of lines on a smooth cubic hypersurface in projective space.
We show that for a variety which admits a quasi-finite period map, finiteness (resp.~non-Zariski-density) of $S$-integral points implies finiteness (resp.~non-Zariski-density) of points over all $\mathbb{Z}$-finitely generated integral domains of characteristic zero. Our proofs rely on foundational results in Hodge theory due to Deligne, Griffiths, and Schmid, and Bakker-Brunebarbe-Tsimerman. We give straightforward applications to Shimura varieties, locally symmetric varieties, the moduli space of smooth hypersurfaces in projective space, and the moduli of smooth divisors in an abelian variet…
Let X\subsetneq\mathbb{P}_{\mathbb{C}}^{N} be an n-dimensional nondegenerate smooth projective variety containing an m-dimensional subvariety Y. Assume that either m>\frac{n}{2} and X is a complete intersection or that m\geq\frac{N}{2}, we show deg(X)|deg(Y) and codim_{span(Y)}Y\geq codim_{\mathbb{P}^{N}}X, where span(Y) is the linear span of Y. These bounds are sharp. As an application, we classify smooth projective n-dimensional quadratic varieties swept out by m\geq[\frac{n}{2}]+1 dimensional quadrics passing through one point.
Recently it has been proved that any arithmetically Cohen-Macaulay (ACM) bundle of rank two on a general, smooth hypersurface of degree at least three and dimension at least four is a sum of line bundles. When the dimension of the hypersurface is three, a similar result is true provided the degree of the hypersurface is at least six. We extend these results to complete intersection subvarieties by proving that any ACM bundle of rank two on a general, smooth complete intersection subvariety of sufficiently high multi-degree and dimension at least four splits. We also obtain partial results in t…
