<p>The icosahedron <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(I_4\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mn>4</mn> </msub> </math></EquationSource> </InlineEquation> of genus&#xa0;4 is a&#xa0;dessin d’enfant embedded in Bring’s curve&#xa0;<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {B}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">B</mi> </math></EquationSource> </InlineEquation>. The dessin&#xa0;<InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(I_4\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mn>4</mn> </msub> </math></EquationSource> </InlineEquation> is related in some sense to a&#xa0;regular icosahedron&#xa0;<InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(I_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> embedded in the complex Riemann sphere. In particular, decompositions of Belyi functions <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\beta _{I_0}:\mathbb{C}\mathbb{P}^1 \rightarrow \mathbb{C}\mathbb{P}^1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>β</mi> <msub> <mi>I</mi> <mn>0</mn> </msub> </msub> <mo>:</mo> <mi mathvariant="double-struck">C</mi> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>1</mn> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">C</mi> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>1</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\beta _{I_4}:\mathcal {B} \rightarrow \mathbb{C}\mathbb{P}^1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>β</mi> <msub> <mi>I</mi> <mn>4</mn> </msub> </msub> <mo>:</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">C</mi> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>1</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(I_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(I_4\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mn>4</mn> </msub> </math></EquationSource> </InlineEquation> have the same lattice. The diagram of decompositions of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\beta _{I_0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>β</mi> <msub> <mi>I</mi> <mn>0</mn> </msub> </msub> </math></EquationSource> </InlineEquation> is already known. In the present paper we find decompositions of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\beta _{I_4}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>β</mi> <msub> <mi>I</mi> <mn>4</mn> </msub> </msub> </math></EquationSource> </InlineEquation>. Note that <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\beta _{I_0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>β</mi> <msub> <mi>I</mi> <mn>0</mn> </msub> </msub> </math></EquationSource> </InlineEquation> decomposes into rational functions on&#xa0;<InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathbb {C}P^1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">C</mi> <msup> <mi>P</mi> <mn>1</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, while in case of&#xa0;<InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\beta _{I_4}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>β</mi> <msub> <mi>I</mi> <mn>4</mn> </msub> </msub> </math></EquationSource> </InlineEquation> we deal with maps between different algebraic curves.</p>

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

BELYI FUNCTION DECOMPOSITIONS FOR THE ICOSAHEDRON OF GENUS 4

  • N. Ya. Amburg,
  • M. A. Kovaleva

摘要

The icosahedron \(I_4\) I 4 of genus 4 is a dessin d’enfant embedded in Bring’s curve  \(\mathcal {B}\) B . The dessin  \(I_4\) I 4 is related in some sense to a regular icosahedron  \(I_0\) I 0 embedded in the complex Riemann sphere. In particular, decompositions of Belyi functions \(\beta _{I_0}:\mathbb{C}\mathbb{P}^1 \rightarrow \mathbb{C}\mathbb{P}^1\) β I 0 : C P 1 C P 1 and \(\beta _{I_4}:\mathcal {B} \rightarrow \mathbb{C}\mathbb{P}^1\) β I 4 : B C P 1 for \(I_0\) I 0 and \(I_4\) I 4 have the same lattice. The diagram of decompositions of \(\beta _{I_0}\) β I 0 is already known. In the present paper we find decompositions of \(\beta _{I_4}\) β I 4 . Note that \(\beta _{I_0}\) β I 0 decomposes into rational functions on  \(\mathbb {C}P^1\) C P 1 , while in case of  \(\beta _{I_4}\) β I 4 we deal with maps between different algebraic curves.