Geometricity implies both stability under pullbacks (obvious) and fpqc descent (by the Nullstellensatz); thus it guarantees you can write down a reasonable moduli functor, i.e. it guarantees you have a good in-families notion.
Dustin Clausen
- 9.3k
- 2
- 51
- 55