庞加莱对偶性

✍ dations ◷ 2025-12-01 14:44:12 #同调论,对偶理论,流形,数学定理

数学上,庞加莱对偶定理是流形的同调及上同调群的结构的基本定理,以昂利·庞加莱命名。这定理说若是维有向闭流形(即紧致且无边界),则的第阶上同调群同构于的第( − )阶同调群。对所有整数

庞加莱对偶定理于任何系数环都成立,只需在流形上相对于系数环而取定向。特别是由于流形于模2都有唯一定向,故于模2时庞加莱对偶定理不需假设定向就成立。

庞加莱对偶定理的一个形式最初由庞加莱于1893年提出,没有证明。当时他用贝蒂数来表达:一个维可定向闭流形的第个和第( − )个贝蒂数相等。其时未有上同调的概念,须待四十年后才得以厘清。庞加莱在1895年的论文《Analysis Situs》中尝试用他创造的拓扑相交理论去证明定理。波尔·赫高对这篇论文的批评,令庞加莱发现他的证明有重大错误。庞加莱在论文的附录首两篇中,用对偶三角剖份给出新证明。

直至1930年代上同调概念出现,庞加莱对偶定理的现代形式才出现。爱德华·切赫和哈斯勒·惠特尼发明了杯积和笠积,用这些新概念表达庞加莱对偶定理。

庞加莱对偶定理的现在形式是以同调和上同调给出:若是闭有向-流形,是整数,则有从第阶上同调群()到第( − )阶同调群 − ()的典范同构。(此处的同调和上同调取整数环为系数,但这个同构对任何系数环都成立。)更确切而言,这个同构将()的元素,映射到这个元素与的一个基本类的杯积,而有向流形都存在基本类。

对非紧致有向流形,需把上同调用紧支上同调代替。

负数阶的同调和上同调群定义为零,所以庞加莱对偶性推导出闭有向-流形大于阶的同调和上同调群是零。

相关

  • 王政时期罗马王政时代或罗马王国(拉丁语:REGNVM ROMANVM)是指前753年到前509年这一时期的古罗马,此时的罗马是一个君主制国家,尚未建立共和国。罗马王国时期,氏族部落组织尚完整存在,统治阶
  • 调节基因调节基因(英语:regulator gene)是指用来控制其他基因表达的基因。调控序列用于给调节基因编码,通常在转录起始点的5′端。在原核生物中,调节基因通常用于编码抑制蛋白(英语:repress
  • span class=nowrapDysub2/sub(SOsub4/sub)sub&g硫酸镝是一种无机化合物,化学式为Dy2(SO4)3。用硫酸溶解氧化镝,可以得到硫酸镝。
  • MacTutor数学史档案MacTutor数学史档案是一个曾获奖的数学史网站,架于苏格兰圣安德鲁斯大学,目前由John J. O'Connor与Edmund F. Robertson维护。此网站包含许多古代与当代数学家的详细传记、各
  • 水化物水合物(Hydrate)指的是含有水的化合物,其范围相当广泛。其中水可以是配位与其他部分相连,如水合金属离子,也可以是以共价键相结合,如水合三氯乙醛。粉红色的水合氯化钴加热失水生
  • 月球探险车阿波罗月球车(英语:Lunar Roving Vehicle)是1971至1972年期间,阿波罗计划中第十五、十六和十七次登月任务中,宇航员使用的月球车。外号为“Moon Buggy”,这个称呼源自于沙滩车的俗
  • 布兰迪科布兰迪科(意大利语:Brandico),是意大利布雷西亚省的一个市镇。总面积8平方公里,人口1651人,人口密度206.4人/平方公里(2009年)。国家统计(ISTAT)代码为017026。
  • 森林-城镇交界域森林-城镇交界域(英语:wildland–urban interface,WUI),简称交界域,是指无人居住的荒地与人类开发的土地之间的过渡区。距离该地域0.5英里(0.80公里)以内的社区也可能包括在内。这些
  • 2009年6月逝世人物列表2009年6月逝世人物列表,是用于汇总2009年6月期间逝世人物的列表。
  • 莉莲·吉什莉莲·戴安娜·吉什(英语:Lillian Diana Gish,1893年10月14日-1993年2月27日)是一名童星出身的美国电影演员,默片年代的银幕标志之一,奥斯卡金像奖终身成就奖得主,肯尼迪中心荣誉奖