nLab differential cohesion and idelic structure

Contents

Context

Higher geometry

Differential cohomology

This page originates in notes prepared for a talk “Fractures, Ideles and the Differential Hexagon” at CUNY workshop on differential cohomologies, New York, August 2014 (video recording)

Contents

Abstract We discuss how the synthetic differential geometry-like axiomatics of differential cohesion provides a theory of twisted generalized/nonabelian differential cohomology which has realizations not just in higher differential geometry but also notably in higher complex analytic geometry and moreover in “higher arithmetic geometry” (E-∞ arithmetic geometry) in a way that systematizes some of the analogies which motivate the geometric Langlands correspondence.

Motivation

A fruitful approach to mathematical theory is what might be called “inter-geometric”, meaning that definitions and theorems make sense and hold when interpreted in different flavors of geometry. Classical examples are the GAGA principle, the function field analogy, the geometric Langlands correspondence, more recent are various approaches to F1-geometry and global analytic geometry. While in these examples the analogy between different theories of geometry has been established case-by-case, there is by and large no meta-theory which would systematically imply the analogy.

This is of practical concern for instance in the Langlands program, where it is an open problem how the methods and insights which are deeply on the side of complex analytic geometry, such as involving mirror symmetry, might have incarnations on the arithmetic geometry-side. And vice-versa, the complex-analytic version of the conjecture was obtained by educated guessing via analogy from the arithmetic side in the first place, but this guesswork has been questioned (Langlands 14). Both of these issues would be resolved if one had an “inter-geometric” theory from which the correspondence both in arithmetic geometry and in complex-analytic geometry would both follow systematically.

More generally, inter-geometric theory is relevant in higher geometric quantization, where choices of polarizations correspond to descending to more rigid geometries (for introduction and review see Schreiber 14).

A noteworthy example in this context is the construction of the refined Witten genus in the guise of the string orientation of tmf: here what is initially a concept in complex analytic (super-)geometry is constructed by passage (via the construction of tmf) to the moduli stack of elliptic curves all the way down in arithmetic geometry, and in fact then via the fracture theorems by its base changes to p-adic geometry and to rational homotopy theory (and further to K(n)-local stable homotopy theory). In fact, the supersingular elliptic curves which are the ones that contribute at height 2 and hence make for the genuinely stringy (second chromatic level) contribution to the refined Witten genus exist only in positive characteristic, invisible to complex geometry. There is thus a kind of p-adic string theory (closed string theory!) appearing here, which is however not of the kind that existing literature with such title would shed any light on.f

The role of more “rigidarithmetic geometry – closer to the bottom absolute geometry – in quantization might be summarized in parts by the following table:

quantization of 3d Chern-Simons theory and holographically of the WZW-model/the string

geometryworldvolumemoduli of fieldsmoduli of polarizationsgeometric quantization/theta functions
differential geometryworldsheetmoduli stack of flat connections
complex analytic geometrycomplex curveJacobian/moduli of (semi-)stable bundlesmoduli stack of Riemann surfacesmodular functor, Witten genus, …
arithmetic geometryarithmetic curveGalois representations and automorphic forms (via Langlands correspondence) (in particular Tamagawa measures, etc.)moduli stack of curvesequivariant elliptic cohomology, string orientation of tmf, …

The construction of the bottom right items here is a ground-breaking accomplishment in algebraic topology, but at least in view of the origin of the WZW-string and the Witten genus in string theory it maybe raises more questions than it solves: from the perspective of physics these are but the first example of a tower of higher dimensional brane phenomena, the next instance being the partition function of the M5-brane and then that of 10d string theory itself (see e.g. at self-dual higher gauge theory).

kk(4k+3)d(4k+3)d higher dimensional Chern-Simons theoryform theta characteristics \to(4k+2)d(4k+2)d self-dual higher gauge theory
03d Chern-Simons theorychiral WZW-string/modular functor/equivariant elliptic cohomology
17d Chern-Simons theoryself-2-2form on M5-brane
211d Chern-Simons theoryRR-fields in type II string theory

In all of these higher dimensional cases the inter-geometric aspect appears. Where one assigned an elliptic cohomology theory to worldsheets equipped with polarization structure, it is only the arithmetic geometry cases of supersingular elliptic curves which contribute; similarly in the higher dimensional cases it is the Artin-Mazur formal groups in positive characteristic which induce at the given height to the Calabi-Yau cohomology. Finding the higher analog of the string orientation of tmf for these higher dimensional cases is as desirable as it seems to be intractable without some more inter-geometric theory to guide one.

