nLab
cohesive (infinity,1)-topos -- structures II

This is a sub-section of the entry cohesive (∞,1)-topos . See there for background and context

---

Structures in a cohesive $(\mathrm{\infty },1)$-topos

This continues the list of structures whose first part is at cohesive (infinity,1)-topos -- structures .

Concordance

Since $H$ is an (∞,1)-topos it carries canonically the structure of a cartesian closed (∞,1)-category. For
$X,Y\in H$, write $Y^X\in H$ for the corresponding internal hom.

Since $\Pi :H\to$ ∞Grpd preserves products, we have for all $X,Y,Z\in H$ canonically induced a morphism

$$\Pi (Y^X)\times \Pi (Z^Y)\stackrel{\simeq }{\to }\Pi (Y^X\times Z^Y)\stackrel{\Pi ({\mathrm{comp}}_{X,Y,Z})}{\to }\Pi (Z^X).$$\Pi(Y^X) \times \Pi(Z^Y) \stackrel{\simeq}{\to} \Pi(Y^X \times Z^Y) \stackrel{\Pi(comp_{X,Y,Z})}{\to} \Pi(Z^X) \,.

This should yield an (∞,1)-category $\tilde{H}$ with the same objects as $H$ and hom-$\mathrm{\infty }$-groupoids defined by

$$\tilde{H}(X,Y):=\Pi (Y^X).$$\tilde \mathbf{H}(X,Y) := \Pi(Y^X) \,.

We have that

$$\tilde{H}(X,BG)=\Pi (B{G}^X)$$\tilde \mathbf{H}(X,\mathbf{B}G) = \Pi(\mathbf{B}G^X)

is the $\mathrm{\infty }$-groupoid whose objects are $G$-principal ∞-bundles on $X$ and whose morphisms have the interpretaton of $G$-principal bundles on the cylinder $X\times I$. These are concordances of $\mathrm{\infty }$-bundles.

Geometric homotopy and Galois theory

We discuss canonical internal realizations of the notions of homotopy group, local system and Galois theory in $H$.

Definition

For $H$ a locally ∞-connected (∞,1)-topos and $X\in H$ an object, we call $\Pi X\in$ ∞Grpd the fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos of $X$.

The (categorical) homotopy groups of $\Pi (X)$ we call the geometric homotopy groups of $X$

$${\pi }_{•}^{\mathrm{geom}}(X):={\pi }_{•}(\Pi (X)).$$\pi_\bullet^{geom}(X) := \pi_\bullet(\Pi (X)) \,.

Definition

For $\mid -\mid :$ ∞Grpd $\stackrel{\simeq }{\to }$ Top the homotopy hypothesis-equivalence we write

$$\mid X\mid :=\mid \Pi X\mid \in \mathrm{Top}$$\vert X \vert := \vert \Pi X \vert \in Top

and call this the topological geometric realization of $X$, or just the geometric realization for short.

Note

In presentations of $H$ by a model structure on simplicial presheaves as in prop. \ref{SimplicialPresheavesOverInfinityCohesviveSite} this abstract notion reproduces the notion of geometric realization of ∞-stacks in (Simpson). See remark 2.22 in (SimpsonTeleman).

Definition

We say a geometric homotopy between two morphism $f,g:X\to Y$ in $H$ is a diagram

$$\begin{array}{c}X\\ {\downarrow }^{(\mathrm{Id},i)}& {\searrow }^f\\ X\times I& \stackrel{\eta }{\to }& Y\\ {\uparrow }^{(\mathrm{Id},o)}& {\nearrow }_g\\ X\end{array}$$\array{ X \\ \downarrow^{\mathrlap{(Id,i)}} & \searrow^{\mathrlap{f}} \\ X \times I &\stackrel{\eta}{\to}& Y \\ \uparrow^{\mathrlap{(Id,o)}} & \nearrow_{\mathrlap{g}} \\ X }

such that $I$ is geometrically connected, ${\pi }_0^{\mathrm{geom}}(I)=*$.

Proposition

If $f,g:X\to Y$ are geometrically homotopic in $H$, then their images $\Pi (f),\Pi (g)$ are equivalent in $\mathrm{\infty }\mathrm{Grpd}$.

Proof

By the condition that $\Pi$ preserves products in a cohesive $(\mathrm{\infty },1)$-topos we have that the image of the geometric homotopy in $\mathrm{\infty }\mathrm{Grpd}$ is a diagram of the form

$$\begin{array}{c}\Pi (X)\\ {\downarrow }^{(\mathrm{Id},\Pi (i))}& {\searrow }^{\Pi (f)}\\ \Pi (X)\times \Pi (I)& \stackrel{\Pi (\eta )}{\to }& \Pi (Y)\\ {\uparrow }^{(\mathrm{Id},\Pi (o))}& {\nearrow }_{\Pi (g)}\\ \Pi (X)\end{array}.$$\array{ \Pi(X) \\ \downarrow^{\mathrlap{(Id,\Pi(i))}} & \searrow^{\mathrlap{\Pi(f)}} \\ \Pi(X) \times \Pi(I) &\stackrel{\Pi(\eta)}{\to}& \Pi(Y) \\ \uparrow^{\mathrlap{(Id,\Pi(o))}} & \nearrow_{\mathrlap{\Pi(g)}} \\ \Pi(X) } \,.

Now since $\Pi (I)$ is connected by assumption, there is a diagram

$$\begin{array}{ccc}& & *\\ & {}^{\mathrm{Id}}\nearrow & {\downarrow }^{\Pi (i)}\\ *& \to & \Pi (I)\\ & {}_{\mathrm{Id}}\searrow & {\uparrow }^{\Pi (o)}\\ & & *\end{array}$$\array{ && * \\ & {}^{\mathllap{Id}}\nearrow & \downarrow^{\mathrlap{\Pi(i)}} \\ * &\to& \Pi(I) \\ & {}_{\mathllap{Id}}\searrow & \uparrow^{\mathrlap{\Pi(o)}} \\ && * }

in ∞Grpd.

Taking the product of this diagram with $\Pi (X)$ and pasting the result to the above image $\Pi (\eta )$ of the geometric homotopy constructs the equivalence $\Pi (f)\Rightarrow \Pi (g)$ in $\mathrm{\infty }\mathrm{Grpd}$.

Proposition

For $H$ a locally ∞-connected (∞,1)-topos, also all its objects $X\in H$ are locally $\mathrm{\infty }$-connected, in the sense their petit over-(∞,1)-toposes $H/X$ are locally $\mathrm{\infty }$-connected.

The two notions of fundamental $\mathrm{\infty }$-groupoids of $X$ induced this way do agree, in that there is a natural equivalence

$${\Pi }_X(X\in H/X)\simeq \Pi (X\in H).$$\Pi_X(X \in \mathbf{H}/X) \simeq \Pi(X \in \mathbf{H}) \,.

Proof

By the general facts recalled at étale geometric morphism we have a composite essential geometric morphism

$$({\Pi }_X⊣{\Delta }_X⊣{\Gamma }_X):H_{/X}\stackrel{\stackrel{X_{!}}{\to }}{\stackrel{\stackrel{X^{*}}{\leftarrow }}{\underset{X_{*}}{\to }}}H\stackrel{\stackrel{\Pi }{\to }}{\stackrel{\stackrel{\Delta }{\leftarrow }}{\underset{\Gamma }{\to }}}\mathrm{\infty }\mathrm{Grpd}$$(\Pi_X \dashv \Delta_X \dashv \Gamma_X) : \mathbf{H}_{/X} \stackrel{\overset{X_!}{\to}}{\stackrel{\overset{X^*}{\leftarrow}}{\underset{\X_*}{\to}}} \mathbf{H} \stackrel{\overset{\Pi}{\to}}{\stackrel{\overset{\Delta}{\leftarrow}}{\underset{\Gamma}{\to}}} \infty Grpd

and $X_{!}$ is given by sending $(Y\to X)\in H/X$ to $Y\in H$.

Definition

For $\kappa$ a regular cardinal write

$$\mathrm{Core}\mathrm{\infty }{\mathrm{Grpd}}_{\kappa }\in \mathrm{\infty }\mathrm{Grpd}$$Core \infty Grpd_\kappa \in \infty Grpd

for the ∞-groupoid of $\kappa$-small ∞-groupoids: the core of the full sub-(∞,1)-category of ∞Grpd on the $\kappa$-small ones.

Remark

We have

$$\mathrm{Core}\mathrm{\infty }{\mathrm{Grpd}}_{\kappa }\simeq \coprod _{i}B\mathrm{Aut}(F_i),$$Core \infty Grpd_\kappa \simeq \coprod_i \mathbf{B} Aut(F_i) \,,

where the coproduct ranges over all $\kappa$-small homotopy types $[F_i]$ and $\mathrm{Aut}(F_i)$ is the automorphism ∞-group of any representative $F_i$ of $[F_i]$.

Definition

For $X\in H$ write

$$\mathrm{LConst}(X):=H(X,\mathrm{Disc}\mathrm{Core}\mathrm{\infty }{\mathrm{Grpd}}_{\kappa }).$$LConst(X) := \mathbf{H}(X, Disc Core \infty Grpd_\kappa) \,.

We call this the $\mathrm{\infty }$-groupoid of locally constant ∞-stacks on $X$.

Observation

Since $\mathrm{Disc}$ is left adjoint and right adjoint it commutes with coproducts and with delooping and therefore

$$\mathrm{Disc}\mathrm{Core}\mathrm{\infty }{\mathrm{Grpd}}_{\kappa }\simeq \coprod _{i}B\mathrm{Disc}\mathrm{Aut}(F_i).$$Disc Core \infty Grpd_\kappa \simeq \coprod_i \mathbf{B} Disc Aut(F_i) \,.

Therefore a cocycle $P\in \mathrm{LConst}(X)$ may be identified on each geometric connected component of $X$ as a $\mathrm{Disc}\mathrm{Aut}(F_i)$-principal ∞-bundle $P\to X$ over $X$ for the ∞-group object $\mathrm{Disc}\mathrm{Aut}(F_i)\in H$. We may think of this as an object $P\in H/X$ in the little topos over $X$. This way the objects of $\mathrm{LConst}(X)$ are indeed identified $\mathrm{\infty }$-stacks over $X$.

The following proposition says that the central statements of Galois theory hold for these canonical notions of geometric homotopy groups and locally constant $\mathrm{\infty }$-stacks.

Proposition

For $H$ locally ∞-connected and ∞-connected, we have

• a natural equivalence

  $$\mathrm{LConst}(X)\simeq \mathrm{\infty }\mathrm{Grpd}(\Pi (X),\mathrm{\infty }{\mathrm{Grpd}}_{\kappa })$$LConst(X) \simeq \infty \mathrm{Grpd}(\Pi(X), \infty Grpd_\kappa)

  of locally constant $\mathrm{\infty }$-stacks on $X$ with $\mathrm{\infty }$-permutation representations of the fundamental ∞-groupoid of $X$ (local systems on $X$);

• for every point $x:*\to X$ a natural equivalence of the endomorphisms of the fiber functor $x^{*}$ and the loop space of $\Pi (X)$ at $x$

  $$\mathrm{End}(x^{*}:\mathrm{LConst}(X)\to \mathrm{\infty }\mathrm{Grpd})\simeq {\Omega }_x\Pi (X).$$End( x^* : LConst(X) \to \infty Grpd ) \simeq \Omega_x \Pi(X) \,.

Proof

The first statement is just the adjunction $(\Pi ⊣\mathrm{Disc})$.

$$\begin{array}{rl}\mathrm{LConst}(X)& :=H(X,\mathrm{Disc}\mathrm{Core}\mathrm{\infty }{\mathrm{Grpd}}_{\kappa })\\ & \simeq \mathrm{\infty }\mathrm{Grpd}(\Pi (X),\mathrm{Core}\mathrm{\infty }{\mathrm{Grpd}}_{\kappa })\\ & \simeq \mathrm{\infty }\mathrm{Grpd}(\Pi (X),\mathrm{\infty }{\mathrm{Grpd}}_{\kappa })\end{array}.$$\begin{aligned} LConst(X) & := \mathbf{H}(X, Disc Core \infty Grpd_\kappa) \\ & \simeq \infty Grpd(\Pi(X), Core \infty Grpd_\kappa) \\ & \simeq \infty Grpd(\Pi(X), \infty Grpd_\kappa) \end{aligned} \,.

