Questions tagged [fundamental-group]
The fundamental-group tag has no usage guidance.
268 questions
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 ...
- 10.5k
8
votes
1
answer
5k
views
Fundamental group of R^2-Q^2
After learning about the fundamental group, and proving that $\mathbb{R}^n$ minus any countable set is path-connected, I started wondering if the fundamental group of $\mathbb{R}^2-\mathbb{Q}^2$ is ...
- 35.5k
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 ...
CommunityBot
- 1
6
votes
1
answer
393
views
finite quotients of fundamental groups in positive characteristic
For affine smooth curves over $k=\bar{k}$ of char. $p,$ Abhyankar's conjecture (proved by Raynaud and Harbater) tells us exactly which finite groups can be realized as quotients of their fundamental ...
CommunityBot
- 1
6
votes
0
answers
428
views
generating the etale fundamental group by sections?
Let $X$ be a proper smooth scheme over a field $k$ of characteristic zero (well you can naturally weaken the assumption to normal integral scheme over some "nice" base like $\mathbb{Z}$, $\mathbb{F}_q$...
- 1,305
4
votes
2
answers
1k
views
Fundamental groups of closed hyperbolic 3-manifolds are freely indecomposable
I believe the following statement is true, and I've even seen it referenced here. Could someone point me to a proof?
The fundamental group of a closed hyperbolic 3-manifold is not a free product.
CommunityBot
- 1
8
votes
3
answers
1k
views
Reference needed: Isomorphism on pi_1 and homology gives weak equivalence
Let $f : X \to Y$ be a map between a connected space $X$ and a space $Y$. If $\pi(f) : \pi_1(X) \to \pi_1(Y)$ is an isomorphism, and $H_n(f) : H_n(X, G) \to H_n(Y, G)$ is an isomorphism for all $n \ge ...
- 18.9k
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}$, ...
CommunityBot
- 1
5
votes
2
answers
756
views
explicit linear representations of fundamental groups of surfaces
I am looking for an explicit representation of the fundamental group of a closed orientable surface of genus >1. I guess they should be abundant in degree 2. Did anyone see the explicit matrix ...
- 8,803
8
votes
2
answers
981
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 ...
CommunityBot
- 1
12
votes
1
answer
2k
views
What is the wild fundamental group?
In the abstract of
Singularités irrégulières Correspondance et documents
Pierre Deligne, Bernard Malgrange, Jean-Pierre Ramis
Documents mathématiques 5 (2007), xii+188 pages (link)
there is a ...
- 22.6k
28
votes
2
answers
2k
views
Does the etale fundamental group of the projective line minus a finite number of points over a finite field depend on the points?
Clearly the etale fundamental group of $\mathbb{P}^1_{\mathbb{C}} \setminus \{a_1,...,a_r\}$ doesn't depend on the $a_i$'s, because it is the profinite completion of the topological fundamental group. ...
- 4,450
2
votes
2
answers
503
views
Lie Algebras and Simple Connectivity for general algebraic groups
In the representation theory of Lie groups (say, over $\mathbb{R}$ or $\mathbb{C}$), one can show that a Lie algebra homomorphism between the Lie algebras of two algebraic groups $G$ and $H$ always ...
- 3,246
1
vote
0
answers
194
views
Inverting infinitely many points on an algebraic curve
This question is very naive, but that's why I'm asking it.
Say we begin with $\mathbb{A}^1_{\mathbb{C}}$. Let $U$ be the open disc around $0$ of radius $1$. Now invert all the $a$'s not in $U$: $Spec(...
- 6,348
13
votes
4
answers
5k
views
Fundamental group of Lie groups
Let $T$ be a torus $V/\Gamma$, $\gamma$ a loop on $T$ based at the origin. Then it is easy to see that $$2 \gamma = \gamma \ast \gamma \in \pi_1(T).$$
Here $2 \gamma$ is obtained by rescaling $\gamma$...
- 11
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).
- 1,411
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, ...
CommunityBot
- 1
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 ...
CommunityBot
- 1