Improved bounds on the number of holomorphic maps between compact Riemann surfaces

Masaharu Tanabe

arxiv: 2605.21137 · v1 · pith:QR6X2JN3new · submitted 2026-05-20 · 🧮 math.CV · math.AG

Improved bounds on the number of holomorphic maps between compact Riemann surfaces

Masaharu Tanabe This is my paper

Pith reviewed 2026-05-21 01:32 UTC · model grok-4.3

classification 🧮 math.CV math.AG

keywords holomorphic mapsRiemann surfacesupper boundsgenusJacobian varietiesholomorphic differentialsgeometry of numbers

0 comments

The pith

The number of nonconstant holomorphic maps between compact Riemann surfaces is bounded above by a constant depending only on their genera.

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

This paper establishes new upper bounds on the number of nonconstant holomorphic maps from one compact Riemann surface to another, where the bound depends solely on the genera of the two surfaces. These estimates improve upon previously known results by using pullbacks of holomorphic differentials and methods from the geometry of numbers applied to Jacobian varieties. A sympathetic reader would care because the result quantifies how many holomorphic mappings are possible without requiring detailed knowledge of each individual surface beyond its genus. The bounds are uniform and explicit, applying to all pairs of surfaces with given genera.

Core claim

By examining the pullbacks of holomorphic differentials under the maps and applying techniques from the geometry of numbers to the lattice points in the Jacobian varieties, explicit upper bounds are obtained for the number of nonconstant holomorphic maps between compact Riemann surfaces that depend only on the genera and improve on earlier estimates.

What carries the argument

Pullbacks of holomorphic differentials combined with lattice-point counting via the geometry of numbers in the Jacobian variety of the target surface.

If this is right

For any fixed pair of genera the total number of such maps is finite.
The bound holds uniformly for every pair of surfaces with those genera.
Tighter estimates become available for explicit calculations when the genera are small.
The result constrains the possible branched covers without additional geometric input.

Where Pith is reading between the lines

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

Holomorphic maps between surfaces turn out to be controlled more strongly by global topological invariants than by local analytic details.
Computational checks for low-genus examples could reveal whether the new bounds are close to sharp.
Similar counting arguments might extend to maps between algebraic curves defined over number fields.

Load-bearing premise

That studying pullbacks of holomorphic differentials together with the geometry of numbers on Jacobian varieties is enough to produce explicit genus-only upper bounds without needing surface-specific data.

What would settle it

Find a pair of compact Riemann surfaces of genera g and h that admit more nonconstant holomorphic maps than the explicit upper bound stated in the paper.

read the original abstract

We give new upper bounds for the number of nonconstant holomorphic maps depending only on the genus. Our estimates improve previously known bounds. The proof is based on the study of pullbacks of holomorphic differentials, together with techniques from the geometry of numbers and the theory of Jacobian varieties.

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.

Desk Editor's Note private letter to a colleague

Tanabe claims sharper genus-only upper bounds on nonconstant holomorphic maps via pullbacks into Jacobians and geometry of numbers, but the uniformity of the constants over varying period matrices is the part that needs verification.

read the letter

