<p>In the present paper, we study how the scheme-theoretical structure of a curve in positive characteristic explicitly affects the structure of its tame fundamental group. Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq1.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\((X_{j}, D_{X_{j}}),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>X</mi> <mi>j</mi> </msub> <mo>,</mo> <msub> <mi>D</mi> <msub> <mi>X</mi> <mi>j</mi> </msub> </msub> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(j\in \{1, 2\},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>j</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">}</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> be a smooth pointed stable curve of type <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq3.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\((g_{X_{j}}, n_{X_{j}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>g</mi> <msub> <mi>X</mi> <mi>j</mi> </msub> </msub> <mo>,</mo> <msub> <mi>n</mi> <msub> <mi>X</mi> <mi>j</mi> </msub> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> over an algebraically closed field <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(k_{j}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>k</mi> <mi>j</mi> </msub> </math></EquationSource> </InlineEquation> of characteristic <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&gt;0,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq6.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="107" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_{X_{j}}{\mathop {=}\limits ^{\textrm{def}}}X_{j}{\setminus } D_{X_{j}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>U</mi> <msub> <mi>X</mi> <mi>j</mi> </msub> </msub> <mover> <mo>=</mo> <mtext>def</mtext> </mover> <msub> <mi>X</mi> <mi>j</mi> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi>D</mi> <msub> <mi>X</mi> <mi>j</mi> </msub> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq7.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi _{1}^{\textrm{t}}(U_{X_{j}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>π</mi> <mrow> <mn>1</mn> </mrow> <mtext>t</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>U</mi> <msub> <mi>X</mi> <mi>j</mi> </msub> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> the tame fundamental group of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq8.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\((X_{j}, D_{X_{j}}).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>X</mi> <mi>j</mi> </msub> <mo>,</mo> <msub> <mi>D</mi> <msub> <mi>X</mi> <mi>j</mi> </msub> </msub> <mo stretchy="false">)</mo> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Suppose that <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq9.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(g_{X_{1}}=0,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>g</mi> <msub> <mi>X</mi> <mn>1</mn> </msub> </msub> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> that <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq10.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(k_{1}{\mathop {=}\limits ^{\textrm{def}}}{\overline{\mathbb {F}}}_{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>k</mi> <mn>1</mn> </msub> <mover> <mo>=</mo> <mtext>def</mtext> </mover> <msub> <mover> <mi mathvariant="double-struck">F</mi> <mo>¯</mo> </mover> <mi>p</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> is an algebraic closure of the finite field <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_{p}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">F</mi> <mi>p</mi> </msub> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> We give an <i>explicit construction</i> of a finite group <i>G</i> such that <i>G</i> is <i>not</i> a finite quotient of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi _{1}^{\textrm{t}}(U_{X_{1}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>π</mi> <mrow> <mn>1</mn> </mrow> <mtext>t</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>U</mi> <msub> <mi>X</mi> <mn>1</mn> </msub> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and is a finite quotient of <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi _{1}^{\textrm{t}}(U_{X_{2}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>π</mi> <mrow> <mn>1</mn> </mrow> <mtext>t</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>U</mi> <msub> <mi>X</mi> <mn>2</mn> </msub> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> if (the minimal models of) <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_{X_{1}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>U</mi> <msub> <mi>X</mi> <mn>1</mn> </msub> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_{X_{2}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>U</mi> <msub> <mi>X</mi> <mn>2</mn> </msub> </msub> </math></EquationSource> </InlineEquation> are not isomorphic as schemes. As a corollary, our construction deduces a strong generalization of Tamagawa’s results concerning Grothendieck’s anabelian conjecture for curves over algebraically closed fields of characteristic <i>p</i>,&#xa0; namely, the isomorphism classes of smooth pointed stable curves of genus 0 over <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3792_Article_IEq16.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\overline{\mathbb {F}}}_{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover> <mi mathvariant="double-struck">F</mi> <mo>¯</mo> </mover> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> can be completely determined not only by using full tame fundamental groups but also by using certain <i>finite quotients</i> of them.</p>

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

On finite quotients of tame fundamental groups of curves in positive characteristic

  • Yu Yang

摘要

In the present paper, we study how the scheme-theoretical structure of a curve in positive characteristic explicitly affects the structure of its tame fundamental group. Let \((X_{j}, D_{X_{j}}),\) ( X j , D X j ) , \(j\in \{1, 2\},\) j { 1 , 2 } , be a smooth pointed stable curve of type \((g_{X_{j}}, n_{X_{j}})\) ( g X j , n X j ) over an algebraically closed field \(k_{j}\) k j of characteristic \(p>0,\) p > 0 , \(U_{X_{j}}{\mathop {=}\limits ^{\textrm{def}}}X_{j}{\setminus } D_{X_{j}},\) U X j = def X j \ D X j , and \(\pi _{1}^{\textrm{t}}(U_{X_{j}})\) π 1 t ( U X j ) the tame fundamental group of \((X_{j}, D_{X_{j}}).\) ( X j , D X j ) . Suppose that \(g_{X_{1}}=0,\) g X 1 = 0 , that \(k_{1}{\mathop {=}\limits ^{\textrm{def}}}{\overline{\mathbb {F}}}_{p}\) k 1 = def F ¯ p is an algebraic closure of the finite field \(\mathbb {F}_{p}.\) F p . We give an explicit construction of a finite group G such that G is not a finite quotient of \(\pi _{1}^{\textrm{t}}(U_{X_{1}})\) π 1 t ( U X 1 ) and is a finite quotient of \(\pi _{1}^{\textrm{t}}(U_{X_{2}})\) π 1 t ( U X 2 ) if (the minimal models of) \(U_{X_{1}}\) U X 1 and \(U_{X_{2}}\) U X 2 are not isomorphic as schemes. As a corollary, our construction deduces a strong generalization of Tamagawa’s results concerning Grothendieck’s anabelian conjecture for curves over algebraically closed fields of characteristic p,  namely, the isomorphism classes of smooth pointed stable curves of genus 0 over \({\overline{\mathbb {F}}}_{p}\) F ¯ p can be completely determined not only by using full tame fundamental groups but also by using certain finite quotients of them.