Sunday, 14 January 2007

ag.algebraic geometry - Does formally etale imply flat?

Formally étale means that the infinitesimal lifting property is uniquely satisfied. If the map is also locally of finite presentation, then it is called étale. One of many characterizations (see EGA 4.5.17) of étale is flat and unramified. So my question is whether the weaker condition of formally étale still implies flatness?

No comments:

Post a Comment