Using this and that $\Pi$ preserves the terminal object, so that the adjunct of $(*\to X\to \mathrm{Disc}\mathrm{Core}\mathrm{\infty }{\mathrm{Grpd}}_{\kappa })$ is $(*\to \Pi (X)\to \mathrm{\infty }{\mathrm{Grpd}}_{\kappa })$ the second statement follows with an iterated application of the (∞,1)-Yoneda lemma (this is pure Tannaka duality as discussed there):

The fiber functor $x^{*}:\mathrm{Func}(\Pi (X),\mathrm{\infty }\mathrm{Grpd})\to \mathrm{\infty }\mathrm{Grpd}$ evaluates an $(\mathrm{\infty },1)$-presheaf on $\Pi (X{)}^{\mathrm{op}}$ at $x\in \Pi (X)$. By the (∞,1)-Yoneda lemma this is the same as homming out of $j(x)$, where $j:\Pi (X{)}^{\mathrm{op}}\to \mathrm{Func}(\Pi (X),\mathrm{\infty }\mathrm{Grpd})$ is the (∞,1)-Yoneda embedding:

$$x^{*}\simeq {\mathrm{Hom}}_{\mathrm{PSh}(\Pi (X{)}^{\mathrm{op}})}(j(x),-).$$x^* \simeq Hom_{PSh(\Pi(X)^{op})}(j(x), -) \,.

This means that $x^{*}$ itself is a representable object in $\mathrm{PSh}(\mathrm{PSh}(\Pi (X{)}^{\mathrm{op}}{)}^{\mathrm{op}})$. If we denote by $\tilde{j}:\mathrm{PSh}(\Pi (X{)}^{\mathrm{op}}{)}^{\mathrm{op}}\to \mathrm{PSh}(\mathrm{PSh}(\Pi (X{)}^{\mathrm{op}}{)}^{\mathrm{op}})$ the corresponding Yoneda embedding, then

$$x^{*}\simeq \tilde{j}(j(x)).$$x^* \simeq \tilde j (j (x)) \,.

With this, we compute the endomorphisms of $x^{*}$ by applying the (∞,1)-Yoneda lemma two more times:

$$\begin{array}{rl}\mathrm{End}{x}^{*}& \simeq {\mathrm{End}}_{\mathrm{PSh}(\mathrm{PSh}(\Pi (X{)}^{\mathrm{op}}{)}^{\mathrm{op}})}(\tilde{j}(j(x)))\\ & \simeq \mathrm{End}(\mathrm{PSh}(\Pi (X){)}^{\mathrm{op}})(j(x))\\ & \simeq {\mathrm{End}}_{\Pi (X{)}^{\mathrm{op}}}(x,x)\\ & \simeq {\mathrm{Aut}}_x\Pi (X)\\ & =:{\Omega }_x\Pi (X)\end{array}.$$\begin{aligned} End x^* & \simeq End_{PSh(PSh(\Pi(X)^{op})^{op})} (\tilde j(j (x))) \\ & \simeq End(PSh(\Pi(X))^{op}) (j(x)) \\ & \simeq End_{\Pi(X)^{op}}(x,x) \\ & \simeq Aut_x \Pi(X) \\ & =: \Omega_x \Pi(X) \end{aligned} \,.

van Kampen theorem

A higher van Kampen theorem asserts that passing to fundamental ∞-groupoids preserves certain colimits.

On a cohesive $(\mathrm{\infty },1)$-topos $H$ the fundamental $\mathrm{\infty }$-groupoid functor $\Pi :H\to \mathrm{\infty }\mathrm{Grpd}$ is a left adjoint (∞,1)-functor and hence preserves all (∞,1)-colimits.

More interesting is the question which $(\mathrm{\infty },1)$-colimits of concrete spaces in

$$\mathrm{Conc}(H)\stackrel{\stackrel{\mathrm{conc}}{\leftarrow }}{\underset{\mathrm{inj}}{\hookrightarrow }}H$$Conc(\mathbf{H}) \stackrel{\overset{conc}{\leftarrow}}{\underset{inj}{\hookrightarrow}} \mathbf{H}

are preserved by $\Pi \circ \mathrm{inj}:\mathrm{Conc}(H)\to \mathrm{\infty }\mathrm{Grpd}$. These colimits are computed by first computing them in $H$ and then applying the concretization functor. So we have

Observation

Let $U_{•}:K\to \mathrm{Conc}(H)$ be a diagram such that the (∞,1)-colimit ${\lim }_{\to }\mathrm{inj}\circ U_{•}$ is concrete, $\cdots \simeq \mathrm{inj}(X)$.

Then the fundamental ∞-groupoid of $X$ is computed as the $(\mathrm{\infty },1)$-colimit

$$\Pi (X)\simeq \underrightarrow{\lim }\Pi (U_{•}).$$\Pi(X) \simeq {\lim_\to} \Pi(U_\bullet) \,.

In the Examples we discuss the cohesive $(\mathrm{\infty },1)$-topos $H=(\mathrm{\infty },1)\mathrm{Sh}(\mathrm{TopBall})$ of topological ∞-groupoids For that case we recover the ordinary higher van Kampen theorem:

Proposition

Let $X$ be a paracompact or locally contractible topological spaces and $U_1\hookrightarrow X$, $U_2\hookrightarrow X$ a covering by two open subsets.

Then under the singular simplicial complex functor $\mathrm{Sing}:\mathrm{Top}\to$ sSet we have a homotopy pushout

$$\begin{array}{ccc}\mathrm{Sing}(U_1)\cap \mathrm{Sing}(U_2)& \to & \mathrm{Sing}(U_2)\\ \downarrow & & \downarrow \\ \mathrm{Sing}(U_1)& \to & \mathrm{Sing}(X)\end{array}.$$\array{ Sing(U_1) \cap Sing(U_2) &\to& Sing(U_2) \\ \downarrow && \downarrow \\ Sing(U_1) &\to& Sing(X) } \,.

Proof

We inject the topological space via the external Yoneda embedding

$$\mathrm{Top}\hookrightarrow \mathrm{Sh}(\mathrm{TopBalls})\hookrightarrow H:=(\mathrm{\infty },1)\mathrm{Sh}(\mathrm{OpenBalls})$$Top \hookrightarrow Sh(TopBalls) \hookrightarrow \mathbf{H} := (\infty,1)Sh(OpenBalls)

as a 0-truncated topological ∞-groupoid in the cohesive $(\mathrm{\infty },1)$-topos $H$. Being an (∞,1)-category of (∞,1)-sheaves this is presented by the left Bousfield localization $\mathrm{Sh}(\mathrm{TopBalls},\mathrm{sSet}{)}_{\mathrm{inj},\mathrm{loc}}$ of the injective model structure on simplicial sheaves on $\mathrm{TopBalls}$ (as described at models for ∞-stack (∞,1)-toposes).

Notice that the injection $\mathrm{Top}\hookrightarrow \mathrm{Sh}(\mathrm{TopBalls})$ of topological spaces as concrete sheaves on the site of open balls preserves the pushout $X=U_1{\coprod }_{U_1\cap U_2}{U}_2$. (This is effectively the statement that $X$ as a representable on Diff is a sheaf.) Accordingly so does the further inclusion into $\mathrm{Sh}(\mathrm{TopBall},\mathrm{sSet})\simeq \mathrm{Sh}(\mathrm{TopBalls}{)}^{{\Delta }^{\mathrm{op}}}$ as simplicially constant simplicial sheaves.

Since cofibrations in that model structure are objectwise and degreewise injective maps, it follows that the ordinary pushout diagram

$$\begin{array}{ccc}{U}_1\cap U_2& \to & U_2\\ \downarrow & & \downarrow \\ U_1& \to & X\end{array}$$\array{ U_1 \cap U_2 &\to& U_2 \\ \downarrow && \downarrow \\ U_1 &\to& X }

in $\mathrm{Sh}(\mathrm{TopBalls},\mathrm{sSet}{)}_{\mathrm{inj},\mathrm{loc}}$ has all objects cofibrant and is the pushout along a cofibration, hence is a homotopy pushout (as described there). By the general theorem at (∞,1)-colimit homotopy pushouts model $(\mathrm{\infty },1)$-pushouts, so that indeed $X$ is the $(\mathrm{\infty },1)$-pushout

$$X\simeq U_1\coprod _{U_1\cap U_2}{U}_2\in H.$$X \simeq U_1 \coprod_{U_1 \cap U_2} U_2 \in \mathbf{H} \,.

The proposition now follows with the above observation that $\Pi$ preserves all $(\mathrm{\infty },1)$-colimits and with the statement (from topological ∞-groupoid) that for a topological space (locally contractible or paracompact) we have $\Pi X\simeq \mathrm{Sing}X$.

Paths and geometric Postnikov towers

The above construction of the fundamental ∞-groupoid of objects in $H$ as an object in ∞Grpd may be reflected back into $H$, where it gives a notion of homotopy path n-groupoids and a geometric notion of Postnikov towers of objects in $H$.

Definition

For $H$ a locally ∞-connected (∞,1)-topos define the composite adjoint (∞,1)-functors

$$(\Pi ⊣♭):=(\mathrm{Disc}\Pi ⊣\mathrm{Disc}\Gamma ):H\to H.$$(\mathbf{\Pi} \dashv \mathbf{\flat}) := (Disc \Pi \dashv Disc \Gamma) : \mathbf{H} \to \mathbf{H} \,.

We say

• $\Pi (X)$ is the path $\mathrm{\infty }$-groupoid of $X$ – the reflection of the fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos back into the cohesive context of $H$;

• $♭A$ (“flat $A$”) is the coefficient object for flat differential A-cohomology or for $A$-local systems

Write

$$({\tau }_n⊣i_n):H_{\le n}\stackrel{\stackrel{{\tau }_n}{\leftarrow }}{\underset{i}{\hookrightarrow }}H$$(\tau_n \dashv i_n) : \mathbf{H}_{\leq n} \stackrel{\overset{\tau_{n}}{\leftarrow}}{\underset{i}{\hookrightarrow}} \mathbf{H}

for the reflective sub-(∞,1)-category of n-truncated objects and

$${\tau }_n:H\stackrel{{\tau }_n}{\to }{H}_{\le n}\hookrightarrow H$$\mathbf{\tau}_n : \mathbf{H} \stackrel{\tau_n}{\to} \mathbf{H}_{\leq n} \hookrightarrow \mathbf{H}

for the truncation-localization funtor.

We say

$${\Pi }_n:H\stackrel{{\Pi }_n}{\to }H\stackrel{{\tau }_n}{\to }H$$\mathbf{\Pi}_n : \mathbf{H} \stackrel{\mathbf{\Pi}_n}{\to} \mathbf{H} \stackrel{\mathbf{\tau}_n}{\to} \mathbf{H}

is the homotopy path n-groupoid functor.

We say that the (truncated) components of the $(\Pi ⊣\mathrm{Disc})$-unit

$$X\to \Pi (X)$$X \to \mathbf{\Pi}(X)

are the constant path inclusions. Dually we have canonical morphism

$$♭A\to A.$$\mathbf{\flat}A \to A \,.

Observation

If $H$ is cohesive, then $♭$ has a right adjoint $\Gamma$

$$(\Pi ⊣♭⊣\Gamma ):=(\mathrm{Disc}\Pi ⊣\mathrm{Disc}\Gamma ⊣\mathrm{coDisc}\Gamma ):H\stackrel{\stackrel{\Pi }{\to }}{\stackrel{\stackrel{♭}{\leftarrow }}{\underset{\Gamma }{\to }}}H.$$(\mathbf{\Pi} \dashv \mathbf{\flat} \dashv \mathbf{\Gamma}) := (Disc \Pi \dashv Disc \Gamma \dashv coDisc \Gamma) : \mathbf{H} \stackrel{\overset{\mathbf{\Pi}}{\to}}{\stackrel{\overset{\mathbf{\flat}}{\leftarrow}}{\underset{\mathbf{\Gamma}}{\to}}} \mathbf{H} \,.

and this makes $H$ be $\mathrm{\infty }$-connected and locally $\mathrm{\infty }$-connected over itself.

