REVIEW 5 minor 24 references
Joint reductions and mixed Buchsbaum-Rim multiplicities of modules and a joint-reduction-number-zero theorem
T0 review · 0 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read For integrally closed modules, joint reductions collapse: M1M2 = B1M2 + M1B2.
desk verdict Genuinely new result answering Kleiman's question, with sound proofs I could verify; worth refereeing, though dense. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the new concept of a joint reduction: submodules $B_k\subseteq M_k$ generated by $r_k$ elements such that, for some $n$, the joint reduction equation $S^{n+1}(M_1)\cdots S^{n+1}(M_q)=B_1S^n(M_1)S^{n+1}(M_2)\cdots S^{n+1}(M_q)+\cdots+S^{n+1}(M_1)\cdots B_qS^n(M_q)$ holds in the symmetric algebra $S(M_1\oplus\cdots\oplus M_q)$. Theorem 7 shows this equational definition is equivalent to a valuative condition and to the determinantal condition that $\det(B_1),\ldots,\det(B_q)$ form a joint reduction of the maximal-minor ideals $I(M_1),\ldots,I(M_q)$. Existence of joint reductions rests on the analytic spread formula $a(S(M_1\oplus\cdots\oplus M_q))=r_1+\cdots+r_q+d-q$
What would settle it
Produce integrally closed finite-colength modules $M_1\subseteq R^{r_1}$, $M_2\subseteq R^{r_2}$ over $R=k[[x,y]]$ and a joint reduction $(B_1,B_2)$ for which the quotient $M_1M_2/(B_1M_2+M_1B_2)$ has positive length; Theorem 12 predicts zero. A direct calculation can be made, for example, with $M_1=(x,y)^2$ (rank one) and a rank-two integrally closed module with maximal-minor ideal $(x,y)^2$; the length of the quotient is then a finite number that either confirms or refutes the equality.
Extended reading notes
Core claim
Central theorem: for two integrally closed finite-colength modules $M_1\subseteq F_1$, $M_2\subseteq F_2$ over a two-dimensional regular local ring, every joint reduction $(B_1,B_2)$ satisfies $M_1M_2=B_1M_2+M_1B_2$. Equivalently, the joint reduction number is zero. This gives a strong positive answer to a question about extending the ideal-level joint-reduction theorem to modules: when the ring is a two-dimensional regular local ring and the modules are integrally closed, the product of the modules is already generated by the two joint-reduction summands. The proof uses the authors' new joint-reduction definition and two different strategies: (i) show that $B_1M_2+M_1B_2$ is a contracted mo
Load-bearing premise
The whole construction depends on the analytic spread formula $a(S(M_1\oplus\cdots\oplus M_q))=r_1+\cdots+r_q+d-q$: if a finite-colength module of rank $r$ could need more than $r+d-1$ generators for a minimal reduction, joint reductions would not be guaranteed to exist and the reduction-number-zero theorem would be vacuous.
Editorial extensions
If this is right
- For integrally closed modules over a two-dimensional regular local ring, any joint reduction already generates the product: $M_1M_2=B_1M_2+M_1B_2$.
- The mixed Buchsbaum-Rim multiplicity of modules is computable from determinants: $br(M_1|\cdots|M_d)=e(I(M_1)|\cdots|I(M_d))$, so module invariants reduce to ideal invariants.
- The same multiplicity is the Euler-Poincaré characteristic of the tensor-product Koszul complex of a joint reduction, and in the Cohen-Macaulay case it equals the length of $R/(\det\varphi_1,\ldots,\det\varphi_d)$.
- The Euler-characteristic comparison $\chi(K(\varphi_1,\ldots,\varphi_q))=\chi(K(\det\varphi_1,\ldots,\det\varphi_q))$ holds for arbitrary endomorphisms with finite-length homology, not only for joint-reduction maps.
- For integrally closed modules over two-dimensional regular local rings, the joint Buchsbaum-Rim function has a closed form reducing all joint symmetric-power lengths to single-module lengths and mixed multiplicities of maximal-minor ideals.
Reading between the lines
- A natural next step is a sheaf-theoretic version of Theorem 21: the proof is built from matrix factorizations and short exact sequences, so replacing free modules by vector bundles should yield the same Euler-characteristic identity.
- The authors leave open whether the multi-module reduction-number-zero statement holds for $q>2$ integrally closed modules without requiring every subcollection to be a joint reduction; a three-module example would clarify whether the pairwise condition is essential.
- Theorem 35 gives a concrete computational test: for explicit modules over $k[[x,y]]$, evaluating both sides for small $n_1,n_2$ detects failure of integral closedness or of the reduction-number-zero property.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes new definitions of joint reductions and mixed Buchsbaum-Rim multiplicities for collections of finite-colength submodules of free modules over a Noetherian local ring. It proves existence of joint reductions and establishes equivalent equational, valuative, and determinantal characterizations. The main result is a joint-reduction-number-zero theorem for integrally closed modules over a two-dimensional regular local ring, proved twice: once via the numerical characterization of contracted modules and once via the Hoskin-Deligne formula and the authors' mixed multiplicity theory. The paper also proves that the mixed Buchsbaum-Rim multiplicity equals the Euler-Poincaré characteristic of a tensor product of two-term Koszul complexes and equals the mixed multiplicity of the ideals of maximal minors, and it gives an explicit formula for the joint Buchsbaum-Rim function of integrally closed modules.
Significance. If the results hold, the paper gives a coherent module-theoretic extension of Rees's joint reduction theory and a nontrivial reduction-number-zero theorem for integrally closed modules. The proofs are detailed and largely self-contained, with an appendix supplying the joint Buchsbaum-Rim polynomial. Particular strengths are the relation br(M1|...|Md)=e(I1|...|Id) via a generalized Fulton lemma, the two independent proofs of Theorem 12, and the explicit formulas in Section 6. The analytic spread computation of Lemma 4 and Proposition 5, which underlies the existence of joint reductions, is sound; I found no load-bearing gap.
minor comments (5)
- [§1, Definition 2] The notation S(M)(1,1,...,1) is used to denote the ideal generated by the degree (1,...,1) component, but this is not explicitly defined. Please define it when first used.
- [§3, Proposition 18] The proof refers to a shaded region in N^2 that is not included in the manuscript. Since the argument is otherwise clear, a figure or a precise description of the region would improve readability.
- [§5, Proposition 28] In the proof, 'ker(∂2) = im(∂1)' appears; with the indexing of the complex in Lemma 27 this should be 'ker(∂1) = im(∂2)'. The intended meaning is clear, but the typo should be corrected.
- [§5, Theorem 32] The proof cites 'Corollary 19', which does not appear in the paper; the reference is likely to Theorem 25 or a Corollary in Section 4. Also, the final sentence 'As before, the case q>2 reduces...' is extraneous because Theorem 32 concerns exactly two modules.
- [§7, Appendix] The notation R is overloaded: R denotes both the base local ring and the Rees algebra R = S0[Mt]. Using a different font, e.g. \mathcal{R}, would avoid confusion.
Circularity Check
No significant circularity: the central theorem is proved from independent results; self-citations are supporting tools, not the target claim.
full rationale
The paper's main claim, Theorem 12, is not built into its definitions. A joint reduction is defined for some n≥0, so concluding that the joint reduction number is zero is genuine content, not a tautology. The mixed Buchsbaum-Rim multiplicity is defined via the joint Buchsbaum-Rim polynomial and is then shown to equal the Euler characteristic of a Koszul-type complex (Theorem 15) and the ideal mixed multiplicity (Theorem 25); these are proved equalities rather than definitions. Existence of joint reductions relies on Proposition 5 and Lemma 4, whose proof uses Rees's theorem on minimal reductions, Eagon's height bound, and Kirby--Rees's multigraded analytic-spread theorem — independent external results. The paper does cite prior work by the same authors ([Kdy1995], [KtzKdy1997], [KdyMhn2015]) and uses it in essential ways, but those are published, independently proved results that do not already contain the joint-reduction-number-zero theorem. The induction in Theorem 12 uses Kodiyalam's numerical characterization of contracted modules and Buchsbaum-Rim multiplicity descent; these are tools, not the target conclusion. No fitted parameter is relabeled as a prediction, and no uniqueness theorem is imported to forbid alternatives. One caveat: the proof of Proposition 5 contains a degree-counting step that appears to conflate the total degree of a multigraded Hilbert polynomial with the sum of its univariate degrees; this is a possible correctness gap, but it is not a circularity and does not affect the circularity score.
Assumptions & free parameters
assumptions (6)
- domain assumption Rees's theorem for ideals and the theory of mixed multiplicities of ideals.
- domain assumption Kirby-Rees theory of analytic spread and joint reductions in multigraded algebras (Theorem 1.6 of [KrbRes1994]).
- domain assumption Kodiyalam's structure theory of integrally closed modules over two-dimensional regular local rings: nu(M)=ord(M)+rank(M), contraction characterization, quadratic transform behavior ([Kdy1995]).
- domain assumption Hoskin-Deligne length formula for integrally closed modules (Theorem 29, [KdyMhn2015]).
- domain assumption Rees's reduction theory for modules, including existence of minimal reductions generated by a elements ([Res1987]).
- standard math Peskine-Szpiro acyclicity lemma and standard facts about Koszul complexes and Fitting ideals.
Cite this review
Pith. "Pith review of Joint reductions and mixed Buchsbaum-Rim multiplicities of modules and a joint-reduction-number-zero theorem." pith.science (2026). https://pith.science/paper/NZAVDHSB
@misc{pith2026250807437,
author = {Pith},
title = {Pith review of: Joint reductions and mixed Buchsbaum-Rim multiplicities of modules and a joint-reduction-number-zero theorem},
year = {2026},
howpublished = {\url{https://pith.science/paper/NZAVDHSB}},
note = {Machine review of arXiv:2508.07437}
}
read the original abstract
We offer new definitions of joint reductions and mixed Buchsbaum-Rim multiplicity for certain collections of modules over a Noetherian local ring and illustrate their application to give two different proofs of a joint-reduction-number-zero theorem for integrally closed modules over two-dimensional regular local rings. We also relate the mixed Buchsbaum-Rim multiplicity of modules to the Euler-Poincar\'{e} characteristic of a natural Koszul complex and relate it to the mixed Buchsbaum-Rim multiplicity of ideals by generalising a lemma from intersection theory.
Reference graph
Works this paper leans on
-
[1]
39, Cambridge University Press, Cambridge, 1993
Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, Vol. 39, Cambridge University Press, Cambridge, 1993
work page 1993
-
[2]
W. Bruns and W. V. Vasconcelos, Minors of symmetric and exterior powers, J. Pure Appl. Algebra 179 (2003), no. 3, 235--240
work page 2003
-
[3]
R. Callejas-Bedregal and V. H. Jorge P\'erez, Mixed multiplicities and the minimal number of generators of modules, J. Pure Appl. Algebra 204 (2010), 1642--1643
work page 2010
-
[4]
Yairon Cid-Ruiz, Relative mixed multiplicities and mixed Buchsbaum-Rim multiplicities, arXiv:2311.15105, 2024
work page Pith review arXiv 2024
-
[5]
William Fulton, Intersection Theory, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, Vol. 2, Springer-Verlag, Berlin, 1998, xiv+470 pages
work page 1998
-
[6]
Grothendieck, \'El\'ements de g\'eom\'etrie alg\'ebrique
A. Grothendieck, \'El\'ements de g\'eom\'etrie alg\'ebrique. IV. \'Etude locale des sch\'emas et des morphismes de sch\'emas IV, Inst. Hautes \'Etudes Sci. Publ. Math. 32 (1967)
work page 1967
-
[7]
B. Johnston and J.K. Verma, On the length formula of Hoskin and Deligne and associated graded rings of two-dimensional regular local rings, Math. Proc. Camb. Phil. Soc. 111 (1992), 423--432
work page 1992
-
[8]
Katz, Reduction criteria for modules, Comm
D. Katz, Reduction criteria for modules, Comm. Alg. 17 (1995), no. 7, 4543--4548
work page 1995
Show all 24 references
-
[9]
Daniel Katz and Vijay Kodiyalam, Symmetric powers of complete modules over a two-dimensional regular local ring, Trans. Amer. Math. Soc., 349 (1997), no. 2, 747--762
1997
-
[10]
Algebra, 319 (2008), 2209--2234
Daniel Katz and Glenn Rice, Asymptotic prime divisors of torsion free symmetric powers of modules, J. Algebra, 319 (2008), 2209--2234
2008
-
[11]
Kirby and D
D. Kirby and D. Rees, Multiplicities in graded rings. I. The general theory, in Commutative algebra: syzygies, multiplicities, and birational algebra (South Hadley, MA, 1992), vol. 159 of Contemp. Math., pp. 209--267, Amer. Math. Soc., Providence, RI, 1994
1992
-
[12]
Kleiman and D
S. Kleiman and D. Laksov, Schubert Calculus, Amer. Math. Monthly, 79 (1995), no. 10, 1061--1082
1995
-
[13]
Vijay Kodiyalam, Integrally closed modules over two-dimensional regular local rings, Trans. Amer. Math. Soc., 347 (1995), no. 9, 3551--3573
1995
-
[14]
Algebra, 425 (2015), 392--409
Vijay Kodiyalam and Radha Mohan, Lengths and multiplicities of integrally closed modules over a two-dimensional regular local ring, J. Algebra, 425 (2015), 392--409
2015
-
[15]
Kleiman and A
S. Kleiman and A. Thorup, Mixed Buchsbaum-Rim multiplicities, Amer. J. Math. 118 (1996), no. 3, 529--569
1996
-
[16]
8 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, second edition, 1989
Hideyuki Matsumura, Commutative ring theory, vol. 8 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, second edition, 1989. Translated from the Japanese by M. Reid
1989
-
[17]
Peskine and L
C. Peskine and L. Szpiro, Dimension projective finie et cohomologie locale, Publications Mathématiques de l'IHÉS Volume 42 (1973), 47--119
1973
-
[18]
Rees, Hilbert functions and pseudo-rational local rings of dimension two, J
D. Rees, Hilbert functions and pseudo-rational local rings of dimension two, J. London Math. Soc. (2), 24 (1981), 467--479
1981
-
[19]
Rees, Generalizations of reductions and mixed multiplicities, J
D. Rees, Generalizations of reductions and mixed multiplicities, J. London Math. Soc. (2), 29 (1984), no. 3, 397--414
1984
-
[20]
Rees, Reduction of modules, Math
D. Rees, Reduction of modules, Math. Proc. Cambridge Philos. Soc. 101 (1987), no. 3, 431--449
1987
-
[21]
Roberts, Multiplicities and Chern classes in local algebra, Cambridge Tracts in Mathematics, Vol
Paul C. Roberts, Multiplicities and Chern classes in local algebra, Cambridge Tracts in Mathematics, Vol. 133, Cambridge University Press, Cambridge, 1998
1998
-
[22]
Simis, B
A. Simis, B. Ulrich, and W. V. Vasconcelos, Codimension, multiplicity and integral extensions, Math. Proc. Cambridge Philos. Soc. 130 (2001), no. 2, 237--257
2001
-
[23]
336, Cambridge University Press, Cambridge, 2006
Irena Swanson and Craig Huneke, Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series, Vol. 336, Cambridge University Press, Cambridge, 2006
2006
-
[24]
J. K. Verma, Joint reductions of complete ideals, Nagoya Math. J., 118 (1990), 155--163
1990
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.