×

许多简单型四流形的Witten猜想。 (英语) Zbl 1328.57031号

20世纪80年代,Donaldson证明了Yang-Mills方程的解编码了关于光滑流形拓扑的微妙信息。许多人的共同努力提高了这些方程及其解的知识水平。这里的一个相关结果是Kronheimer-Mrowka结构定理。这个结果表明,Donaldson不变量可以组合成一个生成函数,该生成函数由与有限个基本类相关联的数值不变量指定[P.B.克伦海默T.S.姆罗卡、J.Differ。地理。41,第3期,573–734(1995年;Zbl 0842.57022号)]. Seiberg和Witten利用量子场论的思想对结构定理进行了物理解释,并引入了一个新的方程组(Seiberg-Writed方程),将类似信息编码为Yang-Mills方程[威滕,数学。Res.Lett公司。第1期,第6期,769–796页(1994年;Zbl 0867.57029号)]. 物理论证给出了一个将Seiberg-Writed不变量和Donaldson不变量联系起来的公式。这个公式被称为维滕猜想。
在引入这些新不变量后不久,V.Y.皮德斯特里加A.N.泰林提出了一个包含Yang-Mills和Seiberg-Witten方程作为特例的方程组(SO\(3)\)[Russ.Acad.Sci.,Izv.,Math.40,No.2,267–351(1993);翻译自Izv.Ross.Acad.Nauk,Ser.Mat.56,No.2,279–371(1992;Zbl 0796.14024号)]. 这些方程为维滕猜想的数学证明指明了方向。然而,这条路似乎很长,需要一些必要的技术细节。保罗·费汉(Paul Feehan)和托马斯·莱内斯(Thomas Leness)在一系列至少十篇重要论文中一直在这方面取得稳步进展[P.M.N.Feehan先生等,数学。Res.Lett公司。6,第2期,169-182(1999年;Zbl 0967.57027号)], [P.M.N.Feehan先生T.G.宽容,“Donaldson不变量和穿墙公式。I:粘合和障碍图的连续性”,arXiv:math/9812060; “PU(2)单极子。III:胶合和障碍图的存在”,arXiv:math/9907107; “关于Donaldson和Seiberg-Writed不变量的一般SO(3)-单极子协边公式”,Mem。阿默尔。数学。Soc.,出现;arXiv:数学/0203047; 简单型四流形的Witten猜想”,arXiv:数学/0609530v1; 拓扑应用程序。88,第1-2号,第111-145页(1998年;Zbl 0931.58012号); J.差异。地理。49,第2期,265–410(1998年;兹比尔0998.57057); J.Reine Angew。数学。538, 57–133 (2001;Zbl 0983.57024号); J.Reine Angew。数学。538, 135–212 (2001;Zbl 0983.57025号); in:流形的几何和拓扑。2004年5月14日至18日在美国安大略省汉密尔顿市麦克马斯特大学举行的会议上发表的论文。普罗维登斯,RI:美国数学学会(AMS)。97–118 (2005;Zbl 1094.58003号)]自1994年以来。忽略技术细节,SO(3)-单极子方程的解空间是一个坐标系,将与Seiberg-Writed方程相关的空间连接到与Donaldson不变量相关的空间,以及取决于基础流形的一些标准部分。
在这样一个假设下,这种协同作用如预期的那样契合在一起,Feehan和Leness证明了单极协同作用公式。(他们仍在努力建立这个假设。)这是一个关于Donaldson和Seiberg-Writed不变量的公式。此公式包含特征类中的一些多项式,这些特征类具有独立于基础流形的通用系数。这与维滕的猜想有很大不同。本文中,Feehan和Leness考虑了简单型流形的重要特例。据推测,所有标准歧管都将具有简单型。它们确定了单极坐标公式中出现在简单型流形上的所有项的系数。为此,他们将该公式应用于一个足够大的光滑流形族,对其可以计算Donaldson不变量和Seiberg-Writed不变量。他们进一步表明,单极协边公式暗示了Witten猜想,至少对于丰富的Seiberg-Writed简单型流形以及满足一定地理限制的其他Seiberg-Writed单型流形。
本文首先对唐纳森理论和塞伯格文字理论进行了很好的概述。这是关于Donaldson和Seiberg-Writed不变量的Witten猜想的又一个最终证明。

