Local systems: the infinitesimal perspective

This is the next in my series of posts on different ways to think about local systems. This time, we will consider an approach where we only build isomorphisms along infinitesimally short paths. If you pursued this line of thought long enough — and thought very hard about finite characteristic issues — you would come to the definition of a crystal. But I don’t plan to go nearly that far; I’ll just give you the intuitions in characteristic zero.

I think this is probably the hardest of the three perspectives I want to explore, but it logically comes second. Things will become a bit easier again when we get to our third perspective, connections.

To try to make this a bit easier, I’ll start with a nonstandard presentation; then reboot and give the actual definitions.

In our last discussion, we took a vector bundle V on a space X and, for every path \gamma in X from x to y, we gave an isomorphism \phi_{\gamma} from V_x to V_y.

We don’t really need to know the maps \phi_{\gamma} for every path \gamma. We only need to know how to deal with short paths, because we can break any long path up into a chain of short paths.

Let’s try to make this notion of “short paths” precise. Let N be an open subset of X \times X; intuitively, N will be the set of (x,y) \in X \times X such that x is near y. We require that

(1) for every x \in X, the diagonal point (x,x) is in N.

(2) (x,y) \in N if and only if (y,x) \in N.

(3) for any x \in X, the set (x \times X) \cap N is a ball.

For example, if we have a metric \delta on X, we can take N to be \{ (x,y) : \delta(x,y) < r \} for some sufficiently small r.

Definition B.1: An input of type B.1 consists of a (1) a vector bundle V on X and, for every (x,y) \in N, an isomorphism \alpha_{xy} between V_x and V_y such that, if (x,y), (y,z) and (x,z) are all in N, then \alpha_{xy} \circ \alpha_{yz} = \alpha_{xz}.

It will turn out to be worthwhile to rephrase this definition in a way which avoids mentioning the individual points of X. Let

N' = \{ (x,y,z) \in X^3 : (x,y),\ (x,z),\ (y,z) \in N \}.

We have three projections from N' to N, call them p_{12}, p_{13} and p_{23}. (So p_{12} projects onto coordinates 1 and 2 and so on.) We have two projections from N to X: call them p_1 and p_2.

So we can make
Definition B.2 An input of type B.2 is a vector bundle V on X, and an isomorphism \alpha: p_1^* V \to p_2^* V of vector bundles on N, such that p_{13}^*(\alpha) = p_{12}^*(\alpha) \circ p_{23}^*(\alpha).

That formula may look awfully abstract, but if you write it out you’ll see that it simply the formula \alpha_{xy} \circ \alpha_{yz} = \alpha_{xz} from definition B.1.

Let’s try to see what \alpha looks like in local coordinates. For simplicity, I’ll take X to be one dimensional. Let x and y denote the first and second coordinates on X \times X. So, for s a section of V, instead of writing p_1^* s and p_2^* s, I’ll write the more intuitive s(x) and s(y).

Let \sigma be some (local) section of V. We can expand \alpha( \sigma(x)) as a power series

\alpha \sigma(x) = \tau_0 (y) + (x-y) \tau_1(y) + (x-y)^2 \tau_2(y) \cdots (*)

for some sections \tau_i of V, each depending on \sigma. Since \alpha has to be trivial on the diagonal, we have to have \tau_0(\sigma) = \sigma. There are many relations between the \tau‘s, which will come up in later posts.

By the way, if X had dimension d, we’d replace (x,y) by (x_1, x_2, \ldots, x_d, y_1, y_2, \ldots, y_d). So there is nothing deep there.

Now comes the point that I think a lot of people will find challenging. Above, I worked with an honest open set N in X \times X. What we are actually supposed to do is work with a formal neighborhood of the diagonal in X \times X. Intuitively, this means that we work with formal sums like (*). Let’s give a definition along these lines:

