Experimental Tests of Quantum Gravity and Exotic Quantum Field Theory EffectsView this Special Issue
Research Article | Open Access
Inflation and Topological Phase Transition Driven by Exotic Smoothness
We will discuss a model which describes the cause of inflation by a topological transition. The guiding principle is the choice of an exotic smoothness structure for the space-time. Here we consider a space-time with topology . In case of an exotic , there is a change in the spatial topology from a 3-sphere to a homology 3-sphere which can carry a hyperbolic structure. From the physical point of view, we will discuss the path integral for the Einstein-Hilbert action with respect to a decomposition of the space-time. The inclusion of the boundary terms produces fermionic contributions to the partition function. The expectation value of an area (with respect to some surface) shows an exponential increase; that is, we obtain inflationary behavior. We will calculate the amount of this increase to be a topological invariant. Then we will describe this transition by an effective model, the Starobinski or model which is consistent with the current measurement of the Planck satellite. The spectral index and other observables are also calculated.
General relativity (GR) has changed our understanding of space-time. In parallel, the appearance of quantum field theory (QFT) has modified our view of particles, fields, and the measurement process. The usual approach for the unification of QFT and GR, to a quantum gravity, starts with a proposal to quantize GR and its underlying structure, space-time. There is a unique opinion in the community about the relation between geometry and quantum theory: the geometry as used in GR is classical and should emerge from a quantum gravity in the limit (Planck’s constant tends to zero). Most theories went a step further and try to get a space-time from quantum theory. Then, the model of a smooth manifold is not suitable to describe quantum gravity. But, there is no sign for a discrete space-time structure or higher dimensions in current experiments. Hence, quantum gravity based on the concept of a smooth manifold should also able to explain the current problems in the standard cosmological model (CDM) like the appearance of dark energy/matter or the correct form of inflation. But before we are going in this direction we will motivate the usage of the smooth manifold as our basic concept.
When Einstein developed GR, his opinion about the importance of general covariance changed over the years. In 1914, he wrote a joint paper with Grossmann. There, he rejected general covariance by the now famous hole argument. But after a painful year, he again considered general covariance now with the insight that there is no meaning in referring to the space-time point A or the event A, without further specifications. Therefore the measurement of a point without a detailed specification of the whole measurement process is meaningless in GR. The reason is simply the diffeomorphism invariance of GR which has tremendous consequences. Furthermore, GR do not depend on the topology of space-time. All restrictions on the topology of the space-time were formulated using additional physical conditions like causality (see ). This ambiguity increases in the 80's when the first examples of exotic smoothness structures in dimension 4 were found. The (smooth) atlas of a smooth 4-manifold is called the smoothness structure (unique up to diffeomorphisms). One would expect that there is only one smooth atlas for ; all other possibilities can be transformed into each other by a diffeomorphism. But in contrast, the deep results of Freedman  on the topology of 4-manifolds combined with Donaldson’s work  gave the first examples of nondiffeomorphic smoothness structures on 4-manifolds including the well-known . Much of the motivation can be found in the FQXI essay [4, 5]. Here we will discuss another property of the exotic smoothness structure: its quantum geometry in the path integral.
Diffeomorphism invariance is the most important property of the Einstein-Hilbert action with far reaching consequences . One of our results is a close relation between geometry and foliation to exotic smoothness [7, 8]. In the particular example of the exotic , we discussed the exotic smoothness structures as a manifestation of quantum gravity (by using string theory [9, 10]). This exotic has some interesting properties as first noted by Brans [11, 12]. More importantly as shown by Sładkowski , the exotic has a nontrivial curvature in contrast to the flat standard . It was the first result that an exotic can be seen as a source of gravity (or it must contain sources of gravity). Sładkowski [14–16] went further and showed a relation to particle physics also related to quantum gravity. But why there is a relation to quantum gravity? In  we presented the first idea to understand this relation which was further extended in . An exotic 4-manifold like is also characterized by the property that there is no smoothly embedded 3-sphere but a topological embedded one. This topological is wildly embedded; that is, the image of the embedding must be triangulated by an infinite polyhedron. In , we proved that the (deformation) quantization of a usual (or tame) embedding is a wild embedding which can be seen as a quantum state. But then any exotic 4-manifold can be interpreted as a quantum state of the 4-manifold with standard smoothness structure. From this point of view, the calculation of the path integral in quantum gravity has to include the exotic smoothness structures. Usually it is hopeless to make these calculations. But by using the close relation of exotic smoothness to hyperbolic geometry, one has a chance to calculate geometric expressions like the expectation value of the surface area. In this paper we will show that this expectation value has an inflationary behavior; that is, the area grows exponentially (along the time axis). Therefore quantum gravity (in the sense of exotic smoothness) can be the root of inflation.
2. Space-Time and Smoothness
From the mathematical point of view, the space-time is a smooth 4-manifold endowed with a (smooth) metric as basic variable for general relativity. The existence question for Lorentz structure and causality problems (see Hawking and Ellis ) give further restrictions on the 4-manifold: causality implies noncompactness; Lorentz structure needs a nonvanishing normal vector field. Both concepts can be combined in the concept of a global hyperbolic 4-manifold having a Cauchy surface so that .
All these restrictions on the representation of space-time by the manifold concept are clearly motivated by physical questions. Among these properties there is one distinguished element: the smoothness. Usually one starts with a topological 4-manifold and introduces structures on them. Then one has the following ladder of possible structures: We do not want to discuss the first transition, that is, the existence of a triangulation on a topological manifold. But we remark that the existence of a PL structure implies uniquely a smoothness structure in all dimensions smaller than 7 . Here we have to consider the following steps to define a space-time.(i)Fix a topology for the space-time .(ii)Fix a smoothness structure, that is, a maximal differentiable atlas .(iii)Fix a smooth metric or get one by solving the Einstein equation.The choice of a topology never fixes the space-time uniquely; that is, there are two space-times with the same topology which are not diffeomorphic. The main idea of the paper is the introduction of exotic smoothness structures into space-time. If two manifolds are homeomorphic but nondiffeomorphic, they are exotic to each other. The smoothness structure is called an exotic smoothness structure.
In dimension four there are many examples of compact 4-manifolds with countable infinite nondiffeomorphic smoothness structures and many examples of noncompact 4-manifolds with uncountable infinite many nondiffeomorphic smoothness structures. But in contrast, the number of nondiffeomorphic smoothness structures is finite for any other dimension . As an example, we will consider the space-time having uncountable many nondiffeomorphic smoothness structures in the following.
3. The Path Integral in Exotic
For simplicity, we consider general relativity without matter (using the notation of topological QFT). Space-time is a smooth oriented 4-manifold which is noncompact and without boundary. From the formal point of view (no divergences of the metric) one is able to define a boundary at infinity. The classical theory is the study of the existence and uniqueness of (smooth) metric tensors on that satisfy the Einstein equations subject to suitable boundary conditions. In the first order Hilbert-Palatini formulation, one specifies an -connection together with a cotetrad field rather than a metric tensor. Fixing at the boundary, one can derive first-order field equations in the interior (now called bulk) which are equivalent to the Einstein equations provided that the cotetrad is nondegenerate. The theory is invariant under space-time diffeomorphisms . In the particular case of the space-time (topologically), we have to consider a smooth 4-manifolds as parts of whose boundary is the disjoint union of two smooth 3-manifolds and to which we associate Hilbert spaces of 3-geometries, . These contain suitable wave functionals of connections . We denote the connection eigenstates by . The path integral, is the sum over all connections matching and over all . It yields the matrix elements of a linear map between states of 3-geometry. Our basic gravitational variables will be cotetrad and connection on space-time with the index to present it as 1-forms and the indices for an internal vector space (used for the representation of the symmetry group). Cotetrads are “square-roots” of metrics and the transition from metrics to tetrads is motivated by the fact that tetrads are essential if one is to introduce spinorial matter. is an isomorphism between the tangent space at any point and a fixed internal vector space equipped with a metric so that . Here we used the action in the notation of [20, 21]. Here the boundary term is equal to twice the trace over the extrinsic curvature (or the mean curvature). For fixed boundary data, (2) is a diffeomorphism invariant in the bulk. If are diffeomorphic, we can identify and ; that is, we close the manifold by identifying the two boundaries to get the closed 4-manifold . Provided that the trace over can be defined, the partition function, where the integral is now unrestricted, is a dimensionless number which depends only on the diffeomorphism class of the smooth manifold . In case of the manifold , the path integral (as transition amplitude) is the diffeomorphism class of the smooth manifold relative to the boundary. But the diffeomorphism class of the boundary is unique and the value of the path integral depends on the topology of the boundary as well on the diffeomorphism class of the interior of . Therefore we will shortly write and consider the sum of manifolds like with the amplitudes where we sum (or integrate) over the connections and frames on (see ). Then the boundary term is needed where is the mean curvature of corresponding to the metric at (as restriction of the 4-metric). Therefore we have to divide the path integration into two parts: the contribution by the boundary (boundary integration) and the contribution by the interior (bulk integration).
3.1. Boundary Integration
The boundary of a 4-manifold can be understood as embedding (or at least as immersion). Let be an immersion of the 3-manifold into the 4-manifold with the normal vector . The spin bundle of the 4-manifold splits into two subbundles , where one subbundle, say , can be related to the spin bundle of the 3-manifold. Then the spin bundles are related by with the same relation for the spinors and . Let be the covariant derivatives in the spin bundles along a vector field as section of the bundle . Then we have the formula with the obvious embedding of the spinor spaces. The expression is the second fundamental form of the immersion, where the trace is related to the mean curvature . Then from (8) one obtains a similar relation between the corresponding Dirac operators with the Dirac operator of the 3-manifold . Near the boundary , the 4-manifolds looks like and a spinor on this 4-manifold is a parallel spinor and has to fulfill the following equation: that is, yields the eigenvalue equation with the mean curvature of the embedding as eigenvalue. See our previous work  for more details.
Now we will use this theory to get rid of the boundary integration. At first we will discuss the deformation of an immersion using a diffeomorphism. Let be an immersion of (3-manifold) into (4-manifold). A deformation of an immersion is diffeomorphisms and of and , respectively, so that
One of the diffeomorphisms (say ) can be absorbed into the definition of the immersion and we are left with one diffeomorphism to define the deformation of the immersion . But as stated above, the immersion is directly given by an integral over the spinor on fulfilling the Dirac equation (11). Therefore we have to discuss the action of the diffeomorphism group on the Hilbert space of -spinors fulfilling the Dirac equation. This case was considered in the literature . The spinor space on depends on two ingredients: a (Riemannian) metric and a spin structure (labeled by the number of elements in ). Let us consider the group of orientation preserving diffeomorphism acting on (by pullback ) and on (by a suitable defined pullback ). The Hilbert space of -spinors of is denoted by . Then according to , any leads in exactly two ways to a unitary operator from to . The (canonically) defined Dirac operator is equivariant with respect to the action of and the spectrum is invariant under (orientation preserving) diffeomorphisms. In particular we obtain for the boundary term with . (see ). But then we can change the integration process from the integration over the metric class on the 3-manifold with mean curvature to an integration over the spinor on . Then we obtain where is the Eta invariant of the Dirac operator at the 3-manifold (here we use a result of Witten; see ).
From the physical point of view, we obtain fermions at the boundary. The additional term with the Eta invariant reflects also an important fact. The state space of general relativity is the space of the (Lorentzian) metric tensor up to the group of coordinate transformations. This group of coordinate transformations is not the full diffeomorphism group; it is only one connected component of the diffeomorphism. That is the group of diffeomorphisms connected to the identity. In addition, there is also the (discrete) group of global diffeomorphisms which is in our case detected by the Eta invariant. For 3-manifolds there is a deep relation to the Chern-Simons invariant  which will be further studied at our forthcoming work.
3.2. Bulk Integration
Now we will discuss the path integral of the action in the interior of the 4-manifold . The contribution of the boundary was calculated in the previous subsection. In the (formal) path integral (2) we will ignore all problems (ill-definiteness, singularities, etc.) of the path integral approach. Next we have to discuss the measure of the path integral. Currently there is no rigorous definition of this measure and as usual we assume a product measure.
Then we have two possible parts which are more or less independent from each other:(i)integration over geometries;(ii)integration over different differential structures parametrized by some structure (see below).
Now we have to consider the following path integral: and we have to calculate the influence of the differential structures first. At this level we need an example, an exotic .
3.3. Constructing Exotic
In , Freedman constructed the first example of an exotic of special type. There are also uncountable many different exotic having an end homeomorphic to but not diffeomorphic to it. But Freedman’s first example is not of this type (as an end of an exotic ). Therefore to get an infinite number of different exotic one has to see as an end of also expressible as complement of the 4-disk. A second possibility is the usage of the end-sum technique of Gompf, so that the standard can be transformed into an exotic by end-sum with an exotic . Here we will concentrate on the first construction; that is, the exotic is an end of an exotic .
Furthermore we will restrict on a subclass of exotic called small exotic (exotic which can be embedded in a 4-sphere ). For this class there is an explicit handle decomposition. Small exotic ’s are the result of an anomalous behavior in 4-dimensional topology. In 4-manifold topology , a homotopy equivalence between two compact, closed, simply connected 4-manifolds implies a homeomorphism between them (the so-called h cobordism). But Donaldson  provided the first smooth counterexample that this homeomorphism is not a diffeomorphism; that is, both manifolds are generally not diffeomorphic to each other. The failure can be localized at some contractible submanifold (Akbulut cork) so that an open neighborhood of this submanifold is a small exotic . The whole procedure implies that this exotic can be embedded in the 4-sphere . The idea of the construction is simply given by the fact that every smooth h-cobordism between nondiffeomorphic 4-manifolds can be written as a product cobordism except for a compact contractible sub-h-cobordism , the Akbulut cork. An open subset homeomorphic to is the corresponding sub-h-cobordism between two exotic ’s. These exotic ’s are called ribbon ’s. They have the important property of being diffeomorphic to open subsets of the standard . In  Freedman and DeMichelis constructed also a continuous family of small exotic . Now we are ready to discuss the decomposition of a small exotic by Biaca and Gompf  using special pieces, the handles forming a handle body. Every 4-manifold can be decomposed (seen as handle body) using standard pieces such as , the so-called -handle attached along to the boundary of a -handle . The construction of the handle body for the small exotic , called in the following, can be divided into two parts: The first part is known as the Akbulut cork, a contractible 4-manifold with boundary a homology 3-sphere (a 3-manifold with the same homology as the 3-sphere). The Akbulut cork is given by a linking between a 1-handle and a 2-handle of framing . The second part is the Casson handle which will be considered now.
Let us start with the basic construction of the Casson handle . Let be a smooth, compact, simple-connected 4-manifold and a (codimension-2) mapping. By using diffeomorphisms of and , one can deform the mapping to get an immersion (i.e., injective differential) generically with only double points (i.e., ) as singularities . But to incorporate the generic location of the disk, one is rather interesting in the mapping of a 2-handle induced by from . Then every double point (or self-intersection) of leads to self-plumbings of the 2-handle . A self-plumbing is an identification of with , where are disjoint subdisks of the first factor disk. In complex coordinates the plumbing may be written as or creating either a positive or negative (resp.,) double point on the disk (the core). Consider the pair and produce finitely many self-plumbings away from the attaching region to get a kinky handle , where denotes the attaching region of the kinky handle. A kinky handle is a one-stage tower and an -stage tower is an -stage tower union kinky handles , where two towers are attached along . Let be and the Casson handle, is the union of towers (with direct limit topology induced from the inclusions ).
The main idea of the construction above is very simple: an immersed disk (disk with self-intersections) can be deformed into an embedded disk (disk without self-intersections) by sliding one part of the disk along another (embedded) disk to kill the self-intersections. Unfortunately the other disk can be immersed only. But the immersion can be deformed to an embedding by a disk again and so forth. In the limit of this process one “shifts the self-intersections into infinity” and obtains the standard open 2-handle . In the proof of Freedman , the main complications come from the lack of control about this process.
A Casson handle is specified up to (orientation preserving) diffeomorphism (of pairs) by a labeled finitely branching tree with base-point *, having all edge paths infinitely extendable away from *. Each edge should be given a label + or −. Here is the construction: tree . Each vertex corresponds to a kinky handle; the self-plumbing number of that kinky handle equals the number of branches leaving the vertex. The sign on each branch corresponds to the sign of the associated self-plumbing. The whole process generates a tree with infinitely many levels. In principle, every tree with a finite number of branches per level realizes a corresponding Casson handle. Each building block of a Casson handle, the “kinky” handle with kinks, is diffeomorphic to the times boundary connected sum (see Appendix A) with two attaching regions. The number of end connected sums is exactly the number of self-intersections of the immersed two handle. One region is a tubular neighborhood of band sums of Whitehead links connected with the previous block. The other region is a disjoint union of the standard open subsets in (this is connected with the next block).
For the construction of an exotic , denoted by , we consider the complement or the decomposition:
The first part contains a cobordism between the 3-sphere and the boundary of the Akbulut cork (a homology 3-sphere). The complement is conformally equivalent to . Equivalently, the complement is diffeomorphic to an exotic . But the exoticness is not confined to a compact subset but concentrated at infinity (for instance at ). In our case we choose a decomposition like where is a cobordism between and . For the Casson handle we need another representation obtained by using Morse theory (see ). Every kinky handle is given by pairs of 1-/2-handle pairs, where is the number of kinks (or self-intersections). These handles are given by the level sets of the Morse functions that is, by the sets for . Now we represent the Casson handle by the union of all -stage towers arranged along the tree . But every tower is given by the union of pairs . But what is the geometry of (and better of )? Every level set and is a hyperbolic 3-manifold (i.e., with negative curvature) and the union of all level sets is a hyperbolic 4-manifold. A central point in our argumentation is Mostow rigidity, a central property of all hyperbolic 3-manifolds (or higher) with finite volume explained in the next subsection.
3.4. The Hyperbolic Geometry of
The central element in the Casson handle is a pair of 1- and 2-handles representing a kinky handle. As we argued above this pair admits a hyperbolic geometry (or it is a hyperbolic 3-manifold) having negative scalar curvature. A 3-manifold admits a hyperbolic structure in the interior if there is a diffeomorphism to , where is a discrete subgroup of the Lorentz group and we have a representation of the fundamental group into (the isometry group of the hyperbolic space ). One property of hyperbolic 3- and 4-manifolds is central: Mostow rigidity. As shown by Mostow , every hyperbolic manifold with finite volume has this property: Every diffeomorphism (especially every conformal transformation) of a hyperbolic manifold with finite volume is induced by an isometry. Therefore one cannot scale a hyperbolic 3-manifold with finite volume. Then the volume and the curvature are topological invariants but for later usages we combine the curvature and the volume into the Chern-Simons invariant . But more is true: in a hyperbolic 3-manifold there are special surfaces which cannot be contracted, called incompressible surface. A properly embedded connected surface in a 3-manifold is called 2-sided if its normal bundle is trivial and 1-sided if its normal bundle is nontrivial. The “sides” of then correspond to the components of the complement of in a tubular neighborhood . A 2-sided connected surface other than or is called incompressible if for each disk with there is a disk with ; that is, the boundary of the disk can be contracted in the surface . The boundary of a 3-manifold is an incompressible surface. More importantly, this surface can be detected in the fundamental group of the 3-manifold, that is; there is an injective homomorphism . The consequence of all properties is the following conclusion.
The tower has a hyperbolic geometry (with finite volume) and therefore fixed size; that is, it cannot be scaled by any diffeomorphism or conformal transformation. Then we obtain an invariant decomposition of the Casson handle into towers arranged with respect to a tree. Secondly, inside of every tower there is (at least one) an incompressible surface also of fixed size.
In case of the tower , one knows two incompressible surfaces, the two tori coming from the complement of the Whitehead link (with two components) used in the construction.
3.5. The Path Integral of the Exotic
Now we will discuss the path integral using the decomposition and we remark that the construction of the cobordism requires the usage of a Casson handle again, denoted by . Therefore we have to clarify the role of the Casson handle. In the previous Section 3.4, we discussed the strong connection between geometry and topology for hyperbolic manifolds. The topology of is rather trivial but the smoothness structure (and therefore the differential topology) can be very complicate.
As stated above, the boundary terms can be factorized from the terms in the interior. Formally we obtain and for an expectation value of the observable but for the following we have to discuss it more fully. To understand the time-like evolution of a disk (or a surface), we have to describe a disk inside of a Casson handle as pioneered by Biaca . With the same arguments, one can also describe the modification of the 3-sphere into homology 3-spheres . But then we obtain (formally) an infinite sequence of homology 3-spheres with amplitudes including the boundary terms. Every spatial section can be seen as an element of the phase space in quantum gravity. Therefore this change of transitions is a topological phase transition which will be further investigated in our work.
The choice of the boundary term has a kind of arbitrariness. We can choose the decomposition much finer to get more boundary terms. Therefore the path integral (14) must be extended away from the boundary. We will discuss this extension also in our forthcoming work.
Before we go ahead we have to discuss the foliation structure of or the appearance of different time variables. As stated above, our space-time has the topology of with equal slices parametrized by a topological time ; that is, defined by the topological embedding . It is the defining property of exotic smoothness that inside of is only a topological 3-sphere; that is, it is wildly embedded and so only represented by an infinite polyhedron. There is another possibility to introduce which will point us to the smooth case. For that purpose we define a map by so that for . In contrast one also has the smooth time which we have to define now. Locally it is the smooth (physical coordinate) time. We know also that the exotic is composed by a sequence of homology 3-spheres or better by a sequence of (homology) cobordism between the homology 3-spheres. All sequences are ordered and so it is enough to analyze one cobordism . Every cobordism between two homology 3-spheres and is characterized by the existence of a finite number of 1-/2-handle pairs (or dually 2-/3-handle pairs). Now we define a smooth map which must be a Morse function (i.e., it has isolated critical points) . The number of critical points of is even, say , where is the number of 1-/2-handle pairs. These critical points are also denoted as naked singularities in GR (but of bounded curvature). Like in the case of topological time we introduce the smooth time by for all . The extension of to the whole by the Morse function is straightforward for all . The cobordism is part of the exotic and can be embedded to make it topologically. Therefore function is a continuous function which is strictly increasing on future directed causal curves, so it is a time function (see [36, 37]). But there is also another method to construct by using codimension-1 foliations. In  we uncovered a strong relation between codimension-1 foliations (also used to construct a Lorentz structure on a manifold) and exotic smoothness structures for a small exotic . The coordinate of this codimension-1 submanifold is also the smooth time . This approach will be more fully discussed in our forthcoming work.
4. The Expectation Value of the Area and Inflation
In Section 3.4 we described the hyperbolic geometry originated in the exotic smoothness structure of . Because of this hyperbolic geometry, there are incompressible surfaces inside of the hyperbolic manifold as the smallest possible units of geometry. Then Mostow rigidity determines the behavior of this incompressible surface. At first we will concentrate on the first cobordism between and the boundary of the Akbulut cork. The area of a surface is given by with the normal vector and the densitized frame . The expectation value of the area , depends essentially on the hyperbolic geometry. As argued above, this cobordism has a hyperbolic geometry but in the simplest case, the boundary of the Akbulut cork is the homology 3-sphere , a Brieskorn homology 3-sphere. Now we study the area of a surface where one direction is along the time axis. Then we obtain a decomposition of the surface into a sum of small surfaces so that every small surface lies in one component of the cobordism. Remember, that the cobordism is decomposed into the trivial cobordism and a Casson handle . Then the decomposition of the surface corresponds to the decomposition of the expectation value of the area so that The initial value for is the expectation value where is the radius of the 3-sphere . But because of the hyperbolic geometry (with constant curvature because of Mostow rigidity) every further level scales this expectation value by a constant factor. Therefore, to calculate the expectation value, we have to study the scaling behavior.
Consider a cobordism between the homology 3-spheres . As shown by Witten [38–40], the action, for every 3-manifold (in particular for and denoted by ) is related to the Chern-Simons action (defined in Appendix B). The scaling factor is related to the volume by and we obtain formally by using Together with one can compare the kernels of the integrals of (34) and (35) to get for a fixed time This gives the scaling factor where we set in the following. The hyperbolic geometry of the cobordism is best expressed by the metric also called the Friedmann-Robertson-Walker metric (FRW metric) with the scaling function for the (spatial) 3-manifold. But Mostow rigidity enforces us to choose in the length scale of the hyperbolic structure. But why is it possible to choose the FRW metric? At first we state that the FRW metric is not sensitive to the topology of the space-time. One needs only a space-time which admits a slicing with respect to a smooth time and a metric of constant curvature for every spatial slice. Then for the cobordism between and we have two cases: the curvature parameter of (say ) jumps to the value of (say ) or both curvatures remain constant. The second case is the usual one. Each homology 3-sphere has the same geometry (or geometric structure in the sense of Thurston ) which is hyperbolic in most case. The first case is more complicated. Here we need the smooth function to represent the jump in the curvature parameter . Let us choose the function which is smooth and the parameter determines the slope of this function. Furthermore the metric (40) is also the metric of a hyperbolic space (which has to fulfill Mostow rigidity because the cobordism is compact).
In the following we will switch to quadratic expressions because we will determine the expectation value of the area. Then we obtain with respect to the scale . By using the tree of the Casson handle, we obtain a countable infinite sum of contributions for (43). Before we start we will clarify the geometry of the Casson handle. The discussion of the Morse functions above uncovers the hyperbolic geometry of the Casson handle (see also Section 3.4). Therefore the tree corresponding to the Casson handle must be interpreted as a metric tree with hyperbolic structure in and metric . The embedding of the Casson handle in the cobordism is given by the following rules. (i)The direction of the increasing levels is identified with and is the number of edges for a fixed level with scaling parameter .(ii)The contribution of every level in the tree is determined by the previous level best expressed in the scaling parameter .(iii)An immersed disk at level needs at least one disk to resolve the self-intersection point. This disk forms the level but this disk is connected to the previous disk. So we obtain for at level up to a constant.
By using the metric with the embedding (, ) we obtain for the change along the direction (i.e., for a fixed ) . This change determines the scaling from the level to ; that is, and after the whole summation (as substitute for an integral for the discrete values) we obtain for the relative scaling with . With this result in mind, we consider the expectation value where we use the constant scalar curvature (Mostow rigidity). By using the normalization, many terms are neglected (like the boundary terms): Finally we obtain for the area for the first level , with the radius of and arrive at for . From the physical point of view we obtain an exponential increase of the area; that is, we get an inflationary behavior. This derivation can be also extended to the next Casson handle but we have to determine the 3-manifold in which can change. It will be done below.
5. An Effective Theory
Now will ask for an effective theory where the influence of the exotic smoothness structure is contained in some moduli (or some field). As explained above, the main characteristics is given by a change of the (spatial) 4-manifold (but without changing the homology). Therefore let us describe this change (the so-called homology cobordism) between two homology 3-spheres and . The situation can be described by a diagram which commutes. The two functions and are the Morse function of and , respectively, with . The Morse function over is a function having only isolated, nondegenerated, critical points (i.e., with vanishing first derivatives at these points). A homology 3-sphere has two critical points (located at the two poles). The Morse function looks like at these critical points. The transition represented by the (homology) cobordism maps the Morse function on to the Morse function on . The function represents also the critical point of the cobordism . But as we learned above, this cobordism has a hyperbolic geometry and we have to interpret the function not as Euclidean form but change it to the hyperbolic geometry so that that is, we have a preferred direction represented by a single scalar field . Therefore, the transition is represented by a single scalar field and we identify this field as the moduli. Finally we interpret this Morse function in the interior of the cobordism as the potential (shifted away from the point ) of the scalar field with Lagrangian with two free constants and . For the value and we obtain the Starobinski model  (by a conformal transformation using and a redefinition of the scalar field ) with the mass scale much smaller than the Planck mass. From our discussion above, the appearance of this model is not totally surprising. It favors a surface to be incompressible (which is compatible with the properties of hyperbolic manifolds). In the next section we will determine this mass scale.
6. A Cosmological Model Compared to the Planck Satellite Results
In this section we will go a step further and discuss the path integral for , where we sum over all smoothness structures. Furthermore we will assume that is the end of a small exotic . But then we have to discuss the parametrization of all Casson handles. As discussed by Freedman , all Casson handles can be parametrized by a dual tree where the vertices are 5-stage towers (with three extra conditions). We refer to  or to  for the details of the well-known construction. This tree has one root from which two 5-stage towers branch. Every tower has an attaching circle of any framing. Using Bizacas technique , we obtain an attaching of a 5-tower along the sum of two Poincare spheres (for the two towers). Therefore for the universal case, we obtain two transitions with the scaling behavior,
It can be expressed by the expectation value for the transition . It is important to note that this expectation value is the sum over all smoothness structures of and we obtain also with as the size of the 3-sphere at . With the argumentation above, the smoothness structure has a kind of universality so that the two transitions above are generic.
In our model (using the exotic smoothness structure), we obtain two inflationary phases. In the first phase we have a transition and for the simplest case , a Brieskorn homology 3-sphere. Now we will assume that the 3-sphere has Planck-size then we obtain for the size We can use the method of Fintushel and Stern [45–47] to calculate the Chern-Simons invariants for the Brieskorn spheres. The calculation can be found in Appendix C. Note that the relation (34) is only true for the Levi-Civita connection. Then the Chern-Simons invariant is uniquely defined to be the minimum, denoted by (see ). Then we obtain for the invariant so that is the size of the cosmos at the end of the first inflationary phase. This size can be related to an energy scale by using it as Compton length and one obtains 165 MeV, comparable to the energy scale of the QCD. For the two inflationary transitions one obtains the size As explained above, the effective theory is the Starobinsky model. This model is in very good agreement with results of the Planck satellite  with the two main observables: spectral index for scalar perturbations, tensor-to-scalar ratio,but one parameter of the model is open, the energy scale in Planck units. In our model it is related to the second derivative of the Morse function, which is the curvature of the critical point. In our paper , we determined also the energy scale of the inflation by using a simple argument to incorporate only the first 3 levels of the Casson handle. For the scale of the first transition, we obtain the scaling of the Planck energy (associated with the Planck-sized 3-sphere at the beginning) with the relative scaling leading to the energy scale of the inflation by using . We remark that the relative scaling (in Planck units) above is an energy scale for the potential in the effective theory (52). Therefore we have to identify in the parameter of the Starobinsky model (in very good agreement with the measurements). Now we can go a step further and discuss the appearance of the cosmological constant.
Again we can use the hyperbolic geometry to state that the curvature is negative and we have the Mostow rigidity; that is, the scalar curvature of the 4-manifold has a constant value, the cosmological constant . If we assume that the 3-sphere has the size of the Planck length (as above), then we obtain With the values of the Chern-Simons invariants , we obtain the value in Planck units. In cosmology, one usually relate the cosmological constant to the Hubble constant (expressing the critical density) leading to the length scale The corresponding variable is denoted by and we obtain in units of the critical density. This formula is in very good agreement with the WMAP results; that is, by using the value for the Hubble constant we are able to calculate the dark energy density to be agreeing with the WMAP results. But it differs from the Planck results  of the Hubble constant for which we obtain in contrast with the measured value of the dark energy But there is another possibility for the size of the 3-sphere at the beginning and everything depends on this choice. But we can use the entropy formula of a Black hole in Loop quantum gravity with according to  with the Immirzi parameter , where the extra factor is given by a different definition of replacing by . In the original approach of Ashtekar in Loop quantum gravity one usually set . If we take it seriously then we obtain a reduction of the length in (70) or the new closed formula correcting the value to But depends on the gauge group and if one uses the value  agreeing also with calculations in the spin foam models , then one gets a better fit which is in good agreement with the measurements.
The strong relation between hyperbolic geometry (of the space-time) and exotic smoothness is one of the main results in this paper. Then using Mostow rigidity, geometric observables like area and volume or curvature are topological invariants which agree with the expectation values of these observables (calculated via the path integral). We compared the results with the recent results of the Planck satellite and found a good agreement. In particular as a direct result of the hyperbolic geometry, the inflation can be effectively described by the Starobinski model. Furthermore we also obtained a cosmological model which produces a realistic cosmological constant.
A. Connected and Boundary Connected Sum of Manifolds
Now we will define the connected sum and the boundary connected sum of manifolds. Let be two -manifolds with boundaries . The connected sum is the procedure of cutting out a disk from the interior and with the boundaries and , respectively, and gluing them together along the common boundary component . The boundary is the disjoint sum of the boundaries . The boundary connected sum is the procedure of cutting out a disk from the boundary and and gluing them together along of the boundary. Then the boundary of this sum is the connected sum of the boundaries .
B. Chern-Simons Invariant
Let be a principal bundle over the 4-manifold with . Furthermore let be a connection in with the curvature, and Chern class, for the classification of the bundle . By using the Stokes theorem we obtain with the Chern-Simons invariant Now we consider the gauge transformation and obtain with the winding number of the map . Thus the expression, is an invariant, the Chern-Simons invariant. Now we will calculate this invariant. For that purpose we consider the functional (B.4) and its first variation vanishes because of the topological invariance. Then one obtains the equation that is, the extrema of the functional are the connections of vanishing curvature. The set of these connections up to gauge transformations is equal to the set of homomorphisms up to conjugation. Thus the calculation of the Chern-Simons invariant reduces to the representation theory of the fundamental group into . In  the authors define a further invariant for the 3-manifold . This invariants fulfills the relation which is the minimum of the Yang-Mills action that is, the solutions of the equation . Thus the invariant of corresponds to the self-dual and anti-self-dual solutions on , respectively. Or the invariant is the Chern-Simons invariant for the Levi-Civita connection.
C. Chern-Simons Invariant of Brieskorn Spheres
In [45–47] an algorithm for the calculation of the Chern-Simons invariant for the Brieskorn sphere is presented. According to that result, a representation is determined by a triple of 3 numbers with and the further relations Then the Chern-Simons invariant is given by with Now we consider the Poincaré sphere with . Then we obtain and for the Brieskorn sphere In  the authors define a further invariant for a homology 3-sphere . For and one obtains And we are done.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors acknowledged all critical remarks of the referees increasing the readability of the paper.
- S. W. Hawking and G. F. R. Ellis, The Large Scale Structure of Space-Time, Cambridge University Press, Cambridge, UK, 1994.
- M. H. Freedman, “The topology of four-dimensional manifolds,” Journal of Differential Geometry, vol. 17, pp. 357–3454, 1982.
- S. Donaldson, “An application of gauge theory to the topology of 4-manifolds,” Journal of Differential Geometry, vol. 18, pp. 279–315, 1983.
- T. Asselmeyer-Maluga, “A chicken-and-egg problem: which came first, the quantum state or spacetime?” 2012, http://fqxi.org/community/forum/topic/1424.
- Fourth Prize of the FQXi Essay contest, “Questioning the Foundations,” 2012, http://fqxi.org/community/essay/winners/2012.1.
- H. Pfeiffer, “Quantum general relativity and the classification of smooth manifolds,” Tech. Rep. DAMTP 2004-32, 2004.
- T. Asselmeyer-Maluga and J. Król, “Abelian gerbes, generalized geometries and exotic ,” http://arxiv.org/abs/0904.1276.
- T. Asselmeyer-Maluga and R. Mader, “Exotic and quantum field theory,” Journal of Physics: Conference Series, vol. 343, Article ID 012011, 2012.
- T. Asselmeyer-Maluga and J. Król, “Exotic smooth and certain configurations of NS and D branes in string theory,” International Journal of Modern Physics A, vol. 26, no. 7-8, pp. 1375–1388, 2011.
- T. Asselmeyer-Maluga and J. Król, “Quantum D-branes and exotic smooth ,” International Journal of Geometric Methods in Modern Physics, vol. 9, no. 3, p. 1250022, 18, 2012.
- C. H. Brans, “Localized exotic smoothness,” Classical and Quantum Gravity, vol. 11, no. 7, pp. 1785–1792, 1994.
- C. H. Brans, “Exotic smoothness and physics,” Journal of Mathematical Physics, vol. 35, pp. 5494–5506, 1994.
- J. Sładkowski, “Gravity on exotic with few symmetries,” International Journal of Modern Physics D, vol. 10, pp. 311–313, 2001.
- J. Sładkowski, “Exotic smoothness, noncommutative geometry and particle physics,” International Journal of Theoretical Physics, vol. 35, no. 10, pp. 2075–2083, 1996.
- J. Sładkowski, “Exotic smoothness and particle physics,” Acta Physica Polonica B, vol. 27, pp. 1649–1652, 1996.
- J. Sładkowski, “Exotic smoothness, fundamental interactions and noncommutative geometry,” http://arxiv.org/abs/hep-th/9610093.
- T. Asselmeyer-Maluga and J. Król, “Topological quantum D-branes and wild embeddings from exotic smooth ,” International Journal of Modern Physics A, vol. 26, no. 20, pp. 3421–3437, 2011.
- T. Asselmeyer-Maluga and J. Król, “Quantum geometry and wild embeddings as quantum states,” International Journal of Geometric Methods in Modern Physics, vol. 10, Article ID 1350055, 2013.
- R. Kirby and L. C. Siebenmann, Foundational Essays on Topological Manifolds, Smoothings, and Triangulations, Annals of Mathematics Studies, Princeton University Press, Princeton, NJ, USA, 1977.
- A. Ashtekar, J. Engle, and D. Sloan, “Asymptotics and Hamiltonians in a first-order formalism,” Classical and Quantum Gravity, vol. 25, no. 9, p. 095020, 2008.
- A. Ashtekar and D. Sloan, “Action and Hamiltonians in higher-dimensional general relativity: first-order framework,” Classical and Quantum Gravity, vol. 25, no. 22, p. 225025, 2008.
- S. W. Hawking, “The path-integral approach to quantum gravity,” in General Relativity. An Einstein Centenary Survey, I. Hawking, Ed., pp. 746–789, Cambridge University Press, Cambridge, UK, 1979.
- T. Asselmeyer-Maluga and H. Rosé, “On the geometrization of matter by exotic smoothness,” General Relativity and Gravitation, vol. 44, no. 11, pp. 2825–2856, 2012.
- L. Dabrowski and G. Dossena, “Dirac operator on spinors and diffeomorphisms,” Classical and Quantum Gravity, vol. 30, no. 1, Article ID 015006, 2013.
- T. Friedrich, “On the spinor representation of surfaces in euclidean 3-space,” Journal of Geometry and Physics, vol. 28, no. 1-2, pp. 143–157, 1998.
- E. Witten, “Global gravitational anomalies,” Communications in Mathematical Physics, vol. 100, no. 2, pp. 197–229, 1985.
- T. Yoshida, “The -invariant of hyperbolic 3-manifolds,” Inventiones Mathematicae, vol. 81, pp. 473–514, 1985.
- M. H. Freedman, “A fake ,” Annals of Mathematics, vol. 110, pp. 177–201, 1979.
- S. Donaldson, “Irrationality and the h-cobordism conjecture,” Journal of Differential Geometry, vol. 26, pp. 141–168, 1987.
- S. DeMichelis and M. H. Freedman, “Uncountable many exotic ’s in standard 4-space,” Journal of Differential Geometry, vol. 35, pp. 219–254, 1992.
- Ž. Bižaca and R. Gompf, “Elliptic surfaces and some simple exotic ’s.,” Journal of Differential Geometry, vol. 43, no. 3, pp. 458–504, 1996.
- M. Golubitsky and V. Guillemin, Stable Mappings and Their Singularities, vol. 14 of Graduate Texts in Mathematics, Springer, New York, NY, USA, 1973.
- J. Milnor, Morse Theory, vol. 51 of Annals of Mathematical Study, Princeton University Press, Princeton, NJ, USA, 1963.
- G. D. Mostow, “Quasi-conformal mappings in n-space and the rigidity of hyperbolic space forms,” Publications Mathématiques de l'Institut des Hautes Études Scientifiques, vol. 34, pp. 53–104, 1968.
- Ž. Bižaca, “An explicit family of exotic Casson handles,” Proceedings of the American Mathematical Society, vol. 123, no. 4, pp. 1297–1302, 1995.
- A. N. Bernal and M. Sánchez, “Further results on the smoothability of Cauchy hypersurfaces and Cauchy time functions,” Letters in Mathematical Physics, vol. 77, no. 2, pp. 183–197, 2006.
- A. N. Bernal and M. Sánchez, “Globally hyperbolic spacetimes can be defined as “causal” instead of ‘strongly causal’,” Classical and Quantum Gravity, vol. 24, no. 3, pp. 745–750, 2007.
- E. Witten, “ dimensional gravity as an exactly soluble system,” Nuclear Physics B, vol. 311, pp. 46–78, 1988.
- E. Witten, “Topology-changing amplitudes in dimensional gravity,” Nuclear Physics B, vol. 323, pp. 113–140, 1989.
- E. Witten, “Quantization of Chern-Simons gauge theory with complex gauge group,” Communications in Mathematical Physics, vol. 137, pp. 29–66, 1991.
- W. Thurston, Three-Dimensional Geometry and Topology, Princeton University Press, Princeton, NJ, USA, 1st edition, 1997.
- A. A. Starobinski, “A new type of isotropic cosmological models without singularity,” Physical Letters B, vol. 91, pp. 99–102, 1980.
- B. Whitt, “Fourth order gravity as general relativity plus matter,” Physical Letters B, vol. 145, pp. 176–178, 1984.
- M. Freedman and F. Quinn, Topology of 4-Manifolds, Princeton Mathematical Series, Princeton University Press, Princeton, NJ, USA, 1990.
- R. Fintushel and R. J. Stern, “Instanton homology of Seifert fibred homology three spheres,” Proceedings of the London Mathematical Society, vol. 61, pp. 109–137, 1990.
- P. Kirk and E. Klassen, “Chern-Simons invariants of 3-manifolds and representation spaces of knot groups,” Mathematische Annalen, vol. 287, no. 1, pp. 343–367, 1990.
- D. S. Freed and R. E. Gompf, “Computer calculation of Witten’s 3-manifold invariant,” Communications in Mathematical Physics, vol. 141, pp. 79–117, 1991.
- P. Ade, N. Aghanim, C. Armitage-Caplan et al., “Planck 2013 results. XXII. Constraints on inflation,” http://arxiv.org/abs/1303.5082.
- T. Asselmeyer-Maluga and J. Król, “On the origin of inflation by using exotic smoothness,” http://arxiv.org/abs/1301.3628.
- P. Ade, N. Aghanim, C. Armitage-Caplan et al., “Planck 2013 results. XVI. Cosmological parameters,” http://arxiv.org/abs/1303.5076.
- A. Ashtekar, J. Baez, A. Corichi, and K. Krasnov, “Quantum geometry and black hole entropy,” Physical Review Letters, vol. 80, no. 5, pp. 904–907, 1998.
- M. Domagala and J. Lewandowski, “Black-hole entropy from quantum geometry,” Classical and Quantum Gravity, vol. 21, no. 22, pp. 5233–5243, 2004.
- M. H. Ansari, “Generic degeneracy and entropy in loop quantum gravity,” Nuclear Physics B, vol. 795, no. 3, pp. 635–644, 2008.
Copyright © 2014 Torsten Asselmeyer-Maluga and Jerzy Król. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The publication of this article was funded by SCOAP3.