MSC公司:

57兰特 整体分析在流形结构中的应用
53C27号 自旋和自旋({}^c\)几何
58D27个 微分几何结构的模问题
58D29个 拓扑结构的模问题
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Donaldson,S.K.:光滑四流形的多项式不变量。拓扑29,257-315(1990)·Zbl 0715.57007号 ·doi:10.1016/0040-9383(90)90001-Z
[2] Donaldson,S.K.,Kronheimer,P.B.:四个流形的几何学。牛津大学出版社,牛津(1990)·Zbl 0820.57002号
[3] Feehan,P.M.N.,Kronheimer,P.B.,Leness,T.G.,Mrowka,T.S.:PU(2)单极子和Mariño,Moore,and Peradze的猜想。数学。Res.Lett公司。6, 169-182 (1999) ·Zbl 0967.57027号 ·doi:10.4310/MRL.1999.v6.n2.a5
[4] Feehan,P.M.N.,Leness,T.G.:唐纳森不变量和穿墙公式。I: 粘合和障碍物贴图的连续性。
[5] Feehan,P.M.N.,Leness,T.G.:PU(2)单极子。三: 存在胶合和障碍图。arXiv:数学/9907107 Paul M.N.Feehan,Thomas G.Leness
[6] Feehan,P.M.N.,Leness,T.G.:关于Donaldson和Seiberg-Writed不变量的一般SO(3)-单极协边公式。内存。阿默尔。数学。Soc.,出现;
[7] Feehan,P.M.N.,Leness,T.G.:简单型四流形的Witten猜想·Zbl 1328.57031号 ·doi:10.4171/JEMS/521
[8] Feehan,P.M.N.,Leness,T.G.:PU(2)单极子和四流形内变量之间的关系。拓扑应用程序。88, 111-145 (1998) ·Zbl 0931.58012号 ·doi:10.1016/S0166-8641(97)00201-0
[9] Feehan,P.M.N.,Leness,T.G.:PU(2)单极子。一: 正则性、Uhlenbeck紧性和横向性。J.差异几何。49, 265-410 (1998) ·兹比尔0998.57057
[10] Feehan,P.M.N.,Leness,T.G.:顶级Seiberg-Writed模空间的PU(2)单极子和链。J.Reine Angew。数学。538, 57-133 (2001) ·Zbl 0983.57024号 ·doi:10.1515/crll.2001.069
[11] Feehan,P.M.N.,Leness,T.G.:PU(2)单极子。二、。顶层Seiberg-Writed模空间和低阶Witten猜想。J.Reine Angew。数学。538135-212(2001年)·Zbl 0983.57025号 ·doi:10.1515/crll.2001.064
[12] Feehan,P.M.N.,Leness,T.G.:SO(3)-单极子:重叠问题。In:流形的几何和拓扑,美国菲尔德研究所通信47。数学。Soc.,普罗维登斯,RI,97-118(2005)·Zbl 1094.58003号
[13] Fintushel,R.:个人沟通
[14] Fintushel,R.,Park,J.,Stern,R.J.:具有一个基本类的有理曲面和辛4-流形。阿尔盖布。地理。白杨。2, 391-402 (2002) ·Zbl 0991.57031号 ·doi:10.2140/agt.20022.391
[15] Fintushel,R.,Stern,R.J.:具有简单类型的4-流形的Donaldson不变量。J.差异地质。42, 577-633 (1995) ·兹比尔0863.57021
[16] Fintushel,R.,Stern,R.J.:4流形中的浸没球体和浸没Thom猜想。土耳其J.数学。19, 145-157 (1995) ·Zbl 0869.57016号
[17] Fintushel,R.,Stern,R.J.:光滑4-流形的合理排污。J.差异几何。46, 181-235 (1997) ·Zbl 0896.57022号
[18] Friedman,R.,Morgan,J.W.:平滑四流形和复杂曲面。施普林格,柏林(1994)·Zbl 0817.14017号
[19] Fröyshov,K.A.:单极子的紧密性和粘合理论。地理。白杨。单声道。15、几何&;拓扑出版物,考文垂(2008)·Zbl 1207.57044号
[20] Fröyshov,K.A.:杨-米勒-弗洛尔理论的等变方面。拓扑41,525-552(2002)·Zbl 0999.57032号 ·doi:10.1016/S0040-9383(01)00018-0
[21] Göttsche,L.,Nakajima,H.,Yoshioka,K.:瞬变子计数和唐纳森不变量。J.差异几何。80, 343-390 (2008) ·Zbl 1172.57015号
[22] Göttsche,L.,Nakajima,H.,Yoshioka,K.:Donaldson=Seiberg-Writed from Mochizuki’s for-mula and instanton counting。出版物。RIMS京都大学47,307-359(2011)·Zbl 1259.14046号 ·doi:10.2977/PRIMS/37
[23] Kronheimer,P.B.,Mrowka,T.S.:嵌入曲面和Donaldson多项式不变量的结构。J.差异几何。43, 573-734 (1995) ·Zbl 0842.57022号
[24] Kronheimer,P.B.,Mrowka,T.S.:Witten的猜想和属性P.Geom。白杨。8, 295- 310 (2004) ·Zbl 1072.57005号 ·doi:10.2140/gt.2004.8.295
[25] Kronheimer,P.B.,Mrowka,T.S.:结、缝合和切除。J.差异几何。84, 301-364 (2010) ·Zbl 1208.57008号
[26] Mariño,M.,Moore,G.,Peradze,G.:四种不同的地理和超信息对称性。数学。Res.Lett公司。6, 429-437 (1999) ·Zbl 0974.57018号 ·doi:10.4310/MRL.1999.v6.n4.a5
[27] Mochizuki,T.:代数曲面的唐纳森型不变量。数学课堂笔记。1972年,柏林施普林格(2009)·Zbl 1177.14003号 ·doi:10.1007/978-3-540-93913-9
[28] Moore,G.,Witten,E.:Donaldson理论中u平面上的积分。高级Theor。数学。物理学。1, 298-387 (1997) ·Zbl 0899.57021号
[29] Morgan,J.W.:Seiberg-Writed方程及其在光滑四流形拓扑中的应用。普林斯顿大学出版社,新泽西州普林斯顿(1996)·Zbl 0846.57001号
[30] Morgan,J.W.,Mrowka,T.S.:长管歧管上防自我双重连接的粘合结构。未发表的手稿
[31] Mrowka,T.S.:Yang-Mills模空间的局部Mayer-Vietoris原理。哈佛大学博士论文,马萨诸塞州剑桥市(1988年)
[32] 穆尼奥斯:非简单类型的四流形的基本类。通用分析。地理。8, 653- 670 (2000) ·Zbl 0970.57016号
[33] 尼古拉斯库,L.I.:塞伯格书面理论笔记。阿默尔。数学。国际扶轮社普罗维登斯分会(2000年)·Zbl 0978.57027号
[34] Salamon,D.:自旋几何和Seiberg-Writed不变量。未出版的书籍;
[35] Taubes,C.H.:非自对偶4歧管上的自对偶Yang-Mills连接。J.差异几何。17, 139-170 (1982) ·Zbl 0484.53026号
[36] Taubes,C.H.:具有不定交矩阵的4-流形上的自对偶连接。微分几何。19, 517-560 (1984) ·Zbl 0552.53011号
[37] Taubes,C.H.:杨美尔函数的莫尔斯理论框架。发明。数学。94, 327-402 (1988) ·Zbl 0665.58006号 ·doi:10.1007/BF01394329
[38] Wall,C.T.C.:关于单模二次型的正交群。数学。《Ann.147,328-338》(1962年)·Zbl 0109.03305号 ·doi:10.1007/BF01440955
[39] Wieczorek,W.:浸没球体和Donaldson不变量的有限类型。
[40] Witten,E.:单极子和四流形。数学。Res.Lett公司。1, 769-796 (1994) ·Zbl 0867.57029号 ·doi:10.4310/MR.1994.v1.n6.a13
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。