Related papers: Computing Segre classes in arbitrary projective va…
We present an algorithm for the symbolic and numerical computation of the degrees of the Chern-Schwartz-MacPherson classes of a closed subvariety of projective space P^n. As the degree of the top Chern-Schwartz-MacPherson class is the…
We discuss an algorithm computing the push-forward to projective space of several classes associated to a (possibly singular, reducible, nonreduced) projective scheme. For example, the algorithm yields the topological Euler characteristic…
Given a homogeneous ideal in a polynomial ring over C, we adapt the construction of Newton-Okounkov bodies to obtain a convex subset of Euclidean space such that a suitable integral over this set computes the Segre zeta function of the…
The degree of a projective subscheme has an upper bound in term of the codimension and the reduction number. If a projective variety has an almost maximal degree, that is, the degree equals to the upper bound minus one, then its Betti table…
We study virtual invariants of Quot schemes parametrizing quotients of dimension at most 1 of the trivial sheaf of rank N on nonsingular projective surfaces. We conjecture that the generating series of virtual K-theoretic invariants are…
A set of multi-homogeneous equations for the Jacobian of a genus two curve is given. The approach used is to write down affine equations for the Jacobian minus various tranlations of the Theta-divisor by [2]-division points, and then to…
We obtain several formulas for the Euclidean distance degree (ED degree) of an arbitrary nonsingular variety in projective space: in terms of Chern and Segre classes, Milnor classes, Chern-Schwartz-MacPherson classes, and an extremely…
There is an explicit formula expressing the Chern-Schwartz-MacPherson class of a hypersurface in a nonsingular variety (in characteristic $0$) in terms of the Segre class of its jacobian subscheme; this has been known for a number of years.…
The choice of a homogeneous ideal in a polynomial ring defines a closed subscheme $Z$ in a projective space as well as an infinite sequence of cones over $Z$ in progressively higher dimension projective spaces. Recent work of Aluffi…
Using the classical S.Lie method we obtain a complete description of infinitesimal symmetries of a holomorphic PDE system defining the Segre family of a real analytic hypersurface. This gives a new proof of some well known results of CR…
This paper studies the dimension of secant varieties to Segre varieties. The problem is cast both in the setting of tensor algebra and in the setting of algebraic geometry. An inductive procedure is built around the ideas of successive…
A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and…
We compute the multidegrees and the Segre numbers of general determinantal Cremona transformations, with generically reduced base scheme, by specializing to the standard Cremona transformation and computing its Segre class via mixed volumes…
We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally posed as questions in geometry and representation theory, (ii.)…
The Segre determinant is a polynomial which encodes the condition for points to lie on a bilinear hypersurface in the product of projective spaces. We study Segre determinants and compute them in various coordinate systems. We show that the…
We provide formulas for the degrees of the projections of the locus of square matrices with given rank from linear spaces spanned by a choice of matrix entries. The motivation for these computations stem from applications to `matrix…
On a smooth variety, Serre's intersection formula computes intersection multiplicities via an alternating sum of the lengths of Tor groups. When the variety is singular, the corresponding sum can be a divergent series. But there are…
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…
Let S be a nonsingular projective surface. Each vector bundle V on S of rank s induces a tautological vector bundle over the Hilbert scheme of n points of S. When s=1, the top Segre classes of the tautological bundles are given by a…
We generalize Fulton's Residual Intersection Theorem for the Segre class and express the Segre classes of schemes with regularly embedded components in terms of the Chern classes of the normal bundles to the components and their…