A Direct Algorithm to Compute the Topological Euler Characteristic and Chern-Schwartz-MacPherson Class of Projective Complete Intersection Varieties

We define the equivariant Chern-Schwartz-MacPherson class of a possibly singular algebraic variety with a group action over the complex number field (or a field of characteristic 0). In fact, we construct a natural transformation from the equivariant constructible function functor to the equivariant homology functor (in the sense of Totaro-Edidin-Graham), which may be regarded as MacPherson's transformation for (certain) quotient stacks. We discuss on other type Chern/Segre c...

Homotopy continuation provides a numerical tool for computing the equivalence of a smooth variety in an intersection product. Intersection theory provides a theoretical tool for relating the equivalence of a smooth variety in an intersection product to the degrees of the Chern classes of the variety. A combination of these tools leads to a numerical method for computing the degrees of Chern classes of smooth projective varieties in P^n. We illustrate the approach through seve...

A rational linear combination of Chern numbers is an oriented diffeomorphism invariant of smooth complex projective varieties if and only if it is a linear combination of the Euler and Pontryagin numbers. In dimension at least three only multiples of the top Chern number, which is the Euler characteristic, are invariant under diffeomorphisms that are not necessarily orientation-preserving. In the space of Chern numbers there are two distinguished subspaces, one spanned by the...

We construct the algebraic cobordism theory of bundles and divisors on smooth varieties. It has a simple basis (over Q) from projective spaces and its rank is equal to the number of Chern invariants. As an application we study the number of singular subvarieties satisfying given tangent conditions with a fixed smooth divisor, where the subvariety is the zero locus of a section of a vector bundle. We prove that the generating series gives a homomorphism from the algebraic cobo...

We prove a simple formula for MacPherson's Chern class of hypersurfaces in nonsingular varieties. The result highlights the relation between MacPherson's class and other definitions of homology Chern classes of singular varieties, such as Mather's Chern class and a class introduced by W. Fulton.

We give an algorithm for computing Segre classes of subschemes of arbitrary projective varieties by computing degrees of a sequence of linear projections. Based on the fact that Segre classes of projective varieties commute with intersections by general effective Cartier divisors, we can compile a system of linear equations which determine the coefficients for the Segre class pushed forward to projective space. The algorithm presented here comes after several others which sol...

The Macaulay2 package CharacteristicClasses provides commands for the computation of the topological Euler characteristic, the degrees of the Chern classes and the degrees of the Segre classes of a closed subscheme of complex projective space. The computations can be done both symbolically and numerically, the latter using an interface to Bertini. We provide some background of the implementation and show how to use the package with the help of examples.

We show that tautological integrals on Hilbert schemes of points can be written in terms of universal polynomials in Chern numbers. The results hold in all dimensions, though they strengthen known results even for surfaces by allowing integrals over arbitrary "geometric" subsets (and their Chern-Schwartz-MacPherson classes). We apply this to enumerative questions, proving a generalised G\"ottsche Conjecture for all singularity types and in all dimensions. So if L is a suffi...

We give a numerical algorithm computing Euler obstruction functions using maximum likelihood degrees. The maximum likelihood degree is a well-studied property of a variety in algebraic statistics and computational algebraic geometry. In this article we use this degree to give a new way to compute Euler obstruction functions. We define the maximum likelihood obstruction function and show how it coincides with the Euler obstruction function. With this insight, we are able to br...

We prove that there is an algorithm to compute the class of the intersection of the divisor of schemes incident to a fixed line with any other class of a basis of the Chow ring $A^*(\mathbb{P}^{2[N]})$ due to Mallavibarrena and Sols. This is progress towards a combinatorial description of the intersection product on the Hilbert scheme of points in the projective plane.