<p>Coarse moduli spaces of Weierstrass fibrations over a smooth conic curve were constructed by the classical work of [Miranda] using geometric invariant theory. In our paper, we extend this treatment by using results of [Romagny] regarding group actions on stacks to give an explicit construction of the moduli stack <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3786_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {W}}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">W</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> of Weierstrass fibrations over a smooth conic curve with discriminant degree 12<i>n</i> and a section. We show that it is a smooth algebraic stack and prove that for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3786_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, the open substack <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3786_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {W}}_{\textrm{min},n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">W</mi> <mrow> <mtext>min</mtext> <mo>,</mo> <mi>n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of minimal Weierstrass fibrations is a separated Deligne–Mumford stack over any base field <i>K</i> with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3786_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="105" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{char}(K) \ne 2,3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>char</mtext> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> <mo>≠</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3786_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\not \mid n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>∤</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. Arithmetically, for the moduli stack <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3786_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {W}}_{\textrm{sf},n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">W</mi> <mrow> <mtext>sf</mtext> <mo>,</mo> <mi>n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of stable Weierstrass fibrations, we determine its motive in the Grothendieck ring of stacks to be <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3786_Article_IEq9.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{{\mathcal {W}}_{\textrm{sf},n}\} = {\mathbb {L}}^{10n - 2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">{</mo> <msub> <mi mathvariant="script">W</mi> <mrow> <mtext>sf</mtext> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">}</mo> </mrow> <mo>=</mo> <msup> <mrow> <mi mathvariant="double-struck">L</mi> </mrow> <mrow> <mn>10</mn> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> in the case that <i>n</i> is odd, which results in its weighted point count to be <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3786_Article_IEq10.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="133" /> </InlineMediaObject> <EquationSource Format="TEX">\(\#_q({\mathcal {W}}_{\textrm{sf},n}) = q^{10n - 2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>#</mo> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">W</mi> <mrow> <mtext>sf</mtext> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>q</mi> <mrow> <mn>10</mn> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3786_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {F}}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>. In the appendix, we show how our methods can be applied similarly to the classical work of [Silverman] on coarse moduli spaces of self-maps of the projective line, allowing us to construct the natural moduli stack and to compute its motive.</p>

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

Arithmetic geometry of the moduli stack of Weierstrass fibrations over \({\mathbb {P}}^1\)

  • Jun-Yong Park,
  • Johannes Schmitt

摘要

Coarse moduli spaces of Weierstrass fibrations over a smooth conic curve were constructed by the classical work of [Miranda] using geometric invariant theory. In our paper, we extend this treatment by using results of [Romagny] regarding group actions on stacks to give an explicit construction of the moduli stack \({\mathcal {W}}_{n}\) W n of Weierstrass fibrations over a smooth conic curve with discriminant degree 12n and a section. We show that it is a smooth algebraic stack and prove that for \(n\ge 2\) n 2 , the open substack \({\mathcal {W}}_{\textrm{min},n}\) W min , n of minimal Weierstrass fibrations is a separated Deligne–Mumford stack over any base field K with \(\textrm{char}(K) \ne 2,3\) char ( K ) 2 , 3 and \(\not \mid n\) n . Arithmetically, for the moduli stack \({\mathcal {W}}_{\textrm{sf},n}\) W sf , n of stable Weierstrass fibrations, we determine its motive in the Grothendieck ring of stacks to be \(\{{\mathcal {W}}_{\textrm{sf},n}\} = {\mathbb {L}}^{10n - 2}\) { W sf , n } = L 10 n - 2 in the case that n is odd, which results in its weighted point count to be \(\#_q({\mathcal {W}}_{\textrm{sf},n}) = q^{10n - 2}\) # q ( W sf , n ) = q 10 n - 2 over \({\mathbb {F}}_q\) F q . In the appendix, we show how our methods can be applied similarly to the classical work of [Silverman] on coarse moduli spaces of self-maps of the projective line, allowing us to construct the natural moduli stack and to compute its motive.