English

Free summands of stably free modules

Algebraic Geometry 2025-04-08 v3 Commutative Algebra K-Theory and Homology

Abstract

Let RR be a commutative ring. One may ask when a general RR-module PP that satisfies PRRnP \oplus R \cong R^n has a free summand of a given rank. M. Raynaud translated this question into one about sections of certain maps between Stiefel varieties: if Vr(An)V_r(\mathbb{A}^n) denotes the Stiefel variety GL(n)/GL(nr)\textrm{GL}(n) / \textrm{GL}(n-r) over a field kk, then the projection Vr(An)V1(An)V_r(\mathbb{A}^n) \to V_1(\mathbb{A}^n) has a section if and only if the following holds: any module PP over any kk-algebra RR with the property that PRRnP \oplus R \cong R^n has a free summand of rank r1r-1. Using techniques from A1\mathbb{A}^1-homotopy theory, we characterize those nn for which the map Vr(An)V1(An)V_r(\mathbb{A}^n) \to V_1(\mathbb{A}^n) has a section in the cases r=3,4r=3,4 under some assumptions on the base field. We conclude that if PRR24mP \oplus R \cong R^{24m} and RR contains a field of characteristic 00, then PP contains a free summand of rank 22. If RR contains a quadratically closed field of characteristic 00, or the field of real numbers, then PP contains a free summand of rank 33. The analogous results hold for schemes and vector bundles over them.

Keywords

Cite

@article{arxiv.2409.15445,
  title  = {Free summands of stably free modules},
  author = {Ben Williams and W. S. Gant},
  journal= {arXiv preprint arXiv:2409.15445},
  year   = {2025}
}

Comments

15 pages