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 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.
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…
Using methods of p-adic analysis, along with the powerful result of Medvedev-Scanlon (Annals of Mathematics, 2014) for the classification of periodic subvarieties of (P^1)^n, we bound the length of the orbit of a periodic subvariety Y of (P^1)^n under the action of a dominant endomorphism.
Using methods of p-adic analysis we give a different proof of Burnside's problem for automorphisms of quasiprojective varieties X defined over a field of characteristic 0. More precisely, we show that any finitely generated torsion subgroup of Aut(X) is finite. In particular this yields effective bounds for the size of torsion of any semiabelian variety over a finitely generated field of characteristic 0. More precisely, we obtain effective bounds for the length of the orbit of a preperiodic subvariety under the action of an etale map.
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…
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…
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.
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…
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.
We prove a bound conjectured by Itenberg on the Betti numbers of real algebraic hypersurfaces near non-singular tropical limits. These bounds are given in terms of the Hodge numbers of the complexification. To prove the conjecture we introduce a real variant of tropical homology and define a filtration on the corresponding chain complex inspired by Kalinin's filtration. The spectral sequence associated to this filtration converges to the homology groups of the real algebraic variety and we show that the terms of the first page are tropical homology groups with $\mathbb{Z}_2$-coefficients. The …
Let $C$ be an algebraic smooth complex genus $g>1$ curve. The object of this paper is the study of the birational structure of the coarse moduli space $U_C(r,0)$ of semi-stable rank r vector bundles on $C$ with degree 0 determinant and of its moduli subspace $SU_C(r)$ given by the vector bundles with trivial determinant. Notably we prove that $U_C(r,0)$ (resp. $SU_C(r)$) is birational to a fibration over the symmetric product $C^(rg)$ (resp. over $P^{(r-1)g}$) whose fibres are GIT quotients $(P^{r-1})^{rg}//PGL(r)$. In the cases of low rank and genus our construction produces families of class…
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.
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…
On a general hypersurface of degree $d\leq n$ in $\mathbb P^n$ or $\mathbb P^n$ itself, we prove the existence of curves of any genus and high enough degree depending on the genus passing through the expected number $t$ of general points or incident to a general collection of subvarieties of suitable codimensions. In some cases we also show that the family of curves through $t$ fixed points has general moduli as family of $t$-pointed curves. These results imply positivity of certain intersection numbers on Kontsevich spaces of stable maps. An arithmetical appendix by M. C. Chang descibes the s…
This paper is devoted to the bounding and computation of the dimension of deformation spaces of tropical curves and hypersurfaces. This characteristic is interesting in light of the fact that it often coincides with the dimension of equisingular (equigeneric etc.) deformation spaces of algebraic curves and hypersurfaces. In this paper, we obtain a series of precise formulas, upper and lower bounds, and algorithms for computing dimension of deformation spaces of various classes of tropical curves and hypersurfaces.
We give a bounding of degree of quasi-smooth hypersurfaces which are invariant by a one dimensional holomorphic foliation of a given degree on a weighted projective space.
A Pfaff field on a projective space is a map from the sheaf of differential s-forms, for a certain s, to an invertible sheaf. The interesting ones are those arising from a Pfaff system, as they give rise to a distribution away from their singular locus. A subscheme of the projective space is said to be invariant under the Pfaff field, if the latter induces a Pfaff field on the subscheme. We give bounds for the Castelnuovo-Mumford regularity of invariant complete intersection subschemes (more generally, arithmetically Cohen-Macaulay subschemes) of dimension s, depending on how singular these sc…