<p>For a&#xa0;Belyi function <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\beta :\mathbb{C}\mathbb{P}^1\rightarrow \mathbb{C}\mathbb{P}^1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <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> ramified only over the points <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, 1, and&#xa0;<InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>, a&#xa0;corresponding “dessin d’enfant” <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {D}_{\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <mi>β</mi> </msub> </math></EquationSource> </InlineEquation> is defined as the set <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\beta ^{-1}([-1,1])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>β</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">[</mo> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> considered as a&#xa0;bi-colored graph on the Riemann sphere whose white and black vertices are points of the sets <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\beta ^{-1}\{-1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>β</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">{</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\beta ^{-1}\{1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>β</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">{</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, correspondingly. Merely the set <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\beta ^{-1}([-1,1])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>β</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">[</mo> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> without a&#xa0;graph structure is called the support of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {D}_{\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <mi>β</mi> </msub> </math></EquationSource> </InlineEquation>. In this note, we solve the following problem: under what conditions different dessins <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {D}_{\beta _1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <msub> <mi>β</mi> <mn>1</mn> </msub> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathcal {D}_{\beta _2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <msub> <mi>β</mi> <mn>2</mn> </msub> </msub> </math></EquationSource> </InlineEquation> have equal supports?</p>

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

ON DESSINS D’ENFANTS WITH EQUAL SUPPORTS

  • F. Pakovich

摘要

For a Belyi function \(\beta :\mathbb{C}\mathbb{P}^1\rightarrow \mathbb{C}\mathbb{P}^1\) β : C P 1 C P 1 ramified only over the points \(-1\) - 1 , 1, and  \(\infty \) , a corresponding “dessin d’enfant” \(\mathcal {D}_{\beta }\) D β is defined as the set \(\beta ^{-1}([-1,1])\) β - 1 ( [ - 1 , 1 ] ) considered as a bi-colored graph on the Riemann sphere whose white and black vertices are points of the sets \(\beta ^{-1}\{-1\}\) β - 1 { - 1 } and \(\beta ^{-1}\{1\}\) β - 1 { 1 } , correspondingly. Merely the set \(\beta ^{-1}([-1,1])\) β - 1 ( [ - 1 , 1 ] ) without a graph structure is called the support of \(\mathcal {D}_{\beta }\) D β . In this note, we solve the following problem: under what conditions different dessins \(\mathcal {D}_{\beta _1}\) D β 1 and \(\mathcal {D}_{\beta _2}\) D β 2 have equal supports?