Questions tagged [fundamental-group]
The fundamental-group tag has no usage guidance.
268 questions
3
votes
0
answers
96
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 ...
- 895
27
votes
3
answers
7k
views
Why are we interested in the Fundamental Groupoid of a Space?
The classical version of the van Kampen theorem is concerned about the fundamental group of a based space. In fact, it says that the functor $\pi_1$ preserves certain types of pushouts in $Top_*$.
...
- 609
2
votes
1
answer
184
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 ...
- 199
3
votes
2
answers
509
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 ...
- 6,962
16
votes
6
answers
3k
views
Fundamental groups of surfaces
What are some properties that hold for the fundamental group of a surface and do not necessarily hold for the fundamental groups of manifolds of higher dimensions?
- 311
2
votes
0
answers
93
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 ...
- 895
24
votes
4
answers
4k
views
Fundamental group of 3-manifold with boundary
Is it true that any finitely presented group can be realized as fundamental group of compact 3-manifold with boundary?
- 45k
0
votes
1
answer
207
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,...
- 1,182
4
votes
1
answer
387
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 \...
- 421
29
votes
4
answers
3k
views
Geometric interpretation of the lower central series for the fundamental group?
For any group $G$ we can form the lower central series of normal subgroups by taking $G_0 = G$, $G_1 = [G,G]$, $G_{i+1} = [G,G_i]$. We can check this gives a normal chain
$$G_0 \ge G_1 \ge ... \ge G_i ...
- 573
17
votes
2
answers
4k
views
Is there a relationship between a quotient group of the fundamental group of X and the fundamental group of a quotient topology of X?
Let ($X$, $x_0$) be a topological space with a base point, and denote the fundamental group of $X$ as $\pi_1(X)$. Let $N$ be a normal subgroup of $\pi_1(X)$.
Does there necessarily exist an ...
- 271
6
votes
2
answers
2k
views
Action of fundamental group on homotopy fiber
For a Serre fibration of pointed topological spaces $f:X \to B$, there is an action of $\pi_1\left(B,b_0\right)$ on the fiber $F$. The construction of this action I'm familiar with uses a lift $F\...
- 834
0
votes
0
answers
340
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:
...
- 29
18
votes
2
answers
1k
views
Fundamental group of punctured simply connected subset of $\mathbb{R}^2$
(This question is originally from Math.SE where it was suggested that I ask the question here)
Let $S$ be a simply connected subset of $\mathbb{R}^2$ and let $x$ be an interior point of $S$, meaning ...
- 2,889
3
votes
1
answer
321
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?
user145520
11
votes
2
answers
287
views
Fundamental group under Gelfand duality
Gelfand duality states that the functor of continuous functions $C(-)$ from compact Hausdorff topological to commutative $C^*$-algebras is an equivalence of categories. In other words, all topological ...
- 21.6k
23
votes
3
answers
2k
views
How bad can $\pi_1$ of a linear group orbit be?
Let $G$ be a simply connected Lie group and $\mathcal O= G(v)=G/G_v$ a $G$-orbit in some finite-dimensional $G$-module $V$. By the homotopy exact sequence, its fundamental group $\Gamma$ is the ...
- 31.5k
19
votes
2
answers
3k
views
What are the different theories that the motivic fundamental group attempts to unify?
I must preface by confessing complete ignorance in the subject. I've read introductory texts about the theory of motives, but I am certainly no expert.
In http://www.math.ias.edu/files/deligne/...
- 6,348
5
votes
0
answers
87
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 ...
- 720
4
votes
1
answer
172
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(\...
- 41
3
votes
1
answer
311
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 ...
- 503
19
votes
2
answers
1k
views
Can one compute the fundamental group of a complex variety? Other topological invariants? [duplicate]
Given a system of polynomial equations with rational coefficients, is there an algorithm to compute the geometric fundamental group of the variety defined by these equations? I'm interested in both ...
- 15.4k
5
votes
1
answer
417
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 ...
- 1,990
2
votes
1
answer
275
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)$ ...
- 1,990
34
votes
1
answer
2k
views
Is every ''group-completion'' map an acyclic map?
I start with a longer discussion which will result in a precise version of the question. I am puzzled about an issue with the
Quillen plus construction. I have seen outstanding experts being confused ...
- 20.9k
1
vote
1
answer
327
views
Fundamental group of the complement of cell subcomplexes
Given a regular CW complex stucture on a manifold $C$ of dimension $n$ and a subcomplex $D$ of dimension $n-2$, I want to compute the fundamental group of the complement $\pi_1(C\setminus D)$. A ...
- 154
7
votes
1
answer
256
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}, \...
- 4,428
3
votes
1
answer
206
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 ...
- 1,882
12
votes
1
answer
832
views
Space with semi-locally simply connected open subsets
A topological space $X$ is semi-locally simply connected if, for any $x\in X$, there exists an open neighbourhood $U$ of $x$ such that any loop in $U$ is homotopically equivalent to a constant one in $...
- 303
8
votes
1
answer
575
views
Understanding fundamental group of Poincare homology sphere
I'm currently reading Knots, Links, Braids, and 3-Manifolds by V. V. Prasolov and A. B. Sossinsky. I have trouble understanding the following picture. The dashed line denotes a trefoil whose tubular ...
- 103
5
votes
2
answers
582
views
Can we define fundamental groups functorially for non-pointed path connected topological spaces?
Let $\text{ppTop}$ denote the category of pointed and path connected topological spaces with morphisms base-preserve continuous maps. The fundamental group gives a functor $FG: \text{ppTop}\to \text{...
- 9,019
5
votes
3
answers
401
views
Generalize $H^1_{dR}(X)=\mathrm{Hom} (\pi_1(X),\mathbb R)$ to fundamental Groupoid
Let $X$ be a path-connected smooth manifold, it is known that: $$H^1(X):=H^1_{dR}(X)=\mathrm{Hom} (\pi_1(X),\mathbb R).$$ Explicitly, a closed one-form $\alpha$ gives a function on $\pi_1(X)$ by $[\...
- 2,789
0
votes
0
answers
286
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 ...
- 6,982
4
votes
0
answers
131
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^{...
- 563
28
votes
2
answers
6k
views
What group is $\langle a,b \,| \, a^2=b^2 \rangle$?
In teaching my algebraic topology class, this group showed up as part of an easy fundamental group computation: $\langle a,b\mid a^2=b^2\rangle$. My first instinct was that this must be $\mathbb{Z}*\...
- 5,544
16
votes
6
answers
6k
views
Fundamental group of the line with the double origin.
In the simplest cases, the fundamental group serves as a measure of the number of 2-dimensional "holes" in a space. It is interesting to know whether they capture the following type of "hole".
This ...
- 3,699
2
votes
1
answer
282
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 ...
- 265
6
votes
1
answer
325
views
An extension of symplectomorphism group
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Sp{Sp}$Let $\omega=\sum dx_i\wedge dy_i$ be the standard symplectic structure of $\mathbb{R}^{2n}=\mathbb{R}^{n}\times \mathbb{R}^n$.
We consider the ...
- 366
0
votes
1
answer
109
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) ...
- 309
5
votes
2
answers
457
views
Finite etale covers of products of curves
Probably this question can be phrased in a much greater generality, but I will just state it in the generality I require. I work over $\mathbb{C}$.
Let $C_1, C_2 \subset \mathbb{P}^1$ be non-empty ...
- 21.4k
6
votes
1
answer
471
views
Étale fundamental group of multiplicative group over an algebraically/separably closed field
This is a repost of my question here.
Do we know the structure of the étale fundamental group $\pi^\text{et}_1(\mathbb{G}_{m,K^\text{sep}})$ of the multiplicative group, for a given field $K$? For ...
- 311
4
votes
1
answer
1k
views
Question about the fundamental group of rational homology 3-spheres
By a rational homology 3-sphere, I mean a compact oriented manifold three-manifold $Y$ with $H_1(Y)$ finite. My question is whether there exists a reasonable classification of such manifolds such that ...
- 3,758
32
votes
3
answers
4k
views
Fundamental groups of topoi
Just yesterday I heard of the notion of a fundamental group of a topos, so I looked it up on the nLab, where the following nice definition is given:
If $T$ is a Grothendieck topos arising as category ...
- 4,450
2
votes
0
answers
179
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 ...
- 5,901
6
votes
0
answers
377
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 $\...
- 1,584
24
votes
5
answers
6k
views
How should one understand orbifold fundamental groups?
I am studying orbifold fundamental group (or more generally orbifold homotopy groups). In a nutshell, my questions is: what are they intuitively? In what follows I give definitions and more precise ...
- 375
1
vote
0
answers
238
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}$?
- 333
6
votes
2
answers
1k
views
Fundamental group of a topological group
It is well known that the fundamental group of a path-connected topological group is abelian. Suppose that $G$ is a connected topological group and let $Ab(G)$ the abelianization of the topological ...
- 451
3
votes
1
answer
1k
views
The (topological) fundamental group of (quasi)-projective algebraic varieties
I would like to know:
What does the fundamental group of a quasi-projective algebraic variety look like?
I remember that I have seen somewhere that for a connected, finite-type CW-complex $X$, ...
- 169
33
votes
1
answer
4k
views
Is there a manifold with fundamental group $\mathbb{Q}$?
It is known that the fundamental group of a locally path connected, path connected compact metric space is finitely presented or uncountable. Furthermore the fundamental group of every manifold is ...
- 683