# On the Deformation Retract of Eguchi-Hanson Space and Its Folding

Authors: H. Rafat; Nasr Ahmed
Journal: Advances in Mathematical Physics
 (2015)

---

## Abstract

We introduce the deformation retract of the Eguchi-Hanson space using Lagrangian equations. The retraction of this space into itself and into geodesics has been presented. The deformation retract of the Eguchi-Hanson space into itself and after the isometric folding has been discussed. Theorems concerning these relations have been deduced.


---

## Body

## 1. Introduction

The real revolution in mathematical physics in the second half of twentieth century (and in pure mathematics itself) was algebraic topology and algebraic geometry [1]. In the nineteenth century, mathematical physics was essentially the classical theory of ordinary and partial differential equations. The variational calculus, as a basic tool for physicists in theoretical mechanics, was seen with great reservation by mathematicians until Hilbert set up its rigorous foundation by pushing forward functional analysis. This marked the transition into the first half of twentieth century, where, under the influence of quantum mechanics and relativity, mathematical physics turned mainly into functional analysis, complemented by the theory of Lie groups and by tensor analysis. All branches of theoretical physics still can expect the strongest impacts from use of the unprecedented wealth of results of algebraic topology and algebraic geometry of the second half of twentieth century [1].Today, the concepts and methods of topology and geometry have become an indispensable part of theoretical physics. They have led to a deeper understanding of many crucial aspects in condensed matter physics, cosmology, gravity, and particle physics. Moreover, several intriguing connections between only apparently disconnected phenomena have been revealed based on these mathematical tools [2].Topology enters general relativity through the fundamental assumption that spacetime exists and is organized as a manifold. This means that spacetime has a well-defined dimension, but it also carries with it the inherent possibility of modified patterns of global connectivity, such as distinguishing a sphere from a plane or a torus from a surface of higher genus. Such modifications can be present in the spatial topology without affecting the time direction, but they can also have a genuinely spacetime character in which case the spatial topology changes with time [3]. The topology change in classical general relativity has been discussed in [4]. See [5] for some applications of differential topology in general relativity.In general relativity, boundaries that areS
1-bundles over some compact manifolds arise in gravitational thermodynamics [6]. The trivial bundle ∑
‍
=
S
1
×
S
2 is a classic example. Manifolds with complete Ricci-flat metrics admitting such boundaries are known; they are the Euclideanised Schwarzschild metric and the flat metric with periodic identification. York [7] shows that there are in general two or no Schwarzschild solutions depending on whether the squashing (the ratio of the radius of the S
1-fibre to that of the S
2-base) is below or above a critical value. York’s results in 4 dimensions extend readily to higher dimensions.The simplest example of nontrivial bundles arises in quantum cosmology in which the boundary is a compactS
3, that is, a nontrivial S
1 bundle over S
2. In the case of zero cosmological constant, regular 4 metrics admitting such an S
3 boundary are the Taub-Nut [8] and Taub-Bolt [9] metrics having zero- and two-dimensional (regular) fixed point sets of the U
(
1
) action, respectively.The four-dimensional Riemannian manifolds for gravitational instantons can be asymptotically flat, asymptotically locally Euclidean, asymptotically locally flat, or compact without boundary [10]. Hawking’s interpretation of the Taub-NUT solution [8] is an example of asymptotically locally flat space. The simplest nontrivial example of asymptotically locally Euclidean spaces is the metric of Eguchi-Hanson [11, 12]:
(1)
d
s
2
=
1
-
a
4
R
4
-
1
d
R
2
+
1
4
R
2
1
-
a
4
R
4
d
ψ
+
cos
⁡
θ
d
ϕ
2
+
1
4
R
2
d
θ
2
+
sin
2
θ
d
ϕ
2
,
where a is a constant of integration. This Eguchi-Hanson metric is self-dual.In order to remove the apparent singularity, we takeψ to have period 2
π. For large values of r, the metric tends towards Euclidean flat space. For surfaces of constant r
>
a, the topology is that of R
P
3. The surface at r
=
a is a 2-sphere. In other words, since ψ has a period of 2
π, the level surfaces are S
3
/
Z
2, that is, R
P
3, and hence the metric is asymptotically locally Euclidean and asymptotically looks like R
4
/
Z
2. The complete metric has the topology of T
*
(
C
P
1
) [6]. The (
2
n
+
n
)-dimensional metric has the succinct form
(2)
d
s
2
=
1
-
a
2
n
+
2
R
2
n
+
2
-
1
d
R
2
+
R
2
1
-
a
2
n
+
2
R
2
n
+
2
d
ψ
+
A
2
+
R
2
d
s
M
2
,
where the bolt at r
=
a is regular with ψ having a period of 2
π
/
(
n
+
1
). The squashing
(3)
β
2
α
2
=
1
-
1
ρ
2
n
+
2
with ρ
≡
r
/
a
∈
[
0
,
∞
) increases monotonically from zero and approaches unity as ρ
→
∞.


