Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random | Template Test |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Talkback

Downloads

Information
Van Kampen Theorem for groups and groupoids (Theorem)

Van Kampen's theorem for fundamental groups is stated as follows:

Theorem 1   Let $X$ be a topological space which is the union of the interiors of two path connected subspaces $X_1, X_2$. Suppose $X_0:=X_1\cap X_2$ is path connected. Let further $*\in X_0$ and $i_k\colon\thinspace \pi_1(X_0,*)\to\pi_1(X_k,*)$, $j_k\colon\thinspace \pi_1(X_k,*)\to\pi_1(X,*)$ be induced by the inclusions for $k=1,2$. Then $X$ is path connected and the inclusion morphisms draw a commutative pushout diagram:

$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ {\pi_1({X_1 \cap X_2)}}\ar [r]^{... ... &\pi_1(X_1)\ar[d]^{j_1} \ {\pi_1(X_2)}\ar [r]_{j_2}& {\pi_1(X)} } } \end{xy}$
The natural morphism

$\displaystyle \pi_1(X_1,*)\bigstar_{\pi_1(X_0,*)}\pi_1(X_2,*)\to \pi_1(X,*)\,,$
is an isomorphism, that is, the fundamental group of $X$ is the free product of the fundamental groups of $X_1$ and $X_2$ with amalgamation of $\pi_1(X_0,*)$.

Usually the morphisms induced by inclusion in this theorem are not themselves injective, and the more precise version of the statement is in terms of pushouts of groups.

The notion of pushout in the category of groupoids allows for a version of the theorem for the non path connected case, using the fundamental groupoid $\pi_1(X,A)$ on a set $A$ of base points, [1]. This groupoid consists of homotopy classes rel end points of paths in $X$ joining points of $A\cap X$. In particular, if $X$ is a contractible space, and $A$ consists of two distinct points of $X$, then $\pi_1(X,A)$ is easily seen to be isomorphic to the groupoid often written $\mathcal I$ with two vertices and exactly one morphism between any two vertices. This groupoid plays a role in the theory of groupoids analogous to that of the group of integers in the theory of groups.

Theorem 2   Let the topological space $X$ be covered by the interiors of two subspaces $X_1, X_2$ and let $A$ be a set which meets each path component of $X_1, X_2$ and $X_0:=X_1 \cap X_2$. Then $A$ meets each path component of $X$ and the following diagram of morphisms induced by inclusion

$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ {\pi_1(X_0,A)}\ar [r]^{\pi_1(i_1... ...^{\pi_1(j_1)} \ {\pi_1(X_2,A)}\ar [r]_{\pi_1(j_2)}& {\pi_1(X,A)} } } \end{xy}$
is a pushout diagram in the category of groupoids.

The interpretation of this theorem as a calculational tool for fundamental groups needs some development of `combinatorial groupoid theory', [2,4]. This theorem implies the calculation of the fundamental group of the circle as the group of integers, since the group of integers is obtained from the groupoid $\mathcal I$ by identifying, in the category of groupoids, its two vertices.

There is a version of the last theorem when $X$ is covered by the union of the interiors of a family $\{U_\lambda : \lambda \in \Lambda\}$ of subsets, [3]. The conclusion is that if $A$ meets each path component of all 1,2,3-fold intersections of the sets $U_\lambda$, then A meets all path components of $X$ and the diagram

$\displaystyle \bigsqcup_{(\lambda,\mu) \in \Lambda^2} \pi_1(U_\lambda \cap U_\m... ...rows \bigsqcup_{\lambda \in \Lambda} \pi_1(U_\lambda, A)\rightarrow \pi_1(X,A) $
of morphisms induced by inclusions is a coequaliser in the category of groupoids.

Bibliography

1
R. Brown, “Groupoids and Van Kampen's theorem”, Proc. London Math. Soc. (3) 17 (1967) 385-401.
2
R. Brown, Topology and Groupoids, Booksurge PLC (2006).
3
R. Brown and A. Razak, “A van Kampen theorem for unions of non-connected spaces”, Archiv. Math. 42 (1984) 85-88.
4
P.J. Higgins, Categories and Groupoids, van Nostrand, 1971, Reprints of Theory and Applications of Categories, No. 7 (2005) pp 1-195.



"Van Kampen Theorem for groups and groupoids" is owned by bci1.

View style:

See Also: generalized Van Kampen theorems (HD-GVKT) -- higher dimensional

Other names:  VKT
Also defines:  fundamental groups, pushout
Keywords:  frundamental groups, pushouts, Van Kampen's theorem for groups, topological spaces, algebraic topology

Cross-references: homotopy, groupoid, fundamental groupoid, category of groupoids, groups, injective, isomorphism, diagram, morphisms, union, topological, theorem
There are 10 references to this object.

This is version 18 of Van Kampen Theorem for groups and groupoids, born on 2010-12-13, modified 2010-12-13.
Object id is 899, canonical name is VanKampenTheoremForGroupsAndGroupoids.
Accessed 561 times total.

Classification:
Physics Classification: 00. (GENERAL)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Testing some escape charachters for html category with a generator has an injective cogenerator" now escape ” with "