×

超奇异(K3)曲面是单有理的。 (英语) 兹比尔1323.14023

发明。数学。 200,第3期,979-1014(2015); 更正同上,223,第3号,1407-1409(2021)。
作者证明了关于特征域上定义的(K3)曲面的以下结果。
定理1:如果(p)是奇数,并且(K3)曲面(X)的Picard秩是(19)或(20),则存在一个普通阿贝尔曲面(a)和支配有理映射\[公里(A)\dashrightarrow X\ dashright arrow Km(A),\]它们都是度为(2)的一般有限的。这里,(Km(A))是与(A)相关联的Kummer曲面。
这在特征(0)中是已知的T.Shioda公司H.肌醇[in:《复杂分析代数几何》,Collect.Pap.dedic.K.Kodaira,119-136(1977;Zbl 0374.14006号)].
定理2:设(X)和(X’)是特征(p\geq 5)中的超奇异(K3)曲面,且具有Artin不变量(sigma_0)和(sigma _0’)。然后是主导图和有理图\[X\dashrightarrow X'\仪表右箭头X,\]这两者都是纯不可分的,并且一般程度有限(p^{2\sigma_0+2\sigma_0’-4})。
结合定理2和T.Shioda公司[数学年鉴230、153–168(1977;Zbl 0343.14021号)]奇数特征的超奇异Kummer曲面是单有理的,所有的超奇异K3曲面都是单有理性的。
定理1的证明如下。首先可以将曲面及其Picard晶格提升到特征值\(0),然后在特征值\中使用相应的结果。
定理2的证明依赖于以下结构。对于任何具有Artin不变量(σ_0<10)的超奇异(K3)曲面(X),作者在曲线(C)上构造了一个变形,使得几何类纤维是具有Artin不变(σ_0+1)的光滑超奇异。此外,在(X)到(bar{k}(C))的基变化和几何一般纤维之间存在一个主导的纯不可分的一般有限度映射(p^2)。这使用了正式的Brauer组结构。最后,只有一个Artin不变量的超奇异曲面,即超奇异椭圆曲线的Kummer曲面。

MSC公司:

14层28 \(K3)曲面和Enriques曲面
14世纪17年代 代数几何中的正特征地面场
14米20 理性品种和非理性品种
14日第22天 细模量空间和粗模量空间
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Artin,M.:形式模的代数化:I,全局分析(纪念K.Kodaira的论文)。东京大学出版社,东京,第21-71页(1969年)·Zbl 0099.16402号
[2] Artin,M.:超奇异K3曲面。科学年鉴。埃科尔规范。补充4(7),543-567(1974)·Zbl 0322.14014号
[3] Artin,M.:Brieskorn决议的代数结构。《代数杂志》29,330-348(1974)·Zbl 0292.14013号·doi:10.1016/0021-8693(74)90102-1
[4] Artin,M.,Mazur,B.:由代数变体产生的形式群。科学年鉴。埃科尔规范。补充10,87-131(1977年)·Zbl 0351.14023号
[5] Artin,M.,Swinnerton-Dyer,H.P.F.:K3曲面上椭圆曲线铅笔的Shafarevich-Tate猜想。发明。数学。20, 249-266 (1973) ·Zbl 0289.14003号·doi:10.1007/BF01394097
[6] Bombieri,E.,Mumford,D.:Enriques对char中表面的分类。p、 三、发明。数学。35, 197-232 (1976) ·Zbl 0336.14010号·doi:10.1007/BF01390138
[7] Charles,F.:有限域上K3曲面的Tate猜想。发明。数学。194, 119-145 (2013) ·Zbl 1282.14014号·doi:10.1007/s00222-012-0443-y
[8] Chen,X.:K3曲面的自有理映射。arXiv:1008.1619(2010)·Zbl 0322.14014号
[9] Cossec,F.R.,Dolgachev,I.V.:Enriques Surfaces I,数学进展,第76卷。Birkhäuser,巴塞尔(1989)·Zbl 2017年6月65日
[10] Conrad,B.、Lieblich,M.、Olsson,M.和Martin:代数空间的Nagata紧化。J.Inst.数学。Jussieu 11,747-814(2012)·Zbl 1255.14003号
[11] Cynk,S.和van Straten,D.:小分辨率和无法生存的Calabi-Yau三倍。马努斯克。数学。130, 233-249 (2009) ·Zbl 1177.14081号·doi:10.1007/s00229-009-0293-0
[12] Deligne,P.:曲面关系K3 en caractéristique nulle,数学课堂笔记。868,《代数曲面》(Orsay,1976-78),第58-79页。施普林格,纽约(1981)·Zbl 0627.14029号
[13] Dolgachev,I.V.,Keum,J.:正特征K3曲面辛自同构的有限群。安。数学。2(169), 269-313 (2009) ·兹比尔1187.14047·doi:10.4007/annals.2009年169.269
[14] Ekedahl,T.:叶形和不可分割的形态,代数几何,鲍多因1985,Proc。交响乐。纯数学。,第46卷,第139-149页(1987年)·Zbl 0659.14018号
[15] Ekedahl,T.,van der Geer,G.:正特征K3曲面模量的循环类。arXiv:1104.3024(2011)·Zbl 1317.14012号
[16] Huybrechts,D.:紧超卡勒流形,Calabi-Yau流形和相关几何(Nordfjordeid,2001),第161-225页。施普林格,纽约(2003)·Zbl 1016.53038号
[17] Igusa,J.I.:抽象代数曲面的Betti和Picard数。程序。国家。阿卡德。科学。美国46,724-726(1960)·Zbl 0099.16402号·doi:10.1073/pnas.46.5.724
[18] Illusie,L.:Rham-Witt和上同调晶体复合体。科学年鉴。École Norm学院。补充12,501-661(1979)·Zbl 0436.14007号
[19] Illusie,L.:形式几何中的Grothendieck存在定理,数学。调查专题。,第123卷。《基本代数几何》,第179-233页。AMS,普罗维登斯(2005)·Zbl 0146.17001号
[20] Inose,H.:定义奇异K3曲面的方程和等生成概念。摘自:《代数几何国际研讨会论文集》(京都大学,京都,1977年),第495-502页。Kinokuniya书店(1978)·Zbl 0411.14009号
[21] Ito,H.,Liedtke,C.:具有pn-torsion截面的椭圆K3曲面。J.Algebr。地理。22, 105-139 (2013) ·Zbl 1258.14042号·doi:10.1090/S1056-3911-2012-00584-0
[22] Jang,J.:Néron-Severi群保持K3表面的提升和应用。arXiv:1306.1596(2013)·Zbl 1326.14087号
[23] Katsura,T.:广义Kummer曲面及其特征的唯一性\[p\]p.J.Fac。科学。东京大学教派。IA数学。34, 1-41 (1987) ·Zbl 0664.14023号
[24] Kleiman,S.L.:走向宽裕的数值理论。安。数学。2(84), 293-344 (1966) ·Zbl 0146.17001号·doi:10.2307/1970447
[25] Kleiman,S.L.:皮卡德方案,基本代数几何,数学。调查专题。,第123卷,第235-321页。AMS(2005)
[26] Kondo,S.,Shimada,I.:关于超奇异K3曲面的Néron-Severi格的某些对偶性及其在一般超奇异K3.曲面上的应用。arXiv:1212.0269(2012)·Zbl 1322.14057号
[27] Lieblich,M.,Maulik,D.:关于正特征K3曲面的锥猜想的注记。arXiv:1102.3377(2011年)·Zbl 1420.14086号
[28] Lieblich,M.:《关于扭曲滑轮的普遍性》,《双有理几何、有理曲线和算术》,第205-227页。施普林格,纽约(2013)·Zbl 1279.14025号
[29] Lieblich,M.:关于超奇异K3曲面的唯一性。arXiv:1403.3073(2014)·Zbl 0128.15505号
[30] Liedtke,C.:具有正特征的小\[C_1^2\]c12的一般类型代数曲面。名古屋数学。J.191、111-134(2008)·Zbl 1157.14024号
[31] Ma,S.:在支配Kummer曲面的K3曲面上。程序。美国数学。Soc.141131-137(2013)·Zbl 1268.14040号·doi:10.1090/S0002-9939-2012-11302-4
[32] Madapusi Pera,K.:奇数特征K3曲面的Tate猜想。arXiv:1301.6326(2013)·Zbl 1329.14079号
[33] Markman,E.:\[{\rm K3}^{[n]}\]K3[n]-型全同态对称变种的拉格朗日纤维。arXiv:1301.6584(2013)·Zbl 1319.53102号
[34] Matsusaka,T.,Mumford,D.:关于极化变体变形的两个基本定理。美国数学杂志。86, 668-684 (1964) ·Zbl 0128.15505号·doi:10.2307/2373030
[35] Maulik,D.:大素数的超奇异K3曲面。arXiv:1203.2889(2012)·Zbl 1308.14043号
[36] 莫里森,D.R.:在具有较大皮卡德数的K3表面上。发明。数学。75, 105-121 (1984) ·Zbl 0509.14034号·doi:10.1007/BF01403093
[37] Morrison,D.R.:几何亏格为1的代数曲面之间的等值线。东京J.数学。10, 179-187 (1987) ·Zbl 0627.14029号·doi:10.3836/tjm/1270141802
[38] Mukai,S.:关于K3曲面上束的模量空间。I、 代数变种上的向量丛(孟买:341-413)。塔塔学院基金。研究生数学。11, 1987 (1984) ·Zbl 0674.14023号
[39] Nikulin,V.V.:Kähler K3曲面的有限自同构群。事务处理。莫斯科数学。Soc.38,75-135(1980)·Zbl 0454.14017号
[40] 尼库林,V.V.:关于K3型表面之间的对应关系。伊兹夫。阿卡德。Nauk SSSR序列。Mat.51(1987)[翻译自《数学》,苏联Izv.30,375-383(1988)]·Zbl 0653.14007号
[41] 尼库林,V.V.:在K3曲面之间的理性地图上,君士坦丁·卡拉瑟奥多里(Constantin Carathéodory):国际致敬,vols。一、 第二章,第964-995页。世界科学。出版物。(1991) ·Zbl 0754.14022号
[42] Nygaard,N.O.:有限域上普通K3曲面的Tate猜想。发明。数学。74, 213-237 (1983) ·Zbl 0557.14002号·doi:10.1007/BF01394314
[43] Ogus,A.:《超级奇异K3晶体》,《Géométrie Algébrique de Rennes杂志》,第二卷。《阿斯特里斯克64,3-86》(1979)·Zbl 0435.14003号
[44] Ogus,A.:超奇异K3曲面的结晶托雷利定理,算术和几何,第二卷,数学进展,第36卷,第361-394页。Birkhäuser,巴塞尔(1983年)·Zbl 0596.14013号
[45] Pho,D.T.,Shimada,I.:特征5中某些超奇异K3曲面的非合理性。马努斯克。数学。121, 425-435 (2006) ·Zbl 1108.14029号·doi:10.1007/s00229-006-0045-3
[46] Rudakov,A.N.,Shafarevich,I.R.:特征2场上的超奇异K3曲面。伊兹夫。阿卡德。Nauk SSSR 42,848-869(1978)[数学.苏联,Izv.13,147-165(1979)]·Zbl 0424.14008号
[47] Rudakov,A.N.,Shafarevich,I.R.:有限特征域上K3型曲面,数学中的当前问题,第18卷,第115-207页。阿卡德。弗塞索尤斯。Nauchn仪表。i泰肯。Informatsii,莫斯科,瑙克SSSR(1981)·Zbl 0518.14015号
[48] Rudakov,A.N.,Shafarevich,I.R.:关于有限特征场上K3曲面的退化。数学。苏联伊兹夫。18, 561-574 (1982) ·兹伯利0489.14015·doi:10.1070/IM1982v018n03ABEH001399
[49] Shafarevich,I.R.:Le the e orème de Torelli pour les surfaces al gébriques de type K3,ICM Nice 1970,第1卷,第413-417页。Gauthier-Villars(1971)·Zbl 0236.14016号
[50] Shioda,T.:特征p中某些K3曲面上的代数循环,《1973年东京宣言》(Proc.Internat.Conf.,东京,1973),第357-364页。东京大学出版社,东京(1975年)·Zbl 0311.14007号
[51] Shioda,T.:《数学特性》中的一个单有理曲面示例。附录211、233-236(1974)·Zbl 0276.14018号·doi:10.1007/BF01350715
[52] Shioda,T.:代数曲面非理性的一些结果。数学。Ann.230,153-168(1977)·Zbl 0343.14021号·doi:10.1007/BF01370660
[53] Shioda,T.:超奇异K3曲面。代数几何,施普林格讲义,第732卷,第564-591页(1979)·Zbl 0414.14019号
[54] Shioda,T.,Inose,H.:关于奇异K3曲面,复分析和代数几何,第119-136页。Iwanami Shoten,东京(1977年)·Zbl 0374.14006号
[55] Tate,J.:Zeta函数的代数循环和极点,算术代数几何,Harper and Row,pp.93-110(1965)·Zbl 0213.22804号
[56] Verbitsky,M.:hyperkähler流形的退化扭变空间。arXiv:1311.5073(2013)·Zbl 1328.53057号
[57] Zink,T.:Cartiertherie komusiver-formaler Gruppen,Teubner(1984)·Zbl 0578.14039号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。