Let be a -local field such that the corresponding -local field is a -adic field and a curve over . Let be the function field of . We prove that for each , and hypersurface of with degree such that , the -th Milnor -theory group is generated by the images norms of finite extension of such that admits an -point. Let . When admits a point in an extension that is not -ramified for every we generalise this result to hypersurfaces of with degree such that . \par In order to prove these results we give a description of the Tate-Shafarevich group in terms of the combinatorics of the special fibre of certain models of the curve .

生成讲解博客的中文版本

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