A theorem of O. Forster says that if R R is a noetherian ring of Krull dimension d d , then every projective R R -module of rank n n can be generated by d + n d+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 + n d+n elements. We view rank- n n projective R R -modules as R R -forms of the non-unital R R -algebra R n R^n where the product of any two elements is 0 0 . 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 finite étale algebras. In this paper, we prove new upper and lower bounds on the number of generators of an R R -form of a k k -algebra, where k k is an infinite field and R R is a finitely generated k k -ring of Krull dimension d d . 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 B G BG , where G G is the automorphism group of the algebra in question, by algebraic spaces of a certain type.
A theorem of O. Forster says that if R is a noetherian ring of Krull dimension d, then a rank-n projective module over R can be generated by d + 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 + n elements. We view projective R-modules as Rforms of the non-unital R-algebra where the product of any two elements is 0. The first two authors recently generalized Forster's theorem to forms of other algebras (not necessarily commutative, associative or unital), and A. Shukla and the third author showed that this generalized Forster bound is optimal for étale algebras.In this paper, we prove new upper and lower bound on the number of generators of an R-form of a k-algebra, where k is an infinite field and R has finite transcendence degree d over k. 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 BG, where G is the automorphism group of the algebra in question, by algebraic spaces of a certain form.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.