Questions tagged [etale-covers]
The etale-covers tag has no usage guidance.
99 questions
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
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
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
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
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
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
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
4
votes
0
answers
279
views
Is there a Seifert–van Kampen theorem for etale fondemental group?
Is there a Seifert–van Kampen theorem for etale fondemental group? (for example for varieties over a non-algebraically closed field) Any example is welcome.
- 806
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
3
votes
2
answers
336
views
English literature close to "Algébre et Théories Galoisiennes" by Régine and Adrien Douady
I'm currently working on my undergraduate dissertation. I'm working on covering sapces of Riemann surfaces so my supervisor asked me to read the book I mention in the title: "Algébre et Théories ...
- 133
3
votes
0
answers
152
views
exact sequence of fundamental groups associated to "almost" smooth families of curves
Suppose I have a proper, flat family of curves $X \to S$ that has a section. Fix a basepoint $s \in S$ and let $X_s$ denote the corresponding fiber. Let $\mathbb{L}$ be a set of primes which does not ...
- 1,298
5
votes
0
answers
1k
views
Is it true that any étale morphism is quasi-affine?
Let $\phi:X\to Y$ be an étale morphism of Noetherian schemes. Does $\phi$ have to be quasi-affine? In other words, if $Y$ is affine does it mean that $X$ is quasi-affine?
It will follow from the ...
- 2,649
6
votes
1
answer
292
views
Finite étale covers of concentrated schemes and extension of base field
Let $k'/k$ be an extension of algebraically closed fields of characteristic $0$, and $X$ a concentrated (i.e. quasi-compact and quasi-separated) scheme over $k$.
Question: is the pullback functor ...
- 1,000
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
2
votes
0
answers
256
views
Proof of this ‘lemme connu’
In the proof of Corollary 10.12 of Exposé I of SGA 1 something like the following is asserted as a ‘known lemma’:
Let $k$ be an infinite field and $B$ a finite $k$-algebra. If $B$ is not a product ...
- 1,217
5
votes
1
answer
434
views
A weak version of high dimensional Abhyankar's conjecture
I am encountering the following situation which is similar to the Abhyankar's
higher dimensional conjecture on étale fundamental groups, but with much
stronger assumptions:
Let $S$ be a finitely ...
- 53
3
votes
0
answers
526
views
An Explicit Example of Galois Theory for Schemes
I'm currently attempting to understand Galois theory for schemes, largely following the books Galois Theory for Schemes by Henrik Lenstra and Galois Groups and Fundamental Groups by Tamas Szamuely. ...
user106566
11
votes
1
answer
2k
views
Galois theory for products of fields (aka finite etale extensions)
Let $F$ be a field. By a Galois algebra over $F$ I mean a finite etale extension, that is, a product $K = K_1 \times \cdots \times K_r$ of finite (separable) field extensions, of total degree $[K : F]...
- 980
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
10
votes
1
answer
1k
views
Which of these 4 definitions of Galois coverings of integral schemes are equivalent?
Here are four possible definitions for an etale, finite, surjective map $X\rightarrow Y$ between integral schemes to be considered Galois:
There exists a finite group $G$, and an action $\varphi: G\...
- 460
14
votes
1
answer
897
views
Examples of étale covers of arithmetic surfaces
Define an arithmetic scheme $X$ to be a separated, integral scheme, flat and finite type over $\mathbb{Z}$. I am interested in obtaining examples of finite étale covers of arithmetic schemes. I am ...
- 1,338
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
6
votes
0
answers
301
views
Overview and/or reference of theory of pro-universal covers?
This question will contain very little in the way of concrete information, because I don't have much to go on. I've heard whispers of something called a "pro-universal cover," which is the inverse ...
- 693
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
5
votes
1
answer
398
views
Covering of schemes and flatness
Let $f:X \to Y$ be a finite surjective morphism of quasi-projective schemes over $\mathbb{C}$, $X$ is reduced and $Y$ is integral. Suppose that there exists an integer $n$ such that for every closed ...
- 833
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
0
votes
1
answer
528
views
Artin approximation of a diagram
Let consider $f:(X,x)\to (Z,z)$ and $g:(Y,y)\to (Z,z)$ morphisms of pointed $k$-schemes of finite type ($k$ is a field). Suppose that there exists a map on the level of formal neighborhoods $\phi:X_{x}...
- 3,472
7
votes
0
answers
312
views
Etale local isomorphism to the tangent cone
Let $X$ be a scheme and $p\in X$ a closed point. We say that $(X,p)$ is etale locally isomorphic to $(Y,q)$ if there exists an etale neighborhood of $p$ in $X$, and etale neighborhood of $q$ in $Y$, ...
- 2,537
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
1
vote
1
answer
608
views
Descend of etale morphism
I am not sure whether the title is appropriate for this question or not. I am sorry if there is anyone who is confused with the title and the contents.
What I want to ask is the following: let $k$ be ...
- 601
2
votes
1
answer
235
views
Which algebras can be presented as filtered colimits of f.g. regular ones with smooth connecting morphisms?
Let $R$ be a regular (commutative associative unitial) algebra over a prime field $F$ (i.e. $F=F_p$ or $F=\mathbb{Q}$); assume that it is noetherian excellent (and even of Krull dimension $1$). What ...
- 16.9k
0
votes
1
answer
203
views
A question regarding etale descent
We will always work with finite-type, smooth schemes over a field $k$. Let $\pi: Y \to X$ be an etale map of $k$-schemes. Let $Z$ be another $k$-scheme admitting a morphism $f: Y \to Z$. Suppose ...
- 179
14
votes
2
answers
1k
views
Example: Principal G bundle that is not Zariski locally trivial, G not finite and G simply connected
Let $G$ be an affine algebraic group over $\mathbb{C}$. It is well known that when working with principal $G$ bundles it is too restrictive to require bundles to be locally trivial in the Zariski ...
- 3,968
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)\...
- 319
9
votes
2
answers
1k
views
Henselian couples and finite etale morphisms
Let $S$ be a scheme and $S_0 \subset S$ a closed subscheme. Then $(S, S_0)$ is said to be a Henselian couple if for every finite $X \rightarrow S$, setting $X_0 := X\times_S S_0$, the natural map from ...
- 5,019
2
votes
0
answers
385
views
branch locus of the discriminant map $\overline{\mathcal{H}}_{g',r} \to \overline{\mathcal{M}}_{g,n}$
Let $\overline{\mathcal{M}}_{g,n}$ be the moduli space of pointed, stable, genus $g$ curves. Let $\overline{\mathcal{H}}_{g',r}$ be the hurwitz space of cyclic covers of degree $r$ of genus $g$ curves ...
- 3,779
5
votes
1
answer
378
views
Étale covers and birationality of varieties
All varieties are assumed to be projective over $\mathbb{C}$. Let $f_1: Y \to X$ and $f_2: Y' \to X$ be étale morphisms with same finite Galois groups (to be honest, I don't know what does Galois ...
- 3,472
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
9
votes
1
answer
1k
views
étale covers and torsion line bundles
Let $n \geq 2$ be an integer, $X$ a smooth variety over a field $k$ containing $\mu_n$ and $G$ a cyclic group of order $n$ acting on it. Assume that the action is free. Then the morphism $\pi: X \to Y=...
- 91
3
votes
1
answer
2k
views
The étale fundamental group in the non-normal case
It is known, that the étale fundamental group of a normal connected scheme equals the galois group of the maximal unramified extension of its function field.
This is not true for integral schemes in ...
4
votes
2
answers
1k
views
About "de-Rham" and "l-adic" local systems - comparison
Hello,
Suppose that $k$ is an algebraically closed field of char. 0.
Let $X$ be a smooth connected variety over $k$.
Then I have the category $A$ of Regular Singular smooth $D$-modules on $X$ (i.e. ...
- 5,562
3
votes
2
answers
471
views
purity for finite flat group schemes
Let $X$ be a "nice" scheme and $Z \hookrightarrow X$ closed of codimension $\geq 2$. Let $Y$ over $X \setminus Z$ be a torsor for a finite flat group scheme $G/X$.
Does $Y$ spread out to a $G$-torsor ...
user19475
4
votes
0
answers
395
views
Do regular noetherian schemes of dimension one only have finitely many etale covers of bounded degree
Let $X$ be a regular noetherian scheme of dimension one. Let $d$ be an integer.
Question. Are there only finitely many finite etale morphisms $Y\to X$ of degree $d$?
I want to exclude finite etale ...
- 381
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
4
votes
1
answer
625
views
Does a curve over a number field have a finite etale cover of given degree
Let $X$ be a (smooth projective geometrically connected) curve over a number field $K$ of genus $g\geq 2$. Let $d\geq 2$ be an integer.
Does there exist a curve $Y$ over $K$ with a finite etale $K$-...
- 1,213
5
votes
1
answer
1k
views
Picard groups of abelian étale covers
Let $X$ be a scheme (you can assume that $X$ is proper and smooth over an algebraically closed field) and $T$ is a finite subgroup of $\text{Pic } X$ (of order prime to the characteristic). Does there ...
- 16.1k