In this paper we study the cohomology of tensor products of symmetric powers of the cotangent bundle of complete intersection varieties in projective space. We provide an explicit description of some of those cohomology groups in terms of the equations defining the complete intersection. We give several applications. First we prove a non-vanishing result, then we give a new example illustrating the fact that the dimension of the space of holomorphic symmetric differential forms is not deformation invariant. Our main application is the construction of varieties with ample cotangent bundle, providing new results towards a conjecture of Debarre.
We apply ideas from intersection theory on toric varieties to tropical intersection theory. We introduce mixed Minkowski weights on toric varieties which interpolate between equivariant and ordinary Chow cohomology classes on complete toric varieties. These objects fit into the framework of tropical intersection theory developed by Allermann and Rau. Standard facts about intersection theory on toric varieties are applied to show that the definitions of tropical intersection product on tropical cycles in $\R^n$ given by Allermann-Rau and Mikhalkin are equivalent. We introduce an induced tropica…
Generalizing the notions of reflexive polytopes and nef-partitions of Batyrev and Borisov, we propose a mirror symmetry construction for Calabi-Yau complete intersections in Fano toric varieties.
We study intersection cohomology of character varieties for punctured Riemann surfaces with prescribed monodromies around the punctures. Relying on previous result from Mellit for semisimple monodromies we compute the intersection cohomology of character varieties with monodromies of any Jordan type. This proves the Poincaré polynomial specialization of a conjecture from Letellier.
Any smooth projective variety contains many complete intersection subvarieties with ample cotangent bundles, of each dimension up to half its own dimension.
We define an intersection product of tropical cycles on matroid varieties (via cutting out the diagonal) and show that it is well-behaved. In particular, this enables us to intersect cycles on moduli spaces of tropical rational marked curves $M_{0,n}$ and $M_{0,n}(\R^r, d)$. This intersection product can be extended to smooth varieties (whose local models are matroid varieties). We also study pull-backs of cycles and rational equivalence.
We prove that a smooth well formed Picard rank one Fano complete intersection of dimension at least 2 in a toric variety is a weighted complete intersection.
We describe a method of computing equivariant and ordinary intersection cohomology of certain varieties with actions of algebraic tori, in terms of structure of the zero- and one-dimensional orbits. The class of varieties to which our formula applies includes Schubert varieties in flag varieties and affine flag varieties. We also prove a monotonicity result on local intersection cohomology stalks.
We prove that the derived category of a smooth complete intersection variety is equivalent to a full subcategory of the derived category of a smooth projective Fano variety. This enables us to define some new invariants of smooth projective varieties and raise many interesting questions.
Fano varieties are subvarieties of the Grassmannian whose points parametrize linear subspaces contained in a given projective variety. These expository notes give an account of results on Fano varieties of complete intersections, with a view toward an application in machine learning. The prerequisites have been kept to a minimum in order to make these results accessible to a broad audience.
We generalize Givental's Theorem for complete intersections in smooth toric varieties in the Fano case. In particular, we find Gromov--Witten invariants of Fano varieties of dimension $\geq 3$, which are complete intersections in weighted projective spaces and singular toric varieties. We generalize the Riemann-Roch equations to weighted projective spaces. We compute counting matrices of smooth Fano threefolds with Picard group Z and anticanonical degrees 2, 8, and 16.
Complete intersections inside rational homogeneous varieties provide interesting examples of Fano manifolds. For example, if $X = \cap_{i=1}^r D_i \subset G/P$ is a general complete intersection of $r$ ample divisors such that $K_{G/P}^* \otimes \mathcal{O}_{G/P}(-\sum_i D_i)$ is ample, then $X$ is Fano. We first classify these Fano complete intersections which are locally rigid. It turns out that most of them are hyperplane sections. We then classify general hyperplane sections which are quasi-homogeneous.
If X is a symplectic variety emedded in an affine space as a complete intersection of homogeneous polynomials, then X coincides with the nilpotent variety of a semisimple Lie algebra.
Using a version of weight conservativity we demonstrate that for certain Shimura varieties (including all Shimura three-folds, most Shimura four-folds and the Siegel sixfold) the construction of the motivic intersection complex due to Wildeshaus compares with a motivic weight truncation in the sense of S. Morel. In particular it is defined up to a unique isomorphism, and satisfies the intrinsic characterization for an intermediate extension due to Wildeshaus.
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 G be a complex reductive algebraic group. We study complete intersections in a spherical homogeneous space G/H defined by a generic collection of sections from G-invariant linear systems. Whenever nonempty, all such complete intersections are smooth varieties. We compute their arithmetic genus as well as some of their h^{p,0} numbers. The answers are given in terms of the moment polytopes and Newton-Okounkov polytopes associated to G-invariant linear systems. We also give a necessary and sufficient condition on a collection of linear systems so that the corresponding generic complete inter…
We study the Jordan normal forms of the local and global monodromies over complete intersection subvarieties of $C^n$ by using the theory of motivic Milnor fibers. The results will be explicitly described by the mixed volumes of the faces of Newton polyhedrons.
In this paper we examine different problems regarding complete intersection varieties of high degree in a complex projective space. First we show how one can deduce hyperbolicity for generic complete intersection of high multidegree and high codimension from the known results on hypersurfaces. Then we prove a existence theorem for jet differentials that generalizes a theorem of S. Diverio. Finally, motivated by a conjecture of O. Debarre, we focus on the positivity of the cotangent bundle of complete intersections, and prove some results towards this conjecture; among other things, we prove th…
From a block-diagonal $(n+1) \times (m+1) \times (m+1)$ tensor symmetric in the last two entries one obtains two varieties: an intersection of symmetric determinantal hypersurfaces $X$ in $n$-dimensional projective space, and an intersection of quadrics $\mathfrak{C}$ in $m$-dimensional projective space. Under mild technical assumptions, we characterize the accidental singularities of $X$ in terms of $\mathfrak{C}$. We apply our methods to algebraic curves and show how to construct theta characteristics of certain canonical curves of genera 3, 4, and 5, generalizing a classical construction of…
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 propose a general framework governing the intersection properties of extremal rays of irreducible holomorphic symplectic manifolds under the Beauville-Bogomolov form. Our main thesis is that extremal rays associated to Lagrangian projective subspaces control the behavior of the cone of curves. We explore implications of this philosophy for examples like Hilbert schemes of points on K3 surfaces and generalized Kummer varieties. We also collect evidence supporting our conjectures in specific cases.
In this article, we construct a Hecke-equivariant Chow motive whose realizations equal intersection cohomology of Siegel threefolds with regular algebraic coefficients. As a consequence, we are able to define Grothendieck motives for Siegel modular forms.
The Poincaré torsor of a Shimura family of abelian varieties can be viewed both as a family of semi-abelian varieties and as a mixed Shimura variety. We show that the special subvarieties of the latter cannot all be described in terms of the group subschemes of the former. This provides a counter-example to the relative Manin-Mumford conjecture, but also some evidence in favour of Pink's conjecture on unlikely intersections in mixed Shimura varieties. The main part of the article concerns mixed Hodge structures and the uniformization of the Poincaré torsor, but other, more geometric, approache…
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)$.
We prove birational superrigidity of generic Fano fiber spaces $V/{\mathbb P}^1$, the fibers of which are Fano complete intersections of index 1 and dimension $M$ in ${\mathbb P}^{M+k}$, provided that $M\geq 2k+1$. The proof combines the traditional quadratic techniques of the method of maximal singularities with the linear techniques based on the connectedness principle of Shokurov and Koll\' ar. Certain related results are also considered.
For a smooth projective curve, the cycles of subordinate or, more generally, secant divisors to a given linear series are among some of the most studied objects in classical enumerative geometry. We consider the intersection of two such cycles corresponding to secant divisors of two different linear series on the same curve and investigate the validity of the enumerative formulas counting the number of divisors in the intersection. We study some interesting cases, with unexpected transversality properties, and establish a general method to verify when this intersection is empty.
Let $X^{2n}\subseteq \mathbb{P} ^N$ be a smooth projective variety. Consider the intersection cohomology complex of the local system $R^{2n-1}π{_*}\mathbb{Q}$, where $π$ denotes the projection from the universal hyperplane family of $X^{2n}$ to ${(\mathbb{P} ^N)}^{\vee}$. We investigate the cohomology of the intersection cohomology complex $IC(R^{2n-1}π{_*}\mathbb{Q})$ over the points of a Severi's variety, parametrizing nodal hypersurfaces, whose nodes impose independent conditions on the very ample linear system giving the embedding in $\mathbb{P} ^N$.
We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of rational homogeneous varieties are complete intersections.
For an arbitrary complex algebraic variety which is not necessarily pure dimensional, the intersection complex can be defined as the direct sum of the Deligne-Goresky-MacPherson intersection complexes of each irreducible component. We give two axiomatic topological characterizations of the middle perversity direct sum intersection complex, one stratification dependent and the other stratification independent. To accomplish this, we show that this direct sum intersection complex can be constructed using Deligne's construction in the more general context of topologically stratified spaces. A con…
Let X be a very general complete intersection in complex projective space and we denote by $F_r(X)$ the variety of r-planes in X, for $r\geq 1$. We show that the Picard number of $F_r(X)$ is 1, as soon as $\dim F_r(X)\geq 2$, except when X is a quadric of dimension 2r or 2r+2, or X is a complete intersection of two quadrics of dimension 2r+2. We also apply this result to determine the cohomology class of the variety of planes of a cubic fivefold contained (by the Abel-Jacobi map) in the intermediate Jacobian.
We extend the methods developed in our earlier work to algorithmically compute the intersection cohomology Betti numbers of reductive varieties. These form a class of highly symmetric varieties that includes equivariant compactifications of reductive groups. Thereby, we extend a well-known algorithm for toric varieties.
This paper addresses the problem of constructing a cycle-level intersection theory for toric varieties. We show that by making one global choice, we can determine a cycle representative for the intersection of an equivariant Cartier divisor with an invariant cycle on a toric variety. For a toric variety defined by a fan in N, the choice consists of giving an inner product or a complete flag for M_Q=Hom(N,Q), or more generally giving for each cone sigma in the fan a linear subspace of M_Q complementary to the subspace of M_Q perpendicular to sigma, satisfying certain compatibility conditions. W…
We study Fano schemes $F_k(X)$ for complete intersections $X$ in a projective toric variety $Y\subset \mathbb{P}^n$. Our strategy is to decompose $F_k(X)$ into closed subschemes based on the irreducible decomposition of $F_k(Y)$ as studied by Ilten and Zotine. We define the expected dimension for these subschemes, which always gives a lower bound on the actual dimension. Under additional assumptions, we show that these subschemes are non-empty and smooth of the expected dimension. Using tools from intersection theory, we can apply these results to count the number of linear subspaces in $X$ wh…
We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from Saito's decomposition theorem. For varieties with conical singularities we show, that the existence of intersection homology morphism is exactly equivalent to the validity of Hard Lefschetz Theorem for links. For varieties with arbitrary analytic singularities we extract a remarkable property, which we call Local Hard Lefschetz.
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…
Richardson varieties play an important role in intersection theory and in the geometric interpretation of the Littlewood-Richardson Rule for flag varieties. We discuss three natural generalizations of Richardson varieties which we call projection varieties, intersection varieties, and rank varieties. In many ways, these varieties are more fundamental than Richardson varieties and are more easily amenable to inductive geometric constructions. In this paper, we study the singularities of each type of generalization. Like Richardson varieties, projection varieties are normal with rational singula…
We generalize the Chern class relation for the transversal intersection of two nonsingular varieties to a relation for possibly singular varieties, under a 'splayedness' assumption. The relation is shown to hold for both the Chern-Schwartz-MacPherson class and the Chern-Fulton class. The main tool is a formula for Segre classes of splayed subschemes. We also discuss the Chern class relation under the assumption that one of the varieties is a general very ample divisor.
We present a class of homogeneous ideals which are generated by monomials and binomials of degree two and are set-theoretic complete intersections. This class includes certain reducible varieties of minimal degree and, in particular, the presentation ideals of the fiber cone algebras of monomial varieties of codimension two.
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove so…
We present a definition of intersection homology for real algebraic varieties that is analogous to Goresky and MacPherson's original definition of intersection homology for complex varieties.
In this note we build on our previous work with Takehiko Yasuda to prove a precise version of inversion of adjunction for varieties which are local complete intersections.
It is proven that any structure of a fibre space into varieties of Kodaira dimension zero on a generic Fano complete intersection of index one and dimension $M$ in ${\mathbb P}^{M+k}$ for $M\geq 2k+1$ is a pencil of hyperplane sections. We also describe $K$-trivial structures on varieties with a pencil of Fano complete intersections.
Let $X$ be a complete intersection inside a variety $M$ with finite dimensional motive and for which the Lefschetz-type conjecture $B(M)$ holds. We show how conditions on the niveau filtration on the homology of $X$ influence directly the niveau on the level of Chow groups. This leads to a generalization of Voisin's result. The latter states that if $M$ has trivial Chow groups and if $X$ has non-trivial variable cohomology parametrized by $c$-dimensional algebraic cycles, then the cycle class maps $A_k(X) \to H_{2k}(X)$ are injective for $k<c$. We give variants involving group actions which le…
This is a continuation of a series of papers studying the birational Mori fiber structures of anticanonically embedded $\mathbb{Q}$-Fano $3$-fold weighted complete intersections of codimension $2$. We have proved that $19$ families consists of birationally rigid varieties and $14$ families consists of birationally birigid varieties. The aim of this paper is to continue the work systematically and prove that, among the remaining $52$ families, $21$ families consist of birationally birigid varieties.
We describe a class of affine toric varieties $V$ that are set-theoretically minimally defined by codim $V+1$ binomial equations over fields of any characteristic.
We prove an existence theorem for jet differentials on complete intersection varieties that generalizes a theorem of S. Diverio. We also show that one can readily deduce hyperbolicity for generic complete intersections of high multidegree from earlier work of Diverio-Merker-Rousseau and Diverio-Trapani. And finally we prove the numerical aspect of a conjecture of O. Debarre.
In this paper, we show that the Galois representations provided by $\ell$-adic cohomology of proper smooth varieties, and more generally by $\ell$-adic intersection cohomology of proper varieties, over any field, are orthogonal or symplectic according to the degree. We deduce this from a preservation result of orthogonal and symplectic pure perverse sheaves by proper direct image. We show moreover that the subgroup of the Grothendieck group generated by orthogonal pure perverse sheaves of even weights and symplectic pure perverse sheaves of odd weights are preserved by Grothendieck's six opera…
