# Why do we need finiteness conditions for formally étale morphisms?

It follows from a recent answer that even when a ring is formally étale rather than étale, we can check this condition on localizations, and hence stalks. It's not hard to show that we can define a "formally étale" topology on $Aff$. Presumably there's a good reason for requiring finite presentation), but I can't think of a reason why off of the top of my head.

Specifically, we let the covering families be jointly faithfully flat with each morphism formally étale. This is by construction subcanonical.

Questions: Why are finiteness conditions necessary for schemes in general and étale maps in particular.

What kinds of problems will we run into if we do not put finitness conditions on the "formally étale" topology?

If this topology fails in some way, can requiring that covers are finite families of morphisms (quasicompact), or that the morphisms in the cover are themselves flat, or even both? This would give us a topology similar to the fpqc topology, except in that all covering families would be made up of formally étale morphisms. The only difference between this topology and the étale topology is the finite presentation of the morphisms in the covering families. Does this still not work?

-
Would it even be subcanonical? Formally étale does not imply flatness, so at least the usual proof of subcanonicity wouldn't work. –  Daniel Bergh Mar 18 '10 at 8:53
I've clarified what I meant. With this, it is automatically subcanonical. The problem that I foresee is that it may not be comparable to the Zariski topology (even in the weakest case I described). Despite this, I wonder if we can still have some notion of algebraic geometry (this should be possible if formally smooth maps satisfy Toen's axioms for a geometric context, but I'm not sure that is the case. –  Harry Gindi Mar 18 '10 at 11:20
The problem you run into is that you can't do anything interesting. This would be apparent if you focus more effort on understanding the construction of actual non-trivial examples of moduli schemes, algebraic spaces, etc. –  BCnrd Mar 18 '10 at 15:10
Do you have any suggestions about where to actually read about these examples (and exercises relating to these constructions)? I don't even know where to start. –  Harry Gindi Mar 18 '10 at 16:24
Boyarchenko, Dolgachev, Fulton, Lazarsfeld, Mustata, Smith... –  BCnrd Mar 18 '10 at 20:07