The tag has no usage guidance.

learn more… | top users | synonyms

8
votes
1answer
405 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 ...
5
votes
1answer
264 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\...
10
votes
1answer
320 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
202 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 ...
0
votes
1answer
495 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}...
8
votes
0answers
109 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
506 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 ...
21
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 ...
4
votes
1answer
294 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 ...
1
vote
1answer
105 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 ...
6
votes
0answers
127 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$, ...
4
votes
2answers
626 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)\...
1
vote
3answers
314 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
249 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 ...
8
votes
2answers
428 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
1answer
147 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
135 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 ...
9
votes
1answer
438 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 ...
2
votes
0answers
190 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
197 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
votes
1answer
223 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
435 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=...
2
votes
1answer
479 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 ...
3
votes
2answers
344 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
308 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
232 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 ...
26
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 ...
2
votes
1answer
380 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
399 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 ...