×

o-极小流形的交集理论。 (英语) Zbl 0968.03044号

摘要:我们发展了实闭域的o-极小展开中可定义C^p流形的交集理论,并证明了交集数在可定义同伦(p>2)下的不变性。特别地,我们定义了两个互补维可定义子流形的交集数,即Brouwer度和缠绕数。我们通过在o-极小上下文中推导Brouwer不动点定理、Jordan-Brouwer分离定理和Lefschetz数在可定义的C^p同伦下的不变性来说明该理论。A.皮莱已经证明,任何可定义的群都承认一个抽象的流形结构。在证明了抽象可定义紧(C^p)流形的嵌入定理之后,我们将交集理论应用于可定义群。特别是利用Lefschetz不动点定理,我们证明了一个可定义紧群上单位映射的Lefschet数为零,在经典情况下,它与Euler特征相一致。

MSC公司:

03C64号 有序结构的模型理论;o-极小性
57卢比99 差分拓扑
03C98号 模型理论的应用
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bochnak,J。;Coste,M。;Roy,M.F.,Géometrie Algebrique Réelle(1986),《施普林格:柏林施普林格》
[2] M.Coste,《O-极小几何导论》,《Quaderni del dottorato》,比萨,2000年。;M.Coste,《O-极小几何导论》,《Quaderni del dottorato》,比萨,2000年。
[3] van den Dries,L.,《Tame Topology and o-minimal structures》,伦敦数学。Soc.Lect(社会学)。注释系列,第248卷(1998),剑桥大学出版社:剑桥大学出版社·Zbl 0953.03045号
[4] van den Dries,L。;Miller,C.,《几何范畴和最小结构》,Duke J.,84,497-540(1996)·Zbl 0889.03025号
[5] Denef,J。;van den Dries,L.,(p\)-元和实子分析集,《数学年鉴》。,1094, 80-138 (1988) ·Zbl 0693.14012号
[6] 吉列明,V。;Pollack,A.,《微分拓扑》(1974),普伦蒂斯·霍尔:普伦蒂斯霍尔·恩格尔伍德克利夫斯,新泽西州·Zbl 0361.57001号
[7] 奈特,J。;A.皮莱。;斯坦霍恩,C.,有序结构中的可定义集II,Trans。阿默尔。数学。Soc.,295593-605(1986年)·Zbl 0662.03024号
[8] Munkres,J.,《初等微分拓扑》,《数学年鉴》。研究,第54卷(1966),普林斯顿大学出版社:普林斯顿大学出版·Zbl 0161.20201号
[9] 内森,A。;A.皮莱。;Razenj,V.,o-极小结构上的维2和维3的群,Ann.Pure Appl。逻辑,53,279-296(1991)·兹伯利0749.03027
[10] 奥特罗,M。;Peterzil,Y。;Pillay,A.,实闭域的o-极小展开中可定义的群和环,Bull。伦敦数学。Soc.,28,7-14(1996)·Zbl 0834.12006号
[11] Y.Peterzil,A.Pillay,S.Starchenko,o-极小结构中的可定义简单群,Trans。阿默尔。数学。Soc.,出现。;Y.Peterzil,A.Pillay,S.Starchenko,o-极小结构中的可定义简单群,Trans。阿默尔。数学。Soc.,出现·Zbl 0952.03046号
[12] Y.Peterzil,C.Steinhorn,o-极小群的可定义紧性和可定义子群,J.London Math。Soc.(2)59(1999)769-786。;Y.Peterzil,C.Steinhorn,o-极小群的可定义紧性和可定义子群,J.London Math。Soc.(2)59(1999)769-786·Zbl 0935.03047号
[13] A.皮莱。;斯坦霍恩,C.,有序结构中的可定义集合I,Trans。阿默尔。数学。Soc.,295565-592(1986年)·Zbl 0662.03023号
[14] Pillay,A.,《关于以o-minimal结构定义的群和字段》,J.Pure Appl。代数,53239-255(1988)·Zbl 0662.03025号
[15] Razenj,V.,o-极小结构上的一维群,Ann.Pure Appl。逻辑,53,269-277(1991)·Zbl 0747.03016号
[16] Robson,R.,嵌入半代数空间,数学。Z.,184,365-370(1983)·Zbl 0496.14017号
[17] 斯皮瓦克,M.,《微分几何》(1979),《出版还是毁灭:出版还是毁灭伦敦》·Zbl 0439.53001号
[18] Strzebonski,A.,半代数和其他o-极小结构中的Euler特征,J.Pure Appl。代数,96,173-201(1994)·Zbl 0815.03024号
[19] Strzebonski,A.,可在o-极小结构中定义的一维群,J.Pure Appl。代数,96,203-214(1994)·Zbl 0815.03025号
[20] Wilkie,A.,通过限制Pfaffian函数和指数函数展开有序实数场的模型完整性结果,J.Amer。数学。Soc.,9,1051-1094(1996)·Zbl 0892.03013号
[21] A.Woerheide,O-最小同源性,博士论文,伊利诺伊大学香槟分校,1996年。;A.Woerheide,O-最小同源性,博士论文,伊利诺伊大学香槟分校,1996年·Zbl 1153.03010号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。