This entry sketches a very general abstract nonsense setup that is supposed to model the necessary and sufficient general structural context which admits models of fundamental (quantum) physics such as quantum field theory (gauge theory, sigma-models…) and string theory.
General as the setup is, we organize it into the primordial concepts space and process that accuratly reflect our two technical ingredients geometric structure and differential geometric structure and from that cohomology and differential cohomology.
The reader who finds this nonsense too general to be helpful should feel free to ignore it and follow the links to more concrete nonsense instead.
This may be formalized by fixing a an (∞,1)-category whose objects we think of as loci – test spaces with which all spaces with -geometry structure may be probed – and whose morphisms we think of maps between loci that respect the geometric structure in question.
Since the specification of encodes what we want to mean by geometric structure, is called a geometry (or rather a pregeometry).
The Yoneda embedding ensures that every test space in may canonically be regarded as a general space modeled on . When studying geometry it is of interest to refine this inclusion of very simple into very general spaces through a hierarchy of types of spaces of decreasing rigid geometric structure, for instance:
are the -structured (∞,1)-toposes: those -probeable spaces that have something like an underlying topological space in the generalized form of an underlying petit (∞,1)-topos which is equipped with structure sheaves of function quantities with values in objects of ;
A model for fundamental physics typically involves
a collection of auxiliary spaces that are more general object of , such that
For the trivial geometry, this is the ordinary cohomology of Top. If instead is some kind of smooth geometry, the corresponding cohomology of is a flavor of smooth cohomology: it classifies not just topological principal ∞-bundles, but smooth -bundles.
These -bundles on encode the kinematics for physical objects propagating in .
Since all spaces are locally modeled on the test objects for the (pre)geometry , admissable geometric trajectories should be determined by the collection of geometric trajectories in each object of . Moreover, the boundary of a -dimensional trajectory should be a -dimensional trajectory and two -dimensional trajectories should be composable along a joint boundary to a new -dimensional trajectory. Finally, the collection of all trajectories should itself be a space modeled on .
This suggests that that a specification of geometric -dimensional trajectories is encoded by a map
such that for the -sheaf assigns to a test space an (∞,n)-category whose -morphisms are -families of -dimensional trajectories in . In particular to the point it assigns a version of the ordinary unstructured (∞,n)-category of cobordisms
The nature of fundamental (quantum) physics suggests that should be such that for the composite of a -dimensional trajectory with its reversed version is connected by a -dimensional trajectory to the constant -trajectory. This means in particular that we expect to be a (stable symmetric) ∞-groupoid in that it is not just in but actually in .
Finally, locality of quantum physics should imply in particular that all -dimensional trajectories without boundary are obtained from gluing -dimensional trajectories with boundary. This should mean that there is a smallest subcollection
of elementary trajectories such that all others are generated from these under gluing along common boundaries.
In summary we find that encoding a notion of processes in a space amounts to choosing the structure of a -structured (∞,1)-topos on the gros -topos itself
This leads to a particularly symmetric situation of a structured (∞,1)-topos, where in fact we are dealing with bi-sheaves
In this special situation we have the Yoneda extension
of the path ∞-groupoid construction to a morphism
that computes the -path in general -spaces. This has a right adjoint
The choice of such a geometric structure on a gros -topos we call a differential geometric structure or just differential structure.
Differential cocycles on target space are what encodes gauge fields on .
These -bundles with connection on encode the dynamics for objects propagating in .