For questions about or involving the fundamental group.

learn more… | top users | synonyms

3
votes
1answer
53 views

The nature of isomorphism between fundamental groups with different base points

New to algebraic topology. Munkres (Topology, 2 ed.) in the last paragraph on page 332 says that "If $X$ is path-connected, all the groups $\pi_1(X,x)$ are isomorphic, so it is tempting to try to ...
1
vote
1answer
25 views

Does the Wirtinger presentation extend to compliments of graphs and links?

In a previous question I asked about a specific fundamental group problem, which was resolved via SVK but I was also interested in whether or not the Wirtinger presentation was valid in some way. In ...
2
votes
3answers
80 views

Fundamental group of complement of circle with a line passing through it.

Let $X= S^1 \cup y$-axis in the $xy$-plane. Compute the fundamental group of $\mathbb{R}^3 - X$ Edit: To clarify, $S^1 =\{(x,y)|x^2 + y^2 = 1\}$ is the unit circle in the $xy$-plane, so that the ...
1
vote
2answers
53 views

what is the fundamental group of a torus with $k$ points removed

I was about to use the Seifert-van Kampen to compute the fundamental group of a torus of genus 2. In the process, I need to know the fundamental group of a torus (of genus one) with a hole removed. is ...
3
votes
0answers
40 views

Is there fundamental group “with coefficients”

Constructing fundamental group in usual way, one uses $I=[0,1] \in \mathbb R$, so uses real numbers, and gets a group classifying coverings for nice spaces: locally connectible and so on, in fact ...
2
votes
1answer
33 views

Fundamental group of the quotient of a cylinder by a rotation at either end

The following is a past qual problem: let $X = S^1 \times [0,1]$ be the cylinder, and define an equivalence relation on $X$ by $(z,1) \sim (iz,1)$ and $(w,0) \sim (e^{i\pi /7} w, 0)$. Compute ...
5
votes
1answer
77 views

An algebraic topology proof of a result from analysis

A colleague of mine recently brought up the following result from real analysis: Theorem: If $f:\mathbb{R}^2\to\mathbb{R}^2$ is continuous and $|f(x)-f(y)|\geq |x-y|$ for all $x,y$, then $f$ is onto. ...
4
votes
1answer
74 views

Fundamental group of quotient of $S^1 \times [0,1]$

I have a past qual question here: Let $X = S^1 \times [0,1] /{\sim}$, where $(z,0) \sim (z^4,1)$ for $z \in S^1 = \{ z \in \mathbb{C} \colon \| z \| = 1 \}$. Compute $\pi_1(X)$. I've been trying to ...
0
votes
0answers
36 views

How to describe a homomorphism from a fundamental group to a finite group?

Let $S$ be a connected locally noetherian scheme with $s$ a geometric point of $S$. I read something like this: to give a surjective continuous homomorphism from $\pi_1(S, \bar{s})$ to a finite group ...
2
votes
1answer
26 views

Fixed point equivalence [duplicate]

Let $\Bbb D^n$ be n-dimensional ball and $S^{n-1}$ the $n-1$ dimensional sphere realized as boundary of $\Bbb D^n$. Prove that following are equivalent. There is no retraction $\Bbb D^n\to S^{n-1}$ ...
3
votes
1answer
61 views

For compact surface $M$ and loop $f$ there exists a surjection $\phi: H_1(M) \to \mathbb{Z}/8\mathbb{Z}$ such that $f \notin \ker(\phi)$

Why is this sentence true? For every not nullhomologous loop $f$ without selfintersections on orientable compact surface $M$ there exists a surjection $\phi: H_1(M) \to \mathbb{Z}/8\mathbb{Z}$ such ...
4
votes
1answer
75 views

Fundamental Group of a Hexagon with Edge Identifications

What's the easiest way to compute this thing's fundamental group? I've been playing with it for a little while, and I'm getting $\mathbb{Z}+\mathbb{Z}$. After making the ID's I think the 1-cells ...
4
votes
3answers
126 views

Do freely homotopic maps induce the same homomorphism on fundamental groups?

Let $f,g\colon X\to Y$ be two continuous maps that are freely homotopic, such that there is some $x_0\in X$ with $f(x_0)=g(x_0)$. Is it true that the induced homomorphisms $f_*,g_*\colon ...
4
votes
2answers
78 views

Funky Fundamental Group Question

Let $D$ be a closed disk (w/ boundary $C$) and let $D_a$, $D_b$ be two disjoint closed disks in the interior of $D$ (w/ boundaries $C_a$ and $C_b$, resp.) . Now remove the interiors of $D_a$ and ...
1
vote
1answer
49 views

the fundamental group of punctured surface

Let $S_{g,m}$ be a surface of genus $g$ with $m$ punctured, we know the fundamental group of $S_{g,0}$ is $$ \pi_1(S_{g,0}) = \left\langle a_1, b_1, \dots, a_g, b_g {~\large\mid~} [a_1, b_1] \dots ...
0
votes
1answer
50 views
4
votes
1answer
84 views

