I tried to answer an earlier question as to uses of GRR, just from my reading, although i do not understand GRR. Today i tried to understand the possible idea behind GRR. After editing my answer accordingly, it occurred to me i was asking a question instead of giving an answer. My question is roughly whether the following speculation is in the ball park as to the purpose of GRR.


I've been thinking about Riemann Roch today, and reading Riemann. After dealing with a fixed divisor D, Riemann observes that his result proves every divisor of degree g+1 dominates the pole divisor of a non constant meromorphic function. Then he says that it may be possible to find a special divisor of even lower degree that dominates the poles of a non constant function. I.e. he begins to vary the divisor. By a rank calculation he shows one cannot expect a non constant function unless the pole divisor has degree at least (g/2)+1.


Now following his lead, we are led to vary the curve instead of the divisor. E.g. we might consider the family of curves over the moduli space. Then a good Riemann Roch theorem should let us relate the riemann roch theorem for the curve fibers, to a conclusion for a related sheaf on the base space., like a kunneth type formula, relating cohomology of base space total space and fiber.


I.e. a nice divisor like the canonical divisor on a curve, should be cut out on each curve fiber by a divisor on the total space, by intersecting it with each curve. (e.g. we could restrict the sheaf O(1) on the plane, to every curve of degree 4.) then we can push this sheaf from the total space down to the base space, i.e. the moduli space of curves. A good relative riemann roch theorem would then relate the universal canonical sheaf on the total space, to the canonical sheaves on the curve fibers, and the cohomology of the push down of the universal sheaf to the base space, the moduli space of curves.


Ideally such a relation would let one compute invariants of sheaves on the moduli space that do arise by pushing down sheaves on the total space of curves. Hopeful applications might include finding ample sheaves on Mg, hence proving projectivity, and computing invariants of the canonical sheaf on Mg, hence potentially estimating the kodaira dimension.


Now this is all speculation since i do not understand even the statement of the GRR, and have not read the paper of Harris-Mumford in which the application i cited above is made. Moreover I have never seen any proof of kodaira dimension of Mg using this method. Perhaps someone more knowledgable will comment on these speculative applications? 


Is this roughly the idea behind GRR and Mumford's applications of it? I.e. is the idea of GRR to understand the cohomology of a sheaf on a base space which arises as a push down, by restricting it to the fibers of the map? and how helpful is this in practice?


specific question: if chi(O) is constant on fibers, does GRR allow one to determine chi(O) of either total space or base space from the other?



how does one understand GRR? (Grothendieck Riemann Roch)
Here is how I think about G-R-R in the context of moduli of curves. I realize now that I wrote something quite long. 


Let me recall first the definition of the tautological ring. As a consequence of the results on the birational geometry of $\overline M\_g$ that there is no hope of understanding the whole Chow ring of $\overline M\_g$ -- for instance, unlike in misleading low genus examples, the Chow ring will in general be infinite-dimensional. In David Mumford's "Towards an enumerative geometry..." he he introduces a finite-dimensional subring of the Chow ring which contains all "geometrically natural" classes in the Chow ring and proposes studying it instead, and this subring is called the tautological ring. Let me quote:


"Whenever a variety or topological space is defined by some universal property, one expects that by virtue of its defining property, it possesses certain cohomology classes called tautological classes. The standard example is a Grassmannian [...] by its very definition, there is a universal bundle $E$ on Grass of rank $k$, and this induces Chern classes $c\_l(E)$ in both the cohomology ring and Chow ring of Grass."


