<p>A conformal automorphism <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>, of order <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(n \geqslant 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>⩾</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, of a closed Riemann surface <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation>, of genus <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(g \geqslant 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>⩾</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, which is central in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textrm{Aut}(\mathcal {X})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Aut</mtext> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and such that <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {X}/\langle \tau \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">X</mi> <mo stretchy="false">/</mo> <mo stretchy="false">⟨</mo> <mi>τ</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> has genus zero, is called a superelliptic automorphism of level <i>n</i>. If <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(n=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> is the hyperelliptic involution and it is known to be unique. In this paper, for the case <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(n \geqslant 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>⩾</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, we investigate the uniqueness of the cyclic group <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\langle \tau \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <mi>τ</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\tau _{1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>τ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\tau _{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>τ</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> be two superelliptic automorphisms of level <i>n</i> of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(n \geqslant 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>⩾</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> is odd, then <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\langle \tau _{1} \rangle =\langle \tau _{2} \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">⟨</mo> <msub> <mi>τ</mi> <mn>1</mn> </msub> <mo stretchy="false">⟩</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">⟨</mo> <msub> <mi>τ</mi> <mn>2</mn> </msub> <mo stretchy="false">⟩</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(n \geqslant 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>⩾</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> is even, the same uniqueness result holds, up to some explicit exceptional cases. We also provide conditions for these surfaces to be definable over their field of moduli.</p>

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

Generalized Superelliptic Riemann Surfaces

  • Rubén A. Hidalgo,
  • Saúl Quispe,
  • Tony Shaska

摘要

A conformal automorphism \(\tau \) τ , of order \(n \geqslant 2\) n 2 , of a closed Riemann surface \(\mathcal {X}\) X , of genus \(g \geqslant 2\) g 2 , which is central in \(\textrm{Aut}(\mathcal {X})\) Aut ( X ) and such that \(\mathcal {X}/\langle \tau \rangle \) X / τ has genus zero, is called a superelliptic automorphism of level n. If \(n=2\) n = 2 , then \(\tau \) τ is the hyperelliptic involution and it is known to be unique. In this paper, for the case \(n \geqslant 3\) n 3 , we investigate the uniqueness of the cyclic group \(\langle \tau \rangle \) τ . Let \(\tau _{1}\) τ 1 and \(\tau _{2}\) τ 2 be two superelliptic automorphisms of level n of \(\mathcal {X}\) X . If \(n \geqslant 3\) n 3 is odd, then \(\langle \tau _{1} \rangle =\langle \tau _{2} \rangle \) τ 1 = τ 2 . If \(n \geqslant 2\) n 2 is even, the same uniqueness result holds, up to some explicit exceptional cases. We also provide conditions for these surfaces to be definable over their field of moduli.