# Questions tagged [etale-covers]

The etale-covers tag has no usage guidance.

56
questions

**4**

votes

**1**answer

180 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$ (...

**5**

votes

**1**answer

208 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 ...

**1**

vote

**0**answers

102 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 ...

**5**

votes

**1**answer

230 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 ...

**0**

votes

**0**answers

152 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{...

**3**

votes

**0**answers

194 views

### Étale endomorphism of $\operatorname{GL}_n$ surjective over an algebraic closure

I am currently reading chapter 1, exposé XXII of SGA7 and I am stuck at the following argument, left without explanation. It can be formulated like this:
Let $k$ be a separably closed field and $\bar{...

**13**

votes

**0**answers

353 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 ...

**1**

vote

**1**answer

165 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 ...

**1**

vote

**1**answer

119 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 ...

**5**

votes

**2**answers

281 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 ...

**3**

votes

**0**answers

135 views

### Recover an etale fundamental group from local fundamental groups?

Suppose we have a scheme $S$ and an etale covering $\{ U_i \to S \}$. How much information about $\pi_1^{et} (S)$ can we recover from all the $\pi_1^{et} (U_i)$ ?
Are there special conditions we can ...

**4**

votes

**1**answer

528 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^...

**7**

votes

**1**answer

328 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 ...

**8**

votes

**1**answer

523 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

**0**answers

180 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.

**6**

votes

**1**answer

476 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

**2**answers

245 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

**0**answers

85 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

**0**answers

398 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

**1**answer

198 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

**0**answers

114 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

**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 $\...

**2**

votes

**0**answers

242 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

**1**answer

360 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

**0**answers

353 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. ...

**8**

votes

**1**answer

751 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

**0**answers

324 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 ...

**7**

votes

**1**answer

692 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

**1**answer

641 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

**1**answer

248 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

**1**answer

1k 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

**0**answers

173 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

**2**answers

712 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

**1**answer

335 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

**1**answer

509 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

**1**answer

521 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

**0**answers

215 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

**3**answers

488 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

**1**answer

405 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

**1**answer

168 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

**1**answer

158 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

**2**answers

906 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 ...

**4**

votes

**2**answers

1k 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

**2**answers

738 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

**0**answers

314 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

**1**answer

284 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

**1**answer

285 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 ...

**10**

votes

**1**answer

732 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

**1**answer

1k 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

554 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. ...