structures in a cohesive (∞,1)-topos
infinitesimal cohesion?
In abstract generality, a differential cohomology diagram is the hexagonal diagram in a cohesive (∞,1)-topos formed by the two fracture squares of the unit and counit of, respectively, the shape modality $\Pi$ and the flat modality $\flat$. The exactness properties of this diagram for any stable homotopy type $\hat E$ in the corresponding tangent cohesive (∞,1)-topos express $\hat E$ as being the coefficients for a differential cohomology refinement by differential form data $\flat_{dR} \hat E$ of the generalized (Eilenberg-Steenrod) cohomology theory which is represented by the shape spectrum $E \coloneqq \Pi(\hat E)$.
Historically, it had been shown in (Simons-Sullivan 07) for ordinary differential cohomology and in (Freed-Lott 10, Simons-Sullivan 08) for differential K-theory that these cohomology theories are characterized as sitting in the middle of a hexagonal diagram of interlocking exact sequences of cohomology groups, which expresses, on the one hand, how every differential cohomology class has underlying it a non-differential cohomology class (“of a principal ∞-bundle”) as well as a curvature differential form datum, and, on the other hand, how the special cases of trivial underlying classes equipped with differential form datum and of flat differential form data sit inside the differential cohomology classes.
At this schematic conceptual level a differential cohomology diagram looks as follows (where all unlabelled arrows are meant to be read as “evident inclusions”);
One characteristic property is that the two outer sequences are exact sequences. This expresses (at this rough schematic level) for instance (for the upper part) that the connections $A$ on trivial bundles whose curvature vanishes in that $\mathbf{d}A = 0$, are exactly the flat connections; as well as (for the lower part) that bundles with flat connections have torsion Chern-clases.
So a differential cohomology theory would be one whose cocycles/cohomology classes have the interpretation of (stable) principal ∞-bundles with connection such as in the middle of this diagram.
The characterization/construction of differential cohomology via homotopy fiber products (of mapping spectra with differential form data) due to (Hopkins-Singer 02) provides an incarnation of this kind of diagram genuinely in stable homotopy theory, so that the outer parts are indeed homotopy fiber sequences and the two squares are homotopy cartesian (are homotopy pullbacks/homotopy pushouts).
In (Bunke-Nikolaus-Völkl 13) it was observed (see Schreiber 13, section 4.1.2 for the generality in which we present this here) that every stable homotopy type $\hat E$ in a cohesive (∞,1)-topos $\mathbf{H}$ canonically sits inside a diagram of this form, being formed from the fracture squares of the units and counits of the shape modality $\Pi$ and the flat modality $\flat$, which in the right part are interpreted as the Maurer-Cartan form $\theta_E$ and the Chern character $ch_E$:
For the special case that $\mathbf{H} = T Smooth\infty Grpd$ is the tangent (∞,1)-topos of smooth ∞-groupoids (∞-stacks over the site of smooth manifolds) this subsumes the cases mentioned above. But there are many examples of cohomology theories not of the form of (Hopkins-Singer 02) but represented by stable homotopy types in a cohesive (∞,1)-topos (see Schreiber 13, BunkeNikolausVölkl 13) and hence fitting into such a diagram, where the interpretation of the pieces of the diagram is just as it should be.
Therefore it makes sense to define generally that a differential cohomology diagram is the above combined fracture squares with its outer homotopy fiber sequences for shape modality and flat modality in any cohesive (∞,1)-topos.
Let $\mathbf{H}$ be a cohesive (∞,1)-topos, write $T\mathbf{H}$ for its tangent cohesive (∞,1)-topos and write $T_\ast \mathbf{H} \hookrightarrow T \mathbf{H}$ for the stable (∞,1)-category of spectrum objects inside it.
As usual, we use the following notation.
Write
$\Pi$ for the shape modality
$\flat$ for the flat modality
restricted to $Stab(\mathbf{H}) \hookrightarrow T \mathbf{H}$, respectively.
Given $E \in$ Spectra we say that $\hat E \in Stab(\mathbf{H})$ with an equivalence
is a cohesive refinement or differential refinement of $E$.
Write
$\flat_{dR}$ for the homotopy fiber of the suspension of the $\flat$-counit
$\Pi_{dR}$ for the homotopy cofiber of the looping of the unit of $\Pi$.
$\theta \;\colon\; id \longrightarrow \flat_{dR}$ for the canonical morphism (itself the homotopy fiber of $\flat_{dR} \to \flat$) which has the interpretation of being the Maurer-Cartan form.
Notice that on stable homotopy types we have
Warning: Elsewhere we often write $\flat_{dR} \Sigma$ for $\flat_{dR}$ above and $\Pi_{dR}\Omega$ for what is $\Pi_{dR}$ here. That other convention has its advanages in the context of unstable cohesion. Here with stable cohesion the present convention is more natural.
As discussed at structures in a cohesive ∞-topos – de Rham cohomology there (and as is discussed below at de Rham coefficients) for $A \in \mathbf{T}_\ast H$ a cohesive homotopy type then we may think of $\Pi_{dR} A$ and of $\flat_{dR} A$ as being the de Rham complex with coefficients in $\Pi(\flat_{dR} \Sigma A)$, truncated to negative degree and to non-negative degree, respectively; the canonical map
interpreting as the de Rham differential.
Beware that this is a very general conceptualization of de Rham coefficients. In standard examples $\flat_{dR}$ does come from traditional differential form data (see at Deligne coefficients and at Hopkins-Singer coefficients below), but generally it may have quite different looking models. But in any case $\flat_{dR} \Sigma A$ always has the interpretation of the home of the curvature forms of cohomology with coefficients in $A$, which makes thinking of $\flat_{dR}$ as producing generalized form data useful.
The shape of the Maurer-Cartan form $\theta$, def. , we call the Chern character
Its component on $\hat E\in T_\ast \mathbf{H}$ we write $ch_{\hat E}$ or $ch_E$, for short.
(differential fracture square)
For every $\hat E \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 (hence also an (∞,1)-pushout).
Dually, also the square
is homotopy cartesian.
This fact was observed in (Bunke-Nikolaus-Völkl 13, prop. 3.5). It may be thought of as an incarnation of the concept 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.
The second statement follows dually:
Notice that generally $\flat_{dR} \hat E$ is a flat modality “anti-modal type” in that it is annihilated by $\flat$:
($\flat$-anti-modal types are called “pure” in (Bunke-Nikolaus-Völkl 13, prop. 3.5)).
The following says that not only does, by prop., the $(\Pi \dashv \flat)$-fracture square exhibit any stable cohesive homotopy type as the pullback of a $\flat$-anti-modal type along a map of $\Pi$-modal types into its shape, but that conversely all homotopy pullbacks of this form are $(\Pi \dashv \flat)$-fracture squares.
For
$E$ a shape-modal type
$\Omega^{\bullet \geq 0}$ a flat-anti-modal type;
$E \stackrel{f}{\longrightarrow} \Pi \Omega^{\bullet \gt 0}$ a morphism;
then the homotopy pullback square for the homotopy fiber product
is equivalently the $(\Pi\dashv \flat)$-fracture square of $\hat E$ according to prop. :
First we observe that indeed $\Omega^{\bullet\geq 0}\simeq \flat_{dR} \hat E$. For that consider the following morphisms of homotopy pullback diagrams
Here in the middle column we are showing the homotopy fiber product defining $\hat E$. On the left we have its image under $\flat$, with the $\flat$-counits running horizontally and using that $\flat$ preserves (∞,1)-limits and that $E$ and $\Pi \Omega^{\bullet \geq 0}$ are $\flat$-modal types by assumption and by cohesion, while $\Omega^{\bullet \geq 0}$ is $\flat$-anti modal by assumption. This and using that by stability all finite (∞,1)-limits and finite (∞,1)-colimits commute produces the homotopy cofiber morphisms going to the right.
This shows that $\Omega^{\bullet \geq 0} \simeq \flat_{dR} \hat E$ and that the projection $E \underset{\Pi_{dR}\Omega^{\bullet \geq 0}}{\times} \Omega^{\bullet \geq 0} \to \Omega^{\bullet \geq 0}$ is equivalently the $\flat_{dR}$-unit on $\hat E$.
Applying the shape modality to the right half of this diagram, using that by stability it preserves the homotopy pullbacks gives
This shows that $ch_{\hat E} \simeq f$.
Finally, the dual argument
shows that the other projection $E \underset{\Pi_{dR}\Omega^{\bullet \geq 0}}{\times} \Omega^{\bullet \geq 0} \to E$ is equivalently the shape-unit of $\hat E$.
The following proposition says that the construction in lemma extends to a decomposition of the (∞,1)-category of cohesive stable types as a homotopy fiber product of the (∞,1)-category of moprhisms of stable shape-modal types with that of flat-anti-modal types:
There is an (∞,1)-pullback of (∞,1)-categories of the form
where the bottom map is the codomain fibration of the (∞,1)-category of spectra, $\Pi$ denotes the shape modality restricted to stable $\flat$-anti-modal types, $ch$ assigns the Chern character map of def. and $\flat_{dR} \Sigma$ assigns de Rham coefficients as in def. .
(Bunke-Nikolaus-Völkl 13, prop. 3.5)
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 with shape modality $\Pi$ and flat modality $\flat$, then for every stable homotopy type $A \in Stab(\mathbf{H}) \hookrightarrow T \mathbf{H}$ the canonical hexagon diagram
formed from the $\Pi$-unit and $\flat$-counit – the “differential cohomology hexagon” – is homotopy exact in that
the two squares are homotopy pullback squares (“fracture squares”);
the two diagonals are the homotopy fiber sequences of the Maurer-Cartan form $\theta_A$ and its dual;
the bottom morphism is the canonical points-to-pieces transform;
the top and bottom outer sequences are long homotopy fiber sequences.
Only the last statement remains to be shown, for that use the pasting law: this gives the following diagram in which every square and every pasting rectangle is a homotopy pullback
This exhibits the sequence $\stackrel{f_1}{\to}\stackrel{\theta_A \circ f_{2}}{\longrightarrow} \stackrel{f_3}{\to}$, which is the top part of the hexagon, as a homotopy fiber sequence.
The dual argument shows that the bottom part of the hexagon is a homotopy cofiber sequence.
Theorem in particular implies that for stable cohesive homotopy types $A$ there are natural equivalences
$\Pi_{dR} A \simeq \Pi_{dR} \flat_{dR} A$
$\flat \Pi_{dR} A\simeq \Pi \flat_{dR} A$
Given that conceptually, as made explicit in the Idea-section above, we may think of cocycles in $\Pi \flat_{dR} A$ as the rationalized characteristic classes and of coycles in $\flat \Pi_{dR} A$ as flat differential forms, this expresses the conceptual content of the de Rham theorem.
We discuss differential refinements in $\mathbf{H} =$ Smooth∞Grpd of ordinary cohomology, hence of cohomology with coefficients in chain complexes or equivalently, via the stable Dold-Kan correspondence, cohomology represented by spectra underlying Eilenberg-MacLane spectrum-module spectra.
We briefly recall the smooth spectra given by the de Rham complex (tensored with any chain complex) from smooth spectrum – Examples – De Rham spectra.
Write $Ch_\bullet$ for the (∞,1)-category of chain complexes (of abelian groups, hence over the ring $\mathbb{Z}$ of integers). It is convenient to choose for $A_\bullet \in Ch_\bullet$ the grading convention
such that under the stable Dold-Kan correspondence
the homotopy groups of spectra relate to the homology groups by
In particular for $A \in$ Ab an abelian group then $A[n]$ denotes the chain complex concentrated on $A$ in degree $-n$ in this counting.
The grading is such as to harmonize well with the central example of a sheaf of chain complexes over the site of smooth manifolds, which is the de Rham complex, regarded as a smooth spectrum via the discussion at smooth spectrum – from chain complexes of smooth modules
with $\Omega^0(X) = C^\infty(X, \mathbb{R})$ in degree 0.
Throughout we keep the inclusion
notationally implicit, regarding bare chain complexes as geometrically discrete spectrum objects in smooth differential geometry.
We consider for $n \in \mathbb{N}$ the truncated sheaves of de Rham complexes with coefficients in a given chain complex:
Write
for the smooth spectrum given under the stable Dold-Kan correspondence by the sheaf of truncated de Rham complexes
with $\Omega^n(X)$ in degree $n$ (the $p$th stage in the Hodge filtration).
More genereally:
For $C \in Ch_\bullet$ a chain complex,
write
$(\Omega \otimes C)^{\bullet \geq n}$ for the smooth spectrum given over each manifold $X$ by the tensor product of chain complexes followed by truncation as indicated:
where the first non-trivial term displayed is in taken to be in degree $n$;
and write $(\Omega \otimes C)^{\bullet \lt n}$ for
where again the first non-trivial term displayed is taken to be in degree $n$.
Beware of the degree conventions in def. : in the first clause the tensor product of complexes is truncated without any shifting, while in the second case the truncation is shifted by one. This notation turns out to well reflect the way that the hexagon, theorem , decomposes these smooth spectra by prop. and remark below.
For $C \in Ch_\bullet(\mathbb{R})$ a chain complex of real vector spaces and for all $n \in \mathbb{Z}$
$\Pi ((\Omega \otimes_{\mathbb{R}} C)^{\bullet \geq n})\simeq C^\bullet$
$\flat ((\Omega \otimes_{\mathbb{R}} C)^{\bullet \geq n}) \simeq C^{\bullet \geq n}$
$\flat_{dR} (\Omega \otimes_{\mathbb{R}} C)^{\bullet \geq n} \simeq (\Omega \otimes_{\mathbb{R}} C^{\bullet \leq n-1})^{\bullet \geq n}$
$\Pi_{dR} (\Omega \otimes_{\mathbb{R}} C)^{\bullet \geq n} \simeq (\Omega \otimes_{\mathbb{R}} C )^{\bullet \leq n-1}[-1]$
$\Pi \flat_{dR} (\Omega \otimes_{\mathbb{R}} C)^{\bullet \geq n} \simeq C^{\bullet \leq n-1}$
$ch \;\colon\; C \to C_{\bullet\leq n-1}$ is the canonical projection.
(Bunke-Nikolaus-Völkl 13, lemma 4.4)
Prop. means first of all that the de Rham complex $(\Omega \otimes_{\mathbb{R}} C)^{\bullet \geq n}$ is a differential refinement, def. , of the chain complex $C$ (for all $n$)
Moreover it says that $\flat_{dR} \Sigma (-)$ and $\Pi_{dR} \Omega(-)$ are similarly the high degree and low degree truncation, respectively, of the de Rham complex with coefficients in $\Pi \flat_{dR} \Sigma (-)$.
Specifically for $n = 0$, only the connected part
appears in the de Rham coefficients, and we have
We discuss the differential cohomology hexagon for smooth Deligne cohomology and hence smooth circle n-bundles with connection realizedin $\mathbf{H}=$ Smooth∞Grpd.
For $C \in Ch_\bullet(\mathbb{Z})$ be a chain complex of abelian groups. For $n \in \mathbb{N}$ an integer, write $C_{conn,-n}$ for the homotopy fiber product in
where the right map is the unit of the shape modality according to prop. .
(Bunke-Nikolaus-Völkl 13, 4.3)
For all $n \in \mathbb{Z}$
$\Pi(C_{conn,-n}) \simeq C$
$\flat_{dR} C_{conn,-n} \simeq (\Omega \otimes C_{\leq n-1})^{\bullet \geq n}$
(Bunke-Nikolaus-Völkl 13, lemma 4.5)
(ordinary Deligne cohomology)
For $C = \mathbb{Z}[n+1]$ we have
(with the last term being in degree 0) and more generally for $n \in \mathbb{N}$
(with the last term being in chain degrees $-n$ to 0 (hence homotopy group degrees $n$ to 0)).
We have a pasting diagram of homotopy pullbacks
where on the right runs the Hodge filtration, with the notation $\mathbf{B}^n U(1) = \mathbb{Z}[n+1]_{conn,n}$ as at circle n-group and $\mathbf{B}^n U(1)_{conn} = \mathbb{Z}[n+1]_{conn,0}$ as at circle n-bundle with connection.
Hence for all $n \in \mathbb{N}$
and
is represented by the Deligne complex.
The intermediate cases in between these two as in (Schreiber 13, def. 3.9.46, FRS 13, remark 2.3.15) (discussed also for instance at Courant algebroid – Relation to Atiyah Lie 2-algebroid).
Notice that by prop. the above homotopy pullback diagrams are all indeed the right part of the differential cohomology hexagon, theorem , e.g.
The differential cohomology hexagon obtained from this is on cohomology classes for each smooth manifold $X$ and each $n \in \mathbb{N}$
It is common (e.g. Simons-Sullivan 07) to display this after quotienting out the kernel of $a$ (which is the group $\Omega^n(X)_{\mathbb{Z}}$ of closed differential forms with integral periods), which is such as to make the top-left to bottom-right diagonal sequence be not just exact at the middle term, but be a short exact sequence:
Here the diagonals are now the “curvature exact sequence” and the “characteristic class exact sequence” as discussed at ordinary differential cohomology – Properties – curvature and characteristic class.
The bottom horizontal map is the Bockstein homomorphism of the exponential sequence (this example).
We discuss how the differential function complexes of (Hopkins-Singer 05), providing differential refinements of geometrically discrete spectra, and how they fit into their differential cohomology hexagon (following Bunke-Nikolaus-Völkl 13, section 4.4.).
Let again $\mathbf{H} =$ Smooth∞Grpd.
Throughout, we leave notationally implicit
the stable Dold-Kan correspondence $DK \;\colon\;Ch_\bullet \longrightarrow Spectra$;
the inclusion $Spectra \stackrel{Stab}{\hookrightarrow} Stab(\mathbf{H})$;
hence always regard a chain complex as the corresponding spectrum and regard any bare spectrum always as a geometrically discrete smooth spectrum.
For
$E \in Spectra \stackrel{Disc}{\hookrightarrow} Stab(\mathbf{H})$ a spectrum,
$C \in Ch_\bullet(\mathbb{R})$ a chain complex of real vector spaces;
$c \colon E \longrightarrow C$ a homomorphism of spectra from $E$ to the image of $C$ under the stable Dold-Kan correspondence;
$n \in \mathbb{N}$
write $E_{conn_c,-n}$ for the homotopy fiber product in
where the map on the right is the unit of the shape modality according to prop. .
We abbreviate
This appears in (Bunke-Nikolaus-Völkl 13, 4.4), with an earlier version in (Bunke-Gepner 13, def. 2.1).
Specifically when $C \simeq E \wedge DK(\mathbb{R})$ is a model for the rationalization (realification) of $E$ and $c \colon E \to C$ is the canonical map, then it is a model for the Chern character and def. is essentially the definition of (Hopkins-Singer 05).
For all $n \in \mathbb{Z}$
$\flat_{dR} E_{conn_c,-n} \simeq (\Omega \otimes_{\mathbb{R}} C_{\bullet \leq -n -1})^{\bullet\geq n}$
$\Pi(E_{conn_c,-n}) \simeq E$.
(Bunke-Nikolaus-Völkl 13, lemma 4.7)
Beware that in prop. the intrinsic de Rham coefficients $\flat_{dR} \Sigma E_{conn_c,-n}$ in general differ by a truncation from the de Rham complex $(\Omega \otimes_{\mathbb{R}} C)^{\bullet \geq -n}$ which is being pulled back in definition .
But by prop. and theorem composition with the truncation map preserves the homotopy pullback, hence in the differential cohomology hexagon the two differ only in the exactness property in the top right entry.
Given $E_{conn_c} \coloneqq E_{conn_c,0}$ as in def. , then for each smooth manifold $X$ (indeed for each smooth ∞-groupoid $X$) the differential cohomology diagram on cohomology classes is of the following form
(Bunke-Nikolaus-Völkl 13, (25)-(26))
We discuss several differential refinements, def. , to smooth spectra, of the complex topological K-theory spectrum KU or of its connective cover $ku$, hence versions of differential K-theory.
Let $\mathbb{C}[b]$ be the polynomial ring with complex numbers coefficients on a single generator $b$. With $b$ regarded as in degree 2, regard this as a chain complex with vanishing differentials.
Then the complex ordinary Chern character on K-theory is a map
Write
for the smooth spectrum induced by def. ) from the standard Chern character $c \coloneqq ch$ on connective ku.
(Hopkins-Singer 02, section 4.4, Bunke-Nikolaus-Völkl 13, section 6.1)
Write
$\mathbf{Vect}^{\oplus} \in Sh(SmthMfd) \hookrightarrow \mathbf{H} = Sh_\infty(SmthMfd)$ for the stack of (complex) vector bundles equipped with the direct sum;
$\mathbf{Vect}_{conn}^{\oplus} \in Sh(SmthMfd)$ for the stack of (complex) vector bundles with connection, equipped with direct sum;
Write
for the (∞,1)-functor from symmetric monoidal (∞,1)-categories into spectra which produces the algebraic K-theory of symmetric monoidal (∞,1)-categories.
Forming objectwise the algebraic K-theory of symmetric monoidal (∞,1)-categories and then ∞-stackifying (which we leave notationally implicit) produces smooth spectra
This may be called the algebraic K-theory of smooth manifolds.
The smooth spectra $\mathcal{K}(\mathbf{Vect})$ and $\mathcal{K}(\mathbf{Vect}_{conn})$ are both differential refinements, def. , of connective ku, both whose underlying geometrically discrete spectrum is the algebraic K-theory $K \mathcal{C}$ of the complex numbers:
$\Pi(\mathcal{K}(Vect^\oplus)) \simeq \Pi(\mathcal{K}(Vect_{conn}^\oplus))\simeq ku$;
$\flat(\mathcal{K}(Vect^\oplus)) \simeq \flat(\mathcal{K}(Vect_{conn}^\oplus))\simeq K \mathbb{C}$.
in both cases the points-to-pieces transform $\flat \to \Pi$ is the comparison map between algebraic and topological K-theory $K \mathbb{C}\to ku$.
(Bunke-Nikolaus-Völkl 13, lemma 6.3, corollary 6.5)
The traditonal Chern character induces, via the universal property of the homotopy pullback in def. , a morphism
from the differential refinement of $ku$ given by def. , to that given by def. .
Its secondary characteristic class, hence its image under the flat modality, is in homotopy groups the regulator
related to the Adams e-invariant via (Bunke 11, section 5.3).
(Bunke-Nikolaus-Völkl 13, example 6.9)
The ordinary Snaith theorem realizes KU as the localization of the ∞-group ∞-ring of the circle 2-group $B U(1)$ at the Bott element $b\in \pi_2(KU)$.
With due care to define smooth geometric looping and taking the Hopf fibration as an actual smooth bundle over the smooth 2-sphere, this lifts to the smooth circle 2-group $\mathbf{B}U(1)$ and with more care to $\mathbf{B}U(1)_{conn}$ to produce smooth spectra
and
which both are differential refinements, def. , of KU.
(Bunke-Nikolaus-Völkl 13, section 6.3)
The above examples all take place in the $T$Smooth∞Grpd, modelling higher differential geometry. Another fundamental example of a cohesive (∞,1)-topos is ComplexAnalytic∞Grpd, modelling complex analytic higher geometry.
Differential cohomology in the complex-analytic context is discussed in (Hopkins-Quick 12), see at complex analytic ∞-groupoid – Properties – Differential cohomology for more.
cohesion in E-∞ arithmetic geometry:
cohesion modality | symbol | interpretation |
---|---|---|
flat modality | $\flat$ | formal completion at |
shape modality | $ʃ$ | torsion approximation |
dR-shape modality | $ʃ_{dR}$ | localization away |
dR-flat modality | $\flat_{dR}$ | adic residual |
the differential cohomology hexagon/arithmetic fracture squares:
The differential cohomology hexagon was maybe first highlighted in the context of ordinary differential cohomology
and in the context of differential K-theory in
proven also in
An artistic impression of the differential cohomology hexagon as a dance choreography inspired by a talk by James Simons is at
That the differential cohomology hexagon exists not just at the level of exact sequences of cohomology classes but already at the level of homotopy fiber sequences of cocycle spaces was observed for ordinary differential cohomology and for differential K-theory in
That generally the homotopy fiber product-construction of differential refinements of generalized (Eilenberg-Steenrod) cohomology theories due to
constitutes the right one of the two squares in the homotopy-theoretic version of the diagram is discussed explicitly for instance in prop 4.57 of
That every stable homotopy type in a cohesive (∞,1)-topos naturally sits in a differential cohomology diagram was observed (focusing on Smooth∞Grpd) in
following
where in section 4.1.2 a fully general abstract account is given. This in turn follows
Surveys/expositions of this:
Urs Schreiber, Differential generalized cohomology in Cohesive homotopy type theory, talk at IHP trimester on Semantics of proofs and certified mathematics, Workshop 1: Formalization of Mathematics, Institut Henri Poincaré, Paris, 5-9 May 2014
Urs Schreiber, Differential cohomology is Cohesive homotopy theory, talk at Higher Geometric Structures along the Lower Rhine June 2014, 19-20 June 2014
Exposition from the point of view of modal homotopy theory:
Urs Schreiber, Fractures, Ideles and the Differential Hexagon, talk at Workshop on differential cohomologies, CUNY Graduate Center, August 12-14 2014 (video recording)
Urs Schreiber, Differential cohesion and Arithmetic geometry, talk at Karslruher Weihnachts-Workshop 2015
Formalization in cohesive modal homotopy type theory homotopy type theory:
David Jaz Myers, Modal Fracture of Higher Groups, talk at CMU-HoTT Seminar, 2021 (pdf, pdf)
David Jaz Myers, Modal Fracture of Higher Groups (arXiv:2106.15390)
For discussion of the hexagon in an equivariant setting, see
See also
Ulrich Bunke, On the topological contents of eta invariants (arXiv:1103.4217)
Michael Hopkins, Gereon Quick, Hodge filtered complex bordism (arXiv:1212.2173)
Domenico Fiorenza, Urs Schreiber, Chris Rogers, Higher geometric prequantum theory (arxiv:1304.0236)
Ulrich Bunke, David Gepner, Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic K-theory (arXiv:1306.0247)
Last revised on June 30, 2021 at 03:48:13. See the history of this page for a list of all contributions to it.