中国科学院大学学报  2016, Vol. 33 Issue (1): 16-22   PDF    
HCMU度量的一个存在性定理和能量积分公式
魏志强, 吴英毅     
中国科学院大学数学科学学院, 北京 101408
摘要: HCMU度量是紧黎曼面上带奇点的extremal Kähler度量.本文给出一个带锥奇点的非常曲率HCMU度量(non-CSC HCMU度量)的存在性定理,并讨论一般non-CSC HCMU度量的能量积分公式.
关键词: extremal Kähler度量     extremal Hermitian度量     non-CSC HCMU度量     锥奇点     cusp奇点    
An existence theorem and energy integral formula of HCMU metrics
WEI Zhiqiang, WU Yingyi     
School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing 101408, China
Abstract: An HCMU metric is an extremal Kähler metric with singularities on a compact Riemann surface. We prove an existence theorem of non-CSC HCMU metrics with conical singularities, and discuss the energy integral formula for general non-CSC HCMU metrics.
Key words: extremal Kähler metric     extremal Hermitian metric     non-CSC HCMU metric     conical singularity     cusp singularity    

本文主要研究紧黎曼面上的HCMU度量问题.

1 背景和主要定理

一般意义上的extremal Kähler度量最早由Calabi在文献[1]中提出,目的是在一个紧Kähler流形的固定Kähler类 中找到最好的度量.具体地,设M为一个紧Kähler流形,在一个固定的Kähler类中,extremal Kähler度量 是下述Calabi能量的临界点

$C\left( g \right)={{\int }_{M}}{{R}^{2}}dg,$

这里R是Kähler类中度量g的数量曲率,C(g)的欧拉-拉格朗日方程是

${{R}_{,\alpha \beta }}=0,1\le \alpha ,\beta \le di{{m}_{c}}M,$ (1)

这里R,αβR的2阶(0,2)型协变导数.因此我们称在一个紧Kähler流形M上满足(1) 的度量为extremal Kähler度量.

M是紧黎曼面时,Calabi在文献[1]中证明extremal Kähler度量就是常曲率(CSC)度量.自然地问题是如果在 紧黎曼面上extremal Kähler度量有奇点,是不是仍是常曲率度量.答案是否定的.在紧黎曼面上带奇点的extremal Kähler 度量 通常被称为HCMU(the Hessian of the curvature of the metric is umbilical)度量.文献[2]给出了只带cusp奇点的HCMU度量的 分类,其中在球面上确实存在非常曲率的HCMU度量.下文中我们简称非常曲率的HCMU度量为non-CSC HCMU度量.之后,文献[3]研究带锥奇点的non-CSC HCMU度量,研究了它的构造,并给出了一个这种HCMU度量存在的障碍性定理. 文献[4]给出带锥奇点的non-CSC HCMU度量的局部结构,证明了任何一个带锥奇点的non-CSC HCMU度量都是由一些 结构最简单的带锥奇点的non-CSC HCMU度量粘起来的,这种结构最简单的带锥奇点的non-CSC HCMU度量称为football.文献[4]还给出了任意两个 football能粘在一起的充要条件.接下来,文献[5]用复分析的方法给出了带锥奇点的non-CSC HCMU度量,得到了 任何一个带锥奇点的non-CSC HCMU度量都与一个底流形上特殊的亚纯1-形式有关,这种亚纯1-形式被称为该HCMU度量的 特征1-形式.文献[6]将文献[5]中的结果推广到了既带锥奇点又带cusp奇点的non-CSC HCMU度量上.

本文将利用上述结果研究两方面问题.第一是带锥奇点的non-CSC HCMU度量的存在性问题,第二是关于non-CSC HCMU度量 的能量积分问题.

第一个问题的结果如下:

定理1.1p1,p2,p3为S2上任意3个点,α123为正实数且都不为1.则在S2上存在以p1,p2,p3为 锥奇点并且锥角度分别为2πα1,2πα2,2πα3的non-CSC HCMU度量的充要条件为α123 中至少有一个整数.

第二个问题的结果如下:

