Questions tagged [fundamental-group]
The fundamental-group tag has no usage guidance.
268 questions
4
votes
0
answers
63
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+...
- 1,205
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
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
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
47
votes
3
answers
5k
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 ...
- 7,320
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
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
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
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
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
5
votes
2
answers
916
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$?
- 2,535
3
votes
0
answers
226
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\...
- 438
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
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
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,418
2
votes
0
answers
176
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*}
...
- 988
11
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}$-...
- 437
5
votes
0
answers
392
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 ...
user145520
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
1
vote
0
answers
60
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{...
- 137
3
votes
0
answers
288
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 ...
- 5,966
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
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
2
votes
1
answer
275
views
Čech cocycles and monodromy
It is well known that over a topological space $X$ (and choosing an open cover $\mathfrak{U}$) every locally constant Cech cocycle $g$ on $\mathfrak{U}$ with coefficients in a group $G$ yields a $G$-...
- 553
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
4
votes
0
answers
397
views
Contractibility and orientation double cover
Question. Let $M$ be a triangulated non-orientable 3-manifold with non-orientable boundary. (It is possible to assume that the boundary is the Klein bottle.) Let $\ell$ be a non-orientable loop on the ...
- 976
1
vote
2
answers
353
views
Non-self-intersecting paths on $\mathbb{C}\setminus\{0,1\}$ [closed]
Let us make two small holes around points $0$ and $1$ on the complex plane and consider non-self-intersecting paths that start on the boundary of one hole and finish at the boundary of the another. It ...
- 29
1
vote
0
answers
68
views
Glueing local systems over union of compact Riemann surfaces
Let $X,Y$ be two connected, non-singular compact Riemann surfaces such that $X$ intersects $Y$ transversely at two distinct points. Let $L$ be a $\mathbb{C}$-local system on $X$. Let $L'$ be the ...
- 1,593
1
vote
0
answers
175
views
Canonical étale path between a point and its ''nearby'' point
Consider the punctored line $X=\Bbb{A}^1_k\setminus \{s_1,\ldots,s_n\}$ over some field $k$. A(n étale) path in $X$ between two geometric points $x$ and $y$ is, by definition, an isomorphism between ...
- 311
8
votes
1
answer
339
views
The direct product of the geometric fundamental group and the absolute Galois group
Given a geometrically connected variety $X$ over $\mathbb{Q}$ we have a short exact sequence
$$
1\to \pi_1(X_{\overline{\mathbb{Q}}})\to \pi_1(X)\to Gal(\overline{\mathbb{Q}}/\mathbb{Q})\to 1.
$$
A ...
user145520
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
5
votes
2
answers
581
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
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
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
23
votes
5
answers
2k
views
Does anyone know a basepoint-free construction of universal covers?
Let $X$ be a real manifold (for simplicity). The standard construction of the universal cover $\varphi: \widetilde{X} \longrightarrow X$ involves fixing a basepoint $p \in X$ and considering homotopy ...
- 4,164
3
votes
0
answers
228
views
Is there a reasonable notion of universal cover for schemes over arbitrary fields?
Let $X$ be smooth projective variety, such as an elliptic curve. We know that $X$ does not have a universal cover in the category of schemes.
However, if $k = \mathbf{C}$, then $\tilde{X}$ exists as ...
- 4,164
2
votes
0
answers
290
views
How to compute fundamental groups of slice disk complements?
To compute the fundamental group of the complement $S^3 \setminus K$ of a knot, one usually uses the Wirtinger algorithm. Is there a similarly well-established procedure for computing the fundamental ...
- 343
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
2
votes
0
answers
102
views
Realizing an amalgamated product of groups by splitting a closed manifold along a codimension 1 submanifold
In the paper "A splitting theorem for manifolds" by S.E. Cappell,
https://www.maths.ed.ac.uk/~v1ranick/papers/capsplit.pdf
the following "inverse" of the Seifert-van Kampen theorem for closed ...
- 21
0
votes
0
answers
392
views
Galois cover corresponding to finite quotient of the étale fundamental group
Let $X$ be a connected scheme,$\pi_1(X,\bar{x})$ its étale fundamental group for some geometric point $\bar{x} : Spec(K) \rightarrow X$
and $E = \pi_1(X,\bar{x})/N$ a finite quotient of $\pi_1(X,\bar{...
- 181
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
3
votes
0
answers
246
views
First thoughts about fundamental group of a topological (Lie) groupoid
I am reading the paper Chern-Weil map for principal bundles over groupoids.
In page number $13$, authors say
let us recall the definition of fundamental group of a topological groupoid.
But, they ...
- 6,023
5
votes
3
answers
400
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
7
votes
1
answer
490
views
Categorical Significance of Fibrations
It is well known that the category $\text{Set}$ classifies covering spaces among $1$-categories. That is, for each topological space $X$, there is an equivalence of categories $[ \Pi (X) , \text{Set}]...
user30211
1
vote
0
answers
127
views
Fundamental groups of open algebraic varieties [closed]
Let X be an algebraic variety over $\mathbb C$.
1. Is it possible to compute its fundamental group?
2. If X is two dimensional, what is its fundamental group?
3. Let $X\to \bar X$ be the inclusion to ...
- 169
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
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
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
84
views
Concerning the Spanier group relative to an open cover
Let $\mathcal{U} = \{ U_i \; |\; i\in I \}$ be an open covering of $X$. Spanier defined $\pi (\mathcal{U}, x)$ to be the subgroup of $\pi_1 (X, x)$ which contains all homotopy classes having ...
- 1,182