Proposition

Let $H$ be a locally ∞-connected (∞,1)-topos. If $X\in H$ is small-projective then the over-(∞,1)-topos $H/X$ is

1. locally ∞-connected;

2. local.

Proof

The first statement is proven at locally ∞-connected (∞,1)-topos, the second at local (∞,1)-topos.

Proposition

In a cohesive $(\mathrm{\infty },1)$-topos $H$, if $X$ is small-projective then so is its path ∞-groupoid $\Pi (X)$.

Proof

Because of the adjoint triple of adjoint (∞,1)-functors $(\Pi ⊣♭⊣\Gamma )$ we have for diagram $A:I\to H$ that

$$\begin{array}{rl}H(\Pi (X),{\underrightarrow{\lim }}_i{A}_i)& \simeq H(X,♭{\underrightarrow{\lim }}_i{A}_i)\\ & \simeq H(X,{\underrightarrow{\lim }}_i♭A_i)\\ & \simeq {\underrightarrow{\lim }}_{i}H(X,♭A_i)\end{array},$$\begin{aligned} \mathbf{H}(\mathbf{\Pi}(X), {\lim_\to}_i A_i) & \simeq \mathbf{H}(X, \mathbf{\flat}{\lim_\to}_i A_i) \\ & \simeq \mathbf{H}(X, {\lim_\to}_i \mathbf{\flat} A_i) \\ & \simeq {\lim_\to}_i \mathbf{H}(X, \mathbf{\flat} A_i) \end{aligned} \,,

where in the last step we used that $X$ is small-projective by assumption.

Definition

For $X\in H$ we say that the geometric Postnikov tower of $X$ is the Postnikov tower in an (∞,1)-category of $\Pi (X)$:

$$\Pi (X)\to \cdots \to {\Pi }_2(X)\to {\Pi }_1(X)\to {\Pi }_0(X).$$\mathbf{\Pi}(X) \to \cdots \to \mathbf{\Pi}_2(X) \to \mathbf{\Pi}_1(X) \to \mathbf{\Pi}_0(X) \,.

Universal coverings and geometric Whitehead towers

We discuss an intrinsic notion of Whitehead towers in a locally ∞-connected ∞-connected (∞,1)-topos $H$.

Definition

For $X\in H$ a pointed object, the geometric Whitehead tower of $X$ is the sequence of objects

$$X^{(\mathrm{\infty })}\to \cdots \to X^{(2)}\to X^{(1)}\to X^{(0)}\simeq X$$X^{\mathbf{(\infty)}} \to \cdots \to X^{\mathbf{(2)}} \to X^{\mathbf{(1)}} \to X^{\mathbf{(0)}} \simeq X

in $H$, where for each $n\in \mathbb{N}$ the object $X^{(n+1)}$ is the homotopy fiber of the canonical morphism $X\to {\Pi }_{n+1}X$ to the path n+1-groupoid of $X$.

We call $X^{(n+1)}$ the $(n+1)$-fold universal covering space of $X$.

We write $X^{(\mathrm{\infty })}$ for the homotopy fiber of the untruncated constant path inclusion.

$$X^{(\mathrm{\infty })}\to X\to \Pi (X).$$X^{\mathbf{(\infty)}} \to X \to \mathbf{\Pi}(X) \,.

Here the morphisms $X^{(n+1)}\to X^n$ are those induced from this pasting diagram of (∞,1)-pullbacks

$$\begin{array}{ccc}{X}^{(n)}& \to & *\\ \downarrow & & \downarrow \\ X^{(n-1)}& \to & B^n{\pi }_n(X)& \to & *\\ \downarrow & & \downarrow & & \downarrow \\ X& \to & {\Pi }_n(X)& \to & {\Pi }_{(n-1)}(X)\end{array},$$\array{ X^{\mathbf{(n)}} &\to& * \\ \downarrow && \downarrow \\ X^{\mathbf{(n-1)}} & \to & \mathbf{B}^n \mathbf{\pi}_n(X) &\to& * \\ \downarrow && \downarrow && \downarrow \\ X &\to& \mathbf{\Pi}_n(X) &\to& \mathbf{\Pi}_{(n-1)}(X) } \,,

where the object $B^n{\pi }_n(X)$ is defined as the homotopy fiber of the bottom right morphism.

Proposition

Every object $X\in H$ is covered by objects of the form $X^{(\mathrm{\infty })}$ for different choices of base points in $X$, in the sense that every $X$ is the (∞,1)-colimit over a diagram whose vertices are of this form.

Proof

Consider the diagram

$$\begin{array}{ccc}{\underrightarrow{\lim }}_{s\in \Pi (X)}(i^{*}*)& \to & {\underrightarrow{\lim }}_{s\in \Pi (X)}*\\ {}^{\simeq }\downarrow & & {\downarrow }^{\simeq }\\ X& \stackrel{i}{\to }& \Pi (X)\end{array}.$$\array{ {\lim_\to}_{s \in \Pi(X)} (i^* *) &\to& {\lim_\to}_{s \in \Pi(X)} * \\ {}^{\mathllap{\simeq}}\downarrow && \downarrow^{\mathrlap{\simeq}} \\ X &\stackrel{i}{\to}& \mathbf{\Pi}(X) } \,.

The bottom morphism is the constant path inclusion, the $(\Pi ⊣\mathrm{Disc})$-unit. The right morphism is the equivalence in an (∞,1)-category that is the image under $\mathrm{Disc}$ of the decomposition ${{\lim }_{\to }}_S*\stackrel{\simeq }{\to }S$ of every ∞-groupoid as the (∞,1)-colimit (see there) over itself of the (∞,1)-functor constant on the point.

The left morphism is the (∞,1)-pullback along $i$ of this equivalence, hence itself an equivalence. By universal colimits in the (∞,1)-topos $H$ the top left object is the (∞,1)-colimit over the single homotopy fibers $i^{*}{*}_s$ of the form $X^{(\mathrm{\infty })}$ as indicated.

Proposition

The inclusion $\Pi (i^{*}*)\to \Pi (X)$ of the fundamental ∞-groupoid $\Pi (i^{*}*)$ of each of these objects into $\Pi (X)$ is homotopic to the point.

Proof

We apply $\Pi (-)$ to the above diagram over a single vertex $s$ and attach the $(\Pi ⊣\mathrm{Disc})$-counit to get

$$\begin{array}{ccccc}\Pi (i^{*}*)& \to & & \to & *\\ \downarrow & & & & \downarrow \\ \Pi X& \stackrel{\Pi (i)}{\to }& \Pi \mathrm{Disc}\Pi (X)& \to & \Pi (X)\end{array}.$$\array{ \Pi(i^* *) &\to& &\to& * \\ \downarrow && && \downarrow \\ \Pi X &\stackrel{\Pi(i)}{\to}& \Pi Disc \Pi(X) &\to& \Pi(X) } \,.

Then the bottom morphism is an equivalence by the $(\Pi ⊣\mathrm{Disc})$-zig-zag-identity.

Flat $\mathrm{\infty }$-connections and local systems

We describe for a locally ∞-connected (∞,1)-topos $H$ a canonical intrinsic notion of flat connections on ∞-bundles, flat higher parallel transport and higher local systems.

Write $(\Pi ⊣♭):=(\mathrm{Disc}\Pi ⊣\mathrm{Disc}\Gamma ):H\to H$ for the adjunction given by the path ∞-groupoid. Notice that this comes with the canonical $(\Pi ⊣\mathrm{Disc})$-unit with components

$$X\to \Pi (X)$$X \to \mathbf{\Pi}(X)

and the $(\mathrm{Disc}⊣\Gamma )$-counit with components

$$♭A\to A.$$\mathbf{\flat} A \to A \,.

Definition

For $X,A\in H$ we write

$$H_{\mathrm{flat}}(X,A):=H(\Pi X,A)$$\mathbf{H}_{flat}(X,A) := \mathbf{H}(\mathbf{\Pi}X, A)

and call $H_{\mathrm{flat}}(X,A):={\pi }_0{H}_{\mathrm{flat}}(X,A)$ the flat (nonabelian) differential cohomology of $X$ with coefficients in $A$.

We say a morphism $\nabla :\Pi (X)\to A$ is a flat ∞-connnection on the principal ∞-bundle corresponding to $X\to \Pi (X)\stackrel{\nabla }{\to }A$, or an$A$-local system** on $X$.

The induced morphism

$$H_{\mathrm{flat}}(X,A)\to H(X,A)$$\mathbf{H}_{flat}(X,A) \to \mathbf{H}(X,A)

we say is the forgetful functor that forgets flat connections.

Remark

The object $\Pi (X)$ has the interpretation of the path ∞-groupoid of $X$: it is a cohesive $\mathrm{\infty }$-groupoid whose k-morphisms may be thought of as generated from the $k$-morphisms in $X$ and $k$-dimensional cohesive paths in $X$.

Accordingly a mophism $\mathrm{Pi}(X)\to A$ may be thought of as assigning

• to each point of $X$ a fiber in $A$;

• to each path in $X$ an equivalence between these fibers;

• to each disk in $X$ a 2-equivalalence between these equivaleces associated to its boundary

• and so on.

This we think of as encoding a flat higher parallel transport on $X$, coming from some flat $\mathrm{\infty }$-connection and defining this flat $\mathrm{\infty }$-connection.

Observation

By the $(\Pi ⊣♭)$-adjunction we have a natural equivalence

$$H_{\mathrm{flat}}(X,A)\simeq H(X,♭A).$$\mathbf{H}_{flat}(X,A) \simeq \mathbf{H}(X,\mathbf{\flat}A) \,.

A cocycle $g:X\to A$ for a principal ∞-bundle on $X$ is in the image of

$$H_{\mathrm{flat}}(X,A)\to H(X,A)$$\mathbf{H}_{flat}(X,A) \to \mathbf{H}(X,A)

precisely if there is a lift $\nabla$ in the diagram

$$\begin{array}{ccc}& & ♭A\\ & {}^{\nabla }\nearrow & \downarrow \\ X& \stackrel{g}{\to }& A\end{array}.$$\array{ && \mathbf{\flat}A \\ & {}^{\nabla}\nearrow& \downarrow \\ X &\stackrel{g}{\to}& A } \,.

We call $♭A$ the coefficient object for flat $A$-connections.

Proposition

For $G:=\mathrm{Disc}{G}_0\in H$ a discrete ∞-group the canonical morphism $H_{\mathrm{flat}}(X,BG)\to H(X,BG)$ is an equivalence.

Proof

Since $\mathrm{Disc}$ is a full and faithful (∞,1)-functor we have that the unit $\mathrm{Id}\to \Gamma \mathrm{Disc}$ is a natural equivalence. It follows that on $\mathrm{Disc}{G}_0$ also the counit $\mathrm{Disc}\Gamma \mathrm{Disc}{G}_0\to \mathrm{Disc}{G}_0$ is a weak equivalence (since by the triangle identity we have that $\mathrm{Disc}{G}_0\stackrel{\simeq }{\to }\mathrm{Disc}\Gamma \mathrm{Disc}{G}_0\to \mathrm{Disc}{G}_0$ is the identity).

Remark

This says that for discrete structure ∞-groups $G$ there is an essentially unique flat $\mathrm{\infty }$-connection on any $G$-principal ∞-bundle. Moreover, the further equivalence

$$H(\Pi (X),BG)\simeq H_{\mathrm{flat}}(X,BG)\simeq H(X,BG)$$\mathbf{H}(\mathbf{\Pi}(X), \mathbf{B}G) \simeq \mathbf{H}_{flat}(X, \mathbf{B}G) \simeq \mathbf{H}(X, \mathbf{B}G)

may be read as saying that the $G$-principal $\mathrm{\infty }$-bundle is entirely characterized by the flat higher parallel transport of this unique $\mathrm{\infty }$-connection.

de Rham cohomology

In every locally ∞-connected (∞,1)-topos $H$ there is an intrinsic notion of nonabelian de Rham cohomology.

Definition

For $X\in H$ an object, write ${\Pi }_{\mathrm{dR}}X:=*{\coprod }_X\Pi X$ for the (∞,1)-pushout

