structures in a cohesive (∞,1)-topos
infinitesimal cohesion?
The tangent (∞,1)-category $T\mathbf{H}$ to a cohesive (∞,1)-topos is itself cohesive: the tangent cohesive (∞,1)-topos.
This $T \mathbf{H}$ is the $\infty$-topos of parameterized spectra in $\mathbf{H}$, hence is the context for cohesive stable homotopy theory.
Let $\mathbf{H}$ be a cohesive (∞,1)-topos.
By the discussion at tangent ∞-category – Examples – Of an ∞-topos the tangent $\infty$-topos $T \mathbf{H}$ constitutes an extension of $\mathbf{H}$ by its stabilization $Stab(\mathbf{H})$:
Here
$\Omega^\infty \circ tot \;\colon\; T \mathbf{H} \longrightarrow \mathbf{H}$ assigns the total space of a spectrum bundle;
its left adjoint is the tangent complex functor;
$base \;\colon\; T \mathbf{H} \longrightarrow \mathbf{H}$ assigns the base space of a spectrum bundle;
its left adjoint produces the 0-bundle;
together these exhibit $T \mathbf{H}$ as an infinitesimal cohesive (infinity,1)-topos over $\mathbf{H}$.
In a tangent cohesive $\infty$-topos $T \mathbf{H}$ all the homotopy types in $T_\ast \mathbf{H} \hookrightarrow T\mathbf{H}$ are stable homotopy types.
Where the (∞,1)-categorical hom-space in a general (∞,1)-topos constitute a notion of cohomology, those of a tangent (∞,1)-topos specifically constitute twisted generalized cohomology, in fact twisted bivariant cohomology.
For consider a spectrum object $E \in T_\ast \mathbf{H}$ and write $GL_1(E) \in Grp(\mathbf{H})$ for its ∞-group of units. Then the ∞-action of this on $E$ is (by the discussion there) exhibited by an object
More generally, for $Pic(E) \in \mathbf{H}$ the Picard ∞-groupoid of $E$ there is the universal (∞,1)-line bundle
Now for any object $X \in \mathbf{H}$ we have the trivial sphere spectrum spectrum bundle over $X$
then morphisms in $T \mathbf{H}$ from the latter to the former
are equivalently homotopy commuting diagrams of the form
and hence
a choice of twist of E-cohomology $\chi \;\colon \; X \longrightarrow \mathbf{B}GL_1(E)$, modulating a $GL_1(E)$-principal ∞-bundle;
an element in the $\chi$-twisted $E$-cohomology of $X$, $\sigma \in E^{\bullet + \chi}(X,E)$, hence a section of the associated (∞,1)-line bundle.
If we consider the internal hom instead of the external (∞,1)-categorical hom space then things work even more nicely and we can use just $X$ instead of $X \times \mathbb{S}$:
For $X \in \mathbf{H} \stackrel{0}{\hookrightarrow} T \mathbf{H}$ a geometric homotopy type and $E \in Stab(\mathbf{H}) \simeq T_\ast \mathbf{H} \hookrightarrow T \mathbf{H}$ a spectrum object, then the internal hom/mapping stack
(with respect to the Cartesian closed monoidal (∞,1)-category structure on the (∞,1)-topos is equivalently the mapping spectrum
in that
Notice that as an object of $T \mathbf{H} \hookrightarrow \mathbf{H}^{seq}$, the object $X$ is the constant (∞,1)-presheaf on $seq$. By the formula for the internal hom in an (∞,1)-category of (∞,1)-presheaves we have
But since $X$ is constant the object $X \times \bullet$ is for each object of $seq$ the presheaf represented by that object. Therefore by the (∞,1)-Yoneda lemma it follows that
This is manifestly the same formula as for the mapping spectrum out of $\Sigma^\infty X$.
Similar kind of arguments give the following more general statement.
For $X \in \mathbf{H} \stackrel{0}{\hookrightarrow} T \mathbf{H}$ a geometric homotopy type, for $E \in E_\infty(\mathbf{H})$ an E-∞ ring with $(\widehat{Pic(E)} \to Pic(E)) \hookrightarrow T \mathbf{H}$ its universal (∞,1)-line bundle over its Picard ∞-groupoid, then the internal hom/mapping stack
is the object whose
base homotopy type is the E-∞ ring $[X, Pic(E)]$ of $E$-twist on $X$;
whose spectrum bundle is the collection of $\chi$-twisted E-cohomology spectra for all twists $\chi$.
In full generality we may formulate the internal hom mapping space in $T \mathbf{H}$ in homotopy type theory notation as follows.
For
and
two spectrum bundle dependent types? over base homotopy types, $A,B \colon \mathbf{H}$, respectively, then the function type $(E \to F) \colon T\mathbf{H}$ between them (regarded as homotopy types in $T \mathbf{H}$) is
Let $(x:X)\vdash M_x : Spectra$ be another spectrum bundle. The cartesian product $M\times E$ in $T \mathbf{H}$ is then $(x:X),(a:A) \vdash M_x \oplus E_a$, with $\oplus$ also the coproduct (hence the direct sum), since spectra are stable and hence additive. We compute the mapping space $T\mathbf{H}(M\times E,F)$ as follows:
In the first line, we curry $\phi$, apply the induction principle for dependent maps out of $X\times A$, and also apply the universal property of the coproduct $M_x \oplus E_a$. In the second line, we apply the universal property for mapping into Σ-types (the “type-theoretic axiom of choice”) and also that for dependent functions into a product. In the third line we apply the associativity of Σ-types, and also the universal property for mapping into the dependent product $\prod$ of spectra. Finally, in the fourth line, we apply the type-theoretic axiom of choice again in the other direction. The resulting type is the mapping space from $M$ to the claimed function type $(E\to F)$ defined above. (See also this discussion.)
We have the following special cases of prop. 3.
If $E_a = 0$ for all $a \colon A$, and if $B = \ast$, then the function type is
which reproduces the mapping spectrum $SpMap(\Sigma^\infty A, F)$ from prop. 1.
If $A = B = \ast$ then then the mapping type is
If $E_a = 0$ for all $a \colon A$ and $F_b = 0$ for all $b \colon B$ then the mapping type is
Let $T\mathbf{H}$ be a tangent cohesive $(\infty,1)$-topos and write $T_\ast \mathbf{H}$ for the stable (∞,1)-category of spectrum objects inside it. We discuss how every stable homotopy type here canonically sits in the middle of a differential cohomology diagram.
For every $A \in T_\ast \mathbf{H}$ the naturality square
(of the shape modality applied to the homotopy cofiber of the counit of the flat modality) is an (∞,1)-pullback square.
This was observed in (Bunke-Nikolaus-Völkl 13). It is an incarnation of a fracture theorem.
By cohesion and stability we have the diagram
where both rows are homotopy fiber sequences. By cohesion the left vertical map is an equivalence. The claim now follows with the homotopy fiber characterization of homotopy pullbacks.
This means that in stable cohesion every cohesive stable homotopy type is in controled sense a cohesive extension/refinement of its geometric realization geometrically discrete (“bare”) stable homotopy type by the non-discrete part of its cohesive structure;
In particular, $A/\flat A$ may be identified with differential cycle data. Indeed, by stability and cohesion it is the flat de Rham coefficient object
of the suspension of $A$, and the map to this quotient is thus the Maurer-Cartan form $\theta_A$. So
exhibits $A$ as a differential cohomology-coefficient of the generalized cohomology theory $\Pi(A)$.
It follows by the discussion at differential cohomology in a cohesive topos that the further differential refinement $\widehat{A}$ of $A$ should be given by a further homotopy pullback
But of course by the generality of the above proposition, such an $\widehat{A}$ sits itself again in its fracture-like pullback diagram.
Dually:
For every $A \in T_\ast \mathbf{H}$ the naturality square
(of the flat modality applied to the homotopy fiber of the unit of the shape modality) is an (∞,1)-pullback square.
As before but dually, the diagram extends to a morphism of homotopy cofiber diagrams of the form
and by cohesion the bottom horizontal morphism is an equivalence.
Combining these two statements yields the following (Bunke-Nikolaus-Völkl 13).
For $\mathbf{H}$ a cohesive (∞,1)-topos every stable homotopy type $A \in Stab(\mathbf{H}) \hookrightarrow T \mathbf{H}$ sits inside a diagram of the form
where the two squares are homotopy pullback squares and the two diagonals are the fiber sequences of the Maurer-Cartan form $\theta_A$ and its dual.
The bottom horizontal morphisms in the diagram in prop. 1 are the canonical points-to-pieces transform.
This kind of diagram under forming $\pi_0$ has been traditionally known from ordinary differential cohomology and from differential K-theory, and had been used in proposals to axiomatize differential cohomology, see for instance (Bunke 12, prop. 4.57) and see at differential cohomology diagram. Here we see that this holds fully generally for every stable cohesive homotopy type. If one still regards this diagram as characteristic of “differential” refinement it hence exhibits every cohesive stable type as a coefficients of some differential cohomology theory. This is a strong version of the synthetic notion “differential cohomology in a cohesive topos” . For more on this see also at smooth spectrum.
The idea of forming $T_\ast \mathbf{H}$ as a home for nontrivial stable homotopy types was originally suggested by Georg Biedermann and André Joyal, see section 35 of
and see the further references at tangent (infinity,1)-topos.
Discussion of differential cohomology in $T_\ast Smooth \infty Grpd \simeq Stab(Smooth \infty Grpd)$ is in
The above discussion of geometric twisted generalized cohomology as cohomology in the tangent cohesive $\infty$-topos was presented in
Discussion in a comprehensive context of cohesion is in section 4.2.3 of
$\,$
$\,$
$\,$
$\,$
$\,$
$\,$
$\,$
$\,$
$\,$
$\,$
$\,$
$\,$