All Questions
Tagged with fundamental-group ag.algebraic-geometry
11 questions
9
votes
2
answers
2k
views
Reference request on birational invariance of Chow group of zero cycles of degree zero
Let $CH_0(X)^0$ denote the group of zero cycles of degree zero modulo rational equivalence.
I am looking for a reference for the following fact:
If $X$ and $Y$ are smooth and projective varieties ...
- 479
27
votes
1
answer
1k
views
Nonabelian topological fundamental group of a conjugate variety
Let $X$ be a pointed algebraic variety over the field of complex numbers $\mathbb{C}$.
Let $\pi_1^{\rm top}(X)$ and $\pi_1^{\mathrm{\acute{e}t}}(X)$ denote the topological and the étale fundamental ...
- 14.2k
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
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 ...
- 4,450
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 ...
- 35.5k
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 ...
- 314
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 ...
- 2,974
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
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
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
4
votes
1
answer
369
views
Structure of fundamental groups arising from smooth projective morphisms
Let $f:X\to B$ be a smooth projective morphism of complex algebraic varieties.
If $f$ is of relative dimension zero, i.e., $f$ is a finite etale cover, then the image of the topological fundamental ...
- 41