Riemann–Roch theorem

E47350

mathematical theorem theorem

The Riemann–Roch theorem is a fundamental result in algebraic geometry and complex analysis that relates the dimension of spaces of meromorphic sections of a line bundle on a curve to topological data such as genus and degree.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (8)

Label	Occurrences
Riemann–Roch theorem canonical	10
Riemann–Roch type formulas	2
Riemann–Roch for curves	1
Riemann–Roch formulas	1
Riemann–Roch theorem for curves	1
Riemann–Roch theorem for divisors on algebraic curves	1
Riemann–Roch theorem for families	1
Riemann–Roch theorems	1

How this entity was disambiguated

This entity first appeared as the object of triple T373782 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Riemann–Roch theorem
Context triple: [Bernhard Riemann, knownFor, Riemann–Roch theorem]

A. Hilbert’s Nullstellensatz
Hilbert’s Nullstellensatz is a foundational theorem in algebraic geometry that establishes a deep correspondence between ideals in polynomial rings and algebraic sets, linking algebra and geometry.
B. Hilbert’s syzygy theorem
Hilbert’s syzygy theorem is a fundamental result in commutative algebra that describes the finite length and structure of free resolutions of modules over polynomial rings.
C. Gauss–Bonnet theorem (early form)
The Gauss–Bonnet theorem (early form) is an early version of the fundamental result in differential geometry that links the total curvature of a surface to its topological characteristics, originally developed by Carl Friedrich Gauss.
D. Gauss’s lemma in number theory
Gauss’s lemma in number theory is a result that relates the Legendre symbol to the number of sign changes in a certain sequence of multiples, providing a practical criterion for determining quadratic residues modulo an odd prime.
E. Hilbert’s irreducibility theorem
Hilbert’s irreducibility theorem is a fundamental result in number theory and algebraic geometry that ensures many polynomial equations with parameterized coefficients retain irreducibility for infinitely many specializations of those parameters.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Riemann–Roch theorem
Target entity description: The Riemann–Roch theorem is a fundamental result in algebraic geometry and complex analysis that relates the dimension of spaces of meromorphic sections of a line bundle on a curve to topological data such as genus and degree.

A. Hilbert’s Nullstellensatz
Hilbert’s Nullstellensatz is a foundational theorem in algebraic geometry that establishes a deep correspondence between ideals in polynomial rings and algebraic sets, linking algebra and geometry.
B. Hilbert’s syzygy theorem
Hilbert’s syzygy theorem is a fundamental result in commutative algebra that describes the finite length and structure of free resolutions of modules over polynomial rings.
C. Gauss–Bonnet theorem (early form)
The Gauss–Bonnet theorem (early form) is an early version of the fundamental result in differential geometry that links the total curvature of a surface to its topological characteristics, originally developed by Carl Friedrich Gauss.
D. Gauss’s lemma in number theory
Gauss’s lemma in number theory is a result that relates the Legendre symbol to the number of sign changes in a certain sequence of multiples, providing a practical criterion for determining quadratic residues modulo an odd prime.
E. Hilbert’s irreducibility theorem
Hilbert’s irreducibility theorem is a fundamental result in number theory and algebraic geometry that ensures many polynomial equations with parameterized coefficients retain irreducibility for infinitely many specializations of those parameters.
F. None of above. chosen

Statements (47)

