Morphisme localement acyclique

En géométrie algébrique, un morphisme localement acyclique${\displaystyle f:X\to S}$ de schémas est un morphisme pour lequel tout faisceau sur ${\displaystyle S}$ et sa restriction à ${\displaystyle X}$ par ${\displaystyle f}$ ont la même cohomologie étale, localement. Par exemple, un morphisme lisse est universellement localement acyclique.

Références

• J. S. Milne, Étale cohomology, Princeton University Press, coll. « Princeton mathematical series », 1980 (ISBN 978-0-691-08238-7)

• Portail des mathématiques