1993/08/11 by Javier Elizondo, Elizondo, Javier
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra and Its Applications #FOS: Mathematics #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.alg-geom/9308002
openalex publication_date 1993/08/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let X be an algebraic projective variety in \bf Pn. Denote by \cal Cλ the space of all effective cycles on X whose homology class is λ∈ H2p (X,\bf Z). It is easy to show that \cal Cλ is an algebraic projective variety. Let χ(\cal Cλ be its Euler characteristic. Define the Euler series of X by Ep = ∑_λ∈C χ(\cal Cλ λ ∈ \bf Z[[C]] where \bf Z[[C]] is the full algebra over \bf Z of the monoid C of all homology classes of effective p-cyles on X. This algebra is the ring of function (with respect the convolution product) over C. Denote by \bf Z[C] the ring of functions with finite support on C. We say that an element of \bf Z[[C]] is rational if it is the quotient of two elements in \bf Z[C]. If a basis for homology is fixed we can associated to any rationa element a rational function and therefore compute the Euler characteristic of \cal Cλ. We prove that Ep is rational for any projective variety endowed with an algebraic torus action in such a way that there are finitely many irreducible invariant subvarieties. If it is smooth we also define the equivariant Euler series and proved it is rational, we relate both series and compute some classical examples. The projective space \bf Pn, the blow up of \bf Pn at a point, Hirzebruch surfaces, the product of \bf Pn with \bf Pm.