加载中…
Assume is a field and is a smooth -algebra of dimension . If is a projective module of rank , then it is well-known that can be generated by -elements (Forster–Swan). Under suitable assumptions on and , we investigate obstructions to generation of by fewer than elements using motivic homotopy theory. For example, we observe that a quadratic enhancement of the classical Segre class obstructs generation by elements, whether or not is algebraically closed, generalizing old results of M.P. Murthy. Along the way, we also establish efficient generation results for symplectic modules.

生成讲解博客的中文版本

生成AI智能校验的中文版本