×

半代数集的虚拟刚性动机。 (英语) 兹伯利1411.14014

设(k)是一个包含所有统一根的特征域。F.莫雷尔V.沃沃德斯基[数学出版社,高等科学研究院,90,45-143(1999;Zbl 0983.14007号)]在(k)-schemes(X)上引入了动力滑轮的概念。根据阿尤布的结果,这些动力滑轮满足格罗森迪克的六分式形式主义。特别是,对于任何(k)-方案(f:X-to\text{spec}k\),我们可以类比通常的紧支撑上同调,得到一个“紧支撑下的上同调动机”(mathrm{M}^vee_{c}(X):=f_!f^*\mathbf{1}_{k} \in\text{SH}(k)\)(其中\(\text{SH}(k):=\text{SH}(\text{spec}k\))。这个函子(M^\vee_{c})诱导了一个环同态(chi_k:mathbf{k}(\text{变量}(_k))适当的Grothendieck环之间的\to\mathbf{K}(\text{SH}(K))。这里,\(\mathbf{K}(\text{变量}(_k))\)用剪刀关系模上的变种定义,用三角范畴的精确三角形诱导的关系模上“可构造对象”定义(mathbf{k}(text{SH}(k))。
现在设置\(K:=K((t))\)。在这种情况下,J.阿尤布【《社会数学杂志》,新编,第140–141页,第1–386页(2015年;Zbl 1333.14001号)]引入了刚性分析变种(K)的变型(K)。他确实提出了“同调和上同调刚性动机”的概念{米}_{\mathrm{rig}}(X)\)和\(\mathrm{M}^\vee_{\mathrm{rig}}。本文在Grothendieck环的层次上提供了这样一个概念:上面的映射\(\chi_K:\mathbf{K}(\text{变量}K(_K))将\to\mathbf{K}(\text{SH}(K))以自然的方式扩展为一个映射(\chi_{mathrm{Rig}}:\mathbf{K}(\text{VF}^{mathrm{an}}_K)\to\mathbf{K}(text{RigSH},K))。这里,使用\(K)上的子分析集定义了\(mathbf{K}(\text{VF}^{mathrm{an}}_K)(同样是剪刀关系的模)。
为了证明这个(chi{mathrm{Rig}})真的是“正确的”同态,作者证明了(chi{mathrm{Rig}}\)满足了人们在紧支撑(将它与同调联系起来)的(虚)上同调所期望的各种对偶性质{米}_{\mathrm{rig}})和上同调(\mathrm{M}^\vee\mathrm}rig})以及(\chi_{\mathr{rig}}\)已经由这些对偶性质中的一个唯一确定。
构造(chi_{mathrm{Rig}})的一个关键思想是,可以用相应的Grothendieck环(mathbf{K}(text{VF}^{mathrm{an}}_K)和{变量}(_k))\)和(mathbf{K}(\text{SH}(K))在剩余域\(K\)上。这里,\(\mathbf{K}(\text{VF}^{\mathrm{an}}_K)\)和\(\mathbf{K}(\text{变量}(_k))\)源于Hrushovski-Kazhdan定义的动力整合,(mathbf{K}(text{RigSH}(K))和(mathbf{K}(text{SH}))之间的关系来自Ayoub的结果。
利用映射(chi_{mathrm{Rig}})(及其对偶性质),作者回答了Nicaise-Sebag提出的关于解析Milnor光纤的一个问题。

MSC公司:

14C15号 (等变)Chow群和环;动机
14层42层 动机上同调;动力同伦理论
03C60型 模型理论代数
14国道22号 刚性分析几何
32S30型 复杂奇点的变形;消失循环
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿尤布(Ayoub),J.:《格罗森迪克六项行动与形式》(Les six opérations de Grothendieck et le formalisme des cyclesévancents dans le monde motique)。一、法国数学协会,巴黎(2007年)·Zbl 1146.14001号
[2] 阿尤布(Ayoub),J.:《格罗森迪克六项行动与形式》(Les six opérations de Grothendieck et le formalisme des cyclesévancents dans le monde motique)。二、。法国数学协会,巴黎(2007年)·Zbl 1153.14001号
[3] Ayoub,A.:各种分析方法的基本原理僵化。梅姆。社会数学。法语,Nouv。Sér。140-141, 1-386 (2015) ·Zbl 1333.14001号
[4] Ayoub,J.、Ivorra,F.、Sebag,J.:刚性分析管和附近动力滑轮的动力。科学年鉴。埃及。标准。上级。(4) 50(6),1335-1382(2017)·Zbl 1403.14014号 ·doi:10.24033/asens.2347
[5] Berthelot,P.:共鸣与共鸣支持Propres,Premiere Partie。公共出版物IRMAR 96-03,雷恩大学(1996)
[6] Bittner,F.:各种特征零点的通用欧拉特征。作曲。数学。140(4), 1011-1032 (2004) ·Zbl 1086.14016号 ·doi:10.1112/S0010437X03000617
[7] Bittner,F.:关于动力zeta功能和动力附近纤维。数学。Z.249(1)、63-83(2005)·兹比尔1085.14020 ·doi:10.1007/s00209-004-0689-1
[8] Borisov,L.:仿射线的类是Grothendieck环中的零因子。J.Algebr。地理。27(2), 203-209 (2018) ·Zbl 1415.14006号 ·doi:10.1090/jag/701
[9] Bosch,S.,Güntzer,U.,Remmert,R.:非阿基米德分析。刚性解析几何的系统方法。施普林格,纽约(1984)·Zbl 0539.14017号
[10] Bosch,S.,Lütkebohmert,W.:形式和刚性几何。一: 刚性空间。数学。Ann.295(2),291-317(1993)·Zbl 0808.14017号 ·doi:10.1007/BF01444889
[11] 西辛斯基,D.-C.,德格利什,F.:混合动机的三角分类。arXiv:0912.2110【数学】(2009)·Zbl 07138952号
[12] Cluckers,R.,Lipshitz,L.:具有分析结构的字段。《欧洲数学杂志》。Soc.(JEMS)13(4),1147-1223(2011)·Zbl 1291.03074号 ·doi:10.4171/JEMS/278
[13] Deligne,P.:Voevodsky关于交叉函数的讲座(2001年)
[14] Denef,J.,Loeser,F.:动机Igusa zeta功能。J.代数几何。7(3), 505-537 (1998) ·Zbl 0943.14010号
[15] Denef,J.,Loeser,F.:奇异代数变体和动力积分上的弧的萌芽。发明。数学。135(1), 201-232 (1999) ·Zbl 0928.14004号 ·doi:10.1007/s002220050284
[16] Denef,J.,Loeser,F.:代数簇弧空间上的几何。摘自:欧洲数学大会,第一卷(巴塞罗那,2000年),第201卷,Progr。数学。,第327-348页。Birkhäuser,巴塞尔(2001年)·Zbl 1079.14003号
[17] Denef,J.,Loeser,F.:单值函数和截断弧的Lefschetz迭代数。拓扑41(5),1031-1040(2002)·兹比尔1054.14003 ·doi:10.1016/S0040-9383(01)00016-7
[18] Fresnel,J.,van der Put,M.:刚性解析几何及其应用。Birkhäuser,波士顿(2004年)·Zbl 1096.14014号 ·doi:10.1007/978-1-4612-0041-3
[19] 富尔顿,W.:《保守主义品种导论》。1989年威廉·H·罗夫几何讲座。普林斯顿大学出版社,普林斯顿(1993)·Zbl 0813.14039号
[20] Hrushovski,E.,Kazhdan,D.:有价值领域的整合。在:代数几何和数论。为纪念弗拉基米尔·德林菲尔德50岁生日,第261-405页。Birkhäuser,巴塞尔(2006年)·Zbl 1136.03025号
[21] Hrushovski,E.,Loeser,F.:Lefschetz固定点的单峰公式。科学年鉴。埃及。标准。上级。(4) 48(2), 313-349 (2015) ·Zbl 1400.14015号 ·doi:10.24033/asens.2246
[22] Ivorra,F.,Sebag,J.:附近的动机和动机附近的周期。选择。数学。新序列号。19(4), 879-902 (2013) ·Zbl 1286.14004号 ·doi:10.1007/s00029-012-0111-5
[23] Le Stum,B.:刚性上同调。剑桥大学出版社,剑桥(2007)·Zbl 1131.14001号 ·doi:10.1017/CBO9780511543128
[24] Lipshitz,L.,Robinson,Z.:刚性亚解析集的一致性质。事务处理。美国数学。Soc.357(11),4349-4377(2005)·Zbl 1081.03024号 ·doi:10.1090/S0002-9947-05-04003-1
[25] Loeser,F.:西雅图动力整合讲座。摘自:《代数几何》,西雅图,2005年。《2005年夏季研究所学报》,西雅图,华盛顿州,美国,2005年7月25日至8月12日,第745-784页。美国数学学会(AMS),普罗维登斯,RI(2009)·Zbl 1181.14017号
[26] Martin,F.:局部封闭半代数子集的上同调。马努斯克。数学。144(3-4), 373-400 (2014) ·兹比尔1300.14028 ·doi:10.1007/s00229-013-0650-x
[27] Morel,F.,Voevodsky,[V.:{mathbb{A}}^1\]A1方案的自组织理论。出版物。数学。上议院。科学。90, 45-143 (1999) ·Zbl 0983.14007号 ·doi:10.1007/BF02698831
[28] Nicaise,J.,Payne,S.:热带动力Fubini定理及其在Donaldson-Thomas理论中的应用。杜克。数学。J.arXiv:1703.10228(2017)(待发布)·Zbl 1429.14033号
[29] Nicaise,J.、Payne,S.、Schroeter,F.:通过动力积分计算热带精细曲线。地理。白杨。22(6), 3175-3234 (2018) ·Zbl 1430.14037号 ·doi:10.2140/gt.2018.22.3175
[30] Nicaise,J.、Sebag,J.:动机Serre不变量、分支和分析Milnor纤维。发明。数学。168(1), 133-173 (2007) ·Zbl 1136.14010号 ·doi:10.1007/s00222-006-0029-7
[31] 堆叠项目作者。Stacks项目(2018年)
[32] Tate,J.:刚性分析空间。发明。数学。12, 257-289 (1971) ·Zbl 0212.25601号 ·doi:10.1007/BF01403307
[33] van den Dries,L.:缓和拓扑和O-极小结构。剑桥大学出版社,剑桥(1998)·Zbl 0953.03045号 ·doi:10.1017/CBO9780511525919
[34] Verdier,J.-L.:《猫的生活》。法国数学协会,巴黎(1996年)·Zbl 0882.18010号
[35] Yin,Y.:代数闭值域中的特殊变换。Ann.纯应用。逻辑161(12),1541-1564(2010)·Zbl 1226.03044号 ·doi:10.1016/j.apal.2010.06.005
[36] Yin,Y.:代数闭值域中的积分。Ann.纯应用。逻辑162(5),384-408(2011)·Zbl 1225.03042号 ·doi:10.1016/j.apal.2010.12.01
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。