Let me expand on the meaning of "geometrically natural". There are several possible definitions of the tautological ring. The one used by Mumford is that it is the subring generated by the so-called $\kappa$-classes, which is not really the right one: you should also for instance consider the boundary divisors as tautological classes (but this is implicit already in Mumford's paper). A nice definition is the one of Faber and Pandharipande, which defines the tautological ring for all spaces $\overline M\_{g,n}$ simultaneously: it is the minimal system of subrings which contains all fundamental classes, is closed under all gluing morphisms, and is closed under all forgetting points-morphisms. 


Morally what this means is that: (i) for any "natural" bundle you can write down directly in terms of the moduli functor, its Chern classes are going to be tautological; (ii) any sort of "natural" gluing procedure on curves is going to keep you inside of the tautological ring. For example, the $\lambda$-classes (Chern classes of the Hodge bundle) are tautological, the $\psi$-classes are tautological (the line bundles given by the cotangent line at a marked point), and the $\kappa$-classes are tautological. 


OK, so let us return to G-R-R. Let $f \colon X \to Y$ be a proper morphism. On one side of the equation you have the Chern character of the derived pushforward $Rf\_\ast F$. On the other side you have the pushforward of the Chern character of $F$ and the Todd class of the relative tangent sheaf $T\_f$. The point is that both $F$, $Rf\_\ast F$ and $T\_f$ can all be made sense of by working locally/fiberwise: we don't need to know *anything* about the global structure of $Y$ to apply G-R-R to $f$ and $F$. But this is also how the tautological ring was set up: the classes in the tautological ring are exactly those that can be defined by pushing around classes of "fiberwise" defined bundles, which means that these are exactly the classes that can be defined without making any reference to any "global" structure of the moduli space. 


So in hindsight Grothendieck-Riemann-Roch seems tailor made for the study of tautological rings. On the other hand, this is also a limitation of G-R-R: it will produce lots of relations and identities relating tautological classes to each other, but it will never prove any "global" statement about any of them. 


As an example, it is possible to algorithmically compute the intersection number on $\overline M\_{g,n}$ for any polynomial in boundary strata and $\lambda$-, $\psi$- and $\kappa$-classes. First you express the $\kappa$-classes as pushforwards of $\psi$-classes, then G-R-R can be used to express the $\lambda$-classes in terms of pushforwards of $\psi$-classes, which will finally reduce your computation to an intersection number only involving $\psi$-classes. All this was completely formal, but sooner or later you are going to need to use some global geometric property of $\overline M\_{g,n}$ to find an actual number, and this is where it comes in: the Witten conjecture/Kontsevich's theorem tells you how to compute any intersection of $\psi$-classes.


So let me finally talk a bit about the article of Harris and Mumford. The first application of G-R-R in their article is to derive the formula $K\_{\overline{M}\_g} = 13\lambda\_1 - 2\delta\_0 - 3\delta\_{1} - \ldots - 2\delta\_{n}$ in the tautological ring. This is done by applying GRR to the projection from the universal curve and truncating after the first term. Incidentally, if you don't truncate after the first term, you get Mumford's formula (derived in "Towards an enumerative geometry...") expressing the Chern character of the Hodge bundle in terms of $\kappa$-classes and pushforwards of $\psi$-classes from the boundary strata. 


But again, GRR will not tell you any global geometric information like if a class is big or ample. The idea is then to find an effective divisor $D$ such that $mK\_{\overline M\_g} = D + a\lambda\_1$ with $a > 0$. It turns out that this is possible for $D$ equal to the locus of $k$-gonal curves, where they pick $g = 2k-1$. They describe in the article how they came up with this particular choice of $D$ by trying to generalize the work of Freitag on the Kodaira dimension of $A\_g$ for $g$ large, in particular I think that there should be a Siegel modular form whose pullback to $M\_g$ conjecturally would have $D$ as its vanishing locus. I don't know if this was actually worked out in later work. Then $nK\_{\overline M\_g}$ for large enough $n$ defines a birational map using the fact that $\lambda\_1$ is ample on $A\_g$, ultimately because the Satake compactification is the Proj of the ring of Siegel modular form, i.e. the sections of powers of the determinant of the Hodge bundle. (However $\lambda\_1$ is not ample on $\overline M\_g$!)


This part is clarified by the later article of Cornalba and Harris showing that a linear combination $a\lambda - b\delta$ is ample if and only if $a > 11b$. The rational Picard group of $\overline M\_g$ is generated by $\lambda\_1$ and the boundary divisors, so any effective divisor has an expression of the form $a\lambda - \sum b\_i \delta\_i$, so estimating the Kodaira dimension of $\overline M\_g$ really comes down to finding effective divisors such that the *slopes* $a/b\_i$ are small. 


Anyway, the second application of GRR in their article is to show that on the open part $M\_g$, the $k$-gonal locus is a multiples of $\lambda\_1$. Actually, this part uses even more crucially Porteous's formula: once they express $k$-gonality in terms of a morphism of bundles having lower than expected rank, the class of the $k$-gonal locus can be expressed in terms of Chern classes of the two bundles, i.e. in terms of tautological classes. It follows then that $D$ is the sum of a multiple of $\lambda\_1$ and an integral linear combination of boundary divisors. Finally these integers are determined by evaluating the divisors on suitable "test curves". They conclude that $\overline M\_g$ is of general type for big $g$. 


