2023/10/02 by Michel D. Ferrari, Ferrari, M. D., V. H. Jorge Pérez +3
Mathematics · Neuroscience · #Commutative Algebra and Its Applications #Rings, Modules, and Algebras #Mind wandering and attention
paper · pdf · doi:10.48550/arxiv.2310.01216
In this paper, we prove the converse of Rees' mixed multiplicity theorem for modules, which extends the converse of the classical Rees' mixed multiplicity theorem for ideals given by Swanson - Theorem \refSwansonTheorem. Specifically, we demonstrate the following result: Let (R,\mathfrakm) be a d-dimensional formally equidimensional Noetherian local ring and E1,…,Ek be finitely generated R-submodules of a free R-module F of positive rank p, with xi∈ Ei for i=1,…,k. Consider \(S\), the symmetric algebra of \(F\), and \(IEi\), the ideal generated by the homogeneous component of degree 1 in the Rees algebra \([\mathscrR(Ei)]1\). Assuming that (x1,…,xk)S and IEi have the same height k and the same radical, if the Buchsbaum-Rim multiplicity of (x1,…,xk) and the mixed Buchsbaum-Rim multiplicity of the family E1,…,Ek are equal, i.e., \rm eBR((x1,…,xk)_\mathfrakp;R_\mathfrakp) = \rm eBR(E1_\mathfrakp,…, Ek_\mathfrakp,R_\mathfrakp) for all prime ideals \mathfrakp minimal over ((x1,…,xk):RF), then (x1,…,xk) is a joint reduction of (E1,…,Ek). In addition to proving this theorem, we establish several properties that relate joint reduction and mixed Buchsbaum-Rim multiplicities.