$$\begin{array}{ccc}X& \to & *\\ \downarrow & & \downarrow \\ \Pi (X)& \to & {\Pi }_{\mathrm{dR}}X\end{array}.$$\array{ X &\to& * \\ \downarrow && \downarrow \\ \mathbf{\Pi}(X) &\to& \mathbf{\Pi}_{dR}X } \,.

For $*\to A$ any pointed object in $H$, write ${♭}_{\mathrm{dR}}A:*{\prod }_A♭A$ for the (∞,1)-pullback

$$\begin{array}{ccc}{♭}_{\mathrm{dR}}A& \to & ♭A\\ \downarrow & & \downarrow \\ *& \to & A\end{array}.$$\array{ \mathbf{\flat}_{dR} A &\to& \mathbf{\flat} A \\ \downarrow && \downarrow \\ * &\to& A } \,.

Proposition

This construction yields a pair of adjoint (∞,1)-functors

$$({\Pi }_{\mathrm{dR}}⊣{♭}_{\mathrm{dR}}):*/H\stackrel{\stackrel{{\Pi }_{\mathrm{dR}}}{\leftarrow }}{\underset{{♭}_{\mathrm{dR}}}{\to }}H.$$(\mathbf{\Pi}_{dR} \dashv \mathbf{\flat}_{dR} ) : */\mathbf{H} \stackrel{ \overset{\mathbf{\Pi}_{dR}}{\leftarrow} }{ \underset{\mathbf{\flat}_{dR}}{\to} } \mathbf{H} \,.

Proof

We check the defining natural hom-equivalence

$$*/H({\Pi }_{\mathrm{dR}}X,A)\simeq H(X,{♭}_{\mathrm{dR}}A).$${*}/\mathbf{H}(\mathbf{\Pi}_{dR}X,A) \simeq \mathbf{H}(X, \mathbf{\flat}_{dR}A) \,.

The hom-space in the under-(∞,1)-category $*/H$ is (as discussed there), computed by the (∞,1)-pullback

$$\begin{array}{ccc}*/H({\Pi }_{\mathrm{dR}}X,A)& \to & H({\Pi }_{\mathrm{dR}}X,A)\\ \downarrow & & \downarrow \\ *& \stackrel{{\mathrm{pt}}_A}{\to }& H(*,A)\end{array}.$$\array{ */\mathbf{H}(\mathbf{\Pi}_{dR}X, A) &\to& \mathbf{H}(\mathbf{\Pi}_{dR}X, A) \\ \downarrow && \downarrow \\ * &\stackrel{pt_A}{\to}& \mathbf{H}(*,A) } \,.

By the fact that the hom-functor $H(-,-):H^{\mathrm{op}}\times H\to \mathrm{\infty }\mathrm{Grpd}$ preserves limits in both arguments we have a natural equivalence

$$\begin{array}{rl}H({\Pi }_{\mathrm{dR}}X,A)& :=H(*\coprod _X\Pi (X),A)\\ & \simeq H(*,A)\prod _{H(X,A)}H(\Pi (X),A)\end{array}.$$\begin{aligned} \mathbf{H}(\mathbf{\Pi}_{dR} X, A) & := \mathbf{H}( *\coprod_{X} \mathbf{\Pi}(X), A ) \\ & \simeq \mathbf{H}(*,A) \prod_{\mathbf{H}(X,A)} \mathbf{H}(\mathbf{\Pi}(X),A) \end{aligned} \,.

We paste this pullback to the above pullback diagram to obtain

$$\begin{array}{ccccc}*/H({\Pi }_{\mathrm{dR}}X,A)& \to & H({\Pi }_{\mathrm{dR}}X,A)& \to & H(\Pi (X),A)\\ \downarrow & & \downarrow & & \downarrow \\ *& \stackrel{{\mathrm{pt}}_A}{\to }& H(*,A)& \to & H(X,A)\end{array}.$$\array{ */\mathbf{H}(\mathbf{\Pi}_{dR}X, A) &\to& \mathbf{H}(\mathbf{\Pi}_{dR}X, A) &\to& \mathbf{H}(\mathbf{\Pi}(X),A) \\ \downarrow && \downarrow && \downarrow \\ * &\stackrel{pt_A}{\to}& \mathbf{H}(*,A) &\to& \mathbf{H}(X,A) } \,.

By the pasting law for (∞,1)-pullbacks the outer diagram is still a pullback. We may evidently rewrite the bottom composite as in

$$\begin{array}{ccccc}*/H({\Pi }_{\mathrm{dR}}X,A)& \to & & \to & H(\Pi (X),A)\\ \downarrow & & & & \downarrow \\ *& \stackrel{\simeq }{\to }& H(X,*)& \stackrel{({\mathrm{pt}}_A{)}_{*}}{\to }& H(X,A)\end{array}.$$\array{ */\mathbf{H}(\mathbf{\Pi}_{dR}X, A) &\to& &\to& \mathbf{H}(\mathbf{\Pi}(X),A) \\ \downarrow && && \downarrow \\ * &\stackrel{\simeq}{\to}& \mathbf{H}(X,*) &\stackrel{(pt_A)_*}{\to}& \mathbf{H}(X,A) } \,.

This exhibits the hom-space as the pullback

$$\begin{array}{r}*/H({\Pi }_{\mathrm{dR}}(X),A)\simeq H(X,*)\prod _{H(X,A)}H(X,♭A)\end{array},$$\begin{aligned} */\mathbf{H}(\mathbf{\Pi}_{dR}(X),A) \simeq \mathbf{H}(X,*) \prod_{\mathbf{H}(X,A)} \mathbf{H}(X,\mathbf{\flat} A) \end{aligned} \,,

where we used the $(\Pi ⊣♭)$-adjunction. Now using again that $H(X,-)$ preserves pullbacks, this is

$$\cdots \simeq H(X,*\prod _A♭A)\simeq H(X,{♭}_{\mathrm{dR}}A).$$\cdots \simeq \mathbf{H}(X, * \prod_A \mathbf{\flat}A ) \simeq \mathbf{H}(X , \mathbf{\flat}_{dR}A) \,.

Observation

If $H$ is also local, then there is a further right adjoint ${\Gamma }_{\mathrm{dR}}$

$$({\Pi }_{\mathrm{dR}}⊣{♭}_{\mathrm{dR}}⊣{\Gamma }_{\mathrm{dR}}):H\stackrel{\stackrel{{\Pi }_{\mathrm{dR}}}{\to }}{\stackrel{\stackrel{{♭}_{\mathrm{dR}}}{\leftarrow }}{\underset{{\Gamma }_{\mathrm{dR}}}{\to }}}*/H$$(\mathbf{\Pi}_{dR} \dashv \mathbf{\flat}_{dR} \dashv \mathbf{\Gamma}_{dR}) : \mathbf{H} \stackrel{\overset{\mathbf{\Pi}_{dR}}{\to}}{\stackrel{\stackrel{\mathbf{\flat}_{dR}}{\leftarrow}}{\underset{\mathbf{\Gamma}_{dR}}{\to}}} */\mathbf{H}

given by

$${\Gamma }_{\mathrm{dR}}X:=*\coprod _X\Gamma (X),$$\mathbf{\Gamma}_{dR} X {:=} * \coprod_{X} \mathbf{\Gamma}(X) \,,

where $(\Pi ⊣♭⊣\Gamma ):H\to H$ is the triple of adjunctions discussed at Paths.

Proof

This follows by the same kind of argument as above.

Definition

For $X,A\in H$ we write

$$H_{\mathrm{dR}}(X,A):=H({\Pi }_{\mathrm{dR}}X,A)\simeq H(X,{♭}_{\mathrm{dR}}A).$$\mathbf{H}_{dR}(X,A) := \mathbf{H}(\mathbf{\Pi}_{dR}X, A) \simeq \mathbf{H}(X, \mathbf{\flat}_{dR} A) \,.

A cocycle $\omega :X\to {♭}_{\mathrm{dR}}A$ we call an flat $A$-valued differential form on $X$.

We say that $H_{\mathrm{dR}}(X,A):={\pi }_0{H}_{\mathrm{dR}}(X,A)$ is the de Rham cohomology of $X$ with coefficients in $A$.

Observation

A cocycle in de Rham cohomology

$$\omega :{\Pi }_{\mathrm{dR}}X\to A$$\omega : \mathbf{\Pi}_{dR}X \to A

is precisely a flat ∞-connetion on a trivializable $A$-principal $\mathrm{\infty }$-bundle. More precisely, $H_{\mathrm{dR}}(X,A)$ is the homotopy fiber of the forgetful functor from $\mathrm{\infty }$-bundles with flat $\mathrm{\infty }$-connection to $\mathrm{\infty }$-bundles: we have an (∞,1)-pullback

$$\begin{array}{ccc}{H}_{\mathrm{dR}}(X,A)& \to & *\\ \downarrow & & \downarrow \\ H_{\mathrm{flat}}(X,A)& \to & H(X,A)\end{array}.$$\array{ \mathbf{H}_{dR}(X,A) &\to& * \\ \downarrow && \downarrow \\ \mathbf{H}_{flat}(X,A) &\to& \mathbf{H}(X,A) } \,.

Proof

This follows by the fact that the hom-functor $H(X,-)$ preserves the defining (∞,1)-pullback for ${♭}_{\mathrm{dR}}A$.

Just for emphasis, notice the dual description of this situation: by the universal property of the (∞,1)-colimit that defines ${\Pi }_{\mathrm{dR}}X$ we have that $\omega$ corresponds to a diagram

$$\begin{array}{ccc}X& \to & *\\ \downarrow & {⇙}_{\simeq }& \downarrow \\ \Pi (X)& \stackrel{\omega }{\to }& A\end{array}.$$\array{ X &\to& * \\ \downarrow &\swArrow_{\simeq}& \downarrow \\ \mathbf{\Pi}(X) &\stackrel{\omega}{\to}& A } \,.

The bottom horizontal morphism is a flat connection on the $\mathrm{\infty }$-bundle given by the cocycle $X\to \Pi (X)\stackrel{\omega }{\to }A$. The diagram says that this is equivalent to the trivial bundle given by the trivial cocycle $X\to *\to A$.

Proposition

The de Rham cohomology with coefficients in discrete objects is trivial: for all $S\in \mathrm{\infty }\mathrm{Grpd}$ we have

$${♭}_{\mathrm{dR}}\mathrm{Disc}S\simeq *.$$\mathbf{\flat}_{dR} Disc S \simeq * \,.

Proof

Using that in a ∞-connected (∞,1)-topos the functor $\mathrm{Disc}$ is a full and faithful (∞,1)-functor so that the unit $\mathrm{Id}\to \Gamma \mathrm{Disc}$ is an equivalence and using that by the zig-zag identity we have then that the counit component $♭\mathrm{Disc}S:=\mathrm{Disc}\Gamma \mathrm{Disc}S\to \mathrm{Disc}S$ is also an equivalence, we have

$$\begin{array}{rl}{♭}_{\mathrm{dR}}\mathrm{Disc}S& :=*\prod _{\mathrm{Disc}S}♭\mathrm{Disc}S\\ & \simeq *\prod _{\mathrm{Disc}S}\mathrm{Disc}S\\ & \simeq *\end{array},$$\begin{aligned} \mathbf{\flat}_{dR} Disc S & {:=} * \prod_{Disc S} \mathbf{\flat} Disc S \\ & \simeq * \prod_{Disc S} Disc S \\ & \simeq * \end{aligned} \,,

since the pullback of an equivalence is an equivalence.

Proposition

In a cohesive $H$ pieces have points precisely if for all $X\in H$, the de Rham coefficient object ${\Pi }_{\mathrm{dR}}X$ is globally connected in that ${\pi }_{0}H(*,{\Pi }_{\mathrm{dR}}X)=*$.

If $X$ has at least one point (${\pi }_0(\Gamma X)\ne \varnothing$) and is geometrically connected (${\pi }_0(\Pi X)=*$) then ${\Pi }_{\mathrm{dR}}(X)$ is also locally connected: ${\tau }_0{\Pi }_{\mathrm{dR}}X\simeq *\in H$.

Proof

Since $\Gamma$ preserves (∞,1)-colimits in a cohesive $(\mathrm{\infty },1)$-topos we have

