Questions tagged [fundamental-group]
The fundamental-group tag has no usage guidance.
268 questions
5
votes
1
answer
353
views
Fundamental groups of open sets in $R^n$ with $n=3,4$
It is well known that every finitely presented group may be realised as fundamental group of some closed $4$-manifold.
What groups can be obtained as fundamental groups of open subsets of $R^4$? I'...
- 96.4k
5
votes
1
answer
905
views
Abelianized fundamental group of a curve over a finite field
Let $X$ be a smooth, projective, and geometrically connected curve over a finite field $\mathbb{F}_q$ and fix a geometric point $\overline{x} : \text{Spec } \overline{\mathbb{F}_q} \to X$. Then there ...
CommunityBot
- 1
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 ...
- 43
8
votes
1
answer
813
views
Inverse galois problem and étale homotopy
Is there any relation between étale homotopy theory (Grothendieck-Galois theory) and the inverse Galois problem?...I mean...in classical homotopy theory, every finite group $G$ realizes as a "Galois ...
- 149k
13
votes
2
answers
4k
views
What are Galois Categories used for?
Galois categories are introduced (for the first time?) in SGA1, but here's an English introduction that's available online: http://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/Lynn.pdf
It ...
- 43
119
votes
6
answers
10k
views
What properties make $[0,1]$ a good candidate for defining fundamental groups?
The title essentially says it all. Consider the category $\mathfrak{Top}_2$ of triples $(J,e_0,e_1)$ where $J$ is a topological space, and $e_i \in J$. There is an obvious generalization of the ...
- 43
8
votes
1
answer
403
views
Is $H_{et}^1(X,F) = H^1(\pi_1^{et}(X), F(\bar{k}))$ true?
Let $X$ be a smooth geometrically connected scheme over a field $k$ of characteristic 0 (but not necessarily algebraically closed, I can take it to be a number field). Let $F$ be a finite algebraic ...
- 639
12
votes
1
answer
798
views
Finite covers of hyperbolic surfaces and the `second systole´
We are interested in the following ´relative´ version of residual finiteness for fundamental groups of surfaces. Similar discussions where given in this question: injectivity radius of hyperbolic ...
CommunityBot
- 1
8
votes
2
answers
615
views
Are profinite groups of cardinality $|\mathbb{R}|$ determined by their finite quotients?
Question: Let $G,H$ be profinite groups of cardinality $|\mathbb{R}|$, with the same finite quotients (here I only consider quotients by normal, open subgroups). Then are $G$ and $H$ isomorphic?
...
- 16.2k
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 ...
- 68.9k
6
votes
1
answer
405
views
Fundamental groups of hyperbolic $4$-manifolds and $\rm CAT(0)$ cube complexes
Suppose $M^4$ is a compact hyperbolic (i.e. curvature $-1$) $4$-manifold and $\Gamma\cong\pi_1(M^4)$.
Is there any expectation whether $\Gamma$ acts properly and co-compactly on a $\rm CAT(0)$ cube ...
- 25.2k
11
votes
1
answer
386
views
Is there a presentation to the kernel of the prime-to-$p$ fundamental short exact sequence of curves over finite fields?
Let $X$ be $\mathbb{P}^1_{\mathbb{F}_q}\smallsetminus \{a_1,...,a_r\}$, where $a_1,...,a_r$ are some $\mathbb{F}_q$-rational points. Let $\bar X :=X_{\bar{\mathbb{F}}_q}$. There is a short exact ...
- 149k
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 ...
6
votes
1
answer
354
views
Fundamental groups of complements of divisors in $\mathbb P^2$
Let $D$ be a divisor in $\mathbb P^2_{\mathbb C}$ and let $X= \mathbb P^2_{\mathbb C} - D$.
Under what condition on $D$ is the fundamental group of $X$ infinite?
- 666
4
votes
1
answer
210
views
Conjugacy-invariance of sections of etale homotopy exact sequence
My questions arise on page xiv of Stix's Rational Points and Arithmetic of Fundamental Groups. Here is an excerpt:
Given a geometrically connected variety $X/k$, a fixed separable closure $\bar{k}/k$,...
- 661
5
votes
1
answer
2k
views
What is the arithmetic fundamental group?
Let $X$ be an irreducible variety defined over $\mathbf{F}_p$. What's the "arithmetic fundamental group" of $X$? How does this relate to the algebraic fundamental group of a scheme? What's a good ...
- 10.7k
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 ...
- 17.6k
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
9
votes
1
answer
2k
views
Under what conditions is the induced map of etale fundamental groups surjective?
Let $f:X \to Y$ be a morphism of schemes. I am interested in sufficient conditions on $f$ which would ensure that the induced map $\pi_1^{et}(X) \to \pi_1^{et}(Y)$ of etale fundamental groups is ...
CommunityBot
- 1
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
375
views
What is kernel $\phi:G\rightarrow \pi_1(X/G,p(x_0))$?
Let $G$ be a discontinuous group (this means that it acts discontinuously with finite stabilizers) of homeomorphisms of a simply connected, locally compact metric space $X$. Let $p:X\rightarrow X/G$ ...
- 12.3k
1
vote
0
answers
61
views
Restriction of irreducible integrable connections
Let $X$ be a complex analytic manifold and let $\mathcal{M}$ be an integrable connection on $X$, i.e. a $\mathcal{D}_X$-module which happens to be coherent as an $\mathcal{O}_X$-module. If $U$ is any ...
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 $$\...
- 149k
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
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 : ...
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 ...
- 28k
5
votes
1
answer
1k
views
What is the algebraic fundamental groups of $SO(n)$ and $Sp(2n)$?
Let $k$ be an algebraically closed field of characteristic zero. and let $$\sigma: SL_n(k)\rightarrow SL_n(k)$$
be an involution.
My questions are:
How could one calculate the fundamental group of $...
- 14.2k
11
votes
2
answers
2k
views
locally constant constructible sheaves and finite etale coverings
Maybe it is well known to experts or maybe it is just a stupid idea, but I will ask any way.
We know that if $X$ is a topological space, then there is an equivalence of categories between the ...
- 10.7k
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 ...
CommunityBot
- 1
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 ...
CommunityBot
- 1
7
votes
1
answer
362
views
Does there exist an algebraic space with large fundamental group but no finite etale covers by schemes
Does there exits a smooth proper algebraic space $X$ over $\mathbb C$ with "large" fundamental group such that no finite etale cover of $X$ is a scheme?
By "large" fundamental group I mean that $X$ ...
- 4,111
14
votes
2
answers
951
views
Relationship between étale and topological $K(\pi,1)$s
I was trying to find a proof, or a counterexample to the claim that if $X/\mathbb{C}$ is connected smooth projective, then $X$ is a $K(\pi^{\mathrm{\acute{e}t}},1)$ if and only if $X^\mathrm{an}$ is a ...
- 35.2k
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 ...
- 10.8k
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 $\...
- 14.2k
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
$$
\...
CommunityBot
- 1
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
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
27
votes
2
answers
3k
views
Teaching the fundamental group via everyday examples
This question is a "prequel" to a similar question about homology. Both questions were inspired by seeing a talk, by Tadashi Tokieda, about the interesting physics that appears in toys.
What ...
CommunityBot
- 1
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
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(\...
- 1,990
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,...
- 96.4k
1
vote
0
answers
176
views
which sections of elliptic curves are conjugate?
Suppose you have a relative elliptic curves $f : E\rightarrow S$ (say $S$ is connected). Then suppose you have two sections $g,g' : S\rightarrow E$, corresponding to two sections $g_*,g'_*$ to the map ...
- 10.7k
3
votes
2
answers
2k
views
homotopy exact sequence for the étale fundamental group
I have been trying to understand the homotopy exact sequence for the étale fundamental group which says
$$ 1 \rightarrow \pi_1 (\bar{X},\bar{x_0})\rightarrow \pi_1 (X,x_0)\rightarrow Gal(k)\...
- 5,504
5
votes
0
answers
199
views
Algebraic fundamental group without regularity at infinity
Suppose $X$ is a smooth (connected) variety over $\mathbb{C}$. Let $\mathscr{C}$ be the category of finite rank vector bundles on $X$ equipped with an integrable connection, and let $\mathscr{C}'$ be ...
- 9,061
2
votes
0
answers
880
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
2
votes
3
answers
651
views
question about the induced homomorphism of etale fundamental groups
Background/Setup
For any connected scheme $S$, let $\text{FEt}_S$ denote the category of finite etale $S$-schemes. Let $f : X\rightarrow Y$ be a morphism of connected schemes, then for any finite ...
- 10.7k
5
votes
1
answer
1k
views
On the fundamental group of closed 3-manifolds
I know that every finitely presented group can be realized as the fundamental group of a compact, connected, smooth manifold of dimension 4 (or higher). In dimension 2 there are strong restriction on ...
- 5,259
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}*\...
- 66.3k
4
votes
2
answers
583
views
a question on rank of fundamental group
Assume $G$ be the fundamental group of a closed orientable hyperbolic 3-manifold. Let
$G_{1} = \langle a_{1},...,a_{k} \rangle$ be a free subgroup of $G$, and let $G_{2}=\langle a_{k+1} \rangle$ be a ...
- 3,181
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(...
- 38k