A relative Segre zeta function

DOI10.1016/J.JPAA.2020.106437MaRDI QIDQ2220188zbMATH OpenOpenAlexFDO

Authors Grayson Jorgenson

Publication date 22 January 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture) (14G10)

Abstract: The choice of a homogeneous ideal in a polynomial ring defines a closed subscheme $Z$ in a projective space as well as an infinite sequence of cones over $Z$ in progressively higher dimension projective spaces. Recent work of Aluffi introduces the Segre zeta function, a rational power series with integer coefficients which captures the relationship between the Segre class of $Z$ and those of its cones. The goal of this note is to define a relative version of this construction for closed subschemes of projective bundles over a smooth variety. If $Z$ is a closed subscheme of such a projective bundle $P(E)$, this relative Segre zeta function will be a rational power series which describes the Segre class of the cone over $Z$ in every projective bundle "dominating" $P(E)$. When the base variety is a point we recover the absolute Segre zeta function for projective spaces. Part of our construction requires $Z$ to be the zero scheme of a section of a bundle on $P(E)$ of rank smaller than that of $E$ that is able to extend to larger projective bundles. The question of what bundles may extend in this sense seems independently interesting and we discuss some related results, showing that at a minimum one can always count on direct sums of line bundles to extend. Furthermore, the relative Segre zeta function depends only on the Segre class of $Z$ and the total Chern class of the bundle defining $Z$, and the basic forms of the numerator and denominator can be described. As an application of our work we derive a Segre zeta function for products of projective spaces and prove its key properties.

Recommendations

• The Segre zeta function of an ideal
• Tensored Segre classes
• scientific article; zbMATH DE number 4042060
• Newton-Okounkov bodies and Segre classes
• Segre classes of monomial schemes

Cites work

• 3264 and all that. A second course in algebraic geometry
• A Criterion for the Splitting of a Vector Bundle
• A decomposability criterion for algebraic 2-bundles on projective spaces
• 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 of splayed intersections
• Computing characteristic classes of projective schemes.
• Computing Segre classes in arbitrary projective varieties
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• scientific article; zbMATH DE number 1996517 (Why is no real title available?)
• scientific article; zbMATH DE number 745256 (Why is no real title available?)
• Reflexive pull-backs and base extension
• The Chern-Schwartz-MacPherson class of an embeddable scheme
• The Segre zeta function of an ideal

Cited in

(8)

• Relative zeta functions, relative determinants and scattering theory
• Higher rank Segre integrals over the Hilbert scheme of points
• The Segre zeta function of an ideal
• Newton-Okounkov bodies and Segre classes
• Tensored Segre classes
• The Chern-Schwartz-MacPherson class of an embeddable scheme
• Lorentzian polynomials, Segre classes, and adjoint polynomials of convex polyhedral cones
• Segre classes and integral dependence

Describes a project that uses

Uses Software

• Macaulay2
• CSM-A
• CharacteristicClasses
• FMPIntersectionTheory
• Book3264Examples

This page was built for publication: A relative Segre zeta function

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