\mathcal{Q} =“locally of finite presentation”, \mathcal{R} =“flat and locally of finite presentation”, and \mathcal{P} =“flat”. See More on Morphisms of Spaces, Theorem 76.22.1 and Lemma 76.22.2. Note that here W(\mathcal{P}, f) is always exactly the set of points where the morphism f is flat because we only consider this open when f has \mathcal{Q} (see loc.cit.).
Comments (0)