Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0EZV

Go back to the tag's page.

type time link
changed the proof 2021-05-05 3a0a86e
Local acyclicity of smooth morphisms

In the stacks project we deduce it from the smooth base change theorem
changed the statement 2018-11-06 1a4dc44
Fix statement of two lemmas

These lemmas can perhaps be moved to the obsolete chapter...
changed the proof 2018-10-15 4decab0
Fix some internal references

Future: we may need to clarify the references to items later on.
assigned tag 0EZV 2018-10-15 329b4f9
Tags: Added new tags
created statement with label lemma-check-stalks-better in etale-cohomology.tex 2018-10-07 e241a3c
Split out arguments in proof smooth base change

I decided to leave in the very long proof because it seems that for some
people this may be easier to read than the version with all the
references to the lemmas building up the proof.

Also added: some more cases where the base change maps are isomorphisms
on sheaves.