Koszul复形上的全纯除法定理-基础数学专业毕业论文.pdfVIP

 第 .章 准备工作 弓I 言 Skoda 除法 定理 是C oron a 定理 在 高维 的L 2-形式 .事 实证 明，这 个 结 果意 义 非凡 ，它 为以后复几何与代数几何的发展提供了一个强大的工具(参见[EL99]，[Siu98]与[SiuOO]). 在 S丨k78j与1D 82 丨中，作者把Skoda全纯除法定理 （S丨k72 丨）推广到全纯 向量丛之问 的满 同态情形.受到O hsaw a在证 明屮所j li技巧 的启发，V arolin在 V丨08]证 明了 tw isted Skoda估计.此外 ，他还创造性 的提 出了Skoda triple，并通过这一概念获得 了 一系列 与Skoda定 理 类 似 的关 于满 同态 的除法 定 理 .而 另一位 数 学 家A n dersson 从 留数 理 论 的角 度对除法定理进行 了系统的研究(参见[A 04]，[A G 11]).另外，[Jil2]对全纯 向量丛 巾正合 序 列 的除法 定理进 行 了较 为详 尽 的讨 论. 本 文 的最 重 要 结 果 集 屮体 现 在 定理 1.2 , 其 证 明 的整 体 基本 框 架 与 思路 是 紧 紧 _ 绕 引理 2.1.1实现 的.为 了在K oszu l复形 上 构造 引理 2.1.1 巾类 似 （1.3 ) 的结 论 ，需要 建 立 相 应 的不 等 式 （1.4 ) , 即下 界 估 计 .而 证 明定 理 1.2 的关 键 是 要得 到 先 验 估 计 2.2.2.然 而 ， 在实际应 1丨1屮，定理1.2关于/ 的积分条件是不容易验证 的.推论3.1川vanishing order的 条件 替代 了积 分条件 ，应 川起 来更 为方便 . 第 一 章 准 备工 作 1.1 记 号 与概 念 定义l.l (K oszu l复形） 域Q g r , 记? ⑴)是D 上全纯 函数全体.仍，... e P e A 。 向量值 函 数 (.91, ■% )■ 下面 引入 K oszu l复 形 的概 念 . 八?0 (11)中p —. ?.、八o (n)中 P每...、o (n)4 o (1) 同态G 定义如下， (Cfil’）;1..? - (2) l i p 1 ？ p t ’ (tv ,)I , e A⑷ n)，t,, e 0 州 .if关于下标 :1丨,. ? 是反对称的.我们统一指标的范_ 1 S i,J. k, I p, 1 q ,/3 n. 定义1.2 (拟ri域） il c C 是一个开集 ，如果存在-0 为ILh 多重次调和的连续函数使得 {2 G n IV;⑷ f} 巨fl对任意c G M 成立 ，则称 是C 屮的一个拟 域. - 1-  第 .章 准备工作 1.2 主要 定 理 Skoda在 [Sk72p |i证 明了有名的Skoda全纯除法定理，它 的叙述如下： 设 C c”是一个拟 門域 ， e 0 (n )，1 S ？ ：S P ，￠6 P SH (n ). T 1是常数 ，对任意/ e 0 (Q )， J WfVWgW -一V-、oo Q 存在 . .,Up G 0 (fi)，使得