# Questions tagged [fundamental-group]

The fundamental-group tag has no usage guidance.

196
questions

**6**

votes

**2**answers

351 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\...

**6**

votes

**1**answer

199 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 ...

**2**

votes

**1**answer

125 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$-...

**7**

votes

**1**answer

232 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 ...

**4**

votes

**0**answers

159 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 ...

**1**

vote

**2**answers

267 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 ...

**1**

vote

**0**answers

55 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**

vote

**0**answers

102 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 ...

**8**

votes

**1**answer

273 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 ...

**18**

votes

**2**answers

525 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 ...

**5**

votes

**2**answers

351 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{...

**10**

votes

**1**answer

156 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 ...

**0**

votes

**1**answer

149 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 ...

**22**

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 ...

**3**

votes

**0**answers

208 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 ...

**2**

votes

**0**answers

76 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 ...

**5**

votes

**1**answer

231 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 ...

**2**

votes

**0**answers

70 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 ...

**0**

votes

**0**answers

152 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{...

**11**

votes

**2**answers

349 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 $...

**3**

votes

**0**answers

198 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 ...

**5**

votes

**3**answers

335 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 $[\...

**7**

votes

**1**answer

424 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}]...

**1**

vote

**0**answers

113 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 ...

**1**

vote

**1**answer

264 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$, ...

**5**

votes

**2**answers

281 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 ...

**6**

votes

**2**answers

514 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 ...

**3**

votes

**0**answers

135 views

### Recover an etale fundamental group from local fundamental groups?

Suppose we have a scheme $S$ and an etale covering $\{ U_i \to S \}$. How much information about $\pi_1^{et} (S)$ can we recover from all the $\pi_1^{et} (U_i)$ ?
Are there special conditions we can ...

**3**

votes

**1**answer

63 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 ...

**3**

votes

**1**answer

145 views

### Approximation of homotopy avoiding a point in $\mathbb{R}^3$

For a proof that $\mathbb{R}^3\setminus \mathbb{Q}^3$ is simply connected using Baire category theorem I need to approximate an homotopy $H : [0,1]\times \mathbb{S}^1 \to \mathbb{R}^3$ from a loop $\...

**4**

votes

**1**answer

163 views

### Geodesic representatives in the orbifold fundamental group

Does every element in the orbifold fundamental group $\pi_1^{orb}(X,x)$ of a closed hyperbolic 2-orbifold $X$ admit a unique geodesic arc representing it?
Does every free homotopy class in $X$ admit ...

**4**

votes

**1**answer

161 views

### Invariant lifts of a closed curve on a surface of genus > 1

I am learning some things about surfaces of genus greater than $1$, and I am trying to answer this question :
Let $S$ be a compact and orientable surface of genus $g \geq 2$, and $c$ a closed curve ...

**8**

votes

**0**answers

263 views

### Relationships among constructions of fundamental group for schemes

There seem to be several constructions of fundamental group for schemes and stacks: by Grothendieck, Deligne, Nori, Noohi, Esnault-Hai, Vakil-Wickelgren, perhaps others as well. I am trying to ...

**5**

votes

**2**answers

374 views

### Galois categories for topological spaces?

Can the theory of Galois categories (as developed in SGA1) be modified to produce the usual fundamental group of a topological space (maybe assumed to be path connected and locally path connected)?
...

**15**

votes

**0**answers

511 views

### What would be the simplest analog of Langlands in algebraic topology?

It is oversimplified, I know, but just as a superficial analogy, one may think of the fact that abelianization of the fundamental group is the first homology group, as some remote relative of class ...

**3**

votes

**1**answer

162 views

### Multivariate Alexander polynomial vs single variable (Conway) Alexander polynomial

I consider the multivariate Alexander polynomial $\Delta(t_1,\ldots,t_n)$ for a $n$-component link (defined using e.g. the Fox derivative).
If we wish to construct a 1-variable polynomial $A(t)$, we ...

**19**

votes

**2**answers

718 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 ...

**3**

votes

**1**answer

393 views

### A projective (or free) $\mathbb{Z}\pi_1$-module

Suppose that $Z$ is a finite wedge of spheres containing circles and there exist maps $f:Y\to Z$ and $g:Z\to Y$ so that $g\circ f\simeq 1_Y$. Assume that there exists a map $h:X\to Y$ which induces ...

**6**

votes

**1**answer

150 views

### Example similar to the Griffiths twin cone but with fundamental group that allows surjection onto $\mathbb Z$

The Griffiths twin cone is an example of a wedge sum of two contractible spaces being non-contractible. Namely, it is the wedge sum $\mathbb G=C\mathbb H\vee_p C\mathbb H$ of two coni over the ...

**8**

votes

**0**answers

180 views

### Fundamental group of moduli space of K3's

According to Rizov (https://arxiv.org/abs/math/0506120), the moduli stack of primitively polarized K3 surfaces of degree 2d $\mathcal{M}_{d}$ is a Deligne-Mumford stack over $\mathbb{Z}$. I'm looking ...

**4**

votes

**0**answers

171 views

### Geometric fundamental group and algebraically closed residue field

my questions relates to the following talk of Tsuji:
https://www.youtube.com/watch?v=2brDj26phP0
At around 10:30 of the video, Tsuji is interrupted by a man stating that his construction does not ...

**6**

votes

**1**answer

198 views

### Finite étale covers of concentrated schemes and extension of base field

Let $k'/k$ be an extension of algebraically closed fields of characteristic $0$, and $X$ a concentrated (i.e. quasi-compact and quasi-separated) scheme over $k$.
Question: is the pullback functor ...

**17**

votes

**2**answers

2k 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 ...

**6**

votes

**0**answers

188 views

### Is the stack of smooth canonically polarized surfaces uniformisable (or a good orbifold)

This is a question about the fundamental group of the moduli of canonically polarized surfaces.
Let $\mathcal{M}$ be the (locally finite type separated Deligne-Mumford) algebraic stack of smooth ...

**8**

votes

**1**answer

871 views

### Galois theory, topos vs fundamental groups

Classical Galois theory states that the etale topos X of a field k is equivalent to the classifying topos of the absolute Galois group of k.
(Marc Hoyois, Higher Galois theory, $\S$3, arXiv:1506....

**6**

votes

**1**answer

327 views

### Fundamental groups of non-orientable closed four-manifolds

The fundamental group of a closed orientable manifold is finitely presented, and every finitely presented group arises as the fundamental group of a closed orientable four-manifold; see this question. ...

**9**

votes

**1**answer

386 views

### Mapping class group and representation of fundamental group of Riemann surfaces

Let $S$ be a Riemann surface with genus $g>0$. Let $M$ be the mapping class group of $S$. $Hom(\pi_1(S),Gl(n, \mathbb{C}))$ is the representation space of fundamental group of $S$
Question: Is ...

**1**

vote

**1**answer

242 views

### What does the group of automorphisms corresponding to $\mathfrak{g}$

I am reading a book titled "Lectures on An Introduction to Grothendieck's Theory of the Fundamental Group" by J.P. Murre. I am in the chapter 4 titled "Fundamental groups". Here he fixes a base ...

**3**

votes

**0**answers

132 views

### How does the fundamental group of $\mathbb G_{m,S}$ depend on the base scheme

Let $S$ be an integral noetherian regular scheme, and let $X =\mathbb{G}_{m,S}$.
How to compute $\pi_1^{et}(X)$?
Note. I am only interested in the part not coming trivially from the finite etale ...

**8**

votes

**1**answer

422 views

### Must an inverse limit of simply connected groups be simply connected?

While the fundamental group $\pi_1$ preserves products, it is not true in general that an inverse limit of simply connected topological spaces is simply connected. I would like to know if similar ...