Here we will not present solutions to these rather deep questions. But we do want to discuss something that looks like steps in the right direction.

Notice that the idea of “inter-geometric theory” is ancient, it originates with the synthetic geometry of Euclid which, with the parallel axiom removed, subsumes Euclidean, elliptic and hyperbolic geometry:

synthetic geometry
Euclidean geometry
hyperbolic geometry
elliptic geometry

The idea of refining such a synthetic reasoning to differential geometry is not as ancient, but far from new, this is known as synthetic differential geometry. For the kinds of applications as mentioned above we need something a bit more expressive, we consider differentially cohesive homotopy theory:

higher synthetic differential geometry
higher differential geometry
higher complex analytic geometry
higher arithmetic geometry

This we review and discuss below. First we recall now the key motivating ingredients of the function field analogy and the Langlands correspondence.

1) Langlands correspondence and Weil uniformization

The central idea of the Langlands correspondence (see for instance (Frenkel 05) for a review of the basic aspects that we refer to) is that given a global field KK, then nn-dimensional linear representations of its Galois group are in correspondence with certain linear representations – called automorphic representations – of the general linear group GL n(𝔸 K)GL_n(\mathbb{A}_K) with coefficients in the ring of adeles 𝔸 K\mathbb{A}_K of KK on the linear space of functions on the double coset space

GL n(K)\GL n(𝔸 K)/GL n(𝕆 K), GL_n(K) \;\backslash\; GL_n(\mathbb{A}_{K}) \;/\; GL_n(\mathbb{O}_K) \,,

where 𝕆 K\mathbb{O}_K denotes the ring of integral adeles. In particular for the “absolute” case that K=K = \mathbb{Q} is the rational numbers, this is

GL n()\GL n(𝔸 )/GL n(𝔸 ) GL_n(\mathbb{Q}) \;\backslash\; GL_n(\mathbb{A}_{\mathbb{Q}}) \;/\; GL_n(\mathbb{A}_{\mathbb{Z}})

where

For the case that n=1n = 1 then the left part of this quotient is the idele class group, for higher nn this is an object in some nonabelian generalization of class field theory.

The striking observation that leads to the conjecture of the geometric Langlands correspondence is that under the function field analogy this double quotient, as a stacky quotient, is analogous to the moduli stack of vector bundles Bun Σ(GL n)Bun_{\Sigma}(GL_n) over a complex curve Σ\Sigma in the specific presentation that is given by the Weil uniformization theorem. Namely, this says that choosing any point xΣx\in \Sigma and a formal disk xDΣx \in D \subset \Sigma around it, then the formal disk DD around xx together with the complement Σ{x}\Sigma-\{x\} of the point

Σ{x} Σ D \array{ && \Sigma-\{x\} \\ & && \searrow \\ && && \Sigma \\ & && \nearrow \\ && D }

is a “good enough cover”, hence by Cech cohomology we have

Bun Σ(GL n) [Σ{x},GL n]\[D{x},GL n]/[D,GL n] =𝕆 Σ[(zx) 1]\GL n(((zx)))/GL n([[(zx)]]), \begin{aligned} Bun_\Sigma(GL_n) & \simeq [\Sigma-\{x\}, GL_n] \;\backslash \;[D-\{x\}, GL_n] \;/\; [D,GL_n] \\ & = \mathbb{O}_{\Sigma}[(z-x)^{-1}] \;\backslash\; GL_n(\mathbb{C}((z-x))) \;/\; GL_n(\mathbb{C}[ [(z-x)] ]) \end{aligned} \,,

expressing the groupoid (stack) of GL nGL_n-principal bundles on Σ\Sigma as the groupoid of GL nGL_n-valued transitions functions on the space of double intersections of the cover, which is D{x}D-\{x\}, subject to gauge transformations given by GL nGL_n-valued functions on the cover itself, hence on Σ{x}\Sigma-\{x\} and on DD. But (holomorphic)

  • functions on the formal disk DD at xx are, essentially by definition, formal power series in (zx)(z-x);

  • functions on the punctured formal disk D{x}D -\{x\} are formal power series which need not converge at the missing point, hence are Laurent series in (zx)(z-x);

  • functions on the complement Σ{x}\Sigma-\{x\} are, similarly, meromorphic functions on Σ\Sigma with poles allowed at xx.

