Full text of "A Generalization of Seifert-Van Kampen Theorem for Fundamental Groups"

See other formats

A Generalization of

Seifert-Van Kampen Theorem for Fundamental Groups

O

oo

o

o
o

Linfan MAO

(Chinese Academy of Mathematics and System Science, Beijing 100080, P.R.China)
E-maih maolinfanC!)163.com

Abstract: As we known, the Seifert-Van Kampen theorem handles fun-
damental groups of those topological spaces X = U L) V for open subsets
U, V G X such that U OV is arcwise connected. In this paper, this theo-
rem is generalized to such a case of maybe not arcwise-connected, i.e., there
are Ci, C2,---, Cm arcwise-connected components in U H V for an integer
m > 1, which enables one to find fundamental groups of combinatorial spaces
by that of spaces with theirs underlying topological graphs, particularly, that
of compact manifolds by their underlying graphs of charts.

Key Words: Fundamental group, Seifert-Van Kampen theorem, topological
space, combinatorial manifold, topological graph.

AMS(2010): 51H20.

§1. Introduction

All spaces X considered in this paper are arcwise-connected, graphs are connected
topological graph, maybe with loops or multiple edges and interior of an arc a :
5^ I (0, 1) — )■ X is opened. For terminologies and notations not defined here, we follow

the reference [l]- for topology and -  for topological graphs.

Let X be a topological space. A fundamental group 7ri(X, xq) of X based at a
point a;o G X is formed by homotopy arc classes in X based a,t E X. For an
arcwise-connected space X, it is known that 7ri(X, a;o) is independent on the base
point xo, that is, for Wxo,yo G X,

7ri(X,Xo) = ni{X,yo).

Find the fundamental group of a space X is a difficult task in general. Until
today, the basic tool is still the Seifert- Van Kampen theorem following.

Theorem 1.1 (Seifert and Van-Kampen) Let X = U U V with U, V open subsets
and let X, U, V , U (IV be non-empty arcwise-connected with Xq E U (IV and H a
group. If there are homomorphisms

01 : TXiiJJ, xq) — 7- H and 02 : T^iiV, Xq) — )■ H

1

and

J-2

^fl-ifV

.

with 01 ■ = 02 ■ i2, where ii : 7ri(f/ fl V,Xo) — > 7ri(f/, xq), : t!'i{U fl V", Xq) — >■
7ri(V,Xo), ji : 7ri(f/, xo) — > 7ri(X, xq) and j2 : 7ri(V, Xq) — )■ 7ri(X, xq) are homomor-
phisms induced by inclusion mappings, then there exists a unique homomorphism
\$ : vri(X, Xq) — H such that \$ ■ ji = 0i ariii \$ ■ j2 = 02-

Applying Theorem 1.1, it is easily to determine the fundamental group of such
spaces X = U VJV with f/ fl V an arcwise-connected following.

Theorem 1.2(Seifert and Van-Kampen theorem, classical version) Let spaces X, [/, V
and Xq he in Theorem 1.1. //

j : 7ri(f/, xo) * Hi{V, Xq) vri(X, xq)

an extension homomorphism of ji and j2, then j is an epimorphism with kernel
Keij generated by i^^{g)i2{g), g E tti{U fl V,xo), i.e.,

7ri(X, Xo)

7ri(f/,Xo) * vri(V,Xo)

\i^\g) ■ i2{g)\ g e -KiiU r}V,XQ)Y
where [A\ denotes the minimal normal subgroup of a group included A .
Now we use the following convention.

Convention 1.3 Assume that

(1) X is an arcwise-connected spaces, Xq G X;

(2) {U\ : A G A} Z5 a covering of X by arcwise-connected open sets such that
Xo e Ux for VA G A;

(3) For any two indices Ai, A2 G A there exists an index A G A such that U\-^ fl
Ux, = Ux

If Ux C U^ C X, then the notation

0Am : 7ri(f/A,Xo) ^ 7ri(f/^,Xo) and 0a : 7ri(f/A, Xq) ^ 7ri(X, Xo)

denote homomorphisms induced by the inclusion mapping Ux ^ U^ and Ux ^ X,
respectively. It should be noted that the Seifert-Van Kampen theorem has been

2

generalized in  under Convention 1.3 by any number of open subsets instead of
just by two open subsets following.

Theorem 1.4() Let X,Ux, A G A fee arcwise- connected space with Convention
1.3 satisfies the following universal mappping condition: Let H be a group and let
Px : ni{U\,Xo) H be any collection of homomorphisms defined for all X ^ A such
that the following diagram is commutative for U\ C U^:

Then there exists a unique homomorphism \$ : tti{X,Xo) — )■ H such that for any
X \ the followinn d.in.nram. is commutative:

