العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolRIEMANN–ROCH THEOREM
(Redirected from Riemann-Roch theorem)
In mathematics, specifically in complex analysis and algebraic geometry, the 'Riemann–Roch theorem' is an important tool in the computation of the dimension of the space of meromorphic functions with prescribed zeroes and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus ''g'', in a way that can be carried over into purely algebraic settings.
Initially proved as 'Riemann's inequality', the theorem reached its definitive form for Riemann surfaces after work of Riemann's short-lived student Gustav Roch in the 1850s. It was later generalized to algebraic curves, to higher-dimensional varieties and beyond.
We start with a connected compact Riemann surface of genus ''g'', and a fixed point ''P'' on it. We may look at functions having a pole only at ''P''. There is an increasing sequence of vector spaces: functions with no poles
(i.e., constant functions), functions allowed at most a simple pole at ''P'', functions allowed at most a double pole at ''P'', a triple pole, ... These spaces are all finite dimensional. In case ''g'' = 0 we can see that the sequence of dimensions starts
:1, 2, 3, ...:
this can be read off from the theory of partial fractions. Conversely if this sequence starts
:1, 2, ...
then ''g'' must be zero (the so-called Riemann sphere).
In the theory of elliptic functions it is shown that for ''g'' = 1 this sequence is
:1, 1, 2, 3, 4, 5 ... ;
and this characterises the case ''g'' = 1. For ''g'' > 2 there is no set initial segment; but we can say what the ''tail'' of the sequence must be. We can also see why ''g'' = 2 is somewhat special.
The reason that the results take the form they do goes back to the formulation (''Roch's part'') of the theorem: as a difference of two such dimensions. When one of those can be set to zero, we get an exact formula, which is linear in the genus and the ''degree'' (i.e. number of ''degrees of freedom''). Already the examples given allow a reconstruction in the shape
:''dimension'' − ''correction'' = ''degree'' − ''g'' + 1.
For ''g'' = 1 the correction is 1 for degree 0; and otherwise 0. The full theorem explains the correction as the dimension associated to a further, 'complementary' space of functions.
In now-accepted notation, the statement of Riemann–Roch for a compact Riemann surface of genus ''g'' is
:''l''(''D'') − ''l''(''K'' − ''D'') = ''deg''(''D'') − ''g'' + 1.
This applies to all ''divisors'' ''D'', elements of the free abelian group on the points of the surface. Equivalently, a divisor is a finite linear combination of points of the surface with integer coefficients.
We define the divisor of a meromorphic function ''f'' as
:
where ''R''(''f'') is the set of all zeroes and poles of ''f'', and ''sν'' is given by
:
We define the divisor of a meromorphic 1-form similarly. A divisor of a global meromorphic function is called a principal divisor. Two divisors that differ by a principal divisor are called linearly equivalent. A divisor of a global meromorphic 1-form is called the canonical divisor (usually denoted ''K''). Any two meromorphic 1-forms will yield linearly equivalent divisors, so the canonical divisor is uniquely determined up to linear equivalence (hence "the" canonical divisor).
The symbol ''deg''(''D'') denotes the ''degree'' of the divisor ''D'', i.e. the sum of the coefficients occurring in ''D''. It can be shown that the divisor of a global meromorphic function always has degree 0, so the degree of the divisor depends only on the linear equivalence class.
The number ''l''(D) is the quantity that is of primary interest: the dimension (over 'C') of the vector space of meromorphic functions ''g'' on the surface, such that all the coefficients of (''g'') + ''D'' are non-negative. Intuitively, we can think of this as being all meromorphic functions whose poles at every point are no worse than the corresponding coefficient in ''D''; if the coefficient in ''D'' at ''z'' is negative, then we require that ''g'' has a zero of at least that multiplicity at ''z'' - if the coefficient in ''D'' is positive, ''g'' can have a pole of at most that order. The vector spaces for linearly equivalent divisors are naturally isomorphic through multiplication with the global meromorphic function (which is well-defined up to a scalar).
Even if we don't know anything about ''K'', we know at least that
:''l''(''K'' − ''D'') ≥ 0,
so
:''l''(D) ≥ ''deg''(''D'') − ''g'' + 1
which is 'Riemann's inequality' mentioned earlier.
The theorem above is correct for all compact connected Riemann surfaces[1]. The formula also holds for all non-singular projective algebraic curves over an algebraically closed field ''k''. Here ''l''(''D'') denotes the dimension (over ''k'') of the space of rational functions on the curve whose poles at every point are not worse than the corresponding coefficient in ''D''.
To relate this to our example above, we need some information about ''K'': for ''g'' = 1 we can take ''K'' = 0, while for ''g'' = 0 we can take ''K'' = −2''P'' (any ''P''). In general K has degree 2''g'' − 2. As long as ''D'' has degree at least 2''g'' − 1 we can be sure that the correction term is 0.
Going back therefore to the case ''g'' = 2 we see that the sequence mentioned above is
:1, 1, ?, 2, 3, ... .
It is shown from this that the ? term of degree 2 is in fact 2, characterising degree 2 Riemann surfaces as hyperelliptic curves. For ''g'' > 2 it is no longer enough to know the genus: some Riemann surfaces will be hyperelliptic curves, and others not.
The 'Riemann–Roch theorem for curves' was proved for Riemann surfaces by Riemann and Roch in the 1850s and for algebraic curves by F. K. Schmidt in 1929. It is foundational in the sense that the subsequent theory for curves tries to refine the information it yields (for example in the Brill-Noether theory).
There are versions in higher dimensions (for the appropriate notion of divisor, or line bundle). Their general formulation depends on splitting the theorem into two parts. One, which would now be called Serre duality, interprets the ''l''(''K'' − ''D'') term as a dimension of a first sheaf cohomology group; with ''l''(''D'') the dimension of a zeroth cohomology group, or space of sections, the left-hand side of the theorem becomes an Euler characteristic, and the right-hand side a computation of it as a ''degree'' corrected according to the topology of the Riemann surface.
In algebraic geometry of dimension two such a formula was found by the geometers of the Italian school; a Riemann–Roch theorem for algebraic surfaces was proved (there are several versions, with the first possibly being due to Max Noether). So matters rested before about 1950.
An ''n''-dimensional generalisation, the Hirzebruch-Riemann–Roch theorem, was found and proved by Friedrich Hirzebruch, as an application of characteristic classes in algebraic topology; he was much influenced by the work of Kunihiko Kodaira. At about the same time Jean-Pierre Serre was giving the general form of Serre duality, as we now know it.
Alexander Grothendieck proved a far-reaching generalization in 1957, now known as the Grothendieck-Riemann–Roch theorem. His work reinterprets Riemann–Roch not as a theorem about a variety, but about a morphism between two varieties. (The folk-history suggests Grothendieck had a result somewhat earlier; it was written up finally by Serre and Armand Borel.)
Finally a general version was found in algebraic topology, too. These developments were essentially all carried out between 1950 and 1960. After that the Atiyah-Singer index theorem opened another route to generalization.
What results is that the Euler characteristic (of a coherent sheaf) is something reasonably computable as a ''left-hand side''. If one is interested, as is usually the case, in just one summand within the alternating sum, further arguments such as vanishing theorems must be brought to bear.
★ Friedrich Hirzebruch, ''Topological Methods in Algebraic Geometry'' (1995 edition) ISBN-10: 3540586636, ISBN-13: 978-3540586630: a good general modern reference
1. Compact Riemann Surfaces, , Jurgen, Jost, Springer, , - Note that Jost uses slightly different notation
In mathematics, specifically in complex analysis and algebraic geometry, the 'Riemann–Roch theorem' is an important tool in the computation of the dimension of the space of meromorphic functions with prescribed zeroes and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus ''g'', in a way that can be carried over into purely algebraic settings.
Initially proved as 'Riemann's inequality', the theorem reached its definitive form for Riemann surfaces after work of Riemann's short-lived student Gustav Roch in the 1850s. It was later generalized to algebraic curves, to higher-dimensional varieties and beyond.
| Contents |
| Some data |
| Statement of the theorem |
| A long road of generalisation |
| Reference |
| Notes |
Some data
We start with a connected compact Riemann surface of genus ''g'', and a fixed point ''P'' on it. We may look at functions having a pole only at ''P''. There is an increasing sequence of vector spaces: functions with no poles
(i.e., constant functions), functions allowed at most a simple pole at ''P'', functions allowed at most a double pole at ''P'', a triple pole, ... These spaces are all finite dimensional. In case ''g'' = 0 we can see that the sequence of dimensions starts
:1, 2, 3, ...:
this can be read off from the theory of partial fractions. Conversely if this sequence starts
:1, 2, ...
then ''g'' must be zero (the so-called Riemann sphere).
In the theory of elliptic functions it is shown that for ''g'' = 1 this sequence is
:1, 1, 2, 3, 4, 5 ... ;
and this characterises the case ''g'' = 1. For ''g'' > 2 there is no set initial segment; but we can say what the ''tail'' of the sequence must be. We can also see why ''g'' = 2 is somewhat special.
The reason that the results take the form they do goes back to the formulation (''Roch's part'') of the theorem: as a difference of two such dimensions. When one of those can be set to zero, we get an exact formula, which is linear in the genus and the ''degree'' (i.e. number of ''degrees of freedom''). Already the examples given allow a reconstruction in the shape
:''dimension'' − ''correction'' = ''degree'' − ''g'' + 1.
For ''g'' = 1 the correction is 1 for degree 0; and otherwise 0. The full theorem explains the correction as the dimension associated to a further, 'complementary' space of functions.
Statement of the theorem
In now-accepted notation, the statement of Riemann–Roch for a compact Riemann surface of genus ''g'' is
:''l''(''D'') − ''l''(''K'' − ''D'') = ''deg''(''D'') − ''g'' + 1.
This applies to all ''divisors'' ''D'', elements of the free abelian group on the points of the surface. Equivalently, a divisor is a finite linear combination of points of the surface with integer coefficients.
We define the divisor of a meromorphic function ''f'' as
:
where ''R''(''f'') is the set of all zeroes and poles of ''f'', and ''sν'' is given by
:
We define the divisor of a meromorphic 1-form similarly. A divisor of a global meromorphic function is called a principal divisor. Two divisors that differ by a principal divisor are called linearly equivalent. A divisor of a global meromorphic 1-form is called the canonical divisor (usually denoted ''K''). Any two meromorphic 1-forms will yield linearly equivalent divisors, so the canonical divisor is uniquely determined up to linear equivalence (hence "the" canonical divisor).
The symbol ''deg''(''D'') denotes the ''degree'' of the divisor ''D'', i.e. the sum of the coefficients occurring in ''D''. It can be shown that the divisor of a global meromorphic function always has degree 0, so the degree of the divisor depends only on the linear equivalence class.
The number ''l''(D) is the quantity that is of primary interest: the dimension (over 'C') of the vector space of meromorphic functions ''g'' on the surface, such that all the coefficients of (''g'') + ''D'' are non-negative. Intuitively, we can think of this as being all meromorphic functions whose poles at every point are no worse than the corresponding coefficient in ''D''; if the coefficient in ''D'' at ''z'' is negative, then we require that ''g'' has a zero of at least that multiplicity at ''z'' - if the coefficient in ''D'' is positive, ''g'' can have a pole of at most that order. The vector spaces for linearly equivalent divisors are naturally isomorphic through multiplication with the global meromorphic function (which is well-defined up to a scalar).
Even if we don't know anything about ''K'', we know at least that
:''l''(''K'' − ''D'') ≥ 0,
so
:''l''(D) ≥ ''deg''(''D'') − ''g'' + 1
which is 'Riemann's inequality' mentioned earlier.
The theorem above is correct for all compact connected Riemann surfaces[1]. The formula also holds for all non-singular projective algebraic curves over an algebraically closed field ''k''. Here ''l''(''D'') denotes the dimension (over ''k'') of the space of rational functions on the curve whose poles at every point are not worse than the corresponding coefficient in ''D''.
To relate this to our example above, we need some information about ''K'': for ''g'' = 1 we can take ''K'' = 0, while for ''g'' = 0 we can take ''K'' = −2''P'' (any ''P''). In general K has degree 2''g'' − 2. As long as ''D'' has degree at least 2''g'' − 1 we can be sure that the correction term is 0.
Going back therefore to the case ''g'' = 2 we see that the sequence mentioned above is
:1, 1, ?, 2, 3, ... .
It is shown from this that the ? term of degree 2 is in fact 2, characterising degree 2 Riemann surfaces as hyperelliptic curves. For ''g'' > 2 it is no longer enough to know the genus: some Riemann surfaces will be hyperelliptic curves, and others not.
A long road of generalisation
The 'Riemann–Roch theorem for curves' was proved for Riemann surfaces by Riemann and Roch in the 1850s and for algebraic curves by F. K. Schmidt in 1929. It is foundational in the sense that the subsequent theory for curves tries to refine the information it yields (for example in the Brill-Noether theory).
There are versions in higher dimensions (for the appropriate notion of divisor, or line bundle). Their general formulation depends on splitting the theorem into two parts. One, which would now be called Serre duality, interprets the ''l''(''K'' − ''D'') term as a dimension of a first sheaf cohomology group; with ''l''(''D'') the dimension of a zeroth cohomology group, or space of sections, the left-hand side of the theorem becomes an Euler characteristic, and the right-hand side a computation of it as a ''degree'' corrected according to the topology of the Riemann surface.
In algebraic geometry of dimension two such a formula was found by the geometers of the Italian school; a Riemann–Roch theorem for algebraic surfaces was proved (there are several versions, with the first possibly being due to Max Noether). So matters rested before about 1950.
An ''n''-dimensional generalisation, the Hirzebruch-Riemann–Roch theorem, was found and proved by Friedrich Hirzebruch, as an application of characteristic classes in algebraic topology; he was much influenced by the work of Kunihiko Kodaira. At about the same time Jean-Pierre Serre was giving the general form of Serre duality, as we now know it.
Alexander Grothendieck proved a far-reaching generalization in 1957, now known as the Grothendieck-Riemann–Roch theorem. His work reinterprets Riemann–Roch not as a theorem about a variety, but about a morphism between two varieties. (The folk-history suggests Grothendieck had a result somewhat earlier; it was written up finally by Serre and Armand Borel.)
Finally a general version was found in algebraic topology, too. These developments were essentially all carried out between 1950 and 1960. After that the Atiyah-Singer index theorem opened another route to generalization.
What results is that the Euler characteristic (of a coherent sheaf) is something reasonably computable as a ''left-hand side''. If one is interested, as is usually the case, in just one summand within the alternating sum, further arguments such as vanishing theorems must be brought to bear.
Reference
★ Friedrich Hirzebruch, ''Topological Methods in Algebraic Geometry'' (1995 edition) ISBN-10: 3540586636, ISBN-13: 978-3540586630: a good general modern reference
Notes
1. Compact Riemann Surfaces, , Jurgen, Jost, Springer, , - Note that Jost uses slightly different notation
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
