A Note on the Possible Existence of an Instanton-like Self-Dual Solution to Lattice Euclidean Gravity

The self-dual solution to lattice Euclidean gravity is constructed. In contrast to the well known Eguchi-Hanson solution to continuous Euclidean Gravity, the lattice solution is asymptotically {\it{globally}} Euclidean, i.e., the boundary of the space as $r\longrightarrow\infty$ is $S^3=SU(2)$.


I. INTRODUCTION
Soon after the discovery of the self-dual (instanton) solution to the 4D Euclidean Yang-Mills theory [1], the self-dual solution to 4D Euclidean Gravity has been obtained [2], [3] (see also [4], [5], [6]). But the space-time boundary as r −→ ∞ is S 3 /Z 2 and not S 3 in the case of Eguchi-Hanson gravitational instanton, in contrast to the Yang-Mills one. Otherwise, a "cone-tipe" singularity (effective delta-function in the curvature at the instanton centre for r = a) would be necessary. This means that the space-time topology of the gravitational instanton solution differs crucially from the topology of a real space-time. Therefore, though the action of the Eguchi-Hanson solution is zeroth, the physical meaning of the solution is not clear.
I construct here the analogue of the Eguchi-Hanson self-dual solution to the 4D Euclidean lattice Gravity with zeroth action. The solution transforms locally into the Eguchi-Hanson solution as r −→ ∞. The reason is that the considered lattice theory transforms into Einstein theory for a long-wavelength limit. The remarkable fact is the discrete gravity self-dual solution wipes out a "cone-tipe" singularity at the center of instanton for the case the space-time boundary as r −→ ∞ is S 3 . Thus, then the gravitational instantons would exist if the real space-time exhibits the granularity property at super small scales.
This article does not contain any new result in comparison with [11], but the main result is obtained more rationally and transparently. The changes concerned only Section V.
A preliminary version of the work has been published in [7]. * e-mail:vergeles@itp.ac.ru
The following equations are equivalent Eqs. (2.3) imply the following one: The action stationarity condition relative to the connection gives the equation On the other hand, Einstein's equation is equivalent to the action stationarity condition relative to the forms e a µ : The The combination of the part of Eqs. (2.5) δ A /δω α (−)µ = 0 and Eq. (2.8) gives the following 12 equations: Now we must solve the system of equations (2.7), (2.8), (2.9) and Note that Eqs. (2.5) and (2.7) do not fix the variables ω ab µ , e a µ completely but up to the gauge (orthogonal) transformations. Here the gauge group leaves 6 unfixed functions.
Eqs. (2.9) do not fix the quantities E α (−)λρ completely but up to summands of the forme where Ψ α (−)λ are 3 arbitrary vector fields (12 functions altogether). But each of three vector fields Ψ α (−)λ contains only 3 independent functions due to invariance of the expression . As a result, Eqs. (2.9) fix no more than additional 12 − 3 × 3 = 3 functions. This means that the gauge subgroup Spin(4) (−) is broken by Eq. (2.8). So we see that the system of equations (2.7)-(2.10) is consistent, though it fixes the gauge subgroup Spin(4) (−) . The Eguchi-Hanson solution is the simplest solution of the system. Let's write out this solution [2], [3].
Let x i = (r, θ, ϕ, ψ), where (θ, ϕ, ψ) be the Euler angles. The cartesian coordinates x µ in R 4 are connected with the coordinates x i as follows: There is a one-to-one correspondence between these two coordinate systems if the Euler angles vary in the ranges The Eguchi-Hanson solution for the metrics d s 2 ≡ e a µ d x µ 2 has the form For a = 0, the metrics (2.13) transforms to the 4D Euclidean metrics in Euler angles on the S 3 with ranges (2.12). But 0 ≤ ψ ≤ 2π for the Eguchi-Hanson solution (when a = 0) since the points with coordinates ψ and (ψ + 2π) and the same (r, θ, ϕ) are identified. Otherwise, in order for the Chern-Gauss-Bonnet theorem to be satisfied in the case (2.12), a "cone-tipe" singularity (effective delta-function in the curvature at the instanton centre for r = a) would be necessary (see [3]). The connection 1-forms are given by Eqs. (2.8) and: (2.14) We have (2.15) and r−→a+0 for the range 0 ≤ ψ ≤ 2π and orientation θ, ϕ, ψ, r. The integral (2.15) would be equal to (−π 2 ) for any 0 < r = Const < ∞ in the case a = 0 (the Euclidean metrics in Euler angles). Thus, the boundary conditions (2.15)-(2.16) determine the instanton Eguchi-Hanson solution with the same integration constant a as in the relation (2.16). This means that the system of equations (2.7)-(2.10) together with the boundary conditions (2.15)-(2.16) possess unique solution (2.13) for the centrally symmetrical metrics anzats with the same integration constant a as in the relation (2.16). Note that According to the Eq. (2.17) Taking into account Eqs. (2.15) and (2.19), we obtain for the angle ranges (2.12): (2.20) This equality means that Eq. (2.18) gives the smooth mapping of the space-time hypersurface S 3 prescribed by the Euler angles (see Eqs. (2.11) with a fixed parameter r) into the SU(2) group space, and the degree of the mapping is equal to (−1). Write out also the Riemannian curvature 2-form: (2.21)

