On the Riemann-Roch formula: old and new
Pith reviewed 2026-05-21 02:36 UTC · model grok-4.3
The pith
Answering the Baker-Norine question supplies a new proof of the Riemann-Roch formula for algebraic curves.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper claims that an affirmative answer to the Baker-Norine question directly yields the classical Riemann-Roch formula for algebraic curves, thereby supplying a novel proof of the result.
What carries the argument
The affirmative resolution of the Baker-Norine question, which functions as the single step sufficient to recover the formula.
If this is right
- The Riemann-Roch formula holds once the Baker-Norine question receives a positive answer.
- Algebraic curves satisfy the classical dimension formula through this route alone.
- The 2007 question and the Riemann-Roch statement are linked by a direct derivation.
Where Pith is reading between the lines
- The method could be checked by applying the same question to curves of small genus and verifying the resulting dimension counts match known values.
- Similar targeted questions might simplify proofs of related results such as the Riemann-Hurwitz formula.
- The approach may suggest combinatorial models that approximate the algebraic case without full machinery.
Load-bearing premise
The answer to the Baker-Norine question is assumed to be both correct and sufficient by itself to derive the classical Riemann-Roch formula for algebraic curves without further unstated steps or reductions.
What would settle it
An explicit counterexample showing that the proposed answer to the Baker-Norine question does not imply the standard Riemann-Roch equality for some algebraic curve.
read the original abstract
The Riemann-Roch formula is a cornerstone in the classical theory of algebraic curves. Here we present a novel approach to its proof, by answering a question posed in 2007 by Matthew Baker and Serguei Norine.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to give a novel proof of the classical Riemann-Roch theorem for algebraic curves by answering the 2007 Baker-Norine question on the rank of divisors (equivalently, a rank-nullity relation) in the chip-firing model on graphs.
Significance. If the transfer from the combinatorial setting to algebraic curves is made rigorous, the result would supply a new perspective on a foundational theorem and strengthen the bridge between graph-theoretic divisor theory and algebraic geometry. The direct resolution of the Baker-Norine question is a clear strength of the work.
major comments (1)
- [The section on application to algebraic curves (following the resolution of the Baker-Norine question)] The reduction step from the graph-theoretic answer to the classical Riemann-Roch formula on a smooth projective curve is not shown explicitly. The Baker-Norine result yields a combinatorial rank-nullity statement, but the manuscript does not detail how this implies equality of dimensions of linear systems on the curve (via specialization, tropicalization, or flat degeneration) without additional unstated base-change or limit arguments. This correspondence is load-bearing for the central claim that the combinatorial solution alone supplies the classical proof.
minor comments (1)
- The abstract is very brief and does not outline the key steps of the argument or the precise statement of the Baker-Norine question being answered.
Simulated Author's Rebuttal
We thank the referee for their careful reading and for identifying the need to strengthen the exposition of the reduction from the combinatorial setting to the classical Riemann-Roch theorem. We respond to the major comment below and will incorporate the suggested clarifications in the revised manuscript.
read point-by-point responses
-
Referee: [The section on application to algebraic curves (following the resolution of the Baker-Norine question)] The reduction step from the graph-theoretic answer to the classical Riemann-Roch formula on a smooth projective curve is not shown explicitly. The Baker-Norine result yields a combinatorial rank-nullity statement, but the manuscript does not detail how this implies equality of dimensions of linear systems on the curve (via specialization, tropicalization, or flat degeneration) without additional unstated base-change or limit arguments. This correspondence is load-bearing for the central claim that the combinatorial solution alone supplies the classical proof.
Authors: We agree that the reduction step requires a more explicit and self-contained treatment. Although the manuscript references the specialization correspondence between divisors on curves and their tropicalizations (following the framework introduced by Baker and Norine), the precise passage from the combinatorial rank-nullity relation to the equality of dimensions of linear systems is only sketched rather than derived in full detail. In the revised version we will add a dedicated subsection that constructs a flat degeneration of the smooth projective curve to a nodal curve, defines the specialization map on the Picard group, and verifies that the combinatorial rank equals the algebraic dimension of the Riemann-Roch space after base change to the special fiber. This will make the argument rigorous without relying on unstated limit arguments and will directly support the claim that the resolution of the Baker-Norine question yields the classical formula. revision: yes
Circularity Check
No circularity: derivation relies on external 2007 question without self-referential reduction.
full rationale
The paper claims a novel proof of the classical Riemann-Roch formula for algebraic curves by answering the Baker-Norine question from 2007. The provided abstract and context contain no equations, no fitted parameters renamed as predictions, no self-citations that bear the central load, and no ansatz or uniqueness statements imported from the authors' own prior work. The Baker-Norine question originates with different authors, and the manuscript is described as supplying an independent combinatorial answer that is then applied to the geometric setting. Without any quoted reduction showing that the target RR formula is assumed or constructed from the paper's own inputs, the derivation chain is self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1 (Baker-Norine) ... equivalent to (RR1) ... (RR2) ... direct proof of (RR1) ... using Riemann’s inequality and Noether’s reduction lemma
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
-
[1]
M. Baker and S. Norine: Riemann-Roch and Abel-Jacobi theory on a finite graph, Advances in Mathematics 215 (2007), 766–788
work page 2007
-
[2]
W. Fulton: Algebraic curves. An introduction to algebraic geometry, 1969, https://dept.math.lsa.umich.edu/ wfulton/CurveBook.pdf. Claudio Fontanari Dipartimento di Matematica Universit` a degli Studi di Trento Via Sommarive 14, 38123 Trento (Italy) claudio.fontanari@unitn.it 3
work page 1969
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.