PlanetPhysics/Van Kampen Theorems

Van Kampen Theorems

Van Kampen Theorems for Groups and Groupoids

The following two [[../Formula/|theorems]] are cited here as originally stated by Ronald Brown in 1983; the full citation follows: \begin{thm} Let $X$ be a [[../CoIntersections/|topological]] space which is the [[../ModuleAlgebraic/|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 Failed to parse (unknown function "\co"): {\displaystyle i_k\co \pi_1(X_0,*)\to\pi_1(X_k,*)} , Failed to parse (unknown function "\co"): {\displaystyle j_k\co\pi_1(X_k,*)\to\pi_1(X,*)} be induced by the inclusions for $k=1,2$. Then $X$ is path connected and the natural [[../TrivialGroupoid/|morphism]] ${\pi }_1(X_1,*)\underset{{\pi }_1(X_0,*)}{★}{\pi }_1(X_2,*)\to {\pi }_1(X,*),$ is an [[../IsomorphicObjectsUnderAnIsomorphism/|isomorphism]], that is, the [[../CubicalHigherHomotopyGroupoid/|fundamental group]] of $X$ is the free product of the [[../HomotopyCategory/|fundamental groups]] of $X_1$ and $X_2$ with amalgamation of ${\pi }_1(X_0,*)$. \end{thm}

Usually the morphisms induced by inclusion in this theorem are not themselves [[../BCConjecture/|injective]], and the more precise version of the statement is in terms of [pushouts]{http://planetphysics.us/encyclopedia/Pushout.html} of [[../TrivialGroupoid/|groups]].

The notion of pushout in the [[../GroupoidCategory4/|category of groupoids]] allows for a version of the theorem for the non path connected case, using the [[../CubicalHigherHomotopyGroupoid/|fundamental groupoid]] ${\pi }_1(X,A)$ on a set $A$ of base points, . This [[../QuantumOperatorAlgebra5/|groupoid]] consists of [[../ThinEquivalence/|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 $ℐ$ 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.

\begin{thm} 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 [[../TrivialGroupoid/|diagram]] of morphisms induced by inclusion Failed to parse (unknown function "\begin{xy}"): {\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ {\pi_1(X_0,A)}\ar [r]^{\pi_1(i_1)}\ar[d]_{\pi_1(i_2)} &\pi_1(X_1,A)\ar[d]^{\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. \end{thm}

The interpretation of this theorem as a calculational tool for fundamental groups needs some development of `combinatorial groupoid theory', . 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 $ℐ$ 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 </math>\{U_\lambda : \lambda \in \Lambda\}$ofsubsets,<refname{=}^{\prime }br{s}^{\prime }/>.Theconclusionisthatif$A$meetseachpathcomponentofall1,2,3-foldintersectionsofthesets<math>U_{\lambda }$, then A meets all path components of $X$ and the diagram $\underset{(\lambda ,\mu )\in {\mathrm{\Lambda }}^2}{⨆}{\pi }_1(U_{\lambda }\cap U_{\mu },A)\rightrightarrows \underset{\lambda \in \mathrm{\Lambda }}{⨆}{\pi }_1(U_{\lambda },A)\to {\pi }_1(X,A)$ of morphisms induced by inclusions is a coequaliser in the category of groupoids.

References

"Van Kampen's theorem" is owned by Ronald Brown.