定理1.2 设M为紧黎曼面,p1,p2,…,pNMN个点,gM上non-CSC HCMU度量,并且以p1,p2,…,pN 为奇点. 又设Kg 的高斯曲率,{q1,q2,…,qS}⊂M\{p1,p2,…,pN}K的光滑极值点集,ωg的特征1-形式. 记M′=M\{p1,p2,…,pN,q1,q2,…,qS},令

${{C}_{n}}\left( g \right)={{\int }_{M}}_{\prime }{{K}^{n}}dg,n=0,1,2,\ldots ,$

称为g的第n个能量积分.则

${{C}_{n}}\left( g \right)=\frac{6{{\alpha }_{max~}}({{K}^{n+1}}_{1}-{{K}^{n+1}}_{2})}{\left( n+1 \right)({{K}_{1}}-{{K}_{2}})({{K}_{2}}+2{{K}_{1}})},$

这里αmax表示K的最大值点处的锥角度之和,K1K2分别表示K的最大和最小值.

注:在定理1.2中,g可以是只带锥奇点的non-CSC HCMU度量,也可以是既带锥奇点又带cusp奇点的non-CSC HCMU度量. 事实上,文献[4]已经计算出了一个football的面积,再利用文献[4]中得到的任意 两个football能粘在一起的充要条件(见下文定理2.3),可以得到任何一个带锥奇点的non-CSC HCMU度量的面积.文献[5]定义了带锥奇点的non-CSC HCMU 度量的特征1-形式,并且说明利用特征1-形式也能计算出带锥奇点的non-CSC HCMU度量的面积和Calabi能 量,但是没有给出具体的公式.文献[6]将文献[5]的结果推广到了带锥奇点和cusp奇点的non-CSC HCMU度量上,也定义了相应的特征1-形式.定理1.2利用non-CSC HCMU度量的特征1-形式给出了只带锥奇点以及既带锥奇点又带cusp奇点的non-CSC HCMU 度量的第n个能量积分公式,自然也包括了面积和Calabi能量的表达式.

2 预备知识 2.1 HCMU度量,锥奇点和cusp奇点

M为紧黎曼面,p1,p2,…,pNMN个点.又设gM\{p1,p2,…,pN}上的光滑保角度量,如果g满足

${{\Delta }_{g}}K+{{K}^{2}}=C,$ (2)

这里Kg的高斯曲率,C为实常数,称gM上extremal Hermitian度量.(2)等价于在局部复坐标系下有

$\frac{\partial {{K}_{,zz}}}{\partial \bar{z}}=0,$ (3)

见文献[3].如果g满足在局部复坐标系下

${{K}_{,zz}}=0,$ (4)

g为HCMU度量.明显HCMU度量一定是extremal Hermitian度量,并且HCMU度量就是extremal Kähler度量在M\{p1,p2,…,pN}上的直接推广.在下文中,我们一直假设extremal Hermitian度量和HCMU度量有有限的 面积和有限的Calabi能量,即

${{\int }_{M\backslash \{p}}_{1}{{,}_{{{p}_{2}},\ldots ,{{p}_{N}}\}}}dg<+\infty ,{{\int }_{M\backslash \{p}}_{1}{{,}_{{{p}_{2}},\ldots ,{{p}_{N}}\}}}{{K}^{2}}dg<+\infty .$ (5)

下面介绍锥奇点和cusp奇点:

定义2.1X为黎曼面,p∈X.又设(U,z)为p附近的局部复坐标系且z(p)=0,g为U\{p}上光滑度量.如果g=e|dz|2,并且φ-(α-1)ln|z|(α >0)在p处连续,称p为g的锥奇点并且g在p处有锥角度2πα.

定义2.2 设X为黎曼面,p∈X.又设(U,z)为p附近的局部复坐标系且z(p)=0,g为U\{p}上的光滑度量.如果g=e|dz|2,并且$\underset{z\to 0}{\mathop{lim}}\,\frac{\varphi +ln~\left| z \right|}{ln~\left| z \right|}=0$称p为g的cusp奇点.

事实上,如果HCMU度量满足(5),则它的奇点或者是锥奇点或者是cusp奇点,见文献[6-8].

2.2 带锥奇点的non-CSCHCMU度量的基本性质,football分解与粘合

仍然假设M为紧黎曼面,p1,p2,…,pNMN个点,gM\{p1,p2,…,pN}上光滑保角度量.设(U,z)为M\{p1,p2,…,pN}上的局部复 坐标系,则gU上可写成