III. THE LATTICE GRAVITY MODEL
The next step is to adumbrate the model of lattice gravity which is used here. A detailed description of the model is given in [8]- [10].
The orientable 4-dimensional simplicial complex and its vertices are designated as K and a V , the indices V = 1, 2, . . . , N → ∞ and W enumerate the vertices and 4-simplices, correspondingly. It is necessary to use the local enumeration of the vertices a V attached to a given 4-simplex: the all five vertices of a 4-simplex with index W are enumerated as a Wi , i = 1, 2, 3, 4, 5. The later notations with extra index W indicate that the corresponding quantities belong to the 4-simplex with index W. The Levi-Civita symbol with in pairs different indexes ε Wijklm = ±1 depending on whether the order of vertices s 4 W = a Wi a Wj a Wk a Wl a Wm defines the positive or negative orientation of 4-simplex s 4 W . An element of the group Spin(4) and an element of the Clifford algebra are assigned for each oriented 1-simplex a Wi a Wj . The lattice analog of the action (2.2) has the form This action is invariant relative to the gauge transforma-tionsΩ It is natural to interpret the quantity as the square of the length of the edge a Wi a Wj , and the parameter l P is of the order of the lattice spacing. Thus, the geometric properties of a simplicial complex prove to be completely defined. Now, let us show in the limit of slowly varying fields, that the action (3.2) reduces to the continuous gravity action (2.2).
Consider a certain 4D sub-complex of complex K with the trivial topology of four-dimensional disk. Realize geometrically this sub-complex in R 4 . Suppose that the geometric realization is an almost smooth four-dimensional surface [12]. Thus each vertex of the sub-complex acquires the coordinates x µ which are the coordinates of the vertex image in R 4 : We stress that these coordinates are defined only by their vertices rather than by the higher dimension simplices to which these vertices belong; moreover, the correspondence between the vertices from the considered subset and the coordinates (3.5) is one-to-one.
We have It is evident that the four vectors are linearly independent and is positively or negatively oriented. Here, the differentials of coordinates (3.7) correspond to one-dimensional simplices a Wj a Wi , so that, if the vertex a Wj has coordinates x µ Wj , then the vertex a Wi has the coordinates Wji . In the continuous limit, the holonomy group elements (3.1) are close to the identity element, so that the quantities ω ab ij tend to zero being of the order of O(d x µ ). Thus one can consider the following system of equation In this system of linear equation, the indices W and m are fixed, the summation is carried out over the index µ, and index runs over all its values. Since the determinant (3.8) is nonzero, the quantities ω Wmµ are defined uniquely. Suppose that a one-dimensional simplex X W m i belongs to four-dimensional simplices with indices W 1 , W 2 , . . . , W r . Introduce the quantity which is assumed to be related to the midpoint of the segment [x µ Wm , x µ Wi ]. Recall that the coordinates x µ Wi as well as the differentials (3.7) depend only on vertices but not on the higher dimensional simplices to which these vertices belong. According to the definition, we have the following chain of equalities (3.11) It follows from (3.7) and (3.9)-(3.11) that The value of the field element ω µ in (3.12) is uniquely defined by the corresponding one-dimensional simplex. Next, we assume that the fields ω µ smoothly depend on the points belonging to the geometric realization of each four-dimensional simplex. In this case, the following formula is valid up to O (d x) 2 inclusive (3.14) When deriving formula (3.13), we used the Hausdorff formula.
In exact analogy with (3.9), let us write out the following relations for a tetrad field without explanationŝ Applying formulas (3.13)-(3.15) to the discrete action (3.2) and changing the summation to integration we find that in the long-wavelength limit the lattice action (3.2) transforms into continuous action (2.2) and any information about lattice is forgotten in the main approximation.
≡ ∓ e α * mk e 4 * ml − e 4 * mk e α * ml + +ε αβγ e β * mk e γ * ml . (4.5) The index W ′ in (4.5) enumerates all 4-simplices which contain a marked 1-simplex a Wm a Wi . As in continuous case, the system of equations (4.1), (4.2) and (4.4) is equivalent to the system of equations (4.1) with index (+), (4.2), (4.4) and (4.5). It will be shown that the square brackets give null equation under the sum (4.5). Therefore only the first term in the parentheses in Eq. (4.5) is significant. Equations (4.5) do not fix the quantity E α completely but up to summands of the kind and the lattice 1-form Ψ α (−)Wmk = −Ψ α (−)Wkm can be varied according to It follows from here that Eqs. (4.5) fix no more than 3 additional real-valued parameters at each vertex of complex, leading to the fixation of gauge subgroup Spin(4) (−) . Let's prove the given statements. For this end one must check that the equation is satisfied identically. It is evident that the braces in Eq.

