加载中…
Let be a field and be a set of rank one valuations of . The corresponding Tate-Shafarevich group of a -torus is . We prove that if is the function field of a smooth geometrically integral quasi-projective variety over a field of characteristic 0 and is the set of discrete valuations of associated with prime divisors on , then for any torus defined over the base field , the group is finite in the following situations: (1) is finitely generated and ; (2) is a number field.

生成讲解博客的中文版本

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