## 2. Deformation Retract

### 2.1. Deformation Retract: Definitions

The theory of deformation retract is very interesting topic in Euclidean and non-Euclidean spaces. It has been investigated from different points of view in many branches of topology and differential geometry. A retraction is a continuous mapping from the entire space into a subspace which preserves the position of all points in that subspace [13].(i)
LetM and N be two smooth manifolds of dimensions m and n, respectively. A map f
:
M
→
N is said to be an isometric folding of M into N if and only if, for every piecewise geodesic path γ
:
J
→
M, the induced path f
o
γ
:
J
→
N is a piecewise geodesic and of the same length as γ [14]. If f does not preserve the lengths, it is called topological folding. Many types of folding are discussed in [15, 16]. Some applications are discussed in [17–19].
(ii)
A subsetA of a topological space X is called a retract of X, if there exists a continuous map r
:
X
→
A such that [20]
(a)
X is open;
(b)
r
(
a
)
=
a, ∀
a
∈
A.
(iii)
A subsetA of a topological space X is said to be a deformation retract if there exists a retraction r
:
X
→
A and a homotopy f
:
X
×
I
→
X such that [20]
f
(
x
,
0
)
=
x, ∀
x
∈
X,
f
(
x
,
1
)
=
r
(
x
), ∀
r
∈
X,
f
(
a
,
t
)
=
a, ∀
a
∈
A, t
∈
[
0,1
].The deformation retract is a particular case of homotopy equivalence, and two spaces are homotopy equivalent if and only if they are both deformation retracts of a single larger space.Deformation retracts of Stein spaces have been studied in [21]. The deformation retract of the 4D Schwarzchild metric has been discussed in [22] where it was found that the retraction of the Schwarzchild space is spacetime geodesic. The deformation retract of Kerr spacetime and its folding has been discussed in [23]. In this paper we are going to discuss the retraction for the Eguchi-Hanson space.Most of the studies on deformation retract and folding, if not all, are pure mathematical studies. The authors believe that these two concepts should be given more attention in modern mathematical physics. Topological studies of some famous metrics of mathematical physics could be a nice topological exploration start.


## 2.1. Deformation Retract: Definitions

The theory of deformation retract is very interesting topic in Euclidean and non-Euclidean spaces. It has been investigated from different points of view in many branches of topology and differential geometry. A retraction is a continuous mapping from the entire space into a subspace which preserves the position of all points in that subspace [13].(i)
LetM and N be two smooth manifolds of dimensions m and n, respectively. A map f
:
M
→
N is said to be an isometric folding of M into N if and only if, for every piecewise geodesic path γ
:
J
→
M, the induced path f
o
γ
:
J
→
N is a piecewise geodesic and of the same length as γ [14]. If f does not preserve the lengths, it is called topological folding. Many types of folding are discussed in [15, 16]. Some applications are discussed in [17–19].
(ii)
A subsetA of a topological space X is called a retract of X, if there exists a continuous map r
:
X
→
A such that [20]
(a)
X is open;
(b)
r
(
a
)
=
a, ∀
a
∈
A.
(iii)
A subsetA of a topological space X is said to be a deformation retract if there exists a retraction r
:
X
→
A and a homotopy f
:
X
×
I
→
X such that [20]
f
(
x
,
0
)
=
x, ∀
x
∈
X,
f
(
x
,
1
)
=
r
(
x
), ∀
r
∈
X,
f
(
a
,
t
)
=
a, ∀
a
∈
A, t
∈
[
0,1
].The deformation retract is a particular case of homotopy equivalence, and two spaces are homotopy equivalent if and only if they are both deformation retracts of a single larger space.Deformation retracts of Stein spaces have been studied in [21]. The deformation retract of the 4D Schwarzchild metric has been discussed in [22] where it was found that the retraction of the Schwarzchild space is spacetime geodesic. The deformation retract of Kerr spacetime and its folding has been discussed in [23]. In this paper we are going to discuss the retraction for the Eguchi-Hanson space.Most of the studies on deformation retract and folding, if not all, are pure mathematical studies. The authors believe that these two concepts should be given more attention in modern mathematical physics. Topological studies of some famous metrics of mathematical physics could be a nice topological exploration start.


## 3. Eguchi-Hanson Metric

