2 problems

Let $k$ be a perfect field of characteristic $p>0$, and let $X$ be a smooth $d$-dimensional $k$-scheme. Write $X^{(a)}$ for the points of codimension $a$, $i_{*,x}$ for extension b…

Conjecture. Grothendieck realized that his tame topology was not the right framework for understanding forms in this broad sense, and therefore saw the necessity of producing a new…