Seifert–van Kampen theorem

Seifert–van Kampen theorem

In mathematics, the Seifertvan Kampen theorem of algebraic topology, sometimes just called van Kampen's theorem, expresses the structure of the fundamental group of a topological space X, in terms of the fundamental groups of two open, path-connected subspaces U and V that cover X. It can therefore be used for computations of the fundamental group of spaces that are constructed out of simpler ones.

The underlying idea is that paths in X can be partitioned: into journeys through the intersection W of U and V, through U but outside V, and through V outside U. In order to move segments of paths around, by homotopy to form loops returning to a base point w in W, we should assume U, V and W are path-connected; and that W isn't empty. We assume also that U and V are open subspaces with union X.

Under these conditions, π1(U,w), π1(V,w), and π1(W,w), together with the inclusion homomorphisms (induced by the inclusion map):

:I : π1(W,w) → π1(U,w)

and

:J : π1(W,w) → π1(V,w),

are sufficient data to determine π1(X,w). The maps I and J extend to an epimorphism

:Φ : π1(U,w) * π1(V,w) → π1(X,w),

where π1(U,w) * π1(V,w) is the free product of π1(U,w) and π1(V,w). The kernel of the map Φ are the loops in W that, when viewed in X, are homotopic to the trivial one at w. The group π1(X,w) is therefore isomorphic to π1(U,w) * π1(V,w) modulo such elements.

In particular, when W is simply connected (so that its fundamental group is the trivial group), the theorem says that π1(X,w) is isomorphic to the free product π1(U,w)*π1(V,w).

Equivalent formulations

In the language of combinatorial group theory, π1(X,w) is the free product with amalgamation of those of U and V, with respect to the homomorphisms I and J (which might not be injective): given group presentations

1(U,w) = <u1,...,uk | α1,...,αl>

1(V,w) = <v1,...,vm | β1,...,βn>

1(W,w) = <w1,...,wp | γ1,...,γq>

the amalgamation can be written in terms of generators and relations as π1(X,w) = <u, v | α, β, γ, I(wr)·J(wr)-1> where each letter u, v, w, α, β, γ stands for the respective set of generators or relators, and the final relator means that the images of each generator wr under the inclusions I, J are equivalent in the fundamental group of X.

In category theory, the fundamental group of X is a colimit of the diagram of those of U, V and W. More precisely, π1(X,w) is the pushout of the diagram.

Examples

One can use Van Kampen's theorem to calculate fundamental groups for topological spaces that can be decomposed into simpler spaces. For example, consider the sphere S^2. Pick open sets A=S^2-{n} and B=S^2-{s} where n and s denote the north and south poles respectively. Then we have the property that A, B and A ⋂ B are open path connected sets. Thus we can see that there is a commutative diagram including A ⋂ B into A and B and then another inclusion from A and B into S^2 and that there is a corresponding diagram of homomorphisms between the fundamental groups of each subspace. Applying Van Kampen's theorem gives the result pi_1(S^2)=pi_1(A)*pi_1(B)/ker({Phi}). However A and B are both homeomorphic to mathbf{R^2} which is simply connected, so both A and B have trivial fundamental groups. It is clear from this that the fundamental group of S^2 is trivial.

A more complicated example is the calculation of the fundamental group of a genus "n" orientable surface "S", otherwise known as the "genus n surface group". One can construct "S" using its standard fundamental polygon. For the first open set "A", pick a disk within the center of the polygon. Pick "B" to be the compliment in "S" of the center point of "A". Then the intersection of "A" and "B" is an annulus, which is known to be homotopy equivalent to (and so has the same fundamental group as) a circle. Then pi_1(A cap B)=pi_1(S^1), which is the integers, and pi_1(A)=pi_1(D^2)={1}. Thus the inclusion of pi_1(A cap B) into pi_1(A) sends any generator to the trivial element. However, the inclusion of pi_1(A cap B) into pi_1(B) is not trivial. In order to understand this, first one must calculate pi_1(B). This is easily done as one can deformation retract B (which is "S" with one point deleted) onto the edges labeled by "A1B1A1-1B1-1A2B2A2-1B2-1... AnBnAn-1Bn-1". This space is known to be the wedge sum of 2"n" circles (also called a bouquet of circles), which further is known to have fundamental group isomorphic to the free group with 2"n" generators, which in this case can be represented by the edges themselves: {A_1,B_1,ldots,A_n,B_n}. We now have enough information to apply Van Kampen's theorem. The generators are the loops {A_1,B_1,ldots,A_n,B_n} ("A" is simply connected, so it contributes no generators) and there is exactly one relation: "A1B1A1-1B1-1A2B2A2-1B2-1... AnBnAn-1Bn-1" = 1. Using generators and relations, this group is denoted

:langle A_1,B_1,ldots,A_n,B_n|A_1B_1A_1^{-1}B_1^{-1}ldots A_nB_nA_n^{-1}B_n^{-1} angle.

Generalizations

This theorem has been extended to the non-connected case by using the fundamental groupoid π1(X,A) on a "set A of base points", which consists of homotopy classes of paths in X joining points of X which lie in A. The connectivity conditions for the theorem then become that A meets each path-component of U,V,W. The pushout is now in the category of groupoids. This extended theorem allows the determination of the fundamental group of the circle, and many other useful cases. Applications of the fundamental groupoid to the Jordan Curve theorem, covering spaces, and orbit spaces are given in Ronald Brown's book cited below.

