All Questions

The usual way to define the Henselization $A^h$ of a local ring $(A, \mathfrak{m})$ is by taking the direct limit $\varinjlim (B, \mathfrak q)$ over all étale neighborhoods of $A$ (i.e. pairs $(B,\...

Let $X/k$ be a geometrically connected $k$-variety (=separated of finite type, esp quasi-compact; the base field $k$ assumed to be separable, so $\overline{k}=k^{\text{sep}}$), $\overline{X} := X \...

Let $S = \operatorname{Spec} R$ an affine scheme (in our case latter a complete dvr) and $p$ a prime. Then Barsotti-Tate group or $p$-divisible group $G$ of height $h$ over $S$ is an inductive system ...