The Stacks project

38.1 Introduction

In this chapter, we discuss some advanced results on flat modules and flat morphisms of schemes and applications. Most of the results on flatness can be found in the paper [GruRay] by Raynaud and Gruson.

Before reading this chapter we advise the reader to take a look at the following results (this list also serves as a pointer to previous results):

  1. General discussion on flat modules in Algebra, Section 10.38.

  2. The relationship between $\text{Tor}$-groups and flatness, see Algebra, Section 10.74.

  3. Criteria for flatness, see Algebra, Section 10.98 (Noetherian case), Algebra, Section 10.100 (Artinian case), Algebra, Section 10.127 (non-Noetherian case), and finally More on Morphisms, Section 37.16.

  4. Generic flatness, see Algebra, Section 10.117 and Morphisms, Section 29.26.

  5. Openness of the flat locus, see Algebra, Section 10.128 and More on Morphisms, Section 37.15.

  6. Flattening, see More on Algebra, Sections 15.16, 15.17, 15.18, 15.19, and 15.20.

  7. Additional results in More on Algebra, Sections 15.21, 15.22, 15.25, and 15.26.

As applications of the material on flatness we discuss the following topics: a non-Noetherian version of Grothendieck's existence theorem, blowing up and flatness, Nagata's theorem on compactifications, the h topology, blow up squares and descent, weak normalization, descent of vector bundles in positive characteristic, and the local structure of perfect complexes in the h topology.


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 057N. Beware of the difference between the letter 'O' and the digit '0'.