pith. sign in

arxiv: 2511.06784 · v2 · pith:ASZUPRHBnew · submitted 2025-11-10 · 🧮 math.DG · math.AT· math.GT

Structure and realizability for rational maps

Zhiqiang Wei This is my paper

Pith reviewed 2026-05-21 19:57 UTC · model grok-4.3

classification 🧮 math.DG math.ATmath.GT
keywords rational mapbranch datumHurwitz existenceRiemann-Hurwitzpullback metricfootballrealizabilityconical singularity
0
0 comments X

The pith

Rational maps realize branch data collections of k partitions whenever k exceeds the shortest partition length by more than one

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the pullback metric of any rational map on the Riemann sphere decomposes into a finite number of footballs after cutting along geodesics. Footballs are spheres with two antipodal conical singularities of the same angle. This decomposition supplies a framework that reduces the question of which partition collections arise as branching data to a more manageable geometric condition. Consequently, whenever a collection of k partitions satisfies the Riemann-Hurwitz relation and k is strictly larger than the length of the shortest partition plus one, there exists a rational map realizing exactly those partitions as its branching data. This result recovers several classical theorems as special cases and settles one important instance of a conjecture.

Core claim

We establish a structure theorem for rational maps f from the Riemann sphere to itself: the pullback metric f^* ds_0^2 admits a canonical decomposition into finitely many footballs by cutting along a finite set of geodesics. This geometric decomposition provides a new framework for the Hurwitz existence problem. As an application, we prove that a collection D of k nontrivial partitions of a positive integer d satisfying the Riemann-Hurwitz condition is realizable as the branch datum of a rational map whenever k > l + 1, where l is the minimum partition length.

What carries the argument

The canonical decomposition of the pullback metric into footballs obtained by cutting along geodesics, which turns the realizability of branch data into a question about assembling these footballs.

If this is right

  • The result unifies Thom's theorem for l equal to one, Pakovich's theorem for l equal to two, and Barański's theorem for k at least d.
  • It confirms Zheng's conjecture in the special case where the number of partitions is sufficiently large compared to the shortest partition length.
  • The geometric framework may be used to construct explicit rational maps from given partition data.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This decomposition suggests that similar cutting procedures could apply to rational maps with more complicated singularities or to functions on higher genus curves.
  • Future work might determine the precise boundary between realizable and non-realizable collections by examining the case k equal to l plus one.
  • The method could lead to effective algorithms for deciding realizability or even finding the map coefficients.

Load-bearing premise

The pullback metric admits a canonical decomposition into finitely many footballs by cutting along a finite set of geodesics.

What would settle it

A collection of exactly l+1 partitions of d that satisfies the Riemann-Hurwitz condition but is not the branch datum of any rational map of degree d would serve as a counterexample.

Figures

Figures reproduced from arXiv: 2511.06784 by Zhiqiang Wei.

