{"Affiliation":[{"label":"Affiliation","value":"Science, Faculty of","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","classmap":"vivo:EducationalProcess","property":"vivo:departmentOrSchool"},"iri":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","explain":"VIVO-ISF Ontology V1.6 Property; The department or school name within institution; Not intended to be an institution name."},{"label":"Affiliation","value":"Mathematics, Department of","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","classmap":"vivo:EducationalProcess","property":"vivo:departmentOrSchool"},"iri":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","explain":"VIVO-ISF Ontology V1.6 Property; The department or school name within institution; Not intended to be an institution name."}],"AggregatedSourceRepository":[{"label":"AggregatedSourceRepository","value":"DSpace","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider","classmap":"ore:Aggregation","property":"edm:dataProvider"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider","explain":"A Europeana Data Model Property; The name or identifier of the organization who contributes data indirectly to an aggregation service (e.g. Europeana)"}],"Campus":[{"label":"Campus","value":"UBCV","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#degreeCampus","classmap":"oc:ThesisDescription","property":"oc:degreeCampus"},"iri":"https:\/\/open.library.ubc.ca\/terms#degreeCampus","explain":"UBC Open Collections Metadata Components; Local Field; Identifies the name of the campus from which the graduate completed their degree."}],"Creator":[{"label":"Creator","value":"Dixon, Kael","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/creator","classmap":"dpla:SourceResource","property":"dcterms:creator"},"iri":"http:\/\/purl.org\/dc\/terms\/creator","explain":"A Dublin Core Terms Property; An entity primarily responsible for making the resource.; Examples of a Contributor include a person, an organization, or a service."}],"DateAvailable":[{"label":"DateAvailable","value":"2010-08-25T21:02:32Z","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/issued","classmap":"edm:WebResource","property":"dcterms:issued"},"iri":"http:\/\/purl.org\/dc\/terms\/issued","explain":"A Dublin Core Terms Property; Date of formal issuance (e.g., publication) of the resource."}],"DateIssued":[{"label":"DateIssued","value":"2010","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/issued","classmap":"oc:SourceResource","property":"dcterms:issued"},"iri":"http:\/\/purl.org\/dc\/terms\/issued","explain":"A Dublin Core Terms Property; Date of formal issuance (e.g., publication) of the resource."}],"Degree":[{"label":"Degree","value":"Master of Science - MSc","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#relatedDegree","classmap":"vivo:ThesisDegree","property":"vivo:relatedDegree"},"iri":"http:\/\/vivoweb.org\/ontology\/core#relatedDegree","explain":"VIVO-ISF Ontology V1.6 Property; The thesis degree; Extended Property specified by UBC, as per https:\/\/wiki.duraspace.org\/display\/VIVO\/Ontology+Editor%27s+Guide"}],"DegreeGrantor":[{"label":"DegreeGrantor","value":"University of British Columbia","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#degreeGrantor","classmap":"oc:ThesisDescription","property":"oc:degreeGrantor"},"iri":"https:\/\/open.library.ubc.ca\/terms#degreeGrantor","explain":"UBC Open Collections Metadata Components; Local Field; Indicates the institution where thesis was granted."}],"Description":[{"label":"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.","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/description","classmap":"dpla:SourceResource","property":"dcterms:description"},"iri":"http:\/\/purl.org\/dc\/terms\/description","explain":"A Dublin Core Terms Property; An account of the resource.; Description may include but is not limited to: an abstract, a table of contents, a graphical representation, or a free-text account of the resource."}],"DigitalResourceOriginalRecord":[{"label":"DigitalResourceOriginalRecord","value":"https:\/\/circle.library.ubc.ca\/rest\/handle\/2429\/27806?expand=metadata","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO","classmap":"ore:Aggregation","property":"edm:aggregatedCHO"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO","explain":"A Europeana Data Model Property; The identifier of the source object, e.g. the Mona Lisa itself. This could be a full linked open date URI or an internal identifier"}],"FullText":[{"label":"FullText","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 Kael Dixon 2010 \fAbstract 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(H k \u2295 CPn\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 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. ii \fTable of Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . iv 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1 Ka\u0308hler Ricci Flow . . . . . . . . . . . . . . . . . . . . . . . . 1 1 2 Hirzebruch Manifolds . . . . . . . . . 2.1 Introduction . . . . . . . . . . . . . 2.2 Local Coordinates on Mn,k . . . . . 2.3 Radially Symmetric Metrics . . . . 2.4 A Closer Look at the Fibres . . . . . . . . . 3 3 4 4 6 3 Singularity Analysis for Ricci flow . . . . . . . . . . . . . . . 3.1 Parabolic Dilations . . . . . . . . . . . . . . . . . . . . . . . 8 11 4 The Singularity Model . . . . . . . . . . . . . . . . . . . . . . 4.1 A Candidate for the Limit Manifold . . . . . . . . . . . . . . 4.2 An Isometry Between M\u221e and Cn\u22121 \u00d7 CP1 . . . . . . . . . . 13 15 17 5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.1 Proof of the Main Theorem . . . . . . . . . . . . . . . . . . . 5.2 Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 21 21 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii \fAcknowledgements 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 \fChapter 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 singularity at time T and that for some p \u2208 Mn,k \\{D0 , D\u221e } and vector X \u2208 Tp Mn,k tangent to the fibre, there exists c > 0 such that kXk2g(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 (t) = \u2212Ricg(t) \u2202t (1.1) g(0) = g0 , 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 \f1.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 H 2 (M, R) \u2229 H 1,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 H 2 (M, R) \u2229 H 1,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 ] = 2\u03c0c1 (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 2\u03c0tc1 (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 \fChapter 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 description). 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 corresponding to the \u221e section of the bundle, and [\u03c0 \u22121 \u03c9F S ], the pull back of the Fubini-Study metric on the base. We can write our initial Ka\u0308hler class as \u03b10 = k1 (b0 \u2212 a0 )[D\u221e ] + a0 [\u03c0 \u22121 \u03c9F S ], 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 ] \u2212 2\u03c0tc1 (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 situation 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 symmetry 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 \f2.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 under the symmetry assumption, the Ricci flow solution exhibits GromovHausdorff 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 [\u03c0 \u22121 \u03c9F S ]. In this case the volume is proportional to (T \u2212 t) and under the symmetry assumption the Ricci flow solution exhibits Gromov-Hausdorff convergence to the base manifold with metric aT \u03c9F S where \u03c9F S is the Fubini-Study metric on the base and \u03b1(T ) = aT [\u03c0 \u22121 \u03c9F S ]. 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 \u03c0 \u22121 (Ui ) where the transition functions are given by \u0010 \u0011k x yj = xjl yi on \u03c0 \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 e 2\u03c0i k 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 \u03c0 \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 \f2.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 k~xk2 . 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 u00 > 0, where the derivatives are taken with respect to \u03c1. Now consider the Ka\u0308hler metric \u00af = i\u2202(u0 \u2202\u03c1) \u00af = iu00 \u2202\u03c1 \u2227 \u2202\u03c1 \u00af + iu0 \u2202 \u2202\u03c1. \u00af \u03c9 = i\u2202 \u2202u 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 2\u03c0i k ~ x) = log ke 2\u03c0i k ~ x k2 = log k~xk2 = \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 u0 , \u03c1\u2192\u2212\u221e b := lim u0 . \u03c1\u2192\u221e These asymptotic conditions basicallly guarantee that the Ka\u0308hler form \u03c9 on Mn,k \\(D0 \u222a D\u221e ) will extend smoothly to all of Mn,k ([1]). Now we will explicitely compute \u03c9 in the local trivialization \u03c0 \u22121 ({Uj }), for some fixed j \u2208 {0...n}. First, choose holomorphic coordinates {zi := xxji }i6=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 = k1 log y y\u0304 + 2\u03c0vF S , where vF S is the potential for the Fubini-Study metric on the base CPn\u22121 5 \f2.4. A Closer Look at the Fibres Proof. Our identification is through the maps \u03c8i : Vi \u2192 \u03c0 \u22121 (Ui )\\(U0 \u222a U\u221e ), so we compute: ! n n X X x x\u0304 i i (\u03c8j )\u2217 \u03c1 = (\u03c8j )\u2217 log k~xk2 = (\u03c8j )\u2217 log xi x\u0304i = (\u03c8j )\u2217 log xj x\u0304j x x\u0304 i=0 i=0 j j ! n X xi x\u0304i = (\u03c8j )\u2217 k1 log(xj x\u0304j )k + log x x\u0304 i=0 j j \uf8eb \uf8f6 X = k1 log y y\u0304 + log \uf8ed1 + zi z\u0304i \uf8f8 = k1 log y y\u0304 + 2\u03c0vF S . i6=j 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\u00af log y y\u0304 = \u2202 yyy\u0304 dy\u0304 = \u2202 y\u03041 dy\u0304 = 0, \u00af = i\u2202 \u2202v \u00af V S = \u03c0 \u22121 \u03c9F S is the pull-back of the Fubini-Study so that i\u2202 \u2202\u03c1 metric on the base. Since the Ka\u0308hler form of the radially symmetric metric 0 \u2202 \u2202\u03c1, \u00af \u00af this shows that the second term is degenerate along the is iu00 \u2202\u03c1\u2227\u2202\u03c1+iu fibre. Song and Weinkove showed that case 3 of Ricci flow on Mn,k basically corresponds to having u0 converging to a constant under the flow. From the above observation, this intuitively corresponds to: as u0 moves towards being a constant, making u00 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 Riemannian 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 \u03c0 \u22121 (Uj ) for some j \u2208 {1, . . . , n}. Using the holomorphic coordinates {zi }i6=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 \f2.4. A Closer Look at the Fibres Using the previous claim and the fact that the vF S term does not contribute to the fibre direction, we get that the induced metric on the fibre at z is \u00af \u03c0\u22121 (z) + iu0 |\u03c0\u22121 (z) \u2202 \u2202\u03c1| \u00af \u03c0\u22121 (z) \u03c9|\u03c0\u22121 (z) = iu00 |\u03c0\u22121 (z) \u2202\u03c1|\u03c0\u22121 (z) \u2227 \u2202\u03c1| \u00af 1 log y y\u0304) + iu0 |\u03c0\u22121 (z) \u2202 \u2202( \u00af 1 log y y\u0304) = iu00 |\u03c0\u22121 (z) \u2202( 1 log y y\u0304) \u2227 \u2202( k k k iu00 |\u03c0\u22121 (z) dy \u2227 dy\u0304. = k 2 y y\u0304 Note that the only dependence on z is from u00 being a function of \u03c1, and hence of both y and z. We will define our isometry by fz : \u03c0 \u22121 (0) \u2192 \u03c0 \u22121 (z) : y 7\u2192 1 + kzk2 \u0001k 2 y. Then \u0001k 1 (fz )\u2217 \u03c1|\u03c0\u22121 (0) = (fz )\u2217 log y y\u0304 = k1 log y y\u0304 1 + kzk2 k \u0001 = k1 log y y\u0304 + log 1 + kzk2 = \u03c1|\u03c0\u22121 (z) . Hence (fz )\u2217 u00 |\u03c0\u22121 (0) = u00 |\u03c0\u22121 (z) . This gives (fz )\u2217 \u03c9|\u03c0\u22121 (0) iu00 |\u03c0\u22121 (0) = (fz )\u2217 dy \u2227 dy\u0304 k 2 y y\u0304 \u0001k 1 + kzk2 iu00 |\u03c0\u22121 (z) = dy \u2227 dy\u0304 (1 + kzk2 )k k 2 y y\u0304 iu00 |\u03c0\u22121 (z) dy \u2227 dy\u0304 k 2 y y\u0304 = \u03c9|\u03c0\u22121 (z) , = so that fz is an isometry. The above claim allows us to concentrate on the fibre \u03c0 \u22121 (0) without losing any generality. By definition, \u03c0 \u22121 (0) \u223c = CP1 \u223c = C\u222a\u221e. Our coordinate \u22121 y will act as a coordinate for C here. On \u03c0 (0), we have \u03c1 = k1 log y y\u0304. 7 \fChapter 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 \u2212a0 . They showed that this corresponds to a singularity at time T := b02k studying a corresponding family u(\u03c1, t) of evolving potentials as above such \u00af that \u2202 \u2202u(\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 aT \u03c0 \u22121 \u03c9F S where \u03c9F S 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 \fChapter 3. Singularity Analysis for Ricci flow For Ricci flow to form a singularity at time T , one must necessarily have sup kRmg(t) kg(t) & M 1 . T \u2212t 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 % T and kRmg(ti ) kg(ti ) (pi ) & 1 T \u2212 ti Definition 2. A point p \u2208 M 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 kRmg(t) kg(t) M diverges to \u221e. We say that a solution for the Ricci flow equation is a Type I solution if 1 . sup kRmg(t) kg(t) . T \u2212t M 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 \u2208 M . If there exists c > 0 and t0 \u2208 [0, T ) such that kRmg(t) kg(t) (p) \u2264 c T \u2212t , \u2200t \u2208 (t0 , T ), then kXp kg(t) & (T \u2212 t)c for all X \u2208 Tp M . Proof. Let \u03b1 > 0 be a constant to be chosen later. Then for t \u2208 (t0 , T ), we have Ricg (\u03b1X, \u03b1X) d c log k\u03b1Xk2g = \u2212 \u2265 \u2212kRicg kg \u2265 \u2212kRmg kg \u2265 \u2212 . 2 dt k\u03b1Xkg T \u2212t 1 This is not the most general definition of singular point, but for type I solutions they are equivalent. See [3] for details. 9 \fChapter 3. Singularity Analysis for Ricci flow Integrating from t0 to t gives s=t log k\u03b1Xk2g(s) |s=t s=t0 \u2265 c log(T \u2212 s)|s=t0 . Choosing \u03b1 so that log k\u03b1Xk2g(t0 ) = c log(T \u2212 t0 ) gives log k\u03b1Xk2g(t) \u2265 c log(T \u2212 t). Finally, exponentiating gives (T \u2212 t)c \u2264 k\u03b1Xk2g(t) . kXk2g(t) . Proposition 1. For any p \u2208 Mn,k \\{D0 \u222a D\u221e }, there exists a sequence (ti )i\u2208N with ti % 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 \u001a \u001b c t \u2208 [0, T ) : kRmg(t) kg(t) (p) \u2265 T \u2212t is bounded. Thus there exists a t0 \u2208 [0, T ) such that kRmg(t) kg(t) (p) < c , \u2200t \u2208 (t0 , T ). T \u2212t Without loss of generality, by the symmetry of the metric, we can consider p to be in \u03c0 \u22121 (Un ). Then, as before, we have local holomorphic coordinates {y, zi }n\u22121 i=1 . Moreover, the symmetry allows us to assume that the z coordinate of p is 0. It is clear by looking at the metric in these coordinates that u00 (t) \u2202 2 kg(t) (p) = 2 (p). k \u2202y k y y\u0304 \u2202 2 From Lemma 4.3 in [11], we u00 (t) . (T \u2212 t), so that k \u2202y kg(t) . (T \u2212 t). Combining this with the preceeding lemma gives \u2202 2 (T \u2212 t)c < k \u2202y kg(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 \f3.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 = kRmg kg (pi , ti ) and a time dependent metric \u0012 \u0013 \u0001 t 2 \u2217 gi : \u2212 Ki ti , Ki (T \u2212 ti ) \u2192 Sym T M : t 7\u2192 Ki g ti + . Ki \u0002 Note that each gi is a solution to the Ricci flow equation, since d d gi (t) = Ki g(ti + tKi\u22121 ) = \u2212Ricg(ti +tK \u22121 ) = \u2212RicK \u22121 gi (t) = \u2212Ricgi (t) . i i dt dt 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) = Ki g(ti ). Thus kRmgi (0) kgi (0) = kRmKi g(ti ) kKi g(ti ) = Ki\u22121 kRmg(ti ) kg(ti ) = Ki\u22121 Ki = 1. Let p \u2208 Mn,k \\{D0 \u222a D\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 \f3.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 gF S 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 gF S . With respect to the parabolic dilations gi (0) = Ki g(ti ), this allows us to approximate the distance between fibres by the distance between the corresponding base points with respect to Ki aT gF S , which diverges since Ki does. 12 \fChapter 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 dilations (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 C m 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) kRmk \u2264 r12 , 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 kRmg(t) kg(t) (x) . Ki . (x,t)\u2208M \u00d7[0,ti ) 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 \fChapter 4. The Singularity Model This result follows from Hamilton\u2019s completeness theorem [5] and Perelman\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. 1 Proof. Since p is a singular point, Ki & T \u2212t . Since we are assuming that i our solution is a type I solution, we have sup kRmg(t) kg(t) . Mn,k 1 T \u2212ti . Putting this together, we have kRmg(t) kg(t) (x) . sup (x,t)\u2208Mn,k \u00d7[0,ti ) 1 . Ki , T \u2212 ti so that we can apply the above theorem to get the desired result. Lemma 2. e\u2212|\u03c1| . u00 (\u03c1, t) . e|\u03c1| . u00 (0, t) Proof. We will again use Lemma 4.3 from [11], which this time provides us with the estimate |u000 | . u00 . This gives Z \u03c1 Z \u03c1 000 u00 (\u03c1) u (s) log 00 = (log u00 (s))0 ds = ds . |\u03c1| . 00 u (0) 0 0 u (s) Exponentiating then gives the desired result. Proposition 3. For each \u03c1 \u2208 R, we have the pointwise estimate (T \u2212 t) . u00 (\u03c1, t) . (T \u2212 t). Proof. By our assumption, there exists an X \u2208 T Mn,k with \u03c10 = \u03c1 \u25e6 \u03c0(X) \u2208 R and kXk2g(t) & (T \u2212 t). By symmetry, we can assume that \u03c0(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 dy dy\u0304 g(t) = u00 (\u03c1, t) ky ky\u0304 for \u03c1 = log(y y\u0304) \u2208 R. Thus kXk2g(t) \u221d u00 (\u03c10 , t). It follows from our assumption that u00 (\u03c10 , t) & (T \u2212 t). Combining this with the preceeding lemma gives the pointwise estimate u00 (\u03c1, t) & (T \u2212 t) for \u03c1 \u2208 R. This combines with the uniform estimate u00 (\u03c1, t) . (T \u2212 t) from Lemma 4.3 of [11] to give the desired result. 14 \f4.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 )\u2217 gi (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 . n\u22121 \u00d7 CP1 , where we Let {wj , y}n\u22121 j=1 be holomorhic coordinates for C abuse notation by allowing y to take the value \u221e, thus parametrizing CP1 = C t {\u221e}. Recall that Un = {[x1 , . . . , xn ] : xn 6= 0} 3 \u03c0 \u22121 [0, . . . , 0, 1] Recall that \u03c0 \u22121 (Un ) has holomorphic fibred coordinates {zj , y}n\u22121 j=1 , again allowing y to take the value \u221e in order to parametrize each fibre CP1 . We will identify Cn\u22121 \u00d7 CP1 and \u03c0 \u22121 (Un ) for each i via the biholomorhisms: p \u03c8i : Cn\u22121 \u00d7 CP1 \u2192 \u03c0 \u22121 (Un ) : (w, y) 7\u2192 ( Ki w, y), In particular, recall that we chose our singular point p = (0, 1) in the fiber coordinates on \u03c0 \u22121 (Un ), and thus we have \u03c8i\u22121 (p) = (0, 1) in (w, y) coordinates on Cn\u22121 \u00d7 CP1 for all i. We thus have a sequence ((\u03c8i )\u2217 gi (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 )\u2217 gi (0) with respect to the (w, y) coordinates. Recall that the Kaher form corresponding to gi (0) is simply \u00af + iKi u0 (ti )\u2202 \u2202\u03c1. \u00af \u03c9i (0) = Ki \u03c9(ti ) = iKi u00 (ti )\u2202\u03c1 \u2227 \u2202\u03c1 \u00af term We will expand the two terms above separately. For the u0 (ti )\u2202 \u2202\u03c1 above we have: \u0001 \u00af = Ki (\u03c8i )\u2217 u0 (ti )\u2202 \u2202\u00af 1 log y y\u0304 + log(1 + kzk2 ) (\u03c8i )\u2217 Ki u0 (ti )\u2202 \u2202\u03c1 \u0012 k \u0013 dz \u2227 dz\u0304 (z\u0304 \u00b7 dz) \u2227 (z \u00b7 dz\u0304) \u2217 0 = Ki (\u03c8i ) u (ti ) + 1 + kzk2 (1 + kzk2 )2 \u0012 \u22121 \u0013 \u22122 Ki dw \u2227 dw\u0304 Ki (w\u0304 \u00b7 dw) \u2227 (w \u00b7 dw\u0304) 0 = Ki u (ti ) + , 1 + Ki\u22121 kwk2 (1 + Ki\u22121 kwk2 )2 15 \f4.1. A Candidate for the Limit Manifold where we simplify notation by using dz \u2227 dz\u0304 := z \u00b7 dz := n\u22121 X i=1 n\u22121 X dz i \u2227 dz\u0304 i zi dz i . i=1 Thus since limi\u2192\u221e Ki = \u221e and limi\u2192\u221e u0 (ti ) = limt\u2192T u0 (t) = aT , we have \u00af = aT dw \u2227 dw\u0304. lim (\u03c8i )\u2217 Ki u0 (ti )\u2202 \u2202\u03c1 (4.1) i\u2192\u221e uniformly on compact subsets of (0, 1) \u2208 Cn\u22121 \u00d7 CP1 in the C 0 sense. \u00af term, first we compute: For the u00 \u2202\u03c1 \u2227 \u2202\u03c1 \u0011 \u0010 dy + \u2202 log(1 + kzk2 ) (\u03c8i )\u2217 \u2202\u03c1 = (\u03c8i )\u2217 ky \u0010 \u0011 dy z\u0304\u00b7dz + 1+kzk = (\u03c8i )\u2217 ky 2 = dy ky + Ki\u22121 w\u0304\u00b7dw , 1+Ki\u22121 kwk2 thus giving \u00af = Ki u00 (ti ) (\u03c8i )\u2217 Ki u00 (ti )\u2202\u03c1 \u2227 \u2202\u03c1 = \u0010 dy ky + Ki\u22121 w\u0304\u00b7dw 1+Ki\u22121 kwk2 \u0011 \u2227 \u0010 dy\u0304 ky\u0304 + Ki\u22121 w\u00b7dw\u0304 1+Ki kwk2 \u0011 Ki u00 (ti ) dy \u2227 dy\u0304 + Ki u00 (ti )o(Ki\u22121 ), k 2 y y\u0304 where the asymptotic above is uniform on any neighborhood of (0, 1) uniformly away from (\u00b7, 0), (\u00b7, \u221e). From proposition 3, we have a pointwise estimate (T \u2212 t) . u00 (\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 u00 Ki is pointwise bounded away from {0, \u221e}. This gives the convergence \u00af =h lim (\u03c8i )\u2217 Ki u00 (ti )\u2202\u03c1 \u2227 \u2202\u03c1 i\u2192\u221e (4.2) 16 \f4.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 C 0 sense. Combining (4.2) and (4.1) this gives lim (\u03c8i )\u2217 \u03c9i (0) = g\u0303 := aT \u03b4Cn\u22121 + h i\u2192\u221e (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 C 0 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 \u00d7 C as a subset of Cn\u22121 \u00d7 CP1 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 Cn\u22121 (i) \u03c8i (K) \u2282 Bgi (0) (r, p) \u2282 \u03c0 \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 )\u2217 gi (0) on M\u221e by the locally uniform convergence (\u03c6\u22121 )\u2217 gi (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 )\u2217 gi (0) on M\u221e on any compact subdisc contained strictly within K. From this fact and the smooth local convergences (\u03c6\u22121 )\u2217 gi (0) \u2192 g\u221e and Ji \u2192 J\u221e , we can conclude that any fixed order derivative of the \u03a8i \u2019s 17 \f4.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 holomorphic map from Cn\u22121 \u00d7 CP1 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 (\u03c8i )\u2217 \u03c9i (0) = g\u0303 := aT \u03b4Cn\u22121 + h. i\u2192\u221e in the C 0 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 )\u2217 g\u0303, \u2217 since (\u03a8\u221e )\u2217 (limi\u2192\u221e (\u03c8i )\u2217 \u03c9i ) = limi\u2192\u221e (\u03a8i )\u2217 (\u03c8i )\u2217 \u03c9i = limi\u2192\u221e (\u03c6\u22121 i ) \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 \u03c8i\u2217 gi (0), we can choose an N large enough such that d\u03c8i\u2217 gi (0) (q1 , q2 ) > r \u2217 \u2217 \u2217 2 for all i > N . Since (\u03a8i ) \u03c6i gi = (\u03c8i ) gi , dg\u221e (0) (\u03a6\u221e (q1 ), \u03a8\u221e (q2 )) = lim d\u03c6\u2217i gi (0) (\u03a6\u221e (q1 ), \u03a8\u221e (q2 )) i\u2192\u221e = lim d\u03c8i\u2217 gi (0) (q1 , q2 ) > 2r . i\u2192\u221e 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 (\u03c0 \u22121 (p), gi |\u03c0\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\u03c1 2 + i arg y), we 18 \f4.2. An Isometry Between M\u221e and Cn\u22121 \u00d7 CP1 can reparametrize \u03c0 \u22121 (p) in terms of \u03c1 and \u03b8 := arg y. The metric is given by \u0001 \u0001 \u0001 00 00 g = ku2 yy\u0304 dydy\u0304 = uk2 k2 d\u03c1 + id\u03b8 k2 d\u03c1 \u2212 id\u03b8 = u00 14 d\u03c12 + k12 d\u03b82 . The volume of the fibre with respect to the dilated metric gi (0) = Ki g(ti ) is then Z Z Z Ki u00 (ti ) Ki 00 d\u03b8 u (ti )d\u03c1 d\u03c1d\u03b8 = 2k 2k R S1 CP1 Ki 0 \u03c0Ki u (ti )|\u221e (b \u2212 a)(ti ) = 2\u03c0Ki (T \u2212 ti ), = \u2212\u221e 2\u03c0 = 2k k where we used that b\u2212a = 2k(T \u2212t). From our assumption that the singular1 ity is type I, Ki . T \u2212t . It follows that the volume of (\u03c0 \u22121 (p), gi (0)|\u03c0 \u22121 (p)) i is bounded independent of i. Thus, the limit fibre (C\\0, h) has finite volume. Lemma 5. There exists an r > 0 such that the inf y\u2208C\\0 Vol(Brh (y)) > 0. Proof. Recall from the proof of corollary 1 that there exists C > 0 such that sup kRmg(ti ) kg(ti ) \u2264 CKi . Mn,k It follows that sup kRmgi (0) kgi (0) = sup kRmKi g(ti ) kKi g(ti ) = Mn,k Mn,k 1 sup kRmg(ti ) kg(ti ) \u2264 C. Ki Mn,k Let r = \u221a1C . From theorem 3, there exists a \u03ba > 0 such that the singularity model is \u03ba-noncollapsed at all scales. Since sup kRmgi (0) kgi (0) \u2264 C = Mn,k 1 , r2 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 Riemannian manifolds (Cn\u22121 , aT \u03b4) \u00d7 (CP1 , h). Define modified balls for each x = \u03a6\u22121 \u221e (v, y) by aT \u03b4 h B 0 (x) = \u03a6\u22121 \u221e (Br (v) \u00d7 Br (y)). Clearly B 0 (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 0 (x)) = Vol(BraT \u03b4 (v))Vol(Brh (y)) = cr2n\u22122 Vol(Brh (y)). 19 \f4.2. An Isometry Between M\u221e and Cn\u22121 \u00d7 CP1 But we also have Vol(B 0 (x)) \u2265 Vol(Br (x)) \u2265 \u03bar2n . Combining these gives Vol(Brh (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 \u03c0C\\0 )\u2217 h, where \u03c0C\\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 {Brh (yi )}i\u2208N \u2282 F are pairwise disjoint. Applying the previous lemma, we have X X Vol(F ) \u2265 Vol(Brh (yi )) \u2265 inf Vol(Brh (y)) 1 = \u221e. i\u2208N y\u2208C\\0 i\u2208N Since (C\\0, h) is isometrically mapped onto F , this implies that the volume 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 \u00d7 CP1 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 )\u2217 gi (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 \u00d7 CP1 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 \u00d7 CP1 and g\u221e on M\u221e . 20 \fChapter 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 assumptions 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 \f5.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 (u0 , u00 , u000 ). 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 \fBibliography [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 singularities 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. Academic Press, Boston, MA, 1990. [7] Ngaiming Mok. The uniformization theorem for compact Ka\u0308hler manifolds 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 geometric 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 ","attrs":{"lang":"en","ns":"http:\/\/www.w3.org\/2009\/08\/skos-reference\/skos.html#note","classmap":"oc:AnnotationContainer"},"iri":"http:\/\/www.w3.org\/2009\/08\/skos-reference\/skos.html#note","explain":"Simple Knowledge Organisation System; Notes are used to provide information relating to SKOS concepts. There is no restriction on the nature of this information, e.g., it could be plain text, hypertext, or an image; it could be a definition, information about the scope of a concept, editorial information, or any other type of information."}],"Genre":[{"label":"Genre","value":"Thesis\/Dissertation","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/hasType","classmap":"dpla:SourceResource","property":"edm:hasType"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/hasType","explain":"A Europeana Data Model Property; This property relates a resource with the concepts it belongs to in a suitable type system such as MIME or any thesaurus that captures categories of objects in a given field. It does NOT capture aboutness"}],"GraduationDate":[{"label":"GraduationDate","value":"2010-11","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#dateIssued","classmap":"vivo:DateTimeValue","property":"vivo:dateIssued"},"iri":"http:\/\/vivoweb.org\/ontology\/core#dateIssued","explain":"VIVO-ISF Ontology V1.6 Property; Date Optional Time Value, DateTime+Timezone Preferred "}],"IsShownAt":[{"label":"IsShownAt","value":"10.14288\/1.0071224","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/isShownAt","classmap":"edm:WebResource","property":"edm:isShownAt"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/isShownAt","explain":"A Europeana Data Model Property; An unambiguous URL reference to the digital object on the provider\u2019s website in its full information context."}],"Language":[{"label":"Language","value":"eng","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/language","classmap":"dpla:SourceResource","property":"dcterms:language"},"iri":"http:\/\/purl.org\/dc\/terms\/language","explain":"A Dublin Core Terms Property; A language of the resource.; Recommended best practice is to use a controlled vocabulary such as RFC 4646 [RFC4646]."}],"Program":[{"label":"Program","value":"Mathematics","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#degreeDiscipline","classmap":"oc:ThesisDescription","property":"oc:degreeDiscipline"},"iri":"https:\/\/open.library.ubc.ca\/terms#degreeDiscipline","explain":"UBC Open Collections Metadata Components; Local Field; Indicates the program for which the degree was granted."}],"Provider":[{"label":"Provider","value":"Vancouver : University of British Columbia Library","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/provider","classmap":"ore:Aggregation","property":"edm:provider"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/provider","explain":"A Europeana Data Model Property; The name or identifier of the organization who delivers data directly to an aggregation service (e.g. Europeana)"}],"Publisher":[{"label":"Publisher","value":"University of British Columbia","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/publisher","classmap":"dpla:SourceResource","property":"dcterms:publisher"},"iri":"http:\/\/purl.org\/dc\/terms\/publisher","explain":"A Dublin Core Terms Property; An entity responsible for making the resource available.; Examples of a Publisher include a person, an organization, or a service."}],"Rights":[{"label":"Rights","value":"CC0 1.0 Universal","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/rights","classmap":"edm:WebResource","property":"dcterms:rights"},"iri":"http:\/\/purl.org\/dc\/terms\/rights","explain":"A Dublin Core Terms Property; Information about rights held in and over the resource.; Typically, rights information includes a statement about various property rights associated with the resource, including intellectual property rights."}],"RightsURI":[{"label":"RightsURI","value":"http:\/\/creativecommons.org\/publicdomain\/zero\/1.0\/","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#rightsURI","classmap":"oc:PublicationDescription","property":"oc:rightsURI"},"iri":"https:\/\/open.library.ubc.ca\/terms#rightsURI","explain":"UBC Open Collections Metadata Components; Local Field; Indicates the Creative Commons license url."}],"ScholarlyLevel":[{"label":"ScholarlyLevel","value":"Graduate","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#scholarLevel","classmap":"oc:PublicationDescription","property":"oc:scholarLevel"},"iri":"https:\/\/open.library.ubc.ca\/terms#scholarLevel","explain":"UBC Open Collections Metadata Components; Local Field; Identifies the scholarly level of the author(s)\/creator(s)."}],"Title":[{"label":"Title","value":"Collapsing fibres under K\u00e4hler Ricci flow on Hirzebruch manifolds","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/title","classmap":"dpla:SourceResource","property":"dcterms:title"},"iri":"http:\/\/purl.org\/dc\/terms\/title","explain":"A Dublin Core Terms Property; The name given to the resource."}],"Type":[{"label":"Type","value":"Text","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/type","classmap":"dpla:SourceResource","property":"dcterms:type"},"iri":"http:\/\/purl.org\/dc\/terms\/type","explain":"A Dublin Core Terms Property; The nature or genre of the resource.; Recommended best practice is to use a controlled vocabulary such as the DCMI Type Vocabulary [DCMITYPE]. To describe the file format, physical medium, or dimensions of the resource, use the Format element."}],"URI":[{"label":"URI","value":"http:\/\/hdl.handle.net\/2429\/27806","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#identifierURI","classmap":"oc:PublicationDescription","property":"oc:identifierURI"},"iri":"https:\/\/open.library.ubc.ca\/terms#identifierURI","explain":"UBC Open Collections Metadata Components; Local Field; Indicates the handle for item record."}],"SortDate":[{"label":"Sort Date","value":"2010-12-31 AD","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/date","classmap":"oc:InternalResource","property":"dcterms:date"},"iri":"http:\/\/purl.org\/dc\/terms\/date","explain":"A Dublin Core Elements Property; A point or period of time associated with an event in the lifecycle of the resource.; Date may be used to express temporal information at any level of granularity. Recommended best practice is to use an encoding scheme, such as the W3CDTF profile of ISO 8601 [W3CDTF].; A point or period of time associated with an event in the lifecycle of the resource.; Date may be used to express temporal information at any level of granularity. Recommended best practice is to use an encoding scheme, such as the W3CDTF profile of ISO 8601 [W3CDTF]."}]}