show/hide this revision's text 6 deleted 3 characters in body; added 53 characters in body

Recall that a morphism of rings $R\to S$ is called (essentially) smooth if it is formally smooth and (essentially) finitely presented.

(Note: $R\to S$ is essentially finitely presented provided that $S$ is the localization of some finitely
presented $R$-algebra $T$ at some multiplicative system $A \subset T$, that is, $S=A^{-1}T$.)

In class, our professor said that working with smooth or essentially smooth morphisms yields an effectively equivalent theory. This motivates my question: Is there a general technique to lift results from the smooth case to the essentially smooth case?

For instance, if $R$ is reduced

Edit: According to Mel, and $R\to S$ every essentially smooth morphism is a localization of a smooth morphism. However, then $S$ this direction is reduced. It turns out that much more involved than the same fact other direction, which is true for essentially smooth mapsimmediate from the definitions. Is there a good way to "lift" Anyway, this result would be the answer to the more general case?question.

show/hide this revision's text 5 added 6 characters in body; edited tags

Recall that a morphism of rings $R\to S$ is called (essentially) smooth if it is formally smooth and (essentially) finitely presented.

(Note: $R\to S$ is essentially finitely presented provided that $S$ is the localization of some finitely
presented $R$-algebra $T$ at some multiplicative system $A \subset T$, that is, $S=A^{-1}T$.)

In class, our professor said that working with smooth or essentially smooth morphisms yields an effectively equivalent theory. This motivates my question: Is there a general way technique to lift results from the smooth case to the essentially smooth case?

For instance, if $R$ is reduced, and $R\to S$ is smooth, then $S$ is reduced. It turns out that the same fact is true for essentially smooth maps. Is there a good way to "lift" this result to the more general case?
show/hide this revision's text 4 Changed question

Do essentially Lifting results from smooth ring maps factor into a composition of a to essentially smooth map and a localization?maps.

A

Recall that a morphism of rings $R\to S$ is called essentially (essentially) smooth if it is formally smooth and essentially (essentially) finitely presented, where .

(Note: $R\to S$ is essentially finitely presentedmeans provided that $S$ is the localization of some finitely
presented $R$-algebra $T$ at some multiplicative system $A \subset T$, that is, $S=A^{-1}T$.

Can we factor an S=A^{-1}T$.)

In class, our professor said that working with smooth or essentially smooth map into morphisms yields an effectively equivalent theory. This motivates my question: Is there a general way to lift results from the smooth map and a localization?
Certainly case to the converse essentially smooth case?

For instance, if $R$ is truereduced, i.e. the localization of any smooth and $R$-algebra R\to S$ is essentially smooth, since localizations are formally étale (except of course when then $S$ is reduced. It turns out that the multiplicative system contains zero.)

If not, are there any conditions same fact is true for when we canessentially smooth maps. Is there a good way to "lift" this result to the more general case?
show/hide this revision's text 3 Added caveat
show/hide this revision's text 2 added background; edited body
show/hide this revision's text 1