The Segre zeta function of an ideal

TL;DR

This paper introduces the Segre zeta function, a rational power series associated with homogeneous ideals, revealing new properties and computational advantages in algebraic geometry.

Contribution

It defines the Segre zeta function, proves its rationality and dependence only on the ideal's integral closure, and explores its applications in computing Segre classes.

Findings

Segre zeta function is rational with poles at ideal generators.

Dependence only on the integral closure of the ideal.

Improves algorithms for Segre class computation.

Abstract

We define a power series associated with a homogeneous ideal in a polynomial ring, encoding information on the Segre classes defined by extensions of the ideal in projective spaces of arbitrarily high dimension. We prove that this power series is rational, with poles corresponding to generators of the ideal, and with numerator of bounded degree and with nonnegative coefficients. We also prove that this `Segre zeta function' only depends on the integral closure of the ideal. The results follow from good functoriality properties of the `shadows' of rational equivalence classes of projective bundles. More precise results can be given if all homogeneous generators have the same degree, and for monomial ideals. In certain cases, the general description of the Segre zeta function given here leads to substantial improvements in the speed of algorithms for the computation of Segre classes. We also compute the projective ranks of a nonsingular variety in terms of the corresponding zeta function, and we discuss the Segre zeta function of a local complete intersection of low codimension in projective space.