# Questions tagged [fundamental-group]

The fundamental-group tag has no usage guidance.

246
questions

2
votes

0
answers

91
views

### Extending étale covers from the regular locus to a resolution of singularities

Let $X$ be a normal proper variety with rational singularities (or terminal if that is necessary) and $X_{\text{reg}} \to X$ the regular locus. Let $\pi : \tilde{X} \to X$ be a resolution of ...

9
votes

2
answers

354
views

### For which spaces $S^n$ ($n\geq 2$) is a universal covering space?

I know that $S^n$ $(n\geq 2)$ is a universal covering space for itself and $\mathbb{RP}^n$. But my question is, for which spaces (up to homotopy equivalence) is $S^n$ ($n\geq 2$) a universal covering ...

2
votes

0
answers

170
views

### Does this sequence stop?

Let $\{ X_i\}$ ($i=1,2,\ldots $) be a family finite CW-complexes such that $X_{i+1}$ is homotopy domintaed by $X_i$, i.e. there exists contionuos maps $g_i:X_i \to X_{i+1}$ and $f_i :X_{i+1} \to X_i$ ...

1
vote

0
answers

70
views

### Behaviour of cycles modulo algebraic equivalence on an etale covering

I found a neat result in Beauville's paper "VARIÉTÉS DE PRYM ET JACOBIENNES INTERMÉDIAIRES" : if $U \subset \mathbb{P}^n$ is an open and $V \to U$ is a conic bundle whose fibres are all ...

1
vote

0
answers

123
views

### Motivation of Zariski–Van Kampen theorem

The Zariski–Van Kampen theorem gives the presentation of the fundamental group of the complement of the plane curve of degree $d$. But what's the motivation of this theorem? More generally, why are ...

3
votes

0
answers

73
views

### Descent obstruction of an open curve in an elliptic curve

Let $E$ be an elliptic curve over a number field $k$, and for an extension $K/k$ we denote by $E_K$ the base change $E \times_k K$. By fixing an embedding $k \hookrightarrow \mathbb{C}$, the etale ...

1
vote

1
answer

164
views

### Ways to prove that $n$-component Brunnian link is nontrivial

The attached image shows a way to construct an $n$-component Brunnian link for any $n\geq 3$. That is, this link is not trivial, but deleting any of its components makes the new link trivial. The ...

9
votes

1
answer

200
views

### Links and non-orientable surfaces

Let $\Sigma \subset \mathbb{R}^3$ be a compact embedded surface with boundary $\partial \Sigma$ and $i:\Sigma\setminus \partial\Sigma \to \mathbb{R}^3 \setminus \partial\Sigma$ the inclusion.
Is the ...

2
votes

0
answers

79
views

### Unramified section associated to a rational point

This is a question for those familiar with the section conjecture, so I'll do away with the definition of a ramification map in this case. Here is the definition of a ramification map from an etale ...

7
votes

0
answers

250
views

### Künneth formula for $\pi_1$-proper morphisms

Context:
Let $X$ and $Y$ be connected qcqs schemes over an algebraically closed field $k$. Denote by $\pi_1(X)$, $\pi_1(Y)$ their étale fundamental groups (base points omitted). Grothendieck proved ...

7
votes

1
answer

203
views

### Why is the fundamental group of $\mathsf E_n$ cyclic of order $9 - n$?

Several years ago, I mentioned offhandedly to a colleague that I had noticed that, if you extend the $\mathsf E_n$ series downwards in the natural way, by removing nodes from the long arm of $\mathsf ...

0
votes

1
answer

163
views

### Is $\pi_2 (X_i)$ a free $\mathbb{Z}\pi_1 (X_i)$-module for $i=1,2$?

Let $X_1$ be the suspension of $\mathbb{R}P^2$ and $X_2=\bigvee_{1\leq i\leq n} (\vee_{r_i} \mathbb{S}^i)$.
Is $\pi_2 (X_i)$ a projective (or a free) $\mathbb{Z}\pi_1 (X_i)$-module for $i=1,...