There is also a version that allows more than two overlapping sets; for more information on this, see Allen Hatcher's book below, theorem 1.20.

In fact, we can extend van Kampen's theorem significantly further by considering the fundamental groupoid Pi(X), an element of the category of small categories whose objects are points of X and whose arrows are paths between points modulo homotopy equivalence. In this case, to determine the fundamental groupoid of a space, we need only know the fundamental groupoids of the open sets covering X as follows: create a new category in which the objects are fundamental groupoids of the open sets, with an arrow between groupoids if the domain space is a subspace of the codomain. Then van Kampen's theorem is the assertion that the fundamental groupoid of X is the colimit of the diagram. For details, see Peter May's book, chapter 2.

Applications in Physics

Potential applications of the higher homotopy, generalised van Kampen's theorem are in Theoretical Physics, especially in quantum Field Theories,Supergravity, Supersymmetry, and classification of Quantum Space-time invariants [Brown et al. 2007] .

References

* Allen Hatcher, [http://www.math.cornell.edu/~hatcher/AT/ATpage.html "Algebraic topology."] (2002) Cambridge University Press, Cambridge, xii+544 pp. ISBN 052179160X and ISBN 0521795400
* Peter May, [http://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf "A Concise Course in Algebraic Topology."] (1999) University of Chicago Press, ISBN 0-226-51183-9. "(Section 2.7 provides a category-theoretic presentation of the theorem as a colimit in the category of groupoids)"
*Ronald Brown, " [http://www.bangor.ac.uk/r.brown/topgpds.html Topology and groupoids] " (2006) Booksurge LLC ISBN 1-4196-2722-8
*P.J. Higgins, " [http://138.73.27.39/tac/reprints/articles/7/tr7abs.html Categories and groupoids] " (1971) Van Nostrand Reinhold
*Ronald Brown, " [http://www.bangor.ac.uk/r.brown/hdaweb2.html Higher dimensional group theory] " (2007) "(Gives a broad view of higher dimensional van Kampen theorems involving multiple groupoids.)"
*E. R. van Kampen. "On the connection between the fundamental groups of some related spaces." American Journal of Mathematics, vol. 55 (1933), pp. 261–267.
*Ronald Brown, Higgins, P. J. and R. Sivera. 2007, vol. 1 [http://www.bangor.ac.uk/~mas010/nonab-a-t.html "Non-Abelian Algebraic Topology"] , (vol. 2 "in preparation"); [http://www.bangor.ac.uk/~mas010/nonab-t/partI010604.pdf downloadable PDF:]
*
*
*Ronald Brown R, K. Hardie, H. Kamps, T. Porter T.: The homotopy double groupoid of a Hausdorff space., "Theory Appl. Categories", 10:71–-93 (2002).
* Dylan G.L. Allegretti, [http://www.math.uchicago.edu/~may/VIGRE/VIGREREU2008.html "Simplicial Sets and van Kampen's Theorem."] 1. Ronald Brown, J. F. Glazebrook and I. C. Baianu: A categorical and higher dimensional algebra framework for complex systems and spacetime structures, "Axiomathes", 17 :409--493 (2007).


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Van Kampen — may refer to:* Seifert–van Kampen theorem, sometimes just called van Kampen s theorem, which describes an aspect of algebraic topology.:*Egbert van Kampen, the mathematician who devised the theorem * Robert Van Kampen, an American businessman. *… …   Wikipedia

  • Van Kampen diagram — In the mathematical area of geometric group theory, a van Kampen diagram is a planar diagram used to represent the fact that a particular word among the generators of a group given by a group presentation represents the identity element in that… …   Wikipedia

  • Egbert van Kampen — Egbert Rudolf van Kampen (May 28, 1908, Berchem, Belgium – February 11, 1942, Baltimore, Maryland) was a mathematician. He made important contributions to topology, especially to the study of fundamental groups. Van Kampen received his Ph.D.… …   Wikipedia

  • Herbert Seifert — Herbert Karl Johannes Seifert (May 27, 1907 – October 1, 1996) was a German mathematician known for his work in topology. He was born in Bernstadt, but soon moved to Bautzen, where he attended primary school at the Knabenbürgerschule, and… …   Wikipedia

  • Mayer–Vietoris sequence — In mathematics, particularly algebraic topology and homology theory, the Mayer–Vietoris sequence is an algebraic tool to help compute algebraic invariants of topological spaces, known as their homology and cohomology groups. The result is due to… …   Wikipedia

  • Pushout (category theory) — In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamed sum) is the colimit of a diagram consisting of two morphisms f : Z → X and g : Z → Y with a common …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Heidelberg University Faculty of Mathematics and Computer Science — Infobox University Faculty name = Faculty of Mathematics and Computer Science native name = Fakultät für Mathematik und Informatik established = 2002 dean = Prof. Dr. R. Rannacher staff = 27 students = 1100 website = http://www.math.uni… …   Wikipedia

  • Homotopy group — In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The base point preserving maps from an n dimensional sphere (with base point) into a given space (with base point) are collected into equivalence… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”