<p>Let <i>F</i> be the function field of a curve over a complete discretely valued field <i>K</i>. Let <i>G</i> be a semisimple simply connected linear algebraic group over <i>F</i> of type <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(A_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>. We give a description of the obstruction to the local global principle for principal homogeneous spaces under <i>G</i> over <i>F</i> with respect to discrete valuations of <i>F</i> in terms of <i>R</i>-equivalence classes of <i>G</i> over some suitable over fields. Using this description we prove that this obstruction vanishes when the residue field of <i>K</i> has cohomological dimension at most 1 and the characteristic exponent is prime to <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(2(n+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We also prove the vanishing of this obstruction if <i>G</i> is defined over <i>K</i> and the residue field of <i>K</i> has cohomological dimension at most 2.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Local-global principle for groups of type \(A_n\) over semi global fields

  • V. Suresh

摘要

Let F be the function field of a curve over a complete discretely valued field K. Let G be a semisimple simply connected linear algebraic group over F of type \(A_n\) A n . We give a description of the obstruction to the local global principle for principal homogeneous spaces under G over F with respect to discrete valuations of F in terms of R-equivalence classes of G over some suitable over fields. Using this description we prove that this obstruction vanishes when the residue field of K has cohomological dimension at most 1 and the characteristic exponent is prime to \(2(n+1)\) 2 ( n + 1 ) . We also prove the vanishing of this obstruction if G is defined over K and the residue field of K has cohomological dimension at most 2.