All Questions
Tagged with etale-covers etale-cohomology
15 questions
1
vote
1
answer
211
views
Characterize descents of geometric finite étale cover by means of homotopy exact sequence
Let $X/k$ be a geometrically connected $k$-variety (=separated of finite type, esp quasi-compact; the base field $k$ assumed to be separable, so $\overline{k}=k^{\text{sep}}$), $\overline{X} := X \...
- 6,038
2
votes
1
answer
94
views
Base change for fundamental group prime to p in mixed characteristic?
I found the answer to this question while typing it up, but since I've already written it, it is probably worthwhile to post-and-answer in case someone finds it useful.
Let $S=\operatorname{Spec}\...
- 371
0
votes
0
answers
196
views
Question regarding étale sheaf under finite étale surjective morphism
Let $X$ and $Y$ be smooth projective varieties over $\mathbb{C}$, and suppose we have a surjective finite étale morphism $f:X\rightarrow Y$ (actually $Y=X/G$ for a free action of a finite group $G$), ...
- 737
2
votes
1
answer
383
views
Some facts about sheafification functor on étale site
I'm studying the book Etale cohomology and the Weil conjecture by Freitag, Kiehl and I have some questions on the subchapter introducing the machinery associating to an étale presheaf
a sheaf (that is ...
- 6,038
1
vote
0
answers
238
views
What is the étale fundamental group of projective spaces over finite fields?
Is there any convenient way to understand the étale fundamental group of projective spaces over finite fields, in particular, the étale fundamental group of $\mathbf{P}^2_{\mathbf{F}_q}$?
- 333
1
vote
0
answers
118
views
Essential Image of the Étale Homotopy type
For any scheme $X$ we can associate the étale homotopy type $Et(X)$, which is a pro-object in the homotopy category of CW-complexes. My question is, do we have a good understanding of the essential ...
- 4,418
7
votes
1
answer
386
views
On a quasi-separated assumption in a lemma for the homotopy exact sequence of the etale fundamental group
Background:
I've seen two versions of the homotopy exact sequence for etale fundamental groups. One from Stacks:
Stacks 0BTX: Let $k$ be a field with algebraic closure $\overline{k}$. Let $X$ be a ...
- 701
1
vote
0
answers
175
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 ...
- 311
6
votes
1
answer
471
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 ...
- 311
0
votes
0
answers
133
views
Operations on étale sheaves
Which of the following operations on étale sheaves $A$ commute with tensor powers? (eg. for instance $i^*(A^{\otimes n})=(i^*(A))^{\otimes n}$?)
$i^*(A)$, $i$ closed immersion.
$i_*(A)$
$i^!(A)$
$i_!(...
user120812
17
votes
2
answers
1k
views
A short proof for simple connectedness of the projective line
The Riemann-Hurwitz formula implies that the projective line $\mathbb{P}^1_K$ over any algebraically closed field $K$ is simply connected (i.e., $\pi_1^{et}(\mathbb{P}^1_K) = 1$; equivalently, if $\...
- 3,362
15
votes
0
answers
517
views
Zariski vs etale torsors over abelian varieties
Question. Let $A$ be an abelian variety (say, over the complex numbers), $G$ an algebraic group, $c$ a class in $H^1_{\rm et}(A, G)$. Denote the multiplication by $N$ map on A by $m_N:A\to A$. Does ...
- 16.1k
5
votes
1
answer
337
views
$\mathbb{A}^1$-invariance of categories of Finite Etale Covers
Let $k$ be algebraically closed with characteristic $0$. For a scheme $X$, let $FEt(X)$ be the category of finite etale covers of $X$. What can be said about $FEt(X \times \mathbb{A}^1)$ and the ...
- 2,327
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,964
2
votes
1
answer
1k
views
Stalks of higher direct image under open embedding
Let $U$ be an open subset of $\mathbb P^1$ without two points (say $t=0$ and $t=\infty$) and $j: U\to \mathbb P^1$ be an open immersion. Ground field $k$ is algeraically closed. Let $G$ be the group ...
- 23