The expression for Bun Σ(GL n)Bun_\Sigma(GL_n) obtained this way in the second line above is analogous to the idelic space appearing the Langlands program. This analogy proceeds via the function field analogy and the F1-geometry-analogy, which say that:

  • the ring of p-adic integers

    p={a 0+a 1p+a 2p 2+} \mathbb{Z}_p = \{ a_0 + a_1 p + a_2 p^2 + \cdots \}

    is analogous to the ring of functions on the formal disk DD at xx, namely the power series ring

    [[(zx)]]={a 0+a 1(zx)+a 2(zx) 2+} \mathbb{C}[ [ (z-x) ] ] = \{ a_0 + a_1 (z-x) + a_2 (z-x)^2 + \cdots \}
  • the ring of p-adic numbers

    p={a kp k++a 1p 1+a 0+a 1p+a 2p 2+} \mathbb{Q}_p = \{ a_{-k} p^{-k} + \cdots + a_{-1} p^{-1} + a_0 + a_1 p + a_2 p^2 + \cdots \}

    is analogous to the ring of functions on the pointed formal disk D{x}D - \{x\}, namely the Laurent series ring

    ((zx))={a k(zx) k++a 1(zx) 1+a 0+a 1(zx)+a 2(zx) 2+}; \mathbb{C}((z-x)) = \{ a_{-k} (z-x)^{-k} + \cdots + a_{-1} (z-x)^{-1} + a_0 + a_1 (z-x) + a_2 (z-x)^2 + \cdots \};
  • the subring [p 1]\mathbb{Z}[p^{-1}] \subset \mathbb{Q} of rational numbers with denominator a power of pp is analogous to the subring of meromorphic functions on Σ\Sigma with possible poles at xx.

Notice that the cover of the complex curve Σ\Sigma involved in the Weil uniformization theorem is exhibited by the following fiber product diagram

Σ{x} D{x} Σ D \array{ && \Sigma-\{x\} \\ & \nearrow && \searrow \\ D-\{x\} && && \Sigma \\ & \searrow && \nearrow \\ && D }

Indeed, in further support of this analogy one may see that also the p-adic integers together with the rational functions form a “good enough cover” of the “F1-arithmetic curveSpec(Z) of this form. This is the statement of the arithmetic fracture square:

Proposition

The integers \mathbb{Z} are the fiber product of all the p-adic integers pprime p\underset{p\;prime}{\prod} \mathbb{Z}_p with the rational numbers \mathbb{Q} over the rationalization of the former, hence there is a pullback diagram in CRing of the form

(pprime p) pprime p. \array{ && \mathbb{Q} \\ & \swarrow && \nwarrow \\ \mathbb{Q}\otimes_{\mathbb{Z}}\left(\underset{p\;prime}{\prod} \mathbb{Z}_p \right) && && \mathbb{Z} \\ & \nwarrow && \swarrow \\ && \underset{p\;prime}{\prod} \mathbb{Z}_p } \,.

Equivalently this is the fiber product of the rationals with the integral adeles 𝔸 \mathbb{A}_{\mathbb{Z}} over the ring of adeles 𝔸 \mathbb{A}_{\mathbb{Q}}

𝔸 𝔸 , \array{ && \mathbb{Q} \\ & \swarrow && \nwarrow \\ \mathbb{A}_{\mathbb{Q}} && && \mathbb{Z} \\ & \nwarrow && \swarrow \\ && \mathbb{A}_{\mathbb{Z}} } \,,

Since the ring of adeles is the rationalization of the integral adeles 𝔸 = 𝔸 \mathbb{A}_{\mathbb{Q}} = \mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{A}_{\mathbb{Z}}, this is also (by the discussion here) a pushout diagram in CRing, and in fact in topological commutative rings (for \mathbb{Q} with the discrete topology and 𝔸 \mathbb{A}_{\mathbb{Z}} with its profinite/completion topology).

The statement of prop. immediately lifts to flat finitely generated torsion free modules, involving now the rationalization and the completion of modules. It then naturally lifts futher to stable homotopy theory, now with spectra regarded as ∞-modules over the sphere spectrum 𝕊\mathbb{S}:

Proposition

(Sullivan arithmetic fracture square)

For every spectrum XX the canonical square diagram

X ( pX p ) X pX p \array{ && X_{\mathbb{Q}} \\ & \swarrow && \nwarrow \\ \left( \prod_p X_p^{\wedge} \right)_{\mathbb{Q}} && && X \\ & \nwarrow && \swarrow \\ && \prod_p X_p^\wedge }

formed by p-completion and rationalization of spectra is a homotopy pullback square (hence a homotopy pushout square).

