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 expected dimension.
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.
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…
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.
We define and discuss some general properties of residual categories of Lefschetz decompositions in triangulated categories. In the case of the derived category of coherent sheaves on the Grassmannian $\text{G}(k,n)$ we conjecture that the residual category associated with Fonarev's Lefschetz exceptional collection is generated by a completely orthogonal exceptional collection. We prove this conjecture for $k = p$, a prime number, modulo completeness of Fonarev's collection (and for $p = 3$ we check this completeness).
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 prove that the signature of the Milnor fiber of smoothings of a $2$-dimensional isolated complete intersection singularity does not exceed the negative number determined by the geometric genus, the embedding dimension and the number of irreducible components of the exceptional set of the minimal resolution, which implies Durfee's weak conjecture and a partial answer to Kerner--Némethi's conjecture.
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…
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.
We study slope stability of smooth surfaces and its connection with exceptional divisors. We show that a surface containing an exceptional divisor with arithmetic genus at least two is slope unstable for some polarisation. In the converse direction we show that slope stability of surfaces can be tested with divisors, and prove that for surfaces with non-negative Kodaira dimension any destabilising divisor must have negative self-intersection and arithmetic genus at least two. We also prove that a destabilising divisor can never be nef, and as an application give an example of a surface that is…
We investigate the viability of defining an intersection product on algebraic cycles on a singular algebraic variety by pushing forward intersection products formed on a resolution of singularities. For varieties with resolutions having a certain structure (including all varieties over a field of characteristic zero), we obtain a stratification which reflects the geometry of the centers and the exceptional divisors. This stratification is sufficiently fine that divisors can be intersected with $r$-cycles (for $r \geq 1$), and 2-cycles can be intersected on a fourfold, provided their incidences…
This text is devoted to the following result, stemming out works of Bombieri, Masser, Zannier, and Maurin: Let $X$ be an complex algebraic (projective, connected) curve and let us consider $n$ rational functions $f_1,...,f_n$ on $X$ which are multiplicatively independent. The points $x$ of $X$ where their values $f_1(x),...,f_n(x)$ satisfy at least two independent multiplicative dependence relations form a finite set. We discuss the conjectural generalizations of this theorem (Bombieri, Masser, Zannier; Zilber; Pink) concerning the finiteness of points of a $d$-dimensional subvariety $X$ of a …
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 exceptional minuscule Schubert varieties and provide the defining equations of the defining ideals of their intersection with the big open cell. We also provide the resolutions of these ideals and characterize some of them in terms of fundamental examples of ideals in the theory of Gorenstein ideals.
We introduce the notion of resultant of two planar curves in the tropical geometry framework. We prove that the tropicalization of the algebraic resultant can be used to compute the stable intersection of two tropical plane curves. It is shown that, for two generic preimages of the curves to an algebraic framework, their intersection projects exactly onto the stable intersection of the curves. It is also given sufficient conditions for such a generality in terms of the residual coefficients of the algebraic coefficients of defining equations of the curves.
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…
In our previous paper we suggested a conjecture relating the structure of the small quantum cohomology ring of a smooth Fano variety to the structure of its derived category of coherent sheaves. Here we generalize this conjecture, make it more precise, and support by the examples of (co)adjoint homogeneous varieties of simple algebraic groups of Dynkin types $A_n$ and $D_n$, i.e., flag varieties $Fl(1,n;n+1)$ and isotropic orthogonal Grassmannians $OG(2,2n)$; in particular we construct on each of those an exceptional collection invariant with respect to the entire automorphism group. For $OG(2…
Heuristics based on the Sato--Tate conjecture suggest that an abelian surface defined over a number field has infinitely many places of split reduction. We prove this result for abelian surfaces having real multiplication. Similar to Charles' theorem on exceptional isogeny of reductions of a given pair of elliptic curves and Elkies' theorem on supersingular reductions of a given elliptic curve, our theorem shows that a density-zero set of primes pertaining to the reduction of abelian varieties is infinite. The proof relies on the Arakelov intersection theory on Hilbert modular surfaces.
We prove an equidistribution result for totally geodesic submanifolds in a compact locally symmetric space. In the case of Hermitian locally symmetric spaces, this gives a convergence theorem for currents of integration along totally geodesic subvarieties. As a corollary, we obtain that on a complex surface which is a compact quotient of the bidisc or of the 2-ball, there is at most a finite number of totally geodesic curves with negative self intersection. More generally, we prove that there are only finitely many exceptional totally geodesic divisors in a compact Hermitian locally symmetric …
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.
Let $X$ be a del Pezzo surface of degree one over an algebraically closed field $k$, and let $K_X$ be its canonical divisor. The morphism $φ$ induced by the linear system $|-2K_X|$ realizes $X$ as a double cover of a cone in $\mathbb{P}^3$ that is ramified over a smooth curve of degree 6. The surface $X$ contains 240 curves with negative self-intersection, called exceptional curves. We prove that for a point~$P$ on the ramification curve of $φ$, at most sixteen exceptional curves go through~$P$ in characteristic $2$, and at most ten in all other characteristics. Moreover, we prove that for a p…
Let f(x,y)=0 be an equation of plane analytic curve defined in the neighborhood of the origin and let $π:M\to(\Cn^2,0)$ be a local toric modification. We give a formula which connects a number of double points δ_0(f)$ with a sum $\sum_p δ_p(\tilde f)$ which runs over all intersection points of the proper preimage of f=0 with the exceptional divisor.
