Computing Segre classes in arbitrary projective varieties

DOI10.1016/J.JSC.2016.09.003MaRDI QIDQ512364zbMATH OpenOpenAlexFDO

Authors Corey Harris

Publication date 24 February 2017

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1511.06906

zbMATH Keywords

characteristic classChern-Mather classChern-Schwartz-MacPherson classcomputational algebraic geometryEuclidean distance degreeintersection theoryMacaulay2Segre class

Mathematics Subject Classification ID

(Equivariant) Chow groups and rings; motives (14C15) Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Projective techniques in algebraic geometry (14N05) Computational aspects of higher-dimensional varieties (14Q15) Numerical approximation and computational geometry (primarily algorithms) (65D99) Symbolic computation and algebraic computation (68W30)

Abstract: 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 solve the problem in special cases, where the ambient variety is for instance projective space; to our knowledge, this is the first algorithm to be able to compute Segre classes in projective varieties with arbitrary singularities.

Recommendations

• Segre classes on smooth projective toric varieties
• Algorithms to compute the topological Euler characteristic, Chern-Schwartz-MacPherson class and Segre class of projective varieties
• A method to compute Segre classes of subschemes of projective space
• Segre class computation and practical applications
• Segre classes of monomial schemes

Cites work

• A method to compute Segre classes of subschemes of projective space
• Algorithms to compute the topological Euler characteristic, Chern-Schwartz-MacPherson class and Segre class of projective varieties
• Chern classes for singular hypersurfaces
• Computing characteristic classes of projective schemes.
• Computing characteristic classes of subschemes of smooth toric varieties
• Degrees of projections of rank loci
• scientific article; zbMATH DE number 4127363 (Why is no real title available?)
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• Interpolation of characteristic classes of singular hypersurfaces.
• Monomial principalization in the singular setting
• Polar classes of singular varieties
• Segre classes as integrals over polytopes
• Segre classes on smooth projective toric varieties
• The geometric and numerical properties of duality in projective algebraic geometry

Cited in

(29)

• A formula for Segre classes of singular projective varieties
• Numerical polar calculus and cohomology of line bundles
• Mixed multiplicities, Segre numbers and Segre classes
• A Macaulay2 package for computations with rational maps
• The Euclidean distance degree of smooth complex projective varieties
• Computing characteristic classes of projective schemes.
• A relative Segre zeta function
• Computing projective equivalences of special algebraic varieties
• The Segre zeta function of an ideal
• Segre classes of monomial schemes
• Enumeration of singular algebraic curves
• Partitioning projective geometries into Segre varieties
• FMPIntersectionTheory
• scientific article; zbMATH DE number 4042060 (Why is no real title available?)
• Segre classes on smooth projective toric varieties
• Inclusion-Exclusion and Segre Classes
• scientific article; zbMATH DE number 1996400 (Why is no real title available?)
• Projective duality and a Chern-Mather involution
• A method to compute Segre classes of subschemes of projective space
• Algorithms to compute the topological Euler characteristic, Chern-Schwartz-MacPherson class and Segre class of projective varieties
• Segre classes as integrals over polytopes
• Segre Classes and Invariants of Singular Varieties
• Computing characteristic classes of subschemes of smooth toric varieties
• Segre class computation and practical applications
• Complex Links and Hilbert–Samuel Multiplicities
• Virtual Segre and Verlinde numbers of projective surfaces
• Applications of intersection theory and gradients: from maximum likelihood to chromatic polynomials
• Local Euler obstructions of reflexive projective varieties
• Algorithmetical aspects of the problem of classifying multi-projections of Veronesian varieties

Describes a project that uses

Uses Software

• Macaulay2
• CharacteristicClasses
• CSM-A

This page was built for publication: Computing Segre classes in arbitrary projective varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q512364)