## Global Embedding of Analytic Branes into ${\mathcal{ℰ}}^{\Sigma }$Einstein MD Bulk Cosmology: Wormholes

### Nikolaos I. Katzourakis * * Address: Troias 6, 18541, Kaminia, Pireaus, Greece University of Athens, Department of Mathematics e-mail: nkatzourakis@math.uoa.gr

Abstract
In a series of recent papers [26, [27, [28we have shown that:
(I) any $n$  -dimensional analytic semi-Riemannian manifold $\mathcal{ℳ}$  has a global isometric analytic embedding into an Einstein manifold $\mathcal{ℰ}$  of dimension $n+d$  , $d\geqq 1$  ( $\Lambda \in \mathbb{R}$  ).
(II) There exists an Einstein global embedding space ${\mathcal{ℰ}}^{\Sigma }$  , admitting unsmoothable differential-topological singularities ( $0-D$  points or extended $\left(d-k\right)-D$  spatial ”anomalies”) living into the complement ${\mathcal{ℰ}}^{\Sigma }\mathbb{\}\mathcal{ℳ}$  . They were expounded as wormholes. The topologies of such $\mathcal{ℰ}$  & ${\mathcal{ℰ}}^{\Sigma }$  's have been studied, showing that Homotopy & Homology split in both cases.
(III) Any finite-many analytic semi-Riemannian manifolds ${\mathcal{ℳ}}_{1}^{\left({n}_{1}\right)}$  , ..., ${\mathcal{ℳ}}_{m}^{\left({n}_{m}\right)}$  have all a global isometric analytic embedding into an $\left(\sum {n}_{k}1\le k\le m+d\right)$  -Einstein Bulk $\mathcal{ℰ}$  as disjoint submanifolds, while both ${\pi }_{m}\left(\mathcal{ℰ}\right)$  & ${H}_{m}\left(\mathcal{ℰ};\mathbb{G}\right)$  split. The optimum dimensionality corresponds to $d=1$  .
In this paper we continue extending further these results on Cosmological Brane embeddings:
There exists an Einstein global embedding space ${\mathcal{ℰ}}^{\Sigma }$  , admitting unsmoothable differential-topological singularities ( $0-D$  points or extended $\left(d-k\right)-D$  spatial ”anomalies”) living into the complement ${\mathcal{ℰ}}^{\Sigma }\mathbb{\}\prod k=1m{\mathcal{ℳ}}_{k}$  .
We further calculate the (reduced) Homology ${\stackrel{~}{H}}_{p}\left({\mathcal{ℰ}}^{\Sigma };\mathbb{G}\right)$  of ${\mathcal{ℰ}}^{\Sigma }$  which proves to split in every dimension, without dependence on any ${\stackrel{~}{H}}_{p}\left({\mathcal{ℳ}}_{k};\mathbb{G}\right)$  , $1\le k\le m$  .
Keywords: Spacetime Embedding, Einstein space, Campbell-Magaard Theorem, Homology; Brane-World, MD Gravity, Brane Cosmology MSC Subject Classification $2000$  : Primary 53C20, 53C25, 32C09, 53Cxx; Secondary 83C75, 83C55, 83E15, 83F05.
Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk Introduction The concept of the spacetime manifold as a model of the large scale structure of the Universe is a result of evolution in both physical & mathematical attitudes.
Once we used to think of Euclidean flat $3$  -space as the case of interest in mathematics, constituting in the same time the model of the Newtonian space-time.
In the first half of the $20$  th century, Einstein's General Relativity (G.T.R.) employed the differential-geometric model of $4$  -manifold equipped with a Lorentzian metric structure, the solution of the field equations which (the latter) correlate the Curvature of spacetime with the distribution of matter, the energy and the momentum ([5, [7, [12, [14). That was the beginning of interconnections between geometry & physics.
The possibility that there may exist more than $3+1$  space-time dimensions was taken into account not long after the final formulation of G.T.R.. Kaluza and Klein (K.-K.) unified $4D$  vacuum Relativity and classical electromagnetism ([15) on a $5$  -manifold that satisfies the vacuum field equations (curved by the contribution of the photons). The extra dimension was considered topologically compact (homeomorphic to ${\mathbb{S}}^{1}$  ), infinitesimal (thus invisible) and the $4$  -spacetime was assumed not to depend on the 5th dimension. In fact, the Universe was considered as a hyper-cylinder, locally homeomorphic to ${\mathbb{R}}^{4}×{\mathbb{S}}^{1}$  .
In a modern approach called Space-Time-Matter or Induced Matter Theory (S.T.M.) ([17, [18, [15and references therein) these assumptions are removed and the result is the unification of G.T.R. & electromagnetism together with their sources (mass & charge ), expounded (the latter) as an artifact induced on the $4$  -manifold, generated by the (non-linear) geometry of invisible extra spatial dimensions.
One of the most recent Cosmological scenarios concerning the geometric structure of the (classical) Universe introduced by L. Randall and R. Sundrum ([38, [39) claims that the Universe of our perception is a (mem-)Brane of $3+1$  dimensions (submanifold) embedded in a multi-dimensional (MD) Bulk of at least $5$  dimensions.
The main ansatz for this (possibly moving in the Bulk) Brane is that matter is confined on the Brane and only gravity and electromagnetic fields can propagate on the bulk. Soon, $2$  -Brane (& multi-Brane, colliding or not ) systems embedded Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk into the same Bulk came into light, with possible MD singularities. Our visible Universe was thought of as $1$  of those interacting Branes. Mathematically, these theories are modeled on a local embedding theorem of Riemannian Geometry, due to Campbell who was the first who stated it [2, and Magaard ([8, [31) who presented a strict proof (see [35, [40, [44): any analytic n-manifold can be locally and isometrically embedded into some other Ricci-flat of n+1 dimensions ( ${R}_{AB}=0$  ). In a sense, this is equivalent to the local embedding of Einstein 4D Relativity, into some 5D Relativity in the vacuum where no matter exists (”wood”, according to Einstein), but only geometrical properties (”marble”).
It becomes clear that in the light of these theories that are entirely based on differential-geometric (though local only) embeddings, new global results are needed, in order to provide a true supporting mathematical framework for Brane-Worlds, not depending on local coordinates. The necessity for embedding owes to the fact that the starting point of an MD gravitational-cosmological theory is the $4$  -dimensional G.T.R. that has to be incorporated in the new MD context.
In recent work ([26, [27, [28) the author has proved that the Campbell-Magaard (C.-M.) Theorem (extended by Dahia & Romero in [17on Einstein from Ricci-flat spaces ) holds true globally:
Any $n$  -dimensional analytic semi-Riemannian manifold $\mathcal{ℳ}$  has a global isometric analytic embedding into an Einstein manifold $\mathcal{ℰ}$  of dimension $n+d$  , $d\geqq 1$  ( $\Lambda \in \mathbb{R}$  ).
This $\mathcal{ℰ}$  may admit (if desired) countable unsmoothable differential-topological singularities, which may be distinct points into spacetime or extended spatial anomalies ([27). These pathologies living into the complement $\mathcal{ℰ}\mathbb{\}\mathcal{ℳ}$  were expounded as wormholes connecting distant points of spacetime.
In addition, Any analytic semi-Riemannian manifolds ${\mathcal{ℳ}}_{1}^{\left({n}_{1}\right)}$  , ..., ${\mathcal{ℳ}}_{m}^{\left({n}_{m}\right)}$  have all a global isometric analytic embedding into an $\left(\sum {n}_{k}1\le k\le m+d\right)$  -Einstein Bulk $\mathcal{ℰ}$  as disjoint submanifolds, while both ${\pi }_{m}\left(\mathcal{ℰ}\right)$  & ${H}_{m}\left(\mathcal{ℰ};\mathbb{G}\right)$  split. The optimum dimensionality of $\mathcal{ℰ}$  corresponds to embedding codimension $d=1$  .
In this paper we combine certain ideas from the prequels, showing that the Einstein embedding manifold $\mathcal{ℰ}$  of the Branes may admit $1$  in codimension $d=1$  & countable-many in $d>1$  unsmoothable differential-topological singularities, Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk which may be distinct points into spacetime or extended spatial anomalies. We also calculate the (reduced) Homology of the singular ${\mathcal{ℰ}}^{\Sigma }$  we construct, which proves to obey a direct sum decomposition, independent of ${\stackrel{~}{H}}_{p}\left({\mathcal{ℳ}}_{k};\mathbb{G}\right)$  , for all $k$  's, $1\le k\le m$  .
The process in the proofs is a slight modification of that presented in [26& [27.
We form a bulk that contains all the ${\mathcal{ℳ}}_{k}$  's as disjoint submanifolds and using the known local embedding results and certain differential-geometric & topological arguments we obtain the requested global extension.
In Section 1 we state the results proved in the prequels. Section 2 contains the proof of the basic result stated above. In Section 3 we study the topology of such embedding Einstein spaces, giving a Homological description of the Einstein manifolds $\mathcal{ℰ}$  we construct, illustrating the aforementioned splitting.
The analogous physical interpretation of the constructed pathological anomalies as wormholes connecting distant points of Bulk spacetime living in the extra dimensions holds in this case of multi-Brane systems too. We refer to [27.
Notations: In the sequel, the terms Spacetime, Brane, Bulk will be used in the place of paracompact, Hausdorff, connected manifolds (finite dimensional), equipped with a semi-Riemannian metric structure and the corresponding Levi-Civita linear connection. Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk

1. The Previous Results.

In [26we proved that:
Theorem 1.1. (Global Isometric Embedding into Einstein manifolds in codimension 1) Any $n$  -dimensional real analytic semi-Riemannian manifold $\left(\mathcal{ℳ};{\nabla }^{\mathcal{ℳ}},{g}_{\mathcal{ℳ}}\right)$  has a global isometric embedding into an $\left(n+1\right)$  -dimensional Einstein manifold $\left(\mathcal{ℰ};{\nabla }^{\mathcal{ℰ}},{g}_{\mathcal{ℰ}}\right)$  satisfying:
$Ri{c}^{{\nabla }^{\mathcal{ℰ}}}\left({g}_{\mathcal{ℰ}}\right)=\frac{2\Lambda }{n-1}{g}_{\mathcal{ℰ}}$  for any $\Lambda \in \mathbb{R}$  .
It is worth noticing that the assumption of analyticity for the manifold is not restrictive, provided that any paracompact ${C}^{k}$  -manifold, $0\le k\le \infty$  , acquires a unique compatible not just smooth ( ${C}^{\infty }$  ) but real analytic structure (there exists a ${C}^{k}$  -diffeomorphism with an analytic manifold). See [45, [24, [10.
Remark 1.2. It is obvious that if a manifold can be embedded into an Einstein space as a hypersurface, repeated applications of Theorem  1.1 imply the weakercondition to be embedable in any codimension greater than $1$  .
In [27we extended further this result, so that to incorporate pathological singularities in the complement of the Bulk $\mathcal{ℰ}\mathbb{\}\mathcal{ℳ}$  that are non-removable:
Theorem 1.3. (Embedding into Einstein manifold with unsmoothable differential-topological singularities of zero measure) Given a semi-Riemannian analytic manifold $\mathcal{ℳ}$  , there exist:
(I) a topological space $\left({\mathcal{ℰ}}^{\Sigma },{\mathcal{T}}_{{\mathcal{ℰ}}^{\Sigma }}\right)$  (II) an analytic manifold $\left(\mathcal{ℰ},{\mathcal{A}}_{\mathcal{ℰ}}\right)$  , with $dim\left(\mathcal{ℰ}\right)=dim\left(\mathcal{ℳ}\right)+d$  , $d\ge 1$  (III) a countable set of points ${\mathbb{F}}^{\Sigma }\subseteq {\mathcal{ℰ}}^{\Sigma }$  , satisfying: ${\mathbb{F}}^{\Sigma }=\left\{\begin{array}{cc}\left\{{f}^{\sigma }\right\},& ifd=1\\ \left\{{f}_{\left(1\right)}^{\sigma },{f}_{\left(2\right)}^{\sigma },...\right\}\sim =\mathbb{N},& ifd\mathbb{\gneqq }1.\end{array}GlobalEmbeddingofAnalyticBranesinMD\mathcal{ℰ}^\Sigma EinsteinBulk$  such that the following topological homeomorphism holds (under inclusion to a subspace) $\left({\mathcal{ℰ}}^{\Sigma }\mathbb{\}{\mathbb{F}}^{\Sigma },{\mathcal{T}}_{{\mathcal{ℰ}}^{\Sigma }}{|}_{{\mathcal{ℰ}}^{\Sigma }\mathbb{\}{\mathbb{F}}^{\Sigma }}\right)-------\to \sim =\supset \left(\mathcal{ℰ},{\mathcal{T}}_{{\mathcal{A}}_{\mathcal{ℰ}}}\right)$  and $\mathcal{ℰ}$  is an Einstein space of global isometric analytic embedding for $\mathcal{ℳ}$  .
In addition, ${\mathcal{ℰ}}^{\Sigma }$  is not even a topological manifold and there does notexists any smoothing resolution of the singularities ${\mathbb{F}}^{\Sigma }\subseteq {\mathcal{ℰ}}^{\Sigma }$  .
${\mathcal{T}}_{{\mathcal{A}}_{\mathcal{ℰ}}}$  denotes the (induced from the differential structure) topology of $\mathcal{ℰ}$  .
The mathematical mechanism of topological identitification we used in the proof of  1.3 in [27to produce the pathological singularities on the Bulk raised the idea that it is not really necessary these ”anomalies” to be points: there may exist extended problematic domains of the complement ${\mathcal{ℰ}}^{\Sigma }\mathbb{\}\mathcal{ℳ}$  . We simply identify distinct homeomorphic domains on the ”fibres” $\mathcal{ℱ}$  .
This more realistic case may correspond to extended object in the Universe with positive (multi-dimensional) volume.
Theorem 1.4. (Embedding into Einstein manifold with unsmoothable differential-topological singularities of positive $\left(d-k\right)$  -measure) Given a semi-Riemannian analytic manifold $\mathcal{ℳ}$  , there exist:
(I) a topological space $\left({\mathcal{ℰ}}^{\Sigma },{\mathcal{T}}_{{\mathcal{ℰ}}^{\Sigma }}\right)$  (II) an analytic manifold $\left(\mathcal{ℰ},{\mathcal{A}}_{\mathcal{ℰ}}\right)$  , with $dim\left(\mathcal{ℰ}\right)=dim\left(\mathcal{ℳ}\right)+d$  , $d\ge 1$  (III) countable many closed path connected & simply connected sets ${\mathbb{F}}^{\Sigma }\subseteq {\mathcal{ℰ}}^{\Sigma }$  , satisfying: ${\mathbb{F}}^{\Sigma }=\left\{\begin{array}{cc}\left\{{f}^{\Sigma }\right\}\sim =\left[0,1\right],& ifd=1\\ \left\{{f}_{\left(1\right)}^{\Sigma },{f}_{\left(2\right)}^{\Sigma },...\right\}\sim =\mathbb{N}×\overline{{\mathbb{B}}^{d-k}\left(0,1\right)},& ifd\mathbb{\gneqq }1.\end{array}$  $\left(0\le k\le d\right)$  such that the following topological homeomorphism holds (under inclusion to a subspace) Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk $\left({\mathcal{ℰ}}^{\Sigma }\mathbb{\}{\mathbb{F}}^{\Sigma },{\mathcal{T}}_{{\mathcal{ℰ}}^{\Sigma }}{|}_{{\mathcal{ℰ}}^{\Sigma }\mathbb{\}{\mathbb{F}}^{\Sigma }}\right)-------\to \sim =\supset \left(\mathcal{ℰ},{\mathcal{T}}_{{\mathcal{A}}_{\mathcal{ℰ}}}\right)$  and $\mathcal{ℰ}$  is an Einstein space of global analytic isometric embedding for $\mathcal{ℳ}$  .
In addition, ${\mathcal{ℰ}}^{\Sigma }$  is not a topological manifold.
In [28we showed that there exists a supporting embedding result for the multi-Brane models of Cosmology (see e.g. [42), due to the following result.
The method in the proof is a slight modification of the $1$  -manifold embedding of [26to produce an $\mathcal{ℰ}$  admitting finite many submanifolds.
Theorem 1.5. (Global Isometric Embedding of Branes into Einstein manifolds in codimension 1) Any ${n}_{k}$  -dimensional analytic semi-Riemannian manifolds $\left({\mathcal{ℳ}}_{k};{\nabla }^{{\mathcal{ℳ}}_{k}},{g}_{{\mathcal{ℳ}}_{k}}\right)$  , $1\le k\le m$  (Branes) have all a global analytic isometric embedding into an $\left(\sum k=1m{n}_{k}+1\right)$  -dimensional Einstein manifold $\left(\mathcal{ℰ};{\nabla }^{\mathcal{ℰ}},{g}_{\mathcal{ℰ}}\right)$  satisfying:
$Ri{c}^{{\nabla }^{\mathcal{ℰ}}}\left({g}_{\mathcal{ℰ}}\right)=\frac{2\Lambda }{\left(\sum k=1m{n}_{k}\right)-1}{g}_{\mathcal{ℰ}}$  as disjoint submanifolds for any $\Lambda \in \mathbb{R}$  .
In this paper we continue with the reasonable extension of the last theorem concerning Brane embeddings incorporating singular spacetimes, in the sense in was done in [27in the case of a single manifold embedding. Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk

2. Embedding of Branes into ${\mathcal{ℰ}}^{\Sigma }$  ${C}_{\alpha }^{\infty }$  -Manifolds admitting Singularities.

The singularities we produce on ${\mathcal{ℰ}}^{\Sigma }$  are by construction pathological and there does not exist any resolution of them: they are obtained by certain topological identitifications of distinct point and the obtain Bulk is not even a manifold, unless the singularities are extracted.
In other words, there exists an Einstein Bulk $\mathcal{ℰ}$  imbedded (in the sense of analysis) into a topological space ${\mathcal{ℰ}}^{\Sigma }$  , where the complement ${\mathcal{ℰ}}^{\Sigma }\mathbb{\}\mathcal{ℰ}$  has zero measure.
Theorem 2.1. (Embedding into Einstein manifold with unsmoothable differential-topological singularities of zero measure) Given any analytic semi-Riemannian manifolds (Branes) ${\mathcal{ℳ}}_{1}$  , . . ., ${\mathcal{ℳ}}_{m}$  there exist:
(I) a topological space $\left({\mathcal{ℰ}}^{\Sigma },{\mathcal{T}}_{{\mathcal{ℰ}}^{\Sigma }}\right)$  (II) an analytic manifold $\left(\mathcal{ℰ},{\mathcal{A}}_{\mathcal{ℰ}}\right)$  , with $dim\left(\mathcal{ℰ}\right)=\sum k=1mdim\left({\mathcal{ℳ}}_{k}\right)+d$  , $d\ge 1$  (III) a countable set of points ${\mathbb{F}}^{\Sigma }\subseteq {\mathcal{ℰ}}^{\Sigma }$  , satisfying: ${\mathbb{F}}^{\Sigma }=\left\{\begin{array}{cc}\left\{{f}^{\sigma }\right\},& ifd=1\\ \left\{{f}_{\left(1\right)}^{\sigma },{f}_{\left(2\right)}^{\sigma },...\right\}\sim =\mathbb{N},& ifd\mathbb{\gneqq }1.\end{array}$  such that the following topological homeomorphism holds (under inclusion to a subspace) $\left({\mathcal{ℰ}}^{\Sigma }\mathbb{\}{\mathbb{F}}^{\Sigma },{\mathcal{T}}_{{\mathcal{ℰ}}^{\Sigma }}{|}_{{\mathcal{ℰ}}^{\Sigma }\mathbb{\}{\mathbb{F}}^{\Sigma }}\right)-------\to \sim =\supset \left(\mathcal{ℰ},{\mathcal{T}}_{{\mathcal{A}}_{\mathcal{ℰ}}}\right)$  and $\mathcal{ℰ}$  is an Einstein space of global isometric analytic embedding for ${\mathcal{ℳ}}_{1}$  ,..., ${\mathcal{ℳ}}_{m}$  .
In addition, ${\mathcal{ℰ}}^{\Sigma }$  is not even a topological manifold and there does notexists any smoothing resolution of the singularities ${\mathbb{F}}^{\Sigma }\subseteq {\mathcal{ℰ}}^{\Sigma }$  .
• Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk Proof. Let $\stackrel{˘}{\mathcal{ℰ}}:={\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}×\mathcal{ℱ}$  be the product of the given semi-Riemannian ${\mathcal{ℳ}}_{k}$  's with an analytic manifold $\mathcal{ℱ}$  , $dim\left(\mathcal{ℱ}\right)\ge 1$  satisfying the property:
”deleting any countable many points ${\mathbb{F}}^{\Sigma }$  from a $d$  -dimensional and a single point $\left\{{f}^{\sigma }\right\}$  from an $1$  -dimensional $\mathcal{ℱ}$  , the respective complements ${\mathcal{ℱ}}^{\left(d\right)}\mathbb{\}{\mathbb{F}}^{\Sigma }$  and ${\mathcal{ℱ}}^{\left(1\right)}\mathbb{\}\left\{{f}^{\sigma }\right\}$  are connected.” $\left(\text{If}dim\left(\mathcal{ℱ}\right)=d=1,\text{we can choose}\mathcal{ℱ}\sim ={S}^{1}\text{and if}dim\left(\mathcal{ℱ}\right)=d>1,\mathcal{ℱ}\sim ={\mathbb{R}}^{d}\right)$  Its easy to see from the definition of $\stackrel{˘}{\mathcal{ℰ}}$  that we can rewrite it as the disjointunion of manifolds $\stackrel{˘}{\mathcal{ℰ}}={⨄}_{p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}}\left\{p\right\}×\mathcal{ℱ}$  For convenience, set $n:=\sum k=1m{n}_{k}\in \mathbb{N}$  where ${n}_{k}=dim\left({\mathcal{ℳ}}_{k}\right)$  , $1\le k\le m$  . Then, $dim\left(\mathcal{ℰ}\right)=\left(\sum k=1m{n}_{k}\right)+d=n+d$  , $d\ge 1$  .
Choose a countable set of points ${\mathbb{F}}^{\Sigma }:=\left\{{f}_{\left(1\right)}^{\sigma },{f}_{\left(2\right)}^{\sigma },...\right\}\sim =\mathbb{N}$  of $\mathcal{ℱ}$  (if $dim\left(\mathcal{ℱ}\right)>1$  ) or a single point $\left\{{f}^{\sigma }\right\}$  (if $dim\left(\mathcal{ℱ}\right)=1$  ). We will prove the general case for ${\mathbb{F}}^{\Sigma }$  reducing obviously to the trivial case when $d=1$  .
The previous choice implies a choice of points for each $\left\{q\right\}×\mathcal{ℱ}$  of $\stackrel{˘}{\mathcal{ℰ}}$  : Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk $\left\{q\right\}×{\mathbb{F}}^{\Sigma }=\left\{q\right\}×\left\{{f}_{\left(m\right)}^{\sigma }{\right\}}_{m\in \mathbb{N}}=\left\{\left(q,{f}^{\sigma }{\right)}_{\left(m\right)}{\right\}}_{m\in \mathbb{N}}\equiv \left\{{f}_{q\left(m\right)}^{\sigma }{\right\}}_{m\in \mathbb{N}}\sim =\mathbb{N}$  denoted as ${\mathbb{F}}_{p}^{\Sigma }:=\left\{{f}_{p\left(m\right)}^{\sigma }{\right\}}_{m\in \mathbb{N}}\subseteq \left\{p\right\}×\mathcal{ℱ},\forall p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}$  Considering the (disjoint) union of all such points in $\stackrel{˘}{\mathcal{ℰ}}$  $⨄p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}{\mathbb{F}}_{p}^{\Sigma }------\to \subset \stackrel{˘}{\mathcal{ℰ}}={⨄}_{p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}}\left\{p\right\}×\mathcal{ℱ}$  we may get a more subtle expression of them, as:
${\mathbb{F}}_{\left(m\right)}^{\Sigma }:=\left\{{f}_{p\left(m\right)}^{\sigma }{\right\}}_{p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}}\subseteq \stackrel{˘}{\mathcal{ℰ}}={\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}×\mathcal{ℱ},\forall m\in \mathbb{N}$  Define now a topological space ${\mathcal{ℰ}}^{\Sigma }$  as the quotient space, produced identifying for each $m$  in $\mathbb{N}$  and $\forall p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}$  , all the distinct points ${\mathbb{F}}_{\left(m\right)}^{\Sigma }$  as one ${f}_{\left(m\right)}^{\Sigma }$  :
${\mathcal{ℰ}}^{\Sigma }:=\stackrel{˘}{\mathcal{ℰ}}/{⨄}_{m\in \mathbb{N}}{\mathbb{F}}_{\left(m\right)}^{\Sigma }={⨄}_{p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}}\left\{\left\{p\right\}×\mathcal{ℱ}\right\}/{⨄}_{m\in \mathbb{N}}{\mathbb{F}}_{\left(m\right)}^{\Sigma }$  with the quotient topology, say ${\mathcal{T}}_{{\mathcal{ℰ}}^{\Sigma }}$  , induced by the topologies ${\mathcal{T}}_{{\mathcal{A}}_{{\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}}}$  and ${\mathcal{T}}_{{\mathcal{A}}_{\mathcal{ℱ}}}$  . Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk In the case of $1$  -dimensional manifold $\mathcal{ℱ}$  , this is exactly the wedge sum of the manifolds $\left\{p\right\}×\mathcal{ℱ}$  with respect to (the $1$  term sequence) ${\mathbb{F}}^{\Sigma }$  (each ${f}_{p}^{\sigma }$  is the chosen base point of $\left\{p\right\}×\mathcal{ℱ}$  ):
 $\begin{array}{cc}{\mathcal{ℰ}}^{\Sigma }\equiv {\bigvee }_{{\mathbb{F}}^{\Sigma }}\left\{\left\{p\right\}×\mathcal{ℱ}\right\}& \end{array}$ (2.1)
 $\begin{array}{}\end{array}$
Back to the general case, $\stackrel{˘}{\mathcal{ℰ}}={\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}×\mathcal{ℱ}$  has a natural (product) analytic manifold structure. Deleting all the (countable many) distinct points $\left\{{f}_{p\left(m\right)}^{\sigma }\right\}$  , $\forall p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}$  and $\forall m\in \mathbb{N}$  , we obtain an analytic connected manifold structure in the (open in the induced topology) complement:
If we set $\mathcal{ℰ}:=\stackrel{˘}{\mathcal{ℰ}}\mathbb{\}{⨄}_{m\in \mathbb{N}}\left({⨄}_{p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}}\left\{{f}_{p\left(m\right)}^{\sigma }\right\}\right)$  then $\mathcal{ℰ}=\stackrel{˘}{\mathcal{ℰ}}\mathbb{\}{⨄}_{p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}}{\mathbb{F}}_{p}^{\Sigma }={⨄}_{p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}}\left\{p\right\}×\left\{\mathcal{ℱ}\mathbb{\}{\mathbb{F}}_{p}^{\Sigma }\right\}$  with the obvious ${C}_{\alpha }^{\infty }$  -atlas ${\mathcal{A}}_{\mathcal{ℰ}}:={\mathcal{A}}_{\stackrel{˘}{\mathcal{ℰ}}}{|}_{\mathcal{ℰ}}$  Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk Deleting the sequence of (identified) points $\left\{{\mathbb{F}}_{\left(m\right)}^{\Sigma }{\right\}}_{m\in \mathbb{N}}$  of ${\mathcal{ℰ}}^{\Sigma }$  , we obtain the differential-topological structure of an analytic manifold, ${\mathcal{ℰ}}^{\Sigma }\mathbb{\}{\mathbb{F}}^{\Sigma }$  withoutany singularities, since:
${\mathcal{ℰ}}^{\Sigma }\mathbb{\}⨄m\in \mathbb{N}{\mathbb{F}}_{\left(m\right)}^{\Sigma }=\left\{\stackrel{˘}{\mathcal{ℰ}}/{⨄}_{m\in \mathbb{N}}{\mathbb{F}}_{\left(m\right)}^{\Sigma }\right\}\mathbb{\}⨄m\in \mathbb{N}{\mathbb{F}}_{\left(m\right)}^{\Sigma }={⨄}_{p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}}\left\{p\right\}×\left\{\mathcal{ℱ}\mathbb{\}{\mathbb{F}}_{p}^{\Sigma }\right\}$  that is ${\mathcal{ℰ}}^{\Sigma }\mathbb{\}⨄m\in \mathbb{N}{\mathbb{F}}_{\left(m\right)}^{\Sigma }\equiv \mathcal{ℰ}$  which proves the analytic structure on ${\mathcal{ℰ}}^{\Sigma }\mathbb{\}\uplus m\in \mathbb{N}{\mathbb{F}}_{\left(m\right)}^{\Sigma }$  . Applying now the embedding theorem  2.2 for this analytic manifold, we can make it an Einstein global isometric embedding manifold of ${\mathcal{ℳ}}_{1}$  , . . ., ${\mathcal{ℳ}}_{m}$  .
The remaining task is to show that ${\mathcal{ℰ}}^{\Sigma }$  is not a manifold. To see this, suppose that taking the wedge sum of $2$  distinct fibres $\left(\left\{p\right\}×\mathcal{ℱ}\right)\vee {f}_{0}\left(\left\{q\right\}×\mathcal{ℱ}\right)$  , there exists a homeomorphism of a domain ${V}_{{f}_{0}}$  of ${f}_{0}$  to ${\mathbb{R}}^{n+d}$  . If this holds, then there must exist a homeomorphism $\phi :V\mathbb{\}\left\{{f}_{0}\right\}-----\to \sim =\phi \left(V\right)\mathbb{\}\left\{\phi \left({f}_{0}\right)\right\}\subseteq {\mathbb{R}}^{n+d}$  choose an open ball ${\mathbb{B}}^{n+d}\left(0,r\right)$  of maximum radius living into $\phi \left({V}_{{f}_{0}}\right)$  and containing $\phi \left({f}_{0}\right)$  . Then, the following homeomorphism ${V}_{{f}_{0}}\bigcap {\phi }^{-1}\left({\mathbb{B}}^{n+d}\left(0,r\right)\right)\mathbb{\}\left\{{f}_{0}\right\}-----\to \sim ={\mathbb{B}}^{n+d}\left(0,r\right)\mathbb{\}\left\{\phi \left({f}_{0}\right)\right\}$  Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk can nothold, since ${\mathbb{B}}^{n+d}\left(0,r\right)\mathbb{\}\left\{\phi \left({f}_{0}\right)\right\}$  has $1$  connected component while ${\phi }^{-1}\left({\mathbb{B}}^{n+d}\left(0,r\right)\right)\mathbb{\}\left\{{f}_{0}\right\}$  has $2$  connected components.
The mathematical mechanism of topological identitification we used to produce the pathological singularities on the Bulk raises the idea that it is not really necessary these ”anomalies” to be points: there may exist extended problematic domains of the complement ${\mathcal{ℰ}}^{\Sigma }\mathbb{\}\left({\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}\right)$  . We simply identify distinct homeomorphic domains on the ”fibres” $\mathcal{ℱ}$  .
This more realistic case may correspond to extended object in the Universe with positive (multi-dimensional) volume.
Theorem 2.2. (Embedding into Einstein manifold with unsmoothable differential-topological singularities of positive $\left(d-k\right)$  -measure) Given any finite-many analytic semi-Riemannian manifolds (Branes) ${\mathcal{ℳ}}_{1}$  ,. . ., ${\mathcal{ℳ}}_{m}$  there exist:
(I) a topological space $\left({\mathcal{ℰ}}^{\Sigma },{\mathcal{T}}_{{\mathcal{ℰ}}^{\Sigma }}\right)$  (II) an analytic manifold $\left(\mathcal{ℰ},{\mathcal{A}}_{\mathcal{ℰ}}\right)$  , with $dim\left(\mathcal{ℰ}\right)=\sum k=1mdim\left({\mathcal{ℳ}}_{k}\right)+d$  , $d\ge 1$  (III) countable many closed path connected & simply connected sets ${\mathbb{F}}^{\Sigma }\subseteq {\mathcal{ℰ}}^{\Sigma }$  , satisfying: ${\mathbb{F}}^{\Sigma }=\left\{\begin{array}{cc}\left\{{f}^{\Sigma }\right\}\sim =\left[0,1\right],& ifd=1\\ \left\{{f}_{\left(1\right)}^{\Sigma },{f}_{\left(2\right)}^{\Sigma },...\right\}\sim =\mathbb{N}×\overline{{\mathbb{B}}^{d-k}\left(0,1\right)},& ifd\mathbb{\gneqq }1.\end{array}$  $\left(0\le k\le d\right)$  such that the following topological homeomorphism holds (under inclusion to a subspace) $\left({\mathcal{ℰ}}^{\Sigma }\mathbb{\}{\mathbb{F}}^{\Sigma },{\mathcal{T}}_{{\mathcal{ℰ}}^{\Sigma }}{|}_{{\mathcal{ℰ}}^{\Sigma }\mathbb{\}{\mathbb{F}}^{\Sigma }}\right)-------\to \sim =\supset \left(\mathcal{ℰ},{\mathcal{T}}_{{\mathcal{A}}_{\mathcal{ℰ}}}\right)$  & $\mathcal{ℰ}$  is an Einstein space of global isometric analytic embedding for ${\mathcal{ℳ}}_{1}$  ,..., ${\mathcal{ℳ}}_{m}$  .
In addition, ${\mathcal{ℰ}}^{\Sigma }$  is not a topological manifold.
• Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk Proof. The proof is a replica of the previous result. The only fact that needs to be noted is that extracting from a closed (abstract) curve a closed (image of ) an interval, (e.g. a closed arc from ${S}^{1}$  ) or a closed (image of a) $\left(d-k\right)$  -ball from $\mathcal{ℱ}$  (choosing e.g. ${\mathbb{R}}^{d}$  ) for $dim\left(\mathcal{ℱ}\right)=d$  ), we obtain open submanifolds in the analytic subspace structure.
In addition, the unability of resolution of the singularities, owes to the fact that choosing from each of the $\mathcal{ℱ}$  's a (diffeomorphic image of a) closed ball, the quotient space when they are all identified is not a manifold, by the same topological argument as in  2.1 , extracting a closed inversed image of ball instead of a point.
Countability of these ”extended anomalies” can be easily shown, since choosing for the (diffeomorphic images of ) balls, $diam\left(\overline{{\mathbb{B}}^{d-k}\left(0,r\right)}\right)=2r<2$  , we can embed in ${\mathbb{R}}^{d}$  countable many balls, centered at the points of ${\mathbb{N}}^{d}$  . If $k\ne 0$  , it suffices to reduce embedding of balls to a $d-k$  -dimensional linear subspace of ${\mathbb{R}}^{d}$  .
Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk

3. Homology of the Branes' Global Embedding Singular Einstein Manifold ${\mathcal{ℰ}}^{\Sigma }$  .

If we wish to give a topological description of the singular spacetime ${\mathcal{ℰ}}^{\Sigma }$  as in Sec. 3 of [27, we can use reduced Homology theory, since the axioms (e.g. [1, [6) provide a direct sum splitting for the wedge topological sum of spaces.
The following gives a Homological description of the ${\mathcal{ℰ}}^{\Sigma }$  with a single $1$  -point singularity:
Proposition 3.1. (Homology of Branes' Embedding Manifold ${\mathcal{ℰ}}^{\Sigma }$  with $1$  -point Singularity) The Einstein manifold ${\mathcal{ℰ}}^{\Sigma }$  with $1$  -point singularity, has the splitting (reduced) Homology ${\stackrel{~}{H}}_{k}\left({\mathcal{ℰ}}^{\Sigma };\mathbb{G}\right)\sim ={\oplus }_{|{\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}{|}_{c}}{\stackrel{~}{H}}_{k}\left(\mathcal{ℱ};\mathbb{G}\right),k\in \mathbb{N}$  for any coefficient group $\mathbb{G}$  .
• Proof. The wedge sum relation  2.1 for ${\mathcal{ℰ}}^{\Sigma }$  implies the following Homological splitting, due to the respective property of the singular theory:
${\stackrel{~}{H}}_{k}\left({\mathcal{ℰ}}^{\Sigma };\mathbb{G}\right)\sim ={\oplus }_{{f}_{q}\in \left\{q\right\}×\mathcal{ℱ}}{\stackrel{~}{H}}_{k}\left(\left\{q\right\}×\mathcal{ℱ};\mathbb{G}\right),k\in \mathbb{N}$  and provided that the diffeomorphisms $\left\{q\right\}×\mathcal{ℱ}\sim =\mathcal{ℱ}$  , $\forall k\in \mathcal{ℳ}$  imply the group isomorphisms ${\stackrel{~}{H}}_{k}\left(\left\{p\right\}×\mathcal{ℱ};\mathbb{G}\right)\sim ={\stackrel{~}{H}}_{k}\left(\mathcal{ℱ};\mathbb{G}\right),p\in {\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}GlobalEmbeddingofAnalyticBranesinMD\mathcal{ℰ}^\Sigma EinsteinBulk$  we obtain the direct sum splitting ${\stackrel{~}{H}}_{k}\left({\mathcal{ℰ}}^{\Sigma };\mathbb{G}\right)\sim ={\oplus }_{|{\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}{|}_{c}}{\stackrel{~}{H}}_{k}\left(\mathcal{ℱ};\mathbb{G}\right),k\in \mathbb{N}$  as claimed.
Corollary 3.2. Choosing in the case of $1$  -codimensional Brane embedding the homotopy equivalence $\mathcal{ℱ}\simeq {\mathbb{S}}^{1}$  , we obtain the following Einstein space Homology: ${\stackrel{~}{H}}_{k}\left({\mathcal{ℰ}}^{\Sigma };\mathbb{Z}\right)\sim =\left\{\begin{array}{cc}\oplus |{\mathcal{ℳ}}_{1}×\dots ×{\mathcal{ℳ}}_{m}{|}_{c}\mathbb{Z},& fork=1\\ \\ \text{0},& \forall k\in \mathbb{N}\mathbb{\}\left\{1\right\}.\end{array}$
Acknowledgement. The Author is profoundly indebted to professor Lorenz Magaard at University of Honolulu, Hawaii for his interest in the present work, P. Krikelis & A. Kartsaklis at University of Athens for helpful comments & technical support and Ed. Anderson for discussions on the physical aspects of the embedding results.
References

1. Glen E. Bredon, Topology and Geometry, Springer, 1997
2. J. E. Campbell, A Course of Differential Geometry, Oxford, Clarendon Press, 1923
3. Do Carmo, M.P., Riemannian Geometry, Birkhaüser, 1992
4. L. Pf. Eisenhart, Riemannian Geometry, Princeton University Press, 1964
5. Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk O. Gron and S. Hervik, Einstein's General Theory of Relativity (e-book), http://www.fys.uio.no/ sigbjorh/gravity.pdf, 2004
6. A. Hatcher, Algebraic Topology, http://www.math.cornell.edu/ hatcher, (e-book), 2000
7. S. W. Hawking & G. F. R. Ellis The Large scale structure of spacetime, Cambridge University Press, 1973
8. L. Magaard, Zur Einbettung Riemannscher Raume in Einstein Raume und Konfor Euclidische Raume, PhD thesis, (Kiel), 1963
9. J. R. Munkres, Topology, a first course, Prentice-Hall, Inc., Englewood Cliffs, New Jersey
10. R. Narasimhan, Analysis on Real and Complex Manifolds, Masson and Cie, Paris, North Holland, 1968
11. R. Penrose, Techniques of Differential Topology in Relativity, SIAM Publ. Philadelphia, 1972
12. R. K. Sachs and H. Wu, General Relativity for Mathematicians, Springer-Verlang, 1977
13. N. Steenrod, The topology of fibre Bundles, Princeton University Press, 1972
14. H. Stefani, General Relativity, 2nd Edition, Cambridge University Press, 1990
15. P. S. Wesson, Space-Time-Matter, Modern Kaluza-Klein Theory, World Scientific, 2000 (Articles)
16. E. Anderson, J. E. Lidsey, Embeddings in NonVacuum Spacetimes, Class.Quant.Grav. 18 (2001) 4831-4844, ArXiv: gr-qc/0106090
17. Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk F. Dahia, C. Romero, The embedding of spacetime in $5$  dimensions: An extension of Campbell-Magaard theorem, J.Math.Phys. 43 (2002) 5804-5814, ArXiv: gr-qc/0109076
18. F. Dahia, C. Romero, On the embedding of branes in five-dimensional spaces, Class.Quant.Grav. (2004) 21, No 4, 927-933, ArXiv: gr-qc/0308056
19. A. Davidson, $\Lambda =0$  cosmology of a brane-like universe, Class. Quantum Grav. 16 (1999) 653 659
20. C. Deffayet, Cosmology of Brane-Induced Gravity Models, International Journal of Theoretical Physics, Vol. 41, No. 11, November 2002 http://www.kluweronline.com/article
21. M. Gogberashvili, Brane-Universe in Six Dimensions with Two Times, Phys.Lett. B484 (2000) 124-128, ArXiv: hep-ph/0001109
22. M. Gogberashvili, Embedding of the Brane into Six Dimensions, J.Math.Phys. 43 (2002) 4886 4888, ArXiv: gr-qc/0202061
23. M. Gogberashvili, Brane Gravity from Bulk Vector Field, Phys.Lett. B553 (2003) 284-288, ArXiv: hep-th/0203090
24. H. Grauert, On Levi's problem and the imbedding of real analytic manifolds, Annals of Mathematics, 68 (47-82)
25. E. Gravanis, S. Willison, Israel conditions for the Gauss-Bonnet theory and the Friedmann equation on the brane universe, ArXiv: hep-th/0209076
26. N. I. Katzourakis ”The Global Embedding Problem of SemiRiemannian into Einstein Manifolds”, ArXiv: math-ph/0407067
27. N. I. Katzourakis ”On the Global Embedding of Spacetime into Singular ${\mathcal{ℰ}}^{\Sigma }$  Einstein Manifolds: Wormholes”, ArXiv: math.DG/0503129
28. N. I. Katzourakis ”Global Embedding of Analytic Branes into Einstein MD Bulk Cosmology”, ArXiv: math.DG/0411630
29. Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk D. Langlois, Brane cosmology: an introduction, Prog.Theor.Phys.Suppl. 148 (2003) 181-212, ArXiv: hep-th/0209261
30. D. Langlois, Gravitation and Cosmology in Brane-Worlds, (Invited plenary talk at the GR17 conference, Dublin, Ireland, July 2004), ArXiv: gr-qc/0410129
31. J. E. Lidsey, C. Romero, R. Tavakol, S. Rippl, On Applications of Campbell's Embedding Theorem, Class.Quant.Grav. 14 (1997) 865-879, ArXiv: gr-qc/9907040
32. J. E. Lidsey, The Embedding of Superstring Backgrounds in Einstein Gravity, Phys.Lett. B417 (1998) 33, ArXiv: hep-th/9907095
33. R. Maartens, Geometry and Dynamics of the Brane-World, Reference Frames and Gravitomagnetism, ed. J Pascual-Sanchez et al. (World Sci., 2001), p. 93-119, ArXiv: gr-qc/0101059
34. R. Maartens, Brane-World Gravity, Living Rev. Relativity, 7, (2004), 7, http://www.livingreviews.org/lrr-2004-7
35. M. Pavisic, Resource Letter on Geometrical Results for Embeddings and Branes, arXiv: gr-qc/0010045
36. A. Perez-Lorenzana, An Introduction to the Brane World, ArXiv: hep-ph/0406279
37. F. Quevedo, Lectures on String/Brane Cosmology, arXiv: hep-th/0210292
38. L. Randall, R. Sundrum, A Large Mass Hierarchy from a Small Extra Dimension, Phys.Rev.Lett. 83 (1999) 3370-3373, ArXiv: hep-ph/9905221
39. L. Randall, R. Sundrum, An Alternative to Compactification, Phys.Rev.Lett. 83 (1999) 4690-4693, ArXiv: hep-th/9906064
40. S. S. Seahra, Physics in Higher-Dimensional Manifolds, http://etd.uwaterloo.ca/etd/ssseahra2003.pdf
41. Global Embedding of Analytic Branes in MD $\mathcal{ℰ}^\Sigma$  Einstein Bulk S. S. Seahra, P. S. Wesson, Application of the CampbellMagaard theorem to higher-dimensional physics, Class.Quant.Grav. 20 (2003) 1321-1340, ArXiv: gr-qc/0302015
42. T. Shiromizu, K. Koyama, Low energy effective theory for two branes system Covariant curvature formulation, Phys.Rev. D67 (2003) 084022, ArXiv: hep-th/0210066
43. D. A. Steer, M. F. Parry, Brane Cosmology, Varying Speed of Light and Inflation in Models With One or More Extra Dimensions, Int.J.Th.Phys., Vol. 41, No. 11, Nov. 2002, http://www.kluweronline.com/article
44. D. Wands, Brane-world cosmology, http://www.tech.port.ac.uk/staffweb/wandsd/powerpoint/sussex.pdf
45. H. Whitney, Differentiable Manifolds, Annals of Mathematics, 37 (645-680), 1936