Consider two adjacent positively oriented 4-simplices
so that Select from the sum (4.8) two summands corresponding to the 4-simplices (4.9): We see that the quantities Ψ α (−)Wmk belonging to the common 3-simplices of the adjacent 4-simplices cancel on in (4.11) as a consequence of Eqs. (4.10) and Ψ α (−)Wjk + Ψ α (−)W ′ kj = 0. Note that each quantity Ψ α (−)W ′ jk in parentheses in (4.8) belongs to the 3-simplex which is common to two adjacent 4-simplices. If not, the cavities and boundaries would be in the simplicial complex, but such complexes are not considered here. Thus, the sum (4.8) is equal to zero identically [13]. This means that the system of equations (4.1) with index (+), (4.2), (4.4) and (4.5) is self-consistent and it fixes in part the gauge as well as in continuous case. According to the Eqs. (4.2) and (4.3) the action of any solution of this system of equations is equal to zero.

V. LATTICE ANALOGUE OF THE EGUCHI-HANSON SOLUTION
Now proceed to study the lattice analog of the Eguchi-Hanson solution. But it is impossible to give the irregular lattice solution in an explicit form in contrast to the continuous case. Thus, the problem reduces to the solution existence proof and finding of its asymptotics.
Suppose that the complex K is finite but it contains gillion simplices, so that the number of vertices ∞ > N ≫ 1. Suppose also that K can be considered as a triangulation of a part of R 4 and ∂ K ≈ S 3 . It is assumed that in a wide vicinity of ∂ K the long-wavelength limit is valid and the continuous solution (2.13), (2.14) approximates correctly the exact lattice solution and the hypersurface ∂ K is given by the Eq. r = R = Const −→ ∞. Denote by k ⊂ K a finite sub-complex containing the centre of instanton with the boundary ∂ k ≈ S 3 . Evidently, the Euler characteristics χ(k) = χ(K) = 1. We have the exact lattice equivalents of the instanton boundary conditions (2.15) and (2.16): Here the indices S(∂ K) and S(∂ k) enumerate 3-simplices on the boundaries ∂ K and ∂ K, correspondingly, and the Levi-Civita symbol ε Sijkm = ±1 depending on whether the order of vertices s 3 S = a Si a Sj a Sk a Sm defines the positive or negative orientation of this 3-simplex.
Since the long-wavelength limit is valid as r −→ ∞, one can use the instanton solution for the dynamic variables (2.13)-(2.14) in this region: Therefore the sum in (5.1) transforms into integral (2.15) with the only difference that now the angle ψ varies in the interval (2.12), and so the boundary condition (5.1) is just.
To implement the boundary condition (5.2) we suggest the following solutions on the sub-complex k.
Consider the following solutions of Eqs. (4.1), (4.2) and (4.4) on k: From here it follows that The equalities (5.4) hold true if we perform a gauge transformation (see (3.3)) with S (+)Wi = ±1, S (−)Wi = 1. The boundary condition (5.2) is true for each configuration obtained in such a way. Obviously, 1-formê Wij can be considered as a 1cochain on complex, and the quantity is a 2-cochain which is the superposition of the exterior products of 1-cochains e a Wij . It may be verified (compare with (4.5)) that the left hand side of Eq. (4.1) is nothing but the exterior lattice derivative of a 2-cochain (5.5), and Eq. (4.1) implies that the derivative is equal to zero in the case of (5.4), i.e. the quantity (5.5) is a cocycle [14]: Evidently, Eqs. (5.6) are satisfied for where φ a V is any scalar field on k. This statement is checked easily by a direct calculation and it follows from the fact that the cochain (5.5) is the superposition of the exterior products of exact 1-forms in the case (5.7).
Since the second cohomology group H 2 (k) = 0, so the cocycle (5.5) is a lattice coboundary: Eqs. (5.6) fix no more than 6 real numbers at each vertex of the sub-complex k for the reason that the lattice 1-form Ψ ab Wmk is determined up to the lattice gradient (φ ab Wk − φ ab Wm ). So it follows from Eqs. (5.3) (just like as in the case of (4.4)) that now not only the gauge sub-group Spin(4) (−) is broken but also the gauge group Spin(4) is broken to on k \∂ k almost wholly except for the center of the sub-group SU(2) (+) (see Eqs. (4.6)-(4.11)).
From here and throughout the following discussions the pairs of indices (V 1 V 2 ) enumerate 1-simplexes a V1 a V2 ∈ K.
The action (3.2) is equal to zero identically for the configurations (4.4), (5.4) and any values of e a V1V2 , where 1-simplex a V1 a V2 ∈ k, a V1 a V2 / ∈ ∂ k. Therefore, Eqs. (4.2) are satisfied automatically in this case, they do not give any constraint onto the corresponding 1-forms e a V1V2 in addition to Eqs. (5.8): Now let us prove that the lattice configuration of the variables ω ab V1V2(inst) , e a V1V2(inst) satisfying the system of equations (4.1), (4.2), (4.4) and constraints (5.1), (5.2) does exist. The configuration is the lattice analogue of the Eguchi-Hanson continuous instanton.
The constraint (5.2) is realized evidently by taking the variables Ω (+)V1V2 on the sub-complex k as in (5.3). We believe also that the relations (5.7) are valid. The constraint (5.1) also is realized evidently by taking on the boundary ∂ K, where the field ω α (+)µ is given by Eq. (2.17).
Firstly let's consider Ag as a constrained-free functional (3.2) on sub-complex (intK) \ k. Each of the elements Ω V1V2 is a smooth matrix function on the sum of two unit 3D spheres S 3 (+)(V1V2) ∪ S 3 (−)(V1V2) . Therefore the action Ag is a smooth real function on the compact manifold without boundary and Eqs. (4.4). Here the quantities a Wm a Wi and ε W ′ mijkl are renamed as a V1 a V2 and ε W ′ V1V2jkl , correspondingly. Further the set of equations (5.13) on K\int k is considered as the set of constraints. Let's resolve the constraints (5.13) on the sub-complex (K \ int k) relative to a subset of variables { g q }, q = 1, . . . , Q ∼ 3N, describing the gauge transformations Spin(4) (−) . We denote by {e ′ } the rest of variables {e}. So we have on the sub-complex (K \ intk): (i) the set of variables {e} is equivalent to the set of variables {e ′ , g }, (ii) the hypersurface (5.13) is represented as the set of analytical functions g (e ′ ) and it is designated as E.
The hypersurface E exhibits the following properties: a) The manifold E is boundaryless. This property follows from the implicit function theorem.
b) The hypersurface E is a closed set. This property follows from the fact that any accumulation point of E in the space {e} belong to the hypersurface due to analyticity of the constraints (5.13).
Denote by S H the hypersphere and The manifold C is compact and boundaryless. It follows from here that the points q ζ ∈ C exist at which the action Ag(e ′ , g ) is extremal and so ∂A g (e ′ , g )/∂e ′ q ζ ∈C = 0. (5.16) We have also ∂A g (e ′ , g )/∂ g = 0. (5.17) The set of Eqs. (5.17) follow from the fact that variations of variables { g } lead to variations of the constraints (5.13) only. But herein the corresponding variations of the action A are equal to zero due to Eqs. (4.4) and since the contribution of the constraints (5.13) into the action looks like as The totality of equations (5.16) and (5.17) is equivalent to the system of equations ∂A g (e)/∂e S H = 0. (5.18) Resolve the constraint (5.14) relative to e 1 V N−1 V N : Here the symbol ′ is the same as in (5.14) only that the variable e 1 V N−1 V N is excluded. It follows from (5.18), (5.19): There is the estimation According to (3.2) and the Eguchi-Hanson solution (2.21) and therefore ∂A g ∂e a