$$\begin{array}{rl}H(*,{\Pi }_{\mathrm{dR}}X)& \simeq \Gamma {\Pi }_{\mathrm{dR}}X\\ & \simeq *\coprod _{\Gamma X}\Gamma \Pi X\\ & \simeq *\coprod _{\Gamma X}\Pi X\end{array},$$\begin{aligned} \mathbf{H}(*, \mathbf{\Pi}_{dR}X) & \simeq \Gamma \mathbf{\Pi}_{dR} X \\ & \simeq * \coprod_{\Gamma X} \Gamma \mathbf{\Pi}X \\ & \simeq * \coprod_{\Gamma X} \Pi X \end{aligned} \,,

where in the last step we used that $\mathrm{Disc}$ is a full and faithful, so that there is an equivalence $\Gamma \Pi X:=\Gamma \mathrm{Disc}\Pi X\simeq \Pi X$.

To analyse this (∞,1)pushout we present it by a homotopy pushout in the standard model structure on simplicial sets ${\mathrm{sSet}}_{\mathrm{Quillen}}$. Denoting by $\Gamma X$ and $\Pi X$ any representatives in ${\mathrm{sSet}}_{\mathrm{Quillen}}$ of the objects of the same name in $\mathrm{\infty }\mathrm{Grpd}$, this may be computed by the ordinary pushout in sSet

$$\begin{array}{ccc}\Gamma X& \to & (\Gamma X)\times \Delta [1]\coprod _{\Gamma X}*\\ \downarrow & & \downarrow \\ \Pi X& \to & Q\end{array},$$\array{ \Gamma X &\to& (\Gamma X) \times \Delta[1] \coprod_{\Gamma X} {*} \\ \downarrow && \downarrow \\ \Pi X &\to & Q } \,,

where on the right we have inserted the cone on $\Gamma X$ in order to turn the top morphism into a cofibration. From this ordinary pushout it is clear that the connected components of $Q$ are obtained from those of $\Pi X$ by identifying all those in the image of a connected component of $\Gamma X$. So if the left morphism is surjective on ${\pi }_0$ then ${\pi }_0(Q)=*$. This is precisely the condition that pieces have points in $H$.

For the local analysis we consider the same setup objectwise in the injective model structure on simplicial presheaves $[C^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{inj},\mathrm{loc}}$. For any $U\in C$ we then have the pushout $Q_U$ in

$$\begin{array}{ccc}X(U)& \to & (X(U))\times \Delta [1]\coprod _{X(U)}*\\ \downarrow & & \downarrow \\ \mathrm{sSet}(\Gamma (U),\Pi X)& \to & Q_U\end{array},$$\array{ X(U) &\to & (X(U)) \times \Delta[1] \coprod_{X(U)} {*} \\ \downarrow && \downarrow \\ \mathrm{sSet}(\Gamma(U), \Pi X) & \to & Q_U } \,,

as a model for the value of the simplicial presheaf presenting ${\Pi }_{\mathrm{dR}}(X)$. If $X$ is geometrically connected then ${\pi }_0\mathrm{sSet}(\Gamma (U),\Pi (X))=*$ and hence for the left morphism to be surjective on ${\pi }_0$ it suffices that the top left object is not empty. Since the simplicial set $X(U)$ contains at least the vertices $U\to *\to X$ of which there is by assumption at least one, this is the case.

Remark

In summary this means that in a cohesive $(\mathrm{\infty },1)$-topos the objects ${\Pi }_{\mathrm{dR}}X$ have the abstract properties of pointed geometric de Rham homotopy types.

In the Examples we will see that, indeed, the intrinsic de Rham cohomology $H_{\mathrm{dR}}(X,A):={\pi }_{0}H({\Pi }_{\mathrm{dR}}X,A)$ reproduces ordinary de Rham cohomology in degree $d>1$.

In degree 0 the intrinsic de Rham cohomology is necessrily trivial, while in degree 1 we find that it reproduces closed 1-forms, not divided out by exact forms. This difference to ordinary de Rham cohomology in the lowest two degrees may be interpreted in terms of the obstruction-theoretic meaning of de Rham cohomology by which we essentially characterized it above: we have that the intrinsic $H_{\mathrm{dR}}^n(X,K)$ is the home for the obstructions to flatness of $B^{n-2}K$-principal ∞-bundles. For $n=1$ this are groupoid-principal bundles over the groupoid with $K$ as its space of objects. But the 1-form curvatures of groupoid bundles are not to be regarded modulo exact forms. More details on this are at circle n-bundle with connection.

Exponentiated $\mathrm{\infty }$-Lie algebras

Definition

For a connected object $B\exp (𝔤)$ in $H$ that is geometrically contractible

$$\Pi (B\exp (𝔤))\simeq *$$\Pi (\mathbf{B}\exp(\mathfrak{g})) \simeq *

we call its loop space object $\exp (𝔤):={\Omega }_{*}B\exp (𝔤)$ the Lie integration of an ∞-Lie algebra in $H$.

Definition

Set

$$\exp \mathrm{Lie}:={\Pi }_{\mathrm{dR}}\circ {♭}_{\mathrm{dR}}:*/H\to */H.$$\exp Lie := \mathbf{\Pi}_{dR} \circ \mathbf{\flat}_{dR} : */\mathbf{H} \to */\mathbf{H} \,.

Observation

If $H$ is cohesive, then $\exp \mathrm{Lie}$ is a left adjoint.

Proof

When $H$ is cohesive we have the de Rham triple of adjunction $({\Pi }_{\mathrm{dR}}⊣{♭}_{\mathrm{dR}}⊣{\Gamma }_{\mathrm{dR}})$. Accordingly then $\mathrm{Lie}$ is part of an adjunction

$$(\exp \mathrm{Lie}⊣{\Gamma }_{\mathrm{dR}}{♭}_{\mathrm{dR}}).$$(\exp Lie \dashv \mathbf{\Gamma}_{dR}\mathbf{\flat}_{dR}) \,.

Proposition/Example

For all $X$ the object ${\Pi }_{\mathrm{dR}}(X)$ is geometrically contractible.

Proof

Since on the locally ∞-connected (∞,1)-topos and ∞-connected $H$ the functor $\Pi$ preserves (∞,1)-colimits and the terminal object, we have

$$\begin{array}{rl}\Pi {\Pi }_{\mathrm{dR}}X& :=\Pi (*)\coprod _{\Pi X}\Pi \Pi X\\ & \simeq *\coprod _{\Pi X}\Pi \mathrm{Disc}\Pi X\\ & \simeq *\coprod _{\Pi X}\Pi X& \simeq *\end{array},$$\begin{aligned} \Pi \mathbf{\Pi}_{dR} X & {:=} \Pi (*) \coprod_{\Pi X} \Pi \mathbf{\Pi} X \\ & \simeq * \coprod_{\Pi X} \Pi Disc \Pi X \\ & \simeq * \coprod_{\Pi X} \Pi X & \simeq * \end{aligned} \,,

where we used that in the ∞-connected $H$ the functor $\mathrm{Disc}$ isfull and faithful.

Corollary

We have for every $BG$ that $\exp \mathrm{Lie}BG$ is geometrically contractible.

We shall write $B\exp (𝔤)$ for $\exp \mathrm{Lie}BG$, when the context is clear.

Proposition

Every de Rham cocycle $\omega :{\Pi }_{\mathrm{dR}}X\to BG$ factors through the ∞-Lie algebra of $G$

$$\begin{array}{ccc}& & B\exp (𝔤)\\ & \nearrow & \downarrow \\ {\Pi }_{\mathrm{dR}}X& \stackrel{\omega }{\to }& BG\end{array}.$$\array{ && \mathbf{B}\exp(\mathfrak{g}) \\ & \nearrow & \downarrow \\ \mathbf{\Pi}_{dR}X &\stackrel{\omega}{\to}& \mathbf{B}G } \,.

Proof

By the universality of the counit of $({\Pi }_{\mathrm{dR}}⊣{♭}_{\mathrm{dR}})$ we have that $\omega$ factors through the [[unit of an adjunction|counit]9 $\exp \mathrm{Lie}BG\to BG$.

Therefore instead of speaking of a $G$-valued de Rham cocycle, it is less redundant to speak of an $\exp (𝔤)$-valued de Rham cocycle. In particular we have the following.

Corollary

Every morphism $\exp \mathrm{Lie}BH\to BG$ from an exponentiated $\mathrm{\infty }$-Lie algebra to an $\mathrm{\infty }$-group factors through the exponentiated $\mathrm{\infty }$-Lie algebra of that $\mathrm{\infty }$-group

$$\begin{array}{ccc}B\exp (𝔥)& \to & B\exp (𝔤)\\ & \searrow & \downarrow \\ & & BG\end{array}.$$\array{ \mathbf{B}\exp(\mathfrak{h}) &\to& \mathbf{B}\exp(\mathfrak{g}) \\ & \searrow& \downarrow \\ && \mathbf{B}G } \,.

Proposition

If $H$ is cohesive then we have

$$\exp \mathrm{Lie}\circ \exp \mathrm{Lie}\simeq \exp \mathrm{Lie}\circ \Sigma \circ \Omega .$$\exp Lie \circ \exp Lie \simeq \exp Lie \circ \Sigma \circ \Omega \,.

Proof

First observe that for all $A\in */H$ we have

$$♭{♭}_{\mathrm{dR}}A\simeq *$$\mathbf{\flat} \mathbf{\flat}_{dR} A \simeq *

This follows using

• $♭$ is a right adjoint and hence preserves (∞,1)-pullbacks;

• $♭♭:=\mathrm{Disc}\Gamma \mathrm{Disc}\Gamma \simeq \mathrm{Disc}\Gamma =:♭$ by the fact that $\mathrm{Disc}$ is a full and faithful (∞,1)-functor;

• the counit $♭♭A\to ♭A$ is equivalent to the identity, by the zig-zag-identity of the adjunction and using that equivalences satisfy 2-out-of-3.

by computing

$$\begin{array}{rl}♭{♭}_{\mathrm{dR}}A& *{\times }_{♭A}♭♭A\\ & \simeq *{\times }_{♭A}♭A\\ & \simeq *\end{array},$$\begin{aligned} \mathbf{\flat} \mathbf{\flat}_{dR} A & * \times_{\mathbf{\flat}A} \mathbf{\flat}\mathbf{\flat}A \\ & \simeq * \times_{\mathbf{\flat}A} \mathbf{\flat}A \\ & \simeq * \end{aligned} \,,

using that the (∞,1)-pullback of an equivalence is an equivalence.

From this we deduce that

$${♭}_{\mathrm{dR}}\circ {♭}_{\mathrm{dR}}\simeq {♭}_{\mathrm{dR}}\circ \Omega .$$\mathbf{\flat}_{dR} \circ \mathbf{\flat}_{dR} \simeq \mathbf{\flat}_{dR} \circ \Omega \,.

by computing for all $A\in H$

$$\begin{array}{rl}{♭}_{\mathrm{dR}}\circ {♭}_{\mathrm{dR}}A& \simeq *{\times }_{{♭}_{\mathrm{dR}}A}♭{♭}_{\mathrm{dR}}A\\ & \simeq *{\times }_{{♭}_{\mathrm{dR}}A}*\\ & \simeq {♭}_{\mathrm{dR}}(*{\times }_A*)\\ & \simeq {♭}_{\mathrm{dR}}\Omega A\end{array}.$$\begin{aligned} \mathbf{\flat}_{dR} \circ \mathbf{\flat}_{dR} A & \simeq * \times_{\mathbf{\flat}_{dR} A} \mathbf{\flat}\mathbf{\flat}_{dR} A \\ & \simeq * \times_{\mathbf{\flat}_{dR} A} * \\ & \simeq \mathbf{\flat}_{dR}( * \times_A * ) \\ & \simeq \mathbf{\flat}_{dR} \Omega A \end{aligned} \,.

Also observe that by a proposition above we have

$${♭}_{\mathrm{dR}}\Pi X\simeq *$$\mathbf{\flat}_{dR} \mathbf{\Pi} X \simeq *

for all $X\in H$.

Finally to obtain $\exp \mathrm{Lie}\circ \exp \mathrm{Lie}$ we do one more computation of this sort, using that

• $\exp \mathrm{Lie}:={\Pi }_{\mathrm{dR}}{♭}_{\mathrm{dR}}$ preserves the terminal object (since $H$ is locally ∞-connected and ∞-connected)

• and that it is a left adjoint by the above, since $H$ is assumed to be cohesive.

We compute:

$$\begin{array}{rl}\exp \mathrm{Lie}\exp \mathrm{Lie}A& \simeq \exp \mathrm{Lie}{\Pi }_{\mathrm{dR}}{♭}_{\mathrm{dR}}A\\ & \simeq *\coprod _{\exp \mathrm{Lie}{♭}_{\mathrm{dR}}A}\exp \mathrm{Lie}\Pi {♭}_{\mathrm{dR}}A\\ & \simeq *\coprod _{\exp \mathrm{Lie}{♭}_{\mathrm{dR}}A}{\Pi }_{\mathrm{dR}}{♭}_{\mathrm{dR}}\Pi {♭}_{\mathrm{dR}}A\\ & \simeq *\coprod _{\exp \mathrm{Lie}{♭}_{\mathrm{dR}}A}*\\ & \simeq *\coprod _{{\Pi }_{\mathrm{dR}}{♭}_{\mathrm{dR}}{♭}_{\mathrm{dR}}A}*\\ & \simeq *\coprod _{{\Pi }_{\mathrm{dR}}{♭}_{\mathrm{dR}}\Omega A}*\\ & \simeq *\coprod _{\exp \mathrm{Lie}\Omega A}*\\ & \simeq \exp \mathrm{Lie}(*\coprod _{\Omega A}*)\\ & \simeq \exp \mathrm{Lie}\Sigma \Omega A\end{array}.$$\begin{aligned} \exp Lie \exp Lie A & \simeq \exp Lie \mathbf{\Pi}_{dR} \mathbf{\flat}_{dR} A \\ & \simeq * \coprod_{\exp Lie \mathbf{\flat}_{dR} A} \exp Lie \mathbf{\Pi} \mathbf{\flat}_{dR} A \\ & \simeq * \coprod_{\exp Lie \mathbf{\flat}_{dR} A} \mathbf{\Pi}_{dR} \mathbf{\flat}_{dR} \mathbf{\Pi} \mathbf{\flat}_{dR} A \\ & \simeq * \coprod_{\exp Lie \mathbf{\flat}_{dR} A} * \\ & \simeq * \coprod_{\mathbf{\Pi}_{dR} \mathbf{\flat}_{dR} \mathbf{\flat}_{dR} A} * \\ & \simeq * \coprod_{\mathbf{\Pi}_{dR} \mathbf{\flat}_{dR} \Omega A} * \\ & \simeq * \coprod_{\exp Lie \Omega A} * \\ & \simeq \exp Lie ( * \coprod_{\Omega A} * ) \\ & \simeq \exp Lie \Sigma \Omega A \end{aligned} \,.

Maurer-Cartan forms and curvature characteristic forms

In the intrinsic de Rham cohomology of a locally ∞-connected ∞-connected there exist canonical cocycles that we may identify with Maurer-Cartan forms and with universal curvature characteristic forms.

Definition

For $G\in H$ an ∞-group, write

$$\theta :G\to {♭}_{\mathrm{dR}}BG$$\theta : G \to \mathbf{\flat}_{dR} \mathbf{B}G

for the $𝔤$-valued de Rham cocycle on $G$ which is induced by the (∞,1)-pullback pasting

$$\begin{array}{ccc}G& \to & *\\ {}^{\theta }\downarrow & & \downarrow \\ {♭}_{\mathrm{dR}}BG& \to & ♭BG\\ \downarrow & & \downarrow \\ *& \to & BG\end{array}$$\array{ G &\to& * \\ {}^{\mathllap{\theta}}\downarrow && \downarrow \\ \mathbf{\flat}_{dR} \mathbf{B}G &\to& \mathbf{\flat}\mathbf{B}G \\ \downarrow && \downarrow \\ * &\to& \mathbf{B}G }

and the above proposition.

We call $\theta$ the Maurer-Cartan form on $G$.

Remark

By postcomposition the Maurer-Cartan form sends $G$-valued functions on $X$ to $𝔤$-valued forms on $X$

$${\theta }_{*}:H(X,G)\to H_{\mathrm{dR}}^1(X,G).$$\theta_* : \mathbf{H}(X,G) \to \mathbf{H}^1_{dR}(X,G) \,.

Definition

For $G=B^{n}A$ an Eilenberg-MacLane object, we also write

$$\mathrm{curv}:B^{n}A\to {♭}_{\mathrm{dR}}{B}^{n+1}A$$curv : \mathbf{B}^n A \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1} A