Definition B.3 An input of type B.3 is a vector bundle V on X, and, on an open cover of X, formal power series like (*), which formally agree on overlaps, formally give linear maps \alpha: p_1^* V \to p_2^* V and formally obey p_{13}^*(\alpha) = p_{12}^*(\alpha) \circ p_{23}^*(\alpha).

Inputs of type B.1 and B.2 are easily equivalent, but type B.3 is different. We don’t impose that our power series converge, and we identify functions that have the same Taylor series. (Such as e^{-1/(x-y)^2} and {0}.) I believe that there is some theorem that we do get equivalent categories in the end, but this isn’t trivial.

In definition B.3, the spaces N and N' went away. We can get them back, and prettify our definition, by using the notion of the formal neighborhood of the diagonal in X \times X. This requires the toolkit of modern algebraic geometry. Namely, let \mathcal{O}_{X \times X} denote the sheaf of functions on X \times X. Let I denote the subsheaf of functions vanishing on the diagonal. For every n, there is a closed subscheme N^k of X \times X, whose underlying topology is the same as X, but where N^k(U) = \mathcal{O}_{X \times X}(U) / I(U)^k for any open set U. The formal neighborhood of the diagonal, which I’ll denote by N^{\infty}, is the inverse direct limit of the N^k. The space N^{\infty} has two maps to X, which we denote p_1 and p_2. These are both the identity on the underlying topological space, but they pull back functions differently.

Definition B.4 An input of type B.4 is a vector bundle V on X, and an isomorphism \alpha: p_1^* V \to p_2^* V of vector bundles on N^{\infty}(X), such that p_{13}^*(\alpha) = p_{12}^*(\alpha) \circ p_{23}^*(\alpha).

This is nothing but a repackaging of definition B.3.

There is another mind blowing idea still to come, due to Grothendieck: N^{\infty}(X) is the universal infinitesimal thickening of X. What this means is that, given an input of type B.4, a thickening Y of X and two maps q_1 and q_2 from Y to X, we canonically get an isomorphism between q_1^* V and q_2^* V. I think the n-category people will really like this part! But this post is too long, so I’ll save it for another installment.

In the meantime, if you want to prepare for the connection perspective, you might want to think about the following:

Question: We want \alpha to be a linear map, so \alpha(f(x) \sigma(x)) = f(x) \alpha( \sigma(x)). What does this tell us about the \tau‘s? And, similarly, what does the condition \alpha_{12} \circ \alpha_{23} = \alpha_{13} say about the \tau‘s?

