All Questions

Let $(R,\mathfrak m)$ be a Noetherian local ring. Let $S$ be a Noetherian ring which is a faithfully flat $R$-algebra. If $M,N$ are finitely generated $R$-modules such that $M\otimes_R S \cong N \...

From this answer I learned that Grothendieck proved the following result. Theorem. Every formally smooth morphism between locally noetherian schemes is flat. The book Smoothness, Regularity, and ...

Let $H$ be the Hilbert scheme of closed subschemes of $\mathbb{P}^n$ with a given Hilbert polynomial. I would like to have a reference (preferably from a published paper or book, not stacks project) ...