Hirzebruch–Riemann–Roch theorem
E259772
The Hirzebruch–Riemann–Roch theorem is a fundamental result in algebraic geometry and topology that expresses the holomorphic Euler characteristic of a complex manifold in terms of characteristic classes, unifying and extending classical Riemann–Roch type formulas.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Hirzebruch–Riemann–Roch theorem canonical | 8 |
| Hirzebruch–Riemann–Roch for smooth projective varieties | 1 |
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
mathematical theorem
ⓘ
theorem in algebraic geometry ⓘ theorem in topology ⓘ |
| appliesTo |
compact complex manifolds
ⓘ
smooth projective varieties ⓘ |
| assumption |
compactness of the manifold
ⓘ
complex structure on the manifold ⓘ smoothness of the variety ⓘ |
| category |
Atiyah–Singer index theorem
ⓘ
surface form:
index theorems
|
| domainObject |
compact complex manifold X
ⓘ
holomorphic vector bundle E over X ⓘ |
| expresses | holomorphic Euler characteristic as integral of characteristic classes ⓘ |
| field |
K-theory
ⓘ
algebraic geometry ⓘ complex geometry ⓘ differential topology ⓘ |
| generalizes |
Riemann–Roch theorem
ⓘ
Riemann–Roch theorem ⓘ
surface form:
Riemann–Roch theorem for curves
Riemann–Roch theorem ⓘ
surface form:
Riemann–Roch theorem for divisors on algebraic curves
|
| givesFormulaFor |
holomorphic Euler characteristic of a coherent sheaf
ⓘ
holomorphic Euler characteristic of a vector bundle ⓘ |
| hasConsequence |
relations between Chern numbers and Euler characteristics
ⓘ
topological formulas for arithmetic genera ⓘ |
| historicalPeriod | 20th century mathematics ⓘ |
| implies | topological invariance of holomorphic Euler characteristic ⓘ |
| inspired | Grothendieck–Riemann–Roch theorem ⓘ |
| namedAfter | Friedrich Hirzebruch ⓘ |
| provedBy | Friedrich Hirzebruch ⓘ |
| publishedIn | Mathematische Annalen ⓘ |
| relatedTo |
Atiyah–Singer index theorem
ⓘ
Grothendieck–Riemann–Roch theorem ⓘ Noether’s formula ⓘ Hirzebruch signature theorem ⓘ
surface form:
signature theorem
|
| relatesConcept |
Chern classes
ⓘ
Todd class ⓘ characteristic classes ⓘ cohomology ⓘ complex vector bundles ⓘ holomorphic Euler characteristic ⓘ topological K-theory ⓘ |
| statementForm | χ(X,E) = ∫_X ch(E)·Td(TX) ⓘ |
| usedIn |
classification of complex surfaces
ⓘ
computation of dimensions of spaces of sections ⓘ enumerative geometry ⓘ study of moduli spaces ⓘ |
| uses |
Chern character of a vector bundle
ⓘ
Todd class of the tangent bundle ⓘ |
| yearProved | 1954 ⓘ |
Referenced by (9)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Hirzebruch–Riemann–Roch for smooth projective varieties