Predicate	Object
instanceOf	mathematical theorem ⓘ theorem ⓘ
appliesTo	compact Riemann surfaces ⓘ smooth projective algebraic curves ⓘ
completedBy	Gustav Roch ⓘ
concerns	divisors on curves ⓘ line bundles on curves ⓘ
expresses	Euler characteristic as degree plus 1 minus genus ⓘ dimension of H^0(L) minus dimension of H^1(L) ⓘ
field	algebraic geometry ⓘ complex analysis ⓘ
generalizedBy	Grothendieck–Riemann–Roch theorem ⓘ Hirzebruch–Riemann–Roch theorem ⓘ Grothendieck–Riemann–Roch theorem ⓘ surface form: Riemann–Roch theorem for higher-dimensional varieties
givesFormulaFor	dimension of the space of global sections of a line bundle ⓘ dimension of the space of meromorphic functions with prescribed zeros and poles ⓘ
hasKeyConcept	Euler characteristic of a line bundle ⓘ Serre duality ⓘ surface form: Serre duality (in modern formulations) canonical divisor ⓘ degree of a divisor ⓘ genus of a curve ⓘ
hasModernFormulationIn	algebraic geometry over arbitrary fields ⓘ sheaf cohomology ⓘ
historicalPeriod	19th century mathematics ⓘ
implies	Riemann–Hurwitz formula in certain cases ⓘ
influenced	development of K-theory ⓘ development of index theorems ⓘ
isFundamentalFor	intersection theory on curves ⓘ theory of divisors on curves ⓘ theory of line bundles on curves ⓘ
namedAfter	Bernhard Riemann ⓘ Gustav Roch ⓘ
originalContext	compact Riemann surfaces ⓘ
originallyProvedBy	Bernhard Riemann ⓘ
relatedTo	Atiyah–Singer index theorem ⓘ
relates	degree of divisors ⓘ dimension of spaces of meromorphic sections ⓘ genus of a curve ⓘ
type	dimension formula ⓘ
usedIn	Brill–Noether theory ⓘ classification of algebraic curves ⓘ coding theory on algebraic curves ⓘ construction of canonical embeddings of curves ⓘ moduli of curves ⓘ study of Jacobian varieties ⓘ study of linear systems on curves ⓘ theory of algebraic function fields ⓘ

How these facts were elicited

Referenced by (18)

Full triples — surface form annotated when it differs from this entity's canonical label.

Bernhard Riemann → knownFor → Riemann–Roch theorem ⓘ

Riemann surfaces → hasTheorem → Riemann–Roch theorem ⓘ

subject surface form: Riemann surface

Georg → notableWork → Riemann–Roch theorem ⓘ

subject surface form: Georg Friedrich Bernhard Riemann

Friedrich → notableConcept → Riemann–Roch theorem ⓘ

subject surface form: Friedrich Bernhard Riemann

Atiyah–Singer index theorem → generalizes → Riemann–Roch theorem ⓘ

Chern classes → usedFor → Riemann–Roch theorem ⓘ

this entity surface form: Riemann–Roch theorems

Serre duality → usedFor → Riemann–Roch theorem ⓘ

this entity surface form: Riemann–Roch type formulas

Serre duality → relatedTo → Riemann–Roch theorem ⓘ

Grothendieck–Riemann–Roch theorem → generalizes → Riemann–Roch theorem ⓘ

Grothendieck–Riemann–Roch theorem → hasConsequence → Riemann–Roch theorem ⓘ

this entity surface form: Riemann–Roch for curves

Hirzebruch–Riemann–Roch theorem → generalizes → Riemann–Roch theorem ⓘ

this entity surface form: Riemann–Roch theorem for curves

Hirzebruch–Riemann–Roch theorem → generalizes → Riemann–Roch theorem ⓘ

this entity surface form: Riemann–Roch theorem for divisors on algebraic curves

Brill–Noether theory → usesConcept → Riemann–Roch theorem ⓘ

Chern character → usedIn → Riemann–Roch theorem ⓘ

this entity surface form: Riemann–Roch type formulas

Todd class → appearsIn → Riemann–Roch theorem ⓘ

this entity surface form: Riemann–Roch formulas

families index theorem → relatedTo → Riemann–Roch theorem ⓘ

this entity surface form: Riemann–Roch theorem for families

equivariant index theorem → relatedTo → Riemann–Roch theorem ⓘ

All labels observed (8)

How this entity was disambiguated Show

Statements (47)

How these facts were elicited Show

Referenced by (18)

How this entity was disambiguated

How these facts were elicited