next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SegreClasses :: SegreClasses

SegreClasses -- Tests containment of varieties and computes algebraic multiplicity of subvarieties and Fulton-MacPherson intersection products - via a very general Segre class computation

Description

This package tests containment of (irreducible) varieties and computes Segre classes, algebraic multiplicity, and Fulton-MacPherson intersection products. More generally, for subschemes of \PP^{n_1}x...x\PP^{n_m}, this package tests if a top-dimensional irreducible component of the scheme associated to an ideal is contained in the scheme associated to another ideal. Specialized methods to test the containment of a variety in the singular locus of another are provided, these methods work without computing the ideal of the singular locus and can provide significant speed-ups relative to the standard methods when the singular locus has a complicated structure. The package works for subschemes of products of projective spaces. The package implements methods described in [1]. More details and relevant definitions can be found in [1].

References:\break [1] Corey Harris and Martin Helmer. "Segre class computation and practical applications." arXiv preprint arXiv:1806.07408 (2018). Link: https://arxiv.org/abs/1806.07408.

Authors

Version

This documentation describes version 1.02 of SegreClasses.

Source code

The source code from which this documentation is derived is in the file SegreClasses.m2. The auxiliary files accompanying it are in the directory SegreClasses/.

Exports

  • Functions and commands
    • chowClass -- Finds the (fundamental) class of a subscheme in the Chow ring of the ambient space
    • containedInSingularLocus -- This method tests is an irreducible variety is contained in the singular locus of the reduced scheme of an irreducible scheme
    • intersectionProduct -- A class in the Chow ring of the ambient space representing the Fulton-MacPherson intersection product of two schemes inside a variety
    • isComponentContained -- Tests containment of (irreducible) varieties
    • isMultiHom -- Tests if an ideal is multi-homogeneous with respect to the grading of its ring
    • makeChowRing -- Makes the Chow ring of a product of projective spaces.
    • makeProductRing -- Makes the coordinate ring of a product of projective spaces.
    • multiplicity -- This method computes the algebraic (Hilbert-Samuel) multiplicity
    • projectiveDegree -- This method computes a single projective degree of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
    • projectiveDegrees -- This method computes the projective degrees of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
    • segre -- This method computes the Segre class of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
    • segreDimX -- This method computes the dimension X part of the Segre class of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
  • Methods
    • "chowClass(Ideal)" -- see chowClass -- Finds the (fundamental) class of a subscheme in the Chow ring of the ambient space
    • "chowClass(Ideal,QuotientRing)" -- see chowClass -- Finds the (fundamental) class of a subscheme in the Chow ring of the ambient space
    • "containedInSingularLocus(Ideal,Ideal)" -- see containedInSingularLocus -- This method tests is an irreducible variety is contained in the singular locus of the reduced scheme of an irreducible scheme
    • "intersectionProduct(Ideal,Ideal,Ideal)" -- see intersectionProduct -- A class in the Chow ring of the ambient space representing the Fulton-MacPherson intersection product of two schemes inside a variety
    • "intersectionProduct(Ideal,Ideal,Ideal,QuotientRing)" -- see intersectionProduct -- A class in the Chow ring of the ambient space representing the Fulton-MacPherson intersection product of two schemes inside a variety
    • "isComponentContained(Ideal,Ideal)" -- see isComponentContained -- Tests containment of (irreducible) varieties
    • "isMultiHom(Ideal)" -- see isMultiHom -- Tests if an ideal is multi-homogeneous with respect to the grading of its ring
    • "makeChowRing(Ring)" -- see makeChowRing -- Makes the Chow ring of a product of projective spaces.
    • "makeChowRing(Ring,Symbol)" -- see makeChowRing -- Makes the Chow ring of a product of projective spaces.
    • "makeProductRing(List)" -- see makeProductRing -- Makes the coordinate ring of a product of projective spaces.
    • "makeProductRing(Ring,List)" -- see makeProductRing -- Makes the coordinate ring of a product of projective spaces.
    • "projectiveDegree(Ideal,Ideal,RingElement)" -- see projectiveDegree -- This method computes a single projective degree of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
    • "projectiveDegrees(Ideal,Ideal)" -- see projectiveDegrees -- This method computes the projective degrees of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
    • "projectiveDegrees(Ideal,Ideal,QuotientRing)" -- see projectiveDegrees -- This method computes the projective degrees of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
    • "segre(Ideal,Ideal)" -- see segre -- This method computes the Segre class of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
    • "segre(Ideal,Ideal,QuotientRing)" -- see segre -- This method computes the Segre class of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
    • "segreDimX(Ideal,Ideal,QuotientRing)" -- see segreDimX -- This method computes the dimension X part of the Segre class of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces

For the programmer

The object SegreClasses is a package.