Questions tagged [etale-covers]
The etale-covers tag has no usage guidance.
7
votes
1answer
274 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 ...
7
votes
1answer
332 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. ...
4
votes
0answers
152 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.
5
votes
1answer
287 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 ...
3
votes
1answer
150 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 ...
3
votes
0answers
64 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 ...
4
votes
0answers
198 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 ...
6
votes
1answer
179 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 ...
0
votes
0answers
100 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_!(...
16
votes
2answers
974 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 $\...
2
votes
0answers
229 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 ...
5
votes
1answer
352 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 ...
2
votes
0answers
251 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. ...
7
votes
1answer
472 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]...
12
votes
0answers
267 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 ...
0
votes
0answers
112 views
weakly etale and uniqueness of maps of coverings
The Question has been resolved.
There is a theorem regarding etale morphisms that says that if $U$ is a connected scheme, $U\rightarrow X$ is etale, $V\rightarrow X$ is etale and separated, then ...
6
votes
1answer
534 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\...
14
votes
1answer
571 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 ...
5
votes
1answer
239 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 ...
9
votes
1answer
906 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 ...
6
votes
0answers
161 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 ...
11
votes
2answers
648 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 ...
5
votes
1answer
322 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 ...
2
votes
1answer
372 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 ...
0
votes
1answer
514 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}...
6
votes
0answers
179 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
votes
3answers
437 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 ...
1
vote
1answer
372 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 ...
2
votes
1answer
166 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 ...
0
votes
1answer
148 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 ...
12
votes
2answers
760 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
votes
2answers
862 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)\...
8
votes
2answers
636 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 ...
2
votes
0answers
275 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 ...
4
votes
1answer
240 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 ...
4
votes
1answer
269 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 ...
8
votes
1answer
617 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=...
3
votes
1answer
984 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
2answers
460 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. ...
3
votes
2answers
373 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 ...
4
votes
0answers
379 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 ...
22
votes
3answers
1k 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 ...
31
votes
1answer
3k 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 ...
3
votes
1answer
489 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$-...
5
votes
1answer
590 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 ...
