<p>In this paper we give an algorithm to find the 3-torsion subgroup of the Jacobian of a smooth plane quartic curve with a marked rational point. We describe <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(3-\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> <mo>-</mo> </mrow> </math></EquationSource> </InlineEquation>torsion points in terms of cubics which triply intersect the curve, and use this to define a system of equations whose solution set corresponds to the coefficients of these cubics. We compute the points of this zero-dimensional, degree 728 scheme first by approximation, using homotopy continuation and Newton-Raphson, and then using continued fractions to obtain accurate expressions for these points. We describe how the Galois structure of the field of definition of the 3-torsion subgroup can be used to compute local wild conductor exponents, including at <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(p=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Three-torsion subgroups and wild conductor exponents of plane quartics

  • Elvira Lupoian,
  • James Rawson

摘要

In this paper we give an algorithm to find the 3-torsion subgroup of the Jacobian of a smooth plane quartic curve with a marked rational point. We describe \(3-\) 3 - torsion points in terms of cubics which triply intersect the curve, and use this to define a system of equations whose solution set corresponds to the coefficients of these cubics. We compute the points of this zero-dimensional, degree 728 scheme first by approximation, using homotopy continuation and Newton-Raphson, and then using continued fractions to obtain accurate expressions for these points. We describe how the Galois structure of the field of definition of the 3-torsion subgroup can be used to compute local wild conductor exponents, including at \(p=2\) p = 2 .