the proof of "theorem of connectedness" - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T05:48:00Z http://mathoverflow.net/feeds/question/14476 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/14476/the-proof-of-theorem-of-connectedness the proof of "theorem of connectedness" Haoyu Hu 2010-02-07T07:47:00Z 2010-02-08T04:18:38Z <p>This theorem is: let f:X--->Y be a proper morphism of noetherian schemes,and the induced morphism of sheaves f^#:O_Y---->f_*O_X is isomorphic.Then for any point y belongs to Y,f^-1(y) is nonempty and connected. I have seen a proof by use of formal schemes.My question is：Is there any proof without this trick？</p> http://mathoverflow.net/questions/14476/the-proof-of-theorem-of-connectedness/14600#14600 Answer by Emerton for the proof of "theorem of connectedness" Emerton 2010-02-08T04:18:38Z 2010-02-08T04:18:38Z <p>A typical context in which one has the condition $f_{*}\mathcal O_X = \mathcal O_Y$ in that in which $f$ is a birational morphism and $Y$ is normal. In this context, the proof that the fibres are connected is due to Zariski (I believe that it's the original version of his main theorem'') and certainly predates EGA methods. One can find the paper in his collected works. (It's been a long time since I looked at it, but I would guess that his main technical tool is valuation theory; I might check this when I get a chance.)</p> <p>However, it is worth bearing in mind the evolution of Zariski's work on this kind of question: his investiations of this sort of connectedness theorem culminated in his proof of his connectedness theorem, to the effect that a specialization of connected varieties is again connected. His was the first purely algebraic proof of this result, I think. To give the proof, he invented his theory of formally holomorphic functions, which I believe was regarded at the time as being the most difficult part of the algebraic theory of algebraic geometry developed by Weil, Chevalley, and Zariski. This theory served as one of the inspirations for the theory of formal schemes, and is the precursor to Grothendieck's theorem on formal functions (the proof via formal schemes mentioned in the question). </p> <p>If so great a geometer as Zariski was led to introduce these kinds of formal methods to study connectedness problems, it is probably reasonable to regard them as somewhat intrinsic to the problem.</p>