If X -> Y -> X is the identity and Y is of finite type, can I say anything about X? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T22:40:22Z http://mathoverflow.net/feeds/question/75403 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/75403/if-x-y-x-is-the-identity-and-y-is-of-finite-type-can-i-say-anything-about If X -> Y -> X is the identity and Y is of finite type, can I say anything about X? Yosemite Sam 2011-09-14T14:19:25Z 2011-09-14T14:37:31Z <p>I've encountered this problem, where I know everything in site (no pun intended) to be locally of finite type over my ground field, but I really need quasi-compactness.</p> <p>Say I have two morphisms $a: X \to Y$ and $b: Y \to X$ such that $ba = id$ and say I know thaht $Y$ is of finite type, can I say anything about $X$?</p> <p>This question comes from a moduli problem. I'm trying to prove that X is of finite type by knowing that Y is of finite type and that any family for X actually comes from a family for Y. So boundedness of families of Y should imply boundedness for families of X.</p> http://mathoverflow.net/questions/75403/if-x-y-x-is-the-identity-and-y-is-of-finite-type-can-i-say-anything-about/75407#75407 Answer by ulrich for If X -> Y -> X is the identity and Y is of finite type, can I say anything about X? ulrich 2011-09-14T14:37:31Z 2011-09-14T14:37:31Z <p>Yes, it follows easily that if $Y$ is of finite type then $X$ is of finite type and one only needs the surjectivity of $b$:</p> <p>Let <code>$\{U_{\alpha}\}_{\alpha \in A}$</code> be an affine open cover of $X$, so $\lbrace b^{-1}(U_{\alpha})\rbrace_{\alpha \in A}$ is an open cover of $Y$. Since $Y$ is of finite type, hence quasi-compact, it follows that this has a finite subcover, say $\lbrace b^{-1}(U_{\beta})\rbrace_{\beta \in B}$, where $B$ is a finite subset of $A$. Since $b$ is surjective, it follows that $\lbrace U_{\beta}\rbrace_{\beta \in B}$ is an open cover of $X$. Thus, $X$ is covered by finitely many affine open sets, so is of finite type.</p>