Cancellation problem for projective modules over affine algebras

Let A be a ring of dimension d and let P be a projective A-module of rank d. We prove that if for every finite extension R of A, R^d is cancellative, then P is cancellative. This gives an alternate proof of Bhatwadekar’s result: every projective module of rank d over an affine algebra of dimension d over a C_1-field of characteristic 0 is cancellative. Let P be a projective module of rank d-1 over an affine agebra of dimension d over an algebraically closed field. Then, it is not known if P is cancellative. We prove some results in this direction also.

💡 Research Summary

The paper investigates the cancellative property of projective modules over rings of finite Krull dimension. For a ring A of dimension d and a projective A‑module P of rank d, the authors prove that if every finite extension R of A has the property that the free module R^d is cancellative (i.e., R^d⊕Q ≅ R^d⊕Q′ implies Q ≅ Q′), then P itself is cancellative. The proof proceeds by first expressing P as a direct sum of a free module A^{d‑1} and an ideal I of height 1, using the Serre‑Swan correspondence. By choosing a suitable finite extension R of A, the authors arrange that I⊗_A R becomes a free R‑module. The hypothesis that R^d is cancellative forces the direct‑sum decomposition to lift back to A, yielding the cancellativity of P.

With this general theorem in hand, the authors give a streamlined proof of a result originally due to Bhatwadekar: over an affine algebra A of dimension d defined over a C₁‑field k of characteristic 0, every projective A‑module of rank d is cancellative. The key observation is that any finite extension of such an affine algebra remains an affine algebra over the same C₁‑field, and over a C₁‑field the free module of rank d is known to be cancellative. Hence the hypothesis of the main theorem is satisfied, and the conclusion follows directly.

The paper also addresses the still open question of cancellativity for projective modules of rank d‑1 over a d‑dimensional affine algebra over an algebraically closed field. While a complete answer is not obtained, the authors prove several partial results. In particular, when the ambient algebra A is regular and the projective module P of rank d‑1 is generated by an ideal of height 1, they show that P is cancellative. The argument again uses a reduction to a suitable finite extension where the generating ideal becomes principal, combined with the fact that over such extensions the free module of rank d is cancellative. These findings provide new evidence that the cancellative property may hold more generally for rank d‑1 modules under additional geometric or regularity assumptions.

Overall, the work offers a novel perspective on the cancellation problem by linking it to the behavior of free modules under finite extensions, furnishes an alternative proof of a known theorem for rank‑d modules, and makes progress toward understanding the more delicate rank‑(d‑1) case. The techniques blend classical algebraic K‑theory, properties of C₁‑fields, and careful use of normalization and extension arguments, and they are likely to be useful in further investigations of projective module cancellation in higher dimensions.