Is a flat, locally finite type morphism open? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T04:02:42Z http://mathoverflow.net/feeds/question/59200 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/59200/is-a-flat-locally-finite-type-morphism-open Is a flat, locally finite type morphism open? MWid 2011-03-22T16:25:08Z 2011-03-25T21:42:48Z <p>Let $f: X\to Y$ be a morphism between arbitrary schemes. It is proved in EGA IV Prop 2.4.6 that if f is flat and locally of finite presentation, then f is open. If one replaces locally of finite presentation by locally of finite type, I don't think that the statement is still true (unless X and Y are locally noetherian) but I don't know of any counterexample.</p> http://mathoverflow.net/questions/59200/is-a-flat-locally-finite-type-morphism-open/59206#59206 Answer by Laurent Moret-Bailly for Is a flat, locally finite type morphism open? Laurent Moret-Bailly 2011-03-22T17:25:21Z 2011-03-22T20:08:04Z <p>There are absolutely flat rings $A$ (i.e. every $A$-module is flat) with nonisolated (automatically closed) points $x$ in the spectrum. Then take the inclusion $x\to \mathrm{Spec}(A)$. Examples of such rings are ($k$ being any field):</p> <p>• infinite products of fields, e.g. $k^\mathbb{N}$: you get a nontrivial maximal ideal from any nonprincipal ultrafilter on $\mathbb{N}$,</p> <p>• the ring of locally constant $k$-valued functions on any (infinite) totally disconnected compact Hausdorff space $Y$: then it is a classical exercise that the spectrum is $Y$.</p> http://mathoverflow.net/questions/59200/is-a-flat-locally-finite-type-morphism-open/59477#59477 Answer by Matthieu Romagny for Is a flat, locally finite type morphism open? Matthieu Romagny 2011-03-24T20:55:43Z 2011-03-25T21:42:48Z <p>Over a field $k$, another related (and somehow more algebraic) example is the "universal" $k$-algebra $A$ generated by countably many orthogonal idempotents. In other words $A$ is the $k$-algebra obtained as the quotient of the polynomial ring $k[X_1,X_2,...]$ in countably many variables, by the ideal generated by all polynomials $X_i^2-X_i$ and $X_iX_j$ for $i\ne j$. It is easy to see that the maximal ideal $m=(X_1,X_2,...)$ gives a nonisolated closed point of $Spec(A)$. Moreover the local ring $A_m$ is just $k$, so that the closed immersion $i:Spec(A/m)\to Spec(A)$ is flat (the extension of local rings is an isomorphism). Thus it is a flat, finite type, morphism which is not open.</p>