×
马里奥·埃德蒙多。；卢卡·普雷利

六个Grothendieck在最小滑轮上运行。 （英语） Zbl 1485.03133号

数学。Z.公司。 294，编号1-2，109-160（2020）.
小结：在本文中，我们发展了o-最小带轮上Grothendieck六次操作的形式。Grothendieck形式主义允许我们获得以下的o极小版本：（i）导出的投影公式；（ii）通用系数公式；（iii）导出的基础变化公式；（iv）Künneth公式；（v） 地方和全球的威尔第二元性。

引用于三文件

MSC公司：

03C64号 有序结构的模型理论；o极小性
14层06 代数几何中的滑轮
22 C99 紧凑型组
54B20型 一般拓扑中的超空间
55N30型 代数拓扑中的剪切上同调

关键词：

o最小结构；正确的直接图像；滑轮；上同调；半代数；全局次分析
PDF格式BibTeX公司 XML格式引用
\textit{M.J.Edmundo}和\textit{L.Prelli}，数学。Z.294，编号1--2，109-160（2020；Zbl 1485.03133）
全文： 内政部 arXiv公司

参考文献：

[1] Berarducci，A.，o-极小结构中群的上同调：无穷小子群的无环性，J.Symb。逻辑，74，3，891-900（2009）·Zbl 1181.03042号 ·doi:10.2178/jsl/1245158089
[2] Berarducci，A。；Fornasiero，A.，O-最小上同调：有限性和不变性结果，J.数学。逻辑，9，2，167-182（2009）·Zbl 1236.03030号 ·doi:10.1142/S0219061309000859
[3] Benoist，O.，Wittenberg，O.：关于实变种的积分Hodge猜想，第64页。arXiv:1801.00872（2018）·兹伯利1465.14055
[4] Benoist，O.，Wittenberg，O.：关于实变种的积分Hodge猜想，II。第56页。arXiv:1801.00873（2018）·Zbl 1439.14037号
[5] 比尔斯通，E。；Milman，P。；哈斯克尔，D。；A.皮莱。；Steinhorn，C.，《亚分析几何、模型理论、代数和几何》，151-172（2000），剑桥：MSRI出版物，剑桥·Zbl 0970.3208号
[6] Bochnak，J.，Coste，M.，Roy，M.-F.：实代数几何。数学Ergebnisse der Math。（3） 第36卷。柏林施普林格（1998）·Zbl 0912.14023号
[7] Bredon，G.：剪切理论。在：数学研究生课文。，第2版。第170卷。施普林格，纽约（1997）·Zbl 0874.55001号
[8] Coste，M.：o-minimal几何简介。浸渍。比萨Mat.Univ.Pisa，《Matematica中的Dottorato di Ricerca》，《国际政治期刊》，比萨（2000年）
[9] D'Agolo，A.，《关于回火全纯函数的拉普拉斯变换》，《国际数学》。Res.Not.，不适用。，16, 4587-4623 (2014) ·Zbl 1304.32006号 ·doi:10.1093/imrn/rnt091
[10] D'Agolo，A。；Kashiwara，M.，完整D-模的Riemann-Hilbert对应，Publ。数学。上议院。科学。，123, 1, 69-197 (2016) ·Zbl 1351.32017年 ·doi:10.1007/s10240-015-0076-y
[11] Delfs，H.：局部半代数空间的同调。收录于：数学课堂笔记，第1484卷。柏林施普林格（1991）·Zbl 0751.14033号
[12] Delfs，H。；Knebush，M.，实闭域上的半代数拓扑II：半代数空间的基本理论，数学。Z.，178175-213（1981）·Zbl 0447.14003号 ·doi:10.1007/BF01262039
[13] Denef，J。；Van Den Dries，L.，（p\）-元和实子分析集，《数学年鉴》。，128, 79-138 (1988) ·Zbl 0693.14012号 ·doi:10.307/1971463
[14] Edmundo，M.，群的o-极小展开的结构定理，Ann.Pure Appl。日志。，102, 1-2, 159-181 (2000) ·Zbl 0944.03027号 ·doi:10.1016/S0168-0072（99）00043-3
[15] 埃德蒙多，M。；琼斯·G。；Peatfield，N.，《o-极小结构中的Sheaf上同调》，J.Math。日志。，6, 2, 163-179 (2006) ·Zbl 1120.03024号 ·doi:10.1142/S0219061306000566
[16] 埃德蒙多，M。；马米诺，M。；普雷利，L.，《关于明确的正确地图》，基金会。数学。基金。数学。，233, 1, 1-36 (2016) ·Zbl 1353.03033号
[17] 埃德蒙多，M。；马米诺，M。；普雷利，L。；Ramakrishnan，J。；Terzo，G.，《论一般情况下的皮莱猜想》，高等数学。，310, 940-992 (2017) ·Zbl 1423.03131号 ·doi:10.1016/j.aim.2017.02.015
[18] 埃德蒙多，M。；普雷利，L.，《o-极小结构中的庞加莱-弗代尔对偶》，傅里叶·格勒诺布尔研究所，60，4，1259-1288（2010）·Zbl 1235.03070号 ·doi:10.5802/aif.2554
[19] 埃德蒙多，M。；Prelli，L.，具有可定义紧支撑的o-极小上同调不变性，Conflu。数学。，2015年7月1日，35-53·Zbl 1328.03040号 ·doi:10.5802/cml.17
[20] 埃德蒙多，M。；Terzo，G.，关于可定义群的一般子集的注释，基金。数学。，215, 1, 53-65 (2011) ·Zbl 1244.03115号 ·doi:10.4064/fm215-1-3
[21] Godement，R.，《巴黎市政厅》（Théorie des faisceaux，1958），巴黎：赫尔曼，巴黎·Zbl 0080.16201号
[22] 格罗森迪克，A。；Dieudonné，J.，Elements de gémeterie algébrique II，高等科学研究院。出版物。数学。，8, 5-222 (1961) ·doi:10.1007/BF02699291
[23] Hartshorne，R.：代数几何。收录：数学研究生教材，第52卷。纽约州施普林格市（1977年）·Zbl 0367.14001号
[24] Hrushovski，E.：有值字段，亚稳定组，草稿（2004）。网址：http://www.ma.huji.ac.il/ehud/mst.pdf
[25] Hrushovski，E.，Loeser，F.：非阿基米德驯服拓扑和稳定支配类型。收录于：《数学研究年鉴》，第192卷。普林斯顿大学出版社，普林斯顿（2016）·Zbl 1365.14033号
[26] 赫鲁肖夫斯基，E。；Peterzil，Y.，范登·德里斯的一个问题和利普希茨和罗宾逊的一个定理；J.Symb，并非一切都是标准的。日志。，72, 119-122 (2007) ·Zbl 1118.03027号 ·doi:10.2178/jsl/1174668387
[27] 赫鲁肖夫斯基，E。；彼得齐尔，Y。；Pillay，A.，《组、度量和NIP》，J.Am.数学。《社会学杂志》，21，2563-596（2008）·Zbl 1134.03024号 ·doi:10.1090/S0894-0347-07-00558-9
[28] Iversen，B.，《滑轮的同源性》（1986），柏林：Universitext。柏林施普林格·Zbl 1272.55001号
[29] Kayal，T.，Raby，G.：综合资源分析：全球专有资源。C.R.学院。科学。巴黎Ser。I数学。308, 521-523 (1989) ·兹比尔0674.32003
[30] Kashiwara，M.，Schapira，P.：歧管上的滑轮。In：格兰德伦数学。，第292卷。柏林施普林格（1990）·Zbl 0709.18001号
[31] Kashiwara，M.、Schapira，P.：Ind-shives。Astérisque阿斯特里斯克271（2001）·Zbl 0993.3209
[32] Kashiwara，M.，Schapira，P.：类别和滑轮。In：格兰德伦数学。，第332卷。柏林施普林格出版社（2006）·Zbl 1118.18001号
[33] 利普希茨，L。；Robinson，Z.，《过收敛实闭量词消去》，Bull。伦敦。数学。Soc.，38，897-906（2006）·Zbl 1116.03032号 ·doi:10.1112/S0024609306018832
[34] Peterzil，Y.，Starchenko，S.：Weierstrass-函数的一致可定义性和一维广义环面。选择。数学。（N.S.）10（4），525-550（2004）·Zbl 1071.03022号
[35] 彼得齐尔，Y。；Steinhorn，C.，可定义紧性和o-极小群的可定义子群，J.Lond。数学。Soc.，59，2769-786（1999年）·Zbl 0935.03047号 ·doi:10.1112/S0024610799007528
[36] Pila，J.，O极小性与（{mathbb{C}}^n）的André-Oort猜想，Ann.Math。，173, 3, 1779-1840 (2011) ·Zbl 1243.14022号 ·doi:10.4007/annals.2011.173.3.11
[37] Pila，J.，Zannier，U.：周期分析集中的有理点和Manin-Mumford猜想。阿提·阿卡德。纳粹。Lincei Cl.科学。财政部。Mat.Natur公司。伦德。Lincei材料应用。19(2), 149-162 (2008) ·Zbl 1164.11029号
[38] 皮拉，J。；Aj Wilkie，《可定义集合的有理点》，《数学公爵》。J.，133，3，591-616（2006）·Zbl 1217.11066号 ·doi:10.1215/S0012-7094-06-13336-7
[39] Pillay，A.，《连续可定义函数的滑轮》，J.Symb。日志。，53, 4, 1165-1169 (1988) ·Zbl 0683.03018号 ·doi:10.1017/S0022481200027985
[40] Pillay，A.，《类型可定义性、紧李群和o-极小性》，J.Math。日志。，4, 2, 147-162 (2004) ·Zbl 1069.03029号 ·doi:10.1142/S0219061304000346
[41] A.皮莱。；Steinhorn，C.，有序结构中的可定义集I，Trans。美国数学。Soc.，295，2565-592（1986）·Zbl 0662.03023号 ·doi:10.1090/S002-9947-1986-0833697-X
[42] Prelli，L.，亚解析位点上的乳木属，Rend。帕多瓦大学医学院，120，167-216（2008）·Zbl 1171.32002号 ·doi:10.4171/RSMUP/120-11
[43] Rudin，Me，一个正常空间（X\），其中（X\乘以I\）不正常，Fund。数学。，73, 179-186 (1971) ·Zbl 0224.54019号 ·doi:10.4064/fm-73-2-179-186
[44] Schwartz，N.：实闭空间的基本理论，第77卷，第397期。在：AMS回忆录（1989）·Zbl 0697.14015号
[45] van den Dries，L.：Tarski-Seidenberg定理的推广和一些不可定义结果。牛市。美国数学。Soc.（N.S）15，189-193（1986）·Zbl 0612.03008号
[46] van den Dries，L.：缓和拓扑和o-极小结构。In：伦敦数学。Soc.课堂讲稿系列，第248卷。剑桥大学出版社，剑桥（1998）·Zbl 0953.03045号
[47] Van Den Dries，L。；麦金太尔，A。；Marker，D.，带指数运算的限制解析域的基本理论，《数学年鉴》。，140, 183-205 (1994) ·Zbl 0837.12006号 ·doi:10.2307/2118545
[48] Van Den Dries，L。；Miller，C.，《几何范畴和o-最小结构》，杜克数学。J.，84，497-540（1996）·Zbl 0889.03025号 ·doi:10.1215/S0012-7094-96-08416-1
[49] Verdier，J.L.：《Dualitédans la cohomologie des espaces localement compact》。Seminaire Bourbaki 300（1965年）·Zbl 0268.55006号
[50] Wilkie，A.，通过限制Pfaffian函数和指数函数展开实数有序域的模型完整性结果，J.Am.Math。Soc.，9，1051-1094（1996）·Zbl 0892.03013号 ·doi:10.1090/S0894-0347-96-00216-0
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。