Horrible sets and blowups in Hubbard's Teichmuller theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T02:49:52Z http://mathoverflow.net/feeds/question/112248 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/112248/horrible-sets-and-blowups-in-hubbards-teichmuller-theory Horrible sets and blowups in Hubbard's Teichmuller theory Brian Rushton 2012-11-13T03:30:51Z 2012-12-02T03:22:35Z <p><strong>Edit:</strong> I can rephrase this question this way: When blowing up every point in the $x$-axis in $\mathbb{C}^2$ by means of an inverse limit of finite blowups, how can anything be 'left over'? The horrible set described by Hubbard must consist of points on the axis that are not blown up, but <em>every</em> point on the axis is blown up on the way to the inverse limit, since the index set is a directed set. It's not like the inverse limit only considers finitely many blowups at a time; every point in the inverse limit lives in every blowup. Why is there a horrible set?</p> <hr> <h2>Original Question:</h2> <p>I've had this question for some time. In Hubbard's Teichmuller theory book, on page 9, he describes an ugly complex 2-manifold that is not second countable. He constructs it by taking $\mathbb{C}^2$ and blowing up every point along the axis $\mathbb{C} \times 0$. More specifically, he considers all blowups of finitely many points along this axis, and takes their inverse limit under the natural projection maps from one blowup to another which has a strictly smaller subset of blowup points. He notes that there is a natural map $p$ from the blown-up space to $\mathbb{C}^2$. </p> <p>He denotes $p^{-1}(\mathbb{C} \times 0)$ by $Y$ and claims that $Y$ consists of one copy of projective space for each point of the complex line plus a 'horrible set'. Here's my question:</p> <blockquote> <p>Where does the horrible set come from?</p> </blockquote> <p>Because every point in the inverse limit is given by $a=\mathop{\Pi} \limits_{\alpha \in J} a_\alpha \in \mathop{\Pi} \limits_{\alpha \in J} X_\alpha$ with $p_{\alpha\beta}(a_\alpha)=a_\beta$ whenever $\alpha&lt;\beta$ (here the $X_\alpha$ are all the blowups with partial order given by inclusion of the blow up points and the p maps are the natural projections). So, any point in the inverse limit has a coordinate $a_0$ in the non-blown up space $X_0=\mathbb{C}^2$ (the minimal element in the ordering). There is an $\alpha$ corresponding to the blowup of the point $a_0$, and in $X_\alpha$, we must have that $a_\alpha$ is some element of the copy of projective space created in the blowup. This means that our point is in the 'nice' set, and not in the horrible set. So where does the horrible set come from?</p> <h2>Example as written in Hubbard</h2> <p><strong>A 2-dimensional complex manifold that is not second countable</strong></p> <p>We will describe a connected complex manifold of dimension 2 that is not second countable. This manifold is a close analog of Example 1.3.1 [which was the classic non-second countable surface], but the elementary "cut and past" approach used there doesn't work so well in higher dimensions, so we will instead use a description in terms of blow-ups. (For blow-ups, see Hatshorne, Shafarevich; see page 30 of Thurston's Three-Dimensional Geometry and Topology for an informal introduction. But readers who don't know about blow-ups can skip this example; it has no further applications in this book).</p> <p>In $\mathbb{C}^2$, we will blow up every point of $\mathbb{C}\times${0}. More specifically, for any finite subset $Z\subset \mathbb{C}$, we denote by $$\widetilde{\mathbb{C}_Z^2}$$</p> <p>the blow-up of $\mathbb{C}^2$ at all the points of $Z$, and set $X:=\mathop{\lim}\limits_{\mathop{\leftarrow}\limits_Z} \widetilde{\mathbb{C}_Z^2}$, where the finite subsets are partially ordered by inclusion. (For inverse limits, see Hatcher). There is a natural map $p:\widetilde{\mathbb{C}_Z^2} \rightarrow \mathbb{C}^2$.</p> <p>This space $X$ is not a manifold, the inverse image $Y:=p^{-1}(\mathbb{C}\times${0}) consists of the disjoint union $Y_1$ of uncountable many copies $\mathbb{P}^1_z$ of $\mathbb{P}^1$, one for every $z\in \mathbb{C}$, and <strong>some horrible set</strong> $Y_2=Y-Y_1$. The set $Y_2$ is not closed; it accumulates on exactly one point of each $\mathbb{P}_z^1$, namely, the point corresponding to the horizontal direction through $z$.</p>