$g={{e}^{2\varphi }}|dz{{|}^{2}},$

于是高斯曲率K=-e-2φΔφ,这里$\Delta =4\frac{{{\partial }^{2}}}{\partial z\partial \bar{z}}$如果gM\{p1,p2,…,pN}上的HCMU度量,即式(4)成立,这等价于

$\nabla K=\sqrt{-1}{{e}^{-2\varphi }}{{K}_{{\bar{z}}}}\frac{\partial }{\partial \bar{z}}$

M\{p1,p2,…,pN}上 的全纯向量场,这也等价于

$V=\frac{1}{2}\left( \sqrt{-1}{{e}^{-2\varphi }}{{K}_{{\bar{z}}}}\frac{\partial }{\partial z}-\sqrt{-1}{{e}^{-2\varphi }}{{K}_{z}}\frac{\partial }{\partial \bar{z}} \right)$

M\{p1,p2,…,pN}上的Killing 向量场.进一步,如果g是non-CSC HCMU度量,∇KV都是非平凡的.

现在假设g为non-CSC HCMU度量,p1,p2,…,pNg的锥奇点,并且gp1,p2,…,pN处分别有锥角度2πα1,2πα2,…,2παN,这里α12,…,αN都为正实数并且都不为1,因为文献[9]证明了如果HCMU度量在某点处的锥角度为2π,则度量在该点处光滑,即该点实际上不是度量的奇点.Chen[3]通过研究V以及V的积分曲线得到如下重要结论:

命题2.1(文献[3]) 高斯曲率K可以连续地延拓到整个M上.

命题2.2(文献[3]) V的奇点数有限,并且V的奇点集一定是K的鞍点集和K的局部极值点集的并集,这里K的鞍点是指存在两条以上V的积分曲线在该点相交.

命题2.3(文献[3]) K的鞍点必为g的锥奇点,并且K的鞍点锥角度为2πα形式,这里α为整数,进一步VK的鞍点处的旋转指标为α-1.

命题2.4(文献[3]) g的锥奇点除了K的鞍点外,都是K的局部极值点.K的光滑临界点都是局部极值点,即K的局部极值点分成2类:一类是g的除鞍点外的锥奇点,另一类是K的全部光滑临界点.VK的任何一个局部极值点处的旋转指标都是1.

定理2.1(文献[3]) 设{p1,p2,…,pI}⊂{p1,p2,…,pN}为K鞍点集,则M的欧拉示性数为

$\chi \left( M \right)=\sum\limits_{i=1}^{I}{({{\alpha }_{i}}-1)+\left( N-I \right)+S,}$ (6)

这里S表示K的光滑临界点个数.

注:定理2.1是将Poincaré-Hopf定理应用到V上并且结合命题2.2,2.3和2.4得到的.

由定理2.1,可以得到如果K没有鞍点,χ(M)=N+S >0,因此,M为球面,并且N+S=2,即K 只有2个局部极值点分别在K的 最大、最小值点处.这种HCMU度量实际上是旋转对称的,称为football,如图 1所示.

Download:
图 1 Football
Fig. 1 Football

这里南北极分别是K的最小、最大值点,并且度量在两点处的锥角度分别为2πβ、2πα,α>β,纬线为V的积分曲线.具体地,g=du2+f(u)22(0≤u≤l,0≤θ≤2π),这里f(u)满足基本性质:f(0)=f(l)=0;f ′(0)=α,f′(l)=-β;f(u)>0,u∈(0,l).由于g为HCMU度量,f还要满足其他性质,关于football 的详细描述见文献[4].为了方便,记这样的football为S{α,β}2.此外,文献[3]还给出了利用football构造复杂一些non-CSC HCMU度量的方法,例如:取2个相同的football,${{S}^{2}}_{\left\{ \frac{1}{2},\frac{1}{3} \right\}}$,见图 2.分别从K的最小值点沿经线剪开相同的距离,然后将 经线PP′,QQ′粘在一起,于是得到一个新non-CSC HCMU度量,这个HCMU度量 有锥角度2$2\pi \frac{1}{2},2\pi \frac{1}{2},4\pi ,2\pi \frac{2}{3}$A(A′)K的鞍点,锥角度为4π.

