higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
function algebras on ∞-stacks?
derived smooth geometry
Fix some scheme .
the fppf-site (over ) is the site
whose underlying category is the category of affine schemes over ;
whose coverage has as covering families those families of morphisms that are such that
each is a flat morphism;
each is locally of finite presentation;
we have that .
This appears as (de Jong, def. 27.7.1, def 27.7.6, lemma 27.7.11).
The abbreviation “fppf” is for fidèlement plat de présentation finie : faithfully flat and of finite presentation.
But notice that it is common practice, as in the above definition, to require only local finite presentability.
fpqc-site fppf-site syntomic site étale site Nisnevich site Zariski site
Chaper 27.7 in
Last revised on September 5, 2011 at 09:40:52. See the history of this page for a list of all contributions to it.