A relative Segre zeta function

DOI10.1016/J.JPAA.2020.106437zbMATH Open1453.14020arXiv1906.09651OpenAlexW3024035020MaRDI QIDQ2220188FDOQ2220188

Authors: Grayson Jorgenson 

Publication date: 22 January 2021

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

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.

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

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

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)

Cites Work

• Computing characteristic classes of projective schemes.
• 3264 and all that. A second course in algebraic geometry
• Algorithms to compute the topological Euler characteristic, Chern-Schwartz-MacPherson class and Segre class of projective varieties
• Computing Segre classes in arbitrary projective varieties
• Title not available (Why is that?)
• Title not available (Why is that?)
• A method to compute Segre classes of subschemes of projective space
• Reflexive pull-backs and base extension
• Chern classes of splayed intersections
• The Segre zeta function of an ideal
• A Criterion for the Splitting of a Vector Bundle
• A decomposability criterion for algebraic 2-bundles on projective spaces
• Title not available (Why is that?)
• The Chern-Schwartz-MacPherson class of an embeddable scheme
• Title not available (Why is that?)

Cited In (7)

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

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)