2
votes

1
answer

163
views

### The fundamental group of quotient space of 3-folds

Let $S$ be a K3 surface with an involution $\iota_S$, $E$ an elliptic curve with an involution $\iota_E$. Assume the fixed locus of $S$ under $\iota_S$ contains $N>0$ disjoint curves. Note the ...

7
votes

2
answers

276
views

### Boundary of a $4$-manifold and the fundamental group

I am trying to learn $4$-manifolds with boundaries and I don't know much about this topic so these questions may be silly. Given a $4$-manifold $M$ with a boundary say $N$,
Assume $\pi_1(N)$ is known,...

6
votes

3
answers

962
views

### Motivation of the fundamental theorem of covering spaces

The fundamental theorem of covering spaces states that for a nice topological space $X$, there is an equivalence of categories between covering spaces over $X$ and left $\pi_1(X)$-sets. "...

0
votes

0
answers

144
views

### Can someone explain this proof on aspherical manifolds?

I am trying to understand this proof that the fundamental group of an aspherical manifold is torsion free. The proof is lemma 4.1 from Aspherical manifolds at the Manifold Atlas Project. The proof is:
...

12
votes

2
answers

879
views

### Topos-theoretic Galois theory

This page is an overview of some of the types of "Galois theories" there are. One of the most basic type is the fundamental theorem of covering spaces, which says, roughly, that for each ...

5
votes

0
answers

82
views

### Fundamental groups and cellular walks

Suppose $M$ is a smooth manifold (compact if desired) with a cell structure or other nice stratification.
Call a path $\gamma : [0,1] \to M$ transverse to the stratification if there is a finite ...

3
votes

0
answers

158
views

### Relationship between the holonomy pseudogroup and holonomy homomorphism (foliation)

This question is surely a duplication of https://math.stackexchange.com/questions/4343635/relationship-between-the-holonomy-pseudogroup-and-holonomy-homomorphism-foliati , however, I got no replies. ...

7
votes

2
answers

341
views

### Do surface groups embed into PSL_2 over a real quadratic integer ring?

$\DeclareMathOperator\PSL{PSL}$ Let $ \mathbb{Z} $ be the ring of integers and $ \mathbb{R} $ the field of real numbers. Let $ \Sigma_g $ be a surface of genus $ g \geq 2 $. Let $ \pi_1(\Sigma_g) $ be ...

8
votes

2
answers

1k
views

### Does the isomorphic of the fundamental groups imply the existence of a mapping inducing an isomorphism?

A pair of continuous mappings $f \colon X \to Y$ and $g \colon Y \to X$ is called $\pi_1$-equivalence if they induce mutually inverse isomorphisms of fundamental groups. Spaces are called $\pi_1$-...

3
votes

2
answers

407
views

### Can the loops in the definition of the fundamental group be considered injective?

