Sheaves and bundles in differential geometry - MathOverflow

Sheaves and bundles in differential geometry

2010-03-08T23:07:20Z

Because the theory of sheaves is a functorial theory, it has been adopted in algebraic geometry (both using the functor of points approach and the locally ringed space approach) as the "main theory" used to describe geometric data. All sheaf data in the LRS approach can be described by bundles using the éspace étalé construction. It's interesting to notice that the sheafification of a presheaf is the sheaf of sections of the associated éspace étalé.

However, in differential geometry, bundles are for some reason preferred. Is there any reason why this is true? Are there some bundle constructions which don't have a realization as a sheaf? Are there advantages to the bundle approach?

Answer by Emerton for Sheaves and bundles in differential geometry

2010-03-09T03:29:47Z

If $X$ is a manifold, and $E$ is a smooth vector bundle over $X$ (e.g. its tangent bundle), then $E$ is again a manifold. Thus working with bundles means that one doesn't have to leave the category of objects (manifolds) under study; one just considers manifold with certain extra structure (the bundle structure). This is a big advantage in the theory; it avoids introducing another class of objects (i.e. sheaves), and allows tools from the theory of manifolds to be applied directly to bundles too.

Here is a longer discussion, along somewhat different lines:

The historical impetus for using sheaves in algebraic geometry comes from the theory of several complex variables, and in that theory sheaves were introduced, along with cohomological techniques, because many important and non-trivial theorems can be stated as saying that certain sheaves are generated by their global sections, or have vanishing higher cohomology. (I am thinkin of Cartan's Theorem A and B, which have as consequences many earlier theorems in complex analysis.)

If you read Zariski's fantastic report on sheaves in algebraic geometry, from the 50s, you will see a discussion by a master geometer of how sheaves, and especially their cohomology, can be used as a tool to express, and generalize, earlier theorems in algebraic geometry. Again, the questions being addressed (e.g. the completeness of the linear systems of hyperplane sections) are about the existence of global sections, and/or vanishing of higher cohomology. (And these two usually go hand in hand; often one establishes existence results about global sections of one sheaf by showing that the higher cohomology of some related sheaf vanishes, and using a long exact cohomology sequence.)

These kinds of questions typically don't arise in differential geometry. All the sheaves that might be under consideration (i.e. sheaves of sections of smooth bundles) have global sections in abundance, due to the existence of partions of unity and related constructions.

There are difficult existence problems in differential geometry, to be sure: but these are very often problems in ODE or PDE, and cohomological methods are not what is required to solve them (or so it seems, based on current mathematical pratice). One place where a sheaf theoretic perspective can be useful is in the consideration of flat (i.e. curvature zero) Riemannian manifolds; the fact that the horizontal sections of a bundle with flat connection form a local system, which in turn determines the bundle with connection, is a useful one, which is well-expressed in sheaf theoretic language. But there are also plenty of ways to discuss this result without sheaf-theoretic language, and in any case, it is a fairly small part of differential geometry, since typically the curvature of a metric doesn't vanish, so that sheaf-theoretic methods don't seem to have much to say.

If you like, sheaf-theoretic methods are potentially useful for dealing with problems, especially linear ones, in which local existence is clear, but the objects are suffiently rigid that there can be global obstructions to patching local solutions.

In differential geomtery, it is often the local questions that are hard: they become difficult non-linear PDEs. The difficulties are not of the "patching local solutions" kind. There are difficult global questions too, e.g. the one solved by the Nash embedding theorem, but again, these are typically global problems of a very different type to those that are typically solved by sheaf-theoretic methods.

Answer by Deane Yang for Sheaves and bundles in differential geometry

2010-03-09T05:01:35Z

In addition to Emerton's answer (which is great), it should be noted that in the complex algebraic and analytic categories, the study of singularities is both tractable and necessary. So it is natural to study "generalized" vector bundles that allow singular fibers, but this is possible only using local sections, i.e. sheaves. On the other hand, in the smooth category, singularities can be quite nasty and therefore are almost always avoided by differential geometers. If everything is smooth and nonsingular, there is little to be gained by using sheaves. I am not familiar with singular differential geometry, but it seems to me that using sheaves in that context might be just as essential as it is in algebraic geometry.

Answer by Konrad Waldorf for Sheaves and bundles in differential geometry

2010-05-22T03:59:32Z

In differential geometry one often also has connections on the bundles, e.g. the Levi-Cevita connection on the tangent bundle. Many concepts of differential geometry use connections, such as holonomy or geodesics.

I'd love to learn the opposite to the following statement, but I have the feeling that there is no "nice" definition of a connection in the sheaf-theoretical approach. So I think this is another aspect why bundles are often preferred.

As a little side remark, I'd like to point out that in higher differential geometry the story continues. Curiously, the word "gerbe" - which comes originally from the sheaf-theoretical side - is often at the same time used for the higher analog of a bundle. This is one of the reasons why different people associate so diverse meanings with "gerbe".