A four-dimensional flat metric can be written as(4)
d
s
2
=
d
x
1
2
+
d
x
2
2
+
d
x
3
2
+
d
x
4
2
.
So the coordinates of the four-dimensional Eguchi-Hanson space (1) can be written as
(5)
x
1
=
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
x
2
=
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
x
3
=
e
1
2
R
2
θ
+
C
3
,
x
4
=
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
,
where C
1, C
2, C
3, and C
4 are constants of integration. Also e
=
1 or -
1.


## 4. Using Euler-Lagrange Equation

In general relativity, the geodesic equation is equivalent to the Euler-Lagrange equations(6)
d
d
λ
∂
L
∂
x
˙
α
-
∂
L
∂
x
α
=
0
,
i
=
1,2
,
3,4
associated with the Lagrangian
(7)
L
x
μ
,
x
˙
μ
=
1
2
g
μ
ν
x
˙
μ
x
˙
ν
.To find a geodesic which is a subset of the 6D Schwarzchild space, the Lagrangian could be written as(8)
L
=
1
-
a
4
R
4
-
1
R
˙
2
+
1
4
R
2
1
-
a
4
R
4
ψ
˙
2
+
1
4
R
2
θ
˙
2
+
1
4
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
˙
2
+
1
2
R
2
1
-
a
4
R
4
cos
⁡
θ
ψ
˙
ϕ
˙
.
since there is no explicit dependence on ϕ, or ψ, ∂
L
/
∂
ϕ and ∂
L
/
∂
ψ
˙ could be considered as constants of motion; thus
(9)
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
˙
+
1
2
R
2
1
-
a
4
R
4
cos
⁡
θ
ψ
˙
=
h
,
1
2
R
2
1
-
a
4
R
4
ψ
˙
+
cos
⁡
θ
ϕ
˙
=
k
.
The R-component gives
(10)
d
d
λ
2
R
˙
1
-
a
4
R
4
-
1
-
-
4
a
4
1
-
a
4
/
R
4
2
R
5
R
˙
2
+
1
2
R
1
-
a
4
R
4
+
a
4
R
3
ψ
˙
2
+
1
2
R
θ
˙
2
+
1
2
R
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
+
a
4
R
3
cos
⁡
2
θ
ϕ
˙
2
-
4
a
4
1
-
a
4
/
R
4
2
R
5
+
R
1
-
a
4
R
4
cos
⁡
2
θ
+
2
a
4
R
3
cos
⁡
2
θ
ψ
˙
ϕ
˙
=
0
.
The θ-component gives
(11)
d
d
λ
(
R
2
θ
˙
)
-
1
2
ϕ
˙
2
sin
2
θ
a
4
R
2
+
R
2
sin
θ
1
-
a
4
R
4
ψ
˙
ϕ
˙
=
0
.
For θ
=
π
/
2, (9), (10), and (11) reduce to
(12)
1
2
R
2
ϕ
˙
=
h
,
1
2
R
2
1
-
a
4
R
4
ψ
˙
=
k
,
d
d
λ
2
R
˙
1
-
a
4
R
4
-
1
-
-
4
a
4
1
-
a
4
/
R
4
2
R
5
R
˙
2
-
4
a
4
1
-
a
4
/
R
4
2
R
5
+
1
2
R
1
-
a
4
R
4
+
a
4
R
3
ψ
˙
2
+
1
2
R
ϕ
˙
2
=
0
,
-
1
2
ϕ
˙
2
a
4
R
2
+
R
2
1
-
a
4
R
4
ψ
˙
ϕ
˙
=
0
.
From (
1
/
2
)
R
2
1
-
a
4
/
R
4
ψ
˙
=
k, if k
=
0 then ψ
˙
=
0 or ψ
=
A; if A
=
0 we get the following coordinates:
(13)
x
1
=
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
x
2
=
e
C
2
,
x
3
=
e
1
2
R
2
θ
+
C
3
,
x
4
=
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
.
Since x
1
2
+
x
2
2
+
x
3
2
-
x
o
2
>
0 which is the great circle S
1 in the Eguchi-Hanson space S, this geodesic is a retraction in Eguchi-Hanson space; d
s
2
>
0. From (
1
/
2
)
R
2
ϕ
˙
=
h, if h
=
0 then ϕ
˙
=
0 or ϕ
=
B; if B
=
0 we get the following coordinates:
(14)
x
1
=
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
x
2
=
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
x
3
=
e
1
2
R
2
θ
+
C
3
,
x
4
=
e
C
4
.
Since x
1
2
+
x
2
2
+
x
3
2
-
x
o
2
>
0 which is the great circle S
1 in the Eguchi-Hanson space S, this geodesic is a retraction in Eguchi-Hanson space; d
s
2
>
0. Then the following theorem has been proved.Theorem 1.
The retraction of the Eguchi-Hanson spacetime is the great circle in spacetime geodesic in Eguchi-Hanson space. The deformation retract of the Eguchi-Hanson spaceE
H is defined by
(15)
ϕ
:
E
H
×
I
⟶
E
H
,
where E
H is the Eguchi-Hanson space and I is the closed interval [
0,1
]. The retraction of the Eguchi-Hanson space E
H is given by
(16)
R
:
E
H
⟶
S
1
,
S
2
.
The deformation retract of the Eguchi-Hanson spaceE
H into a geodesic S
1
⊂
E
H is given by
(17)
ϕ
m
,
c
=
cos
⁡
π
c
2
×
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
sin
π
c
2
×
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
.
The deformation retract of the Eguchi-Hanson space E
H into a geodesic S
2
⊂
E
H is given by
(18)
ϕ
m
,
c
=
cos
⁡
π
c
2
·
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
sin
π
c
2
×
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
.
Now we are going to discuss the foldingf of the Eguchi-Hanson space E
H. Let
(19)
f
:
E
H
⟶
E
H
,
where
(20)
f
x
1
,
x
2
,
x
3
,
x
4
=
x
1
,
x
2
,
x
3
,
x
4
.
An isometric folding of the Eguchi-Hanson space E
H into itself may be defined by
(21)
f
:
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
⟶
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
.
The deformation retract of the folded Eguchi-Hanson space E
H into the folded geodesic f
(
s
1
) is
(22)
ϕ
f
:
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
×
I
⟶
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
with
(23)
ϕ
f
(
m
,
c
)
=
cos
⁡
π
c
2
·
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
sin
π
c
2
·
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
.
The deformation retract of the folded Eguchi-Hanson space E
H into the folded geodesic f
(
s
2
) is
(24)
ϕ
f
m
,
c
=
cos
⁡
π
c
2
·
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
sin
π
c
2
·
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
C
4
.
Then we reach the following theorem.Theorem 2.
The folding of the Eguchi-Hanson space (26) and any folding homeomorphic to that folding have the same deformation retract of the Eguchi-Hanson space onto a geodesic.
Now let the folding be defined by(25)
f
*
:
E
H
⟶
E
H
,
where
(26)
f
o
x
1
,
x
2
,
x
3
,
x
4
=
x
1
,
x
2
,
x
3
,
x
4
.
The isometric folded Eguchi-Hanson space f
*
(
E
H
) is
(27)
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
.
The deformation retract of the folded Eguchi-Hanson space f
*
(
E
H
) into the folded geodesic f
*
(
s
1
) is given by
(28)
ϕ
f
*
:
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
×
I
⟶
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
with
(29)
ϕ
f
*
(
m
,
c
)
=
cos
⁡
π
c
2
·
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
sin
π
c
2
·
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
.
The deformation retract of the folded Eguchi-Hanson spacef
*
(
E
H
) into the folded geodesic f
*
(
s
2
) is given by
(30)
ϕ
f
*
(
m
,
c
)
=
cos
⁡
π
c
2
·
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
1
2
R
2
sin
2
θ
+
1
-
a
4
R
4
cos
⁡
2
θ
ϕ
+
C
4
+
sin
π
c
2
e
a
2
+
R
2
-
a
R
tan
-
1
R
a
a
2
2
1
2
R
2
θ
+
C
3
+
a
2
2
ln
⁡
1
+
a
2
2
+
a
2
ln
⁡
(
R
-
a
)
R
-
a
2
2
ln
⁡
(
R
-
a
)
-
a
2
ln
⁡
(
R
+
a
)
R
-
a
2
2
ln
⁡
(
R
+
a
)
+
C
1
1
/
2
,
e
1
2
R
2
1
-
a
4
R
4
ψ
+
C
2
,
e
1
2
R
2
θ
+
C
3
,
e
C
4
.
Then the following theorem has been proved.Theorem 3.
The deformation retract of the isometric folding of Eguchi-Hanson space and any folding homeomorphic to this type of folding is different from the deformation retract of Eguchi-Hanson space under condition (26).


## 5. Conclusion

The deformation retract of the Eguchi-Hanson space has been investigated by making use of Lagrangian equations. The retraction of this space into itself and into geodesics has been presented. The deformation retraction of the Eguchi-Hanson space is a geodesic which is found to be a great circle. The folding of the Eguchi-Hanson space has been discussed and it was found that this folding and any folding homeomorphic to that folding have the same deformation retract of the Eguchi-Hanson space onto a geodesic. Also, the deformation retract of the isometric folding of Eguchi-Hanson space and any folding homeomorphic to this type of folding is found to be different from the deformation retract of Eguchi-Hanson space under condition (26).



---

*Source: 301928-2015-02-22.xml*