2. A (Coherent) Model for the Spacetime
In this section, we will describe the model of the spacetime seen as the space of spacetime events . At first, we start with three (more or less) obvious assumptions to restrict the class of spaces : smooth 4-manifold (we can use the concept of a differential equation for the dynamics), compactness (every sequence of events is an event) and simply-connectedness (every time-like loop can be contracted to maintain causality at least in principle). Then, the spacetime is an open submanifold of , including examples such as . To determine completely, we need the realization of Ricci-flatness in , representing the vacuum state (no matter) of general relativity. Together with the other assumptions, is the K3 surface, a Calabi–Yau space of two complex dimensions (i.e., a 4-dimensional real manifold). In the following, we will discuss the consequences of this approach. In particular, the K3 surface is a gravitational instanton and using the ideas of Hartle and Hawking, the Big Bang can be understood as a tunneling event induced from a gravitational instanton. We will argue below that the Big Bang is represented by the 4-disk with the initial state . Then, the corresponding quantum state must be a fractal space with topology. In our previous work, we obtained a relation between the quantum state and a so-called wildly embedded 3-sphere as fractal space. It is the main result of our argumentation in this section: the initial state of the universe is the fractal 3-sphere. The reader who is willing to accept this assumption can proceed to the next section.
There are infinitely many suitable topologies for the spacetime, seen as a 4-manifold, and for the space, seen as a 3-manifold. Of course, there are some heuristics, but they are usually not sufficient for the unique determination of spacetime. Here, we will take a different approach. Why not try to determine the space
of all possible spacetime-events? Therefore, we start with a definition: let
be the space of all possible spacetime events, i.e., the set of all spacetime events carrying a manifold structure. Then, a specific physical system or configuration is an embedding of a 3-manifold into
, and a dynamics is an embedding of a cobordism between 3-manifolds (representing the configuration at the initial and end points) into
. Here, we assume implicitly that everything can be geometrically/topologically expressed as submanifolds (see [
12,
13]). In the following, we will try to discuss this approach and how far one can go. Some heuristic arguments are rather obvious:
is a smooth 4-manifold,
Any sequence of spacetime events has to converge to a spacetime event and
Any loop (time-like or not) must be contracted.
A dynamics is known to be a mapping of a spacetime event to a new spacetime event. It is usually a smooth map (differential equations) motivating the first argument. The second argument expresses the fact that any initial spacetime event must converge to a final spacetime event, or the limit of any sequence of spacetime events must converge to a spacetime event. Then,
is a compact, smooth 4-manifold. The usual or actual spacetime is an open subset of
. The third argument above is motivated to neglect time-like loops in principle. If the underlying spacetime is multiple-connected, then there are loops in the spacetime that cannot be contracted to a point, leading to potential time-like loops. Therefore, a simple-connected spacetime is a necessary condition to avoid closed time-like loops. However, compact spacetime always admits closed time-like loops, see [
14]. Therefore, this condition is not sufficient, but the usual (or actual) spacetime is an open subset of
, or the usual spacetime is embedded in
. Then, if the usual spacetime is also simply-connected because of the non-compactness, see [
14] again, there are no time-like loops. However, to understand the property ’simple-connectedness’, we consider a loop in the spacetime. If this loop cannot contract, then there are two ways or two different curves connecting two different events. By changing the embedding of the curves via a diffeomorphism (this procedure is called isotopy), we can deform one curve to agree with the other curve, or every loop formed by the two curves can be contracted. Therefore, this argument implies that there are no time-like loops, and the non-compactness of the open subset implies causality. Finally,
is a compact, simply connected, smooth 4-manifold.
The following restrictions of
will determine the spacetime completely. For that reason, we demand that the equations of general relativity are valid without any restrictions. Then, the vacuum equations are given by
so that we obtain Ricci-flatness. However, as shown in [
15,
16] and in recent years in [
12,
13,
17], the coupling to matter can be described by a change in the smoothness structure. Therefore, the modification of the smoothness structure will produce matter (or sources of gravity). However, at the same time, we need a smoothness structure that can be interpreted as a vacuum given by a Ricci-flat metric. Therefore, we will demand that
- 4.
has to admit a smoothness structure with a Ricci-flat metric representing the vacuum.
Interestingly, these four demands are restrictive enough to determine the topology of
completely. With the help of Yau’s seminal work [
18], the K3 surface is the unique compact, simply connected Ricci-flat 4-manifold, and we will obtain that
is topologically equivalent (homeomorphic) to the K3 surface.
However, it is known by the work of LeBrun [
19] that there are non-Ricci-flat smoothness structures. Therefore, in the next step, we will determine the smoothness structure of
. For that purpose, we will present some known results in the differential topology of 4-manifolds (see [
20] for details and the construction of the
manifold):
There is a compact, contractible submanifold (called Akbulut cork) so that cutting out A and regluing it (by an involution) will produce a new smoothness structure,
splits topologically into
two copies of the
manifold and three copies of
and
The 3-sphere is a submanifold of A.
In [
21], we already discussed this case. From the topological point of view, any sum of
manifolds and
is realized by a closed, simply-connected, topological 4-manifold but not all topological 4-manifolds are smooth manifolds. To clarify this point, let us consider the 4-manifold, which splits topologically into
p copies of the
manifold and
q copies of
or
Then, this 4-manifold is smoothable for every
q but
. The first combination for
is the pair of numbers
(which is the K3 surface). Any other combination (
or every
q and
) is forbidden, as shown by Donaldson [
22]. Therefore, the simplest combination of
and
is realized by the K3 surface.
Now we consider the smooth K3 surface, which is Ricci-flat, simply connected and smooth. A main part of the following discussion will be the usage of the smoothness condition. As discussed above, the smoothness structure is determined by the Akbulut cork
A. Furthermore, as argued above, the smoothness structure is strongly related to the appearance of matter (see [
12,
13,
17]), and this process is strongly connected to the evolution of our cosmos (see [
23,
24]). This process is known as reheating after the inflationary phase. Therefore, the Akbulut cork (including its embedding) should represent the inflationary phase with reheating. We have already partly discussed this in our works (see [
17,
25] for the first results in this direction).
The central submanifold determining the smoothness structure is the Akbulut cork
A, a contractible submanifold with boundary
. As shown by Freedman [
5], the Akbulut cork is build from a homology 3-sphere, which will become the boundary
. The difference to a usual 3-sphere
is given by the so-called fundamental group, the equivalence class of closed loops up to deformation (homotopy) with concatenation as the group operation. In principle, one constructs a cobordism between
and the homology 3-sphere
. All elements of the fundamental group will be killed by adding appropriate disks. In the end, one can add a 4-disk to obtain the full contractible cork
A. The topology of
depends strongly on the topology of
. In the case of the K3 surface,
is known to be a Brieskorn sphere, precisely the 3-manifold
The construction of the smoothness structures is based on the work [
26,
27]. The smoothness structure depends on the Casson handle (used to construct an exotic
in the cited work). A Casson handle is uniquely determined by a branched tree. Then, the simplest Casson handle is given by an unbranched tree, and we will choose this smoothness structure in the following. The corresponding K3 surface is constructed in [
27].
The embedding of the Akbulut cork is essential for the following results. In [
23], it was shown that the embedded cork admits a hyperbolic geometry if the underlying K3 surface has an exotic smoothness structure. Additionally, the open neighborhood
of the Akbulut cork in the K3 surface is an exotic
, i.e., a space homeomorphic to the Euclidean space
but not diffeomorphic to it. In the following, we will denote this exotic
as
. One of the characterizing properties of an exotic
(all known examples) is the existence of a compact subset
, which cannot be surrounded by any smoothly embedded 3-sphere (and homology 3-sphere bounding a contractible, smooth 4-manifold). However, there is always a topologically embedded 3-sphere, i.e., this 3-sphere is wildly embedded. In [
17], we described this wildly embedded 3-sphere explicitly (denoted as
), and we showed in [
3] that this wildly embedded 3-sphere can be understood as a quantum state, i.e., it is the deformation quantization of a tame (or usual) embedding. The notation
wildly embedded or
wild is purely mathematical. Instead, we will denote this wild 3-sphere as a
fractal 3-sphere. However, at first, we will look at the Akbulut cork
A, which can be decomposed as
where
describes a cobordism between the 3-sphere and the boundary
. In [
23], we discussed this cobordism
as the first (inflationary) transition
from the initial state (the 3-sphere) to a non-trivial space (containing matter). Then, by using the embedding of
A into the K3 surface, we identify the 3-sphere (boundary of
) with the wild 3-sphere
(from the open neighborhood
), or the initial state of our model of the universe is a fractal 3-sphere (which is a quantum state, see [
3,
17]). With this identification in mind, we are able to interpret the first transition
(from the wild 3-sphere to the (classical) non-trivial state
) as a decoherence process, see [
28]. In [
23], we discussed a second transition leading to a cosmological constant. Finally, we have the two transitions
where
P denotes the Poincare sphere. In this paper, we are interested in the formation of the initial state (the fractal 3-sphere), also called the Big Bang. Using the decomposition (
2), this formation is expressed in spacetime via the 4-manifold
with the boundary
, the (fractal) 3-sphere. Again, the embedding of
into the K3 surface is important, otherwise one will never obtain the fractal 3-sphere as a boundary. Therefore, many properties of the K3 surface go over to
by using the embedding.
To describe this embedding, we need the following fact: the K3 surface is a gravitational instanton. We implicitly used this fact above when we constructed a simply-connected, Ricci-flat spacetime (uniquely given by the K3 surface). In general, an instanton is a field configuration, which is interpreted as a tunneling effect between topologically in-equivalent sectors of the vacuum. The term “gravitational instanton” is usually used for 4-manifolds whose Weyl tensor is self-dual and fulfills the Einstein condition
. Usually, it is assumed that the metric is asymptotic to the standard metric of Euclidean 4-space. In the case of the K3 surface, there is the phenomenon where gravitational instantons are created by bubbling off a subspace. Here, we recommend the recent publication [
29] for the description of this process. To state it more precisely, there is a family of hyperkähler metrics
on a K3 surface, which collapse to an interval
in the Gromov–Hausdorff limit (
with metrics
) with Taub-NUT bubbles in the interior and Tian–Yau metrics at the endpoints. For the embedding of
, we choose the Taub-NUT metric in the (open) neighborhood of the boundary. However, what about the interior of
? Here, we have to use the elliptic fibration of the K3 surface (as torus bundle over the
with singular fibers, see [
30]). Then, we can describe the embedded
by the Eguchi–Hanson metrics (a gravitational instanton). This metric is a Riemannian metric. Here, the signature of the metrics changes from the Riemannian signature (for
) to the Lorentzian signature (for
). In a recent publication [
31], a gravitational instanton with these properties is constructed. The construction explicitly used the hyperkähler structure (
holonomy group). The gluing of the instanton solutions can be performed by using the work in [
29].
As explained above, the boundary
is identified with the wild (or fractal) 3-sphere. Then, the signature change in the metric can be identified with the formation of this fractal 3-sphere. Here, we follow the usual interpretation (Hartle–Hawking and Hawking–Turok see [
1,
2]) that the gravitational instanton
represents the Big Bang (via a tunneling event) leading to the quantum state of the universe. In [
3], we showed that a quantum state can be topologically understood as a wildly embedded 3-sphere or a fractal 3-sphere for short. Therefore, we will argue accordingly that the quantum state of the universe (as initial state) is represented by the fractal 3-sphere. In the next section, we will describe this fractal 3-sphere explicitly.
3. The Construction of the Fractal 3-Sphere as a Quantum State
In [
23,
24,
25,
32], we described a model for the cosmic evolution, which is in good agreement with current measurements [
33,
34]. Amazingly, as discussed above, we are able to extrapolate the state at the Big Bang [
17,
32]: a fractal 3-sphere as a boundary of a 4-disk
, i.e., a gravitational instanton as a transition (tunneling) to a fractal 3-sphere representing the quantum state [
3]. Furthermore, as explained above, this fractal 3-sphere is part of
, an exotic
. Before we start with the construction of the fractal 3-sphere, we will describe the physical ideas behind the construction. In the introduction, we explained the concept of a wild embedding (or fractal space). In short, a wild embedding is a submanifold (image of an embedding map), which must be decomposed into infinitely many substructures (polygons etc.). Therefore, it contains an infinite amount of information. In our previous work, we showed that the wild embedding is an expression for a quantized geometry. In the case of a fractal 3-sphere (as wildly embedded 3-sphere), one decomposes the 3-sphere into similar-looking pieces with constant curvature. Every piece has a different curvature so that the whole fractal 3-sphere represents the set of possible curvatures. These structures appear at all scales. Because of this property, we have to use the methods of noncommutative geometry to obtain a rigorous definition of this procedure. The following construction of the fractal 3-sphere is directly motivated by the exotic smoothness structure. The basic structure is a tree (used to define the Casson handle). Every part of the tree-like edge or vertex is associated with a 3-manifold. For the whole tree, one obtains an infinitely complicated 3- manifold, which is topologically equivalent to a 3-sphere. This fractal 3-sphere is the boundary of a 4- disk or 4-ball, described in the next section, and represents the Big Bang as a gravitational instanton (via a tunneling event).
In [
17], we described this fractal 3-sphere as a sequence of 3-manifolds
with increasing complexity. At first, we want to comment on the uniqueness of the construction. The sequence of 3-manifolds is determined by the smoothness structure or, better, by the Casson handle, which is used to construct this structure. Every Casson handle is represented by a tree. This tree is translated into a link: every
n-branching point (vertex of the tree) is given by a Whitehead link with
n circles, and every line (edge of the tree) is given by the circle of the Whitehead link. In the previous section, we introduced the smoothness structure as given by the unbranched tree. Obviously, the unbranched tree is a subtree for any other more complex tree. It is a fundamental property of Casson handles (see [
5]) that a Casson handle
embeds into another Casson handle
, say
, iff the tree of
embeds into the tree of
. Therefore, any other Casson handle embeds into the Casson handle represented by the unbranched tree. This property is unique for the smoothness structure and the construction of the fractal 3-sphere.
For completeness, we will shortly explain the construction. The 3-manifold
is given by surgery (
framed) along the pretzel knot
(or the knot
in Rolfson notation),
is constructed by
framed surgery along the Whitehead double of the pretzel knot
, and finally,
is constructed by
framed surgery along the
nth Whitehead double of the pretzel knot
. In the limit
, we obtained
as a
framed surgery along the
∞th Whitehead double of the pretzel knot
(a so-called wild knot). This 3-manifold
is the fractal 3-sphere (it has the topology of a 3-sphere by a theorem of Freedman [
5]). The whole process can be seen as an iteration process at the level of 3-manifolds: we start with
and end with
, the fractal 3-sphere.
To understand this abstract construction (via Dehn surgery or Kirby calculus [
30]), we have to describe the construction of the first 3-manifold
more carefully. For that purpose, we have to describe Dehn surgery or surgery along a knot. If we remove a thicken knot
(so-called tubular neighborhood) from the 3-sphere
, then one obtains the knot complement
. Now we glue in one solid torus
to
by a mapping of the boundary
so that we obtain
All closed curves on a torus can be generated by the two possible non-contracting curves
the meridian and longitude, respectively. In principle, any closed curve
on a torus
is given by two numbers with
(for the homotopy classes). Then the map
is characterized by a mapping of the meridian
m of one torus to the curve
determined by the ratio
(including
∞ for
) called the frame number. As a warm-up example, we consider the 0-framed surgery along the unknot
in
. The knot complement of the unknot
is glued to another solid torus
(along its boundary
) with framing 0, which means that the meridian of
is mapped to the meridian of
. However, that means that
is glued to
along the boundary, i.e.,
. Therefore, the
framed surgery along the unknot gives
. Interestingly,
framed surgery along any knot produces a 3-manifold, which is very similar to
(having the same homology). Every
in the sequence above is produced by
framed surgery along a knot of increasing complexity. One starts for
with the knot
(in Rolfson notation) producing
, then
with
is produced by the Whitehead double
of this knot,
is given by the second iterated Whitehead double
and so on. In the limit
, one obtains
as
framed surgery along the
iterated Whitehead double
of
(a so-called wild knot). However, this limit changes the topology of
. For every finite
,
has the same homology as
but
is topologically equivalent to
(by a theorem of Freedman [
5]).
In [
3,
17], we constructed a quantum state from a wild embedding. The main idea is to develop a description of the wild embedding by using operator algebra in the spirit of noncommutative geometry. This relation is strict: the wild embedding has a one-to-one relation to a foliation with leaf space of factor
von Neumann algebra known as the observable algebra of a quantum field theory. To understand this relation from a geometrical point of view, we will use the decomposition of factor
into factor
and a one-parameter group of automorphisms. We remark that this decomposition was used by Rovelli and Connes [
35] to introduce a time variable in quantum gravity. This decomposition means that in some sense, the intractable factor
can be reduced to the easier accessible factor
(operators of finite trace).
For completeness, we will also present the construction (see [
3]) of the
algebra from the wild embedded 3-sphere. Let
be a wild embedding of codimension-one so that
. Now we consider the complement
, which is non-trivial, i.e.,
. Now we define the
algebra
) associated with the complement
with group
. If
is non-trivial, then this group is not finitely generated. From an abstract point of view, we have a decomposition of
by an infinite union
of ‘level sets’
. Then every element
lies (up to homotopy) in a finite union of levels.
The basic elements of the
algebra
) are smooth half-densities with compact supports on
,
, where
for
is the one-dimensional complex vector space of maps from the exterior power
(
), of the union of levels
L representing
, to
such that
For
, the convolution product
is given by the equality
with the group operation
in
. Then we define via
a ∗operation making
into a ∗algebra. Each level set
consists of simple pieces (in the case of Alexanders horned sphere, we will explain it below) denoted by
T. For these pieces, one has a natural representation of
on the
space over
T. Then, one defines the representation
The completion of
with respect to the norm
makes it into a
algebra
). Finally, we are able to define the
algebra associated to the wild embedding. Using a result in [
3], one can show that the corresponding von Neumann algebra is the factor
. This algebra is the observable algebra of a free (algebraic) quantum field theory with one vacuum vector [
36]. Here we will discuss an alternative way to construct factor
. For that purpose, we look again at the construction of the wild 3-sphere
. The
iterated Whitehead double
of the knot
gives a wild knot
, and
can be constructed by
the
framed surgery. In [
3], we discussed the known result that the (deformation) quantization of the geometric structures (space of constant curvature) is given by the Kauffman bracket skein module. For
, it means that we have to consider the Kauffman bracket skein module
of
. Here, it is known that
is a module over the noncommutative torus, which is related (for
to the boundary
. The noncommutative torus defines a factor
algebra, and we will show in our forthcoming work that the whole
gives the factor
.
4. The Quantum Spacetime at the Big Bang
In
Section 2, we described the Big Bang as gravitational instanton
(induced from spacetime, the K3 gravitational instanton). The initial state of the universe is given as the boundary
, a wild 3-sphere, via a tunneling process (Hartle–Hawking). Usually, nothing is known about the formation of the initial state via the tunneling process. In contrast, we have here the comfortable situation that there is a relation between the boundary—the wild 3-sphere—and the interior of the 4-disk. There is a process for the formation of the wild 3-sphere, which is divided into an infinite number of subprocesses, called Casson handles. This structure is called the design and was developed for the classification of 4-manifolds [
4,
5]. All subprocesses can be parameterized by all paths in a binary tree. The detailed construction of these Casson handles is unimportant for the following (but see [
5]). Again before we start with the construction, we will discuss the physics behind it. As in the case of the fractal 3-sphere, the design is a geometric/topological expression for the quantum state of the spacetime. Here, it is the formation of the fractal 3-sphere seen as the boundary of the 4-disk. The design is a summation of all possible formation processes. It is an expression for the functional integral. As for the construction of the fractal 3-sphere, we also obtain complicated substructures at all scales, so we need the methods of the noncommutative geometry again. Here, the formation process is parametrized by a binary tree, where every path is a particular process. However, we need all processes or paths of the binary. Therefore, we associate to every path an operator, which consists of a sum of elementary operators (projection operators). Then one directly obtains an operator algebra (Temperley–Lieb algebra) which can be interpreted as an algebra of field operators. Here, we use the fact that we consider paths of a binary tree: the operator algebra is the algebra of fermion field operators. Interestingly, the expectation value in this algebra is related to a structure (Jones polynomial), which is well-known for three-dimensional manifolds and knots. Now we argue backwards: the expectation value is defined by a functional integral with Chern–Simons action in agreement with our previous work. The Chern–Simons action in the light cone gauge is interpreted as an invariant of the underlying foliation of the spacetime. Again with the help of noncommutative geometry, we are able to obtain a kind of quantum action (the so-called flow of weights). We remark that at the topological level, we have a kind of duality between the design (4D) and links (3D), which will be further investigated in our forthcoming work.
The design
is a structure to label all Casson handles that embed in a given Casson handle
Q. In our case, this Casson handle
Q is represented by an unbranched tree. Then, this Casson handle
Q represents (in some sense) all Casson handles. We will define this design
to be the quantum state of
Q. Below, we will determine the operator algebra associated with
Q, and we will show that this algebra is a von Neumann algebra of finite trace as well as with one vacuumB vector (factor
). However, at first, we will describe the construction of the design
. In [
37], we also described this construction but in a different context. For completeness, we will present this construction again.
According to Freedman ([
5] p. 393), a Casson handle is represented by a labeled finitely-branching tree
Q with basepoint ☆, having all edge paths infinitely extendable away from ☆. Each edge should be given a label + or −. The tree
Q is fixed, generating the wild 3-sphere (as the boundary of
). Then Freedman ([
5] p. 398) constructs another labeled tree
from the tree
Q. There is a base point from which a single edge (called “decimal point”) emerges. The tree is binary: one edge enters and two edges leave a vertex. The edges are named by initial segments of infinite base 3-decimals, representing numbers in the standard “middle third” Cantor set
. This kind of Cantor set is given by the following construction: start with the unit Interval
and remove from that set the middle third and set
. Continue in this fashion, where
. Then the Cantor set
is defined as
. In other words, if we are using a ternary system (a number system with base 3), then we can write the Cantor set as
. Each edge
e of
carries a label
, where
is an ordered finite disjoint union of 6-level-subtrees. There are three constraints on the labels, which leads to the correspondence between the ±-labeled tree
Q and the (associated)
-labeled tree
.
Every path in
represents one tree leading to a Casson handle. Any subtree represents a Casson handle, which embeds in
Q (see above). Now we will introduce an (operator) algebra structure on
. For that purpose, we have to consider pairs of paths in the (dual) tree of
. Thus, we have to concentrate on the so-called string algebra, according to Ocneanu [
7]. For that purpose, we define a non-negative function
together with the adjacency matrix
acting on
by
where
and
denote the source and the range of an edge
v. A path in the tree is a succession of edges
, where
, and we write
for the edge
v with the reversed orientation. Then, a string on the tree is a pair of paths
, with
,
, which means that
and
ending on the same level in the tree and
have equal lengths, i.e.,
expressing the previously described property
too. Now we define an algebra
with the linear basis of the
n-strings, i.e., strings with length
n and the additional operations:
where · can be seen as the concatenation of paths. We normalize the function
by
. Now we choose a function
in such a manner that
for a complex number
. Then we can construct elements
in the algebra
by
which are the generators of the so-called Temperley–Lieb algebra. A
Temperley–Lieb algebra is an algebra with unit element
over a number field
K generated by a countable set of generators
with the defining relations
where
is a real number in
. By [
8], the Temperley–Lieb algebra has a uniquely defined trace
, which is normalized to lie in the interval
. The generators (
5) also fulfill these algebraic relations (
6) where
. The trace of the string algebra is given by
and defines on
an inner product by
given after completion the Hilbert space
.
Now we will determine the parameter
. Originally, Ocneanu introduces its string algebra to classify the splittings of modules over operator algebra (see also [
38]). Thus, to determine this parameter, we look for the simplest generating structure in the tree. The simplest structure in the binary tree
is one edge, which is connected with two other edges. This graph is represented by the following adjacency matrix
with eigenvalues
. According to our definition above,
is given by the greatest eigenvalue of this adjacency matrix, i.e.,
and thus
. Then, without proof, we state that the algebra
R is given by the Clifford algebra on
. The coefficients of this algebra are given by a map
.
The definition of the trace (
7) (or better, the inner product) has a strong link to knot theory. This algebra (
6) was used by Jones [
8,
9] to define a new knot invariant. Therefore, we can interpret every expectation value as the knot/link invariant of a certain knot/link (represented by a braid, see [
39]) or a sum of these invariants. However, before we have to map the projectors
to the generators
so that
(for the special value
), see [
9]. Then every generator
of the braid group
is mapped to
(and vice versa). Therefore, the expectation value is associated with a (formal sum) of braids. The closure of these braids are links or every string
defines a (formal) sum of links
. Then,
must be equal (by definition) to the Jones polynomial
for the link
for the special value
(in general
). The value of the Jones polynomial for
is known to be
where
ℓ is the number of components for
and
is the Arf-invariant of the link (see [
40] for the proof of the result and the definitions).
By this chain of arguments, we are able to derive a further link to understand the underlying action for calculating the expectation value. In [
11], Witten constructed a topological quantum field theory (TQFT) for the Jones polynomial. This theory has its home on a 3-manifold
, and we will discuss this 3-manifold below. Let
A be a connection of a
principle bundle over
. The Chern–Simons action is given by
then from [
11], one has the relation
between the trace
and the functional integral over the action (
8), where
is the Wilson loop along the link
L for the connection
A. With this trick, we obtain the action functional (Chern–Simons action) and the observable (Wilson loop) for the underlying physical theory. The Jones polynomial is known to be intricately connected with the quantum enveloping algebra of the Lie algebra of the group
, see [
41]. In our case, the parameter
is the fourth root of unity, and it is known that this quantum q-deformation of the Lie algebra
yields a finite-dimensional modular Hopf algebra. Therefore, we have determined the underlying quantum symmetry (of the initial state at the Big Bang) as the enveloped algebra
. Furthermore, in [
11], a relation between the
-dimensional Chern–Simons theory and a
dimensional conformal field theory is also discussed. In particular, it was shown that the Hilbert space of pure Chern–Simons theories is isomorphic to the space of conformal blocks of an underlying Conformal Field Theory. This link seems to imply that there is an underlying
dimensional theory. We discussed a similar mechanism in [
32] using the Morgan–Shalen compactification and will study the relation between the two approaches in our forthcoming work.
Now we have to determine the 3-manifold
in the definition of the Chern–Simons theory. At the first view, we identify
with the wild 3-sphere. Then, this theory is stationary, i.e., it contains no time variable. However, as explained above, the formation of the wild 3-sphere can be seen as a process where the 3-manifold is growing by attaching three-dimensional pieces along surfaces. In the definition of the string algebra, we used Casson handles to define the generators
. However, Casson handles have an inherent 2-dimensional definition (neighborhood of immersed disks), which is used to define the construction of the wild 3-sphere (see [
17] for a detailed construction). Then we can see the 3-manifold
as a non-trivial cobordism between surfaces (used to define the wild 3-sphere), i.e., we define the Chern–Simons theory as a
-dimensional theory right in the sense of Witten [
11]. The 3-manifold is foliated by the surfaces. To construct this foliation, we introduce light cone coordinates (
) together with the connection 1-form
(following ([
42], sec. 4)). Now we choose the gauge
(axial gauge) so that we have a non-zero gauge field for the future light cone (seen from the Big Bang). Then the Chern–Simons action simplifies to
and the restriction of the
bundle to the surface leads to a bundle reduction from
to
bundle with an abelian connection
a and Chern–Simons form
This form has a different interpretation in foliation theory: it is the Godbillon–Vey invariant [
43]. Recall that a foliation
of a manifold
M is an integrable subbundle
of the tangent bundle
. The leaves
L of the foliation
are the maximal connected submanifolds
with
. A codimension-1 foliation on a 3-manifold
can be constructed by a smooth 1-form
, fulfilling the integrability condition
. Now one defines another one-form
by
and the integral over the expression
is the Godbillon–Vey invariant. Then the Chern–Simons invariant in the axial gauge defines a codimension-1 foliation of
, where the Chern–Simons invariant is the Godbillon–Vey invariant. The critical values of the functional
are given by
, and we obtain a foliation by vanishing Godbillon–Vey invariant. These foliations are rather trivial (such as surface × line or Reeb foliation). As shown in [
44,
45], foliations are really complicated. In the language of noncommutative geometry, the leaf space of a foliation with non-vanishing Godbillon–Vey invariants is a von-Neumann algebra, which contains a factor
subalgebra. As shown by Connes [
46,
47], the Godbillon–Vey class
can be expressed as a cyclic cohomology class (the so-called flow of weights)
of the
algebra for the foliation. Then, we define an expression
uniquely associated with the foliation (
is the Dixmier trace). The expression
S generates the action on the factor by
so that
S is the action or the Hamiltonian multiplied by the time. We have evaluated this expression for some cases in [
17], and we interpret it as quantum action. A detailed analysis will be shifted to our forthcoming work.
However, this action is partly satisfactory. In noncommutative geometry, one introduces a spectral triple with a Dirac operator as the main ingredient. Therefore, let us consider a Dirac operator
on
. As a second ingredient, we introduced a codimension-1 foliation along the 1-form
a, which is interpreted as an abelian gauge field. To take this foliation into account, we couple the abelian gauge field
a and the spinor
to the Dirac–Chern–Simons action functional on the 3-manifold
with the critical points at the solution
where
is the unique quadratic form for the spinors locally given by
. Now we consider a spacetime
, so that the solution is translationally invariant. Expressed differently, we choose a spacetime with foliation induced by the foliation of
extended by a translation. An alternative description for this choice is by considering the gradient flow of these equations
However, it is known that this system is equivalent to the Seiberg–Witten equation for
by using an appropriate choice of the
structure [
48,
49]. Then, this
structure is directly related to the foliation. Therefore a non-trivial foliation together with a spectral triple (Dirac operator) induces a non-trivial solution of the gradient system, which results in a non-trivial solution of the Seiberg–Witten equations. However, this non-trivial solution (i.e.,
) is a necessary condition for the existence of an exotic smoothness structure. Therefore, we have a closed circle: we started with a smooth spacetime at the Big Bang forming the initial state. If this state is a wild 3-sphere, we obtain a non-trivial foliation (=non-vanishing Godbillon–Vey invariant), which produces a non-trivial solution of the Seiberg–Witten equations.
Before closing this section, we will discuss the dynamical interpretation of the string algebra above and the observable. The design
relative to a Casson handle
Q (in our case, the unbranched tree) is the sum over all Casson handles leading to the quantum state (the fractal 3-sphere as constructed from
Q). The string algebra for the binary tree (representing the design) is the Clifford algebra of the Hilbert space. From the physics point of view, it is the algebra of fermion field operators. Every field operator is given by a path in the binary tree (weighted by some coefficients). A combination of the results in [
12,
37] showed that the fermion field operators (as elements of the Ocneanu string algebra) can also be interpreted as the leaf space of a type
foliation (see [
44]) seen as a crossed product of the string algebra and its modular automorphism group. This product with the automorphism group is a time-dependent representation of the field operators (see [
35]). Therefore, the foliation of type
(having a non-zero Godbillon–Vey invariant) is the dynamical interpretation of string algebra. However, we know more because the design was seen as the formation of the fractal 3-sphere as given by a sequence of 3-manifolds. This process is given by a sequence of 3-manifold topology change, which was described in [
25]. It leads to an inflationary behavior, which is approximately described by a de Sitter space (see [
23]). In [
50], the algebra of an observable for a de Sitter space is described to be a von Neumann algebra of type
. Here we conjecture that there must be a relation between our string algebra and this algebra of observables.