Let $\mathrm{С}$ be some class of topological spaces that includes at least all subspaces of $\mathbb{R}^n $. Further we are in the category $\mathrm{С}_{*}$ (the category of point spaces; all ...

4
votes

0
answers

92
views

### Fundamental group of hyperbolic 2-orbifold

Suppose $\Gamma$ is a cocompact lattice of $PSL_2(\mathbb{R})$. Then $\mathbb{H}^2/\Gamma$ has a natural structure of orbifold. My questions are:
What is $\pi_1(\mathbb{H}^2/\Gamma)$?
What is $\pi_1^{...

7
votes

2
answers

375
views

### Fundamental group of the space of smooth embeddings of $S^1$ into $\mathbb R^3$

Has the fundamental group of the space of smooth embeddings of $S^1$ into $\mathbb R^3$ been completely computed? Say the basepoint is an unknot. Maybe something is known for other components?
If yes,...

6
votes

0
answers

209
views

### Classifying nested 3-manifolds with fundamental group property

Let $M_1\subseteq M_2\subseteq\mathbb R^3$ be closed connected subsets with smooth boundary. Suppose that every closed loop in $M_1$ is freely homotopic inside $M_2$ to a closed loop inside $M_2\...

3
votes

0
answers

48
views

### What's the Milnor's link group for the trivial knot in a lens space?

For a link $L$ in a 3-manifold $Y$, Milnor's paper "Link Groups" https://link.springer.com/content/pdf/10.1007/BF01393902.pdf defined the link group as some quotient of $\pi_1(Y-L)$. If $L$ ...

8
votes

1
answer

664
views

### Representation theory of higher homotopy groups

I've seen some works on the representation of fundamental groups, which are (at least for me) quite important topic in mathematics. For example, Riemann-Hilbert correspondence relates representation ...

4
votes

1
answer

140
views

### What is the minimal length of a “Diagonal” in a Torus?

Given a Riemannian torus $(T,d)$ with fundamental group $\pi_1(T)=\langle a,b \mid ab=ba \rangle$. Denote for any $\gamma \in \pi_1(T)$ the infimum length of all representatives of $\gamma$ by $L(\...

4
votes

0
answers

53
views

### Fundamental group of the complement of some quadric cones

cross-posting from MathSE
Problem
Consider the domain
$$\Omega=\mathbb{C}^4\setminus\{z_0(z_1^2+z_2^2+z_3^2)=0\}$$
and the map
$$F:\Omega\to\mathbb{CP}^1\qquad F(z_0,z_1,z_2,z_3)=[z_0^2:z_1^2+z_2^2+...

4
votes

1
answer

349
views

### Surface bundles associated to a short exact sequence of groups

Suppose $S$ is a closed, connected, oriented surface of genus at least two and $G$ is any group. Suppose further that $\Gamma$ is any group that fits into the following short exact sequence:
$$ 1 \to \...

0
votes

1
answer

90
views

### Fundamental group to groupoid : bijection between homotopy classes?

I'm looking at the fundamental group $\pi_{1}(M)$ of the $n^{th}$ unordered configuration space $M$ of $\mathbb{R}^{d}$. In particular, it's well-known that $\pi_{1}(M)\cong S_{n}$ (symmetric group) ...

0
votes

0
answers

278
views

### Is $\operatorname{Aut}(\mathcal{M})$ a fundamental group in Grothendieck's sense?

This question is a follow-up to Are there infinitely many L-rigs? and to Is an automorphic form of $\operatorname{GL}_{n}(\mathbb{A}_{\mathbb{Q}})$ determined by its L-function?.
I copy paste a deepl ...

44
votes

3
answers

4k
views

### "Cute" applications of the étale fundamental group

When I was an undergrad student, the first application that was given to me of the construction of the fundamental group was the non-retraction lemma : there is no continuous map from the disk to the ...

3
votes

1
answer

252
views

### Fundamental group of twisted loop space

I'm interested in computing the fundamental group of the twisted loop space $$\Omega_f(M)=\{ \gamma \in C^{\infty}(\Bbb R,M) \mid \gamma(s+1)=f\gamma(s)\}$$
where $f \in \text{Aut}(M,x_0)$, for ...

2
votes

0
answers

162
views

### Isocrystals on simply connected varieties

Esnault and Shiho - Convergent isocrystals on simply connected varieties proves that there are no non-trivial convergent isocrystals on simply connected varieties. There is another similar result in ...

1
vote

0
answers

174
views

### What is the étale fundamental group of projective spaces over finite fields?

Is there any convenient way to understand the étale fundamental group of projective spaces over finite fields, in particular, the étale fundamental group of $\mathbf{P}^2_{\mathbf{F}_q}$?

2
votes

1
answer

187
views

### Lifting of a proper map in the cover is a proper map

Let $M$ be an orientable surface without boundary$($I am not assuming $M$ is compact, it can be non-compact$)$. Let $\Phi: M\to M$ be a proper homotopy-equivalnce$($A proper homotopy-equivalence can ...

3
votes

1
answer

196
views

### Does the Hawaiian Earring Group embed into the permutation group of $\mathbb N$?

Recall that the Hawaiian earring group, $\mathbb G$, is the fundamental group of the Hawaiian Earing using the point at the origin. It can be understood more combinatorially as a subgroup of the ...

5
votes

2
answers

764
views

### 3-manifold with fundamental group $\mathbb Z$

Let $M$ be a compact $3$-manifold with nonempty boundary. If $\pi_1(M)=\mathbb Z$, can we prove that $M$ is homeomorphic to $S^1 \times D^2$?

3
votes

0
answers

171
views

### Is the category of covering spaces always a topos?

It is well knows that for a nice (locally path connected, semi-locally simply connected) topological spaces, the category of covering spaces over $X$ is equivalent to the functor category $\left[\Pi_1\...

6
votes

0
answers

294
views

### Fundamental group of a product in characteristic 0

It is proven in SGA1 that if $k$ is an algebraically closed field, if $X$ is a proper $k$-scheme and if $Y$ is a locally noetherian $k$-scheme (say, $X$ and $Y$ are non-empty and connected) then $\...

5
votes

1
answer

286
views

### triviality of homology with local coefficients

Let $X$ be a manifold or a CW-complex.
Let
$\pi: \tilde X\longrightarrow X$
be a covering map.
Let $\pi_1(X)$ be the fundamental group of $X$ and let $\rho: \pi_1(X)\longrightarrow O(n)$ be an ...

2
votes

1
answer

239
views

### can the actions of fundamental groups annihilate homology?

Let $X$ be a path-connected manifold (or a CW complex).
Let $\pi_1(X)$ be the fundamental group of $X$.
Let $\pi: \tilde X\longrightarrow X$ be a covering map.
For each $m\geq 0$, let $C_m(\tilde X)$ ...

7
votes

1
answer

188
views

### Representation of fundamental groupoid as $2$-sheaf

By https://arxiv.org/abs/1406.4419 (The fundamental groupoid as a terminal costack, Ilia Pirashvili), we know that for a topological space $X$, the $2$-functor
$$\text{Top}(X)\rightarrow \text{Gpd}, \...

2
votes

0
answers

140
views

### Outer Galois representations and Tate modules of Jacobian varieties

Let $X$ be a proper smooth curve over a field $k$. Then we have an exact sequence of profinite groups
\begin{equation*}
1 \to \pi_1(X_{\overline k}) \to \pi_1(X) \to G_k \to 1,
\end{equation*}
...

9
votes

3
answers

1k
views

### Are "large enough" finite etale covers arithmetic?

Let $X$ be a variety over a number field $K$. Then it is known that for any topological covering $X' \to X(\mathbb{C})$, the topological space $X'$ can be given the structure of a $\overline{K}$-...

5
votes

0
answers

376
views

### Complex conjugation inducing a trivial map on the fundamental group

Let $V$ be a smooth projective complex variety defined over the reals such that $G=\pi_1(V)$ is a non-abelian finite simple group. Assume that $V$ has a real point. Can the map $G\to G$ induced by ...

3
votes

1
answer

295
views

### A complex variety with a finite non-abelian simple fundamental group

Does there exist a complex smooth proper variety whose fundamental group is finite non-abelian simple?

1
vote

0
answers

45
views

### Restricted wreath product as fundamental group of a space with coinciding Reidemeister and Nielsen numbers

I am studying a group $\mathbb{Z}_n \wr \mathbb{Z}^k$, where $\wr$ denotes the restricted wreath product:
$$
\mathbb{Z}_n \wr \mathbb{Z}^k = \bigoplus_{x\in\mathbb{Z}^k}(\mathbb{Z_n})_x\rtimes\mathbb{...

2
votes

0
answers

212
views

### Galois theory of ramified coverings vs classical Galois theory

That's an exact copy of my former MSE question I asked a couple of weeks ago and unfortunately not got the answer I was looking for.
The question adresses reuns' answer in this thread: Algebraic ...