Schreiber
structural context for fundamental (quantum) physics

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.

Contents

space

The spaces of relevance in many applications physics carry more structure than plain topological space, they carry certain geometric structure, specified by local model spaces.

geometric structure

This may be formalized by fixing a an (∞,1)-category 𝒯\mathcal{T} whose objects we think of as loci – test spaces with which all spaces with 𝒯\mathcal{T}-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 𝒯\mathcal{T} encodes what we want to mean by geometric structure, 𝒯\mathcal{T} is called a geometry (or rather a pregeometry).

By the general abstract nonsense of space and quantity, the most general notion of space modeled on the test objects in 𝒯\mathcal{T} is an ∞-stack on (pro-objects in) 𝒢\mathcal{G}. We write

H:=Sh (,1)(Pro()) \mathbf{H} := Sh_{(\infty,1)}(Pro())

for a choice of (∞,1)-category of (∞,1)-sheaves on pro-objects in 𝒯\mathcal{T}: the gros (∞,1)-topos of 𝒯\mathcal{T}-geometric spaces. The choice of H\mathbf{H} on top of the choice of 𝒯\mathcal{T} encodes the notion locality of spaces modeled on 𝒯\mathcal{T}.

The Yoneda embedding 𝒯Sh (𝒯)\mathcal{T} \hookrightarrow Sh_\infty(\mathcal{T}) ensures that every test space in 𝒯\mathcal{T} may canonically be regarded as a general space modeled on 𝒯\mathcal{T}. 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:

𝒯 Spec 𝒯 Sch(𝒯) Str(𝒯) Sh (Pro(𝒯)) \array{ \mathcal{T} &\stackrel{Spec^{\mathcal{T}}}{\hookrightarrow}& Sch(\mathcal{T}) &\hookrightarrow& Str(\mathcal{T}) &\hookrightarrow& Sh_\infty(Pro(\mathcal{T})) }

where

A model for fundamental physics typically involves

  • one nice space XX – for instance a 𝒯\mathcal{T}-generalized scheme: the target space that models physical spacetime;

  • a collection of auxiliary spaces that are more general object of H\mathbf{H}, such that

    • mapping spaces Maps(Σ,X)Maps(\Sigma,X) of maps into XX – see process – differential structure, dynamics- differential structure, dynamics)

    • coefficient objects AA for cocycles XAX \to A on XX that encodes background gauge fields on XX – see geometric cohomologyohomology).

geometric cohomology

Every (∞,1)-topos comes with its notion of nonabeliab cohomology.

For 𝒯=*\mathcal{T} = {*} the trivial geometry, this is the ordinary cohomology of Top. If instead 𝒯\mathcal{T} is some kind of smooth geometry, the corresponding cohomology of H=Sh (,1)(Pro(𝒯))\mathbf{H} = Sh_{(\infty,1)}(Pro(\mathcal{T})) is a flavor of smooth cohomology: it classifies not just topological principal ∞-bundles, but smooth \infty-bundles.

kinematics

These \infty-bundles on XX encode the kinematics for physical objects propagating in XX.

e.g. Spin structure, String structure, Fivebrane structure.

process

Fundamental (quantum) physics describes processes in spaces in the form of dd-dimensional particles tracing out trajectories in a space.

Since all spaces are locally modeled on the test objects for the (pre)geometry 𝒯\mathcal{T}, admissable geometric trajectories should be determined by the collection of geometric trajectories in each object of 𝒯\mathcal{T}. Moreover, the boundary of a kk-dimensional trajectory should be a (k1)(k-1)-dimensional trajectory and two kk-dimensional trajectories should be composable along a joint boundary to a new kk-dimensional trajectory. Finally, the collection of all trajectories should itself be a space modeled on 𝒯\mathcal{T}.

This suggests that that a specification of geometric dd-dimensional trajectories is encoded by a map

Bord n():𝒯Sh (,n+1)(Pro(𝒯)) Bord_n(-) : \mathcal{T} \to Sh_{(\infty,n+1)}(Pro(\mathcal{T}))