Download:
图 2 2个football粘合
Fig. 2 Gluing of two footballs

文献[4]继续文献[3]中的研究,得到了下面一些结果.

命题2.5(文献[4]) 带锥奇点的non-CSC HCMU度量,任何K的局部极值点都是K的最大或最小值点.如果记K1、K2为K的最大最小值,则K1 >0,K1>K2>-(K1+K2).

定理2.2(文献[4]) 带锥奇点的non-CSC HCMU度量都可以沿着有限条从K的最大值点到K的最小值点的测地线(这些测地线与V垂直)将底流形剖分成有限多片,而每一片都与某个football等距.

定理2.3(文献[4]) 两个football S{α1,β1}2与S{α2,β2}2能沿着经线或经线的一段粘起来的充要条件是:

$\frac{{{\alpha }_{1}}}{{{\beta }_{1}}}=\frac{{{\alpha }_{2}}}{{{\beta }_{2}}},\frac{{{\alpha }_{1}}}{{{\alpha }_{2}}}=\frac{{{A}_{1}}}{{{A}_{2}}},$

这里A1、A2分别表示S{α1,β1}2和S{α2,β2}2 的面积.

2.3 特征1-形式与non-CSCHCMU度量 2.3.1 带锥奇点的non-CSC HCMU度量

文献[5]用复分析的方法研究了带锥奇点的non-CSC HCMU度量.具体地,其定义了∇K的对偶1-形式,称为特征1-形式. 证明了特征1-形式为亚纯1-形式,研究了特征1-形式在奇点处的阶以及留数性质,并且利用特征1-形式构造出了non-CSC HCMU度量.

仍沿用之前的记号,令M是紧黎曼面,p1,p2,…,pNMN个点,gM 上的non-CSC HCMU度量,在p1,p2,…,pN处有锥奇点并且有锥角度2πα1,2πα2,…,2παN.又设{p1,p2,…,pI}{p1,p2,…,pN}K的鞍点,{pI+1,pI+2,…,pJ}{p1,p2,…,pN}K的最大值点,{pJ+1,pJ+2,…,pN}{p1,p2,…,pN}K 的最小值点. 再设 {q1,q2,…,qS}M\{p1,p2,…,pN}K的光滑极值点,其中q1,q2,…,qTK的最大值点,qT+1,qT+2,…,qSK的最小值点.则∇K在 M\{p1,p2,…,pN,q1,q2,…,qS} 上处处非零,于是定义ω为∇K的对偶1-形式,具体地,令ω为M\{p1,p2,…,pN,q1,q2,…,qS}上的全纯1-形式且 ω(∇K)=-14 (这里-14是技术性常数),称ω为g的特征1-形式.于是有下列结果:

定理2.4(文献[5]) ω为M上亚纯1-形式.p1,p2,…,pI为ω的零点并且ω在pi,i=1,2,…,I处的阶为αi-1.pI+1,pI+2,…,pN,q1,q2,…,qS都是ω的单极点.

定理2.5(文献[5]) 1)在M\{p1,p2,…,pN,q1,q2,…,qS}上有,

$K=(-\frac{{{K}^{3}}}{3}+CK+C\prime )\omega ,$ (7)

这里C是(2)式中常数,C′是实常数.

2) 在M\\{p1,p2,…,pN,q1,q2,…,qS}上有

$g=4(-\frac{{{K}^{3}}}{3}+CK+C\prime )\omega \bar{\omega }.$ (8)
$3)-\frac{{{K}^{3}}}{3}+CK+C\prime =-\frac{1}{3}(K-{{K}_{1}})(K-{{K}_{2}})(K+{{K}_{1}}+{{K}_{2}}),$ (9)

这里K1、K2分别为K的最大最小值.