12 thoughts on “Local systems: the infinitesimal perspective”

  1. Do you know what happens if you do this with a different Lie algebroid than the tangent bundle, and cook up its own version of the formal neighborhood of the diagonal (it should be dual to the formal group of power series)? This should give a formal ‘connection’ in the sense that moving an infinitesmal amount in a direction given by the Lie algebroid should give an isomorphism on the fibers. Do the corresponding notion of local system and cohomology correspond to anything nice?

  2. There is a functorial way to think of nearby points: We say an S-point is a map from a scheme S to X, and two S-points are “close” if the two maps agree on the reduced subscheme S_{red}. This leads to an interpretation of N^\infty as a left adjoint to killing nilpotents.

    Also, I think N^\infty(X) is a direct limit, and it’s usually only representable in a larger category than schemes, like locally ringed spaces.

  3. Scott: Thanks for the correction. It is indeed a direct limit, not an inverse limit. You are also right that I need locally ringed spaces, not just schemes, to represent it. I’m going to decide that locally ringed spaces are part of “the toolkit of modern algebraic geometry”, so I don’t have to fix that.

    The functorial perspective you bring up is interesting. How far can we take it? For example, could I define my input as (1) a vector bundle V on X and (2) for S any nilpotent thickening of a point and x and y two S-valued points of X with the same reduction, an isomorphism between x^* V and y^* V, obeying certain functorial conditions?

  4. Greg: I know of one example like this — the distinction between real and holomorphic connections on a complex manifold. Let X be a complex manifold. Let T_{\mathbb{R}} be the tangent bundle to the underlying real manifold; T_{\mathbb{C}} the commplexification T_{\mathbb{R}} \otimes_{\mathbb{R}} \mathbb{C} and T^{1,0} the subbundle of T_{\mathbb{C}} consisting of holomorphic vector fields.

    Smooth connections on real vector bundles come from T_{\mathbb{R}} while holomorphic connections come from T^{1,0}. I’ve been working in algebraic language, which sweeps all of these issues under the rug and starts with T^{1,0}. But I think (don’t quote me!) that a differential geometer would say that T_{\mathbb{R}} was the tangent bundle, and T^{1,0} was a Lie algebroid.

    Some more musing: I see from wikipedia that, when X has an action of a group G, the G-invariant vector fields on X form a Lie algebroid. Can you get equivariant cohomology in this way?

  5. David,
    I would say that this perspective can be taken very far – you can take families of objects other than vector spaces, and you get nonlinear structures like D-schemes (introduced by Beilinson and Drinfeld). Back to the main point, I think your input works, but I don’t know a proof. (For the benefit of algebraists, “thickening of closed point” is the same as “spectrum of Artinian local ring”.) For some reason, I usually see S-points for S ranging over thickenings of Zariski opens rather than closed points, and the compatibility relations yield the definition of locally free \mathcal{O}_{X,cris}-module.

  6. “For some reason, I usually see S-points for S ranging over thickenings of Zariski opens rather than closed points, and the compatibility relations yield the definition of locally free \mathcal{O}_{X,cris}-module. ”

    That’s my next post!

  7. Greg: Given any Lie algebroid, one can consider a notion of D-modules for this Lie algebroid. This construction is explained in section A.3 of Frenkel-Ben-Zvi where they concentrate on the example of twisted differential operators.

    Also in section A.2 of Frenkel-Ben-Zvi, they discuss the notion of crystalline connections, much as David did in his post. In particular, they give the reformulation that David gives in his comment #3 above. According to F-BZ, the condition on the isomorphisms i_{x,y} : x^*V \rightarrow y^*V is extremely simple — just transitivity i_{y,z} \circ i_{x,y} = i_{x,z} .

    This crystalline point of view seems extremely similar to D-modules and I guess they agree for smooth varieties in characteristic 0. Will there be a post explaining why they differ in other situations?

    Finally, let me just say that this is a great series of posts!

  9. Right, so for a Lie algebroid, you can cook up its (sheaf of) enveloping algebra(s), and then look at \mathbf{R}Hom_U(\mathcal{O}_X,\mathcal{O}_X to get an cohomology theory that is the same as the deRham cohomology if you take the tangent Lie algebroid. If you start with a Lie group action, and take the associated infinitesmal action Lie algebroid, I believe you get something very close to the equivariant cohomology. In particular, I think its what happens if you try to use the Weyl model to compute equivariant cohomology, and neglect to take invariants under the action of the group, and instead only take the horizontal subcomplex.

    I guess I was looking for a crystalline version of this picture, and I think Joel pointed me in the right direction for this.

    Also, I’ll second Matthew’s minor point, but not because I love nitpicking. Its worth noting to anyone who hasn’t played with formal schemes before that they correspond to the Spec of topological rings, and that the maps between them must correspond to continuous ring maps. Otherwise, you’ll start contemplating truly ugly objects, like the group of algebra automorphisms of \mathbb{C}[[x]], which is some uncountable product of copies of \mathbb{C}[[x]] (since it is uncountably generated as an algebra).

  10. Incidentally, is anyone else disappointed by Hartshorne’s treatment of formal schemes? EGA1 actually bothers to define things like Spf (French for “formal spectrum”).

  11. Pingback: A semana nos arXivs… « Ars Physica ~
  12. Pingback: The infinitesimal site « Secret Blogging Seminar ~

Comments are closed.