for the intrinsic Maurer-Cartan form and call this the intrinsic universal curvature characteristic form on $B^{n}A$.

Differential cohomology

In every locally ∞-connected ∞-connected (∞,1)-topos there is an intrinsic notion of ordinary differential cohomology.

Fix a 0-truncated abelian group object $A\in {\tau }_{\le 0}H\hookrightarrow H$. For all $n\in N$ we have then the Eilenberg-MacLane object $B^{n}A$.

Definition

For $X\in H$ any object and $n\ge 1$ write

$$H_{\mathrm{diff}}(X,B^{n}A):=H(X,B^{n}A)\prod _{H_{\mathrm{dR}}(X,B^{n}A)}{H}_{\mathrm{dR}}^{n+1}(X,A)$$\mathbf{H}_{diff}(X,\mathbf{B}^n A) := \mathbf{H}(X,\mathbf{B}^n A) \prod_{\mathbf{H}_{dR}(X,\mathbf{B}^n A)} H_{dR}^{n+1}(X,A)

for the cocycle $\mathrm{\infty }$-groupoid of twisted cohomology, def. \ref{TwistedCohomologyInOvertopos}, of $X$ with coefficients in $A$ and with twist given by the canonical curvature characteristic morphism $\mathrm{curv}:B^{n}A\to {♭}_{\mathrm{dR}}{B}^{n+1}A$. This is the (∞,1)-pullback

$$\begin{array}{ccc}{H}_{\mathrm{diff}}(X,B^{n}A)& \stackrel{[F]}{\to }& H_{\mathrm{dR}}^{n+1}(X,A)\\ {}^{\eta }\downarrow & & \downarrow \\ H(X,B^{n}A)& \stackrel{{\mathrm{curv}}_{*}}{\to }& H_{\mathrm{dR}}(X,B^{n+1}A)\end{array},$$\array{ \mathbf{H}_{diff}(X,\mathbf{B}^n A) &\stackrel{[F]}{\to}& H_{dR}^{n+1}(X,A) \\ {}^{\mathllap{\eta}}\downarrow && \downarrow \\ \mathbf{H}(X,\mathbf{B}^n A) &\stackrel{curv_*}{\to}& \mathbf{H}_{dR}(X,\mathbf{B}^{n+1} A) } \,,

where the right vertical morphism $H_{\mathrm{dR}}^{n+1}(X)={\pi }_0{H}_{\mathrm{dR}}(X,B^{n+1}A)\to H_{\mathrm{dR}}(X,B^{n+1}A)$ is any choice of cocycle representative for each cohomology class: a choice of point in every connected component.

We call

$$H_{\mathrm{diff}}^n(X,A):={\pi }_0{H}_{\mathrm{diff}}(X,B^{n}A)$$H_{diff}^n(X,A) {:=} \pi_0 \mathbf{H}_{diff}(X, \mathbf{B}^{n} A)

the degree-$n$ differential cohomology of $X$ with coefficient in $A$.

For $\nabla \in H_{\mathrm{diff}}(X,B^{n}A)$ a cocycle, we call

• $[\eta (\nabla )]\in H^n(X,A)$ the class of the underlying $B^{n-1}A$-principal ∞-bundle;

• $F(\nabla )\in H_{\mathrm{dR}}^{n+1}(X,A)$ the curvature class of $c$.

We also say $\nabla$ is an $\mathrm{\infty }$-connection on $\eta (\nabla )$ (see below).

Observation

The differential cohomology $H_{\mathrm{diff}}^n(X,A)$ does not depend on the choice of morphism $H_{\mathrm{dR}}^{n+1}(X,A)\to H_{\mathrm{dR}}(X,B^{n+1}A)$ (as long as it is an isomorphism on ${\pi }_0$, as required). In fact, for different choices the corresponding cocycle ∞-groupoids $H_{\mathrm{diff}}(X,B^{n}A)$ are equivalent.

Proof

The set

$$H_{\mathrm{dR}}^{n+1}(X,A)=\coprod _{H_{\mathrm{dR}}^{n+1}(X,A)}*$$H_{dR}^{n+1}(X,A) = \coprod_{H_{dR}^{n+1}(X,A)} {*}

is, as a 0-truncated ∞-groupoid, an (∞,1)-coproduct of the terminal object in ∞Grpd. By universal colimits in this (∞,1)-topos we have that (∞,1)-colimits are preserved by (∞,1)-pullbacks, so that $H_{\mathrm{diff}}(X,B^{n}A)$ is the coproduct

$$H_{\mathrm{diff}}(X,B^{n}A)\simeq \coprod _{H_{\mathrm{dR}}^{n+1}(X,A)}(H(X,B^{n}A)\prod _{H_{\mathrm{dR}}(X,B^{n+1}A)}*)$$\mathbf{H}_{diff}(X,\mathbf{B}^n A) \simeq \coprod_{H_{dR}^{n+1}(X,A)} \left( \mathbf{H}(X,\mathbf{B}^n A) \prod_{\mathbf{H}_{dR}(X,\mathbf{B}^{n+1}A)} {*} \right)

of the homotopy fibers of ${\mathrm{curv}}_{*}$ over each of the chosen points $*\to H_{\mathrm{dR}}(X,B^{n+1}A)$. These homotopy fibers only depend, up to equivalence, on the connected component over which they are taken.

Proposition

When restricted to vanishing curvature, differential cohomology coincides with flat differential cohomology:

$$H_{\mathrm{diff}}^n(X,A){\mid }_{[F]=0}\simeq H_{\mathrm{flat}}(X,B^{n}A).$$H_{diff}^n (X,A)|_{[F] = 0} \simeq H_{flat}(X,\mathbf{B}^n A) \,.

Moreover this is true at the level of cocycle ∞-groupoids

$$(H_{\mathrm{diff}}(X,B^{n}A)\prod _{H_{\mathrm{dR}}^{n+1}(X,A)}\{[F]=0\})\simeq H_{\mathrm{flat}}(X,B^{n}A).$$\left( \mathbf{H}_{diff}(X, \mathbf{B}^n A) \prod_{H_{dR}^{n+1}(X,A)} \{[F] = 0\} \right) \simeq \mathbf{H}_{flat}(X,\mathbf{B}^n A) \,.

Proof

By the pasting law for (∞,1)-pullbacks the claim is equivalently that we have a an $(\mathrm{\infty },1)$-pullback diagram

$$\begin{array}{ccc}{H}_{\mathrm{flat}}(X,B^{n}A)& \to & *\\ \downarrow & & {\downarrow }^{\{[F]=0\}}\\ H_{\mathrm{diff}}(X,B^{n}A)& \stackrel{[F]}{\to }& H_{\mathrm{dR}}^{n+1}(X,A)\\ {}^{\eta }\downarrow & & \downarrow \\ H(X,B^{n}A)& \stackrel{{\mathrm{curv}}_{*}}{\to }& H_{\mathrm{dR}}(X,B^{n+1}A)\end{array}.$$\array{ \mathbf{H}_{flat}(X, \mathbf{B}^n A) &\to& {*} \\ \downarrow && \downarrow^{\mathrlap{\{[F] = 0\}}} \\ \mathbf{H}_{diff}(X,\mathbf{B}^n A) &\stackrel{[F]}{\to}& H_{dR}^{n+1}(X,A) \\ {}^{\mathllap{\eta}}\downarrow && \downarrow \\ \mathbf{H}(X,\mathbf{B}^n A) &\stackrel{curv_*}{\to}& \mathbf{H}_{dR}(X,\mathbf{B}^{n+1} A) } \,.

By definition of flat cohomology and of intrinsic de Rham cohomology in $H$, the outer rectangle is

