Let be a proper, smooth, and geometrically connected curve of genus over a -adic local field. We prove that there exists an effectively computable open affine subscheme with the property that , and equals or (resp. $period(X)=index (X)=1period (X)=index (X)$), if (resp. if and only if) the exact sequence of the geometrically abelian fundamental group of splits. We compute the torsor of splittings of the exact sequence of the geometrically abelian absolute Galois group associated to , and give a new characterisation of sections of arithmetic fundamental groups of curves over -adic local fields which are orthogonal to (resp. ). As a consequence we observe that the non-geometric (geometrically pro-) section constructed by Hoshi in [Hoshi] is orthogonal to .

生成讲解博客的中文版本

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