October 15, 2014
Let $V$ be a possibly singular scheme-theoretic complete intersection subscheme of $\mathbb{P}^n$ over an algebraically closed field of characteristic zero. Using a recent result of Fullwood ("On Milnor classes via invariants of singular subschemes", Journal of Singularities) we develop an algorithm to compute the Chern-Schwartz-MacPherson class and Euler characteristic of $V$. This algorithm complements existing algorithms by providing performance improvements in the computation of the Chern-Schwartz-MacPherson class and Euler characteristic for certain types of complete intersection subschemes of $\mathbb{P}^n$.
Similar papers 1
February 12, 2014
Let $V$ be a closed subscheme of a projective space $\mathbb{P}^n$. We give an algorithm to compute the Chern-Schwartz-MacPherson class, Euler characteristic and Segre class of $ V$. The algorithm can be implemented using either symbolic or numerical methods. The algorithm is based on a new method for calculating the projective degrees of a rational map defined by a homogeneous ideal. Using this result and known formulas for the Chern-Schwartz-MacPherson class of a projective...
January 17, 2013
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 topological Euler characteristic, this also yields a method to compute the topological Euler characteristic of projective varieties. The method is based on Aluffi's symbolic algorithm to compute degrees of Chern-Schwartz-MacPherson classes, a sy...
April 27, 2016
For a large class of possibly singular complete intersections we prove a formula for their Chern-Schwartz-MacPherson classes in terms of a single blowup along a scheme supported on the singular loci of such varieties. In the hypersurface case our formula recovers a formula of Aluffi proven in 1996. As our formula is in no way tailored to the complete intersection hypothesis, we conjecture that it holds for all closed subschemes of a smooth variety. If in fact true, such a for...
May 28, 2018
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. We generalize this formula to arbitrary embeddable schemes: for every subscheme $X$ of a nonsingular variety $V$, we define an associated subscheme $Y$ of a projective bundle over $V$ and provide an explicit formula for the Chern-Schwartz-...
March 11, 2021
In this note we introduce the concept of reflective projective varieties. These are stratified projective varieties with certain dimension constraints on their dual varieties. We prove that for such varieties, the Chern-Schwartz-MacPherson classes of the strata completely determine the local Euler obstructions and the polar degrees. We also propose an algorithm to compute the local Euler obstructions when such varieties are formed by group orbits. As examples we compute the l...
December 6, 2015
Topological invariants such as characteristic classes are an important tool to aid in understanding and categorizing the structure and properties of algebraic varieties. In this note we consider the problem of computing a particular characteristic class, the Chern-Schwartz-MacPherson class, of a complete simplicial toric variety X defined by a fan from the combinatorial data contained in the fan. Specifically, we give an effective combinatorial algorithm to compute the Chern-...
September 3, 2019
We consider two classical extensions for singular varieties of the usual Chern classes of complex manifolds, namely the total Schwartz-MacPherson and Fulton-Johnson classes, $c^{SM}(X)$ and $c^{FJ}(X)$. Their difference (up to sign) is the total Milnor class ${\mathcal M}(X)$, a generalization of the Milnor number for varieties with arbitrary singular set. We get first Verdier-Riemann-Roch type formulae for the total classes $c^{SM}(X)$ and $c^{FJ}(X)$, and use these to prove...
April 18, 2002
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 of the support of a projective scheme $S$, given the homogeneous ideal of $S$. The algorithm has been implemented in Macaulay2.
July 27, 2012
We obtain a precise relation between the Chern-Schwartz-MacPherson class of a subvariety of projective space and the Euler characteristics of its general linear sections. In the case of a hypersurface, this leads to simple proofs of formulas of Dimca-Papadima and Huh for the degrees of the polar map of a homogeneous polynomial, extending these formula to any algebraically closed field of characteristic~0, and proving a conjecture of Dolgachev on 'homaloidal' polynomials in th...
August 16, 2015
Let $X_{\Sigma}$ be a smooth complete toric variety defined by a fan $\Sigma$ and let $V=V(I)$ be a subscheme of $X_{\Sigma}$ defined by an ideal $I$ homogeneous with respect to the grading on the total coordinate ring of $X_{\Sigma}$. We show a new expression for the Segre class $s(V,X_{\Sigma})$ in terms of the projective degrees of a rational map specified by the generators of $I$ when each generator corresponds to a numerically effective (nef) divisor. Restricting to the ...