The main thing to know is that this paper gives new upper bounds on the number of nonconstant holomorphic maps between compact Riemann surfaces that depend only on the genera of the surfaces, and these bounds improve on what was known before. The approach pulls back holomorphic differentials to get a lattice inside the target Jacobian and then uses geometry of numbers to bound the number of such maps. That is a standard toolkit for this kind of counting problem, and the abstract indicates the author carries it through to explicit genus-dependent estimates rather than just existence or asymptotic statements. That is the concrete advance here, and it is the part that could be useful to people who need sharper numerical control in Riemann surface theory. The method itself looks reasonable on the surface: Jacobians and successive minima are well-studied, and applying them to pullback lattices is a natural move. If the full paper shows clean control of the constants, that would be a modest but real improvement over prior work. The soft spot is the one the stress-test flags. The lattice metric comes from the period matrix, and for fixed genus those matrices move around in Siegel space. Nothing in the abstract shows an explicit lower bound on the shortest vectors that stays uniform across the whole moduli space. If the minima can get small, the geometry-of-numbers bound could pick up extra factors that depend on the specific surface rather than just genus. The paper would need to address that directly, either by proving a uniform estimate or by showing why the variation does not affect the final count. Without seeing the details it is hard to tell whether this is a minor technical point or something that requires a different argument. This is the sort of paper that specialists in complex geometry and Riemann surfaces would read. Someone who already follows work on holomorphic maps or bounds coming from algebraic geometry might pick up a usable improvement if the uniformity holds. A broader audience in complex analysis or algebraic geometry would probably skip it. I would send it to peer review. The claim is specific, the tools are standard, and the potential gap is checkable rather than fatal. Referees can sort out whether the constants really stay genus-only.

Referee Report

1 major / 1 minor

Summary. The manuscript claims new upper bounds on the number of nonconstant holomorphic maps between compact Riemann surfaces that depend only on the genus and improve on prior results. The proof is based on mapping such maps to lattice points via pullbacks of holomorphic differentials, then applying geometry of numbers in the target Jacobian variety.

Significance. If the uniformity over genus alone is established, the result would strengthen explicit estimates in the geometry of Riemann surfaces and moduli spaces. The combination of pullback techniques with geometry of numbers on Jacobian lattices is a reasonable strategy when the required lower bounds on successive minima can be made genus-dependent.

major comments (1)