定理2.6(文献[5]) 令αmaxI+1I+2+…+αJ+T,αminJ+1J+2+…+αN+S-T,$\lambda =-\frac{{{{\bar{\alpha }}}_{max~}}}{{{{\bar{\alpha }}}_{min~}}},\sigma =-\frac{3}{({{K}_{1}}-{{K}_{2}})({{K}_{2}}+2{{K}_{1}})}.$.则 λ <-1,${{K}_{2}}=-\frac{\lambda +2}{2\lambda +1}{{K}_{1}}.$.并且在pj,j=I+1,I+2,…,J处,ω的留数为 σαj;在pk,k=J+1,J+2,…,N处,ω的留数为λσαk;在qt,t=1,2,…,T处,ω的留数为σ; 在qτ,τ=T+1,T+2,…,S处,ω的留数为λσ.

注:由于文献[9]证明了如果HCMU度量在某点处的锥角度为2π,则度量在该点处光滑.因此,可以把K的光滑极值点看成锥角度为2π的锥奇点.在这种观点下,${{a}_{max}}\triangleq 2\pi {{\tilde{a}}_{max}},{{a}_{\min }}\triangleq 2\pi {{\tilde{a}}_{\min }}$分别可以看成K的最大值点和最小值点的角度之和.同样在这种观点下,如果pK的最大值点,ω 在p处的留数可以写成 σα,这里2πα为g在p处的锥角度,类似地,如果pK的最小值点,ω在p处的留数为λσα,这里 2παgp处的锥角度.

2.3.2 既带锥奇点又带cusp奇点的non-CSC HCMU度量

文献[6]将文献[5]的结果推广到了既带锥奇点又带cusp奇点的non-CSC HCMU度量上.具体地,令M为紧 黎曼面,p1,p2,…,pNMN个点,设gM上non-CSC HCMU 度量,p1,p2,…,pL(0 <L≤N)g的cusp奇点,pL+1,pL+2,…,pNg的锥奇点并且分别有锥角度2παL+1,2παL+2,…,2παN.则有下列结论:

命题2.6(文献[6]) 高斯曲率K为M上的连续函数.

命题2.7(文献[6]) 存在实常数C′使得在M\{p1,p2,…,pN}上,

$-4\sqrt{-1}\nabla K\left( K \right)=-\frac{{{K}^{3}}}{3}+CK+C\prime .$

命题 2.8(文献[6]) K的光滑极值点数有限.

由命题2.8,设q1,q2,…,qSK的所有光滑极值点.于是∇K M\{p1,p2,…,pN,q1,q2,…,qS} 上处处非零的全纯向量场.因此,可以像在2.3.1中那样定义∇K的对偶1-形式ω,ω(∇K)=$\frac{\sqrt{-1}}{4}$,称为g的特征1- 形式. 于是有:

定理 2.7(文献[6]) ω为M上亚纯1-形式,在M\{p1,p2,…,pN,q1,q2,…,qS} 上有:

$1)\partial K=(-\frac{{{K}^{3}}}{3}+CK+C\prime )\omega ,$
$2)g=(-\frac{{{K}^{3}}}{3}+CK+C\prime )\omega \bar{\omega }.$

定理 2.8(文献[6]) 存在μ <0,使得$\underset{p\to {{p}_{l}}}{\mathop{limp}}\,K\left( p \right)=\mu ,l=1,2,\ldots ,L,$并且

$-\frac{{{K}^{3}}}{3}+CK+C\prime =-\frac{1}{3}{{\left( K-\mu \right)}^{2}}\left( K+2\mu \right).$

进一步,在M\{p1,p2,…,pN,q1,q2,…,qS} 上,μ <K<-2μ.

定理2.9(文献[6]) g的cusp奇点都是ω的单极点,并且ω在该极点处有正留数.在K的光滑极值点q1,q2,…,qS处,K的 取值都是-2μ,并且ω在每个K的光滑极值点处的留数都是$-\frac{1}{3{{\mu }^{2}}}$.

定理2.10(文献[6]) 每个g的锥奇点或者是ω的零点或者是ω的单极点,不妨设pL+1,pL+2,…,pL+I为ω的零点,pL+I+1,pL+I+2,…,pN为ω的单极点.则αi,i=L+1,L+2,…,L+I,为整数,ω在 pi处的阶为αi-1,K可以光滑延拓到pi处,$\mu <\underset{p\to {{p}_{i}}}{\mathop{limp}}\,K\left( p \right)<-2\mu $并且dK(pi)=0,即 pi为K的鞍点.在pk,k=L+I+1,L+I+2,…,N,处,ω的留数为$-\frac{{{a}_{k}}}{3{{\mu }^{2}}}$并且$\underset{p\to {{p}_{i}}}{\mathop{limp}}\,K\left( p \right)=-2\mu .$

