Questions tagged [fundamental-group]
The fundamental-group tag has no usage guidance.
268 questions
3
votes
1
answer
346
views
Fundamental group of the grid on $\mathbb{R}^\mathbb{N}$
The grid on $\mathbb{R}^2$ is defined by the set of points such that at most one coordinate is not an integer. With this in mind, e endow $\mathbb{R}^\mathbb{N}$ with the product topology, where $\...
- 48.9k
3
votes
1
answer
169
views
Express fundamental group of $\mathcal H/\Gamma$ by $\Gamma$
Suppose $\mathcal H$ is the upper half plane, and $\Gamma$ is an arithmetic subgroup of $\operatorname{PSL}_2(\mathbb Z)$, I want to ask can we interpret the fundamental group of $\mathcal H/\Gamma$ ...
- 785
3
votes
1
answer
137
views
Normal subgroup of the geometrical fundamental group is the normal subgroup of the arithmetic fundamental group
I asked some questions on a descending lemma in Lawrence-Venkatesh 4 days ago, but it has not received any answer. I understood (2) now but I'm still confused on (1).
I want to ask a new question here....
- 131
2
votes
0
answers
50
views
Descending universal branched cover
In Lawrence-Venkatesh, they tried to descend their construction of universal branched $G$-cover $Z^\circ\to Y^2-\Delta$ in Lemma 7.4. I have several questions about the proof.
They said the commuting ...
- 131
3
votes
0
answers
164
views
Pro-algebraic fundamental groups
Let $X$ be a smooth projective variety over an algebraically closed field $K$ of characteristic zero and fix a point $x\in X(K)$.
We can associate to $X$ two Tannakian categories: the category of ...
- 3,446
4
votes
1
answer
250
views
Galois action on the pro-algebraic completion of the singular fundamental group
Let $X$ be a smooth variety over a field $K \subset \mathbb{C}$. The singular fundamental group $\pi_1(X^{\text{an}}, x)$ generally does not carry an action of the absolute Galois group $\operatorname{...
- 199
3
votes
1
answer
254
views
The simply connectedness of $\mathbb{A}^n_{\mathbb{Q}_p}$
My question is how to prove the affine $n$-space over $p$-adic number $\mathbb{Q}_p$ is simply connected.
To be precise,
Let $X$ be $p$-adically analytic manifold, $f:X\rightarrow \mathbb{A}^n_{\...
- 328
4
votes
1
answer
297
views
Fundamental group of the smooth locus of a normal algebraic surface is a quotient of that of a Zariski open subset
Let $X$ be a normal algebraic surface (over $\mathbb{C}$) and $Y$ its smooth locus, i.e., the complement of the singularities of $X$. Suppose $Z\subset Y$ is a Zariski open subset of $X$. Then is it ...
- 335
1
vote
0
answers
85
views
Companions for positive characteristic arithmetic representations viewed as representations of the topological fundamental group?
Suppose $X / K$ is a variety over a finitely generated field over $\mathbb{Q}$. Fix an embedding $K \subset \mathbb{C}$ and let $\pi := \pi_1(X(\mathbb{C}), x)$ be the topological fundamental group. ...
- 3,730
2
votes
0
answers
125
views
Is there a theory of fundamental groups for $C^*$-algebras instead of topological spaces?
Is it possible to construct a theory of fundamental groups $\pi_1 (A,a_0)$ for pointed $C^*$-algebras $(A,a_0)$ instead of pointed topological spaces $(X,x_0)$ : $\pi_0 (X,x_0)$ ?
If the answer is yes,...
- 595
3
votes
0
answers
94
views
References for variations of Seifert–van Kampen's theorem: HNN extensions and "sensible" intersections
A basic consequence of the Seifert–van Kampen theorem is the following.
Theorem: Consider a union of topological spaces $X$, $Y$ whose intersection $X\cap Y = Z$ is open connected and $\pi_1$-...
- 1,033
2
votes
0
answers
55
views
Fundamental group of cyclic branched cover of affine plane
Let $f\in \mathbb{C}[x,y]$ be an irreducible polynomial. Let $n>0$ be an integer such that the hypersurface $S:=\{ (x,y,z)\in \mathbb{C}^3|z^n=f(x,y) \}$ is a connected complex submanifold of $\...
- 615
11
votes
1
answer
415
views
Why can we take the colimit over the category of elements?
I'm trying to understand J. P. Murre's Tata notes on Grothendieck's theory of the fundamental group. For a Galois category $\mathcal C$ (which I'm taking to be locally small) with fundamental functor $...
3
votes
0
answers
108
views
Reliable literature with the list of centers of all simply connected simple real Lie groups
Wikipedia webpage https://en.wikipedia.org/wiki/Simple_Lie_group contains a full list of all simple (centerless) real Lie groups. One of the columns in tables (therein) contains fundamental groups of ...
- 41
2
votes
0
answers
130
views
Fundamental group of a quotient by a group action
Suppose I have a quotient $X \to S$ by a finite abelian group $G$ action (I have several cases, but in all of them the group $G$ and the action could be written explicitly), where $X,S$ are surfaces (...
- 21
11
votes
1
answer
270
views
Example of three dimensional atoroidal Poincaré duality group with some pathology
I am looking for a 3-manifold which is closed, aspherical, orientable, and atoroidal. And additionally I want to see an example that does not admit a fixed-point-free action on a simplicial tree. As a ...
- 1,638
3
votes
2
answers
425
views
A question on the manifold $ \{n\otimes n-m\otimes m:n,m\in S^2,(n,m)=0\} $
Consider a manifold $ N $ defined as follows
$$
N=\{n\otimes n-m\otimes m:n,m\in S^2,\quad(n,m)=0\}\subset M^{3\times 3},
$$
where $ S^2 $ denotes the two dimensional sphere, $ (\cdot,\cdot) $ ...
- 1,219
2
votes
1
answer
287
views
How does hyperelliptic involution act on the standard generators of the fundamental group of surfaces of genus g with n punctures?
Let $S_{g,n}$ be the surface of genus $g$ with $n$ punctures. We know that $\pi_1(S_{g,n})$ admits a presentation:
$$\left\langle~ \alpha_1,\beta_1,\dots, \alpha_{g},\beta_{g},\gamma_{1},\dots,\gamma_{...
- 79
1
vote
0
answers
98
views
Does there exist a simply connected surface with CM whose cotangent bundle is ample?
Does there exist a smooth projective complex surface $X$ such that,
(1) $\pi_1(X) = 0$
(2) $\Omega_X^1$ is ample
(3) the Mumford-Tate group of $H^2(X)$ is a torus
There exist examples with any two of ...
- 3,730
8
votes
1
answer
255
views
Can "fake rational surfaces" be simply-connected?
I say that a smooth projective complex algebraic surface $X$ is a "fake rational surface" if its Hodge diamond looks like:
and $X$ is of general type.
It is well-known that fake projective ...
- 3,730
4
votes
0
answers
100
views
Fundamental groups of Hirzebruch's line arrangement varities
Let $\Lambda$ be a line arrangement in $\mathbb{P}^2$ and $n > 0$ an integer. Then Hirzebruch defined a smooth projective surface $H(\Lambda, n)$ as the minimal desingularization of a covering $Y \...
- 3,730
2
votes
0
answers
111
views
Is the connecting map $\pi_2(B) \to \pi_1(F)$ ever nonzero in smooth proper families?
Suppose that $X, B$ are smooth irreducible varieties over $\mathbb{C}$ and $f : X \to B$ is a smooth proper morphism. Then we can consider the homotopy exact sequence:
$$ \pi_2(B) \to \pi_1(F) \to \...
- 3,730
2
votes
1
answer
200
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 ...
- 3,730
9
votes
2
answers
710
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 ...
- 1,182
1
vote
0
answers
182
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,182
1
vote
0
answers
81
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 ...
- 679
2
votes
1
answer
270
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 ...
- 197
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
1
vote
1
answer
279
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 ...
- 214
9
votes
1
answer
235
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 ...
- 443
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
7
votes
0
answers
330
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 ...
- 71
7
votes
1
answer
229
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 ...
- 12.9k
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
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
7
votes
2
answers
367
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,...
- 1,177
6
votes
3
answers
1k
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. "...
- 459
0
votes
0
answers
339
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
12
votes
2
answers
1k
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 ...
- 714
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
6
votes
1
answer
289
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. ...
- 295
7
votes
2
answers
430
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 ...
- 4,081
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$-...
- 6,962
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
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
7
votes
2
answers
566
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,...
- 71
7
votes
1
answer
291
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\...
- 18.7k
3
votes
0
answers
58
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$ ...
- 673
8
votes
1
answer
850
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 ...
- 2,215
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