Segre class computation and practical applications

DOI10.1090/MCOM/3448MaRDI QIDQ5235111zbMATH OpenOpenAlexWikidataFDO

Authors Corey Harris, Martin Helmer

Publication date 7 October 2019

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

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

zbMATH Keywords

computational algebraic geometryintersection theoryprojective topic varietiesschemesSegre classes

Mathematics Subject Classification ID

Multiplicity theory and related topics (13H15) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25) Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Divisors, linear systems, invertible sheaves (14C20) Computational aspects of higher-dimensional varieties (14Q15) Symbolic computation and algebraic computation (68W30)

Abstract: Let $XsubsetY$ be closed (possibly singular) subschemes of a smooth projective toric variety $T$. We show how to compute the Segre class $s(X,Y)$ as a class in the Chow group of $T$. Building on this, we give effective methods to compute intersection products in projective varieties, to determine algebraic multiplicity without working in local rings, and to test pairwise containment of subvarieties of $T$. Our methods may be implemented without using Groebner bases; in particular any algorithm to compute the number of solutions of a zero-dimensional polynomial system may be used.

Recommendations

• Segre classes on smooth projective toric varieties
• Computing Segre classes in arbitrary projective varieties
• A method to compute Segre classes of subschemes of projective space
• The Segre zeta function of an ideal
• How many hypersurfaces does it take to cut out a Segre class?

Cites work

• A concise proof of the Kronecker polynomial system solver from scratch
• A method to compute Segre classes of subschemes of projective space
• Algorithm 795
• Algorithms to compute the topological Euler characteristic, Chern-Schwartz-MacPherson class and Segre class of projective varieties
• Computing characteristic classes of projective schemes.
• Computing characteristic classes of subschemes of smooth toric varieties
• Computing Segre classes in arbitrary projective varieties
• Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers
• scientific article; zbMATH DE number 3114810 (Why is no real title available?)
• scientific article; zbMATH DE number 52497 (Why is no real title available?)
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• scientific article; zbMATH DE number 3451984 (Why is no real title available?)
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• Polar classes of singular varieties
• Segre classes on smooth projective toric varieties
• Solving determinantal systems using homotopy techniques
• The Chern-Schwartz-MacPherson class of an embeddable scheme
• The Euclidean distance degree of smooth complex projective varieties
• THE GEOMETRY OF TORIC VARIETIES
• Toric varieties

Cited in

(18)

• The Segre zeta function of an ideal
• Maximum likelihood estimation of toric Fano varieties
• Segre classes on smooth projective toric varieties
• Inclusion-Exclusion and Segre Classes
• A method to compute Segre classes of subschemes of projective space
• The maximum likelihood degree of linear spaces of symmetric matrices
• Segre Classes and Invariants of Singular Varieties
• Computing characteristic classes of subschemes of smooth toric varieties
• Computing Segre classes in arbitrary projective varieties
• SegreClasses
• Probabilistic saturations and Alt's problem
• Complex Links and Hilbert–Samuel Multiplicities
• A note on the coSegre class of a subvariety
• Conormal spaces and Whitney stratifications
• Applications of intersection theory and gradients: from maximum likelihood to chromatic polynomials
• Faster computation of Whitney stratifications and their minimization
• Structural results of the gluing of schemes
• Spectral decomposition of Euler-Mellin integrals

Describes a project that uses

Uses Software

• Kronecker
• FMPIntersectionTheory
• CharacteristicClasses
• PHCpack
• CSM-A
• Macaulay2
• Bertini

This page was built for publication: Segre class computation and practical applications

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