4
$\begingroup$

I have a basic question about the definition of $D_X$-algebras and schemes, which are defined in [BD2], Chiral algebras. I have some understanding of connections on a vector bundle, but I am not sure about connections in different contexts. Here $X$ is a scheme, of course.

Question 1: [BD2] defines a $D_X$ algebra as a commutative unital $O_X$ algebra equipped with an integrable connection along $X$. What precisely does an "integrable connection along X mean in this context?

Question 2: [BD2] defines a $D_X$ scheme as a X-scheme equipped with an integrable connection along $X$. Again, what does "integrable connection along X" mean in this context?

$\endgroup$
4
  • 3
    $\begingroup$ In characteristic $0$, an integrable connection on an $\mathcal{O}_X$-module $M$ can be interpreted as infinitesimal descent data: for any two maps $f_1,f_2:Y\to X$ whose locus of agreement is defined by a nilpotent ideal, there is a canonical isomorphism $f_1^*M\rightarrow f_2^*M$. This interpretation of course makes sense for any kind of object over $X$, not just $\mathcal{O}_X$-modules. $\endgroup$ May 22, 2011 at 7:53
  • 1
    $\begingroup$ What is [BD2] refering to? $\endgroup$
    – J.C. Ottem
    May 22, 2011 at 8:54
  • 1
    $\begingroup$ I supposed Beilinson Drinfeld Chiral Algebras ams.org/bookstore-getitem/item=COLL-51 $\endgroup$
    – agt
    May 22, 2011 at 10:12
  • $\begingroup$ I think these notes by Jacob Lurie are relavant: math.harvard.edu/~gaitsgde/grad%5F2009/SeminarNotes/… $\endgroup$
    – Lars
    May 23, 2011 at 12:08

2 Answers 2

5
$\begingroup$

For question 1 it means that derivations of $O_X$ act on the algebra $A$ as derivations: $D(ab)=D(a)b+aD(b)$ while integrability means $[D_1,D_2]a=D_1(D_2 a)-D_2(D_1a)$, these conditions allow you to extend the action from derivations to a left action of the whole algebra $D_x$ of differential operators. This is the local case. For 2 I guess you patch these conditions to get a global version.

If you prefer a geometric picture: you have a fiber bundle $Y\to X$ where $Y$ is supplied with an involutive distribution whose planes project isomorphically to the tangent planes of $X$.

$\endgroup$
4
$\begingroup$

Keerthi Madapusi Sampath already answered the question in the comments, so I'll just add some remarks.

The definitions in question are given in section 2.3.1, on page 80 of Beilinson and Drinfeld's Chiral algebras. The authors assume $X$ is smooth over the spectrum of a field $k$ of characteristic zero, but only bother to say so back on page 66 (and only mention $k$ on page 53). Their use of integrable connections along $X$ is a reference to Grothendieck's crystalline interpretation of connections, and they wrote their own sketchy introduction to this subject in section 7.10 of their unfinished book Quantization of Hitchin's Integrable System and Hecke Eigensheaves. The interpretation there is that schemes and commutative algebras of quasicoherent sheaves form fibered categories over the crystalline site $X_{cr}$, and the corresponding $D_X$-objects are Cartesian sections. This is just another way to put the infinitesimal descent data into a nice-looking package.

$\endgroup$
3
  • 1
    $\begingroup$ Just a remark: I think the classical reference for $\mathcal{D}$-schemes (from the old-school, rather than crystalline, point of view) is Beilinson-Bernstein "Proof of Jantzen conjectures," Section 1. At least, it's slightly less terse than "Chiral Algebras" is. $\endgroup$ May 23, 2011 at 16:55
  • $\begingroup$ @Thomas: The term "$D$-scheme" introduced in that paper (section 1.4.2) has a different meaning from $D_X$-scheme discussed here. There, it is a scheme $X$ equipped with a $D$-algebra $A$ on $X$, not a scheme $Y$ over $X$ equipped with an integrable connection along $X$. $\endgroup$
    – S. Carnahan
    May 24, 2011 at 4:12
  • $\begingroup$ Whoops, thanks! It's been awhile since I read that section of BB and I was obviously misremembering what it does. Can I vote my own comment -1? :-) $\endgroup$ May 24, 2011 at 14:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.