Questions tagged [fundamental-group]
The fundamental-group tag has no usage guidance.
268 questions
3
votes
1
answer
294
views
Is the fundamental group of an open arithmetic Riemann surface contained in $\Gamma(2)$
Let $X$ be a non-compact Riemann surface with universal covering $\mathbb H$ and suppose that the fundamental group of $X$ is an arithmetic subgroup of $\mathrm{Aut}(\mathbb H) = \mathrm{PSL}_2(\...
- 31
3
votes
0
answers
135
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 ...
- 39
2
votes
1
answer
125
views
Images of boundary surfaces in 3-manifold groups
Let $M$ be a compact connected 3-manifold and let $S$ be a closed connected surface in $\partial M$. Let $G$ be the image of the map $\pi_1(S) \to \pi_1(M)$ induced by inclusion. I was reading the ...
- 5,349
1
vote
1
answer
1k
views
Computing the fundamental group of a flag variety
Let $G$ be a compact and connected and simply connected Lie group and $\mathfrak{g}$ be its Lie algebra and $x\in\mathfrak{g}^*$. How can we compute the fundamental group of $G/G_x$ where $G_x$ is ...
user21574
8
votes
0
answers
373
views
$p$-adic representations of the fundamental group of a smooth proper curve over a finite field
This question is very general. Let $C$ be a smooth and proper curve over a finite field ${\bf F}_p$. Are there any general results or conjectures on continuous non abelian representations
$$
\pi_1(C)\...
- 3,076
1
vote
1
answer
278
views
Trying to relate the fundamental groupoid to vector bundles
Fix a topological space $X$. Now consider a functor from the fundamental groupoid of $X$ to the category $Vect$. In other words, we assign a vector space to each point of $X$, we allow ourselves to ...
- 353
7
votes
1
answer
325
views
Etale fundamental of a parahoric group scheme
Let $p:X\rightarrow Y$ be a double cover of curves, denote by $$SU_n:=(p_*SL_n(\mathcal O_X))^{\tilde{\sigma}}$$
i.e. the $\tilde{\sigma}-$invariant part, the action of $\tilde{\sigma}$ is given by $$\...
- 1,891
20
votes
0
answers
2k
views
Etale fundamental group of a curve in characteristic $p$
Let $C$ be a connected, smooth, proper curve of genus $g$ over an algebraically closed field $k$ of characteristic $p>0$. Let $\pi_1(C)$ be the etale fundamental group of $C$ - I only care about ...
- 2,834
4
votes
1
answer
449
views
Etale Fundamental group of an algebraic group
I want to calculate the algebraic fundamental group of a an algebraic group over a riemann surface over $\mathbb C$ (or a smooth algebraic projective curve). Let me state the first case where $\...
- 1,891
10
votes
1
answer
761
views
fundamental groups of smooth projective variety.
Is there a discrete group G which is the fundamental group of a compact Kahler
manifold but which is not the fundamental group of any smooth projective complex algebraic variety?
It is known that ...
- 3,867
4
votes
1
answer
573
views
A lower-dimensional algebraic topology problem between homology group and fundamental group
Let
\begin{equation}
A\stackrel{\alpha}{\longrightarrow}B\stackrel{\beta}{\longrightarrow}C\quad\quad (1)
\end{equation}
be a short sequence of (abelian or nonabelian) groups and homomorphisms. We say ...
- 1,881
9
votes
1
answer
627
views
Do all varieties have only finitely many etale covers of fixed degree
I've been wondering about the following "finiteness statement" concerning etale covers for a while.
Let $K$ be a field of characteristic zero, not necessarily algebraically closed. A variety over $K$ ...
- 123
4
votes
2
answers
1k
views
About "de-Rham" and "l-adic" local systems - comparison
Hello,
Suppose that $k$ is an algebraically closed field of char. 0.
Let $X$ be a smooth connected variety over $k$.
Then I have the category $A$ of Regular Singular smooth $D$-modules on $X$ (i.e. ...
- 5,562
4
votes
1
answer
264
views
Isomorphism étale fundamental group
Given a birational proper morphism $f\colon X \rightarrow Y$
( Assume $X$ and $Y$ irreducible )
of complex algebraic varieties.
It is always true that $f^* \colon \pi^{et}_1 (X)\rightarrow \pi^{et}_1(...
- 1,595
1
vote
1
answer
438
views
When is the class of functions between sets a set?
I'm reading the paper 'The big fundamental group, big Hawaiian earrings and the big free groups'. The authors state that the class of homotopy equivalences of loops in the space he dubs as the big ...
- 189
7
votes
4
answers
736
views
Simply connected quasi-projective varieties in positive characteristic
I am looking for examples of non-projective (quasi-projective) varieties $X$ defined over a field of positive characteristic, which have trivial étale fundamental group.
It is well known that the ...
- 4,450
6
votes
3
answers
1k
views
$\pi_1$ Sequence of Topological Groups
Consider a connected topological group $G$ (not necessarily Lie). You have some maps $G\times G\to G$, such as projection to either summand, or multiplication $(g,h)\mapsto gh$. Now let's look at a ...
- 17.5k
8
votes
1
answer
573
views
Do elements of the fundamental group give rise to isometries
Let $X$ be a complex algebraic variety, and let $\tilde X\to X$ be its universal cover. Suppose that there exists a Kahler-Einstein metric on $\tilde X$. Note that $\pi_1(X) \subset Aut(\tilde X)$.
...
- 103
7
votes
1
answer
1k
views
Algebraic numbers and the complex projective line minus three points
Deligne's monograph “Le Groupe Fondamental de la Droite Projective Moins Trois Points” begins by remarking that when X is the projective line over the complex numbers, minus three points: "every ...
- 11.2k
5
votes
2
answers
399
views
Conjugation of homogeneous spaces
Let $X$ be a smooth irreducible algebraic variety
over the field of complex numbers ${\mathbb{C}}$.
Let $x\in X({\mathbb{C}})$.
Let $\tau$ be an automorphism of ${\mathbb{C}}$ (not necessarily ...
- 14.2k
1
vote
1
answer
436
views
Find a simple closed curve in $S$ which represents a commutator in $\pi_1 S$
I am interested in the following problem : decide if a certain element of the fundamental group can be represented by a simple closed curve. The general case has already been asked and answered on MO (...
- 2,696
4
votes
1
answer
1k
views
Computing fundamental groups of the complement of plane curves
This paper of Zariski contains this statement: If $C$ is a curve in $\mathbb{CP}^2$, and $L$ is a generic line, then the injection $L\setminus C \hookrightarrow \mathbb{CP}^2\setminus C$ induces an ...
- 5,359
0
votes
1
answer
205
views
Double coset separability and the existence of vanishing sequences for surface group
Definition: Let $G$ be a group. $G$ is said to be double coset separable if given any finitely generated subgroups $H$ and $K$ in $G$, given any $g\in G$ and $h\not\in HgK$, there exists a finite ...
- 1,713
10
votes
1
answer
1k
views
Motives from the fundamental group made nilpotent
I am reading the fascinating paper of Deligne on "le groupe fondamental de la droite projective moins trois points", and other stuffs related to anabelian geometry. This suggested the following ...
- 26.1k
15
votes
2
answers
2k
views
Topological vs pro fundamental groups
Consider the following two structure-adding refinements of the fundamental group of a topological space:
the set $\pi_1(X)$ inherits a quotient topology from the compact-open topology of $X^{S^1}$, ...
- 66.8k
5
votes
0
answers
189
views
Nonabelian Hodge structure for noncompact curves and Hodge structure on the fundamental group
Nonabelian Hodge theory, introduced by C. Simpson and others, may be interpreted as a description of the (real) Hodge structure on the fundamental group (say, of a compact curve) in terms of some ...
- 743
4
votes
1
answer
1k
views
Fundamental Group and Etale Cohomology
I encountered the following statement without a reference many times. For a smooth variety $X$ over a perfect field $k$.
$Hom(H^1_{et}(X, \mathbb{Z}/n), \mathbb{Z}/n) \cong \pi^{ab}_1(X)/n$
Is there ...
- 235
1
vote
1
answer
422
views
Algebraic topology, Dynamical systems [closed]
Let $T^2$ be a 2-torus and $f:T^2\rightarrow T^2$ a smooth map. Let $f_*:\pi_1(T^2)\rightarrow\pi_1(T^2)$ be the induced map on the fundamental group $\pi_1$. If $f_*$ has no eigenvalue greater than 1,...
- 11
2
votes
0
answers
881
views
Question about the specialization map for Etale Fundamental Groups
Let $A$ be a complete, discrete valuation ring, and let $s$ (resp $\eta$) be the special (resp. generic) point of $S=Spec(A)$. Let $\phi:X \rightarrow S$ be a proper morphism and fix geometric base ...
- 133
3
votes
1
answer
600
views
Grothendieck's section conjecture and base change: restricting sections
Let $X$ be a smooth projective geometrically connected curve over $\mathbf{Q}$ of genus at least two. Fix an algebraic closure $\overline{\mathbf{Q}}$ of $\mathbf{Q}$ and let $G_{\mathbf{Q}}$ be the ...
- 125
7
votes
1
answer
1k
views
étale fundamental group of projective space
What is the étale fundamental group of projective space over an algebraically closed field?
In char = 0 it is trivial (Lefschetz principle), as well as in dimension 1 (Riemann-Hurwitz).
- 227
4
votes
1
answer
604
views
A question about the Tannakian etale fundamental group of a curve
Let $X$ be a smooth connected quasi-projective curve over $\mathbf{Q}$. Let $U$ be the pro-unipotent etale fundamental group of $X$ over $\mathbf{Q}_p$.
$U^1 = U$ and let $U^n =[U,U^{n-1}]$.
Let $n\...
- 1,213
13
votes
0
answers
863
views
About maps inducing bijections on homotopy classes
Let us assume that $f:X \to Y$ is a map of connected CW complexes, having the following property: if $K$ is a finite CW complex, then the induced map $f_{\ast}:[K,X] \to [K,Y]$ on \emph{free} homotopy ...
- 20.9k
10
votes
0
answers
430
views
Discretifications of the fundamental group functor
Grothendieck calls a "discretification" of a profinite group $\widehat G$, a
discrete group $G$ whose profinite completion is isomorphic to $\widehat G$.
Does Grothendieck also define a notion of ...
- 468
11
votes
2
answers
1k
views
Finite vector bundles over punctured affine spaces
Let $X$ be a connected scheme. Recall that a vector bundle $V$ on $X$ is called finite if there are two different polynomials $f,g \in \mathbb N[T]$ such that $f(V) = g(V)$ inside the semiring of ...
- 30.6k
2
votes
0
answers
317
views
A homomorphism in the long exact sequence of a fibration for a homogeneous space of a Lie group
Let $G$ be a connected Lie group, and let $H\subset G$ be a (closed) Lie subgroup, not necessarily connected. Set $X=G/H$.
The fibration $j\colon G\to X$ with fiber $H$ induces an exact sequence
$$
\...
- 14.2k
20
votes
0
answers
617
views
On a homological finiteness condition
Assumption: $X$ is a connected CW complex, and $H_{\ast}(X;\mathbb{Z})=\bigoplus_{n \geq 0} H_n (X; \mathbb{Z})$ is finitely generated.
Question: does there exist a finite CW complex $Y$ and a map $f:...
- 20.9k
0
votes
0
answers
147
views
A simple fundamental group of an hypersurface
Is there an example of analytic hypersurface in $C^n$ such that its fundamental group is simple i.e. does not have normal subgroups except the trivial group and the group itself ?
Thank you
EDIT : ...
9
votes
2
answers
2k
views
Functoriality of fundamental group via deck transformations
Problem
I'm trying to understand this with a view towards the etale fundamental group where we can't talk about loops. What I'm missing is how the fundamental group functor should work on morphisms, ...
- 5,929
1
vote
1
answer
307
views
The fundamental group of an $S^1$-quotient
Let $M$ be a compact manifold with an $\mathbb S^1$-action that fixes a point on $M$.
Is it correct that $\pi_1(M/S^1)=\pi_1(M)$?
I believe this is correct and is a corollary of some well-known ...
- 14.3k
8
votes
0
answers
220
views
Does the fundamental group identify group structure on subvarieties of products of curves?
Let $C_1,\dots, C_n$ be smooth curves over $\overline{\mathbb F}_p$, not necessarily proper. Let $X$ be a subvariety of $C_1 \times \dots \times C_n$. I'm interested in the natural map:
$$ \pi_1^{ab}(...
- 149k
4
votes
1
answer
481
views
local fundamental group of elliptic singularities
Is the local fundamental group of an elliptic singularity virtually solvable ? Here (the terminology is sometimes divergent) an elliptic singularity is a (germ of) normal surface $(X,x)$ such that $X$ ...
- 190
2
votes
1
answer
368
views
fundamental group and torus action
Let $T$ be the complex torus acting on a complex connected algebraic variety $X$
and let $p \colon X\rightarrow Y$ be a good quotient for this action.
For any $y\in Y$ we have a sequence $p^{-1}(y) \...
- 1,595
4
votes
0
answers
216
views
How do we see the rank of the braid group?
The only presentation of the braid group that most people ever see is the standard Artin presentation
$$B_n=\langle σ_1,\cdots,σ_{n−1}|\ σ_iσ_j=σ_jσ_i\ \ (|i−j|>1),\ σ_iσ_{i+1}σ_i=σ_{i+1}σ_i σ_{i+...
- 1,723
4
votes
0
answers
517
views
Exact sequence of the fundamental group of the general fiber
Let $f\colon X\rightarrow Y$ be a morphism of complex algebraic varieties.
Let $y\in Y$ be a general point, then we have a sequence of homomorphisms
of fundamental groups induced by the inclusion of ...
- 1,595
1
vote
1
answer
379
views
Finding the 2nd homotopy group $\pi_2(G^\mathbb{C}/P)$
Let $G$ be a compact connected and simply connected Lie group and $G^\mathbb{C}$ be the complexification of Lie group (with is diffeomorphic with $G^\mathbb{C}\cong T^*G$) then I am looking for ...
user21574
4
votes
0
answers
115
views
Classification of manifolds with ${\rm Ric}\geq 0$ wrt fundamental group
Note that $n$-manifolds $M$ with ${\rm Ric}\geq 0$ has a fundamental group of polynomial growth of degree $\leq n$ (proof : use Bishop volume theorem).
(Here a group $\Gamma$ is said to have ...
- 1,100
3
votes
3
answers
352
views
When is a three-manifold deck transformation group solvable?
Suppose that $\pi:Y \to Y'$ is a regular covering of closed, connected, orientable three-manifolds and let $G$ be the deck transformation group. Furthermore, suppose that $Y$ is a rational homology ...
- 215
8
votes
2
answers
982
views
Covers of the projective line over Z and arithmetic Grauert-Remmert
This question is the two-dimensional analogue of Etale coverings of certain open subschemes in Spec O_K
There I asked if one could characterize in a way certain covers of $\textrm{Spec} \ O_K$. As ...
- 9,497
1
vote
1
answer
329
views
$P^1$ minus k points
For $k\geq 3$, and $k$ arbitrary points $S=( z_1,\cdots,z_k ) \in \mathbb{P}^1$, we can write
$$ P^1 \setminus S \cong \mathbb{H}/G $$
where $\mathbb{H}$ is the upper-half plane and $G\subset PSL(2,...
