分片代数曲线分片代数簇的若干研讨.pdfVIP

盔垄型王盔堂蔓圭迨塞!坌堕垡墼塑些!!坌堕垡墼堡塑蒸王型￡篁L——— 摘要 利用多元样条函数进行散乱数据插值是计算几何中一个非常重要的课题。本质上， 解决多元样条函数空间的插值结点的适定性问题关键在于研究分片代数曲线，在高维空 间里就是研究分片代数簇。 分片代数曲线作为二元样条函数的零点集合，分片代数簇作为一些多元样条函数的 公共零点集合，它们是代数几何与计算几何中一种新的重要概念，显然也是经典代数曲 线与代数簇的推广。本文应用代数几何，计算几何，函数逼近论等学科的基本理论，分 分片代数簇以及多项式的B．网结式进行研究。主要工作如下： 1： 利用王仁宏在文献([1]，[2])中关于多元样条函数的基本理论，本文将代数曲 分片Nitller型定理。 2：本文将奇异循环纳入分片代数曲线的线性列中，建立了由分片代数曲线的支组 所构成的“线性列”理论，这一理论是相应代数曲线“线性列”理论([71])的推广。 分片代数曲线的完全列是由所有属于同一等价类的有效正常循环以及所有与它特等价 的有效奇异循环构成。 利用这一理论以及多元样条函数的基本理论(【1]，【2])，本文 着重讨论并给出了剖分为△，和△。的C一分片Riemann—Roch型定理。 △，上的C“分片Riemann—Roch型定理 设p是次数为脚的不可约c4分片代数曲线F的亏格。若i为完全列g：的指标，且列 g：中不存在中心落在剖分线上的不动支，则，=行一P—所以+1)+f+1。 △。上的C”分片Riemann—Roch型定理 设P是次数为m的不可约C9分片代数曲线F的亏格。若为完全列g：的指标，且列 g：不存在中心在剖分线上的不动支，则r=n—P一4m(／．t+11+i+3。 大连理__：r：大学博士论文：分片代数曲线。j分』4代数簇的若干研究 3：利用杨路，张景中，侯晓荣在文献(【13]，【73])中关于一元多项式实根的显式 判准，以及二元样条函数的B．网形式，多项式的判别序列和Sturm序列的最高次数项系 数序列的变号数，本文给出了两个分片代数曲线的实交点数(假设公共点是有限的)的 计算公式。使用向量场的旋转度方法，也给出了交点数的一个下界计算公式。 4：应用多项式在单纯形上的B．网形式以及文献(【72])中的实根理想，锥根理想， 半代数簇分解定理，本文得出了实c一分片代数簇的二：个维数定理和c一样条空间的实零 点定N(RealNullstellensatz)。 5：本文定义了多项式B-网结式，导出了B．嘲结式的性质和B．网结式与方程组的解 之间的关系。 关键词：多元样条，分片代数曲线，实分片代数簇，支，循环，完全列，多项式B一 网形式，实交点数。 盔连里三丕堂堂圭堡皇!坌堕垡墼笪垡：』坌丛垡墼墼盟薹±l堑堕—— Abstract isall in The ofscattereddata multivariate topic interpolation by splines important oathe bymultivariate geometry．Essentially,akey interpolation computational problem the andthe for isto curve variety splinesstudy piecewisealgebraic piecewisealgebraic the