English

On the number of generators of an algebra over a commutative ring

Rings and Algebras 2021-09-29 v2 Algebraic Geometry Algebraic Topology Group Theory

Abstract

A theorem of O. Forster says that if RR is a noetherian ring of Krull dimension dd, then any projective RR-module of rank nn can be generated by d+nd+n elements. S. Chase and R. Swan subsequently showed that this bound is sharp: there exist examples that cannot be generated by fewer than d+nd+n elements. We view projective RR-modules as RR-forms of the non-unital RR-algebra where the product of any two elements is 00. The first two authors generalized Forster's theorem to forms of other algebras (not necessarily commutative, associative or unital); A. Shukla and the third author then showed that this generalized Forster bound is optimal for \'etale algebras. In this paper, we prove new upper and lower bound on the number of generators of an RR-form of a kk-algebra, where kk is an infinite field and RR has finite transcendence degree dd over kk. In particular, we show that, contrary to expectations, for most types of algebras, the generalized Forster bound is far from optimal. Our results are particularly detailed in the case of Azumaya algebras. Our proofs are based on reinterpreting the problem as a question about approximating the classifying stack BGBG, where GG is the automorphism group of the algebra in question, by algebraic spaces of a certain form.

Keywords

Cite

@article{arxiv.2012.07900,
  title  = {On the number of generators of an algebra over a commutative ring},
  author = {Uriya A. First and Zinovy Reichstein and Ben Willams},
  journal= {arXiv preprint arXiv:2012.07900},
  year   = {2021}
}

Comments

37 pages