Moreover, the geometric Langlands correspondence eventually relates the moduli stack of bundles Bun Σ(G)Bun_{\Sigma}(G) realized via Weil uniformization with respect to such “fracture cover” to a moduli stack of local systems (flat connections) by identifying quasicoherent sheaves on one side with D-modules on the other

𝒪Mod(Loc Σ( LG))𝒟Mod(Bun Σ(G)) \mathcal{O}Mod(Loc_{\Sigma}({{}^L G})) \stackrel{\simeq}{\longrightarrow} \mathcal{D} Mod( Bun_{\Sigma}(G))

Hence in order to systematize the implementation of such consideration in various flavors of geometry, we need an “inter-geometric” axiomatics that incorporates these ingredients, notably

  1. differential cohomology;

  2. D-geometry.

Such an axiomatics we turn to now, recalling how it has implementations in higher differential geometry and higher complex analytic geometry. Then at the end below we discuss how the axioms also have implementation in a E-∞ arithmetic geometry, where moreover they reproduce precisely the classical number-theoretic fracture squares and hence an “automorphic” incarnation of all moduli ∞-stacks of higher gauge fields.

2) Axiomatic twisted differential generalized cohomology

The above analogy calls for being formalized. We need an axiomatics that allows to implement differential geometry in systematic analogy. Just as back in the old days there was established a systematic analogy

synthetic geometry
Euclidean geometry
hyperbolic geometry
elliptic geometry

for modern applications we need a systematic dictionary of the form

higher synthetic differential geometry
higher differential geometry
higher complex analytic geometry
higher arithmetic geometry

We will discuss here how this may be done via the axiomatics called cohesive homotopy theory and differential cohesion in (Schreiber 13).

Differential generalized cohomology

To that end, first consider the following flavors of geometry.

Example

Let SS denote either of the following sites:

Write

HSh (S)L lwhesPSh(S) \mathbf{H} \coloneqq Sh_\infty(S) \simeq L_{lwhe} sPSh(S)

