Free summands of stably free modules
Abstract
Let be a commutative ring. One may ask when a general -module that satisfies has a free summand of a given rank. M. Raynaud translated this question into one about sections of certain maps between Stiefel varieties: if denotes the Stiefel variety over a field , then the projection has a section if and only if the following holds: any module over any -algebra with the property that has a free summand of rank . Using techniques from -homotopy theory, we characterize those for which the map has a section in the cases under some assumptions on the base field. We conclude that if and contains a field of characteristic , then contains a free summand of rank . If contains a quadratically closed field of characteristic , or the field of real numbers, then contains a free summand of rank . 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