such that for X𝒯X \in \mathcal{T} the (,n+1)(\infty,n+1)-sheaf Bord n(X)\mathrm{Bord}_n(X) assigns to a test space U𝒢U \in \mathcal{G} an (∞,n)-category Bord n(X)(U)Bord_n(X)(U) whose kk-morphisms are UU-families of kk-dimensional trajectories in XX. 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 Bord n(X)Bord_n(X) should be such that for k<nk \lt n the composite of a kk-dimensional trajectory with its reversed version is connected by a (k+1)(k+1)-dimensional trajectory to the constant kk-trajectory. This means in particular that we expect Bord (X)Bord_\infty(X) to be a (stable symmetric) ∞-groupoid in that it is not just in Sh (,)(𝒯)Sh_{(\infty,\infty)}(\mathcal{T}) but actually in Sh (,1)(𝒯)Sh_{(\infty,1)}(\mathcal{T}).

Finally, locality of quantum physics should imply in particular that all kk-dimensional trajectories without boundary are obtained from gluing kk-dimensional trajectories with boundary. This should mean that there is a smallest subcollection

Π(X)Bord (X) \Pi(X) \hookrightarrow Bord_{\infty}(X)

of elementary trajectories such that all others are generated from these under gluing along common boundaries.

differential structure

In summary we find that encoding a notion of processes in a space amounts to choosing the structure Π\Pi of a Pro(𝒯)Pro(\mathcal{T})-structured (∞,1)-topos on the gros (,1)(\infty,1)-topos H=Sh (,1)Pro(𝒯)\mathbf{H} = Sh_{(\infty,1)}{Pro(\mathcal{T})} itself

Π:Pro(𝒯)H:=Sh (,1)(Pro(𝒯)). \Pi : Pro(\mathcal{T}) \to \mathbf{H} := Sh_{(\infty,1)}(Pro(\mathcal{T})) \,.

The path ∞-groupoid is like a structure sheaf on a gros (∞,1)-topos.

This leads to a particularly symmetric situation of a structured (∞,1)-topos, where in fact we are dealing with bi-sheaves

Π˜Func(Pro(𝒢)×Pro(𝒯) op,Grpd). \tilde \Pi \in Func( Pro(\mathcal{G}) \times Pro(\mathcal{T})^{op}, \infty Grpd) \,.

In this special situation we have the Yoneda extension

Pro(𝒯) Π Sh (,1)(Pro(𝒯)) Y flat Π Sh (,1)(Pro(𝒯)) \array{ Pro(\mathcal{T}) &\stackrel{\Pi}{\to}& Sh_{(\infty,1)}(Pro(\mathcal{T})) \\ \downarrow^Y & {}^{flat}\swarrow \nearrow_{\Pi} \\ Sh_{(\infty,1)}(Pro(\mathcal{T})) }

of the path ∞-groupoid construction Π()\Pi(-) to a morphism

Π:HH \Pi : \mathbf{H} \to \mathbf{H}

that computes the \infty-path in general 𝒯\mathcal{T}-spaces. This has a right adjoint

HH:() flat \mathbf{H} \leftarrow \mathbf{H} : (-)_{flat }

The choice of such a geometric structure Π:Pro(𝒯)H=Sh (,1)(Pro(𝒯))\Pi : Pro(\mathcal{T}) \to \mathbf{H} = Sh_{(\infty,1)}(Pro(\mathcal{T})) on a gros (,1)(\infty,1)-topos we call a differential geometric structure or just differential structure.

differential cohomology

On a gros (,1)(\infty,1)-topos H\mathbf{H} structured by a choice of path ∞-groupoid assignments Π()\Pi(-) we geometric cohomologyohomology) of H\mathbf{H} refines to a notion of

Differential cocycles on target space XX are what encodes gauge fields on XX.

dynamics

These \infty-bundles with connection on XX encode the dynamics for objects propagating in XX.

… e.g. gauge fields, Background fields in twisted differential nonabelian cohomology, twisted differential String- and Fivebrane structures

Revised on November 4, 2009 08:01:28 by Urs Schreiber (80.187.148.67)