Homology and Fundamental group of $\mathbb{R}^4\setminus S^1$

I was attempting to help someone with this problem and realized I could not solve it myself. Let $S^1=\{(x,y,0,0):x^2+y^2=1\}$ be the unit circle in $\mathbb{R}^4$ and consider $M=\mathbb{R}^4 ...
9
votes
1answer
106 views

Is the homotopy type of an aspherical space determined by its fundamental group?

Question: Let $X$ and $Y$ be path-connected spaces that admit a contractible universal cover, with $\pi_1(X) \cong \pi_1(Y)$. Is $X$ homotopy equivalent to $Y$? Comments: $X$ and $Y$ are both ...
2
votes
1answer
64 views

Fundamental group of a connected graph

Is this a legit way to prove that a fundamental group of a connected graph $\Gamma$ is a free group? Without using quotient and homotopy extension property from Hatcher's "Algebraic Topology": Take ...
2
votes
0answers
21 views

Dual of etale fundamental group, field functoriality

Suppose $k$ is an arbitrary field and $X/k$ is a finite-type and integral scheme (hence connected). Let $K$ be the fraction field of $X$. Via the canonical morphism $$\phi: \rm{Spec}(K)\rightarrow ...
1
vote
1answer
35 views

Determing if the fundamental group of the following is isomorphic to either the trivial, infinite cyclic, figure eight fundamental groups

Hello there i am having trouble to determine isomorphisms of the following fundamental groups: 1) the torus $T$ with a removed point. 2) $\mathbb{R}^3$ with nonnegative axes 3) $S^1 \cup ...
40
votes
6answers
7k views

Hanging a picture on the wall using two nails in such a way that removing any nail makes the picture fall down

A friend of mine told me that it's possible to hang a picture on the wall from a string using two nails in such a way that removing either of the two nails will make both the string and picture fall ...
3
votes
1answer
58 views

Showing that $\pi(G/H, 1) = H$ under a condition

Problem: Let $G$ be a simply connected (i.e., $\pi(G)=1$) topological group, and let $H$ be a discrete normal subgroup. Prove that $\pi(G/H,1) = H$. I know that since $H$ is a discrete subgroup ...
4
votes
0answers
30 views

Isomorphism of the etale fundamental group

Given a birational proper morphism $f\colon X \rightarrow Y$ of complex algebraic varieties. It is always true that $f^* \colon \pi^{et}_1 (X)\rightarrow \pi^{et}_1(Y)$ is an isomorphism? I think ...
2
votes
2answers
44 views

Higher Homotopy Group of a Product of Spaces

I want to show that for two toplogical spaces $ X_1,X_2$ and for $x_1\in X_1 , x_2 \in X_2$ we have an isomorphism between $\pi_n (X_1 \times X_2 , (x_1,x_2)) $ and $ \pi_n (X_1, x_1) \times \pi_n ...
4
votes
0answers
49 views

Isomorphism of the fundamental groups

Given two complex algebraic varieties $X$ and $Y$. If there exists a birational proper morphism $f\colon X\rightarrow Y$ then a Theorem of Grothendieck (SGA.X) say that $\pi_1^{et}(X)\cong ...
0
votes
1answer
49 views

Van Kampen theorem on n-manifold remove one point

I'm trying to prove for a ($n \geq 3$)-dimensional path connected manifold M, if remove a point in M, then use Van Kampen theorem can somehow show the fundamental group of original $M$ and $M-{x}$, ...
4
votes
1answer
111 views

Homotopy quantum field theories as functors

A homotopy quantum field theory is a symmetric monoidal functor $\tau:\mathrm{HCobord}(n,X)\to\mathrm{Vect}_{\mathbb{K}}$, with $X$ a path connected space with basepoint $\ast$. There is the following ...
2
votes
1answer
90 views

How to compute the fundamental group from first homology group?

I have been reading about the fundamental group and its connection to the first homology group. In fact, there is an isomorphism $$\pi_1^{ab}(X,x_0) \to H_1(X)$$ for every path-connected topological ...
2
votes
1answer
85 views

The fundamental group of $U(n)/O(n)$

Since $O(n)$ is a subgroup of $U(n)$, we can consider the quotient space $L_n=U(n)/O(n)$. The quotient space is homotopic to the ($n$-th) Lagrangian Grassmannian, and it is known that its fundamental ...
3
votes
2answers
167 views

What is the suspension used in the Freudenthal suspension theorem?

The theorem states: The suspension map $\pi_{i}( S^{n})\rightarrow \pi_{i}(S^{n+1})$ is an isomorphism when $i<2n-1$ and a surjection when $i=2n-1$. In the case where $X$ is an ...
0
votes
0answers
21 views

How to prove homomorphisms with 'lifting'

for topology i just started a chapter called lifting and i'm having trouble using this concept to prove a homomorphism of a lifting correspondance. This is my following question: let $m \in ...
7
votes
1answer
117 views