V1V2
∼ R −6 . (5.23) Since the number of 1-simplexes a V1V2 ⊂ K is of the order of R 4 , so the estimation

VI. CONCLUSION
Aforesaid means that the lattice analogue of the Eguchi-Hanson self-dual solution to continuous Euclidean Gravity does exist for the complex K ≈ R 4 .
It is crucially important that the problem of possible singularities for the curvature tensor does not exist on the lattice gravity. In continuous gravity for the ψ range (2.12), the manifold would have "cone-tip" singularities at r = a; this implies the necessity of delta-functions in the curvature at r = a (see [2,3]). But delta-functions transforms into Kronecker symbol which is of the order of unity in discrete mathematics. The same is true with respect to the lattice analogue of the curvature tensor Ω Wmi Ω Wij Ω Wjm ∼ ±1. This is the reason why one can take the range of angles (2.12) in a lattice gravity. Moreover, all lattice equations are satisfied and the action for the instanton solution is equal to zero.
Thus, the setting of the problem for finding a self-dual solution to lattice Euclidean gravity is as follows: one must solve (in anti-instanton case) the difference lattice system of equations (4.1) with indices (+), (4.2), (4.4), the constraints (5.13), and the boundary conditions (5.3), (5.10).
Here some questions are not enough clear or remain unclear.
1) Is the offered solution with χ(K) = 1 stable or it can be contracted smoothly into the trivial one?
The answer to this question seems to be as follows.
The field configuration Ω V1V2 (1), e a V1V2 (1) is a trivial solution of Eqs. (4.1), (4.2). Evidently, the global continuous description of this trivial solution is possible. Nevertheless, the considered instanton contraction scenario seems to be unsatisfactory since to do this, one must contract topologically nontrivial connection elements (see (5.1) and (5.10)) into unit in the infinite space-time.
Another instanton contraction scenario which is described in continual limit by limit process a −→ 0 and in the lattice case by reducing the sub-complex k up to its disappearance also seems to be unsatisfactory. Indeed, in this case we would have resulted in the failure of the Chern-Gauss-Bonnet theorem in R 4 . So, this scenario is also impossible, it can be considered as a decreasing of the instanton scale a up to a lattice scale.
Therefore, the considered instanton solution for the case χ(K) = 1 seems to be stable.
2) The case χ(k) = (2k +1), k = 1, 2, . . . and ∂k = S ≈ S 3 is interesting, but it is not considered here. So, the question remains unanswered: for what values of χ(K) the lattice self-dual solution does exist and it would be stable?