1994/12/20 by Steven L. Kleiman, Anders Thorup, Kleiman, Steven +1 · 2 citations
Computer Science · Engineering · Mathematics · #13D40 #13H15 #14B05 #14C17 #Advanced Algebra and Logic #Advanced Topics in Algebra #Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #FOS: Mathematics #graph theory and CDMA systems
paper · pdf · doi:10.48550/arxiv.alg-geom/9412019
openalex publication_date 1994/12/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We prove the results about mixed Buchsbaum--Rim multiplicities announced in (9.10)(ii) on p.224 of our recent paper [J.Alg.(1994)], including a general mixed-multiplicity formula. In addition, we identify these multiplicities as the coefficients of the ``leading form'' of the appropriate Buchsbaum-Rim polynomial in three variables, and we prove a positivity theorem. In fact, we define the multiplicities as the degrees of certain zero-dimensional ``mixed twisted'' Segre classes, and we develop an encompassing general theory of these new rational equivalence classes in all dimensions. In parallel, we develop a theory of pure ``twisted'' Segre classes, and we recover the main results in [J.Alg.(1994)] about the pure Buchsbaum--Rim multiplicities, the polar multiplicities, and so forth. Moreover, we identify the additivity theorem [J.Alg.(1994), (6.7b)(i), p.205] as giving a sort of residual-intersection formula, and we show its (somewhat unexpected) connection to the mixed-multiplicity formula. Also, we work in a more general setup than before, and we develop a new approach, based on the completed normal cone.