$$\begin{array}{ccc}H(X,♭B^{n}A)& \to & *\\ \downarrow & & \downarrow \\ H(X,B^{n}A)& \stackrel{{\mathrm{curv}}_{*}}{\to }& H(X,{♭}_{\mathrm{dR}}{B}^{n+1}A)\end{array}.$$\array{ \mathbf{H}(X,\mathbf{\flat}\mathbf{B}^n A) &\to& {*} \\ \downarrow && \downarrow \\ \mathbf{H}(X, \mathbf{B}^n A) &\stackrel{curv_*}{\to}& \mathbf{H}(X, \mathbf{\flat}_{dR}\mathbf{B}^{n+1} A) } \,.

Since the hom-functor $H(X,-)$ preserves (∞,1)-limits this is a pullback if

$$\begin{array}{ccc}♭B^{n}A& \to & *\\ \downarrow & & \downarrow \\ B^{n}A& \stackrel{\mathrm{curv}}{\to }& {♭}_{\mathrm{dR}}{B}^{n+1}A\end{array}$$\array{ \mathbf{\flat} \mathbf{B}^n A &\to& * \\ \downarrow && \downarrow \\ \mathbf{B}^n A &\stackrel{curv}{\to}& \mathbf{\flat}_{dR} \mathbf{B}^{n+1} A }

is. Indeed, this is one step in the fiber sequence

$$\cdots \to ♭B^{n}A\to B^{n}A\stackrel{\mathrm{curv}}{\to }{♭}_{\mathrm{dR}}{B}^{n+1}A\to ♭B^{n+1}A\to B^{n+1}A$$\cdots \to \mathbf{\flat} \mathbf{B}^n A \to \mathbf{B}^n A \stackrel{curv}{\to} \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A \to \mathbf{\flat} \mathbf{B}^{n+1} A \to \mathbf{B}^{n+1} A

that defines $\mathrm{curv}$ (using that $♭$ preserves limits and hence looping and delooping)

Proposition

The differential cohomology group $H_{\mathrm{diff}}^n(X,A)$ fits into a short exact sequence of abelian groups

$$0\to H_{\mathrm{dR}}^n(X,A)/H^{n-1}(X,A)\to H_{\mathrm{diff}}^n(X,A)\to H^n(X,A)\to 0.$$0 \to H_{dR}^n(X,A)/H^{n-1}(X,A) \to H_{diff}^n(X,A) \to H^n(X,A) \to 0 \,.

Proof

This is a general statement about the definition of twisted cohomology. We claim that for all $n\ge 1$ we have a fiber sequence

$$H(X,B^{n-1}A)\to H_{\mathrm{dR}}(X,B^{n}A)\to H_{\mathrm{diff}}(X,B^{n}A)\to H(X,B^{n}A)$$\mathbf{H}(X, \mathbf{B}^{n-1}A) \to \mathbf{H}_{dR}(X, \mathbf{B}^n A) \to \mathbf{H}_{diff}(X, \mathbf{B}^n A) \to \mathbf{H}(X, \mathbf{B}^n A)

in ∞Grpd. This implies the short exact sequence using that by construction the last morphism is surjective on connected components (because in the defining $(\mathrm{\infty },1)$-pullback for $H_{\mathrm{diff}}$ the right vertical morphism is by assumption surjective on connected components).

To see that we do have the fiber sequence as claimed consider the pasting composite of (∞,1)-pullbacks

$$\begin{array}{ccccc}{H}_{\mathrm{dR}}(X,B^{n-1}A)& \to & H_{\mathrm{diff}}(X,B^{n}A)& \to & H_{\mathrm{dR}}(X,B^{n+1}A)\\ \downarrow & & \downarrow & & \downarrow \\ *& \to & H(X,B^{n}A)& \stackrel{\mathrm{curv}}{\to }& H_{\mathrm{dR}}(X,B^{n+1}A)\end{array}.$$\array{ \mathbf{H}_{dR}(X,\mathbf{B}^{n-1} A) &\to& \mathbf{H}_{diff}(X,\mathbf{B}^n A) &\to& H_{dR}(X, \mathbf{B}^{n+1} A) \\ \downarrow && \downarrow && \downarrow \\ {*} &\to& \mathbf{H}(X, \mathbf{B}^n A) &\stackrel{curv}{\to}& \mathbf{H}_{dR}(X, \mathbf{B}^{n+1} A) } \,.

The square on the right is a pullback by the above definition. Since also the square on the left is assumed to be an $(\mathrm{\infty },1)$-pullback it follows by the pasting law for (∞,1)-pullbacks that the top left object is the $(\mathrm{\infty },1)$-pullback of the total rectangle diagram. That total diagram is

$$\begin{array}{ccc}\Omega H(X,{♭}_{\mathrm{dR}}{B}^{n+1}A)& \to & H(X,{♭}_{\mathrm{dR}}{B}^{n+1}A)\\ \downarrow & & \downarrow \\ *& \to & H(X,{♭}_{\mathrm{dR}}{B}^{n+1}A)\end{array},$$\array{ \Omega \mathbf{H}(X, \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A) &\to& H(X,\mathbf{\flat}_{dR} \mathbf{B}^{n+1} A) \\ \downarrow && \downarrow \\ * &\to& \mathbf{H}(X,\mathbf{\flat}_{dR} \mathbf{B}^{n+1} A) } \,,

because, as before, this $(\mathrm{\infty },1)$-pullback is the coproduct of the homotopy fibers, and they are empty over the connected components not in the image of the bottom morphism and are the loop space object over the single connected component that is in the image.

Finally using that (as discussed at cohomology and at fiber sequence)

$$\Omega H(X,{♭}_{\mathrm{dR}}{B}^{n+1}A)\simeq H(X,\Omega {♭}_{\mathrm{dR}}{B}^{n+1}A)$$\Omega \mathbf{H}(X,\mathbf{\flat}_{dR} \mathbf{B}^{n+1}A) \simeq \mathbf{H}(X,\Omega \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A)

and

$$\Omega {♭}_{\mathrm{dR}}{B}^{n+1}A\simeq {♭}_{\mathrm{dR}}\Omega B^{n+1}A$$\Omega \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A \simeq \mathbf{\flat}_{dR} \Omega \mathbf{B}^{n+1}A

since both $H(X,-)$ as well as ${♭}_{\mathrm{dR}}$ preserve (∞,1)-limits and hence formation of loop space objects, the claim follows.

Remark

This is essentially the short exact sequence whose form is familiar from the traditional definition of ordinary differential cohomology only up to the following slight nuances in notation:

1. The cohomology groups of the short exact sequence above denote the groups obtained in the given (∞,1)-topos $H$, not in Top. Notably for $H=$ ∞LieGrpd, $A=U(1)=ℝ/\mathbb{Z}$ the circle group and $\mid X\mid \in \mathrm{Top}$ the geometric realization of a paracompact manifold $X$, we have that $H^n(X,ℝ/\mathbb{Z})$ above is $H_{\mathrm{sing}}^{n+1}(\mid \Pi X\mid ,\mathbb{Z})$.

2. The fact that on the left of the short exact sequence for differential cohomology we have the de Rham cohomology set $H_{\mathrm{dR}}^n(X,A)$ instead of something like the set of all flat forms as familiar from ordinary differential cohomology is because the latter has no intrinsic meaning but depends on a choice of model. After fixing a specific presentation of $H$ by a model category $C$ we can consider instead of $H_{\mathrm{dR}}^{n+1}(X,A)\to H_{\mathrm{dR}}(X,B^{n+1}A)$ the inclusion of the set of objects ${\Omega }_{\mathrm{cl}}^{n+1}(X,A):=ℝ{\mathrm{Hom}}_C(X,B^{n+1}A{)}_0\hookrightarrow ℝ{\mathrm{Hom}}_C(X,B^{n+1}A)$. However, by the above observation this only adds multiple copies of the homotopy types of the connected components of $H_{\mathrm{diff}}(X,B^{n}A)$.

Chern-Weil homomorphism and $\mathrm{\infty }$-connections

Induced by the intrinsic differential cohomology in any ∞-connected and locally ∞-connected (∞,1)-topos is an intrinsic notion of Chern-Weil homomorphism.

Let $A$ be the chosen abelian ∞-group as above. Recall the universal curvature characteristic class

$$\mathrm{curv}:B^{n}A\to {♭}_{\mathrm{dR}}{B}^{n+1}A$$curv : \mathbf{B}^n A \to \mathbf{\flat}_{dR}\mathbf{B}^{n+1}A

for all $n\ge 1$.

Definition

For $G$ an ∞-group and

$$c:BG\to B^{n}A$$\mathbf{c} : \mathbf{B}G \to \mathbf{B}^n A

a representative of a characteristic class $[c]\in H^n(BG,A)$ we say that the composite

$$c_{\mathrm{dR}}:BG\stackrel{c}{\to }{B}^{n}A\stackrel{\mathrm{curv}}{\to }{♭}_{\mathrm{dR}}{B}^{n+1}A$$\mathbf{c}_{dR} : \mathbf{B}G \stackrel{\mathbf{c}}{\to} \mathbf{B}^n A \stackrel{curv}{\to} \mathbf{\flat}_{dR} \mathbf{B}^{n+1} A

represents the corresponding differential characteristic class or curvature characteristic class $[c_{\mathrm{dR}}]\in H_{\mathrm{dR}}^{n+1}(BG,A)$.

The induced map on cohomology

$$(c_{\mathrm{dR}}{)}_{*}:H^1(-,G)\to H_{\mathrm{dR}}^{n+1}(-,A)$$(\mathbf{c}_{dR})_* : H^1(-,G) \to H^{n+1}_{dR}(-,A)

we call the (unrefined) ∞-Chern-Weil homomorphism induced by $c$.

The following construction universally lifts the $\mathrm{\infty }$-Chern-Weil homomorphism from taking values in intrinsic de Rham cohomology to values in intrinsic differential cohomology.

Definition

For $X\in H$ any object, define the ∞-groupoid $H_{\mathrm{conn}}(X,BG)$ as the (∞,1)-pullback

$$\begin{array}{ccc}{H}_{\mathrm{conn}}(X,BG)& \stackrel{({\hat{c}}_i{)}_i}{\to }& \prod _{[c_i]\in H^{n_i}(BG,A);i\ge 1}{H}_{\mathrm{diff}}(X,B^{n_i}A)\\ {}^{\eta }\downarrow & & \downarrow \\ H(X,BG)& \stackrel{(c_i{)}_i}{\to }& \prod _{[c_i]\in H^{n_i}(BG,A);i\ge 1}H(X,B^{n_i}A)\end{array}.$$\array{ \mathbf{H}_{conn}(X, \mathbf{B}G) &\stackrel{(\hat \mathbf{c}_i)_i}{\to}& \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} \mathbf{H}_{diff}(X,\mathbf{B}^{n_i} A) \\ {}^{\mathllap{\eta}}\downarrow && \downarrow \\ \mathbf{H}(X, \mathbf{B}G) &\stackrel{( \mathbf{c}_i)_i}{\to}& \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} \mathbf{H}(X,\mathbf{B}^{n_i} A) } \,.

We say

• a cocycle in $\nabla \in H_{\mathrm{conn}}(X,BG)$ is an ∞-connection

• on the principal ∞-bundle $\eta (\nabla )$;

• a morphism in $H_{\mathrm{conn}}(X,BG)$ is a gauge transformation of connections;

• for each $[c]n{H}^n(BG,A)$ the morphism

  $$[\hat{c}]:H_{\mathrm{conn}}(X,BG)\to H_{\mathrm{diff}}^n(X,A)$$[\hat \mathbf{c}] : H_{conn}(X,\mathbf{B}G) \to H_{diff}^n(X, A)

  is the (full/refined) ∞-Chern-Weil homomorphism induced by the characteristic class $[c]$.

Observation

Under the curvature projection $[F]:H_{\mathrm{diff}}^n(X,A)\to H_{\mathrm{dR}}^{n+1}(X,A)$ the refined Chern-Weil homomorphism for $c$ projects to the unrefined Chern-Weil homomorphism.

Proof

This is due to the existence of the pasting composite

