Non-quasi separated morphisms - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T10:02:11Z http://mathoverflow.net/feeds/question/37 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/37/non-quasi-separated-morphisms Non-quasi separated morphisms Matt Satriano 2009-09-29T19:30:19Z 2009-11-06T18:00:45Z <p>What are some examples of morphisms of schemes which are not quasi separated?</p> http://mathoverflow.net/questions/37/non-quasi-separated-morphisms/40#40 Answer by Anton Geraschenko for Non-quasi separated morphisms Anton Geraschenko 2009-09-30T02:52:45Z 2009-11-06T17:39:42Z <p>Suppose $U\hookrightarrow X$ is a non-quasi-compact open immersion. Then you can glue two copies of $X$ together along $U$ (effectively doubling up the complement of $U$) to get a non-quasi-separated scheme $Y$.</p> <p>By the assumption that $U\hookrightarrow X$ is not quasi-compact, there is some open affine $W$ of $X$ such that the intersection of $W$ and $U$ is not quasi-compact. So there are two copies of $W$ sitting inside of $Y$ (one for each copy of $X$). The intersection of these two is exactly $U\cap W$, which is not quasi-compact. So we found two open affines in $Y$ whose intersection is not quasi-compact, which shows that $Y$ is not quasi-separated.</p> <p>Now we just have to find some non-quasi-compact open immersions. The complement of the origin in $\mathbb A^\infty$ is one (so $\mathbb A^\infty$ with a doubled origin is a non-quasi-separated scheme).</p> <p><strong>Edit:</strong> Here's another one that I don't completely understand, but gives a finite-dimensional example (zero-dimensional in fact). Consider $X=Spec(\overline{\mathbb Q}\otimes_{\mathbb Q}\overline{\mathbb Q})$. Topologically, $X=Gal(\overline{\mathbb Q}/\mathbb Q)$, with the profinite topology (perhaps somebody could explain how to see this in a comment). In particular, any point is closed, but the complement $U$ is not quasi-compact, so we get another example of a non-quasi-compact open immersion, so $X$ with a doubled point is non-quasi-separated.</p> http://mathoverflow.net/questions/37/non-quasi-separated-morphisms/4401#4401 Answer by Andrew Critch for Non-quasi separated morphisms Andrew Critch 2009-11-06T16:42:31Z 2009-11-06T18:00:45Z <p>Here is some intuitive propaganda for Anton's answer...</p> <p>We know that a qsep (quasi-separated) scheme (over $\mathbb{Z}$) is precisely one where the intersection U&#8745;V of any two open affines, U=Spec(A) and V=Spec(B), is quasi-compact. Looking at compliments gives a different perspective: that their differences U\V and V\U are cut out by finitely many elements in A,B respectively, meaning that these differences are "easy to see". I'd say this justifies the following credo:</p> <blockquote> <ul> <li>A quasi-separated scheme is one where any two open affines are "easy to distinguish". </li> <li>A non-qsep scheme is one containing some "subtle distinction" between open affines.</li> </ul> </blockquote> <p>The two copies of $\mathbb{A}^\infty$ in Anton's answer differ only by the origin, which is "hard to see" in that it cannot be cut out by finitely many ring elements, and I'd say using infinitely many variables to cut out one point is about the most natural way to achieve this. Thus, I like to characterize non-qsep schemes as containing "(infinitely) subtle distinctions" such as this one. </p> <p>Further tinkering yields a similar way to think about a qsep morphism $f:X\to Y$. I'd say the corresponding credo is that:</p> <blockquote> <ul> <li>A quasi-separated morphism is one which preserves the existence of "subtle distinctions".</li> <li>A non-qsep morphism is one which destroys some "subtle distinctions".</li> </ul> </blockquote> <p>This helps intuitivize theorems like:</p> <p><strong>(1)</strong> " Any map from a qsep scheme is qsep ", because it has no subtle distinction that can be destroyed.</p> <p><strong>(2)</strong> " If $Y$ is qsep, then $f:X\to Y$ is qsep iff $X$ is qsep ", since $f$ destroys subtle distinctions iff $X$ has them.</p> <p><strong>(3)</strong> " If $g\circ f$ is qsep, then $f$ is qsep ", since if $f$ destroyed some subtle distinction, then $g$ could not recover it.</p> <p>Here is a coarse and a fine justification for this credo in each direction...</p> <p><strong>Coarse version:</strong> By 1971 EGA I 6.1.11, for any cover of Y by qsep opens $V_{i}$, $f$ is qsep iff each preimage $f^{-1}(V_i)$ is qsep. Thus, $f$ is non-qsep iff there is some qsep open $V\subseteq Y$ such that $f^{-1}(V)$ is non-qsep, meaning it contains some subtle distinction which is lost after application of by $f$.</p> <p><strong>Fine version:</strong> Suppose $f$ is qsep. By 1971 EGA I 6.1.9, fibre products and compositions of qsep morphisms are qsep, and any universal injection is qsep (for example any immersion). Now suppose </p> <p>$S\hookrightarrow X$ </p> <p>$T\hookrightarrow Y$ </p> <p>are <em>any</em> universal injections such that $f|_S$ factors through $T$, for example if $T$ is the scheme-theoretic image of $S$. Then $T$ qsep $\Rightarrow$ $S$ qsep, hence $S$ non-qsep $\Rightarrow$ $T$ non-qsep, meaning $f$ preserves the existence of subtle distinctions in passing from any such $S$ to $T$.</p>