for the homotopy theory obtained from the category of simplicial presheaves on SS by universally turning local (stalkwise) weak homotopy equivalences into actual homotopy equivalences (i.e. the hypercomplete (∞,1)-category of (∞,1)-sheaves over this site.

Write specifically

  • SmoothGrpdSh (SmoothMfd)Smooth \infty Grpd\coloneqq Sh_\infty(SmoothMfd)smooth ∞-groupoids;

  • ComplexAnalyticGrpdSh (ComplexAnalyticMfd)ComplexAnalytic \infty Grpd\coloneqq Sh_\infty(ComplexAnalyticMfd)complex analytic ∞-groupoids;

  • SmoothSuperGrpdSh (SmoothSuperMfd)SmoothSuper \infty Grpd\coloneqq Sh_\infty(SmoothSuperMfd)smooth super ∞-groupoids;

  • FormalSmoothGrpdSh (FormalSmoothMfd)FormalSmooth\infty Grpd \coloneqq Sh_\infty(FormalSmoothMfd)formal smooth ∞-groupoids.

Proposition

The homotopy theories H\mathbf{H} from example have the property that there is an adjoint quadruple of derived functors ((∞,1)-functors)

HGrpdL wheTop \mathbf{H} \stackrel{\longrightarrow}{\stackrel{\hookleftarrow}{\stackrel{\longrightarrow}{\hookleftarrow}}} \infty Grpd \simeq L_{whe} Top

such that the top left adjoint preserves finite products and the bottom right adjoint is a fully faithful embedding.

By going back and forth this induces an adjoint triple of (∞,1)-comonads on H\mathbf{H} which we write

(Π):HH (\Pi \dashv \flat \dashv \sharp) \colon \mathbf{H} \to \mathbf{H}

and call, respectively: shape modality \dashv flat modality \dashv sharp modality.

Following 1-categorical terminology proposed by William Lawvere (see at cohesive topos) we say:

Definition

Homotopy theories with the properties as in prop. we call cohesive homotopy theories? (cohesive (∞,1)-toposes).

It is commonplace that a single idempotent (∞,1)-monad such as Π\Pi is equivalently a localization of a homotopy theory, and that a sincle idempotent co-monad such as \flat is equivalently a co-localization.

Lawvere argued since the 1990s (see here) is that the presence of adjoint pairs and more so of adjoint triples of these on a category – “adjoint modalities” – is a remarkably expressive structure for axiomatizing synthetic differential geometry. What (Schreiber 13) observes is that in homotopy theory this is considerably more so the case:

Claim

This is quite a bit of structure, concisely axiomatized by the presence of the adjoint modalities Π\Pi \dashv \flat \dashv \sharp. And more is implied:

Proposition

For any cohesive (∞,1)-topos H\mathbf{H} over ∞Grpd, then its Goodwillie tangent space, the tangent (∞,1)-category THT \mathbf{H} of parameterized spectrum objects in H\mathbf{H} is itself a cohesive (,1)(\infty,1)-topos over bare parameterized spectra TGrpdT \infty Grpd – the tangent cohesive (∞,1)-topos:

THTGrpd. T \mathbf{H} \stackrel{\longrightarrow}{\stackrel{\hookleftarrow}{\stackrel{\longrightarrow}{\hookleftarrow}}} T \infty Grpd \,.

This is an extension of H\mathbf{H} by stable homotopy theory

Spectra(H) TH H. \array{ Spectra(\mathbf{H}) &\hookrightarrow& T \mathbf{H} \\ && \downarrow \\ && \mathbf{H} } \,.

In (Bunke-Nikolaus-Völkl 13) it was observed that:

Proposition

For E^Spectra(H)TH\hat E \in Spectra(\mathbf{H}) \hookrightarrow T \mathbf{H} a stable cohesive homotopy type, then the canonical diagram formed from the unit of the shape modality Π\Pi and the counit of the flat modality \flat

Π dRE^ d dRE^ θ E^ Π dRE^ E^ Π dRE^ ch E E^ ΠE^ \array{ && \Pi_{dR} {\hat E} && \stackrel{\mathbf{d}}{\longrightarrow} && \flat_{dR}{\hat E} \\ & \nearrow & & \searrow & & \nearrow_{\mathrlap{\theta_{\hat E}}} && \searrow \\ \Pi_{dR} \flat {\hat E} && && {\hat E} && && \Pi \flat_{dR} \hat E \\ & \searrow & & \nearrow & & \searrow && \nearrow_{\mathrlap{ch_E}} \\ && \flat {\hat E} && \longrightarrow && \Pi \hat E }

is homotopy exact in that

  1. both squares are homotopy pullback (and hence homotopy pushout) squares;

  2. the diagonals are homotopy fiber sequences (and hence homotopy cofiber sequences);

  3. also the long top and bottom sequences are homotopy fiber sequences (and hence homotopy cofiber sequences).

Remark

In view of claim the differential cohomology hexagon of prop. has the following interpretation:

connectionformsontrivialbundles deRhamdifferential curvatureforms curvature deRhamtheorem flatdifferentialforms geometricbundleswithconnection rationalizedbundle topol.class Cherncharacter geometricbundleswithflatconnection comparison shapeofbundle \array{ && connection\;forms\;on\;trivial\;bundles && \stackrel{de\;Rham\;differential}{\longrightarrow} && curvature\;forms \\ & \nearrow & & \searrow & & \nearrow_{\mathrlap{curvature}} && \searrow^{\mathrlap{de\;Rham\;theorem}} \\ flat\;differential\;forms && && geometric\;bundles\;with \;connection && && rationalized\;bundle \\ & \searrow & & \nearrow & & \searrow^{\mathrlap{topol.\;class}} && \nearrow_{\mathrlap{Chern\;character}} \\ && geometric\;bundles\;with\;flat\;connection && \underset{comparison}{\longrightarrow} && shape\;of\;bundle }

In particular, when applied to sheaves of spectra of the form considered in (Bunke-Gepner 13), which effectively embody the construction of generalized differential cohomology that was proposed in (Hopkins-Singer 02), then the right part of the hexagon reproduces their defining decomposition as homotopy pullbacks of L-∞ algebra valued differential form along the Chern character map EEHE \to E \wedge H \mathbb{R} of plain spectra EE (see at differential cohomology diagram – Hopkins-Singer coefficients).

In view of this it is natural to ask if there are more general sheaves of spectra than those proposed in (Hopkins-Singer 02, Bunke-Gepner 13) which could still be sensibly regarded as encoding a kind of differential cohomology. Proposition in view of claim answers this in the most encompassing way: every sheaf of spectra on smooth manifolds, and in fact more generally every stable cohesive homotopy type is meaningfully regarded as a generalized differential cohomology theory, in that the axiomatics of cohesion provides a detailed decomposition of any such into data which behaves just right.

It may therefore be useful to regard prop. as the differential refinement of the Brown representability theorem:

Brown representability theorem\;\;\; proposition
cohomology theory = spectrumdifferential cohomology theory = cohesive spectrum

Twisted differential generalized cohomology

More is true, also twisted cohomology is naturally encoded by the axiomatics of cohesive homotopy theory, as we pass from the fiber Spectra(H)Spectra(\mathbf{H}) of the tangent cohesive (∞,1)-topos THT\mathbf{H} over the point to general cohesive parameterized spectrum objects:

Proposition

For E^Spectra(H)TH\hat E \in Spectra(\mathbf{H}) \hookrightarrow T\mathbf{H} a spectrum object, the canonical ∞-action of its automorphism ∞-group is exhibited by the universal E^\hat E-fiber ∞-bundle

[E^ E^//Aut(E^) BAut(E^)]TH. \left[ \array{ \hat E &\to& \hat E//Aut(\hat E) \\ && \downarrow \\ && \mathbf{B}Aut(\hat E) } \right] \in T \mathbf{H} \,.

NSS 12

Proposition

For any unstable cohesive homotopy type XHTHX \in \mathbf{H} \hookrightarrow T \mathbf{H} the mapping stack

[X,E^//Aut(E^)]TH [X,\hat E//Aut(\hat E)] \in T \mathbf{H}

is the bundle of spectra which over a twist τ:XPic(E^)\tau \colon X \to Pic(\hat E) is the τ\tau-twisted E^\hat E-cohomology of XX.

See here for details and further discussion.

So cohesion faithfully axiomatizes “inter-geometric” twisted differential generalized cohomology. In order to find also an “inter-geometric” Weil uniformization theorem for this we need however to add another axiom, one that makes infinitesimal objects such as formal disks appear explicitly.

Weil uniformization for twisted differential generalized cohomology

To that end, consider again first an example

Example

Let S reducedSS infinitesimalS_{reduced} \longleftarrow S \longleftarrow S_{infinitesimal} be one of the following fiber sequence of sites

  • SmoothMfdFormalSmoothMfdFormalPtsSmoothMfd \longleftarrow FormalSmoothMfd \hookleftarrow FormalPts

  • ComplexAnalyticMfdFormalComplexAnalyticMfdFormalPtsComplexAnalyticMfd \longleftarrow FormalComplexAnalyticMfd \hookleftarrow FormalPts

where FormalPtsFormalPts is the site of infinitesimally thickened points with the trivial topology;

Under forming hypercomplete (∞,1)-sheaf (∞,1)-topos this yields

H reduced H H infinitesimal ComplexAnalyticGrpd FormalComplexAnalyticGrpds InfinitesimalGrpd \array{ \mathbf{H}_{reduced} &\hookrightarrow& \mathbf{H} &\longrightarrow& \mathbf{H}_{infinitesimal} \\ ComplexAnalytic\infty Grpd & \longrightarrow & FormalComplexAnalytic\infty Grpds & \longrightarrow & Infinitesimal\infty Grpd }

Here the last item is essentially formal moduli problems but without the condition of Γ()=*\Gamma(-) = \ast and without the condition of Lurie-infinitesimal cohesion (beware the terminology clash), see at differential cohesion – Lie theory for more on this.

Proposition

In example we have

H reducedHH infinitesimal \mathbf{H}_{reduced} \stackrel{\hookrightarrow}{\stackrel{\longleftarrow}{\stackrel{\overset{}{\hookrightarrow}}{\longleftarrow}}} \mathbf{H} \stackrel{\longrightarrow}{\stackrel{\hookleftarrow}{\stackrel{\longrightarrow}{\hookleftarrow}}} \mathbf{H}_{infinitesimal}

By going back and forth, the adjoint quadruple on the left induces a further adjoint triple of adjoint modalities which we write

(&):HH (\Re \dashv \Im \dashv \&) \colon \mathbf{H} \to \mathbf{H}

which we call reduction modality \dashv infinitesimal shape modality \dashv infinitesimal flat modality .

Moreover, H infinitesimal\mathbf{H}_{infinitesimal} satisfies infinitesimal cohesion in that for all objects in here the points-to-pieces transform Π\flat \to \Pi is an equivalence.

H reduced\mathbf{H}_{reduced}\hookrightarrowH\mathbf{H}\longrightarrowH infinitesimal\mathbf{H}_{infinitesimal}
cohesiondifferential cohesioninfinitesimal cohesion
moduli ∞-stacksformal smooth ∞-groupoidsformal moduli problems
Claim

The infinitesimal shape modality \Im is naturally thought of as producing de Rham space objects. In particular:

  1. for GGrp(H)G \in Grp(\mathbf{H}) an ∞-group object then the mapping stack

    Loc Σ(G)[Σ,BG] Loc_\Sigma(G) \coloneqq [\Im \Sigma, \mathbf{B}G]

    is the moduli ∞-stack of GG-local systems on any ΣH\Sigma \in \mathbf{H};

  2. quasicoherent sheaves on X\Im X are D-modules on XX.

Remark

In terms of claim then the statement of the geometric Langlands correspondence is that there is a natural correspondence between [Σ,BG]\Im[\Sigma, \mathbf{B}G] and [Σ,B LG][\Im\Sigma, \mathbf{B}{}^L G].

Definition

Since by prop. H\mathbf{H} is cohesive also over H infinitesimal\mathbf{H}_{infinitesimal}, this gives relative modalities

(Π rel rel rel):HH infinitesimalH (\Pi^{rel} \dashv \flat^{rel} \dashv \sharp^{rel}) \;\colon\; \mathbf{H} \to \mathbf{H}_{infinitesimal} \to \mathbf{H}

which we call the relative shape modality, relative flat modality and relative sharp modality, respectively.

See (Schreiber 13, 3.10.10).

Proposition

For ΣComplexAnalyticMfdComplexAnalyticGrpd\Sigma\in ComplexAnalyticMfd \hookrightarrow ComplexAnalytic\infty Grpd then the relative flat modality, def. , is given by forming the disjoint union

relΣxΣD x \flat^{rel} \Sigma \simeq \underset{x \in \Sigma}{\coprod} D_{x}

of all formal disks D xΣD_x \hookrightarrow \Sigma around points xΣx \in \Sigma.

See (Schreiber 13, 5.6.1.4).

Remark

In summary, the differential cohesive structure is reflected in the existence of a triple of triples of operations that naturally exist on all objects in H\mathbf{H}:

  1. cohesion

  2. infinitesimal cohesion

    • relative shape modality Π rel\Pi^{rel} has as homotopy fibers over XX spaces Π dR rel(X)\Pi^{rel}_{dR}(X) whose function spaces are rationalizations of function spaces on XX.

    • relative flat modality rel\flat^{rel} creates collections of formal disks;

    • relative sharp modality rel\sharp^{rel} induces synthetic differential moduli stacks of non-flat ∞-connections

  3. relative differential cohesion

Example

Every XX in H\mathbf{H} sits in a canonical square

Π dR relX rationalizationofX Π dR rel relX X relX formaldisksinX \array{ && \Pi^{rel}_{dR} X && & && rationalization\;of\;X \\ & \nearrow && \searrow && & \\ \Pi^{rel}_{dR} \flat^{rel} X && && X & \\ & \searrow && \nearrow && & \\ && \flat^{rel} X && & && formal\;disks\;in\;X }

and the stabilization of this, equivalently the result of passing to E^\hat E-spectrum-valued functions on this yields

[Π dR relX,E^] rationalE^functions [Π dR rel relX,E^] [X,E^] [ relX,E^] E^adeles \array{ && [\Pi^{rel}_{dR} X, \hat E] && & && rational\;\hat E-functions \\ & \swarrow && \nwarrow && & \\ [\Pi^{rel}_{dR}\flat^{rel} X, \hat E] && && [X,\hat E] & \\ & \nwarrow && \swarrow && & \\ && [\flat^{rel} X, \hat E] && & && \hat E-adeles }

which is homotopy cartesian.

3) E E_\infty-Arithmetic differential cohomology

Above we found general synthetic axioms for differential cohomology and realization of these axioms in higher differential geometry and higher complex analytic geometry. Both turned out to exhibit also relative differential cohesion, def. , over “formal moduli problems”.

While higher arithmetic geometry (i.e. E-∞ arithmetic geometry) is not cohesive over the standard base (∞,1)-topos ∞Grpd, it does turn out to exhibit this kind of relative differential cohesion in a way that the corresponding relative differential cohomology hexagon subsumes the traditional arithmetic fracture square of prop. :

Proposition

Let AA be an E-∞ ring and let 𝔞π 0A\mathfrak{a} \subset \pi_0 A be a finitely generated ideal in its underlying commutative ring.

Then there is an adjoint triple of adjoint (∞,1)-functors

AMod 𝔞comp opAMod 𝔞tors op 𝔞Π 𝔞 AMod op \array{ \underoverset{ A Mod_{\mathfrak{a}comp}^{op}} {A Mod_{\mathfrak{a}tors}^{op}} {\simeq} &\stackrel{\overset{\Pi_{\mathfrak{a}}}{\longleftarrow}}{\stackrel{\hookrightarrow}{\underset{\flat_{\mathfrak{a}}}{\longleftarrow}}}& A Mod^{op} }

where

This is effectively the content of (Lurie “Completions”, section 4), a refinement to stable homotopy theory of what in homological algebra is sometimes known as Greenlees-May duality.

For our purposes we notice the following immediate consequence.

Corollary

The traditional arithmetic fracture square of prop. is the left part of the “differential cohomology diagram” induced by the adjoint modality (Π 𝔞 𝔞)(\Pi_{\mathfrak{a}} \dashv \flat_{\mathfrak{a}} ) of prop. , for the special case that A=𝕊A = \mathbb{S} is the sphere spectrum and 𝔞=(p)\mathfrak{a} = (p) a prime ideal

Π 𝔞dRX d 𝔞dRX Π 𝔞dRX X Π 𝔞 𝔞dRX 𝔞X Π 𝔞X, \array{ && \Pi_{\mathfrak{a}dR} X && \stackrel{\mathbf{d}}{\longrightarrow} && \flat_{\mathfrak{a}dR} X \\ & \nearrow & & \searrow & & \nearrow && \searrow \\ \Pi_{\mathfrak{a}dR} \flat X && && X && && \Pi_{\mathfrak{a}} \flat_{\mathfrak{a}dR} X \\ & \searrow & & \nearrow & & \searrow && \nearrow \\ && \flat_{\mathfrak{a}} X && \longrightarrow && \Pi_{\mathfrak{a}} X } \,,
Remark

By the discussion at completion of modules in the section Monoidalness, the adjoint modality of prop. is a monoidal (∞,1)-functor without, possibly, respect the tensor unit in AModA Mod. This means that (Π 𝔞 𝔞)(\Pi_{\mathfrak{a}}\dashv \flat_{\mathfrak{a}}) passes to “commutative ∞-monoids-without unit” in AModA Mod, hence to (formal duals of) nonunital E-∞ algebras. By this proposition (Lurie “Algebra”, prop. 5.2.3.15) nonunital E-∞ rings are equivalent to augmented E-∞ rings over the sphere spectrum, hence this is E-∞ arithmetic geometry under Spec(𝕊)Spec(\mathbb{S}).

Notice that in addition Π 𝔞\Pi_{\mathfrak{a}} here should preserve finite products (because by the discussion at completion of a module – monoidalness the underlying Π 𝔞:AModAMod\Pi_{\mathfrak{a}} \colon A Mod \to A Mod preserves all small (∞,1)-colimits and because by this proposition finite coproducts in CRng(AMod)CRng(A Mod) are computed in the underlying AModA Mod.

Therefore we may think of Π 𝔞\Pi_{\mathfrak{a}} as a shape modality and of 𝔞\flat_{\mathfrak{a}} as a sharp modality on affine E-∞-arithmetic geometry under Spec(𝕊)Spec(\mathbb{S}) – namely on formal duals of nonunital E-∞ rings .

(It may be entertaining to note that on the level of ∞-groups of units then E-∞ arithmetic geometry under Spec(𝕊)Spec(\mathbb{S}) translates to abelian ∞-groups of twists over the sphere spectrum – which has been argued to be the homotopy-theoretic incarnation of superalgebra, see at superalgebra – abstract idea for more on this.)

In conclusion, the situation is summarized by the following table.

cohesion in E-∞ arithmetic geometry:

cohesion modalitysymbolinterpretation
flat modality\flatformal completion at
shape modalityʃʃtorsion approximation
dR-shape modalityʃ dRʃ_{dR}localization away
dR-flat modality dR\flat_{dR}adic residual

the differential cohomology hexagon/arithmetic fracture squares:

localizationawayfrom𝔞 𝔞adicresidual Π 𝔞dR 𝔞X X Π 𝔞 𝔞dRX formalcompletionat𝔞 𝔞torsionapproximation, \array{ && localization\;away\;from\;\mathfrak{a} && \stackrel{}{\longrightarrow} && \mathfrak{a}\;adic\;residual \\ & \nearrow & & \searrow & & \nearrow && \searrow \\ \Pi_{\mathfrak{a}dR} \flat_{\mathfrak{a}} X && && X && && \Pi_{\mathfrak{a}} \flat_{\mathfrak{a}dR} X \\ & \searrow & & \nearrow & & \searrow && \nearrow \\ && formal\;completion\;at\;\mathfrak{a}\; && \longrightarrow && \mathfrak{a}\;torsion\;approximation } \,,

References

Related talk notes:

Formalization in cohesive modal homotopy type theory homotopy type theory:

Last revised on March 20, 2021 at 07:16:38. See the history of this page for a list of all contributions to it.