In this short post I want to note Deligne’s classic result on vector bundles with flat connections (let’s call them “differential equations”: terminology justified by the `cyclic vector theorem”) and give a stupid example illustrating the basic shape of things. I should thank Ananth Shankar for helping unconfuse me faster than I could unconfuse myself.

Let be a smooth algebraic variety over . A vector bundle on is a locally free coherent (Zariski) sheaf , and a connection is an additive map of sheaves

satisfying the Leibniz law. There is the usual notion of flatness of a connection. A morphism between two such objects is an -linear map between the underlying sheaves making the obvious square commute.

One can also make the exactly parallel construction over the complex manifold . Given an algebraic differential equation, we can analytify it and obtain an analytic differential equation:

Deligne’s result gives a functor in the other direction (let’s call it RH for “Riemann-Hilbert”)

.

**Theorem (Deligne): **The functor RH (exists and) is fully faithful, and the essential image is characterised by taking a good compactification of and restricting to those differential equations with regular singularities at the boundary.

This is a little counterintuitive at first. One imagines there being “more” objects in than in because one can write down more connections, but actually the extra freedom causes more stuff to become isomorphic, resulting in a “smaller” analytic category. Of course, one has but not (unless is proper) an identification in the other direction.

Let’s see what happens in a stupid example. Let and the trivial line bundle. Let’s take our favourite non-vanishing algebraic section , and observe that any connection is automatically flat and determined by

(since any other section can be written as which by Leibniz is given by

).

If let us denote by the connection taking .

Let’s suppose we have a map between two such differential equations. Let , and the compatibility of with the connections gives the relation

.

In other words, must satisfy a first order differential equation, and in fact we see that up to a constant factor

which is *never* algebraic unless .

The upshot is that in the algebraic category each gives a distinct differential equation, while in the analytic category one can use the above recipe to construct isomorphisms between each of the and in particular they are all equal to , which is the unique algebraic connection with regular singularities at .

## Leave a comment

Comments feed for this article