felixwellen / synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
MIT License
50 stars 5 forks source link

Locally-basic open subtypes have cohomology stable push forward #10

Open felixwellen opened 11 months ago

felixwellen commented 11 months ago

A subset $U\subseteq X$ is locally-basic open, if for each point, it is of the form $D(f)$. Then the inclusion $i$ of this subset has affine fibers and therefore induces an isomorphism on cohomology $H^k(U,F)\cong H^k(X,i_*F)$