All Questions

I have a general question about techniques used in @Emerton's proof, sketched below, in the answer to $\mathbb{P}^n$ is simply connected. Given a finite étale map $\pi: Y \to \mathbb P^n$ (we regard ...

Let $\mathrm{Grass}_{k+1,n+1}:\mathrm{Sch}^{\circ}\rightarrow\mathrm{Set}$ be the Grassmann functor, which maps a scheme $S$ to the set: $$\left\{\mathscr{U}\subseteq\mathscr{O}_S^{n+1}:\,\,\mathscr{...