×

Cartan等价方法在Hirschowitz形式原理猜想中的应用。 (英语) Zbl 1472.32010年

设(A)是复流形(X)的紧致复子流形。子流形\(A\子集X\)被称为满足形式原则如果给定复流形(tilde{X})的紧致子流形(\ tilde{a})、形式邻域之间的形式同构(\ psi:(a/X){\infty}\rightarrow(\ tilder{a}/\ tilde}X},{\inffy})和正整数(l),我们可以找到一个双全态\[\psi:(a/X){\mathcal{O}}\right arrow X}){数学{O}这样\(\Psi|_{(A/X)_l}=\Psi|_{(A/X,_l}\)。在这里,我们写下了(A/X){l}表示第(l)阶邻域,写下了欧几里德邻域的萌芽。
为了比较(A\子集X\)的芽与正规束(N_{A/X}\)零截面的芽(这是许多作者考虑的一个问题,例如[M.阿巴特等,高级数学。220,第2期,620–656页(2009年;Zbl 1161.32011年)])作者引入了以下术语:紧复流形(A)上的向量丛(W)如果零部分(0A子集W)满足经典意义上的形式原理,则称其满足形式原理。
一个猜想A.赫肖维茨[数学年鉴(2)113501-514(1981;Zbl 0421.32029号)]声明如下:
推测1.3。设(A\子集X\)是复流形的无阻紧致子流形。假设正规束(N_{A/X})是全局生成的,即序列\[0\rightarrow H^0(A,N_{A/X}\otimes m_X)\rightarrow H_0(A、N_{A/X},)\right arrow N_{A/X,X}\right箭头0,\]其中\(m_X\)是在\(A\中的X\)处的最大理想,在每个\(A\A中的X\otime m_X处是精确的,然后\(A\subset X\)满足形式原理。
这反过来预测了以下情况:
推测1.4。紧复流形上全局生成的向量丛满足形式原理。
本文将复流形上的子流形族视为Cartan(等价方法)意义下的几何结构,在猜想1.3和1.4的方向上获得了新的结果。主要结果表明,如果法向束的截面在猜想1.3的设置中分离点,那么形式原理适用于(X)中的(A)的充分一般变形。更确切地说,本文的一个主要新颖之处是证明了关于Douady空间的陈述,例如,主要结果如下:“设\(X\)是一个复流形,设\(K\)是满足某些假设的Douady空间的子集(为简洁起见,此处省略)这样,对应于\(K\集减S\)任意点的子流形满足形式原理”。
作者继续给出了该结果在满足形式原理的全局生成向量丛(朝向猜想1.4)方面的一些应用。特别是,对Fano流形证明了猜想1.4。
作为进一步应用,讨论了Cartan-Fubini型扩张定理的改进,参见[黄建民N.Mok公司,J.数学。Pures应用程序。(9) 80,第6期,563–575(2001年;Zbl 1033.32013年)],作为程序的一部分,用代数条件替换难以检查的超越条件。

MSC公司:

32K07号 形式化和分次复空间
58甲15 外部微分系统(Cartan理论)
32C22型 分析空间的嵌入
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 马可·阿巴特;菲利波·布拉奇;托维纳,弗朗西丝卡,子流形和正规束的嵌入,高等数学。。数学进展,220,620-656,(2009)·Zbl 1161.32011年 ·doi:10.1016/j.aim.2008.10.001
[2] Arnol(’)d,V.I.,微分方程不变流形的分支,椭圆曲线邻域的正规形式,Funct。分析。应用。。功能分析及其应用,10249-259,(1976)·Zbl 0346.58003号 ·doi:10.1007/BF01076024
[3] Artin,M.,《关于解析方程的解》,发明。数学。。《数学发明》,5277-291,(1968)·Zbl 0172.05301号 ·doi:10.1007/BF01389777
[4] 布莱恩特·R·L。;Chern,S.S。;加德纳,R.B。;Goldschmidt,H.L。;Griffiths,P.A.,《外部差分系统数学》。科学。Res.Inst.出版物。,18,viii+475页,(1991)·Zbl 0726.58002号 ·doi:10.1007/978-1-4613-9714-4
[5] Cartan,Elie,Les sous-groupes des groupes continus de transformations,《科学年鉴》{E} 科尔标准。补充(3)。《科学年鉴》{E} 科尔普通Sup\'{e} 里厄尔。特洛伊西“eme S”{e} 里尔, 25, 57-194, (1908)
[6] Michael Commichau;格劳特、汉斯、达斯(Das formale){P} 林齐普f\`“{u} 第页kompakte komplexe公司{U} intermannigfaltigkeiten公司mit{\(1\)}-正{N} 奥马伦布\'”{u} ndel公司。《若干复杂变量的最新发展》,《数学年鉴》。螺柱,100101-126,(1981)·Zbl 0485.32005号 ·doi:10.1515/9781400881543-008
[7] Douady,Adrien,Le probl`“eme des modules pour les sous-espaces analytiques compacts d”un-espace analytizique donn'{e},Ann.Inst.Fourier(Grenoble)。格勒诺布尔大学。《傅里叶学会年鉴》,16,1-95,(1966)·兹伯利0146.31103 ·doi:10.5802/aif.226
[8] 菲利普·格里菲斯(Phillip A.Griffiths),复杂分析中的可拓问题。{二} ●●●●。{E} 嵌入阳性正常束,Amer。数学杂志。。美国数学杂志,88,366-446,(1966)·Zbl 0147.07502号 ·doi:10.2307/2373200
[9] Grauert,H。;彼得内尔,T。;Remmert,R.,《多复变量VII》,Encycl。数学。科学。,74, (1994) ·Zbl 0793.00010号 ·doi:10.1007/978-3-662-09873-8
[10] Hirschowitz,Andr'{e},《关于嵌入之间形式等价的收敛性》,《数学年鉴》。(2). 数学年鉴。第二辑,113501-514,(1981)·Zbl 0421.32029号 ·doi:10.2307/2006994
[11] Hwang,Jun-Muk;Mok、Ngaiming、Cartan-{F} 乌比尼全纯映射的类型扩张{F} 阿诺歧管{P} 国际卡德1号,J.数学。Pures应用程序。(9). 数学杂志{e} 马戏Pures和Applique{e} 如所示。Neuvi“eme S”{e} 里尔, 80, 563-575, (2001) ·Zbl 1033.32013年 ·doi:10.1016/S0021-7824(00)01200-9
[12] 科尔{a} 第页,J\'{a} 个,代数簇上的有理曲线,Ergeb。数学。Grenzgebi,32,viii+320页,(1996)·Zbl 0877.14012号 ·doi:10.1007/978-3-662-03276-3
[13] Kosarew,Siegmund,关于嵌入形式原理的一些新结果。代数几何会议论文集,Teubner-Texte Math。,92, 217-227, (1986) ·兹比尔0631.32008
[14] 科萨雷、齐格蒙德、艾因{K} 仪式f\`“{u} 第页das格式{P} 林齐普J.Reine Angew著。数学。。日记本f\`'{u} 第页Reine和Angewandte Mathematik。[克里勒日记],388,18-39,(1988)·Zbl 0653.14002号 ·doi:10.1515/crll.1988.388.18
[15] 马尔格兰奇,伯纳德,方程式{五十} 即。{II},J.微分几何。微分几何杂志,7,117-141,(1972)·Zbl 0264.58009号 ·doi:10.4310/jdg/1214430822
[16] Malgrange,Bernard,系统“emes Diff”{e} 伦蒂尔斯对合,Panor。Synth’eses,19,vi+106 pp.,(2005)·Zbl 1090.35003号
[17] 森本、托鲁、苏尔问题{e} 等效性des结构g\'{e} om公司\'{e} 三部曲,C.R.学院。科学。巴黎S\'{e} r.(右)。我数学。。Comptes Rendus des S公司{e} 美国国家科学院学院{e} 米(mie)des科学。S\'{e} 里尔一、数学{e} 马戏, 292, 63-66, (1981) ·Zbl 0464.53032号
[18] 森本、托鲁、苏尔问题{e} 等效性des结构g\'{e} om公司\'{e} 三部曲,日本。数学杂志。(N.S.)。日本数学杂志。新系列,9293-372,(1983)·Zbl 0537.53035号 ·doi:10.4009/路径1924.9.293
[19] 歌手,I.M。;Sternberg,Shlomo,无限群{五十} 即{C} 阿尔坦。{我}。{T} 他过渡组,J.分析数学。。数学分析杂志{e} 马戏, 15, 1-114, (1965) ·Zbl 0277.58008号 ·doi:10.1007/BF02787690
[20] Steinbi、Volker、Das formale{P} 林齐普f\`“{u} 第页reduzierte komplele{R}{\'“{a}}ume mit einer schwachen{P} 积极分子{\“{a}}谢根斯查夫特,《数学年鉴》,数学年鉴,274485-502,(1986)·Zbl 0572.32004号 ·doi:10.1007/BF01457230
[21] 上野,K.,京都大学理科硕士论文,(1968年)
[22] Milne,J.S,程序。数学。,35, 239-265, (1983) ·doi:10.1007/978-1-4757-9284-3-10
[23] Te公司{十} 第页1983年手写笔记版本,来自作者网站
[24] Milne,J.S,粘土数学。程序。,4, 265-378, (2005)
[25] Mok,Ngaiming(2017)
[26] Mok,Ngaiming;钟,贾青,数学安。(2). 数学年鉴。第二辑,129427-470,(1989)·Zbl 0682.53065号 ·doi:10.2307/1971513
[27] Ochiai,Takushiro,翻译。阿默尔。数学。美国数学学会学报,152159-193,(1970)·兹比尔0205.26004 ·doi:10.2307/1995645
[28] 亚阿科夫·彼得齐尔;谢尔盖·斯塔琴科,伦敦数学。Soc.课堂讲稿Ser。,349, 117-165, (2008) ·Zbl 1160.03017号 ·doi:10.1017/CBO9780511735226.008
[29] 亚阿科夫·彼得齐尔;谢尔盖·斯塔琴科,58-81, (2010) ·doi:10.1142/9789814324359_0040
[30] 亚阿科夫·彼得齐尔;斯塔琴科、谢尔盖、杜克数学。《杜克数学杂志》,162731-765,(2013)·Zbl 1284.03215号 ·doi:10.1215/00127094-2008018
[31] 乔纳森·皮拉(Jonathan Pila);齐默曼、雅各布、作曲家。数学。。Compositio Mathematica,149204-216,(2013)·Zbl 1304.11055号 ·doi:10.1112/S0010437X12000589
[32] 乔纳森·皮拉(Jonathan Pila);齐默曼、雅各布、数学公爵。杜克大学数学期刊,1652587-2605,(2016)·Zbl 1419.11093号 ·数字对象标识代码:10.1215/00127094-3620005
[33] 乔纳森·皮拉(Jonathan Pila);Wilkie,A.J.,杜克数学。杜克大学数学期刊,133591-616,(2006)·Zbl 1217.11066号 ·doi:10.1215/S0012-7094-06-13336-7
[34] 桑德斯,D.J.,《伦敦数学》。Soc.课堂讲稿Ser。,142,viii+293页,(1989)·Zbl 0665.58002号 ·doi:10.1017/CBO9780511526411
[35] 托马斯·斯坎隆(Thomas Scanlon),高级数学。。数学进展,3301071-1100,(2018)·Zbl 1423.12008年 ·doi:10.1016/j.aim.2018年3月18日
[36] 齐默曼、雅各布、,伦敦数学。Soc.课堂讲稿Ser。,421, 216-221, (2015) ·Zbl 1352.11061号 ·doi:10.1017/CBO9781316106839.010
[37] A.J.Wilkie和J.Amer。数学。美国数学学会杂志,9,1051-1094,(1996)·Zbl 0892.03013号 ·doi:10.1090/S0894-0347-96-00216-0
[38] 吉田,Masaaki,《数学方面》,E11,xiv+215 pp.,(1987)·Zbl 0618.35001号 ·doi:10.1007/978-3-663-14115-0
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。