<p>Let <i>k</i> be a <i>d</i>-local field such that the corresponding 1-local field <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(k^{(d-1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>k</mi> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> is a <i>p</i>-adic field and <i>C</i> a curve over <i>k</i>. Let <i>K</i> be the function field of <i>C</i>. We prove that for each <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(n,m \in {\textbf{N}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>,</mo> <mi>m</mi> <mo>∈</mo> <mi mathvariant="bold">N</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and hypersurface <i>Z</i> of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\textbf{P}}^n_K\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="bold">P</mi> </mrow> <mi>K</mi> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> with degree <i>m</i> such that <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(m^{d+1} \le n,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>m</mi> <mrow> <mi>d</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>≤</mo> <mi>n</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> the <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((d+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-th Milnor <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\textrm{K}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>K</mtext> </math></EquationSource> </InlineEquation>-theory group is generated by the images norms of finite extension <i>L</i> of <i>K</i> such that <i>Z</i> admits an <i>L</i>-point. Let <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(j \in \{1,\ldots , d\}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>j</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>d</mi> <mo stretchy="false">}</mo> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> When <i>C</i> admits a point in an extension <i>l</i>/<i>k</i> that is not <i>i</i>-ramified for every <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(i \in \{1,\ldots , d-j\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>d</mi> <mo>-</mo> <mi>j</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> we generalise this result to hypersurfaces <i>Z</i> of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\textbf{P}}_K^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="bold">P</mi> <mi>K</mi> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> with degree <i>m</i> such that <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(m^{j+1} \le n.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>m</mi> <mrow> <mi>j</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>≤</mo> <mi>n</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> In order to prove these results we give a description of the Tate–Shafarevich group <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/209_2025_3921_IEq11_HTML.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="120" Type="Linedraw" Width="152" /> </InlineMediaObject> </InlineEquation> in terms of the combinatorics of the special fibre of certain models of the curve <i>C</i>.</p>

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

Kato–Kuzumaki’s properties for function fields over higher local fields

  • Felipe Gambardella

摘要

Let k be a d-local field such that the corresponding 1-local field \(k^{(d-1)}\) k ( d - 1 ) is a p-adic field and C a curve over k. Let K be the function field of C. We prove that for each \(n,m \in {\textbf{N}},\) n , m N , and hypersurface Z of \({\textbf{P}}^n_K\) P K n with degree m such that \(m^{d+1} \le n,\) m d + 1 n , the \((d+1)\) ( d + 1 ) -th Milnor \({\textrm{K}}\) K -theory group is generated by the images norms of finite extension L of K such that Z admits an L-point. Let \(j \in \{1,\ldots , d\}.\) j { 1 , , d } . When C admits a point in an extension l/k that is not i-ramified for every \(i \in \{1,\ldots , d-j\}\) i { 1 , , d - j } we generalise this result to hypersurfaces Z of \({\textbf{P}}_K^n\) P K n with degree m such that \(m^{j+1} \le n.\) m j + 1 n . 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 C.