Maintenence will be carried out on the nLab server at Carnegie Mellon University between 03:00 GMT and 09:00 GMT on the 23rd of March. Between these times both the nLab and the nForum are expected to be completely down. Apologies for the inconvenience.
group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
Riemann integration, Lebesgue integration
line integral/contour integration
integration of differential forms
integration over supermanifolds, Berezin integral, fermionic path integral
Kontsevich integral, Selberg integral, elliptic Selberg integral
integration in ordinary differential cohomology
integration in differential K-theory
The Grothendieck-Riemann-Roch theorem describes (the failure of) the naturality of the behaviour of a Chern character under push forward along proper maps.
It says, in the formulation of (Atiyah-Hirzebruch 61), that for $f \colon X \longrightarrow Y$ a flat morphism of schemes which are flat and regular quasi-projective varieties over the spectrum of a Dedekind domain, then the Chern character of the push-forward of some $E$ is the push-forward of the cup product of the Chern-character of $E$ with the Todd class. Hence it says that “Chern-cup-Todd is natural under pushforward” along proper maps, and generally along K-oriented maps.
If $f \colon X \to Y$ is a proper map, then there is a commuting diagram
where…
If $X$ is an algebraic curve, then the Riemann-Roch theorem reduces to a statement about the Euler characteristic/curve. This generalizes to arithmetic geometry with the notion of genus of a number field.
There are various extensions of the Grothendieck-Riemann-Roch theorem, such as the Atiyah-Singer index theorem (for elliptic operators and elliptic complexes), the Connes-Moscovici local index formula (a non-commutative/equivariant version of Atiyah-Singer), and Bismut’s hypoelliptic index formula in Bott-Chern cohomology (for non-K"aeler complex manifolds).
Another approach due to Kashiwara and Schapira relies on the use of methods of Hochschild cohomology and its microlocalized version (which gives a refined index theorem, that takes care of the information related to the propagation of singularities). It is essentially divided in two parts: the functorial one, which is based on Hochschild and cyclic homology (very similar to Toen and Vezzosi’s approach to the construction of the Chern character), and the computational one (due to Bresler-Nest-Tsygan and others), that explicitely describes the relation between the functorial construction of the Chern character and its more classical construction. It is this last comparison statement that introduces the Tod class and makes the Riemann-Roch/index formula look complicated, despite the fact that it simply expresses the functoriality of Hochshild and cyclic homology classes with respect to the push-forward, that is evident. The microlocalized version of the index/RRG theorem is necessary to have a better understanding of the “deformation of the Laplacian” methods (introduced by Witten in his paper on the Morse inequalities, and used by Bismut in his work on the hypoelliptic Laplacian, by Laumon in his paper on local constants of functional equations, and by Kedlaya in his paper on p-adic Weil II) that have become a central tool in the study of cohomology theories and of (additive) index-type formulas and (multiplicative) product-type formulas.
One may hope for an extension of the Riemann-Roch-Grothendieck theorem to the setting of a general proper morphism in non-strict global analytic geometry using an extension of Bismut’s approach to a setting of exotic global Hodge theory. However, it seems that for arithmetic applications (e.g., the study of special values of arithmetic L-functions), one will clearly have to prove a refined RRG theorem for strict global analytic spaces, using semistable compactifications (à la Deligne “théorie de Hodge II, III”) and logarithmic methods: the (purely analytic) non-strict theorem will not suffice.
The formulation in terms of topological K-theory is due to
For a general survey see
Wikipedia, Grothendieck-Riemann-Roch theorem
Wikipedia, Riemann-Roch theorem for surfaces
Discussion of Riemann-Roch over arithmetic curves is in
The refinement to differential cohomology, hence differential K-theory, is discussed in section 6.2 of
Over algebraic stacks/Deligne-Mumford stacks the GRR theorem is discussed in
Roy Joshua, Riemann-Roch for algebraic stacks (pdf I, pdf II, pdf III)
Bertrand Toën, Théorèmes de Riemann-Roch pour les champs de Deligne-Mumford, K-Theory 18 (1999), no. 1, 33–76. 1, 23
Dan Edidin, Riemann-Roch for Deligne-Mumford stacks (arXiv:1205.4742v1)