This is a kind of βresearch statementβ, where I formulate, for my own sake, a big question (with various sub-questions) in the general context of differential cohomology in a cohesive topos which should be interesting to answer next.
These are preliminary notes meant to help me organize my thoughts, and not meant to be claiming anything, and not meant to necessarily make sense to anyone except myself. Of course, if you see what I am aiming at, successfully or not, or where I go astray, Iβd be thankful for whatever comments you might have.
This text is a very first version of what it may once become. If you come back later, it may have improved, may have been expanded. Or may have disappeared.
To set the stage, in Known I briefly recollect what we already have. This will suggest some evident questions, discussed in To be done. To see that this should be going in the right direction, I close by mentioning some consistency checks.
The central axiomatic assumption that all of the following is based on is that we place ourselves in the ambient context of an (β,1)-topos which is, specifically, a cohesive (β,1)-topos.
As discussed there, in any such context we have a canonical notion of β-Chern-Weil theory. Of this theory, we are here interested in the following phenomenon:
for $G$ an internal β-group in $\mathbf{H}$, and for $A$ an internal abelian $\infty$-group, for $n \in \mathbb{N}$ and for
a representative of a universal characteristic class $[\mathbf{c}] \in H^n(\mathbf{B}G, A)$, we may ask for differential refinements of this to a morphism
where now on right we have the moduli object of A-principal n-bundles with connection, and on the left one of G-principal β-connections.
At β-Chern-Simons theory and β-geometric prequantization is discussed that such morphisms may be regarded as extended action functionals of generalized Ο-model-type topological quantum field theories. Here βextendedβ is in the sense of extended TQFT: the transgression of these morphisms to mapping spaces $[\Sigma, \mathbf{B}G_{conn}]$ for $\Sigma$ of cohomological dimension $n$ are ordinary action functionals
but also for $0 \leq dim \Sigma \leq n$ the transgression βto higher codimensionβ exists
and is to be interpreted as providing natural higher prequantum line bundles of the system.
In the special case that in the above the object $\mathbf{B}G$ happens to be a discrete object, where the differential refinement above becomes trivial β the special case of ββ-Dijkgraaf-Witten theoryβ β, a fair bit is known, by now, about how to proceed from this input via some general abstract formulation of quantization to the corresponding extended TQFT:
Choose a representation in the form of an (β,n)-functor
to some symmetric monoidal (β,n)-category $\mathcal{C}$ with all duals.
More in detail, choose a ring spectrum $R$, let
be the $(\infty,n)$-category of (infinity,n)-vector spaces over $R$.
Consider the adjunct
of the composite
under the free functor/forgetful functor adjunction
between (β,n)-categories and symmetric monoidal (β,n)-categories with all duals, where the cobordism hypothesis-theorem identifies
with the (β,n)-category of cobordisms that are equipped with maps into $\mathbf{B}G$.
This $Z_{cl}$ is the extended βHQFTβ/βclassical QFTβ of field configurations defined by $\hat \mathbf{c}$.
Universally extend $Z_{ck}$, suitably (open question: how exactly??), along the forgetful functor $Bord_n(\mathbf{B}G) \to Bord_n(*) \simeq Bord_n$ to a symmetric monoidal $(\infty,n)$-functor
This $Z$ is the extended TQFT that quantizes the original extended action functional, given by the universal characteristic class $\hat \mathbf{c}$.
In the above we had the action functionals in a cohesive context $\mathbf{H}$, but their quantization only in the context of discrete β-groupoids $\infty Grpd \hookrightarrow \mathbf{H}$. It seems clear that the way to proceed is by internalization of the algebraic part into $\mathbf{H}$.
There is already is a good notion of internal category in an (β,1)-category. This allows us to make sense of $Cat_{(\infty,n)}(\mathbf{H})$ internal to the cohesive context $\mathbf{H}$.
What is needed is a refinement of this to internal monoidal (β,1)-categories, and more generally to internal $\mathcal{O}$-monoidal $(\infty,1)$-categories, and still more generally to internal (β,1)-operads.
Since $(\infty,1)$-categories internal to $\mathbf{H}$ are presented by the model structure on complete Segal objects in a model structure on simplicial presheaves, it is natural to expext that internal $\mathcal{O}$-monoidal $(\infty,1)$-categories, and generally internal $(\infty,1)$-operads will be given by the model structure for dendroidal complete Segal spaces in simplicial presheaves.
The externally Quillen equivalent model structure on dendroidal sets is already known to have left Bousfield localizations to the model structure for dendroidal Cartesian fibrations and the model structure for dendroidal left fibrations, which model, externally, $\mathcal{O}$-monoidal (β,1)-categories (in particular: symmetric monoidal (β,1)-categories) and β-algebras over an (β,1)-operad in βGrpd. Looking at the table - models for (infinity,1)-operads it is pretty clear what one needs to do and check to lift these latter localizations to the βcomplete Segal spaceβ-type models and hence obtain model structure for internal such localizations.
This needs to be worked out in detail.
Once one has this, the evident next question is: can we construct an adjunction
If there is any justice, then this ought to exists. But I have not much of an idea for how to approach this, apart from noticing that some step in this direction has probably already been taken, see below.
Here are some partial insights that may be taken as indications that the above program is going in the right direction.
The $\mathbf{H}$-internal adjunction above
should send $\mathbf{B}G_{conn} \in \mathbf{H}$ to an internal $(\infty,n)$-category
whose β-stack of $n$-morphisms is that of cohesive families of $n$-dimensional cobordisms $\Sigma$ equipped with maps into $\mathbf{B}G_{conn}$.
By the discussion at β-Chern-Simons theory, such morphisms indeed classify the corresponding field configurations, so that $Bord_n(\mathbf{B}G_{conn})$ should indeed be the $(\infty,n)$-category of classical field configurations.
The extension along $Bord_n(\mathbf{B}G_{conn}) \to Bord_n(*)$ should therefore involve an βintegration over all field configurationsβ and hence be the correct path integral.
The idea to consider cobordisms equipped not just with maps into a topological space, but with maps into an β-stack (such as $\mathbf{B}G_{conn}$) has been considered for the 1-category of cobordisms in the thesis by David Ayala. (See the references there.) He discusses a generalization to this context of the Galatius-Madsen-Tillmann-Weiss theorem. Since the ordinary version of this theorem is a central ingredient in the proof of the external cobordism hypothesis, we may read this as supportive of the idea that the internal $Bord_n(\mathbf{B}G_{conn})$ naturally exists.
The quantization step should factor through
Among the morphisms in $Bord_n(\mathbf{B}^n A_{conn})$ will be equivalences between cobordisms equipped with maps to $\mathbf{B}^n A$, given in $\mathbf{H}$ by diagrams of the form
This automorphism β-group we know to be the higher analog of the group that integrates the Poisson bracket. It contains in particular the Heisenberg group integrating the Heisenberg Lie algebra of the system. (See section 3.3.17 here).
This is exactly what we expect to act on the vector spaces of states of the systemβ¦ which it does, via postcomposition with $\rho$.
(β¦)