加载中…
Let be a commutative noetherian ring and a proper smooth morphism, of relative dimension . From Hartshorne, Residues and Duality, Springer, 1966, one knows that the trace map is an isomorphism when has geometrically connected fibres. We construct an exact sequence that generates as an -module in the following cases: (1) when is a DVR and has a section; (2) when and is the Grassmannian for some . This partially answers a question raised by Lipman.

生成讲解博客的中文版本

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