New formulas are given for Chow forms, discriminants and resultants arising from (not necessarily normal) toric varieties of codimension 2. Exact descriptions are also given for the secondary polygon and for the Newton polygon of the discriminant.
We provide explicit combinatorial descriptions of the primary components of codimension two lattice basis ideals. As an application, we compute the set of parameters for which a bivariate Horn system of hypergeometric differential equations is holonomic.
We prove that in the parameter space of $M$-dimensional Fano complete intersections of index one and codimension two the locus of varieties that are not birationally superrigid has codimension at least $\frac12 (M-9)(M-10)-1$.
In the present note we study certain arrangements of codimension $2$ flats in projective spaces, we call them "Fermat arrangements". We describe algebraic properties of their defining ideals. In particular, we show that they provide counterexamples to an expected containment relation between ordinary and symbolic powers of homogeneous ideals.
We investigate the relation between codimension two smooth complete intersections in a projective space and some naturally associated graded algebras. We give some examples of log-concave polynomials and we propose two conjectures for these algebras.
We develop reductions for classifications of singularities of orbit closures in module varieties. Then we show that the orbit closures for representations of Dynkin quivers are regular in codimension two.
We prove the following: (a) Let X be a smooth, codimension two subvariety of P6. If X lies on a hyperquintic or if deg(X)<74, then X is a complete intersection. (b) Let X be a smooth, subcanonical threefold in P5. If X lies on a hyperquartic, then X is a complete intersection.
We make precise the structure of the first two reduction morphisms associated with codimension two nonsingular subvarieties of quadrics $\Q{n}$, $n\geq 5$. We give a coarse classification of the same class of subvarieties when they are assumed to be not of log-general-type. Keywords: Adjunction Theory, classification, codimension two, conic bundles, low codimension, non log-general-type, quadric, reduction, special variety
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 consider smooth codimension two subcanonical subvarieties in $\mathbb{P}^n$ with $n \geq 5$, lying on a hypersurface of degree $s$ having a linear subspace of multiplicity $(s-2)$. We prove that such varieties are complete intersections. We also give a little improvement to some earlier results on the non existence of rank two vector bundles on $\mathbb{P}^4$ with small Chern classes.
Elimination theory has many applications, in particular, it describes explicitly an image of a complex line under rational transformation and determines the number of common zeroes of two polynomials in one variable. We generalize classical elimination theory and create elimination theory along an algebraic curve using the notion of determinantal representation of algebraic curve. This new theory allows to describe explicitly an image of a plane algebraic curve under rational transformation and to determine the number of common zeroes of two polynomials in two variables on a plane algebraic cu…
Let $X$ be a codimension two nonsingular subvariety of a nonsingular quadric $\Q{n}$ of dimension $n\geq 5$. We classify such subvarieties when they are scrolls. We also classify them when the degree $d\leq 10$. Both results were known when $n=4$. Keywords: Classification; liaison; low codimension; low degree; quadric; scroll; vector bundle
Generic linkage is used to compute a prime ideal such that the radical of the initial ideal of the prime ideal is equal to the radical of a given codimension two monomial ideal that has a Cohen-Macaulay quotient ring.
Let us consider the locus in the moduli space of curves of genus 2k defined by curves with a pencil of degree k. Since the Brill-Noether number is equal to -2, such a locus has codimension two. Using the method of test surfaces, we compute the class of its closure in the moduli space of stable curves.
We define higher categorical invariants (gerbes) of codimension two algebraic cycles and provide a categorical interpretation of the intersection of divisors on a smooth proper algebraic variety. This generalization of the classical relation between divisors and line bundles furnishes a new perspective on the Bloch-Quillen formula.
We define the monomial invariants of a projective variety $Z$; they are invariants coming from the generic initial ideal of $Z$. Using this notion, we generalize a result of Cook: If $Z$ is an integral variety of codimension two, satisfying the additional hypothesis $s_Z=s_Γ,$ then its monomial invariants are connected.
We prove that there are only finitely many families of codimension two nonsingular subvarieties of quadrics $\Q{n}$ which are not of general type, for $n=5$ and $n\geq 7$. We prove a similar statement also for the case of higher codimension. The case $n=6$ has been recently settled by Fania-Ottaviani. Keywords: Codimension two, Grassmannians, Lifting, Low codimension, Not of General Type, Polynomial Bound, Quadrics
Suppose that $X_A\subset \mathbb{P}^{n-1}$ is a toric variety of codimension two defined by an $(n-2)\times n$ integer matrix $A$, and let $B$ be a Gale dual of $A$. In this paper we compute the Euclidean distance degree and polar degrees of $X_A$ (along with other associated invariants) combinatorially working from the matrix $B$. Our approach allows for the consideration of examples that would be impractical using algebraic or geometric methods. It also yields considerably simpler computational formulas for these invariants, allowing much larger examples to be computed much more quickly than…
Let M and N be two representations of an extended Dynkin quiver such that the orbit O_N of N is contained in the orbit closure \bar{O_M} and has codimension two. We show that the pointed variety $(\bar{O_M},N)$ is smoothly equivalent to a simple surface singularity of type A_n, or to the cone over a rational normal curve.
We classify codimension two analytic submanifolds X of projective space having the property that any line through a general point p having contact to order two with X at p automatically has contact to order three. We give applications to the study of the Debarre--de Jong conjecture, and of n-dimensional varieties whose Fano variety of lines has dimension 2n-4.
In this paper we investigate special arrangements of lines in multiprojective spaces. In particular, we characterize codimensional two arithmetically Cohen-Macaulay (ACM) varieties in $\mathbb P^1\times\mathbb P^1\times\mathbb P^1$, called varieties of lines. We also describe their ACM property from combinatorial algebra point of view.
We study the component H_n of the Hilbert scheme whose general point parameterizes a pair of codimension two linear subspaces in P^n for n > 2. We show that H_n is smooth and isomorphic to the blow-up of the symmetric square of G(n-2,n) along the diagonal. Further H_n intersects only one other component in the full Hilbert scheme, transversely. We determine the stable base locus decomposition of its effective cone and give modular interpretations of the corresponding models, hence conclude that H_n is a Mori dream space.
Every normal toric ideal of codimension two is minimally generated by a Grobner basis with squarefree initial monomials. A polynomial time algorithm is presented for checking whether a toric ideal of fixed codimension is normal.
We prove the conjecture that two projective symplectic resolutions for a symplectic variety $W$ are related by Mukai's elementary transformations over $W$ in codimension 2 in the following cases: (i). nilpotent orbit closures in a classical simple complex Lie algebra; (ii). some quotient symplectic varieties.
Let $V$ be a smooth, projective, rationally connected variety, defined over a number field $k$, and let $Z\subset V$ be a closed subset of codimension at least two. In this paper, for certain choices of $V$, we prove that the set of $Z$-integral points is potentially Zariski dense, in the sense that there is a finite extension $K$ of $k$ such that the set of points $P\in V(K)$ that are $Z$-integral is Zariski dense in $V$. This gives a positive answer to a question of Hassett and Tschinkel from 2001.
Arrondo, Sols and De Cataldo proved that there are only finitely many families of codimension two subvarieties not of general type in the smooth quadric of dimension $n+2$ for $n\ge 2 $, $n\neq 4$. In this paper we drop the assumption $n\neq 4$ from the previous result (obviously the assumption $n\ge 2$ cannot be removed).
We study the singular set of a codimension one holomorphic foliations on $\mathbb{P}^3$. We find a local normal form of a codimension two component of the singular set that is not of Kupka type. We also determined the number of non-Kupka points immersed in a codimension two component of the singular set of a codimension one foliation on $\mathbb{P}^3$.
We present a polynomial partitioning theorem for finite sets of points in the real locus of an irreducible complex algebraic variety of codimension at most two. This result generalizes the polynomial partitioning theorem on the Euclidean space of Guth and Katz, and its extension to hypersurfaces by Zahl and by Kaplan, Matoušek, Sharir and Safernová. We also present a bound for the number of incidences between points and hypersurfaces in the four-dimensional Euclidean space. It is an application of our partitioning theorem together with the refined bounds for the number of connected components …
In this paper, we prove that the statement: ``The (Generalized) Hodge Conjecture holds for codimension-two cycles on a smooth projective variety $X$" is a birationally invariant statement, that is, if the statement is true for $X$, it is also true for all smooth varieties $X'$ which are birationally equivalent to $X$. We also prove the analogous result for 1-cycles. As direct corollaries, the Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to five, and, the Generalized Hodge Conjecture holds for smooth rational projective manifolds with dimensi…
This paper is a subsequent paper of math.RT/0607673. Here we consider the irreducible components of Springer fibres (or orbital varieties) for two-column case in GL}_n. We describe the intersection of two irreducible components, and specially give the necessary and sufficient condition for this intersection to be of codimension one. Since an orbital variety in two-column case is a finite union of the Borel orbits, we solve the initial question by determining orbits of codimension one in the closure of a given orbit. We show that they are parameterized by a specific set of involutions called de…
Given a polyhedral cone sigma with smooth two-dimensional faces and, moreover, a lattice point R in the dual cone of sigma, we describe the part of the versal deformation of the associated toric variety TV(sigma) that is built from the deformation parameters of multidegree R. Let Q the polyhedron obtained by intersecting sigma with the hyperplane R=1. Then the base space is (the germ of) an affine scheme that reflects certain possibilities of splitting Q into Minkowski summands.
Let $f \colon X \to Y$ be the blow-up of a smooth projective variety $Y$ along its codimension two smooth closed subvariety. In this paper, we show that the moduli space of stable sheaves on $X$ and $Y$ are connected by a sequence of flip-like diagrams. The result is a higher dimensional generalization of the result of Nakajima and Yoshioka, which is the case of $\dim Y=2$. As an application of our general result, we study the birational geometry of the Hilbert scheme of two points.
We study codimension two determinantal varieties with isolated singularities. These singularities admit a unique smoothing, thus we can define their Milnor number as the middle Betti number of their generic fiber. For surfaces in C^4, we obtain a Lê-Greuel formula expressing the Milnor number of the surface in terms of the second polar multiplicity and the Milnor number of a generic section. We also relate the Milnor number with Ebeling and Gusein-Zade index of the 1- form given by the differential of a generic linear projection defined on the surface. To illustrate the results, in the last se…
We compute the singular support and the characteristic cycle of a rank 1 sheaf on a smooth variety in codimension 2 using ramification theory, when the ramification of the sheaf is clean. We develop a general theory, called the partially logarithmic ramification theory, and define an algebraic cycle on a logarithmic cotangent bundle with partial logarithmic poles along the boundary. We prove that the inverse image of the support of the cycle and the pull-back of the cycle to the cotangent bundle are equal to the singular support and the characteristic cycle, respectively, outside a closed subs…
[Inserted by J. Maurice Rojas] We give a formula for the number of complex roots of a generic system of two polynomial equations in two unknowns. The formula is completely combinatorial, ultimately depending just on the convex hull of the exponent vectors of the equations. This formula presents the first known pre-cursor to David N. Bernstein's theorem relating mixed volumes and the number of roots in the complex algebraic torus of a system of polynomial equations. More precisely, our formula is a special case of a formula derived in 1994 by T. Y. Li and Xiaoshen Wang.
We study birational maps with empty base locus defined by almost complete intersection ideals. Birationality is shown to be expressed by the equality of two Chern numbers. We provide a relatively effective method of their calculation in terms of certain Hilbert coefficients. In dimension two the structure of the irreducible ideals leads naturally to the calculation of Sylvester determinants via a computer-assisted method. For degree at most 5 we produce the full set of defining equations of the base ideal. The results answer affirmatively some questions raised by D. Cox.