4.

Moreover, this universal mapping condition characterizes 7ri(X, xq) up to a unique
isomorphism.

Theorem 1.4 is useful for determining the fundamental groups of CW-complexes,
particularly, the adjunction of n-dimensional cells to a space for n>2. Notice that
the essence in Theorems 1.2 and 1.4 is that flAeAf^A is arcwise-connected, which
limits the application of such kind of results. The main object of this paper is
to generalize the Seifert-Van Kampen theorem to such an intersection maybe non-
arcwise connected, i.e., there are Ci, C2,---, Cm arcwise-connected components
in U r\V for an integer m > 1. This enables one to determine the fundamental
group of topological spaces, particularly, combinatorial manifolds introduced in -
 following which is a special case of Smarandache multi-space (- ).

Definition 1.4 A combinatorial Euclidean space (ocin^; z/ G A) underlying a con-
nected graph C is a topological spaces consisting of R"" , z/ G A for an index set A
such that

V{C) = G A};

E{C) = { (R"^R"'^)| R"" nR"-^ ^ 0,/i,z/ G A}.

A combinatorial fan-space Il{n^; z/ G A) is a combinatorial Euclidean space

3

^K^A^inu', e A) of R""', u e A such that for any integers /x, e A, ji^v,

R^^PlR"" = Pi R"^

aga

which enables us to generahze the conception of manifold to combinatorial manifold,
also a locally combinatorial Euclidean space following.

Definition 1.5 For a given integerjequence < rii < n2 < ■ ■ ■ < Um, m > 1, a

topological combinatorial manifold M is a Hausdorff space such that for any point

p e M, there is a local chart {Up,ipp) of p, i.e., an open neighborhood Up of p in

~ ~ s{p)

M and a homoeomorphism cpp : Up ^ R(ni(p), n2(p), • • • , ns(p){p)) — (J R'*'^ ufjUJi

i=l

n2(p), • • • , ns(p){p)} C {m, ris, • • • , n^} and \J{ni{p) , n2{p) , • • • , =

pGM

{ni, n2, ■ ■ ■ , Um}, denoted by M{ni, n2, ■ ■ • , nm) or M on the context and

^= {{Up,ipp)\pe M{ni,n2, - ■ ■ ,n^))}

an atlas on M{ni,n2, ■ ■ ■ , Tim).

A topological combinatorial manifold M{ni, n2, ■ ■ ■ , n„i) is finite if it is just com-
bined by finite manifolds without one manifold contained in the union of others.

If these manifolds Mj, 1 < i < m in M(ni, n2, ■ ■ ■ , n„j) arc Euclidean spaces
R"*, 1 < i < m, then M{ni,n2, ■ ■ ■ ,n„i) is nothing but a combinatorial Euclidean
space (S'a{n,^; u E A) with A = {1,2, ■ ■ ■ ,m}. Furthermore, If m = 1 and ni = n,
or = n for u E A, then M(ni, n2, ■ • ■ , Um) or (ocin^] z/ e A) is exactly a manifold
M'^ by definition.

§2. Topological Space Attached Graphs

A topological graph G is itself a topological space formally defined as follows.

Definition 2.1 A topological graph G is a pair {S, S^) of a Hausdorff space S with
its a subset such that

(1) 5"° is discrete, closed subspaces of S;

(2) S — is a disjoint union of open subsets ei, 62, ■ ■ ■ , e^, each of which is
homeomorphic to an open interval (0, 1);

(3) the boundary e-i — of Ci consists of one or two points. Ifei — consists of
two points, then (e^, ei) is homeomorphic to the pair ([0, 1], (0, 1)); z/cj — consists
of one point, then (cj, Cj) is homeomorphic to the pair {S^, — {1});

(4) a subset A G G is open if and only if A r\ e-i is open for 1 < i < m.

4

Fi&2.1

Notice that a topological graph maybe with semi-edges, i.e., those edges e"*" G
E{G) with e"*" : [0, 1) or (0, 1] — )■ 5*. A topological space X attached with a graph G
is such a space X Q G such that

and there are semi-edges e"*" G (X G) \ G, e+ G G \ X. An example for X G
can be found in Fig. 2.1. In this section, we characterize the fundamental groups of
such topological spaces attached with graphs.

Theorem 2.2 Let X be arc- connected space, G a graph and H the subgraph X flG
in X Q G. Then for Xq G X fl G,

.r,(X0G,xo)~ vr,(X,xo)*vr,(G,a;o)

[i^ ^(aejislttejl ex G E{H) \ Tspan)] '

where ii : 7ri(if, Xq) X , 12 : 7[i{H,Xo) — t- G are homomorphisms induced by
inclusion mappings, Tspan is a spanning tree in H , a\ = AxexBx is a loop associated
with an edge ex = axbx G H\Tspan, G G and Ax, Bx are unique paths from Xq to
ax or from bx to xq in Tspan-

Proof This result is an immediately conclusion of Seifert-Van Kampen theorem.
Let [/ = X and V = G. Then X G = X U G and X n G = i/. By definition,
there are both semi-edges in G and H. Whence, they are opened. Applying the
Seifert-Van Kampen theorem, we get that

^{vr.r^\r^ 7ri(X,a;o) *7ri(G,xo)
7ri(X G, XoJ

[t,\g)i2{g)\ g G 7ri(XnG,xo)]

Notice that the fundamental group of a graph H is completely determined by
those of its cycles (), i.e.,

ni{H, Xq) = {ax\ex G E{H) \ Tspan) ,

5

where Tgpan is a spanning tree in H, ax = AxCxBx is a loop associated with an edge
ex = cixbx ^ H \ Tgpan, Xq E G and Ax, Bx are unique paths from xq to a a or from
hx to xo in Tgpan- We finally get the following conclusion,

[l^ (aej«2(aej| ex E E[H) \ Tspan)\

Corollary 2.3 Let X he arc-connected space, G a graph. If X (1 G in X Q G is a

tree, then

TTi{X G,Xo) = 7ri(X,a;o) * 7ri(G',a;o).
Particularly, if G is graphs shown in Fig.2.2 following

Fi&2.2

and X (IG = Ki^m, Then

7ri{X Q B'^,Xo) = 7ii{X,Xo) * {L,\l < t < m) ,
where Li is the loop of parallel edges {xo,Xi) in B^ for 1 < i < m — 1 and

7ii{X(DS^,Xo) = ni{X,Xo).

Theorem 2.4 Let J^mQG be a topological space consisting of m arcwise- connected
spaces Xi,X2, ■ ■ ■ ,Xm, Xi fl Xj =0 for 1 < i,j < m attached with a graph G,
V{G) = {xq, Xi, ■ ■ ■ , xi^i}, m < I such that XiCi G = {xj} for < i < I — 1. Then

7ri(jr„0G,Xo) = [f[7r,{X*,xo)]*MG,xo)

vi=l /
^ m \

Jj7ri(Xj,a;i) j * 7ri(G',a;o),

where X* = Xi[J{xo,Xi) with Xi n {xo,Xi) = {xi} for {xo,Xi) G E{G), integers
1 < i < m.

Proof The proof is by induction on m. If m = 1, the result is hold by Corollary

2.3.

6

Now assume the result on ^„ G is hold for m < k < I — 1. Consider m =
k + l<l. Let [/ = JTfc G and \/ = Xk+i. Then we know that ^k+i QG^UUV
and U nV = {xk+i}-

Applying the Seifert-Van Kampen theorem, we find that

[h\9)i2{g)\ g e {e^,+J]

Jj7ri(X*,a;o)^ *7ri(G,a;o)^ * ni{Xk+i,Xk+i)
Jj7ri(Xi,a;i) *7ri{G,xo),

vi=l

by the induction assumption. □
Particularly, for the graph or star in Fig. 2. 2, we get the following con-
clusion.

Corollary 2.5 Let G be the graph or star S^. Then

7r,{^mQBl,xo) ^ (J[n,{X*,xo)j*7^^{B^,Xo)

/ m \

m)

.1=1

where Lj is the loop of parallel edges {xq, Xi) in B^ for integers 1 < i < m — 1 and

m m

M^^QSl,Xo)^l[MX*,xo)^l[7ri(Xi,Xi^,).

i=i i=i

Corollary 2.6 Let X = G be a topological space with simply-connected
spaces Xi for integers 1 < i < m and Xq e X C) G. Then we know that

ni{X,xo) = ni{G,Xo).

§3. A Generalization of Seifert-Van Kampen Theorem

7

These results and graph shown in Section 2 enables one to generalize the Seifert-
Van Kampen theorem to the case of U (IV maybe not arcwise-connected.

Theorem 3.1 Let X = U U V , U,V G X be open subsets, X, U, V arcwise-
connected and let Ci,C2, ■ ■ ■ , Cm be arcwise-connected components in U (IV for an
integer m > 1, G Ci, b{xo,Xi^i) C V an arc : J — )■ X withb{0) = Xo,b{l) =
and b{xo, fit/ = {xq, Xt^i}, Cf = Q IJ b{xo, for any integer i, 1 < i < m,
H a group and there are homomorphisms

0i : 7ri(f/|j6(a;o,a;i_i),a;o) ^ (p^ : 7ri(V,a;o) ^ H

SI i , 6'

I - I

JT] {Cf., i:^ ) i- JT] (X, it, ) ^ . - U

U ^l(V}:^:u) . 1

I, J ^ O'.

With ■ in = 02 ■ ii2, where in : 7Ti{Cf,Xo) -> 7Ti{U U b{xo,Xi-i),Xo), ii2 :
7ri(Cf,Xo) -^ni{V,Xo) andjn : ni{UUb{xo, Xi_i, Xq)) ^ 7ri{X, Xq) , ji2 : 7ri(V, a;o))
7ri(X, Xo) are homomorphisms induced by inclusion mappings, then there exists a
unique homomorphism \$ : 7ri(X, Xq) — )■ H such that \$ ■ jn = and \$ ■ ji2 = 02
for integers 1 < i < m.

Proof Define = U[J{ b{xo,Xi) | 1 < i < m — 1}. Then we get that
X = U V, , V C X are still opened with an arcwise-connected intersection
nV = S^m where 5*^ is a graph formed by arcs &(xo, Xi-\), 1 < i < m.

m

Notice that X^ Sm^ = [j Cf and Cf f] Cf = {xq} for 1 < z, j < m, i j.

i=l

Therefore, we get that

m

v^l(X^ ^o) = (g) vri(Cf , Xq).

This fact enables us knowing that there is a unique m-tuple {hi, /12, ■ ■ ■ , h^), hi G
'Ki{Cf" ,Xi-i), 1 < i < m such that

m

i=l

for e7Ti{^mQSl,xo).
By definition,

Zii : ni{Cf,Xo) 7ri(f/ H 6(xo, Xi_i), Xq),

8

ii2 ■ 7ri(Cf ,Xo) 'Ki{V,Xo)

are homomorphisms induced by inclusion mappings. We know that there are homo-
morphisms

if : 7ri(^^ 5^,Xo) ^ 7ri([/^,Xo),
if : 7ri(=^^ S'^,Xo) ttiCV^Xo)

with if |^,(cf ,a:o) = ii\ni{cf,xo) = for integers 1 < i < m.
Similarly, because of

m

TTiiU^, xq) = IJ 7ri(C/ U b{xo, Xi-i,xo))

i=l

and

jji :tti{U Ub{xo,Xi^i,Xo)) 7ii{X, xq),
ji2 : 7ri(y ^ 7ri(X,a;o)
being homomorphisms induced by inclusion mappings, there are homomorphisms

jf : 7ri(t/^,a;o) ^ 7ri(X,a;o), jf : 7ri(V,a;o) ^ 7ri(X,a;o)

induced by inclusion mappings with jf |7ri(C7u6(xo,x<_i,xo)) = jn, jf kiCy.xo) = ji2 for
integers 1 < i < m also.
Define 0f and 0f by

m m
i=l i=l

Then they are naturally homomorphic extensions of homomorphisms (f)\, 02 for
integers 1 < i < m. Notice that ■ in = 02 " H2 for integers 1 < i < m, we get that

(m
1=1

m

= lli^l-'^^^^^^)=U(^2-^i2{hi))

i=l i=l

= 0f -zf (no =0f -zfi^).

m

i.e., the following diagram

9

■jr](L'^\ 2.1.,)

■1*

is commutative with ■ i^'

if. Applying Theorem 1.1, we know that there

exists a unique homomorphism \$ : 7ri(X, xq) — )■ -f/^ such that \$ ■ jf = 0f and
^ ' j2 — 4'2- Whence, \$ ■ jii = (f)\ and \$ ■ ji2 = (pl for integers 1 < i < m. □

The foUowing result is a generalization of the classical Seifert-Van Kampen the-
orem to the case of maybe non-arcwise connected.

Theorem 3.2 Let X, U, V, Cf , b{xo,Xi-i) be arcwise- connected spaces for any
integer i, 1 < i < m as in Theorem 3.1, = U |J{ 6(xo, Xi) \ 1 <i <m — 1} and
a graph formed by arcs a{xo,Xi-i), b{xo,Xi-i), l<i<m, where a{xo,Xi-i) C U
is an arc : I ^ X with a(0) = Xo,a(l) = and a{xo,Xi-i) fl V" = {xo,Xi-i}.
Then

TTi (f/, Xo) * TTi ( V, Xo) * VTi (S^, Xq)

7ri(X, xo)

'{9)■^2ig)\geU^liCf,xo)

i=l

where if : 7ri(f/^ fl V,Xo) tti^U^^Xq) and if : Hi^U^ fl V,Xo) 7ri(V, xq) are
homomorphisms induced by inclusion mappings.

Proof Similarly, X = UV , ,V C X are opened with U^nV = ^mQ S^.
By the proof of Theorem 3.1 we have known that there are homomorphisms 0f and

!)f such that 0f

= 02 ■ "^2 • Applying Theorem 1.2, we get that

^ ^ 7ri([/^,Xo) *7ri(V,Xo)

Notice that nV^ = Q Sjl. We have known that

7ri(f/^,Xo) = 7ri([/,Xo)*7ri(5,

m5 -^o)

by Corollary 2.3. As we have shown in the proof of Theorem 3.1, an element in

10

'^li'^m S'^, ^o) can be uniquely represented by

i=l

where hi e 7ri(Cf, Xo), 1 < i < m. We finally get that

7ri(X,xo) ^

ni{U,xo) * 7ri(V,a;o) * 7ri(5^,xo)

i=l

□

The form of elements in vri(j|^„ S'^jXq) appeared in Corollary 2.5 enables one
to obtain another generalization of classical Seifert-Van Kampen theorem following.

Theorem 3.3 Let X , U , V , Ci, C2, • • • , Cm be arcwise- connected spaces, b{xo, Xi-i)
arcs for any integer i, 1 < i < m as in Theorem 3.1, = U[J{ b{xQ,Xi^i) \ 1 <
i < m} and 5^ a graph formed by arcs a{xo,Xi_i), b{xo,Xi_i), 1 <i <m. Then

ni{X, Xo)

7ri(C/, Xo) * 7ri(y", Xo) * 7ri(S^, Xo)

ifyK9)-ii{9)\ 9^ UMCi:Xi_i]

i=l

where if : 7ri(C/-^ n V,xo) 'Ki{U^,xo) and if : 7ri(C/^ n V,xo) 'Ki{V,xo) are
homomorphisms induced by inclusion mappings.

Proof Notice that C/^ n F = =^ 5^. Applying Corollary 2.5, replacing

by

T^l{3^m Sl^^Xo)

T^li^mQ S'^,Xo)

i=l

^f)-\9)■^i{9)\9^U''^{C^,x,_,]

1=1

in the proof of Theorem 3.2. We get this conclusion.

Particularly, we get corollaries following by Theorems 3.1, 3.2 and 3.3.

□

Corollary 3.4 Let X = U UV , U,V G X be open subsets and X, U, V andUOV
arcwise- connected. Then

Tri{X, Xo)

7ii{U,xo) * ni(y,xo)

[ii\g)-i2{9)\9^MUnV,xo)y

where ii : 7ri(C/ fl V,Xo) — >■ 7ri(C/, Xq) and ^2 : 7ri(C/ fl V,Xo) — >■ 7ri(V,a;o) are homo-
morphisms induced by inclusion mappings.

11

Corollary 3.5 Let X, U, V, Q, ), b{xo,Xi) for integers i, 1 < i < m be as

in Theorem 3.1. // each Ci is simply- connected, then

7ri(X,Xo) = 7ri(f/,Xo) * ■ki{V,Xq) * 7ri(5^,Xo).

Proof Notice that Cf, C|', ■ ■ ■ , are all simply-connected by assumption. Ap-

plying Theorem 3.3, we easily get this conclusion.

□

Corollary 3.6 Let X, U, V, Ci, ), b{xo,Xi) for integers i, 1 < i < m be as

in Theorem 3.1. IfV is simply- connected, then

7Ti{X, Xo)

7ii{U,xo) * 7ri(S^,xo)

^E\-l

i=l

where if : T^iiJJ^ fl V,Xq) — )■ t\:i{U^,Xq) and if '■ T^iiU^ fl V^Xq) — )■ 7ri(V, xq) are
homomorphisms induced by inclusion mappings.

§4. Fundamental Groups of Combinatorial Spaces
4.1 Fundamental groups of combinatorial manifolds

By definition, a combinatorial manifold M is arcwise-connected. So we can apply
Theorems 3.2 and 3.3 to find its fundamental group vri(M) up to isomorphism in
this section.

Definition 4.1 Let M be a combinatorial manifold underlying a graph G[AI]. An
edge-induced graph G^[M] is defined by

V{G'[M]) = {XM,XM',XI,X2,---,X^^M,M')\ f OT ^{M,M') G E{G[M])],
E{G'[M]) = {{xm,xm'), {xM,Xi), {xM'.Xi)\ l<i< /i(M,M')},

where /i(M, M') is called the edge-index of (M, M') with fi{M, M') + 1 equal to the
number of arcwise-connected components in M (1 M' .

By the definition of edge-induced graph, we finally get (^^[M] of a combinatorial
manifold M if we replace each edge (M, M') in G[M] by a subgraph T B'^^j^,^ j^,^
shown in Fig. 4.1 with xm = M and xm' = M'.

12

Fi&4.1

Then we have the following result.

Theorem 4.2 Let M be a finitely combinatorial manifold. Then

n MM) *n,iG'[M])

7ri(M)

M&V{G[M])

7ri(MinM2)

where if and if are homomorphisms induced by inclusion mappings iM '■ vri(M fl
M') — 7- TTi{M), iM' '■ vri(M fl M') — )■ 7ii{M') such as those shown in the following
diagram:

for\/{M,M') e E{G[M]).

Proof This result is obvious for |G[M]| = 1. Notice that G%M] = if
y(G[M]) = {M, M'}. Whence, it is an immediately conclusion of Theorem 3.2 for
\G[M]\=2. _

Now let /c > 3 be an integer. If this result is true for |G[M]| < k, we prove it hold
for [(^[M]! = k. It should be noted that for an arcwise-connected graph H we can
always find a vertex v G V{H) such that H — v is also arcwise-connected. Otherwise,
each vertex f of if is a cut vertex. There must be = 1, a contradiction. Applying
this fact to (^[M], we choose a manifold M G ^^((^[M]) such that M — M is arcwise-
connected, which is also a finitely combinatorial manifold.

Let U = M \ {M \M) and V = M. By definition, they are both opened.
Applying Theorem 3.2, we get that

7ri(M)

7ri(M - M) * 7ri(M) * ni{B^)

m

i=l

13

where Cj is an arcwise-connected component in M fl (M — M) and

m= n{M,M').

{M,M')&E{G[M])

Notice that

(M,M')e£(G[M]

By the induction assumption, we know that

Yl 7ri(M) I *Tii{G%M - M])

^MeV{GlM-M])

7ri(M - M) ^

(Mi,M2)e£;{G[M-M])

where if and if are homomorphisms induced by inclusion mappings i^i : 7ri(Mi fl
M2) ^ 7ri(Mi), : 7ri(Mi n M2) ^ 7ri(M2) for V(Mi,M2) G £;(G'[M - M]).
Therefore, we finally get that

7ri(M - M) * 7ri(M) * 7ri(5^)

7ri(M)

1=1

(

\

\M&/{G\M-M\)

*7ri(G'^[M-M])

(Mi,M2)g£(G[M-M])

«=1

7ri(M)* JJ 7ri(rS^(M,M'))

(M,M')e-E(G[Ml

i=l

vMeV(G[M])

(Mi,M2)eE(G[M])

14

by facts

(^/JT) *H^^* H/Jif

for groups ^, J^f, G and

{M,M')eE{G[M]

T^,{G\M]) = 7ri(G"^[M - M]) * J] 7ri(rS^(M,M')),

(M,M')eE(G[M]

J] 7ri(M)=[ J] 7ri(M) *7ri(M),

where if and if are homomorphisms induced by inclusion mappings im '■ tti (M n
M') ^ 7ri(M), iM' : 7ri(M n M') ^ 7ri(M') for V{M,M') e E(G[M]). This
completes the proof. ^ ^

Applying Corollary 3.5, we get a result known in  by noted that G^[M] — G[M]
if V(Mi, M2) e £;(G^[M]), Ml n M2 is simply connected.

Corollary 4.3() Let M be a finitely combinatorial manifold. If for\/{Mi, M2) G
E{G^[M]), Ml n M2 zs simply connected, then

^i(M)= I 0^ 7ri(M)|07ri(G[M]).

\M6y(G[M]) /

4.2 Fundamental groups of manifolds

Notice that 7ri(R") = identity for any integer n > 1. If we choose M e V(G[M]) to
be a chart {U\, (px) with (px ■ R" for A e A in Theorem 4.2, i.e., an n-manifold,

we get the fundamental group of n-manifold following.

Theorem 4.4 Let M be a compact n-manifold with charts {{Ux,^x)\ (fx '■ Ux ^
R'*,A e A)}. Then

MM) ^ -^^^^t^])

iU^„U^,)eE{G[M])

where if and if are homomorphisms induced by inclusion mappings iu^ 7ri(C/^ fl
C/^) MU^), iu, : 7ri(C/^ n U^) ni{U„), e A.

Corollciry 4.5 Let M be a simply connected manifold with charts {{Ux,(fix)\ fx '■
Ux ^ R", A e A)}, where |A| < +00. Then G^[M] = G[M] is a tree.

15

Particularly, if [/^ fl Ui, is simply connected for V/i, z/ G A, then we obtain an
interesting result following.

Corollary 4.6 Let M be a compact n-manifold with charts {{U\,(f\)\ Lp\ : U\
R", A G A)}. If Ufj_ n Ui, is simply connected for V;U, z/ G A, then

7T,{M)=m{G[M]).

Therefore, by Theorem 4.4 we know that the fundamental group of a manifold
M is a subgroup of that of its edge-induced graph [M] . Particularly, if [M] =
G[M], i.e., n t/j^ is simply connected for V/x, G A, then it is nothing but the
fundamental group of GfM].

References

 Munkres J.R., Topology (2nd edition). Prentice Hall, Inc, 2000.
 W.S.Massey, Algebraic Topology: An Introduction, Springer- Verlag, New York,
etc.(1977).

 John M.Lee, Introduction to Topological Manifolds, Springer- Verlag New York,
Inc., 2000.

 J. L. Gross and T.W.Tucker, Topological Graph Theory, John Wiley & Sons, 1987.

 L.F.Mao, Automorphism Groups of Maps, Surfaces and Smarandache Geome-
tries, American Research Press, 2005.

 L.F.Mao, Geometrical theory on combinatorial manifolds, JP J. Geometry and
Topology, Vol.7, No. 1(2007), 65-1 14.

 L.F.Mao, Combinatorial fields - an introduction. International J. Math. Combin.
Vol.3 (2009), 01-22.

 L.F.Mao, Combinatorial Geometry with Applications to Field Theory, InfoQuest,
USA, 2009.

 L.F.Mao, Smarandache Multi-Space Theory, Hexis, Phoenix, USA 2006.
 Smarandache F. Mixed noneuclidean geometries. arXiv: ^math/0010119^ 10/2000.

16 