{"http:\/\/dx.doi.org\/10.14288\/1.0071224":{"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool":[{"value":"Science, Faculty of","type":"literal","lang":"en"},{"value":"Mathematics, Department of","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider":[{"value":"DSpace","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#degreeCampus":[{"value":"UBCV","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/creator":[{"value":"Dixon, Kael","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/issued":[{"value":"2010-08-25T21:02:32Z","type":"literal","lang":"en"},{"value":"2010","type":"literal","lang":"en"}],"http:\/\/vivoweb.org\/ontology\/core#relatedDegree":[{"value":"Master of Science - MSc","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#degreeGrantor":[{"value":"University of British Columbia","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/description":[{"value":"In this article we study the K\u00e4hler Ricci flow on a class of \u2102\u2119\u00b9 bundles over \u2102\u2119\u207f\u207b\u00b9 known as Hirzebruch manifolds. These are defined by \u2119(H\u2071\u2295\u2102-1), where H is the canonical line bundle, \u2102 is the trivial line bundle, and n,i\u2208\u2115. We follow the work by Song and Weinkove, who study solutions to the K\u00e4hler Ricci flow for a Calabi symmetric K\u00e4hler metrics on Hirzebruch manifolds. They were able to show that, depending on the initial K\u00e4hler class, the Ricci flow would reach a finite time singularity corresponding to the manifold either shrinking to a point, contracting the zero section to a point, or collapsing the fibres. In this paper, we investigate how the fibres collapse in the latter case with the further assumptions that the singularity is formed at a type I rate, and that the length of a generic vector does not decay too quickly in some sense. In this case we show that the fibres converge to round spheres after blowing up around a singular point on a fibre.","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO":[{"value":"https:\/\/circle.library.ubc.ca\/rest\/handle\/2429\/27806?expand=metadata","type":"literal","lang":"en"}],"http:\/\/www.w3.org\/2009\/08\/skos-reference\/skos.html#note":[{"value":"Collapsing Fibres under Ka\u0308hler Ricci Flow on Hirzebruch Manifolds by Kael Dixon B.Math., The University of Waterloo, 2008 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in The Faculty of Graduate Studies (Mathematics) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) August 2010 c\u00a9 Kael Dixon 2010 Abstract In this article we study the Ka\u0308hler Ricci flow on a class of CP1 bundles over CPn\u22121 known as Hirzebruch manifolds. These are defined by Mn,k := P(Hk \u2295CPn\u22121) where H is the canonical line bundle and n, k \u2208 N (we refer to \u00a72 for a detailed description of these). We follow the work in [11], where Song and Weinkove study solutions to the Ka\u0308hler Ricci flow for a Calabi symmetric Ka\u0308hler metrics on Hirzebruch manifolds (see \u00a72 for definitions). They were able to show that, depending on the initial Ka\u0308hler class, the Ricci flow would reach a finite time singularity corresponding to the mani- fold either shrinking to a point, contracting the zero section to a point, or collapsing the fibres. In this paper, we investigate how the fibres collapse in the latter case with the further assumptions that the singularity is formed at a type I rate, and that the length of a generic vector does not decay too quickly in some sense. In this case we show that the fibres converge to round spheres after blowing up around a singular point on a fibre. ii Table of Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . iv 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 Ka\u0308hler Ricci Flow . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Hirzebruch Manifolds . . . . . . . . . . . . . . . . . . . . . . . 3 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Local Coordinates on Mn,k . . . . . . . . . . . . . . . . . . . 4 2.3 Radially Symmetric Metrics . . . . . . . . . . . . . . . . . . 4 2.4 A Closer Look at the Fibres . . . . . . . . . . . . . . . . . . 6 3 Singularity Analysis for Ricci flow . . . . . . . . . . . . . . . 8 3.1 Parabolic Dilations . . . . . . . . . . . . . . . . . . . . . . . 11 4 The Singularity Model . . . . . . . . . . . . . . . . . . . . . . 13 4.1 A Candidate for the Limit Manifold . . . . . . . . . . . . . . 15 4.2 An Isometry Between M\u221e and Cn\u22121 \u00d7 CP1 . . . . . . . . . . 17 5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 5.1 Proof of the Main Theorem . . . . . . . . . . . . . . . . . . . 21 5.2 Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 iii Acknowledgements I gratefully aknowledge the support of the Natural Sciences and Engineering Research Council and the University of British Columbia. I wish to thank my supervisor Dr. Albert Chau for all that he has done to help introduce me to this interesting field of Ricci flow, including many of the ideas in this paper. Thanks to my family for their constant support and encouragement. iv Chapter 1 Introduction The goal of the thisis is to prove the following theorem: Theorem 1. Assume (Mn,k, g(t)) is radially symmetric solution to the Ka\u0308hler Ricci flow (1.1) on the Hirzebruch manifold Mn,k with initial metric as in case 3 described in \u00a72.1. Suppose the solution develops a Type I sin- gularity at time T and that for some p \u2208 Mn,k\\{D0, D\u221e} and vector X \u2208 TpMn,k tangent to the fibre, there exists c > 0 such that \u2016X\u20162g(t) \u2265 c(T \u2212 t). Then for any p \u2208 Mn,k, the singularity model at p is a Riemannian product (Cn\u22121 \u00d7 CP1, \u03b4Cn\u22121 + h(t)) where \u03b4Cn\u22121 is the standard flat metric on Cn\u22121 and (CP1, h(t)) is the standard shrinking sphere soliton. We refer to \u00a71.1, \u00a72 and \u00a73 for the definitions, terms and notations in Theorem 1. 1.1 Ka\u0308hler Ricci Flow The Ricci flow is the following system of PDE\u2019s on the space of metrics of a manifold: \u2202g \u2202t (t) = \u2212Ricg(t) g(0) = g0, (1.1) This equation is only weakly parabolic, yet local existence and uniqueness of smooth solutions given smooth initial metrics was proved by Hamilton in [4]. We say that T > 0 is the singular time of a solution to Ricci flow if [0, T ) is a maximal interval on which a smooth solution to the flow exists. If T <\u221e, we say that the solution forms a finite time singularity. Ka\u0308hler Ricci flow is simply the study of Ricci flow in the case when the initial metric g0 is Ka\u0308hler. In this case, solution g(t) will remain Ka\u0308hler as long as the solution exists (See [7]) and thus induces the corresponding flow of Ka\u0308hler forms: d dt\u03c9(t) = \u2212Ric\u2227\u03c9(t) \u03c9(0) = \u03c90 (1.2) 1 1.1. Ka\u0308hler Ricci Flow where \u03c9 is the Ka\u0308hler form of g and Ric\u2227 is the Ricci form. Since both of these are closed real-valued (1,1)-forms, this system descends to the following flow on H2(M,R) \u2229H1,1(M): d dt [\u03c9(t)] = \u2212[Ric\u2227\u03c9(t)] [\u03c9(0)] = [\u03c90] (1.3) We call the set of all cohomology classes corresponding to Ka\u0308hler metrics the Ka\u0308hler cone: {\u03b1 \u2208 H2(M,R) \u2229H1,1(M) : \u03b1 > 0}, where we write \u03b1 > 0 if there exists a form \u03c4 > 0 such that [\u03c4 ] = \u03b1. Since \u03c9 is Ka\u0308hler, [Ric\u2227\u03c9] = 2pic1(M), where c1(M) is the first Chern class of M which is an invariant of the complex structure, and thus is independent of \u03c9 and in particular of t. In particular the family of classes \u03b1(t) := [\u03c90]\u2212 2pitc1(M) clearly solves the above cohomological equation. Conversely, as described in [11], if \u03b1(t) above lies in the Ka\u0308hler cone for all t \u2208 [0, T ), then (1.2) will in fact have a solution \u03c9(t) defined for t \u2208 [0, T ). It follows that if T is finite, then \u03b1(T ) lies on the boundry of the Ka\u0308hler cone. 2 Chapter 2 Hirzebruch Manifolds 2.1 Introduction Let Mn,k := P(H\u2297k \u2295 CPn\u22121) be an n\u2212dimensional Hirzebruch manifold, where H is the canonical line bundle over CPn\u22121 (see \u00a72.2 for detailed de- scription). It is known that in this case the first Chern class c1(Mn,k) is positive and thus the Ka\u0308hler Ricci flow starting from any Ka\u0308hler metric on Mn,k must develop a singularity in finite time (see [11]). As discussed above, this corresponds to reaching the boundry of the Ka\u0308hler cone. Conveniently, the Ka\u0308hler cone is easy to describe in this case. In fact, it is generated by only two classes: [D\u221e], the fundamental class of the divisor D\u221e corre- sponding to the\u221e section of the bundle, and [pi\u22121\u03c9FS ], the pull back of the Fubini-Study metric on the base. We can write our initial Ka\u0308hler class as \u03b10 = 1 k (b0 \u2212 a0)[D\u221e] + a0[pi\u22121\u03c9FS ], for some 0 < a0 < b0. Suppose now that the we have a solution to the Ka\u0308hler Ricci flow on Mn,k which becomes singular at time T > 0, in other words that \u03b1(t) := [\u03c90]\u22122pitc1(M) reaches the boundry of the Ka\u0308hler cone at time T . Then under the assumption that the initial metric is Calabi symmetric (see \u00a72.3 for definition) it was shown in [11] that the behaviour of the Ricci flow near time T can be classified in terms of which part of the boundry of the Ka\u0308hler cone \u03b1(T ) lies on: 1. Case: a0(n+ k) = b0(n\u2212 k). Then \u03b1(T ) = 0, so the manifold shrinks to a point. This is the situa- tion where it is possible for the solution to be a shrinking Ka\u0308hler Ricci soliton, and in fact, there exists one on Hirzebruch manifolds called the Koiso soliton. This soliton is constructed using the same symme- try assumptions that we are using. See [6] for details. A theorem of Tian and Zhu then tells us that if we normalized the Ka\u0308hler Ricci flow to keep the volume constant, then the solution must converge to the soliton. See [10] for details. 3 2.2. Local Coordinates on Mn,k 2. Case: a0(n+ k) < b0(n\u2212 k). Then \u03b1(T ) lies on the part of the boundry generated by [D\u221e] and un- der the symmetry assumption, the Ricci flow solution exhibits Gromov- Hausdorff convergence to the orbifold Mn,k\/D0, with the divisor D0 contracted to a point. 3. Case: a0(n+ k) > b0(n\u2212 k). This is the case that we will concern ourselves with, namely the case when \u03b1(T ) lies on the part of the boundry generated by [pi\u22121\u03c9FS ]. In this case the volume is proportional to (T \u2212 t) and under the sym- metry assumption the Ricci flow solution exhibits Gromov-Hausdorff convergence to the base manifold with metric aT\u03c9FS where \u03c9FS is the Fubini-Study metric on the base and \u03b1(T ) = aT [pi \u22121\u03c9FS ]. 2.2 Local Coordinates on Mn,k We now describe the manifolds Mn,k through local coordinates. Let {xi}ni=1 be homogeneous coordinates for CPn\u22121. Consider the charts Ui given by xi 6= 0. Mn,k can then be realised as a CP1 bundle over CPn\u22121 via projective fibre coordinates yi on pi \u22121(Ui) where the transition functions are given by yj = ( xj xl )k yi on pi \u22121(Ui \u2229 Uj). Notice that there are two natural sections (divisors) of this bundle: D0 and D\u221e, corresponding to the fibre coordinate yj taking the values 0 and \u221e respectively. Consider the action of Zk on Cn\\0 generated by 1 : Cn\\0\u2192 Cn\\0 : x 7\u2192 e2piik x. We identify (Cn\\0)\/Zk with Mn,k\\(D0 \u222a D\u221e) via the following k-to-one maps on each Vi := {xi 6= 0} \u2282 Cn\\0 \u03c8i : Vi \u2192 pi\u22121(Ui)\\(U0 \u222a U\u221e) \u223c= Ui \u00d7 CP1\\{0,\u221e} : x 7\u2192 ([x], xki ). Note that these maps commute with the transition maps, allowing us to extend this local identification to the whole space Cn\\0. Also note that the divisors are obtained by taking the limit as xi goes to 0 or \u221e respectively. 2.3 Radially Symmetric Metrics In this section we describe a class of rotationally metrics on the Hirzebruch manifolds Mn,k. These were first investigated by Calabi in [1] from where 4 2.3. Radially Symmetric Metrics we derive most of the calculations in this section. We will begin by defining a class of radially symmetric metrics on Cn\\0. Then by assuming certain asymptotic conditions for these metrics (at 0 and \u221e) we will then show that these push forward to a smooth metric on Mn,k via the coordinate descriptions of the last section. Consider the function on Cn\\0 given by \u03c1 := log \u2016~x\u20162. We will consider Ka\u0308hler metrics on Cn\\0 with potentials u(\u03c1), which are functions of \u03c1 only, and hence are radially symmetric. In order for u to be a potential for a Ka\u0308hler metric, we need u\u2032\u2032 > 0, where the derivatives are taken with respect to \u03c1. Now consider the Ka\u0308hler metric \u03c9 = i\u2202\u2202\u0304u = i\u2202(u\u2032\u2202\u0304\u03c1) = iu\u2032\u2032\u2202\u03c1 \u2227 \u2202\u0304\u03c1+ iu\u2032\u2202\u2202\u0304\u03c1. Claim 1. The radially symmetric metric \u03c9 descends to a metric on (Cn\\0)\/Zk. Proof. It suffices to show that the function \u03c1 is invariant under the action. In other words 1\u2217\u03c1 = \u03c1. 1\u2217\u03c1(~x) = \u03c1 \u25e6 1(~x) = \u03c1(e 2pii k ~x) = log \u2016e2piik ~x\u20162 = log \u2016~x\u20162 = \u03c1(~x) In particular, we can pushforward \u03c9 to Mn,k\\(D0, D\u221e) via the maps {\u03c8i}ni=1 from \u00a72.2. Now we further impose the condition that there exist 0 < a < b <\u221e such that a := lim \u03c1\u2192\u2212\u221eu \u2032, b := lim \u03c1\u2192\u221eu \u2032. These asymptotic conditions basicallly guarantee that the Ka\u0308hler form \u03c9 on Mn,k\\(D0\u222aD\u221e) will extend smoothly to all of Mn,k ([1]). Now we will explicitely compute \u03c9 in the local trivialization pi\u22121({Uj}), for some fixed j \u2208 {0...n}. First, choose holomorphic coordinates {zi := xixj }i 6=j for Uj and y for the fibre. Claim 2. The function \u03c1 pushes forward to a function \u03c1 on Mn,k\\(D0\u222aD\u221e) which can be written in coordinates as \u03c1 = 1k log yy\u0304 + 2pivFS, where vFS is the potential for the Fubini-Study metric on the base CPn\u22121 5 2.4. A Closer Look at the Fibres Proof. Our identification is through the maps \u03c8i : Vi \u2192 pi\u22121(Ui)\\(U0\u222aU\u221e), so we compute: (\u03c8j)\u2217\u03c1 = (\u03c8j)\u2217 log \u2016~x\u20162 = (\u03c8j)\u2217 log n\u2211 i=0 xix\u0304i = (\u03c8j)\u2217 log ( xj x\u0304j n\u2211 i=0 xix\u0304i xj x\u0304j ) = (\u03c8j)\u2217 ( 1 k log(xj x\u0304j) k + log n\u2211 i=0 xix\u0304i xj x\u0304j ) = 1k log yy\u0304 + log \uf8eb\uf8ed1 +\u2211 i 6=j ziz\u0304i \uf8f6\uf8f8 = 1k log yy\u0304 + 2pivFS . For ease of notation, we will consider \u03c1 as a function on each trivializatoin Uj via the identification above, writing \u03c1 instead of (\u03c6j)\u2217\u03c1. Note that \u2202\u2202\u0304 log yy\u0304 = \u2202 yyy\u0304dy\u0304 = \u2202 1 y\u0304dy\u0304 = 0, so that i\u2202\u2202\u0304\u03c1 = i\u2202\u2202\u0304vV S = pi \u22121\u03c9FS is the pull-back of the Fubini-Study metric on the base. Since the Ka\u0308hler form of the radially symmetric metric is iu\u2032\u2032\u2202\u03c1\u2227\u2202\u0304\u03c1+iu\u2032\u2202\u2202\u0304\u03c1, this shows that the second term is degenerate along the fibre. Song and Weinkove showed that case 3 of Ricci flow on Mn,k basically corresponds to having u\u2032 converging to a constant under the flow. From the above observation, this intuitively corresponds to: as u\u2032 moves towards being a constant, making u\u2032\u2032 go to zero, the metric becomes proportional to the Fubini-Study metric on the base and degenerate on the fibre (see Theorem 2). 2.4 A Closer Look at the Fibres Claim 3. Restricting \u03c9 to the fibres produces pairwise isometric Rieman- nian manifolds. Proof. It suffices to prove the claim on every local trivialization, since we can then compose isometries to map any fibre onto any other one. Choose a local trivialization pi\u22121(Uj) for some j \u2208 {1, . . . , n}. Using the holomorphic coordinates {zi}i 6=j on Uj , it suffices to show that the fibre at z is isometric to the fibre at 0 with respect to the the induced metric for each z \u2208 Uj . 6 2.4. A Closer Look at the Fibres Using the previous claim and the fact that the vFS term does not contribute to the fibre direction, we get that the induced metric on the fibre at z is \u03c9|pi\u22121(z) = iu\u2032\u2032|pi\u22121(z)\u2202\u03c1|pi\u22121(z) \u2227 \u2202\u0304\u03c1|pi\u22121(z) + iu\u2032|pi\u22121(z)\u2202\u2202\u0304\u03c1|pi\u22121(z) = iu\u2032\u2032|pi\u22121(z)\u2202( 1k log yy\u0304) \u2227 \u2202\u0304( 1k log yy\u0304) + iu\u2032|pi\u22121(z)\u2202\u2202\u0304( 1k log yy\u0304) = iu\u2032\u2032|pi\u22121(z) k2yy\u0304 dy \u2227 dy\u0304. Note that the only dependence on z is from u\u2032\u2032 being a function of \u03c1, and hence of both y and z. We will define our isometry by fz : pi \u22121(0)\u2192 pi\u22121(z) : y 7\u2192 (1 + \u2016z\u20162)k2 y. Then (fz)\u2217\u03c1|pi\u22121(0) = (fz)\u2217 1 k log yy\u0304 = 1k log yy\u0304 ( 1 + \u2016z\u20162)k = 1k log yy\u0304 + log ( 1 + \u2016z\u20162) = \u03c1|pi\u22121(z). Hence (fz)\u2217u\u2032\u2032|pi\u22121(0) = u\u2032\u2032|pi\u22121(z). This gives (fz)\u2217\u03c9|pi\u22121(0) = (fz)\u2217 iu\u2032\u2032|pi\u22121(0) k2yy\u0304 dy \u2227 dy\u0304 = ( 1 + \u2016z\u20162)k (1 + \u2016z\u20162)k iu\u2032\u2032|pi\u22121(z) k2yy\u0304 dy \u2227 dy\u0304 = iu\u2032\u2032|pi\u22121(z) k2yy\u0304 dy \u2227 dy\u0304 = \u03c9|pi\u22121(z), so that fz is an isometry. The above claim allows us to concentrate on the fibre pi\u22121(0) without losing any generality. By definition, pi\u22121(0) \u223c= CP1 \u223c= C\u222a\u221e. Our coordinate y will act as a coordinate for C here. On pi\u22121(0), we have \u03c1 = 1k log yy\u0304. 7 Chapter 3 Singularity Analysis for Ricci flow In this section we set up the necessary background to study singularities for the Ricci flow in our setting: case 3 from \u00a72.1. In [11], Song and Weinkove show that under the condition a0(n+ k) > b0(n\u2212 k) (case 3), the Ricci flow with an initial metric satisfying the Calabi symmetry condition will form a singularity at time T := b0\u2212a02k . They showed that this corresponds to studying a corresponding family u(\u03c1, t) of evolving potentials as above such that \u2202\u2202\u0304u(\u03c1, t) is the corresponding family of evolving metrics. In particular, the the assymptotics \u201ca(t) and b(t)\u201d of u(\u03c1, t) from the previous section will also vary in time such that Theorem 2. [Song-Weinkove [11]] In case 3 for the Ricci flow of a Calabi symmetric metric on Mn,k, if T is the singular time then (b(t) \u2212 a(t)) = 2k(T \u2212 t). In particular, the Ricci flow solution exhibits Gromov-Hausdorff convergence to the base manifold with metric aTpi \u22121\u03c9FS where \u03c9FS is the Fubini-Study metric on the base. We now discuss singularities for the Ricci flow in more detail. We will define and discuss type I singularities of the flow. In particular, we will show that the assumption on the existence of a singular point p on Mn,k in Theorem 1.1 is natural under the assumption of type I singularity. As for the additional assumption we make on the rate of metric decay at p, we observe that this is natural in the sense as shown in \u00a74.2 Lemma 4, the volume of the fiber with respect to g(t) is precisely a(T \u2212 t) for some constant a. To reduce clutter in the following sections, I will often write f . g for functions f and g to mean that there exists a positive constant C such that f \u2264 Cg on the common domain of f and g. This constant will often only be dependent on the initial metric, but occasionally it may depend on the point of evaluation (but not the time), in which case it will be mentioned that it is a pointwise estimate. 8 Chapter 3. Singularity Analysis for Ricci flow For Ricci flow to form a singularity at time T , one must necessarily have sup M \u2016Rmg(t)\u2016g(t) & 1 T \u2212 t . This motivates the following definitions: Definition 1. A sequence (pi, ti)i\u2208N \u2282 M \u00d7 [0, T ) is an essential blow-up sequence if ti \u2197 T and \u2016Rmg(ti)\u2016g(ti)(pi) & 1 T \u2212 ti Definition 2. A point p \u2208M is a singular point if there exists an essential blow up sequence (pi, ti)i\u2208N with p = limi\u2192\u221e pi.1 Finite time singularities are classified according to the speed at which sup M \u2016Rmg(t)\u2016g(t) diverges to \u221e. We say that a solution for the Ricci flow equation is a Type I solution if sup M \u2016Rmg(t)\u2016g(t) . 1 T \u2212 t . We say that a finite time singular solution is a Type IIa solution if it is not of type I. It is conjectured that Type IIa singularities will only form under highly symmetric initial conditions. From now on we assume that (Mn,k, g(t)) is a solution to Ka\u0308hler Ricci flow as in Theorem 1.1. Lemma 1. Let p \u2208M . If there exists c > 0 and t0 \u2208 [0, T ) such that \u2016Rmg(t)\u2016g(t)(p) \u2264 cT\u2212t ,\u2200t \u2208 (t0, T ), then \u2016Xp\u2016g(t) & (T \u2212 t)c for all X \u2208 TpM . Proof. Let \u03b1 > 0 be a constant to be chosen later. Then for t \u2208 (t0, T ), we have d dt log \u2016\u03b1X\u20162g = \u2212 Ricg(\u03b1X,\u03b1X) \u2016\u03b1X\u20162g \u2265 \u2212\u2016Ricg\u2016g \u2265 \u2212\u2016Rmg\u2016g \u2265 \u2212 c T \u2212 t . 1This is not the most general definition of singular point, but for type I solutions they are equivalent. See [3] for details. 9 Chapter 3. Singularity Analysis for Ricci flow Integrating from t0 to t gives log \u2016\u03b1X\u20162g(s)|s=ts=t0 \u2265 c log(T \u2212 s)|s=ts=t0 . Choosing \u03b1 so that log \u2016\u03b1X\u20162g(t0) = c log(T \u2212 t0) gives log \u2016\u03b1X\u20162g(t) \u2265 c log(T \u2212 t). Finally, exponentiating gives (T \u2212 t)c \u2264 \u2016\u03b1X\u20162g(t) . \u2016X\u20162g(t). Proposition 1. For any p \u2208 Mn,k\\{D0 \u222a D\u221e}, there exists a sequence (ti)i\u2208N with ti \u2197 T such that (p, ti)i\u2208N is an essential blow-up sequence, and thus p is a singular point. Proof. Assume that there does not exist such an essential blow-up sequence. Then for any c > 0, the set{ t \u2208 [0, T ) : \u2016Rmg(t)\u2016g(t)(p) \u2265 c T \u2212 t } is bounded. Thus there exists a t0 \u2208 [0, T ) such that \u2016Rmg(t)\u2016g(t)(p) < c T \u2212 t , \u2200t \u2208 (t0, T ). Without loss of generality, by the symmetry of the metric, we can consider p to be in pi\u22121(Un). Then, as before, we have local holomorphic coordinates {y, zi}n\u22121i=1 . Moreover, the symmetry allows us to assume that the z coor- dinate of p is 0. It is clear by looking at the metric in these coordinates that \u2016 \u2202\u2202y\u20162g(t)(p) = u\u2032\u2032(t) k2yy\u0304 (p). From Lemma 4.3 in [11], we u\u2032\u2032(t) . (T \u2212 t), so that \u2016 \u2202\u2202y\u20162g(t) . (T \u2212 t). Combining this with the preceeding lemma gives (T \u2212 t)c < \u2016 \u2202\u2202y\u20162g(t) . T \u2212 t. In other words, (T \u2212 t)c\u22121 is bounded, which is impossible for c < 1. This contradicts c being chosen arbitrarily. 10 3.1. Parabolic Dilations Note that it is not surprising that the singularity is always found in our case by using an essential blow-up sequence with each term using the same point. In fact, in [3], Enders, Mu\u0308ller and Topping show that every singularity for a type I Ricci flow solution on a complete manifold occurs in this way. For the rest of the discussion, we will fix a fibre and the singular point p such that without loss of generality, in local coordinates we have y(p) = 0 and z(p) = 0. In particular, \u03c1(p) = 0. 3.1 Parabolic Dilations Let (pi, ti)i\u2208N be an essential blow-up sequence along the Ricci flow. We will now describe the parabolic scalings of the flow along such a sequence. We will use this in the next section to define the singularity model for the flow along a blow up sequence. For each i, we define Ki = \u2016Rmg\u2016g(pi, ti) and a time dependent metric gi : [\u2212Kiti,Ki(T \u2212 ti))\u2192 Sym2TM\u2217 : t 7\u2192 Kig(ti + t K i ) . Note that each gi is a solution to the Ricci flow equation, since d dt gi(t) = d dt Kig(ti + tK \u22121 i ) = \u2212Ricg(ti+tK\u22121i ) = \u2212RicK\u22121i gi(t) = \u2212Ricgi(t). Definition 3. The sequence of Ricci flow solutions (gi)i\u2208N are the parabolic dilations associated to the essential blow-up sequence (pi, ti)i\u2208N. We will analyze the parabolic dilations through their behaviour at t = 0. Note that gi(0) = Kig(ti). Thus \u2016Rmgi(0)\u2016gi(0) = \u2016RmKig(ti)\u2016Kig(ti) = K\u22121i \u2016Rmg(ti)\u2016g(ti) = K\u22121i Ki = 1. Let p \u2208Mn,k\\{D0 \u222aD\u221e}. From proposition 1, there exists an essential blow-up sequence (p, ti)i\u2208N. Proposition 2. The distance between fibres with respect to gi(0) diverges to infinity as i\u2192\u221e. 11 3.1. Parabolic Dilations Proof. Recall that Mn,k, g(t) converges in the Gromov-Hausdorff sense to the base CPn\u22121 with the metric aT gFS under the Ricci flow as t approaches T . Thus, the distance between points in two different fibres converges to the distance between the corresponding points on the base with respect to aT gFS . With respect to the parabolic dilations gi(0) = Kig(ti), this allows us to approximate the distance between fibres by the distance between the corresponding base points with respect to KiaT gFS , which diverges since Ki does. 12 Chapter 4 The Singularity Model Let (Mn,k, g(t), p) be the solution to Ricci flow as in Theorem 1 where p is the singular point. We now consider the corresponding parabolic di- lations (Mn,k, gi, p)i\u2208N of our flow as a sequence of pointed solutions to the Ricci flow. We will see that this sequence converges in some sense to some (M\u221e, g\u221e, p\u221e), which is the singularity model corresponding to (Mn,k, gi, p)i\u2208N. In this section, we will review some basic definitions and results about singularity models, and describe the one corresponding to (Mn,k, gi, p)i\u2208N as described above. Definition 4. A sequence (M, gi, pi)i\u2208N of pointed Riemannian manifolds converges in the Cheeger-Gromov sense to (M\u221e, g\u221e, p\u221e) if for each i \u2208 N there exists neighbourhoods Ui and Vi of p\u221e and pi respectively and a diffeomorphism \u03c6i : Ui \u223c= Vi satisfying the following three conditions: \u2022 \u03c6i(p\u221e) = pi. \u2022 (\u03c6\u2217i gi)i\u2208N converges uniformly to g\u221e in every Cm norm on any compact subset of M\u221e \u00d7 (\u03b1, \u03c9). \u2022 Every compact subset of M\u221e must be contained in each of {Ui}i\u2265N for some N \u2208 N. Definition 5. Let \u03ba > 0. A Riemannian manifold (M, g) is \u03ba-noncollapsed at all scales if for any x \u2208 M and r > 0 satsifying supBr(x) \u2016Rm\u2016 \u2264 1r2 , we have Vol(Br(x)) \u2265 \u03barn. Theorem 3. [Hamilton-Perelman] Let (M, g(t)) be a smooth solution to the Ricci flow on a closed manifold M encountering a singularty at a finite time T . Let (pi, ti)i\u2208N be an essential blow-up sequence such that sup (x,t)\u2208M\u00d7[0,ti) \u2016Rmg(t)\u2016g(t)(x) . Ki. Then there exists a subsequence of the sequence of parabolic dilations (M, gi, pi) converging in the sense of Cheeger-Gromov to a complete ancient solution to the Ricci flow (M\u221e, g\u221e, p\u221e). Futhermore, there exists a \u03ba > 0 such that g\u221e is \u03ba-noncollapsed at all scales. 13 Chapter 4. The Singularity Model This result follows from Hamilton\u2019s completeness theorem [5] and Perel- man\u2019s no local collapsing [8]. Corollary 1. For our singular point p \u2208 Mn,k, the corresponding sequence of parabolic dilations (Mn,k, gi, p) converges in the sense of Cheeger-Gromov to a complete ancient solution to the Ricci flow (M\u221e, g\u221e, p\u221e). Futhermore, there exists a \u03ba > 0 such that g\u221e is \u03ba-noncollapsed at all scales. Proof. Since p is a singular point, Ki & 1T\u2212ti . Since we are assuming that our solution is a type I solution, we have sup Mn,k \u2016Rmg(t)\u2016g(t) . 1T\u2212ti . Putting this together, we have sup (x,t)\u2208Mn,k\u00d7[0,ti) \u2016Rmg(t)\u2016g(t)(x) . 1 T \u2212 ti . Ki, so that we can apply the above theorem to get the desired result. Lemma 2. e\u2212|\u03c1| . u \u2032\u2032(\u03c1, t) u\u2032\u2032(0, t) . e|\u03c1|. Proof. We will again use Lemma 4.3 from [11], which this time provides us with the estimate |u\u2032\u2032\u2032| . u\u2032\u2032. This gives\u2223\u2223\u2223\u2223log u\u2032\u2032(\u03c1)u\u2032\u2032(0) \u2223\u2223\u2223\u2223 = \u2223\u2223\u2223\u2223\u222b \u03c1 0 (log u\u2032\u2032(s))\u2032ds \u2223\u2223\u2223\u2223 = \u2223\u2223\u2223\u2223\u222b \u03c1 0 u\u2032\u2032\u2032(s) u\u2032\u2032(s) ds \u2223\u2223\u2223\u2223 . |\u03c1| . Exponentiating then gives the desired result. Proposition 3. For each \u03c1 \u2208 R, we have the pointwise estimate (T \u2212 t) . u\u2032\u2032(\u03c1, t) . (T \u2212 t). Proof. By our assumption, there exists an X \u2208 TMn,k with \u03c10 = \u03c1\u25e6pi(X) \u2208 R and \u2016X\u20162g(t) & (T \u2212 t). By symmetry, we can assume that pi(X) is in the same fibre as p, where we have local coordinates {y, z} with z = 0 on the fibre. Then we can write the metric as g(t) = u\u2032\u2032(\u03c1, t) dyky dy\u0304 ky\u0304 for \u03c1 = log(yy\u0304) \u2208 R. Thus \u2016X\u20162g(t) \u221d u\u2032\u2032(\u03c10, t). It follows from our assump- tion that u\u2032\u2032(\u03c10, t) & (T \u2212 t). Combining this with the preceeding lemma gives the pointwise estimate u\u2032\u2032(\u03c1, t) & (T \u2212 t) for \u03c1 \u2208 R. This combines with the uniform estimate u\u2032\u2032(\u03c1, t) . (T \u2212 t) from Lemma 4.3 of [11] to give the desired result. 14 4.1. A Candidate for the Limit Manifold 4.1 A Candidate for the Limit Manifold In this section, we will consider Cn\u22121 \u00d7 CP1 as a candidate for the limit manifold M\u221e. We will begin by defining a sequence of holomorphic maps \u03c8i : Cn\u22121 \u00d7 CP1 \u2192 Mn,k with respect to which we will study the pullback metrics ((\u03c8i) \u2217gi(0)). The main goal of this section will be to show that the limit of the pullback metrics factors as product metric. Later we will show this sequence converges to a limit in some sense away from (\u00b7, 0), (\u00b7,\u221e). We will later use this fact to show that in fact Cn\u22121 \u00d7 CP1 = M\u221e. Let {wj , y}n\u22121j=1 be holomorhic coordinates for Cn\u22121 \u00d7 CP1, where we abuse notation by allowing y to take the value\u221e, thus parametrizing CP1 = C unionsq {\u221e}. Recall that Un = {[x1, . . . , xn] : xn 6= 0} 3 pi\u22121[0, . . . , 0, 1] Recall that pi\u22121(Un) has holomorphic fibred coordinates {zj , y}n\u22121j=1 , again allowing y to take the value \u221e in order to parametrize each fibre CP1. We will identify Cn\u22121 \u00d7 CP1 and pi\u22121(Un) for each i via the biholomorhisms: \u03c8i : Cn\u22121 \u00d7 CP1 \u2192 pi\u22121(Un) : (w, y) 7\u2192 ( \u221a Kiw, y), In particular, recall that we chose our singular point p = (0, 1) in the fiber coordinates on pi\u22121(Un), and thus we have \u03c8\u22121i (p) = (0, 1) in (w, y) coordi- nates on Cn\u22121 \u00d7 CP1 for all i. We thus have a sequence ((\u03c8i) \u2217gi(t))i\u2208N of solutions to the Ricci flow on Cn\u22121 \u00d7 CP1. The goal in this section will be to calculate the components of (\u03c8i) \u2217gi(0) with respect to the (w, y) coordinates. Recall that the Kaher form corresponding to gi(0) is simply \u03c9i(0) = Ki\u03c9(ti) = iKiu \u2032\u2032(ti)\u2202\u03c1 \u2227 \u2202\u0304\u03c1+ iKiu\u2032(ti)\u2202\u2202\u0304\u03c1. We will expand the two terms above separately. For the u\u2032(ti)\u2202\u2202\u0304\u03c1 term above we have: (\u03c8i) \u2217Kiu\u2032(ti)\u2202\u2202\u0304\u03c1 = Ki(\u03c8i)\u2217u\u2032(ti)\u2202\u2202\u0304 ( 1 k log yy\u0304 + log(1 + \u2016z\u20162) ) = Ki(\u03c8i) \u2217u\u2032(ti) ( dz \u2227 dz\u0304 1 + \u2016z\u20162 + (z\u0304 \u00b7 dz) \u2227 (z \u00b7 dz\u0304) (1 + \u2016z\u20162)2 ) = Kiu \u2032(ti) ( K\u22121i dw \u2227 dw\u0304 1 +K\u22121i \u2016w\u20162 + K\u22122i (w\u0304 \u00b7 dw) \u2227 (w \u00b7 dw\u0304) (1 +K\u22121i \u2016w\u20162)2 ) , 15 4.1. A Candidate for the Limit Manifold where we simplify notation by using dz \u2227 dz\u0304 := n\u22121\u2211 i=1 dzi \u2227 dz\u0304i z \u00b7 dz := n\u22121\u2211 i=1 zidz i. Thus since limi\u2192\u221eKi =\u221e and limi\u2192\u221e u\u2032(ti) = limt\u2192T u\u2032(t) = aT , we have lim i\u2192\u221e (\u03c8i) \u2217Kiu\u2032(ti)\u2202\u2202\u0304\u03c1 = aTdw \u2227 dw\u0304. (4.1) uniformly on compact subsets of (0, 1) \u2208 Cn\u22121 \u00d7 CP1 in the C0 sense. For the u\u2032\u2032\u2202\u03c1 \u2227 \u2202\u0304\u03c1 term, first we compute: (\u03c8i) \u2217\u2202\u03c1 = (\u03c8i)\u2217 ( dy ky + \u2202 log(1 + \u2016z\u20162) ) = (\u03c8i) \u2217 ( dy ky + z\u0304\u00b7dz 1+\u2016z\u20162 ) = dyky + K\u22121i w\u0304\u00b7dw 1+K\u22121i \u2016w\u20162 , thus giving (\u03c8i) \u2217Kiu\u2032\u2032(ti)\u2202\u03c1 \u2227 \u2202\u0304\u03c1 = Kiu\u2032\u2032(ti) ( dy ky + K\u22121i w\u0304\u00b7dw 1+K\u22121i \u2016w\u20162 ) \u2227 ( dy\u0304 ky\u0304 + K\u22121i w\u00b7dw\u0304 1+Ki\u2016w\u20162 ) = Kiu \u2032\u2032(ti) k2yy\u0304 dy \u2227 dy\u0304 +Kiu\u2032\u2032(ti)o(K\u22121i ), where the asymptotic above is uniform on any neighborhood of (0, 1) uni- formly away from (\u00b7, 0), (\u00b7,\u221e). From proposition 3, we have a pointwise estimate (T \u2212 t) . u\u2032\u2032(\u03c1) . (T \u2212 t). Since our solution is of type I, we also have 1 T\u2212ti . Ki . 1 T\u2212ti . Combining these tells us that u\u2032\u2032Ki is pointwise bounded away from {0,\u221e}. This gives the convergence lim i\u2192\u221e (\u03c8i) \u2217Kiu\u2032\u2032(ti)\u2202\u03c1 \u2227 \u2202\u0304\u03c1 = h (4.2) 16 4.2. An Isometry Between M\u221e and Cn\u22121 \u00d7 CP1 where h is some Ka\u0308hler metric on C\\0 = CP1 \\ {0,\u221e} and the convergence is uniformly on compact subsets of C\\0 in the C0 sense. Combining (4.2) and (4.1) this gives lim i\u2192\u221e (\u03c8i) \u2217\u03c9i(0) = g\u0303 := aT \u03b4Cn\u22121 + h (4.3) where \u03b4Cn\u22121 is the standard Euclidean metric on Cn\u22121 and the convergence is uniformly on compact subsets of (0, 1) in the C0 sense. In particular, we have convergence to a product metric on Cn\u22121 \u00d7 (CP1 \\ {0,\u221e}). 4.2 An Isometry Between M\u221e and Cn\u22121 \u00d7 CP1 In this section we show that Cn\u22121 \u00d7 CP1 = M\u221e. Consider the sequence of maps \u03a8i = \u03c6 \u22121 i \u25e6 \u03c8i We begin by describing the domain of these maps. We will consider Cn\u22121 \u00d7C as a subset of Cn\u22121 \u00d7CP1 using the coordinates (w, y) defined in the previous section. Now it is not hard to show that from the estimates in the previous section, for any compact subset K \u2286 Cn\u22121 \u00d7 C we may have (i) \u03c8i(K) \u2282 Bgi(0)(r, p) \u2282 pi\u22121(Un) for some r > 0 some N > 0 and all i > N . (ii) \u03a8i is defined on K and \u03a8i(K) \u2282 Bg\u221e(2r, p\u221e) \u2282 M\u221e for some r > 0 some N > 0 and all i > N . Theorem 4. There exists a smooth subsequence limit map \u03a8\u221e = limi\u2192\u221e\u03a8i from Cn\u22121 \u00d7 (C\\0) to M\u221e. Moreover, \u03a8\u221e is holomorphic. Proof. Let K be any compact set K \u2286 Cn\u22121 \u00d7 C. Let r be the radius of K with respect to g\u221e(0). Then by (ii) above, the sequence \u03a8i is a uniformly bounded sequence on K with respect to g\u221e on M\u221e, and is therefore likewise uniformly bounded with respect to (\u03c6\u22121)\u2217gi(0) onM\u221e by the locally uniform convergence (\u03c6\u22121)\u2217gi(0) \u2192 g\u221e. Moreover, each \u03a8i is holomorphic into (M\u221e, Ji) where Ji = \u03c6\u2217i J is the pullback of the complex structure J on Mn,k. By derivative estimates for holomorphic functions, it follows that any fixed order derivative of the \u03a8i\u2019s will be uniformly bounded with respect to (\u03c6\u22121)\u2217gi(0) on M\u221e on any compact subdisc contained strictly within K. From this fact and the smooth local convergences (\u03c6\u22121)\u2217gi(0) \u2192 g\u221e and Ji \u2192 J\u221e, we can conclude that any fixed order derivative of the \u03a8i\u2019s 17 4.2. An Isometry Between M\u221e and Cn\u22121 \u00d7 CP1 will be uniformly bounded with respect to g\u221e on M\u221e on any compact subdisc contained strictly within K. From this and a diagonal subsequence argument we see that some subsequence of \u03a8i converges smoothly uniformly on compact subsets of Cn\u22121 \u00d7 (C\\0) to a smooth limit \u03a8\u221e. That \u03a8\u221e is holomorphic then follows from the convergence Ji \u2192 J\u221e. We now want to show that \u03a8\u221e in fact extends to give a bijective holo- morphic map from Cn\u22121\u00d7CP1 to M\u221e. Note that such a map must then be a biholomorphism. We will establish this through several lemma\u2019s. Recall from (4.3) that we had the locally uniform convergence lim i\u2192\u221e (\u03c8i) \u2217\u03c9i(0) = g\u0303 := aT \u03b4Cn\u22121 + h. in the C0 sense on compact subsets of Cn\u22121 \u00d7 (C\\0), and that the later is a product metric on Cn\u22121 \u00d7 (C\\0). Note that we have g\u221e = (\u03a8\u221e)\u2217g\u0303, since (\u03a8\u221e)\u2217(limi\u2192\u221e(\u03c8i)\u2217\u03c9i) = limi\u2192\u221e(\u03a8i)\u2217(\u03c8i)\u2217\u03c9i = limi\u2192\u221e(\u03c6\u22121i ) \u2217\u03c9i = \u03c9\u221e. Lemma 3. \u03a8\u221e is injective. Proof. Let q1 6= q2 \u2208 Cn\u22121 \u00d7 (C\\0). Let r = dg\u0303(q1, q2). Since g\u0303 = limi\u2192\u221e \u03c8\u2217i gi(0), we can choose an N large enough such that d\u03c8\u2217i gi(0)(q1, q2) > r 2 for all i > N . Since (\u03a8i) \u2217\u03c6\u2217i gi = (\u03c8i) \u2217gi, dg\u221e(0)(\u03a6\u221e(q1),\u03a8\u221e(q2)) = limi\u2192\u221e d\u03c6\u2217i gi(0)(\u03a6\u221e(q1),\u03a8\u221e(q2)) = lim i\u2192\u221e d\u03c8\u2217i gi(0)(q1, q2) > r 2 . Since r > 0,\u03a8\u221e(q1) 6= \u03a8\u221e(q2) as required. Showing surjectivity is a little trickier. The proof will come after a series of lemmas: Lemma 4. The fibre (C\\0, h) has finite volume. Proof. We will establish this by showing that the fibres of the parabolic dilations (pi\u22121(p), gi|pi\u22121(p)) have volume uniformly bounded independent of i. As before, we have local holomorphic coordinate y for the fibre (assuming by symmetry that z = 0). Through the relation y = exp(k\u03c12 + i arg y), we 18 4.2. An Isometry Between M\u221e and Cn\u22121 \u00d7 CP1 can reparametrize pi\u22121(p) in terms of \u03c1 and \u03b8 := arg y. The metric is given by g = u \u2032\u2032 k2yy\u0304 dydy\u0304 = u \u2032\u2032 k2 ( k 2d\u03c1+ id\u03b8 ) ( k 2d\u03c1\u2212 id\u03b8 ) = u\u2032\u2032 ( 1 4d\u03c1 2 + 1 k2 d\u03b82 ) . The volume of the fibre with respect to the dilated metric gi(0) = Kig(ti) is then \u222b CP1 Kiu \u2032\u2032(ti) 2k d\u03c1d\u03b8 = Ki 2k \u222b R u\u2032\u2032(ti)d\u03c1 \u222b S1 d\u03b8 = Ki 2k u\u2032(ti)|\u221e\u2212\u221e2pi = piKi k (b\u2212 a)(ti) = 2piKi(T \u2212 ti), where we used that b\u2212a = 2k(T\u2212t). From our assumption that the singular- ity is type I, Ki . 1T\u2212ti . It follows that the volume of (pi \u22121(p), gi(0)|pi\u22121(p)) is bounded independent of i. Thus, the limit fibre (C\\0, h) has finite vol- ume. Lemma 5. There exists an r > 0 such that the infy\u2208C\\0 Vol(Bhr (y)) > 0. Proof. Recall from the proof of corollary 1 that there exists C > 0 such that sup Mn,k \u2016Rmg(ti)\u2016g(ti) \u2264 CKi. It follows that sup Mn,k \u2016Rmgi(0)\u2016gi(0) = sup Mn,k \u2016RmKig(ti)\u2016Kig(ti) = 1 Ki sup Mn,k \u2016Rmg(ti)\u2016g(ti) \u2264 C. Let r = 1\u221a C . From theorem 3, there exists a \u03ba > 0 such that the singularity model is \u03ba-noncollapsed at all scales. Since sup Mn,k \u2016Rmgi(0)\u2016gi(0) \u2264 C = 1r2 , we have that Vol(Br(x)) \u2265 \u03bar2n for all x \u2208 Mn,k. Recall that \u03a6\u221e is an isometric embedding of the singularity model into the product of Rie- mannian manifolds (Cn\u22121, aT \u03b4) \u00d7 (CP1, h). Define modified balls for each x = \u03a6\u22121\u221e (v, y) by B\u2032(x) = \u03a6\u22121\u221e (B aT \u03b4 r (v)\u00d7Bhr (y)). Clearly B\u2032(x) \u2283 Br(x) for each x \u2208 Mn,k. Let c be the volume of the unit ball in Cn\u22121 with respect to aT \u03b4. Then we have Vol(B\u2032(x)) = Vol(BaT \u03b4r (v))Vol(B h r (y)) = cr 2n\u22122Vol(Bhr (y)). 19 4.2. An Isometry Between M\u221e and Cn\u22121 \u00d7 CP1 But we also have Vol(B\u2032(x)) \u2265 Vol(Br(x)) \u2265 \u03bar2n. Combining these gives Vol(Bhr (y)) \u2265 \u03bac r2 for all y \u2208 CP1. Lemma 6. The diameter of (C\\0, h) is bounded. Proof. Let r be chosen from the preceeding lemma. Assume that (C\\0, h) has infinite diameter. F = \u03a8\u221e({0} \u00d7 (C\\0)). Thus F must also have infinite diameter with respect to g\u221e|F = (\u03a8\u221e \u25e6 piC\\0)\u2217h, where piC\\0 is the projection onto the C\\0 part of Cn\u22121 \u00d7 (C\\0) \u2282 Cn\u22121 \u00d7 CP1. Then there exists a sequence (yi)i\u2208N such that the balls {Bhr (yi)}i\u2208N \u2282 F are pairwise disjoint. Applying the previous lemma, we have Vol(F ) \u2265 \u2211 i\u2208N Vol(Bhr (yi)) \u2265 inf y\u2208C\\0 Vol(Bhr (y)) \u2211 i\u2208N 1 =\u221e. Since (C\\0, h) is isometrically mapped onto F , this implies that the vol- ume of (C\\0, h) must be infinite. This contradicts Lemma 4. Thus our assumption must be false as required. Lemma 7. \u03a8\u221e extends to a surjection from Cn\u22121 \u00d7 CP1 to M\u221e. Proof. That \u03a8\u221e extends to a holomorphic map on Cn\u22121\u00d7CP1 follows from the fact that \u03a8\u221e is a bounded holomorphic map by the previous lemma, and derivative estimates for holomorphic functions. We now show surjectivity. Fix any q \u2208 M\u221e and consider distance r of this point to p\u221e. Then for sufficiently large i we have q \u2208 B\u03042r(p\u221e, g\u221e) \u2282 B3r(p\u221e, (\u03c6\u22121)\u2217gi(0)). In particular, this would imply q \u2208 \u03a8i(K) for some compact set K and all i sufficiently large. From this it is not hard to see that we must have q \u2208 \u03a8\u221e(K). The lemmas above imply the following Theorem 5. \u03a8\u221e is a bijective holomorphic map from Cn\u22121 \u00d7CP1 to M\u221e. Thus \u03a8\u221e is a biholomorphism. Moreover, h extends to a metric on CP1, and \u03a8\u221e is isometric with respect to the metrics g\u0303 = aT \u03b4+h on Cn\u22121\u00d7CP1 and g\u221e on M\u221e. 20 Chapter 5 Conclusion 5.1 Proof of the Main Theorem Proof. We have shown that for any p \u2208 Mn,k\\{D0, D\u221e}, under the as- sumptions of the theorem, the Ricci flow forms a singularity at p at the singularity time. Moreover, the corresponding singularity model at time 0 is biholomorhically isometric to the product (Cn\u22121, aT \u03b4)\u00d7 (CP1, h), where \u03b4 is the Euclidean metric on Cn\u22121, and h is some Ka\u0308hler metric on CP1. Since the solution is assumed to be type I, [3] tells us that singularity model must be a shrinking soliton. It follows that (CP 1, h) must be a shrinking soliton. By a theorem of Tian and Zhu (see [9]), Ka\u0308hler Ricci solitons on compact manifolds are unique modulo automophisms, so (CP1, h(t)) must in fact be the standard shrinking sphere soliton. This proves the main theorem. 5.2 Remarks In this section, we discuss the validity of the assumptions that we made. The assumption that the lengths of of vectors tangent to the fibre bundle don\u2019t decay too fast is used to use the coordinates that we have for the fibre as coordinates for the fibre in the limit manifold. Without making this assumption, the metric in these coordinates could become degenerate even after parabolic dilations. But the limit manifold exists, so there certainly are some coordinates where the limit metric is non-degenerate. We could try to adjust the coordinates for each i, as we did in the base direction, but it is not as easy in the case. The metric in the fibre direction is invariant under linear dilations, so the adjustments would have to be non-linear, which makes things tricky. It is difficult to imagine adjustments that would be holomorphic, injective, and non-linear, so we assume that they could only be linear, so that the initial coordinates suffice. Moreover, our assumption is consistent with the actual precise decay of volume of the fiber under the flow being precisely a(T \u2212 t). The other assumption that we made was that the singularity forms at 21 5.2. Remarks a type I rate. As mentioned before, it is conjectured that the alternative, type IIa singularities, only form with very particular initial metrics. There are other things that suggest a type I rate. The volume of the manifold and even each fibre decays at a rate of (T \u2212 t), which is typical of a type I singularity (e.g. shrinking Ricci solitons). Moreover, the metric becomes degenerate only in the fibre direction. Because of the symmetry, the Ricci flow on the whole manifold can induce a modified flow g\u0302(t) on the fibre, which is of the form dg\u0302 dt = \u2212Ricg\u0302 + F (u\u2032, u\u2032\u2032, u\u2032\u2032\u2032). Moreover, the Ric term dominates the F term. From [2], we know that the Ricci flow on the S2 will always converge to the shrinking round sphere, and hence will form a type I singularity. Perhaps this modified flow on S2 is close enough to the Ricci flow to also deduce that the singularity must be type I. It is tempting to generalize this work. In particular, one could hope that if the Ricci flow on a compact fibration coverges in the Gromov-Hausdorff sense to a metric on the base, then for a type I singularity at some p in a fibre F , the corresponding singularity model should factor as a Riemannian product of a shrinking soliton on the fibre and flat space corresponding to the dilated base. The Gromov-Hausdorff convergence would guarantee that the metric only becomes degenerate in the fibre direction. This implies that the parabolic dilations will spread disjoint fibres infinitely far appart, so that the singularity in the base direction becomes flat. One can then use a local trivialization to find coordinates for each ti factoring apart the base and fibre direction so that they are orthogonal along F with respect to the parabolic dilation gi(0). This orthogonality should allow us to deduce that near F , the cross terms of the metric decay faster than the terms in the F direction, so that the limit metric on the singularity model have the fibre and the base orthogonal. This allows us to use the same argument with Perelman\u2019s no-local-collapsing to conclude that the fibre of the singularity model must be compact, and hence contains all of the original fibre. Of course, these are just rough ideas, and the details still need more work. 22 Bibliography [1] Eugenio Calabi. Extremal Ka\u0308hler metrics. In Seminar on Differential Geometry, volume 102 of Ann. of Math. Stud., pages 259\u2013290. Princeton Univ. Press, Princeton, N.J., 1982. [2] Bennett Chow. The Ricci flow on the 2-sphere. J. Differential Geom., 33(2):325\u2013334, 1991. [3] Joerg Enders, Reto Mu\u0308ller, and Peter M. Topping. On type I singular- ities in Ricci flow. arXiv:1005.1624v1. [4] Richard S. Hamilton. Three-manifolds with positive Ricci curvature. J. Differential Geom., 17(2):255\u2013306, 1982. [5] Richard S. Hamilton. A compactness property for solutions of the Ricci flow. Amer. J. Math., 117(3):545\u2013572, 1995. [6] Norihito Koiso. On rotationally symmetric Hamilton\u2019s equation for Ka\u0308hler-Einstein metrics. In Recent topics in differential and analytic geometry, volume 18 of Adv. Stud. Pure Math., pages 327\u2013337. Aca- demic Press, Boston, MA, 1990. [7] Ngaiming Mok. The uniformization theorem for compact Ka\u0308hler man- ifolds of nonnegative holomorphic bisectional curvature. J. Differential Geom., 27(2):179\u2013214, 1988. [8] Grisha Perelman. The entropy formula for the Ricci flow and its geo- metric applications. arXiv:math.DG\/0211159. [9] Gang Tian and Xiaohua Zhu. Uniqueness of Ka\u0308hler-Ricci solitons on compact Ka\u0308hler manifolds. C. R. Acad. Sci. Paris Se\u0301r. I Math., 329(11):991\u2013995, 1999. [10] Gang Tian and Xiaohua Zhu. Convergence of Ka\u0308hler-Ricci flow. J. Amer. Math. Soc., 20(3):675\u2013699 (electronic), 2007. [11] Ben Weinkove and Jian Song. The Ka\u0308hler-Ricci flow on hirzebruch surfaces. arxiv:0903.1900v1. 23","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/hasType":[{"value":"Thesis\/Dissertation","type":"literal","lang":"en"}],"http:\/\/vivoweb.org\/ontology\/core#dateIssued":[{"value":"2010-11","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/isShownAt":[{"value":"10.14288\/1.0071224","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/language":[{"value":"eng","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#degreeDiscipline":[{"value":"Mathematics","type":"literal","lang":"en"}],"http:\/\/www.europeana.eu\/schemas\/edm\/provider":[{"value":"Vancouver : University of British Columbia Library","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/publisher":[{"value":"University of British Columbia","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/rights":[{"value":"CC0 1.0 Universal","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#rightsURI":[{"value":"http:\/\/creativecommons.org\/publicdomain\/zero\/1.0\/","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#scholarLevel":[{"value":"Graduate","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/title":[{"value":"Collapsing fibres under K\u00e4hler Ricci flow on Hirzebruch manifolds","type":"literal","lang":"en"}],"http:\/\/purl.org\/dc\/terms\/type":[{"value":"Text","type":"literal","lang":"en"}],"https:\/\/open.library.ubc.ca\/terms#identifierURI":[{"value":"http:\/\/hdl.handle.net\/2429\/27806","type":"literal","lang":"en"}]}}