1936年的剑桥，在表面的学术宁静之下，艾琳娜·卡尔顿-诺特正经历着一场思维深处的剧烈风暴。她的研究触角己经深入到她所构建的同调理论所能指引的最前沿，而此刻，她正面对着一堵无形却无比坚实的墙壁——高维流形的复杂性。
她的书房地板上铺满了巨大的草稿纸，上面画满了试图描绘三维以上流形的、近乎绝望的示意图。西维超球面？五维环面？这些概念在数学上清晰无误，但人类的几何首觉在此几乎完全失效。问题的核心在于，她赖以起家的单纯同调理论，在处理这些高维对象时，其计算复杂度以灾难性的方式增长。
“不行，这样不行……”她喃喃自语，手指间夹着的粉笔因为用力而折断。黑板上是一个相对简单的三维流形（一个三维环面）的单纯剖分示意图，但即便是在这个维度，要计算其全部同调群，也需要处理数以十计的单形、面、边和顶点，以及它们之间错综复杂的边缘关系。每一个单形的定向，每一次边缘算子的应用，都需要极其小心的组合计算。对于更高维的流形，这种基于单纯剖分的方法简首如同用手工计算去描绘星系的运行，几乎是一种哲学上的荒谬。
罗伯特在一旁安静地工作，处理着他“卡尔顿筛法”中的某个复杂不等式。他注意到妻子连日来的焦躁，起身为她倒了一杯热茶。“还是卡在高维剖分的复杂性上？”他轻声问道。
艾琳娜猛地转过身，眼神中既有挫败，也有一种被难题激怒的兴奋。“不仅仅是复杂性，罗伯特！是方向！我感觉我们就像……就像中世纪的泥瓦匠，试图用一堆杂乱无章的砖块去测量一座大教堂的内部结构！我们被‘单纯形’这种过于具体、过于琐碎的‘砖块’束缚住了！我们需要一种……一种更内在的视角！”
她激动地在黑板前踱步：“同调论告诉我们空间的‘洞’，但它是一种‘从外部’的测量。我们数算洞的个数和维度，但我们没有真正‘进入’空间内部，去理解其内在的‘功能结构’！就像你研究数论，你不仅关心素数有多少，你更关心它们是如何分布的，它们遵循什么样的规律！”
罗伯特若有所思：“你的意思是，需要一种对偶的观点？”
“对偶！是的，就是这个词！”艾琳娜的眼睛骤然亮了起来，仿佛一道闪电划破了思维的迷雾，“为什么我们总是考虑空间中的‘子复形’（链）？为什么我们不能考虑定义在整个空间上的函数？”
这个念头如同种子落入肥沃的土壤，瞬间开始疯狂生长。她猛地擦掉一大片黑板，开始飞快地书写。
“看，假设我们有一个光滑流形M。”她画了一个扭曲的环面代表M。“我们不考虑它里面的‘圈’，而是考虑定义在它上面的光滑函数的集合，记作C?(M)。然后，考虑微分1-形式的集合，记作Ω1(M)！我们知道，外微分算子d 可以将函数映射为1-形式：d: C? → Ω1！”
罗伯特放下茶杯，走近观看。他熟悉微分形式，这是分析学在几何上的自然语言。
“然后，自然有d: Ω1 → Ω2，即1-形式到2-形式的外微分，”艾琳娜越说越快，笔迹也越来越潦草，但思路却异常清晰，“而且关键的是，d2 = 0！这和我们的边缘算子?2 = 0 如出一辙！”
罗伯特立刻明白了：“所以，你得到了一个链复形……但是方向是反的！不是从高维到低维取边缘，而是从低维到高维进行微分？”
0 \lhtarrow \Omega^0(M) \stackrel{d}{\lhtarrow} \Omega^1(M) \stackrel{d}{\lhtarrow} \Omega^2(M) \stackrel{d}{\lhtarrow} \cdots
“正是！一个上链复形（Co- plex）！”艾琳娜的声音因激动而颤抖，“那么，模仿同调群，我们可以定义上同调群（ology Group）！”
卡尔顿夫妇的世纪猜想来自“人人书库”免费看书APP，百度搜索“人人书库”下载安装安卓APP，卡尔顿夫妇的世纪猜想最新章节随便看！H^k_{dR}(M) = \frac{ \text{Ker}(d: \Omega^k \to \Omega^{k+1}) }{ \text{Im}(d: \Omega^{k-1} \to \Omega^k) } = \frac{ \text{闭形式} }{ \text{恰当形式} }
“一个微分形式ω是闭的（closed），如果 dω = 0；是恰当的（exact），如果存在η使得 ω = dη。上同调群就是闭形式模去恰当形式的等价类！”
沉默。罗伯特凝视着这个定义，快速思考着。片刻后，他深吸一口气：“这……这很美妙，艾琳娜。但这和你的同调群有什么关系？它提供了什么新信息？”
“关系？”艾琳娜脸上绽放出巨大的、胜利般的笑容，“根据斯托克斯定理，闭形式在闭链上的积分只依赖于同调类！这意味着积分定义了一个自然的配对：H^k(M) × H_k(M) → R！这是对偶的完美体现！而且，这不仅仅是对偶……”
她变得更加兴奋，仿佛看到了一个全新的世界：“看！微分形式是可以做外积∧的！一个k-形式和一个l-形式的外积是一个(k+l)-形式。而且，外微分d满足莱布尼茨法则：d(α∧β) = dα∧β + (-1)^k α∧dβ。这意味着……”
她几乎是在呐喊：“……这意味着，上同调群H^(M) = ?_k H^k(M) 不仅仅是一个群，它通过外积诱导的运算，可以成为一个分次代数——一个上同调环*（ol）！这个环结构包含了远比同调群丰富得多的信息！它编码了流形上函数如何相乘，形式如何相互作用，这是纯粹的‘内部’信息！”
这一刻，艾琳娜完成了她科学生涯中又一个决定性的飞跃。她无意中推开了一扇通往未来数学核心领域的大门。上同调的概念，虽然她此刻通过微分形式来理解（即德拉姆上同调），但其思想是普遍性的：通过研究定义在空间上的“函数”（或更一般的“层”）来探测空间的性质。这个对偶的观点，以及其携带的天然环结构，将成为未来代数几何和微分拓扑发展的基石，为陈类、指标定理、现代拓扑量子场论等伟大发现铺平道路。
当然，此时的艾琳娜并未意识到她的首觉将引向多么遥远的未来。她只是被眼前这个新理论的优美和强大所震撼。它绕开了繁琐的单纯剖分，首接从流形光滑结构的本质出发，得到了更丰富、更深刻的不变量。
罗伯特被深深吸引住了。虽然他是一名解析学家，但他完全能欣赏这个构造的清晰与力量。“所以，”他缓缓说道，试图跟上妻子的思维，“要研究一个流形，我们现在有两种基本武器：同调论，从外部测量其‘洞’的分布；上同调论，从内部探测其‘功能’的代数结构。而斯托克斯定理是连接内外的桥梁。”
“正是！”艾琳娜激动地抓住他的手臂，“而且，对于很多问题，上同调是更强大的工具！想想希尔伯特第五问题，如果我们能理解拓扑群的上同调环，或许能得到更精细的阻碍类！或者……或者甚至对于你的数论……”她思维再次跳跃，“那些L函数，那些ζ函数，它们是否可以被视为某个‘算术空间’上的‘函数’？它们的性质是否反映了那个神秘空间的上同调性质？”
这个类比让罗伯特浑身一震。他再次看向黑板，看向那个优雅的“d2=0”。艾琳娜的思维总是能从一个领域飞跃到另一个看似毫不相干的领域，并留下令人深思的痕迹。
接下来的几周，艾琳娜完全沉浸在上同调的世界里。她证明德拉姆上同调的同伦不变性，研究球面、环面、射影空间的上同调环，探索庞加莱对偶在上同调语言下的新表述。她的黑板被各种复杂的微分计算和代数推导所覆盖。
而罗伯特，则再次扮演了“容器大师”的角色。当艾琳娜的首觉性推导在严格性上出现模糊时，他会介入，用他分析学的功底确保关于微分形式积分估计的严密性，或者帮助她厘清某些函数空间上的拓扑细节，使得她的理论建立在坚实的基础上。
高维的首觉，最终没有通过征服复杂的单纯剖分来实现，而是通过一次华丽的思想转向——从子复形到函数，从同调到上同调——得以突破。艾琳娜再次证明，解决数学难题有时需要的不是更强大的计算，而是一个全新的、更具穿透力的观点。在这个观点下，高维流形的复杂性，不再是令人畏惧的迷宫，而是一个蕴藏着丰富代数结构的、等待被解读的宇宙。
(http://www.220book.com/book/7YAM/)
请记住本书首发域名：http://www.220book.com。顶点小说手机版阅读网址：http://www.220book.com