Isomorphism Finite Topological Space

Does there exist a finite topological space with fundamental group isomorphic to $\mathbb{Z_2}$?
3
votes
0answers
37 views

Gromov-Hausdorff convergence to a circle

I am working on the book A course in metric geometry written by D. Burago, Y. Burago and S. Ivanov, and more precisely on exercice 7.5.9: Exercice: Let $\{X_n\}$ be a sequence of compact length ...
3
votes
1answer
30 views

Appropriateness of using an interval in $\Bbb{R}$ as the parameter to a continuous path in space $X$.

The fundamental group $\pi_1(X,x)$ is usually defined using continuous paths $p : [0,1] \to X$. But... (1) Can you use other spaces besides a closed interval of $\Bbb{R}$ in the usual topo? (2) How ...
3
votes
2answers
130 views

Spaces with fundamental group $\mathbb{Z}$

Let $X=A\cup B$ be an open cover of $X$ where $A,B$ are simply connected and $A\cap B$ consists of 2 simply connected components $C_1, C_2$. Show that $\pi_1(X)=\mathbb{Z}$. I tried different ...
3
votes
2answers
80 views

Is the fundamental group of a compact manifold finitely presented?

Let $X$ be a connected compact smooth manifold. If $X$ is boundaryless, we can choose a Riemannian metric for $X$ so that $\pi_1(X)$ acts geometrically (ie. properly, cocompactly, isometries) on the ...
2
votes
4answers
161 views

A simple fundamental group

I think I have this one, but I want to make sure: Using Van Kampen's theorem, Find the fundamental group of two disjoint spheres with each north pole identified, and each south pole identified. The ...
0
votes
1answer
57 views

Show $\otimes$ and $*$ are the same operation on $\pi_1(G, x_0)$

Show $\otimes$ and $*$ are the same operation on $\pi_1(G, x_0)$ where $(f\otimes g)(s) = f(s) \cdot g(s)$ where $\cdot$ is the group operation on the topological group $G. $ This is a question from ...
0
votes
2answers
72 views

Prove Simply Connected

If $X = U \cup V$ with $U,V$ open and simply connected and $U \cap V$ is path connected, why is $X$ simply connected?
3
votes
1answer
62 views

Is Orbit Criterion an abstract nonsense? Different induced fundamental groups.

(Orbit Criterion) Let $p:\tilde X \to X$ be a covering map. If $\tilde q, \tilde q' \in \tilde X$ are two points in the same fiber $p^{-1}(q)$, there exists a covering transformation taking $\tilde ...
2
votes
1answer
72 views

Fundamental group: Attaching a disc to a path connected triangulable space

What's the effect on the fundamental group of a path connected triangulable space X if you attach a disc? So far I've figured out that a disc has trivial fundamental group. So the free product of ...
4
votes
1answer
56 views

Profinite completion of the fundamental group

Let $X$ be a complex algebraic variety. Is the functor of the algebraic fundamental group $X\mapsto \pi_1^{alg} (X)$ the composition of the functor of the classical fundamental group ...
0
votes
1answer
52 views

Plate trick demonstrating SO(3) not simply connected.

I know there is another question about this, but I didn't find the answer adequate. How exactly does the plate trick (http://en.wikipedia.org/wiki/Plate_trick) show that $SO(3)$ isn't simply ...
2
votes
1answer
122 views

A 3-manifold with fundamental group isomorphic to a surface group.

Let $M$ be a 3-manifold (the case I am interested is $M$ closed orientable connected hyperbolic); suppose $\pi_1 (M)$ is isomorphic to the fundamental group of a (closed orientable connected) surface ...
0
votes
0answers
65 views

exercise 17 of hatcher page 80 chapter 1.3

Given a group $G$ and a normal subgroup $ N$, show that there exists a normal covering space $\widetilde{X} \rightarrow X $ with $\pi_{1}(X)\approx G ,\pi_{1}(\widetilde{X})\approx N $, and deck ...
2
votes
1answer
106 views

nice space with wild fundamental group

I would like to know an example of nice space with very strange fundamental group. With simplices and similar things I only get finitely presented groups. Edit. I know from comments that Hawaiian ...
0
votes
0answers
27 views

is there a specific way to find deck transformation and its related group?

is there a specific way to find deck transformation and its related group? this question came to my mind at the first time I studied deck transformation and related topics of covering space. it ...
0
votes
1answer
39 views

find the fundamental group with van kampen.

how I must prove that the fundamental group of this shape with base point which is heavily shaded is $\left \langle a^{2},b^{2},aba^{-1},bab^{-1} \right \rangle$,and I want to use van kampen ...
3
votes
2answers
113 views

$G$ is Topological $\implies$ $\pi_1(G,e)$ is Abelian

Hypothesis: Let $G$ be a topological group with identity element $e$. Let $\mu$ denote the multiplication mapping in $G$. Goal: Show that $\pi_1(G,e) = \pi(G)$ is an abelian group via the hint ...