Skip to main content

All Questions

8 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 ...
Benedikt's user avatar
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 $\...
Antoine Ducros's user avatar
2 votes
0 answers
130 views

Fundamental group of a quotient by a group action

Suppose I have a quotient $X \to S$ by a finite abelian group $G$ action (I have several cases, but in all of them the group $G$ and the action could be written explicitly), where $X,S$ are surfaces (...
Manenky's user avatar
  • 21
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 \...
Ben C's user avatar
  • 3,720
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 ...
TCiur's user avatar
  • 679
1 vote
0 answers
238 views

What is the étale fundamental group of projective spaces over finite fields?

Is there any convenient way to understand the étale fundamental group of projective spaces over finite fields, in particular, the étale fundamental group of $\mathbf{P}^2_{\mathbf{F}_q}$?
hennlu's user avatar
  • 333
1 vote
0 answers
175 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 ...
Pippo's user avatar
  • 311
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{...
Moutand Mohammed's user avatar