All Questions
Tagged with ag.algebraic-geometry etale-covers
84 questions
4
votes
0
answers
97
views
Is there a concept of a map of Grothendieck sites having dense image?
Someone recently asked if one can talk about a map being etale dense just like one can talk about it being Zariski dense. My main question is: has anyone discussed such a notion?
On a simple ...
- 15.4k
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
11
votes
1
answer
413
views
Why can we take the colimit over the category of elements?
I'm trying to understand J. P. Murre's Tata notes on Grothendieck's theory of the fundamental group. For a Galois category $\mathcal C$ (which I'm taking to be locally small) with fundamental functor $...
2
votes
1
answer
200
views
Extending étale covers from the regular locus to a resolution of singularities
Let $X$ be a normal proper variety with rational singularities (or terminal if that is necessary) and $X_{\text{reg}} \to X$ the regular locus. Let $\pi : \tilde{X} \to X$ be a resolution of ...
- 3,720
2
votes
1
answer
362
views
Beauville Exercise VII.7 (3)-A proof that $\kappa(X)\geq \kappa(Y)$ for $f\colon X\to Y$ surjective morphism of smooth projective varieties
Here $\kappa(X)$ denotes the Kodaira dimension of a smooth projective variety $X$.
Question 1:
I would like to solve Exercise VII.7 (3) from the Beauville book "Complex Algebraic Surfaces":
...
5
votes
1
answer
261
views
Two curves of genus $g \geq 2$ in characteristic $p >0 $ with isomorphic abelianizations
Let $k$ be an algebraically closed field of characteristic $p>0.$ How can I construct two projective curves $C_1,C_2$ of genus $ g \geq 2$ so that the abelianizations $\pi_1(C_i)^{ab},i=1,2$ are ...
2
votes
0
answers
111
views
Is the connecting map $\pi_2(B) \to \pi_1(F)$ ever nonzero in smooth proper families?
Suppose that $X, B$ are smooth irreducible varieties over $\mathbb{C}$ and $f : X \to B$ is a smooth proper morphism. Then we can consider the homotopy exact sequence:
$$ \pi_2(B) \to \pi_1(F) \to \...
- 3,720
5
votes
1
answer
371
views
How the automorphism group of an elliptic curve acts at the localization of the stack $\mathcal{M}_{1, 1, k}$ at the corresponding point
I am studying the enlightening article "The Picard Group of $\mathcal{M}_{1, 1, S}$", written by Fulton and Olsson, but I have some problems with a proof.
Setting
Let $\mathcal{M}_{1, 1, k}$ ...
- 53
1
vote
0
answers
81
views
Behaviour of cycles modulo algebraic equivalence on an etale covering
I found a neat result in Beauville's paper "VARIÉTÉS DE PRYM ET JACOBIENNES INTERMÉDIAIRES" : if $U \subset \mathbb{P}^n$ is an open and $V \to U$ is a conic bundle whose fibres are all ...
- 679
11
votes
3
answers
1k
views
Are "large enough" finite etale covers arithmetic?
Let $X$ be a variety over a number field $K$. Then it is known that for any topological covering $X' \to X(\mathbb{C})$, the topological space $X'$ can be given the structure of a $\overline{K}$-...
- 437
7
votes
0
answers
330
views
Künneth formula for $\pi_1$-proper morphisms
Context:
Let $X$ and $Y$ be connected qcqs schemes over an algebraically closed field $k$. Denote by $\pi_1(X)$, $\pi_1(Y)$ their étale fundamental groups (base points omitted). Grothendieck proved ...
- 71
3
votes
1
answer
283
views
Is the theta characteristic attached to an etale double cover of a plane quintic arising from a cubic threefold even in characteristic two?
We work over an algebraically closed field $k$ of characteristic $2$. Let $X$ be a cubic threefold realized as a conic bundle via $f: X \to \mathbb{P}^2$ (after blowing up some line). Let $C \to \...
- 679
5
votes
0
answers
316
views
To what extent are geometric methods being used to attack the inverse Galois problem?
My limited knowledge so far is that some groups have been constructed geometrically using the theory of covering spaces, then applying Hilbert irreducibility.
Is there a deeper way in which inverse ...
- 131
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
4
votes
1
answer
190
views
Regarding a 'global' version of Chase-Harrison-Rosenberg exact sequence for rings
If $R$ is a commutative ring with identity with a 'nice' action of a finite group $G$, the subring $R^G\subset R$ gives a Galois extension of rings. In this case, S.U. Chase, D.K. Harrison, A. ...
- 737
2
votes
1
answer
340
views
Equivalence of categories between finite étale covers of connected scheme and finite continuous permutation representations of étale fundamental group
The title and tags say it all: I am looking for a clean statement and proof of the equivalence of categories between finite étale covers of a connected $k$-scheme and finite continuous permutation ...
- 721
1
vote
1
answer
489
views
Is every etale cover a principal bundle?
Let $f: X\rightarrow Y$ be proper etale morphism between varieties over the field of complex numbers. Does there exists a finite group $G$ such that $Y$ is the categorical quotient of $X$ under the ...
- 494
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
3
votes
1
answer
430
views
Vector bundles that are fixed under pull-back by the absolute Frobenius
Are there algebraic projective curves over finite fields other than $\mathbb{P^1}$ that if a vector bundle on it, is stable under Frobenius i.e. $F^*E\cong E$ implies that $E$ is a trivial bundle? If ...
- 5,901
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
10
votes
1
answer
1k
views
Are higher etale homotopy groups topological groups in a natural way?
Since etale fundamental group of a scheme $X$ is the group of natural automorphisms of the fibre functor of the category of finite etale covers of $X$, it comes with structure of a topological group. ...
- 723
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
5
votes
1
answer
740
views
Surjective étale morphisms étale locally split
The actual question is slightly more general than that in the title:
Let $p: U\to Y$ be a surjective étale morphism and $Y\to X$ be a finite morphism of schemes. Is there an étale cover $V\to X$ (...
- 1,906
7
votes
1
answer
695
views
Constructible étale sheaves on X are étale algebraic spaces over X
I saw the following statement in a paper of Bhatt-Mathew:
Let $X$ be a quasicompact quasiseparated scheme. Then there is an equivalence of categories between constructible étale sheaves (of sets) on ...
- 493
4
votes
0
answers
343
views
Building intuition for the étale topology
My Honours supervisors have charged me with building intuition for étale morphisms and the étale topology. Their suggestions were to "compute the étale topology in a few simple cases", such ...
- 721
5
votes
0
answers
628
views
Étale homotopy type of $\text{Spec}(\mathbb{Z}) \cup \{ \text{place}_\infty \}$
Has anyone formally calculated the étale homotopy type of $\text{Spec}(\mathbb{Z}) \cup \{ \text{place}_{\infty} \}$?
According to arithmetic topology, $\text{Spec}(\mathbb{Z}) \cup \{ \text{place}_{\...
user30211
2
votes
0
answers
189
views
Missing Detail in Construction of Étale Fundamental Group
$\DeclareMathOperator\Aut{Aut}$I am currently trying to consolidate my understanding of the étale fundamental group, and there is a small detail in the construction that I do not understand in general....
- 721
4
votes
1
answer
704
views
Do higher etale homotopy groups of spectrum of a field always vanish?
Let $k$ be a field. In what generality is it true that higher etale homotopy groups
of $\mathrm{Spec}\,k$ vanish?
If the absolute Galois group is finite, we have a universal cover $\mathrm{Spec}\,k^...
- 231
5
votes
2
answers
456
views
Finite etale covers of products of curves
Probably this question can be phrased in a much greater generality, but I will just state it in the generality I require. I work over $\mathbb{C}$.
Let $C_1, C_2 \subset \mathbb{P}^1$ be non-empty ...
- 21.4k
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
2
votes
0
answers
332
views
Killing cohomology of structure sheaf by pullback along Frobenius and finite etale covers
On a smooth projective variety $X$ over a finite field, you can pullback any element in $H^1(X,\mathcal{O}_X)$ by a combination of Frobenius and finite etale cover so it gets killed. In order to prove ...
- 5,901
6
votes
0
answers
377
views
Fundamental group of a product in characteristic 0
It is proven in SGA1 that if $k$ is an algebraically closed field, if $X$ is a proper $k$-scheme and if $Y$ is a locally noetherian $k$-scheme (say, $X$ and $Y$ are non-empty and connected) then $\...
- 1,584
1
vote
0
answers
127
views
Rational varieties over finite fields admit an open set isomorphic to an affine space
This paper roughly claims that given a projective variety $X$ over a finite field, there is a finite map $f:X\rightarrow \mathbb{P}^n$ such that if $H$ is a hyperplane in $\mathbb{P}^n$ and $U=\mathbb{...
- 5,901
5
votes
0
answers
349
views
Algebraic spaces as quotients of schemes (Definition from wikipedia)
I think that wikipedia article on Algebraic spaces contains a serious content error in the part on the definition of Algebraic spaces as quotients of schemes and I would like to discuss if it is ...
- 6,038
8
votes
1
answer
1k
views
Why only finite morphisms in etale fundamental group?
Can one define a version of etale fundamental group which takes into account infinite etale covers? What properties of the usual etale fundamental group would fail for it?
P.S.: here one can find ...
- 305
24
votes
3
answers
2k
views
Explicit computations of the étale homotopy type?
Hi,
I'm currently trying to learn about etale homotopy for schemes as introduced by Artin-Mazur. I know that by the Artin-Mazur comparision theorem, it is possible to compute the etale homotopy type ...
- 1,071
33
votes
1
answer
4k
views
An etale version of the van Kampen theorem
Let $V$ be a smooth connected algebraic variety over an algebraically closed field $k$. Let $W_1, W_2$ be closed subvarieties of $V$ of positive codimension whose intersection $W_1 \cap W_2$ has ...
- 114k
3
votes
0
answers
140
views
Weakly contractible cover in étale homotopy theory
It is easy enough to construct the separable closure $k^{sep}$ of a field $k$, which then has $\pi_0(k^{sep}) = 0$ (profinite set of connected components), $\pi_1(k^{sep}) = 0$ (there are no ...
user30211
2
votes
0
answers
174
views
Finite étale morphism from a scheme to an algebraic space
Let $f : X \to Y$ be a finite, surjective étale morphism of algebraic spaces (say, of finite type over some noetherian scheme). Assume that $X$ is a scheme. Does this imply that $Y$ is a scheme? Is $Y$...
- 197
1
vote
0
answers
161
views
Pro-étale locally simply connected schemes
In topology, topological manifolds are locally simply connected. However, in the étale topology of schemes, the analogue statement is not true: If $k$ is a field then finite separable field extensions ...
- 4,418
2
votes
0
answers
325
views
Extending etale morphisms
Let $Y$ be an affine, integral, Gorenstein surface. Let $y \in Y$ be a closed point such that there exists a finite, etale morphism $f: X \to Y\backslash \{y\}$ from an integral variety $X$ to the ...
- 2,323
1
vote
0
answers
274
views
automorphisms of an étale cover of a curve
The base field is algebraically closed and of chatacteristic zero. If $X$ is a smooth projective curve and $Y\to X$ is an étale covering of $X$ of degree $d$, then what can we say about the ...
- 317
1
vote
0
answers
135
views
Projection from closure of locally closed subscheme is Etale
Let $S$ an arbitrary scheme and denote by $\Delta: S \to S \times S$ the diagonal immersion and $p_i: S \times S \to S$ the both projections to first resp second factor. (in following we will wlog ...
- 6,038
15
votes
0
answers
777
views
Fundamental group of formal punctured disc and punctured affine line
On a course that ended some time ago, I was handed the following problem:
Problem: Compute $\pi_1^{ét} (\mathbb{A}^1_{\mathbb C} \setminus \{ 0 \}, \overline x)$.
Hint: Find all finite ...
- 421
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
1
vote
1
answer
256
views
Étale morphism over unirational/uniruled variety
Suppose we have an étale morphism between smooth quasi-projective (complex) varieties $X \rightarrow Y$ and assume that $Y$ is unirational. I am wondering whether we can somehow deduce that $X$ is ...
- 39
7
votes
1
answer
538
views
Is the quotient presheaf $\mathbb{G}_m/\mu_p$ an étale sheaf?
I apologize if the question is bit trivial for mathoverflow, but I asked on stack exchange a while ago and haven't got any answer.
Let $k$ be a field of characteristic $p > 0$. Consider the ...
- 536
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 ...
- 787
0
votes
0
answers
392
views
Galois cover corresponding to finite quotient of the étale fundamental group
Let $X$ be a connected scheme,$\pi_1(X,\bar{x})$ its étale fundamental group for some geometric point $\bar{x} : Spec(K) \rightarrow X$
and $E = \pi_1(X,\bar{x})/N$ a finite quotient of $\pi_1(X,\bar{...
- 181
1
vote
1
answer
203
views
Base change for prime-to-$p$ fundamental group
Let $k$ be an algebraic closure of $\mathbb{F}_p$. Let $X$ be a connected smooth quasi-projective $k$-scheme. If $K$ is an algebraically closed field containing $k$, is the prime-to-$p$ etale ...
user137767