$$\begin{array}{ccccc}{H}_{\mathrm{conn}}(X,BG)& \stackrel{({\hat{c}}_i{)}_i}{\to }& \prod _{[c_i]\in H^{n_i}(BG,A);i\ge 1}{H}_{\mathrm{diff}}(X,B^{n_i}A)& \stackrel{[F]}{\to }& \prod _{[c_i]\in H^{n_i}(BG,A);i\ge 1}{H}_{\mathrm{dR}}^{n_i+1}(X,A)\\ {}^{\eta }\downarrow & & \downarrow & & \downarrow \\ H(X,BG)& \stackrel{(c_i{)}_i}{\to }& \prod _{[c_i]\in H^{n_i}(BG,A);i\ge 1}H(X,B^{n_i}A)& \stackrel{{\mathrm{curv}}_{*}}{\to }& \prod _{[c_i]\in H^{n_i}(BG,A);i\ge 1}{H}_{\mathrm{dR}}(X,B^{n_i+1},A)\end{array}$$\array{ \mathbf{H}_{conn}(X, \mathbf{B}G) &\stackrel{(\hat \mathbf{c}_i)_i}{\to}& \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} \mathbf{H}_{diff}(X,\mathbf{B}^{n_i} A) &\stackrel{[F]}{\to}& \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} H_{dR}^{n_i+1}(X,A) \\ {}^{\mathllap{\eta}}\downarrow && \downarrow && \downarrow \\ \mathbf{H}(X, \mathbf{B}G) &\stackrel{(\mathbf{c}_i)_i}{\to}& \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} \mathbf{H}(X,\mathbf{B}^{n_i} A) &\stackrel{curv_*}{\to}& \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} \mathbf{H}_{dR}(X, \mathbf{B}^{n_i+1},A) }

of the defining $(\mathrm{\infty },1)$-pullback for $H_{\mathrm{conn}}(X,BG)$ with the products of the defining $(\mathrm{\infty },1)$-pullbacks for the $H_{\mathrm{diff}}(X,B^{n_i}A)$.

Higher holonomy and Chern-Simons functional

The notion of intrinsic ∞-connections in a cohesive $(\mathrm{\infty },1)$-topos induces a notion of higher holonomy and Chern-Simons functionals.

Definition

We say an object $\Sigma \in H$ has cohomological dimension $\le n\in \mathbb{N}$ if for all $n$-connected coefficient objects and $(n++1)$-truncated objects $B^{n+1}A$ the corresponding cohomology on $\Sigma$ is trivial

$$H(\Sigma ,B^{n+1}A)\simeq *.$$H(\Sigma, \mathbf{B}^{n+1}A ) \simeq * \,.

Let $\dim (\Sigma )$ be the maximum $n$ for which this is true.

Observation

If $\Sigma$ has cohomological dimension $\le n$ then its intrinsic de Rham cohomology vanishes in degree $k>n$

$$H_{\mathrm{dR}}^{k>n}(\Sigma ,A)\simeq *.$$H_{dR}^{k \gt n}(\Sigma, A) \simeq * \,.

Proof

Since $♭$ is a right adjoint it preserves delooping and hence $♭B^{k}A\simeq B^k♭A$. It follows that

$$\begin{array}{rl}{H}_{\mathrm{dR}}^k(\Sigma ,A)& :={\pi }_{0}H(\Sigma ,{♭}_{\mathrm{dR}}{B}^{k}A)\\ & \simeq {\pi }_{0}H(\Sigma ,*\prod _{B^{k}A}{B}^k♭A)\\ & \simeq {\pi }_0(H(\Sigma ,*)\prod _{H(\Sigma ,B^{k}A)}H(\Sigma ,B^k♭A))\\ & \simeq {\pi }_0(*)\end{array}.$$\begin{aligned} H_{dR}^{k}(\Sigma,A) & := \pi_0 \mathbf{H}(\Sigma, \mathbf{\flat}_{dR} \mathbf{B}^k A) \\ & \simeq \pi_0 \mathbf{H}(\Sigma, * \prod_{\mathbf{B}^k A} \mathbf{B}^k \mathbf{\flat}A) \\ & \simeq \pi_0 \left( \mathbf{H}(\Sigma,*) \prod_{\mathbf{H}(\Sigma, \mathbf{B}^k A)} \mathbf{H}(\Sigma, \mathbf{B}^k \mathbf{\flat}A) \right) \\ & \simeq \pi_0 (*) \end{aligned} \,.

Let now again $A$ be fixed as above.

Definition

Let $\Sigma \in H$, $n\in N$ with $\dim \Sigma \le n$.

We say that the composite

$${\int }_{\Sigma }:H_{\mathrm{flat}}(\Sigma ,B^{n}A)\stackrel{\simeq }{\to }\mathrm{\infty }\mathrm{Gprd}(\Pi (\Sigma ),\Pi (B^{n}A))\stackrel{{\tau }_{\le n-\dim (\Sigma )}}{\to }{\tau }_{n-\dim (\Sigma )}\mathrm{\infty }\mathrm{Gprd}(\Pi (\Sigma ),\Pi (B^{n}A))$$\int_\Sigma : \mathbf{H}_{flat}(\Sigma, \mathbf{B}^n A) \stackrel{\simeq}{\to} \infty Gprd(\Pi(\Sigma), \Pi(\mathbf{B}^n A)) \stackrel{\tau_{\leq n-dim(\Sigma)}}{\to} \tau_{n-dim(\Sigma)} \infty Gprd(\Pi(\Sigma), \Pi(\mathbf{B}^n A))

of the adjunction equivalence followed by truncation is the flat holonomy operation on flat $\mathrm{\infty }$-connections.

More generally, let

• $\nabla \in H_{\mathrm{diff}}(X,B^{n}A)$ be a differential coycle on some $X\in H$

• $\varphi :\Sigma \to X$ a morphism.

Write

$${\varphi }^{*}:H_{\mathrm{diff}}(X,B^{n+1}A)\to H_{\mathrm{diff}}(\Sigma ,B^{n}A)\simeq H_{\mathrm{flat}}(\Sigma ,B^{n}A)$$\phi^* : \mathbf{H}_{diff}(X, \mathbf{B}^{n+1} A) \to \mathbf{H}_{diff}(\Sigma, \mathbf{B}^n A) \simeq \mathbf{H}_{flat}(\Sigma, \mathbf{B}^n A)

(using the above proposition) for the morphism on $(\mathrm{\infty },1)$-pullbacks induced by the morphism of diagrams

$$\begin{array}{ccccc}H(X,B^{n}A)& \to & H_{\mathrm{dR}}(X,B^{n+1}A)& \leftarrow & H_{\mathrm{dR}}^{n+1}(X,A)\\ {\downarrow }^{{\varphi }^{*}}& & {\downarrow }^{{\varphi }^{*}}& & \downarrow \\ H(\Sigma ,B^{n}A)& \to & H_{\mathrm{dR}}(X,B^{n+1}A)& \leftarrow & *\end{array}$$\array{ \mathbf{H}(X, \mathbf{B}^n A) &\to& \mathbf{H}_{dR}(X, \mathbf{B}^{n+1} A) &\leftarrow& H_{dR}^{n+1}(X, A) \\ \downarrow^{\mathrlap{\phi^*}} && \downarrow^{\mathrlap{\phi^*}} && \downarrow \\ \mathbf{H}(\Sigma, \mathbf{B}^n A) &\to& \mathbf{H}_{dR}(X, \mathbf{B}^{n+1} A) &\leftarrow& * }

The holonomomy of $\nabla$ over $\sigma$ is the flat holonomy of ${\varphi }^{*}\nabla$

$${\int }_{\varphi }\nabla :={\int }_{\Sigma }{\varphi }^{*}\nabla .$$\int_\phi \nabla := \int_{\Sigma} \phi^* \nabla \,.

Definition

Let $\Sigma \in H$ be of cohomological dimension $\dim \Sigma =n\in \mathbb{N}$ and let $c:X\to B^{n}A$ a representative of a characteristic class $[c]\in H^n(X,A)$ for some object $X$. We say that the composite

$$\exp (S_c(-)):H(\Sigma ,X)\stackrel{\hat{c}}{\to }{H}_{\mathrm{diff}}(\Sigma ,B^{n}A)\stackrel{\simeq }{\to }{H}_{\mathrm{flat}}(\Sigma ,B^{n}A)\stackrel{{\int }_{\Sigma }}{\to }{\tau }_{\le 0}\mathrm{\infty }\mathrm{Grpd}(\Pi (\Sigma ),\Pi B^{n}A)$$\exp(S_{\mathbf{c}}(-)) : \mathbf{H}(\Sigma, X) \stackrel{\hat \mathbf{c}}{\to} \mathbf{H}_{diff}(\Sigma, \mathbf{B}^n A) \stackrel{\simeq}{\to} \mathbf{H}_{flat}(\Sigma, \mathbf{B}^n A) \stackrel{\int_\Sigma}{\to} \tau_{\leq 0} \infty Grpd(\Pi(\Sigma), \Pi \mathbf{B}^n A)

where $\hat{c}$ denotes the refined Chern-Weil homomorphism induced by $c$, is the extended Chern-Simons functional induced by $c$ on $\Sigma$.

Remark

In the language of sigma-model quantum field theory the ingredients of this definition have the following interpretation

• $\Sigma$ is the worldvolume of a fundamental $(\dim \Sigma -1)$-brane ;

• $X$ is the target space;

• $\hat{c}$ is the background gauge field on $X$;

• $H_{\mathrm{conn}}(\Sigma ,X)$ is the space of worldvolume field configurations $\varphi :\Sigma \to X$ or trajectories of the brane in $X$;

• $\exp (S_c(\varphi ))={\int }_{\Sigma }{\varphi }^{*}\hat{c}$ is the value of the action functional on the field configuration $\varphi$.

In suitable situations this construction refines to an internal construction.

Assume that $H$ has a canonical line object ${𝔸}^1$ and a natural numbers object $\mathbb{Z}$. Then the action functional $\exp (iS(-))$ may lift to the internal hom with respect to the canonical cartesian closed monoidal structure on any (∞,1)-topos to a morphism of the form

$$\exp (i{S}_c(-)):[\Sigma ,B{G}_{\mathrm{conn}}]\to B^{n-\dim \Sigma }{𝔸}^1/\mathbb{Z}.$$\exp(i S_{\mathbf{c}}(-)) : [\Sigma,\mathbf{B}G_{conn}] \to \mathbf{B}^{n-dim \Sigma}\mathbb{A}^1/\mathbb{Z} \,.

We call $[\Sigma ,B{G}_{\mathrm{conn}}]$ the configuration space of the ∞-Chern-Simons theory defined by $c$ and $\exp (i{S}_c(-))$ the action functional in codimension $(n-\dim \Sigma )$ defined on it.

See ∞-Chern-Simons theory for more discussion.

References

The category-theoretic definition of cohesive topos was proposed by Bill Lawvere. See the references at cohesive topos.

The observation that the further left adjoint $\Pi$ in a locally ∞-connected (∞,1)-topos defines an intrinsic notion of paths and geometric homotopy groups in an (∞,1)-topos was suggested by Richard Williamson.

The observation that the further right adjoint $\mathrm{coDisc}$ in a local (∞,1)-topos serves to characterize concrete (∞,1)-sheaves was amplified by David Carchedi.

Several aspects of the discussion here are, more or less explicitly, in

• Carlos Simpson, Constantin Teleman, deRham theorem for $\mathrm{\infty }$-stacks (pdf)

For instance something similar to the notion of ∞-connected site and the fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos is the content of section 2.16. The infinitesimal path ∞-groupoid adjunction $(\mathrm{Red}⊣{\Pi }_{\inf }⊣{♭}_{\inf })$ is essentially discussed in section 3. The notion of geometric realization, 2, is touched on around remark 2.22, referring to

• Carlos Simpson, The topological realization of a simplicial presheaf , arXiv:q-alg/9609004.

But, more or less explicitly, the presentation of geometric realization of simplicial presheaves is much older, going back to Artin-Mazur. See geometric homotopy groups in an (∞,1)-topos for a detailed commented list of literature.

A characterization of infinitesimal extensions and formal smoothness by adjoint functors (discussed at infinitesimal cohesion) is considered in

• Maxim Kontsevich, Alexander Rosenberg, Noncommutative spaces, preprint MPI-2004-35 (ps, dvi)

in the context of Q-categories .

The material presented here is also in section 2 of

• Urs Schreiber, differential cohomology in a cohesive topos

A commented list of further related references is at

• differential cohomology in a cohesive topos -- references