3 定理1.1的证明

在定理1.1的证明中,必要性的证明比较容易,充分性的证明主要是将文献[3]中构造non-CSC HCMU度量的方法推广.

定理1.1的证明 (必要性)设S2上存在以p1,p2,p3为锥奇点的non-CSC HCMU度量g,并且gp1,p2,p3处的锥角度分别为 2πα1,2πα2,2πα3.如果α123中没有整数,由命题2.3,K没有鞍点,又由定理2.1,g为 football.再由定理2.1,公式(6)成立,而公式(6)左边为2,右边为3+S≥3,矛盾.因此,α123 中必有整数.

(充分性)如果α123中有整数,不妨设α1为整数.则α1-1≥1,并且α1-1+α2>α3或者 α1-1+α3>α2,不妨假设前者成立.令$\rho =\frac{{{\alpha }_{3}}}{{{\alpha }_{1}}-1+{{\alpha }_{2}}},$,则ρ <1.取α1个football:S{α2,ρα2}2$\underbrace{{{S}^{2}}_{\{1,\rho \}},\ldots ,{{S}^{2}}_{\{1,\rho \}}}_{{{\alpha }_{1}}-1},$并且满足定理2.3条件,即

$\frac{{{S}^{2}}{{_{\{\alpha }}_{2}}{{,}_{\rho {{\alpha }_{2}}}}_{\}}的面积}{{{S}^{2}}_{\{1,\rho \}}的面积}={{\alpha }_{2}},$

于是由定理2.3,S{α2,ρα2}2和 S{1,ρ}2 能沿经线或经线的一段光滑粘起来.取S{α2,ρα2}2和一个S{1,ρ}2,如同上文中文献[3] 中构造的那样,先将S{α2,ρα2}2和S{1,ρ}2K的最小值点沿着经线剪开相同的长度,再将S{α2,ρα2}2剪开后的经线与S{1,ρ}2剪开后的经线相应地粘在一起,于是 得到一个新的non-CSC HCMU度量有锥角度2πα2,4π,2π(ρα2+ρ). 再取一个S{1,ρ}2,也从K的最小值点沿着经线剪开与前面相同的长度,将 上一步中,粘在一起的两条经线中的一段再剪开,与新的S{1,ρ}2中被剪开的经线再相应地粘在一起,于是又得到一个新的non-CSC HCMU度量,有锥角度2πα2,6π,2π(ρα2+2ρ).然后重复上述步骤,直到把所有S{1,ρ}2用完,最终得到一个non-CSC HCMU度量,有锥角度2πα2,2πα1,2π[ρα2+(α1-1)ρ],而由ρ的定义,ρα2+(α1-1)ρ=α3.因此,最终得到一个non-CSC HCMU度量,有预先指定的锥角度,并且底流形是球面.将这个non-CSC HCMU度量记为g,底流形记为M,则存在f:S2→M为双全纯映射.于是拉回度量f*g为S2上的non-CSC HCMU度量,设f*g的奇点为q1,q2,q3,则存在Mbius 变换σ:S2→S2使得σ(p1)=q1,σ(p2)=q2,σ(p3)=q3. 于是σ*f*g为S2上的non-CSC HCMU度量并且以p1,p2,p3为锥奇点.由于σ和f都是双全纯变换,p1,p2,p3处的锥角度分别为2πα1,2πα2,2πα3.证毕.

4 定理1.2的证明

由于带锥奇点的non-CSC HCMU度量与既带锥奇点又带cusp奇点的non-CSC HCMU度量很相似,这里只计算带锥奇点的non-CSC HCMU度量的第n个能量积分.

定理1.2的证明 首先不妨设{p1,p2,…,pI}⊂{p1,p2,…,pN}K的鞍点集.由定理2.5,在M′上,

$g=-\frac{4}{3}(K-{{K}_{1}})(K-{{K}_{2}})(K+{{K}_{1}}+{{K}_{2}})\omega \bar{\omega }$

以及