[Proof of the main theorem (around the application of Minkowski's theorem to the pullback lattice)] The central claim requires bounds depending only on genus. The geometry-of-numbers step bounds lattice points whose successive minima and covolume are controlled by the Hermitian metric coming from the period matrix. For fixed genus the fundamental domain in Siegel space is non-compact, so these quantities can become arbitrarily small; the manuscript must supply an explicit uniform lower bound (depending only on genus) for the relevant minima or covolume to justify the stated estimates.

minor comments (1)

[Abstract] The abstract supplies no explicit form of the new bounds or sample numerical values; adding a brief statement of the improved estimate (e.g., the functional dependence on g) would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of our manuscript and for highlighting the need for uniformity in the bounds. We address the major comment in detail below and will make the necessary revisions to strengthen the proof.

read point-by-point responses

Referee: [Proof of the main theorem (around the application of Minkowski's theorem to the pullback lattice)] The central claim requires bounds depending only on genus. The geometry-of-numbers step bounds lattice points whose successive minima and covolume are controlled by the Hermitian metric coming from the period matrix. For fixed genus the fundamental domain in Siegel space is non-compact, so these quantities can become arbitrarily small; the manuscript must supply an explicit uniform lower bound (depending only on genus) for the relevant minima or covolume to justify the stated estimates.

Authors: We agree with the referee that an explicit uniform lower bound is required to rigorously justify the application of Minkowski's theorem in a genus-dependent manner. Although the current manuscript sketch assumes the control via the period matrix, we acknowledge that the non-compactness of the fundamental domain necessitates a careful estimate. In the revised manuscript, we will include a new lemma providing a lower bound for the first successive minimum λ₁ of the lattice, showing that λ₁ ≥ c(g) > 0 where c(g) is an explicit positive constant depending only on the genus g. This bound is derived from the positive definiteness of the Hermitian form and estimates on the minimal norm of non-zero elements in the period lattice, using the standard reduction theory for Siegel modular groups which ensures that the shortest vector cannot be arbitrarily small without violating the reduction conditions for fixed g. With this addition, the volume estimates and the resulting upper bound on the number of lattice points will be uniform in the genus as claimed. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses external techniques

full rationale

The paper derives genus-dependent upper bounds on holomorphic maps by mapping them to lattice points in the Jacobian via pullbacks of holomorphic differentials and then applying geometry of numbers. These steps invoke standard external results from complex analysis and geometry of numbers rather than defining quantities in terms of the target bounds or fitting parameters to the same data being bounded. No self-citation chains, ansatzes smuggled via prior work, or renamings of known results appear as load-bearing elements in the described method. The central claim therefore remains independent of its own outputs and is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard facts about holomorphic differentials, Jacobian varieties, and geometry of numbers; no free parameters or invented entities are indicated in the abstract.

axioms (2)

standard math Standard properties of pullbacks of holomorphic differentials on compact Riemann surfaces
Invoked as the basis for the proof approach.
domain assumption Techniques from the geometry of numbers and theory of Jacobian varieties apply directly to bound holomorphic maps
Cited as the source of the new estimates.

pith-pipeline@v0.9.0 · 5553 in / 1174 out tokens · 39950 ms · 2026-05-21T01:32:39.359588+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We will show this by estimating the possible number of pull backs of harmonic differentials in H1(Yi,Z). We may identify H1(Yi,Z) with the lattice of the dual Jacobian variety ˆJ(Yi). Thus, we will use theory of homomorphisms of Jacobians and theory of lattices from the geometry of numbers.

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

3 extracted references · 3 canonical work pages

[1]

[A-P ] Alzati, A., Pirola, G.P.,Some remarks on the de Franchis theorem, Ann. Univ. Ferrara Sez. VII (N.S.) 36 (1990), 45–52. [Ca ] Cassels, J.W.S.,An Introduction to the geometry of numbers, 2nd pr., Springer-Verlag, New York, Heidelberg, and Berlin,

work page 1990
[2]

and Fuertes, Y.,The number of mappings between com- pact Riemann surfaces, Osaka J

[Ch ] Chamizo, F. and Fuertes, Y.,The number of mappings between com- pact Riemann surfaces, Osaka J. Math. 48 (2011), 743–748 [F ] de Franchis, M.,Un teorema sulle involuzioni irrazionali, Rend. Circ. Mat. Palermo 36 (1913),

work page 2011
[3]

J.,On the theorem of de Franchis, Ann

14 [H-S ] Howard, A., Sommese, A. J.,On the theorem of de Franchis, Ann. Scuola. Norm. Sup. Pisa Cl. Sci. (4) 10 (1983), 429–436. [K ] Kani, E.,Bounds on the number of non-rational subfields of a func- tion field, Invent. Math. 85 (1986), 185–198. [Mr ] Martens, H.,Observations on morphisms of closed Riemann surfaces, Bull. London Math. Soc. 10 (1978), 20...

work page 1983

[1] [1]

[A-P ] Alzati, A., Pirola, G.P.,Some remarks on the de Franchis theorem, Ann. Univ. Ferrara Sez. VII (N.S.) 36 (1990), 45–52. [Ca ] Cassels, J.W.S.,An Introduction to the geometry of numbers, 2nd pr., Springer-Verlag, New York, Heidelberg, and Berlin,

work page 1990

[2] [2]

and Fuertes, Y.,The number of mappings between com- pact Riemann surfaces, Osaka J

[Ch ] Chamizo, F. and Fuertes, Y.,The number of mappings between com- pact Riemann surfaces, Osaka J. Math. 48 (2011), 743–748 [F ] de Franchis, M.,Un teorema sulle involuzioni irrazionali, Rend. Circ. Mat. Palermo 36 (1913),

work page 2011

[3] [3]

J.,On the theorem of de Franchis, Ann

14 [H-S ] Howard, A., Sommese, A. J.,On the theorem of de Franchis, Ann. Scuola. Norm. Sup. Pisa Cl. Sci. (4) 10 (1983), 429–436. [K ] Kani, E.,Bounds on the number of non-rational subfields of a func- tion field, Invent. Math. 85 (1986), 185–198. [Mr ] Martens, H.,Observations on morphisms of closed Riemann surfaces, Bull. London Math. Soc. 10 (1978), 20...

work page 1983