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.