<p>Cone spherical metrics, defined on compact Riemann surfaces, are conformal metrics with constant curvature one and finitely many cone singularities. Such a metric is termed <i>reducible</i> if a developing map of the metric has monodromy in <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathrm{U(1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">U</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <i>irreducible</i> otherwise. Utilizing the polystable extensions of two line bundles on a compact Riemann surface <i>X</i> with genus <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(g_X&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>g</mi> <mi>X</mi> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, we establish the following three primary results concerning these metrics with cone angles in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(2\pi {\mathbb {Z}}_{&gt;1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>π</mi> <msub> <mi mathvariant="double-struck">Z</mi> <mrow> <mo>&gt;</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>: <OrderedList> <ListItem> <ItemNumber>(1)</ItemNumber> <ItemContent> <p>Given an effective divisor <i>D</i> with an odd degree surpassing <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(2g_X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <msub> <mi>g</mi> <mi>X</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> on <i>X</i>, we find the existence of an effective divisor <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(D'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>D</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> in the complete linear system |<i>D</i>| that can be represented by at least two distinct irreducible cone spherical metrics on <i>X</i>.</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(2)</ItemNumber> <ItemContent> <p>For a generic effective divisor <i>D</i> with an even degree and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\deg D\ge 6g_X-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>deg</mo> <mi>D</mi> <mo>≥</mo> <mn>6</mn> <msub> <mi>g</mi> <mi>X</mi> </msub> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> on <i>X</i>, we can identify an arcwise connected Borel subset in |<i>D</i>| that demonstrates a Hausdorff dimension of no less than <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\big (\deg D-4g_{X}+2\big )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mo>deg</mo> <mi>D</mi> <mo>-</mo> <mn>4</mn> <msub> <mi>g</mi> <mi>X</mi> </msub> <mo>+</mo> <mn>2</mn> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Within this subset, each divisor <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(D'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>D</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> can be distinctly represented by a family of reducible metrics, defined by a single real parameter.</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(3)</ItemNumber> <ItemContent> <p>For an effective divisor <i>D</i> with <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\deg D=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>deg</mo> <mi>D</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> on an elliptic curve, we can identify a Borel subset in |<i>D</i>| that is arcwise connected and exhibits a Hausdorff dimension greater than one. Within this subset, each divisor <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(D'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>D</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> can be distinctly represented by a family of reducible metrics, defined by a single real parameter.</p> </ItemContent> </ListItem> </OrderedList></p>

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

Existence and Non-uniqueness of Cone Spherical Metrics with Prescribed Singularities on a Compact Riemann Surface with Positive Genus

  • Yu Feng,
  • Jijian Song,
  • Bin Xu

摘要

Cone spherical metrics, defined on compact Riemann surfaces, are conformal metrics with constant curvature one and finitely many cone singularities. Such a metric is termed reducible if a developing map of the metric has monodromy in \(\mathrm{U(1)}\) U ( 1 ) , and irreducible otherwise. Utilizing the polystable extensions of two line bundles on a compact Riemann surface X with genus \(g_X>0\) g X > 0 , we establish the following three primary results concerning these metrics with cone angles in \(2\pi {\mathbb {Z}}_{>1}\) 2 π Z > 1 : (1)

Given an effective divisor D with an odd degree surpassing \(2g_X\) 2 g X on X, we find the existence of an effective divisor \(D'\) D in the complete linear system |D| that can be represented by at least two distinct irreducible cone spherical metrics on X.

(2)

For a generic effective divisor D with an even degree and \(\deg D\ge 6g_X-2\) deg D 6 g X - 2 on X, we can identify an arcwise connected Borel subset in |D| that demonstrates a Hausdorff dimension of no less than \(\big (\deg D-4g_{X}+2\big )\) ( deg D - 4 g X + 2 ) . Within this subset, each divisor \(D'\) D can be distinctly represented by a family of reducible metrics, defined by a single real parameter.

(3)

For an effective divisor D with \(\deg D=2\) deg D = 2 on an elliptic curve, we can identify a Borel subset in |D| that is arcwise connected and exhibits a Hausdorff dimension greater than one. Within this subset, each divisor \(D'\) D can be distinctly represented by a family of reducible metrics, defined by a single real parameter.