$dK=-\frac{1}{3}(K-{{K}_{1}})(K-{{K}_{2}})(K+{{K}_{1}}+{{K}_{2}})\left( \omega +\bar{\omega } \right).$

因此,在M′上

${{K}^{n}}dg=\frac{\sqrt{-1}}{2}{{K}^{n}}[-\frac{4}{3}(K-{{K}_{1}})(K-{{K}_{2}}),$
$(K+{{K}_{1}}+{{K}_{2}})]\omega \wedge \bar{\omega }.=\frac{\sqrt{-1}}{2}4{{K}^{n}}dK\wedge \bar{\omega }=\frac{\sqrt{-1}}{2}\frac{4}{n+1}d({{K}^{n+1}}\omega -).$

于是

${{C}_{n}}\left( g \right)={{\int }_{M}}\prime {{K}^{n}}dg=\frac{\sqrt{-1}}{2}n+1{{\int }_{M}}\prime d({{K}^{n+1}}\bar{\omega })=\frac{2\sqrt{-1}}{n+1}\underset{\in \to 0}{\mathop{lim}}\,{{\int }_{M\backslash (\cup }}{{^{N}}_{k=1}}{{_{{{D}_{\in }}({{p}_{k}})\cup {{\cup }^{S}}_{j=1}{{D}_{\in }}({{q}_{j}}))}}^{d({{K}^{n+1}}\omega -),}}$

这里D(pk)(D(qj))表示以pk(qj)为圆心半径为∈的坐标圆盘.由Stokes公式,

${{\int }_{M\backslash \in (\cup }}{{^{N}}_{k=1}}{{_{D({{p}_{k}})\cup {{\cup }^{S}}_{j=1}{{D}_{\in }}({{q}_{j}}))}}^{d({{K}^{n+1}}\omega -)}}=-\underset{k=1}{\overset{N}{\mathop{\sum }}}\,{{\int }_{\partial D}}{{_{\in }}_{({{p}_{k}})}}{{K}^{n+1}}\bar{\omega }-\underset{j=1}{\overset{S}{\mathop{\sum }}}\,{{\int }_{\partial D}}{{_{\in }}_{({{p}_{j}})}}{{K}^{n+1}}\bar{\omega }.$

由于p1,p2,…,pI为ω的零点,

$\underset{\in \to 0}{\mathop{lim}}\,{{\int }_{\partial D}}{{_{\in }}_{({{p}_{i}})}}{{K}^{n+1}}\bar{\omega }=0,i=1,2,\ldots ,I,$

$\underset{\in \to 0}{\mathop{lim}}\,{{\int }_{\partial D}}{{_{\in }}_{({{p}_{l}})}}{{K}^{n+1}}\bar{\omega }=(-2\pi \sqrt{-1})Re{{s}_{p}}_{l}\left( \omega \right){{(K({{p}_{l}}))}^{n+1}},l=I+1,I+2,\ldots ,N,$

类似地,

$\underset{\in \to 0}{\mathop{lim}}\,{{\int }_{\partial D}}{{_{\in }}_{({{q}_{j}})}}{{K}^{n+1}}\bar{\omega }=(-2\pi \sqrt{-1})Re{{s}_{q}}_{j}\left( \omega \right){{(K({{q}_{j}}))}^{n+1}},j=1,2,\ldots ,S.$

由定理2.6,如果pl,l=I+1,I+2,…,N,K的最大值点,则

$K({{p}_{l}})={{K}_{1}},Re{{s}_{p}}_{l}\left( \omega \right)=-\frac{3{{\alpha }_{l}}}{({{K}_{1}}-{{K}_{2}})({{K}_{2}}+2{{K}_{1}})};$

如果plK的最小值点,则

$K({{p}_{l}})={{K}_{2}},Re{{s}_{p}}_{l}\left( \omega \right)=\frac{{{{\tilde{\alpha }}}_{max}}}{{{{\tilde{\alpha }}}_{min}}}\frac{3{{\alpha }_{l}}}{({{K}_{1}}-{{K}_{2}})({{K}_{2}}+2{{K}_{1}})};$

如果qj,j=1,2,…,S,为K的最大值点,则

$K({{q}_{j}})={{K}_{1}},Re{{s}_{q}}_{j}\left( \omega \right)=-\frac{3}{({{K}_{1}}-{{K}_{2}})({{K}_{2}}+2{{K}_{1}})};$