Figure 1
Figure 1. Figure 1: Constructing an American S 2 {α,α} from the standard football. For example, starting from the standard football S 2 = S 2 {1,1} , we may construct an American football S 2 {α,α} (with 0 < α < 1) by removing a bigon of angle 2πα and gluing the resulting boundaries along their corresponding meridians, as illustrated in [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Integral curves From Proposition 3.5, we obtain the following corollary. Corollary 3.1 For any t1, t2 ∈ [0, T], if both Ct1 and Ct2 reach local maxima at points q1 and q2 respectively without traversing any saddle point of Φ, then the geodesic distance between p and q1 is equal to the geodesic distance between p and q2 , both being π. From Proposition 3.5, we derive the following property. Proposition 3.6 … view at source ↗
Figure 3
Figure 3. Figure 3: Construction of f(z) = (z−a) 2 (z−b1 )(z−b2 ) . Method 2. We begin with two standard footballs. We cut each along a geodesic connecting the maximum and minimum of Φ, and glue the two footballs along these cuts, as illustrated in [PITH_FULL_IMAGE:figures/full_fig_p013_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Construction of f(z) = (z−a1 )(z−a2 ) (z−b1 )(z−b2 ) . Method 3. Take two standard footballs and cut each along a geodesic connecting the maximum and minimum of Φ, as shown in [PITH_FULL_IMAGE:figures/full_fig_p014_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Construction of f(z) = (z−a) 2 (z−b) 2 [PITH_FULL_IMAGE:figures/full_fig_p014_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Construction of f(z) = (z−a1 )(z−a2 ) (z−b1 )(z−b2 ) . This construction is equivalent to the following procedure, shown in [PITH_FULL_IMAGE:figures/full_fig_p015_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Alternative construction of f(z) = (z−a1 )(z−a2 ) (z−b1 )(z−b2 ) [PITH_FULL_IMAGE:figures/full_fig_p015_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Construction of D = {[5], [2, 2, 1], [2, 2, 1]}. From Example 3.1, we observe that the rational function corresponding to the branch data {[5], [2, 2, 1], [2, 2, 1]} is not uniquely determined. Indeed, different constructions arise by rotating certain footballs. Example 3.2 The branch data D = {[3, 2, 1],[3, 2, 1],[2, 2, 1 2 ],[2, 1 4 ],[2, 1 4 ]} is realizable. Proof First, D is easily verified to be a ca… view at source ↗
Figure 9
Figure 9. Figure 9: Construction of D = {[3, 2, 1],[3, 2, 1],[2, 2, 1 2 ], [2, 1 4 ], [2, 1 4 ]} [PITH_FULL_IMAGE:figures/full_fig_p018_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Construction of D = {[4, 1, 1],[3, 2, 1],[2, 2, 1 2 ], [2, 1 4 ], [2, 1 4 ]}. Example 3.4 The branch data D = {[4, 2, 2],[4, 2, 2],[2, 2, 1 4 ],[2, 1 6 ],[2, 1 6 ]} is realizable. Proof First, D is a candidate branch data. Second, the minimum length is 3, and D contains 5 partitions, satisfying 5 ≥ 3 + 2. Choose the points corresponding to [4, 2, 2] as the poles. Since all entries of [4, 2, 2] are greater… view at source ↗
Figure 11
Figure 11. Figure 11: Construction of D = {[4, 2, 2],[4, 2, 2],[2, 2, 1 4 ], [2, 1 6 ], [2, 1 6 ]} [PITH_FULL_IMAGE:figures/full_fig_p022_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Construction for branch data {[2, 1],[2, 1], [3]}. For the case k = 4 with all πi = [2, 1], a rational map can be similarly constructed by gluing standard footballs, as shown in [PITH_FULL_IMAGE:figures/full_fig_p026_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Construction for branch data {[2, 1],[2, 1], [2, 1], [2, 1]}. Case 1: All entries of πk are greater than 1. Define πˆ 1 = [PITH_FULL_IMAGE:figures/full_fig_p027_13.png] view at source ↗
read the original abstract

We establish a structure theorem for rational maps $f:\overline{\mathbb{C}}\to\overline{\mathbb{C}}$: the pullback metric $f^{*}{\rm d}s_{0}^{2}$ of the standard metric ${\rm d}s_{0}^{2}$ admits a canonical decomposition into finitely many footballs -- Riemann spheres with two antipodal conical singularities of equal angle -- by cutting along a finite set of geodesics. This geometric decomposition provides a new framework for the Hurwitz existence problem. As an application, we prove that a collection $\mathcal{D}$ of $k$ nontrivial partitions of a positive integer $d$ satisfying the Riemann--Hurwitz condition is realizable as the branch datum of a rational map whenever $k>l+1$, where $l$ is the minimum partition length. This unifies the classical results of Thom ($l = 1$), Pakovich ($l = 2$) and Bara\'{n}ski ($k\geq d$), and confirms a conjecture of Zheng in an important special case.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The manuscript establishes a structure theorem for rational maps f: Riemann sphere to itself: the pullback metric f^* ds_0^2 admits a canonical decomposition into finitely many footballs (Riemann spheres with two antipodal conical singularities of equal angle) obtained by cutting along a finite collection of geodesics. This geometric framework is then applied to the Hurwitz existence problem, yielding a realizability theorem: any collection D of k nontrivial partitions of a positive integer d that satisfies the Riemann-Hurwitz condition is realizable as the branch datum of a rational map whenever k > l + 1, where l denotes the minimum partition length. The result unifies the classical theorems of Thom (l=1), Pakovich (l=2), and Barański (k ≥ d) and confirms Zheng's conjecture in an important special case.

Significance. If the central claims hold, the work supplies a new geometric approach to the Hurwitz existence problem by exploiting the local Euclidean structure of the pullback metric and an explicit geodesic-cutting construction via the developing map. The realizability statement is a concrete advance that recovers and extends several prior results while resolving a special case of a known conjecture; the parameter-counting argument that becomes positive precisely when k > l + 1 is a clean, falsifiable criterion.

major comments (2)
  1. [§2] §2 (Structure theorem): the proof that each component after cutting is a football with equal conical angles relies on the developing map and the fact that the metric is locally Euclidean away from conical points of angle 2πm (m integer). Please supply the precise local coordinate computation showing that the two singularities in each component necessarily have identical angles; this step is load-bearing for the subsequent assignment of partitions.
  2. [§3] §3 (Realizability theorem): the counting argument that the number of free parameters is positive exactly when k > l + 1 must be checked against the global topology of the sphere; confirm that the assignment of the given partitions to the footballs automatically satisfies the total branching index required by Riemann-Hurwitz and does not overcount or undercount the moduli.
minor comments (3)
  1. [§1] The term 'football' is introduced in the abstract and §1; add an explicit one-sentence definition at first appearance in the main text.
  2. [Figure 1] Figure 1 (schematic of geodesic cuts) would benefit from labels indicating the conical angles on each football component.
  3. [Theorem 1.2] In the statement of the main theorem, replace the informal phrase 'nontrivial partitions' with the precise numerical condition used in the proof.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and constructive comments. We address each major comment below and have revised the manuscript accordingly to incorporate additional details and clarifications.

read point-by-point responses

  1. Referee: [§2] §2 (Structure theorem): the proof that each component after cutting is a football with equal conical angles relies on the developing map and the fact that the metric is locally Euclidean away from conical points of angle 2πm (m integer). Please supply the precise local coordinate computation showing that the two singularities in each component necessarily have identical angles; this step is load-bearing for the subsequent assignment of partitions.

    Authors: We agree that an explicit local computation strengthens the argument. In the revised Section 2, we have inserted a new paragraph providing the requested coordinate computation. Let z be a local coordinate centered at a conical point of angle 2πm. The developing map φ satisfies φ(z) = z^m + higher terms near the singularity. After cutting along the geodesic, the complementary component is a sphere with two such points. Because the metric is pulled back from the flat metric on the target sphere and the developing map extends continuously across the cut, the monodromy around the two singularities must be conjugate, forcing the conical angles to be identical (both 2πm for the same integer m determined by the local degree). This identification is canonical and directly assigns the partition data to each football. revision: yes

  2. Referee: [§3] §3 (Realizability theorem): the counting argument that the number of free parameters is positive exactly when k > l + 1 must be checked against the global topology of the sphere; confirm that the assignment of the given partitions to the footballs automatically satisfies the total branching index required by Riemann-Hurwitz and does not overcount or undercount the moduli.

    Authors: The parameter count in Section 3 is already compatible with the global topology. Each football arising from the canonical decomposition carries a pair of partitions whose lengths sum to the local degree; the total branching index over all footballs equals the global branching index required by the Riemann-Hurwitz formula for a degree-d rational map. Because the decomposition is obtained by cutting along a finite geodesic graph whose Euler characteristic is fixed, there is no overcounting of moduli: the dimension of the configuration space of the k footballs on the sphere is 3k-6 minus the constraints from the cuts, which becomes positive precisely when k > l+1. We have added a short remark in the revised text confirming this topological consistency and verifying that the assignment respects the total degree. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via explicit construction

full rationale

The paper derives the structure theorem by explicitly constructing the cutting geodesics from the developing map of the pullback metric, using that the metric is locally Euclidean away from finitely many conical singularities of integer multiplicity. Each component is shown to be a football with equal conical angles. The realizability statement then follows by assigning the given partitions to these footballs and applying a direct counting argument on free parameters, which is positive precisely when k > l + 1. This chain relies on standard properties of the spherical metric and Riemann-Hurwitz rather than any fitted parameters, self-definitions, or load-bearing self-citations. The unification of prior results (Thom, Pakovich, Barański) and the special case of Zheng's conjecture are presented as consequences of the new decomposition, not as inputs. No step reduces by construction to its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the standard theory of Riemann surfaces and the Riemann-Hurwitz formula; the only novel object introduced is the football, which is defined geometrically rather than postulated with independent evidence.

axioms (1)
  • standard math The Riemann-Hurwitz formula holds for branched covers between Riemann spheres and supplies the necessary numerical condition on partitions.
    Invoked explicitly to state the hypothesis under which realizability is claimed.
invented entities (1)
  • football no independent evidence
    purpose: Basic building block in the canonical decomposition of the pullback metric
    Defined as a Riemann sphere carrying two antipodal conical singularities of equal angle; no independent existence proof outside the decomposition is supplied.

pith-pipeline@v0.9.0 · 5699 in / 1366 out tokens · 98782 ms · 2026-05-21T19:57:39.223403+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    On realizability of branched coverings of the sphere.Topology Appl.116 (2001), no

    Bara´nski, K. On realizability of branched coverings of the sphere.Topology Appl.116 (2001), no. 3, 279–291

    work page 2001

  2. [2]

    and Petronio, C

    Baroni, F. and Petronio, C. Solution of the Hurwitz problem with a length-2 partition. Illinois J. Math.68(2024), no. 3, 479–511

    work page 2024

  3. [3]

    Cycles comme produit de deux permutations de classes donn´ees.Discrete Math.58(1982), 129–142

    Boccara, G. Cycles comme produit de deux permutations de classes donn´ees.Discrete Math.58(1982), 129–142

    work page 1982

  4. [4]

    Y ., and Xu, B

    Chen, Q., Wang, W., Wu, Y . Y ., and Xu, B. Conformal metrics with constant curvature one and finitely many conical singularities on compact Riemann surfaces.Pacific J. Math.273(2015), no. 1, 75–100

    work page 2015

  5. [5]

    Cui, W. W. and Hu, J. Totally ramified rational maps.Conform. Geom. Dyn.26(2022), 208–234

    work page 2022

  6. [6]

    L., Kulkarni, R

    Edmonds, A. L., Kulkarni, R. S., and Stong, R. E. Realizability of branched coverings of surfaces.Trans. Amer. Math. Soc.282(1984), no. 2, 773–790

    work page 1984

  7. [7]

    Moduli of spherical tori with one conical point.Geom

    Eremenko, A., Mondello, M., and Panov, D. Moduli of spherical tori with one conical point.Geom. Topol.27(2023), no. 9, 3619–3698

    work page 2023

  8. [8]

    Ezell, C. L. Branch point structure of covering maps onto nonorientable surfaces.Trans. Amer. Math. Soc.243(1978), 123–133

    work page 1978

  9. [9]

    Gersten, S. M. On branched covers of the 2-sphere by the 2-sphere.Proc. Amer. Math. Soc.101(1987), no. 4, 761–766

    work page 1987

  10. [10]

    Ueber Riemann’sche Fl¨achen mit gegebenen Verzweigungspunkten.Math

    Hurwitz, A. Ueber Riemann’sche Fl¨achen mit gegebenen Verzweigungspunkten.Math. Ann.39(1891), no. 1, 1–60

    work page

  11. [11]

    Husemoller, D. H. Ramified coverings of Riemann surfaces.Duke Math. J.29(1962), 167–174. Structure and realizability for rational maps29

    work page 1962

  12. [12]

    Khovanskii, A. G. and Zdravkovska, S. Branched covers ofS2 and braid groups.J. Knot Theory Ramifications5(1996), no. 1, 55–75

    work page 1996

  13. [13]

    and Pankka, P

    Luisto, R. and Pankka, P. Sto ¨ılow’s theorem revisited.Expo. Math.(2019). https://doi.org/10.1016/j.exmath.2019.04.002

    work page doi:10.1016/j.exmath.2019.04.002 2019

  14. [14]

    and Zhu, X

    Mazzeo, R. and Zhu, X. W. Conical metrics on Riemann surfaces, I: The compactified configuration space and regularity.Geom. Topol.24(2020), no. 1, 309–372

    work page 2020

  15. [15]

    and Zhu, X

    Mazzeo, R. and Zhu, X. W. Conical metrics on Riemann surfaces, II: Spherical metrics. Int. Math. Res. Not.2022(2022), no. 12, 9044–9113

    work page 2022

  16. [16]

    McOwen, R. C. Point singularities and conformal metrics on Riemann surfaces.Proc. Amer. Math. Soc.103(1988), no. 1, 222–224

    work page 1988

  17. [17]

    Mednykh, A. D. Nonequivalent coverings of Riemann surfaces with a prescribed ramification type.Sibirsk. Mat. Zh.25(1984), no. 4, 120–142 (Russian)

    work page 1984

  18. [18]

    Mednykh, A. D. Branched coverings of Riemann surfaces whose branch orders coincide with the multiplicity.Comm. Algebra18(1990), no. 5, 1517–1533

    work page 1990

  19. [19]

    and Panov, D

    Mondello, G. and Panov, D. Spherical metrics with conical singularities on a 2-sphere: angle constraints.Int. Math. Res. Not.2016(2016), no. 16, 4937–4995

    work page 2016

  20. [20]

    and Panov, D

    Mondello, G. and Panov, D. Spherical surfaces with conical points: systole inequality and moduli spaces with many connected components.Geom. Funct. Anal.29(2019), no. 4, 1110–1193

    work page 2019

  21. [21]

    S., and Song, Y

    Monni, S., Song, J. S., and Song, Y . S. The Hurwitz enumeration problem of branched covers and Hodge integrals.J. Geom. Phys.50(2004), no. 1-4, 223–256

    work page 2004

  22. [22]

    and Pandharipande, R

    Okounkov, A. and Pandharipande, R. Gromov-Witten theory, Hurwitz theory, and completed cycles.Ann. of Math.163(2006), no. 2, 517–560

    work page 2006

  23. [23]

    Solution of the Hurwitz problem for Laurent polynomials.J

    Pakovich, F. Solution of the Hurwitz problem for Laurent polynomials.J. Knot Theory Ramifications18(2009), no. 2, 271–302

    work page 2009

  24. [24]

    Hurwitz existence problem and fiber products.arXiv:2408.10874v1 [math.CV] (2024)

    Pakovich, F. Hurwitz existence problem and fiber products.arXiv:2408.10874v1 [math.CV] (2024)

    work page arXiv 2024

  25. [25]

    Pascali, M. A. and Petronio, C. Surface branched covers and geometric 2-orbifolds. Trans. Amer. Math. Soc.361(2009), no. 11, 5885–5920

    work page 2009

  26. [26]

    Pascali, M. A. and Petronio, C. Branched covers of the sphere and the prime-degree conjecture.Ann. Mat. Pura Appl.191(2012), no. 3, 563–594

    work page 2012

  27. [27]

    and Petronio, C

    Pervova, E. and Petronio, C. On the existence of branched coverings between surfaces with prescribed branch data, I.Algebr. Geom. Topol.6(2006), 1957–1985

    work page 2006

  28. [28]

    and Petronio, C

    Pervova, E. and Petronio, C. Realizability and exceptionality of candidate surface branched covers: methods and results. In:Geometry Seminars. 2005–2009(Italian)

    work page 2005

  29. [29]

    and Petronio, C

    Pervova, E. and Petronio, C. On the existence of branched coverings between surfaces with prescribed branch data, II.J. Knot Theory Ramifications17(2008), no. 7, 787–816. 30Zhiqiang Wei

    work page 2008

  30. [30]

    The Hurwitz existence problem for surface branched covers.Winter Braids Lect

    Petronio, C. The Hurwitz existence problem for surface branched covers.Winter Braids Lect. Notes7(2020), Winter Braids X (Pisa, 2020), Exp. No. 2, 43 pp

    work page 2020

  31. [31]

    Song, J. J. and Xu, B. On rational functions with more than three branch points.Algebra Colloq.27(2020), no. 2, 231–246

    work page 2020

  32. [32]

    Sur les transformations continues et la topologie des fonctions analytiques

    Sto¨ılow, S. Sur les transformations continues et la topologie des fonctions analytiques. Ann. Sci. ´Ec. Norm. Sup´er.45(1928), 347–382

    work page 1928

  33. [33]

    L’equivalence d’une fonction diff´erentiable et d’un polynˆome.Topology3 (1965), suppl

    Thom, R. L’equivalence d’une fonction diff´erentiable et d’un polynˆome.Topology3 (1965), suppl. 2, 297–307

    work page 1965

  34. [34]

    Wang, G. F. and Zhu, X. H. Extremal Hermitian metrics on Riemann surfaces with singularities.Duke Math. J.104(2000), no. 2, 181–210

    work page 2000

  35. [35]

    Q., Wu, Y

    Wei, Z. Q., Wu, Y . Y ., and Xu, B. A note on rational maps with three branching points on the Riemann sphere. To appear inAlgebr. Geom. Topol

    work page

  36. [36]

    Q., Wu, Y

    Wei, Z. Q., Wu, Y . Y ., and Xu, B. Geometric structure and existence of reducible spherical metrics. arXiv:2211.11929v2

    work page arXiv

  37. [37]

    Realizability of branched covering ofS 2 .Topology Appl.153(2006), no

    Zheng, H. Realizability of branched covering ofS 2 .Topology Appl.153(2006), no. 12, 2124–2134

    work page 2006

  38. [38]

    Zhu, X. W. Spherical conic metrics and realizability of branched covers.Proc. Amer. Math. Soc.147(2019), no. 4, 1805–1815. School of Mathematics and Statistics, Henan University, Kaifeng, China Center for Applied Mathematics of Henan Province, Henan University, Zhengzhou, China weizhiqiang15@mails.ucas.edu.cn ~~or~~10100123@vip.henu.edu.cn

    work page 2019