论文部分内容阅读
凯勒-里奇流(Kahler-Ricci flow)是几何分析和偏微分方程研究中的一个重要课题。自从上世纪八十年代由H.D. Cao在文献中引入之后,经过H.D. Cao, A. Chau, X.X. Chen, G. Perelman, D. Phong, W.X. Shi, J. Song, J. Sturm, G. Tian, B. Weinkove以及X.H. Zhu等人的不断研究完善,凯勒-里奇流已经发展为一个独立的广阔领域,并且渗入到几何研究中的许多不同方面,例如凯勒-爱因斯坦度量的存在性问题,凯勒流形的分类问题以及非凯勒情形下某些几何流的存在性问题等。凯勒-里奇流对这些问题的研究和解决起着重要的推动作用。在本文中,我们对一类带有奇性的凯勒-里奇流——锥奇性凯勒-里奇流(conical Kahler-Ricci flow)进行针对性研究。我们将主要讨论其长时间解的存在性及收敛性问题。对于光滑的凯勒-里奇流,上述问题已经有了比较完善的研究。但对于带有锥奇性的凯勒-里奇流,这方面的相关研究则刚刚展开。在对带有锥奇性凯勒-里奇流的研究过程中,我们将把它与挠动凯勒-里奇流(twisted Kahler-Ricci flow)结合起来讨论。首先,利用挠动凯勒-里奇流光滑逼近的方法,我们得到了锥奇性凯勒-里奇流长时间解的存在性。之后,通过对光滑凯勒-里奇流情形下Perelman估计进行适当改进,我们得到了沿一列挠动凯勒-里奇流的一致Perelman估计。最后,在这些结果的基础上,我们讨论了法诺流形(Fano manifold)上锥奇性凯勒-里奇流的收敛性,得到了下述主要定理:定理0.1.设M为一个复维数为n的法诺流形,ω0是第一陈类(the first Chern class)2nc1(M)中的一个光滑凯勒度量,h是反典范丛(anti-canonical bundle)-KM上曲率为ω0的光滑埃尔米特度量(Hermitian metric), D∈|-KM|为流形M上的一个光滑除子(smooth divisor),s为除子D的定义截面(defining section)。对任意β∈(0,1),锥奇性的凯勒-里奇流存在唯一的长时间解ω(t)。更进一步,如果存在一个沿除子D锥角为2πβ口的锥奇性凯勒-爱因斯坦度量(conical Kahler-Einstein metric) ωβ,D,那么ω(t)沿锥奇性凯勒-里奇流(1)一定收敛到度量ωβ,D。这个收敛性在除子D之外是局部的光滑收敛,在流形M整体上是流动形(currents)意义下收敛。由前面介绍可知,定理0.1的证明会依赖相关的正则性理论以及一致的Perelman估计等重要结果。在本文中,我们将会对这些理论给予讨论。下面,我们把文章中所涉及的重要结果列举如下。一般地,对方程而言,研究其解的整体高阶正则性估计是非常重要的。但是如果解的整体高阶正则性估计并不能满足研究的需要,进而考虑其局部的高阶正则性也是非常有意义的。这里,根据后文中关于锥奇性凯勒-里奇流解的存在性证明的实际需要,我们将研究挠动凯勒-里奇流解的局部高阶正则性估计。值得注意的是,为了得到一列抛物Monge-Ampere方程的解φε(t)在任意时空区域K×[0,T]cc(M\D)×[0,T]上的各阶一致估计(这里的估计既包含关于空间变量的各阶导数估计也包含关于时间变量的各阶导数估计;一致性体现在该估计不依赖于ε和t),这里我们并没有利用通常的抛物Schauder估计,原因是通常的抛物Schauder估计不能得到零时刻附近的高阶一致性估计,仅可以得到K×[δ,T]上的高阶一致性估计,其中δ>0并且这个估计依赖于6。我们的方法是将曲率,以及φε(t)的各阶导数估计和椭圆估计结合起来讨论。我们记其中▽0是关于光滑凯勒度量ω0的共变导数(covariant derivative),gφ是度量形式ωφ对应的度量张量。同时记Rmφ为度量ωΦ的曲率张量,为关于度量ω0的体积元并且满足为关于度量ωφ的共变导数。命题0.2.设φ(·,t)为抛物Monge-Ampere方程的解,其中函数f是对应于度量ω0的挠动里奇势函数(twisted Ricci potential),即函数f满足以及如果存在常数N使得在Br(p)×[0,T]上成立。那么一定存在常数C’和C",使得在Br/2(p)×[0,T]上,我们有如下估计其中,常数C’仅依赖于ω0,N,γ,‖Φ(.,0)‖C3(Bτr(p))以及‖θ‖IG’(Bτ,∞));常数C"仅依赖于ω0,N,γ,‖Φ(·,0)‖C4(Bτ(p)))以及‖θ‖C2(Br,(p))。更进一步,对任意的k≥0,存在常数Ck1,Ck2和Ck3,使得在Br/2(p)×[0,T]上,我们有相应估计这里常数Ck1,Ck2和Ck3只依赖于ω0,N,γ,‖Φ(·,0)‖Ck+4(Br,(p))),‖θ‖Gk+2(Br,(p)),‖Φ‖C0(Br(p)×[O,T)以及‖f‖C0(Br(p))。作为命题0.2的应用,我们考虑一般的锥奇性凯勒-里奇流长时间解的存在性。在方程(3)中,我们假设了光滑除子D∈|一λKM|以及h是线丛一λKM上曲率为λω0的光滑埃尔米特度量。记函数F0为对应于度量ω0的里奇势函数,即满足1,函数利用挠动凯勒-里奇流长时间解的存在性和命题0.2,我们得到下述定理:定理0.3.假设β∈(0,1)。则方程的解φε在(M\D)×[0,+∞)上局部光滑的收敛到方程的解φ。与此同时,是锥奇性凯勒-里奇流(3)唯一的长时间解。在得到锥奇性凯勒-里奇流(3)长时间解的存在性之后,结合挠动凯勒-里奇流,我们研究挠动第一陈类(twisted first chern class)C1,β(M)=2πc1(M)-(1-β)[D]为正(即μ>0)的情形下锥奇性凯勒-里奇流(3)的收敛性。为了使读者更好地理解以及简洁起见,我们只对λ=1,即μ=β时的情形予以讨论。首先,我们证明沿一列挠动凯勒-里奇流一致的Perelman估计,其中是一光滑的闭的正定(1,1)-形式。我们通过对挠动凯勒-里奇流情形下Perelman估计所依赖的初始几何条件进行深入研究,发现沿挠动凯勒-里奇流(7)的一致Perelman估计主要依赖于初始度量的挠动数量曲率R(gε(0))-trgε(0)θε和索伯列夫常数Cs(M,gε(0))。但是当β∈(1/2,1)时,挠动数量曲率并不是一致有界的。为了克服这个困难,我们不再直接利用初始度量的几何条件,而是考虑挠动凯勒-里奇流(7)在有限非零时刻(比如t=1时刻)相关几何量的一致有界性。通过这个改进,我们证明了对任意的β∈(0,1),当t≥1时沿挠动凯勒-里奇流(7)的一致Perelman估计。这对我们研究锥奇性凯勒-里奇流(1)的收敛性起到了关键作用。定理0.4.设gε(t)是挠动凯勒-里奇流(7)的解,即其对应的凯勒形式ωε(t)满足方程(7)。令uε(t)∈C∞(M)是对应于度量gε(t)的挠动里奇势函数,即uε(t)满足方程和正规化条件对任意的β∈(0,1),存在一致的常数C,使得对任意的t≥1和ε>0,都有以下估计其中R(gε(t)-tr9e(t)θe和diam(M, gε(t))分别是对应于度量gε(t)的挠动数量曲率(twisted scalar curvature)和流形直径。结合上述一致的Perelman估计,通过对方程(5)在μ=β时选择初值条件利用挠动Mabuchi K-能量泛函Mω0,θε在光滑凯勒势函数空间H(ω0)上的一致正则性性质(properness),沿挠动凯勒-里奇流(7)的一致索伯列夫不等式(Sobolev inequality)以及一致的加权庞加莱不等式(weighted Poincare inequality),我们可以得到方程(5)的解φε(t)是一致C0有界的。众所周知,在光滑凯勒-里奇流的收敛性讨论中,获取解的C0估计起着重要作用。同样,在本文中讨论锥奇性凯勒-里奇流(1)的收敛性时,上述的一致C0估计也是至关重要的。定理0.5.设φε(t)是方程(5)在μ=β时满足初值条件(9)的一个解。如果挠动Mabuchi K-能量泛函Mω0,θε在函数空间H(ω0)上具有一致的正则性性质,则存在一致的常数C,使得对任意的t≥0以及ε>0,我们有下面我们来考虑锥奇性凯勒-里奇流的收敛性。如果在法诺流形M上存在一个沿除子D锥角为2πβ的锥奇性凯勒-爱因斯坦度量ωβ,D,通过其存在性与相应能量泛函正则性之间的关系,定理0.5以及局部的一致正则性估计(见定理0.2),我们利用对角线法则可以得到一时间序列{ti},使得锥奇性凯勒-里奇流(1)的解ω(ti)随时间ti→∞收敛到一个沿除子D锥角为2πβ的锥奇性凯勒-爱因斯坦度量ω∞。最后结合锥奇性凯勒-爱因斯坦度量的唯一性,我们证明了ω(t)一定收敛到度量ω∞=ωβ,D,这个收敛在除子D之外是局部的光滑收敛,在流形M整体上是流动形意义下收敛。事实上,我们证明了关于锥奇性凯勒-里奇流(1)收敛性的下述定理:定理0.6.设β∈(0,1)。如果存在一个沿除子D锥角为2πβ的锥奇性凯勒-爱因斯坦度量ωβ,D,那么对应的带有锥奇性的凯勒-里奇流(1)一定收敛到度量ωβ,D。这个收敛在除子D之外是局部的光滑收敛,在流形M整体上是流动形意义下收敛。