Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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
5 votes
0 answers
628 views

Étale homotopy type of $\text{Spec}(\mathbb{Z}) \cup \{ \text{place}_\infty \}$

Has anyone formally calculated the étale homotopy type of $\text{Spec}(\mathbb{Z}) \cup \{ \text{place}_{\infty} \}$? According to arithmetic topology, $\text{Spec}(\mathbb{Z}) \cup \{ \text{place}_{\...
user avatar
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 ...
Dedalus's user avatar
  • 1,071
1 vote
0 answers
118 views

Essential Image of the Étale Homotopy type

For any scheme $X$ we can associate the étale homotopy type $Et(X)$, which is a pro-object in the homotopy category of CW-complexes. My question is, do we have a good understanding of the essential ...
curious math guy's user avatar