如果qj为K的最小值点,则

$K({{q}_{j}})={{K}_{2}},Re{{s}_{q}}_{j}\left( \omega \right)=\frac{{{{\tilde{\alpha }}}_{max}}}{{{{\tilde{\alpha }}}_{min}}}\frac{3}{({{K}_{1}}-{{K}_{2}})({{K}_{2}}+2{{K}_{1}})}.$

因此,

$\begin{align} & \underset{\in \to 0}{\mathop{lim}}\,(-\underset{k=1}{\overset{N}{\mathop{\sum }}}\,{{\int }_{\partial D}}{{_{\in }}_{({{p}_{k}})}}{{K}^{n+1}}\bar{\omega }-\underset{j=1}{\overset{S}{\mathop{\sum }}}\,{{\int }_{\partial D}}{{_{\in }}_{({{p}_{j}})}}{{K}^{n+1}}\bar{\omega })= \\ & \frac{2\pi \sqrt{-}1\left( -3 \right){{K}^{n+1}}_{1}{{{\tilde{\alpha }}}_{max}}}{({{K}_{1}}-{{K}_{2}})({{K}_{2}}+2{{K}_{1}})}+\frac{2\pi \sqrt{-1}\text{ }3{{K}^{n+1}}_{2}}{({{K}_{1}}-{{K}_{2}})({{K}_{2}}+2{{K}_{1}})}\frac{{{{\tilde{\alpha }}}_{max}}}{{{{\tilde{\alpha }}}_{min}}}{{{\tilde{\alpha }}}_{min}} \\ & =\frac{3\sqrt{-1}({{K}^{n+1}}_{2}-{{K}^{n+1}}_{1}){{\alpha }_{max}}}{({{K}_{1}}-{{K}_{2}})({{K}_{2}}+2{{K}_{1}})}, \\ \end{align}$

这里αmax=2παmax.因此,

${{C}_{n}}\left( g \right)=\frac{6{{\alpha }_{max~}}({{K}^{n+1}}_{1}-{{K}^{n+1}}_{2})}{\left( n+1 \right)({{K}_{1}}-{{K}_{2}})({{K}_{2}}+2{{K}_{1}})}.$

证毕.

参考文献
[1] Calabi E. Extremal Kähler metrics [C]//Seminar on differential geometry. Ann of Math Stud 102, Princeton: Princeton Univ. Press, 1982: 259-290.
[2] Chen X X. Extremal Hermitian metrics on Riemann surfaces[J]. Calc Var , 1999, 8 :191–232. DOI:10.1007/s005260050123
[3] Chen X X. Obstruction to the existence of metric whose curvature has umbilical Hessian in a K-surface[J]. Communications in Analysis and Geometry , 2000, 8 (2) :267–299. DOI:10.4310/CAG.2000.v8.n2.a2
[4] Chen Q, Chen X X, Wu Y Y. The structure of HCMU metric in a K-surface[J]. International Mathematics Research Notices , 2005, 16 :941–958.
[5] Chen Q, Wu Y Y. Character 1-form and the existence of an HCMU metric[J]. Math Ann , 2011, 351 (2) :327–345. DOI:10.1007/s00208-010-0598-z
[6] Chen Q, Wu Y Y, Xu B. On one-dimensional and singular Calabi's extremal metrics whose Gauss curvatures have nonzero umbilical Hessians[J]. Israel Journal of Mathematics , 2015, 208 (1) :385–412. DOI:10.1007/s11856-015-1204-6
[7] Chen X X. Weak limits of Riemannian metrics in surfaces with integral curvature bound[J]. Calc Var , 1998, 6 :189–226. DOI:10.1007/s005260050089
[8] Wang G F, Zhu X H. Extremal Hermitian metrics on Riemann surfaces with singularities[J]. Duke Math Journal , 2000, 104 (2) :181–210. DOI:10.1215/S0012-7094-00-10421-8
[9] Lin C S, Zhu X H. Explicit construction of extremal Hermitian metric with finite conical singularities onS2[J]. Communications in Analysis and Geometry , 2002, 10 (1) :177–216. DOI:10.4310/CAG.2002.v10.n1.a8