We develop a formula (Theorem 5.1) which allows to compute top Chern classes of vector bundles on the vanishing locus $V(s)$ of a section of this bundle. This formula particularly applies in the case when $V(s)$ is the union of locally complete intersections giving the individual contribution of each component and their mutual intersections. We conclude with applications to the enumeration of rational curves in complete intersections in projective space.
Let $W\subset \mathbb {P}^n$, $n\ge 3$, be a degree $k$ hypersurface. Consider a "general" reducible, but connected, curve $Y\subset \mathbb {P}^n$, for instance a sufficiently general connected and nodal union of lines with $p_a(Y)=0$, i.e. a tree of lines. We study the Hilbert function of the set $Y\cap W$ with cardinality $k°(Y)$ and prove when it is the expected one. We give complete classification of the exceptions for $k=2$ and for $n=k=3$. We apply these results and tools to the case in which $Y$ is a smooth curve with $\mathcal {O}_Y(1)$ non-special.
Let K be an algebraic number field and O_K the ring of integers of K. Let f : X --> Spec(O_K) be a stable arithmetic surface over O_K of genus g >= 2. In this short note, we will prove that if f has a reducible geometric fiber, then the self intersection of dualizing sheaf of X with Arakelov metric is greater than or equal to log(2)/6(g-1).
Differently from the Milnor number, no formula relating the Tjurina number of a reducible algebroid curve to invariants of its branches was known. The aim of this work is to provide such a formula for a complete intersection algebroid curve with several branches in terms of invariants of its branches and the maximal points of the set of values of Kähler differentials on components of the curve.
We present a result which can be used for stratifications with conical singularities to deduce that a perverse sheaf (in particular, an intersection homology sheaf) has reducible characteristic variety, given a hypothesis on the monodromy of the vanishing cycles local system of a stratum. We apply it to explain most of the examples currently known where SS(IC(X)) is reducible for X a Schubert variety in a flag variety.
We study the crystalline universal deformation ring R (and its ideal of reducibility I) of a mod p Galois representation rho_0 of dimension n whose semisimplification is the direct sum of two absolutely irreducible mutually non-isomorphic constituents rho_1 and rho_2. Under some assumptions on Selmer groups associated with rho_1 and rho_2 we show that R/I is cyclic and often finite. Using ideas and results of (but somewhat different assumptions from) Bellaiche and Chenevier we prove that I is principal for essentially self-dual representations and deduce statements about the structure of R. Us…
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.
We describe in terms of spherical twists the Serre functors of many interesting semiorthogonal components, called residual categories, of the derived categories of projective varieties. In particular, we show the residual categories of Fano complete intersections are fractional Calabi--Yau up to a power of an explicit spherical twist. As applications, we compute the Serre dimensions of residual categories of Fano complete intersections, thereby proving a corrected version of a conjecture of Katzarkov and Kontsevich, and deduce the nonexistence of Serre invariant stability conditions when the d…
The paper is a part of our program to build up a theory of couting immersed nodal curve on algebraic surfaces, as an enumerative Riemann-Roch theory (outlined in math.AG/0405113). In this paper, we discuss the excess intersection theory of the so-called type two exceptional curves, which plays the analogous role as the "index of speciality" (h^2) in the classical surface Riemann-Roch formula. We show that the algebraic family Seiberg-Witten theory of type I exceptional curves can be generalized to the theory of type II exceptional curves when the family moduli spaces are not regular of the exp…
In this article we study the structure of residual intersections via constructing a finite complex which is acyclic under some sliding depth conditions on the cycles of the Koszul complex. This complex provides information on an ideal which coincides with the residual intersection in the case of geometric residual intersection; and is closely related to it in general. A new success obtained through studying such a complex is to prove the Cohen-Macaulayness of residual intersections of a wide class of ideals. For example we show that, in a Cohen-Macaulay local ring, any geometric residual inter…
In this paper, we prove a formula of Grauert-Riemenschneider canonical sheaf and log canonical thresholds for a general residual intersection as well as an equality of minimal log discrepancies under a general link. We also prove an evidence that MJ-singularities can be preserved under a general residual intersection.
One describes generators of disguised residual intersections in any commutative Noetherian rings. It is shown that, over Cohen-Macaulay rings, the disguised residual intersections and algebraic residual intersections are the same, for ideals with sliding depth. This coincidence provides structural results for algebraic residual intersections in quite general setting. It is shown how the DG-algebra structure of Koszul homologies affects the determination of generators of residual intersections. In the midway it is shown that the Buchsbaum-Eisenbud family of complexes can be derived from the Kos…
Paper has been accepted for publication in the Journal für die reine und Angewandte Mathematik. This version contains the corrections and additional references made in the Galley proofs.
We find explicit formulas for the Hilbert series of residual intersections of a scheme in terms of the Hilbert series of its conormal modules. In a previous paper we proved that such formulas should exist. We give applications to the dimension of secant varieties of surfaces and three-folds.
We give a new residual intersection decomposition for the refined intersection products of Fulton-MacPherson. Our formula refines the celebrated residual intersection formula of Fulton, Kleiman, Laksov, and MacPherson. The new decomposition is more likely to be compatible with the canonical decomposition of the intersection products and each term in the decomposition thus has simple geometric meaning. Our study is motivated by its applications to some geometric problems. In particular, we use the decomposition to find the distribution of limiting linear subspaces in degenerations of hypersurfa…
We show the Cohen-Macaulayness and describe the canonical module of residual intersections $J=\mathfrak{a}\colon_R I$ in a Cohen-Macaulay local ring $R$, under sliding depth type hypotheses. For this purpose, we construct and study, using a recent article of Hassanzadeh and the second named author, a family of complexes that contains important informations on a residual intersection and its canonical module. We also determine several invariants of residual intersections as the graded canonical module, the Hilbert series, the Castelnuovo-Mumford regularity and the type. Finally, whenever $I$ is…
Schemes defined by residual intersections have been extensively studied in the case when they are Cohen-Macaulay, but this is a very restrictive condition. In this paper we make the first study of a class of natural examples far from satisfying this condition, the rank 1 loci of generic $2\times n$ matrices. Here we compute their depths and many other properties. These computations require a number of novel tools.
Cohen-Macaulayness, unmixedness, the structure of the canonical module and the stability of the Hilbert function of algebraic residual intersections are studied in this paper. Some conjectures about these properties are established for large classes of residual intersections without restricting local number of generators of the ideals involved. A family of approximation complexes for residual intersections is constructed to determine the above properties. Moreover some general properties of the symmetric powers of quotient ideals are determined which were not known even for special ideals with…
We construct an explicit homotopy formula for the d-bar complex on a complete intersection subvariety V in CP^n. This formula can be interpreted as a Hodge-type decomposition for residual currents on V.
If I is an ideal in a Gorenstein ring S and S/I is Cohen-Macaulay, then the same is true for any linked ideal I'. However, such statements hold for residual intersections of higher codimension only under very restrictive hypotheses, not satisfied even by ideals as simple as the ideal L_n of minors of a generic 2 x n matrix when n>3. In this paper we initiate the study of a different sort of Cohen-Macaulay property that holds for certain general residual intersections of the maximal (interesting) codimension, one less than the analytic spread of I. For example, we prove that if K is the residua…
Let $S$ be a smooth projective surface over $\mathbb{C}$. We study the local and global geometry of the nested Hilbert scheme of points $S^{[n,n+1,n+2]}$. In particular, we show that $S^{[n,n+1,n+2]}$ is an irreducible local complete intersection with klt singularities. In addition, we compute the Picard group of $S^{[n,n+1,n+2]}$ when $h^1(S,\mathcal{O}_S) = 0$. From the irreducibility of $S^{[n,n+1,n+2]}$, we deduce irreducibility for four other infinite families of nested Hilbert schemes. We give the first explicit example of a reducible nested Hilbert scheme, which allows us to show that $…
Our main theorem characterizes the complete intersections of codimension 2 in a projective space of dimension 3 or more over an algebraically closed field of characteristic 0 as the subcanonical and self-linked subschemes. In order to prove this theorem, we'll prove the Gherardelli linkage theorem, which asserts that a partial intersection of two hypersurfaces is subcanonical if and only if its residual intersection is, scheme-theoretically, the intersection of the two hypersurfaces with a third.
In this article we establish bounds for the Castelnuovo-Mumford regularity of projective schemes in terms of the degrees of their defining equations. The main new ingredient in our proof is to show that generic residual intersections of complete intersection rational singularities again have rational singularities. When applied to the theory of residual intersections this circle of ideas also sheds new light on some known classes of free resolutions of residual ideals.
We study the stable hyperelliptic locus, i.e. the closure, in the Deligne- Mumford moduli space of stable curves, of the locus of smooth hyperelliptic curves. Working on a suitable blowup of the relative Hilbert scheme (of degree 2) associated to a family of stable curves, we construct a bundle map ('degree-2 Brill-Noether') from a modification of the Hodge bundle to a tautological bundle, whose degeneracy locus is the natural lift of the stable hyperelliptic locus plus a simple residual scheme. Using intersection theory on Hilbert schemes and Fulton-Macpherson residual intersection theory, th…
We show that the residual categories of quadric surface bundles are equivalent to the (twisted) derived categories of some scheme under the following hypotheses. Case 1: The quadric surface bundle has a smooth section. Case 2: The total space of the quadric surface bundle is smooth and the base is a smooth surface. We provide two proofs in Case 1 describing the scheme as the hyperbolic reduction and as a subscheme of the relative Hilbert scheme of lines, respectively. In Case 2, the twisted scheme is obtained by performing birational transformations to the relative Hilbert scheme of lines. Fin…
We study a class obtained from the Segre class $s(Z,Y)$ of an embedding of schemes by incorporating the datum of a line bundle on $Z$. This class satisfies basic properties analogous to the ordinary Segre class, but leads to remarkably simple formulas in standard intersection-theoretic situations such as excess or residual intersections. We prove a formula for the behavior of this class under linear joins, and use this formula to prove that a `Segre zeta function' associated with ideals generated by forms of the same degree is a rational function.
We present the most complete list of mirror pairs of Calabi-Yau complete intersections in toric ambient varieties and develop the methods to solve the topological string and to calculate higher genus amplitudes on these compact Calabi-Yau spaces. These symplectic invariants are used to remove redundancies in examples. The construction of the B-model propagators leads to compatibility conditions, which constrain multi-parameter mirror maps. For K3 fibered Calabi-Yau spaces without reducible fibers we find closed formulas for all genus contributions in the fiber direction from the geometry of th…
We present a novel technique to obtain base independent expressions for the matter loci of fibrations of complete intersection Calabi-Yau onefolds in toric ambient spaces. These can be used to systematically construct elliptically and genus one fibered Calabi-Yau $d$-folds that lead to desired gauge groups and spectra in F-theory. The technique, which we refer to as GV-spectroscopy, is based on the calculation of fiber Gopakumar-Vafa invariants using the Batyrev-Borisov construction of mirror pairs and application of the so-called Frobenius method to the data of a parametrized auxiliary polyto…
In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection, in a different context. Namely she looks at residuals in the scheme theoretic intersection of a rational normal surface or 3-fold with two hypersurfaces of degree a and b. When the scroll is singular a complete intersection of type (a, b) on it may not be Gorenstein, in this case classical linkage, even if suitably generalized, does not apply. The main purpose of this article is to establish a framework allowing one to find relations between the dimension of some important cohomolo…
In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection of dim. 0 or 1 on arithmetically Cohen-Macaulay schemes of any dimension. Namely she looks at residuals in the scheme theoretic intersection of an aCM scheme of dim. r (resp. r+1) with r hypersurfaces of degree a_1,...,a_r. When the aCM scheme is singular a complete intersection on it may not be Gorenstein, in this case classical linkage, even if suitably generalized, does not apply. The main purpose of this paper is to prove some results related to the invariance of the deficiency …
