第三章Riemann-Roch定理本章主要研究紧致（无边）黎曼曲面，我们要证明极为重要的Riemann-Roch公式，并探讨这个公式的一些应用.83.1因子定义3.1.1(因子).设M为黎曼曲面，考虑映射D：M→Z.如果除了有限个点pEM之外，均有D(P)=0,则称D为M上的一个因子通常，我们用一个形式和Z,D(p)·p来表示M上的因子D.如果D(P)≥0,DEMVpEM,则称D为M上的有效因子，记为D≥0.用D表示M上因子全体组成的集合，在D内可以自然地引入群的运算：设 Di,D2eD, Di = Di(p) -p,ZD2(p)·p,定义PEMPEM(Di(p) + D2(p) ·p,Di + D2 = PEM (Di(p)-D2(p)-p.D1 - D2 =PEM在这些运算下，D成为一个交换群，称为因子群定义从D到整数加群Z的同态如下：d:D→ZD- ZD(p).PEMd(D)=D(p)称为因子D的次数PEM例3.1.1.亚纯函数诱导的因子设f为黎曼曲面M上的亚纯函数，则f决定了一个因子（f)，定义如下：(f) = vp(f) -p.PEM于诱导的因子（J)具有如下性质：·如果M为紧致黎曼曲面，则d((f))=0.这是留数公式的推论；· (f - g) = (f) + (g), (f/g) = (f) - (g)57
第三章 Riemann-Roch 定理 本章主要研究紧致 (无边) 黎曼曲面, 我们要证明极为重要的 Riemann-Roch 公 式, 并探讨这个公式的一些应用. §3.1 因子 定义 3.1.1 (因子). 设 M 为黎曼曲面, 考虑映射 D : M Ñ Z. 如果除了有限 个点 p P M 之外, 均有 Dppq “ 0, 则称 D 为 M 上的一个因子. 通常, 我们用一个形式和 ř pPM Dppq ¨ p 来表示 M 上的因子 D. 如果 Dppq ě 0, @ p P M, 则称 D 为 M 上的有效因子, 记为 D ě 0. 用 D¯ 表示 M 上因子全体组成 的集合, 在 D¯ 内可以自然地引入群的运算: 设 D1, D2 P D¯, D1 “ ř pPM D1ppq ¨ p, ř pPM D2ppq ¨ p, 定义 D1 ` D2 “ ÿ pPM pD1ppq ` D2ppqq ¨ p, D1 ´ D2 “ ÿ pPM pD1ppq ´ D2ppqq ¨ p. 在这些运算下, D¯ 成为一个交换群, 称为因子群. 定义从 D¯ 到整数加群 Z 的同态 如下: d : D¯ Ñ Z D ÞÑ ÿ pPM Dppq. dpDq “ ř pPM Dppq 称为因子 D 的次数. 例 3.1.1. 亚纯函数诱导的因子. 设 f 为黎曼曲面 M 上的亚纯函数, 则 f 决定了一个因子 pfq, 定义如下: pfq “ ÿ pPM νppfq ¨ p. f 诱导的因子 pfq 具有如下性质: • 如果 M 为紧致黎曼曲面, 则 dppfqq “ 0. 这是留数公式的推论; • pf ¨ gq “ pfq ` pgq, pf{gq “ pfq ´ pgq. 57
58第三章Riemann-Roch定理定义3.1.2（主要因子群）.如果M为紧致黎曼曲面，f为M上的亚纯函数，则称（f）为一个主要因子.记P=(f)Ifem(M))，P为因子群的子群，称为主要因子群根据主要因子的性质我们知道，PcKerd，因此d诱导了D/P到Z的同态称商群DP为因子类群，记为D.VD,D'D,如果D-D'EP,则称D与D线性等价，用D=D'表示.例3.1.2.亚纯微分诱导的因子设w为黎曼曲面M上的亚纯微分，则w决定了M上的一个因子，记为(w),定义如下：(w) = vp(w) ·p.PEM如果w为另一亚纯微分，则有(w) - (w') = E (vp(w) -vp(w')) ·ppeM=Zvp(w/w)·pPEM= (w/w').这里，w/w是M上的亚纯函数，因而（w）和（w）线性等价，记它们在因子类群中的等价类为K，称为典范因子(类)定义3.1.3.设M为紧致黎曼曲面，D为M上的一个因子.令I(D)=(f em(M)I(f)+D≥0)i(D) = (w ER(M)I(w) -D≥0)I(D）和（D)分别是亚纯函数域m(M）和亚纯微分空间R(M）的子集.下面的引理表明，它们都是有限维的子向量空间。引理3.1.1.(D)和（D)具有以下性质：(i)(D)和(D)为复向量空间。如果 D~D',则 I(D)与 I(D')线性同构,D)与(D')线性同构；(i)l(D)和（D)为有限维复向量空间;(ii)如果K为典范因子,则(D)与 l(K-D)线性同构证明.(i)设f,gel(D),则由p(f+g)≥min(vp(f),vp(g))以及(f)+D≥0,(g)+D≥0 知 vp(f +g)+D(p)≥0, VpE M. 这说明 f +g E l(D).如果入C,feI(D),则显然入f eI(D).因此I(D)为复向量空间
58 第三章 Riemann-Roch 定理 定义 3.1.2 (主要因子群). 如果 M 为紧致黎曼曲面, f 为 M 上的亚纯函数, 则称 pfq 为一个主要因子. 记 P “ tpfq | f P MpMqu, P 为因子群的子群, 称为主 要因子群. 根据主要因子的性质我们知道, P Ă Kerd, 因此 d 诱导了 D¯{P 到 Z 的同态. 称商群 D¯{P 为因子类群, 记为 D. @D, D1 P D¯, 如果 D ´ D1 P P, 则称 D 与 D1 线 性等价, 用 D – D1 表示. 例 3.1.2. 亚纯微分诱导的因子. 设 ω 为黎曼曲面 M 上的亚纯微分, 则 ω 决定了 M 上的一个因子, 记为 pωq, 定义如下: pωq “ ÿ pPM νppωq ¨ p. 如果 ω 1 为另一亚纯微分, 则有 pωq ´ pω 1 q “ ÿ pPM pνppωq ´ νppω 1 qq ¨ p “ ÿ pPM νppω{ω 1 q ¨ p “ pω{ω 1 q. 这里, ω{ω 1 是 M 上的亚纯函数, 因而 pωq 和 pω 1 q 线性等价, 记它们在因子类群中 的等价类为 K, 称为典范因子(类). 定义 3.1.3. 设 M 为紧致黎曼曲面, D 为 M 上的一个因子. 令 lpDq “ tf P MpMq | pfq ` D ě 0u, ipDq “ tω P KpMq | pωq ´ D ě 0u. lpDq 和 ipDq 分别是亚纯函数域 MpMq 和亚纯微分空间 KpMq 的子集. 下面 的引理表明, 它们都是有限维的子向量空间. 引理 3.1.1. lpDq 和 ipDq 具有以下性质: piq lpDq 和 ipDq 为复向量空间. 如果 D – D1 , 则 lpDq 与 lpD1 q 线性同构, ipDq 与 ipD1 q 线性同构; piiq lpDq 和 ipDq 为有限维复向量空间; piiiq 如果 K 为典范因子, 则 ipDq 与 lpK ´ Dq 线性同构. 证明. piq 设 f, g P lpDq, 则由 νppf ` gq ě mintνppfq, νppgqu 以及 pfq ` D ě 0, pgq ` D ě 0 知 νppf ` gq ` Dppq ě 0, @ p P M. 这说明 f ` g P lpDq. 如果 λ P C, f P lpDq, 则显然 λf P lpDq. 因此 lpDq 为复向量空间
83.1因子59如果D'=D+(fo),foEm(M),则(f)+D≥0 (f)+D+(fo)≥0 (ffo)+D≥0,从而下面的映射:I(D) -→I(D)f→ffo为线性同构.对于（D的证明是完全类似的，留作习题.(i)首先,把因子D写成两个有效因子的差：D=D1-D2,D1≥0,D2≥0.显然，I(D)Cl(Di).我们证明对于有效因子D1，diml(Di）<00.对d(Di）进行归纳.当d(D)=0时，D=0,因此 I(Di)=I(0)=(f m(M)I(f)≥0)=(M上的全纯函数)=C.假设d(Di)=m时，diml(Di)<c0,则当d(Di)=m+1时，可设Di=n·p+.",n>0.记 AD = (f e I(Di)Ivp(f)>-n,BD, = (f e 1(Di)Ivp(f) = -n). 则显然AD,UBD=I(Di),且AD I(Di-p)。由归纳假设，dimAD<00.如果BD,≠,取foeBD1，设z为p附近的局部坐标函数，z(p)=0.在p附近fo有展开fo(z) = a=nz-n + a=n+12-n+1 +..*a=n ± 0.任取fEBD1f都有类似的展开式，从而存在入eC，使得f-入foEADr这说明l(Di)=span(fo,ADi).特别地,diml(Di)≤dimAD,+1<00.由归纳法，这就证明了1(D）总是有限维的复向量空间.对于（D）的证明是完全类似的，留作习题(ii)设典范因子K由M上非零亚纯微分w生成.则有(n)- D≥0 (n) - (w) + (w) -D≥0 (n/w) +K- D≥0.从而下面的映射b: i(D) →I(K -D)n→n/w.口为线性同构从上面引理的证明我们还得到以下的推论
§3.1 因子 59 如果 D1 “ D ` pf0q, f0 P MpMq, 则 pfq ` D1 ě 0 ðñ pfq ` D ` pf0q ě 0 ðñ pff0q ` D ě 0, 从而下面的映射 ϕ : lpD1 q Ñ lpDq f ÞÑ ff0. 为线性同构. 对于 ipDq 的证明是完全类似的, 留作习题. piiq 首先, 把因子 D 写成两个有效因子的差: D “ D1 ´ D2, D1 ě 0, D2 ě 0. 显然, lpDq Ă lpD1q. 我们证明对于有效因子 D1, dim lpD1q ă 8. 对 dpD1q 进 行归纳. 当 dpD1q “ 0 时, D1 “ 0, 因此 lpD1q “ lp0q “ tf P MpMq | pfq ě 0u “ tM 上的全纯函数u “ C. 假设 dpD1q “ m 时, dim lpD1q ă 8, 则当 dpD1q “ m ` 1 时, 可设 D1 “ n ¨ p ` ¨ ¨ ¨ , n ą 0. 记 AD1 “ tf P lpD1q | νppfq ą ´nu, BD1 “ tf P lpD1q | νppfq “ ´nu. 则显然 AD1 Y BD1 “ lpD1q, 且 AD1 Ă lpD1 ´ pq. 由归纳假设, dim AD1 ă 8. 如果 BD1 ‰ H, 取 f0 P BD1 , 设 z 为 p 附近的局部坐标函数, zppq “ 0. 在 p 附近 f0 有 展开 f0pzq “ a´nz ´n ` a´n`1z ´n`1 ` ¨ ¨ ¨ , a´n ‰ 0. 任取 f P BD1 , f 都有类似的展开式, 从而存在 λ P C, 使得 f ´ λf0 P AD1 . 这说明 lpD1q “ spantf0, AD1 u. 特别地, dim lpD1q ď dim AD1 ` 1 ă 8. 由归纳法, 这就证明了 lpDq 总是有限维的复向量空间. 对于 ipDq 的证明是完全类 似的, 留作习题. piiiq 设典范因子 K 由 M 上非零亚纯微分 ω 生成. 则有 pηq ´ D ě 0 ô pηq ´ pωq ` pωq ´ D ě 0 ô pη{ωq ` K ´ D ě 0. 从而下面的映射 ψ : ipDq Ñ lpK ´ Dq η ÞÑ η{ω. 为线性同构. 从上面引理的证明我们还得到以下的推论.
60第三章Riemann-Roch定理推论3.1.2.设M维紧致黎曼曲面.则(i)对于有效因子D,有diml(D)≤d(D)+1;(i)特别地，diml(p)≤2,VpeM.并且等号成立的充分必要条件是M与黎曼球面S同构.(ii）dimH<00，其中H是M上全纯1-形式的全体组成的复向量空间，证明.(i)这从上面的归纳证明即可看出.特别地，diml(p)≤d(p)+1=2VpEM.如果对于某个pEM,diml(p)=2,则存在fel(p)，f不是常值函数.由(f)+p≥0知于以p为惟一的极点，且这个极点为单极点.这说明，作为分歧覆盖，f：M→S是一一的全纯映照，即f是从M到S的全纯同构.这就证明了(ii),(i)如果H=(O)，则没什么要证的.否则，任取一个非零全纯微分w，它生成的典范因子K=(w)是一个有效因子因此有dimH = dimi(O) = diml(K)≤ d(K) +1.口特别地，H是有限维复向量空间，习题3.11.设D为黎曼曲面M上的因子,证明,如果d(D)<0,则I(D)=(0)2.设z为C上的标准复坐标，证明，把z看成黎曼球面S上的亚纯函数后其诱导的因子为（z）=0－003.设p,q为黎曼球面s上两个不同的点。证明，存在亚纯函数f，使得（f)=p-q4.设D为黎曼球面S上的因子.证明,D为主要因子的充分必要条件是d(D)=0.5.设M为紧黎曼曲面，D1，D2为M上的因子，其中D2为有效因子.证明，diml(D1 + D2) ≤diml(D) +d(D2)6.证明，如果紧致黎曼曲面M上存在处处非零的全纯1-形式，则dimH=1.g3.2Hodge定理设M为黎曼曲面.我们回忆一下，A(M）表示M上q次微分形式组成的复线性空间，q=0,1.我们有线性算子d：A(M)→A9+1(M)及*：A(M)→A(M)
60 第三章 Riemann-Roch 定理 推论 3.1.2. 设 M 维紧致黎曼曲面. 则 piq 对于有效因子 D, 有 dim lpDq ď dpDq ` 1; piiq 特别地, dim lppq ď 2, @ p P M. 并且等号成立的充分必要条件是 M 与黎 曼球面 S 同构. piiiq dim H ă 8, 其中 H 是 M 上全纯 1- 形式的全体组成的复向量空间. 证明. piq 这从上面的归纳证明即可看出. 特别地, dim lppq ď dppq ` 1 “ 2, @ p P M. 如果对于某个 p P M, dim lppq “ 2, 则存在 f P lppq, f 不是常值函数. 由 pfq ` p ě 0 知 f 以 p 为惟一的极点, 且这个极点为单极点. 这说明, 作为分歧覆盖, f : M Ñ S 是一一的全纯映照, 即 f 是从 M 到 S 的全纯同构. 这就证明了 piiq. piiiq 如果 H “ t0u, 则没什么要证的. 否则, 任取一个非零全纯微分 ω, 它生成 的典范因子 K “ pωq 是一个有效因子. 因此有 dim H “ dim ip0q “ dim lpKq ď dpKq ` 1. 特别地, H 是有限维复向量空间. 习题 3.1 1. 设 D 为黎曼曲面 M 上的因子, 证明, 如果 dpDq ă 0, 则 lpDq “ t0u. 2. 设 z 为 C 上的标准复坐标, 证明, 把 z 看成黎曼球面 S 上的亚纯函数后其诱 导的因子为 pzq “ 0 ´ 8. 3. 设 p, q 为黎曼球面 S 上两个不同的点. 证明, 存在亚纯函数 f, 使得 pfq “ p´q. 4. 设 D 为黎曼球面 S 上的因子. 证明, D 为主要因子的充分必要条件是 dpDq “ 0. 5. 设 M 为紧黎曼曲面, D1, D2 为 M 上的因子, 其中 D2 为有效因子. 证明, dim lpD1 ` D2q ď dim lpD1q ` dpD2q. 6. 证明, 如果紧致黎曼曲面 M 上存在处处非零的全纯 1- 形式, 则 dim H “ 1. §3.2 Hodge 定理 设 M 为黎曼曲面. 我们回忆一下, Aq pMq 表示 M 上 q 次微分形式组成的复线 性空间, q “ 0, 1. 我们有线性算子 d : Aq pMq Ñ Aq`1 pMq 及 ˚ : A1 pMq Ñ A1 pMq.
61$3.2Hodge定理又，我们有微分形式的分解A(M)=A1.0(M)④A0.1(M),其中A1.0(M)为(1,0)形式的全体，A0.1(M)为(0,1)形式的全体，并且*w=-V-lw,wEA10(M),*w=-1w, wEA0l(M)定义3.2.1.设w为1-形式.如果w及*w均为闭形式，则称w为调和形式。调和形式具有如下性质：·全纯形式必为调和形式.这是因为如果w为全纯形式，则w和*w=-V-1w均为闭形式；·调和形式是全纯形式当且仅当它是（1,0）型的调和形式我们把调和形式的全体组成的线性空间记为H1，下面的引理进一步说明了调和形式和全纯形式之间的关系引理3.2.1.H1=H④H，其中H=wEH)是全纯形式空间H的共轭空间.证明.如果wEH，则为（0,1)形式，*=V-I.因为w是闭形式，w和*w也是闭形式.这说明hCH，从而HOHcHI.反之，设wEHl，则w可写为w+V-I*ww-V-i*ww=22因为*(+V*w)-V-)=-V-1(+V-*(*w22-V-1*w(+) =V(-V)022故"+*为（1,0）形式，且为闭形式。根据上面的性质，它是全纯形式。同理，eR,这说明HCHOR.从而H=HOH口这就证明了引理从这个引理我们看到，对于紧致黎曼曲面，H为有限维向量空间.为了更进一步研究调和形式和全纯形式，我们在1-形式空间A（M）中引入内积运算
§3.2 Hodge 定理 61 又, 我们有微分形式的分解 A1 pMq “ A1,0 pMq ‘ A0,1 pMq, 其中 A1,0 pMq 为 p1, 0q 形式的全体, A0,1 pMq 为 p0, 1q 形式的全体, 并且 ˚ω “ ´? ´1 ω, ω P A 1,0 pMq, ˚ω “ ? ´1 ω, ω P A 0,1 pMq. 定义 3.2.1. 设 ω 为 1- 形式. 如果 ω 及 ˚ω 均为闭形式, 则称 ω 为调和形式. 调和形式具有如下性质: • 全纯形式必为调和形式. 这是因为如果 ω 为全纯形式, 则 ω 和 ˚ω “ ´? ´1 ω 均为闭形式; • 调和形式是全纯形式当且仅当它是 p1, 0q 型的调和形式. 我们把调和形式的全体组成的线性空间记为 H1 . 下面的引理进一步说明了调 和形式和全纯形式之间的关系. 引理 3.2.1. H1 “ H ‘ H¯, 其中 H¯ “ tω¯ | ω P Hu 是全纯形式空间 H 的共轭 空间. 证明. 如果 ω P H, 则 ω¯ 为 p0, 1q 形式, ˚ω¯ “ ? ´1 ¯ω. 因为 ω 是闭形式, ¯ω 和 ˚ω¯ 也是闭形式. 这说明 H¯ Ă H1 , 从而 H ‘ H¯ Ă H1 . 反之, 设 ω P H1 , 则 ω 可写为 ω “ ω ` ? ´1 ˚ ω 2 ` ω ´ ? ´1 ˚ ω 2 . 因为 ˚pω ` ? ´1 ˚ ω 2 q “ 1 2 p˚ω ´ ? ´1 ωq “ ´? ´1 p ω ` ? ´1 ˚ ω 2 q, ˚pω ´ ? ´1 ˚ ω 2 q “ 1 2 p˚ω ` ? ´1 ωq “ ? ´1 p ω ´ ? ´1 ˚ ω 2 q. 故 ω` ? ´1 ˚ω 2 为 p1, 0q 形式, 且为闭形式. 根据上面的性质, 它是全纯形式. 同理, ω´ ? ´1 ˚ω 2 P H¯, 这说明 H1 Ă H ‘ H¯. 从而 H1 “ H ‘ H¯. 这就证明了引理. 从这个引理我们看到, 对于紧致黎曼曲面, H1 为有限维向量空间. 为了更进 一步研究调和形式和全纯形式, 我们在 1- 形式空间 A1 pMq 中引入内积运算.