Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

April 12, 2011

Axioms for Infinitesimal Cohesion

Posted by Urs Schreiber

You may have heard me say before that I am fond of a notion called cohesive ∞-toposes . This is a rather minimalistic extra condition on an ∞-topos H\mathbf{H} that ensures that internal to H\mathbf{H} there is a good notion of differential geometry and differential cohomology.

For instance internal to every cohesive \infty-topos is an intrinsic notion of de Rham cohomology, where “intrinsic” means: it is described using nothing by \infty-(co)limits and adjoint \infty-functors. This has the nice effect that on the one hand a good deal of general abstract properties of de Rham cohomology such as, say, its role in Chern-Weil theory, can be derived in vast generality using nothing but basic abstract higher category theory, while on the other hand it means that we have a good handle on constructing and understanding concrete realizations (models of the axioms).

(And it seems to me – in view of the recent insights on Homotopy Type Theory – that it also means that much of differential geometry/cohomology could eventually be “put on a computer”, for whatever that’s worth. That wasn’t – and isn’t – my motivation for looking into this, but maybe around here there are more people who can relate to this motivation than to, say, the construction of twisted differential string structures.)

With this intrinsic notion of differential forms in any cohesive \infty-topos comes automatically an intrinsic account of the infinitesimal . Accordingly, there is some \infty-Lie theory in any cohesive \infty-topos. However, the axioms only provide access to a somewhat coarse form of actual infinitesimals: for instance there is a notion of de Rham schematic homotopy type of any object in any cohesive \infty-topos, but not of its de Rham space. For some applications one wants to have an intrinsic access to the latter, for instance because that induces immediately an intrinsic notion of D-modules.

But there is a simple add-on to the axioms of a cohesive \infty-topos that does provide all this, and more: infinitesimal cohesion. In the following I briefly sketch how this works, and then I point out that both the abstract formalization as well as a good chunk of worked applications is at least implicit in some work by Maxim Kontsevich and Alexander Rosenberg.

I am thankful to Zoran Škoda for pushing me to read that article.

Here is the simple idea of infinitesimal cohesion: any coreflective embedding of categories (and then of cohesive \infty-toposes) i:HH thi : \mathbf{H} \hookrightarrow \mathbf{H}_{th} can be understood as providing in H th\mathbf{H}_{th} infinitesimal thickenings of the objects of H\mathbf{H}. We think of the coreflector Red:H thHRed : \mathbf{H}_{th} \to \mathbf{H} as contracting away any infinitesimal extension. Then if for instance DH thD \in \mathbf{H}_{th} is an infinitesimally thickened point in that Red(D)=ptRed(D) = pt is the terminal object, then the reflector adjunction tells us that while there may be many morphisms Di(X)D \to i(X) (many DD-shaped tangents in XX) there is only a single map i(X)Di(X) \to D, that which factors through the unique points *D* \to D. This reflects the fact that the infinitesimal extension of DD is “so small” that it is not visible to points in CC.

Therefore it makes sense to say that a cohesive \infty-topos H\mathbf{H} is equipped with infinitesimal cohesion if it is equipped with a suitable coreflective embedding into another cohesive \infty-topos H th\mathbf{H}_{th}. Simple as this axiom is, it does imply a wealth of structures, and of the right structures, just as the simple but powerful axioms on a cohesive \infty-topos themselves do.

For instance passing to the adjoint triple induced by the adjoint quadruple of morphism that comes with the cohesive inclusion HH th\mathbf{H} \hookrightarrow \mathbf{H}_{th} is readily seen to yield the general abstract context of which Carlos Simpson and Constantin Teleman in their de Rham theorem for ∞-stacks consider some implementations.

This I knew for a while, thanks to David Ben-Zvi. What I only learned recently, thanks to Zoran Škoda persistenly pushing me, is that this abstract notion of infinitesimal cohesion is essentially (of course in different terminology and up to some slight differences in assumptions and in focus) the very content of the work

  • Maxim Kontsevich, Alexander Rosenberg, Noncommutative spaces , MPI preprint 2004 (pdf)

This article aims to lay foundations for a kind of topos theory suitable for noncommutative geometry. Based on the observation (which I am not qualified to comment on at the moment) that the “right” notion of covers in noncommutative geometry does not yield a Grothendieck (pre)topology, hence not a sheaf topos, the authors suggest a modified notion of “sheaf”. The notion of sheaves on a Q-category that they propose and study is – with just a slight extra assumption that is satisfied in most of their examples – this: on a coreflective (co)site CC thC \hookrightarrow C_{th} consider the induced coreflective inclusion u:HH thu : \mathbf{H} \hookrightarrow \mathbf{H}_{th} of (cohesive, in the examples) toposes. Then they consider the subcategory of objects XHX \in \mathbf{H} for which the canonical morphism

u *Xu !X u^\ast X \to u^! X

is an epi, a mono or an iso, depending on taste and application (see below).

But notice: this canonical morphism and its localizations is an old friend of ours, we have discussed it at some length here before: Bill Lawvere in Axiomatic cohesion had proposed that this, and its dual, is a crucial structure in any cohesive topos. In fact, he looked at the dual localization: the subcategory of objects XX for which not u *Xu !Xu^\ast X \to u^! X but u *Xu !Xu_\ast X \to u_! X is an isomorphism.

Moreover, Kontsevich and Rosenberg notice that apart from the original motivation of characterizing noncommutative spaces as such, these “Q-categorical epi/mono(pre)sheaves” or whatever we should call them, naturally serve to characterize infinitesimal extensions. They show that it is sensible to make the following general abstract definition:

for u:HH thu : \mathbf{H} \hookrightarrow \mathbf{H}_{th} an infinitesimal extension of cohesive \infty-toposes (my paraphrase, of course, but it does apply to their classes of examples) we say that an object XH X \in \mathbf{H} is

  • formally smooth if u *Xu !Xu^\ast X \to u^! X is an epimorphism – for every morphism YXY \to X and every infinitesimal extension of YY there is at least one extension of the morphism;

  • formally unramified if u *Xu !Xu^\ast X \to u^! X is a monomorphism – for every morphism YXY \to X and every infinitesimal extension of YY there is at most one extension of the morphism;

  • formally étale if u *Xu !Xu^\ast X \to u^! X is an isomorphism – for every morphism YXY \to X and every infinitesimal extension of YY there is exactly one extension of the morphism;

(Or rather, there is an evident relative version of these statements, which you can see behind the links provided above.)

When you unwind all the definitions while working over the site of ordinary algebraic geometry, hence over formal duals of commutative algebras, it is eventually straightforward to see that this abstract definition does reproduce the traditional one. But the article argues that the abstract notion here also produces the right concept of formal smoothness, etc., in noncommutative geometry.

Moreover, while not mentioned in Kontsevich-Rosenberg, it is straightforward to see that u *Xu !Xu^\ast X \to u^! X being epi is formally equivalent to the morphism XdR(X)=Π inf(X)X \to dR(X) = \mathbf{\Pi}_{inf}(X) into the intrinsically defined de Rham space being an epimorphism, as it should be for formally smooth XX.

So it seems there is a nice, simple, useful and powerful formal axiomatization of infinitesimal cohesion using cohesive \infty-toposes that does subsume various suggestions that are floating around in the preprint literature.

Posted at April 12, 2011 6:29 PM UTC

TrackBack URL for this Entry:

0 Comments & 0 Trackbacks

Post a New Comment