1. 从“四维”的几何直觉谈起为什么是四维流形如果你对拓扑学或几何稍有涉猎可能会觉得“四维流形”这个词既神秘又遥远。它不像我们熟悉的二维曲面如球面、环面那样直观也不像三维空间那样可以轻易想象。但恰恰是这种“难以想象”的特性让四维流形成为了现代几何与拓扑研究的核心战场之一充满了令人惊奇的结论和未解之谜。简单来说一个“流形”就是一个在局部看起来像普通欧几里得空间的几何对象。比如地球表面一个二维球面在任何一个足够小的区域里看起来都像一张平坦的纸二维平面。一个“四维流形”就是在局部看起来像我们熟悉的四维欧几里得空间由四个坐标轴张成的空间的几何对象。这里的“四维”指的是流形本身的“内在”维度而不是它必须嵌入某个更高维的空间。理解这一点很重要我们研究的是四维流形自身的结构而不是它如何“放在”五维或更高维的空间里。那么为什么数学家们对四维流形情有独钟这背后有几个深刻的原因。首先四维是第一个“怪异”的维度。在二维和三维流形的分类理论相对完备且直观。例如二维闭曲面没有边界的紧致曲面都可以通过“亏格”有几个洞来完全分类。三维流形的理论虽然复杂如庞加莱猜想但经过几十年的发展尤其是借助几何化纲领我们已经有了相当深刻的理解。然而到了四维情况发生了根本性的变化。四维是第一个“拓扑”与“几何”产生剧烈冲突的维度。具体来说在四维中存在无穷多种“怪异”的微分结构——这意味着存在一些拓扑上是同一个空间即可以通过连续变形互相转换但却无法赋予它们相容的光滑可微结构的流形。这一现象由西蒙·唐纳森等人在上世纪80年代发现彻底改变了我们对流形的认识。这种“怪异”性使得四维流形的研究工具必须异常强大和精细。其次四维是物理中时空的维度。在爱因斯坦的广义相对论中我们的宇宙被建模为一个四维的洛伦兹流形三个空间维度加一个时间维度。虽然物理中的流形通常带有额外的几何结构如度量、联络但对其拓扑性质的理解无疑能加深我们对时空本质的认识。例如某些奇特的四维流形结构可能会对应着宇宙学中的一些假设场景。最后从纯粹数学的角度看四维流形是连接低维拓扑和高维拓扑的桥梁也是许多现代数学工具如规范理论、Floer同调大显身手的舞台。研究四维流形迫使数学家发展出全新的理论和方法这些方法又反过来推动了其他领域的发展。因此无论是出于对数学结构本身的好奇还是对物理世界的探索四维流形都是一个无法绕开的、充满挑战与机遇的核心领域。2. 核心武器库Seiberg-Witten理论与Floer同调的登场要理解“对合Floer不变量”我们必须先认识它的两位“前辈”Seiberg-Witten理论和Floer同调。它们构成了现代四维流形研究的基石也是理解标题中“不变量”来源的关键。2.1 Seiberg-Witten理论从物理中诞生的强大不变量Seiberg-Witten理论诞生于上世纪90年代中期由物理学家内森·塞伯格和爱德华·维滕提出。它最初是为了描述某些四维超对称规范理论中的模空间而发展起来的但数学家们迅速意识到这套理论为四维光滑流形提供了一个极其强大且易于计算的拓扑不变量。它的核心思想可以粗略地理解为在一个给定的光滑四维流形上我们考虑一组特定的偏微分方程称为Seiberg-Witten方程。这组方程的解称为“瞬子”构成一个空间称为Seiberg-Witten模空间。通过研究这个模空间的拓扑性质例如计算其某种“计数”或“上同调类”我们可以得到一个或多个数值或代数结构这些就是Seiberg-Witten不变量。为什么它如此强大相比于之前唐纳森理论中使用的自对偶杨-米尔斯方程Seiberg-Witten方程在数学上要“友好”得多。它的模空间通常是紧致的并且维数可以通过一个简单的公式计算这依赖于流形的拓扑信息如第二上同调群。这使得Seiberg-Witten不变量的计算在许多情况下成为可能并且它们包含了关于四维流形光滑结构的丰富信息。例如它们可以用来区分同胚但不微分同胚的流形即前面提到的“怪异”微分结构也可以给出关于流形上是否存在某种特殊曲面如具有正自交数的曲面的强力约束。注意这里提到的“模空间”是一个核心但抽象的概念。你可以把它想象成所有满足特定条件这里是Seiberg-Witten方程的数学对象的集合。研究这个集合的整体形状是离散的点、一条曲线、还是一个曲面就能反映出原始流形本身的深层性质。2.2 Floer同调将瞬子理论“量子化”到三维边界Seiberg-Witten理论处理的是闭四维流形没有边界。但是如果我们考虑一个有边界的四维流形其边界是一个三维流形情况会怎样安德烈亚斯·弗洛尔在80年代末提出了一个划时代的想法可以为三维流形定义一种同调理论这种理论本质上“编码”了从该三维流形“生长”出来的四维流形中的瞬子信息。具体来说对于一个闭合的三维流形Y我们可以考虑所有从Y到某个李群如SU(2)的平坦联络满足某种微分方程的解的集合。这个集合中的点可以看作是某个“经典力学系统”的“临界点”。Floer的洞见在于他构造了一种“莫尔斯-弗洛尔复形”以这些临界点为生成元以连接它们的“梯度流线”在这里是某种四维流形上的瞬子解作为微分算子。这个复形产生的同调群就是所谓的“Floer同调”例如瞬子Floer同调或后来的Seiberg-Witten Floer同调常记为HM或HF。Floer同调的精妙之处在于它是一个三维流形的不变量但它却是由四维的几何分析瞬子方程定义的。这建立了一种深刻的“相对论”一个四维流形的拓扑信息可以通过其边界的三维流形的Floer同调来探测。如果两个四维流形沿着同一个三维边界粘合那么整个闭流形的Seiberg-Witten不变量可以通过两个“半边”流形诱导的Floer同调之间的某种“配对”来计算。这套理论被称为“Floer的拓扑量子场论TQFT框架”是连接低维拓扑与几何分析的核心桥梁。3. “对合”的引入对称性如何简化与约束问题现在让我们把“对合”这个要素加入进来。在数学中一个“对合”通常指一个变换当你连续应用它两次后会回到起点。最经典的例子是平面上的反射关于一条直线反射一次图形翻到另一边再反射一次图形又回到原位。所以反射是一个对合。在流形上一个对合就是一个从流形到自身的可逆映射f满足f∘f id恒等映射。我们要求这个映射通常是光滑的如果是研究光滑结构或连续的如果是研究拓扑结构。研究带有对合的流形就是研究具有这种特定对称性的空间。为什么要在四维流形上研究对合动机是多方面的简化问题对称性往往能降低问题的复杂度。如果一个四维流形X上有一个对合τ那么我们可以考虑它的“商空间”X/τ。在这个商空间中所有点x和τ(x)被看作同一个点。这个商空间本身可能是一个新的可能有奇点的四维流形或者是一个更低维的对象。通过研究原空间X、对合τ以及商空间X/τ三者之间的关系我们有时可以将关于X的复杂问题转化为关于X/τ和τ的不动点集那些满足τ(x)x的点构成的集合的相对简单的问题。这类似于在解方程时利用对称性来降维。构造障碍对合的存在本身会对流形的拓扑施加很强的限制。例如著名的“史密斯理论”就描述了在流形上一个对合的不动点集的拓扑如上同调群与原流形的拓扑之间的深刻联系。如果一个流形声称具有某种对合那么它的Seiberg-Witten不变量等数据必须满足史密斯理论导出的某些等式或不等式。这就为我们判断一个流形是否可能具有某种对合提供了有效的工具。分类与刻画在四维拓扑中一个基本问题是给定一个拓扑四维流形它上面有多少种不同的光滑结构对合可以作为区分不同光滑结构的一个敏锐工具。两个拓扑上相同但光滑结构不同的流形它们上面可能容许的对合类型如不动点集的性质完全不同。因此研究对合有助于我们对四维光滑结构的庞大“动物园”进行更精细的分类。与三维的链接对合的不动点集通常是一个维度更低的子流形。在四维中一个对合的不动点集可能是二维曲面嵌入在四维中的曲面或离散的点集。这些子流形本身带有丰富的信息。更重要的是如果我们考虑一个在边界上带有对合的四维流形那么这个对合会诱导其三维边界上的一个对合。这就在四维对合理论与三维流形的对称性理论之间建立了联系而后者往往有更具体、更可计算的不变量如三维流形的Heegaard Floer同调在对称性下的行为。因此“闭四维流形上的对合”这个课题本质上是将对称性对合这一代数概念与四维流形的微分拓扑和几何结构由Seiberg-Witten/Floer理论描述结合起来以期利用对称性来获得新的洞察力同时也用强大的几何工具来约束和理解对称性本身。4. 对合Floer不变量的构建逻辑与核心思想理解了背景我们现在可以直面核心“对合Floer不变量”究竟是什么它并不是一个单一的定义而是一类理论的统称其目标是为一个带有对合的闭四维流形 (X, τ)构造一个代数不变量这个不变量应该在保持对合的光滑同痕即连续形变下保持不变。能够探测到对合τ与流形X的光滑结构之间微妙的相互作用。在理想情况下应该与经典的Seiberg-Witten不变量或Floer同调有自然的联系。目前构建这类不变量的主流思路大致遵循以下两种范式它们都深深植根于我们前面介绍的Floer同调框架4.1 范式一通过“等变”Floer同调诱导这是更直接、理论上更优美的一种思路由多位学者如Kronheimer-Mrowka, Hendricks-Lipshitz-Sarkar等人在不同背景下发展。其蓝图如下从边界对合出发首先考虑一个更基础的情形一个三维流形Y其上带有一个对合ι。我们可以尝试改造经典的三维流形Floer同调理论如Heegaard Floer同调或Seiberg-Witten Floer同调使其成为“等变”的。所谓等变就是指这个代数结构链复形或同调群上带有对合ι诱导的一个作用。简单说我们不仅记录Y的拓扑信息还记录对合ι如何在这个拓扑信息上“行动”。构造等变不变量通过精细的代数拓扑工具如引入多项式环上的模结构或考虑链复形上的对合映射我们可以从等变Floer链复形中提取出更精细的数值或多项式不变量。这些不变量不仅依赖于(Y, ι)而且在某种“等变配边”下保持不变。一个“等变配边”是指一个四维配边W连接两个三维流形Y1和Y2并且W上有一个对合其限制在边界上正好就是Y1和Y2上的对合。应用到闭四维流形现在对于一个闭四维流形(X, τ)我们可以把它看作是一个平凡的配边从空集到空集。但是我们可以采用一种标准的技巧在X上挖掉两个小的四维开球得到一个带边界的四维流形W其边界是两个三维球面S^3。对合τ限制在W上并在边界S^3上诱导出某种标准的对合例如 antipodal map即关于球心的中心对称。这样(W, τ)就构成了一个从(S^3, 标准对合)到自身的等变配边。定义不变量这个等变配边会诱导等变Floer同调之间的一个映射。由于S^3的等变Floer同调是已知且相对简单的这个映射本身就可以被提取出来作为一个代数对象如一个线性映射的迹、一个多项式等它就是闭流形(X, τ)的“对合Floer不变量”。这个不变量的计算最终会归结到对(X, τ)上某种“等变Seiberg-Witten方程”的解空间的分析。4.2 范式二通过不动点集与商空间分解另一种思路更几何它直接利用对合将流形“一分为二”的特点。分解流形对合τ将流形X分成两部分不动点集Fix(τ)一个可能非空的子流形和自由部分所有x ≠ τ(x)的点。自由部分在商映射下会二对一地覆盖商空间X/τ的一个开子集。分析商空间商空间X/τ通常不是一个光滑流形在不动点集投影的地方会有奇点。但是我们可以研究这个奇异的商空间或者将其“去奇化”得到一个光滑的带边四维流形。这个带边流形的边界与不动点集Fix(τ)的某个法从结构密切相关。应用相对不变量现在我们可以将闭流形(X, τ)的信息分散到两个更简单的对象上一个是带有奇异边的商空间或其去奇化版本另一个是不动点集Fix(τ)作为该商空间边界上的一个特殊子流形。对于带边流形我们有相对版本的Seiberg-Witten不变量或Floer同调。对于不动点集一个二维曲面我们有丰富的经典理论如亏格、自交数等。组合信息对合Floer不变量则可以定义为由商空间的相对不变量和不动点集的拓扑数据以某种特定方式组合而成的量。这种组合必须精心设计以确保最终结果在光滑同痕下不变。这种思路的优势是更直观有时在计算具体例子时更容易操作因为它将问题分解成了维数更低、更经典的部分。无论哪种范式构建对合Floer不变量的过程都异常复杂涉及深刻的几何分析解非线性偏微分方程、代数拓扑构造链复形、计算同调和组合技巧。它的最终形式可能是一个整数、一个多项式、一个群或者是一个更复杂的代数范畴中的对象。5. 威力初显对合Floer不变量的几个典型应用场景那么费这么大力气定义出来的不变量到底能用来做什么它绝不是数学家们自娱自乐的智力游戏而是解决四维拓扑中一些棘手问题的锋利手术刀。以下是几个已经展现或极具潜力的应用方向5.1 区分“怪异”光滑结构上的对称性这是最直接的应用。如前所述在四维拓扑中一个拓扑流形上可能存在多种甚至无穷多种互不相同的光滑结构。一个自然的问题是这些不同的光滑结构在对合的存在性问题上表现是否一致假设我们有两个四维流形X和X‘它们在拓扑上是同胚的但具有不同的光滑结构即它们是同胚但不微分同胚的。经典Seiberg-Witten不变量可能已经告诉我们它们不同。现在如果我们想知道在X上是否存在一个光滑对合τ其不动点集具有某种特定性质例如是一个亏格为g的曲面而对X‘问同样的问题。对合Floer不变量可以提供决定性的答案。我们可以计算(X, τ)的候选不变量如果τ存在的话这个不变量必须等于某个值。同时我们也可以直接从拓扑数据出发计算这个“必须等于的值”是多少。如果对于X这个计算值与Seiberg-Witten理论施加的其他约束兼容那么τ可能存在而对于X‘计算值可能与已知约束矛盾从而证明这样的τ不可能存在。这就精确地揭示了对称性对合如何能够“感知”到底层那微妙而不可见的光滑结构差异。5.2 为四维流形提供新的“障碍”多项式在Seiberg-Witten理论中一个基本不变量是Seiberg-Witten多项式或基本类。它包含了流形上所有Spin^c结构的Seiberg-Witten不变量的信息。对合Floer理论有望产生一个“等变版本”的Seiberg-Witten多项式。这个等变多项式不仅包含原流形的信息还编码了对合的作用。它可以导出关于流形拓扑的更强约束。例如它可以给出关于流形的欧拉示性数、符号差等经典拓扑不变量之间必须满足的新不等式。这些不等式可能比经典的Seiberg-Witten不等式更紧从而能排除掉更多在拓扑上可能、但在光滑范畴不可能的流形。换句话说它提供了更精细的“光滑性障碍”帮助我们更好地描绘四维光滑流形的“可能世界”的边界。5.3 研究曲面在四维流形中的嵌入与扭结问题二维曲面如何嵌入四维流形是一个历史悠久且困难的问题。一个核心问题是给定一个四维流形X和一个二维同调类这个同调类能否由一个光滑嵌入的曲面来表示如果能这个曲面的最小亏格是多少对合为此提供了一个独特的视角。假设对合τ的不动点集Fix(τ)恰好是一个曲面Σ。那么Σ自然是嵌入在X中的。通过对合Floer不变量我们可以建立Σ的拓扑亏格、自交数与X的整体拓扑不变量之间的精确关系。这反过来可以作为一种“实现定理”如果我们想实现某个同调类为一个嵌入曲面我们可以尝试去构造一个以该曲面为不动点集的对合。如果对合Floer不变量允许这样的构造存在那么我们就找到了一个存在性证明如果不允许则证明了不可能性。这种方法将曲面嵌入问题与对称性存在性问题巧妙地联系了起来。5.4 推动三维流形对称性的分类这个应用体现了TQFT框架的威力。如果我们有一个在边界上带有对合的四维流形那么如前所述它会诱导三维边界流形上的一个对合并给出其等变Floer同调的一个元素。通过对大量闭四维流形及其对合计算其对合Floer不变量我们实际上是在系统地产生三维流形等变Floer同调中的大量特殊元素和关系。这可以帮助我们计算或理解某些复杂三维流形的等变Floer同调。而三维流形的等变Floer同调正是对三维流形本身对称性不仅仅是有限群作用还包括映射类群作用等的精细不变量。因此四维对合理论的研究会反哺三维对称拓扑学的发展为分类三维流形上的有限群作用等经典问题提供新的工具和数据。6. 理论前沿与挑战从抽象定义到具体计算尽管对合Floer不变量的理论框架已经初步建立并显示出巨大的潜力但它仍然是一个年轻且快速发展的领域面临着诸多深刻的挑战。6.1 计算可行性从理论到实践的鸿沟这是所有强大不变量面临的共同难题。即使定义在数学上是完美和清晰的如果无法对感兴趣的流形进行实际计算它的应用价值就会大打折扣。经典Seiberg-Witten不变量的计算已经需要借助拓扑技巧如胶合公式、blow-up公式等和大量的组合分析。对合Floer不变量由于引入了额外的对称性结构其计算复杂度又上了一个台阶。目前系统的计算主要局限于以下几类相对“简单”的流形代数曲面例如复射影平面CP^2在共轭作用下的对合。这类流形有丰富的代数几何结构其Seiberg-Witten不变量常常为零或易于处理对合的作用也明确。连通和一些由更简单的流形通过连通和构造出来的例子可以利用TQFT的“分解”性质将复杂流形的不变量化为简单流形不变量的张量积等形式。具有大量对称性的特殊流形如某些环面丛或由简单曲面纤维化构造的流形。对于更一般的四维流形尤其是那些具有非平凡基本群或复杂拓扑的流形其计算仍然是一片广阔的未知领域。发展有效的计算工具和算法是当前研究的一个热点和难点。6.2 与其它不变量的关系构建统一图景数学中一个强有力的理论往往不是孤立的它会与既有理论产生千丝万缕的联系。对合Floer不变量需要被置于更广阔的不变量家族中来理解。与经典Seiberg-Witten不变量的关系这是最直接的关系。在某种意义上对合Floer不变量应该是经典Seiberg-Witten不变量的“提升”或“细化”。当对合是平凡作用即τ(x)x对所有x成立时对合Floer不变量应该退化到经典不变量。如何从定义上严格证明这种退化关系并理解在非平凡对合下经典不变量是如何被“等变化”分解的是一个重要的理论问题。与Heegaard Floer同调的关系在三维方面Heegaard Floer同调有一套非常组合和可计算的理论。近年来三维流形的等变Heegaard Floer同调由Hendricks, Lipshitz, Sarkar等人发展取得了长足进步。四维对合Floer不变量与三维等变Heegaard Floer理论之间应该存在类似于“闭环TQFT”的对应关系。建立这种对应将使四维理论能够利用三维组合工具进行计算前景巨大。与Gromov-Witten不变量和量子上同调的关系在辛几何中Gromov-Witten不变量通过计数伪全纯曲线来探测辛流形的结构。对于带有对合的辛流形是否存在“等变Gromov-Witten理论”如果存在它与对合Floer不变量如果也能在辛范畴定义有何联系这连接了拓扑量子场论与辛几何两个庞大领域。理清这些关系意味着构建一个关于四维流形及其对称性的统一不变量理论网络其中各个节点相互印证、相互计算这将极大深化我们对四维几何拓扑的整体理解。6.3 拓展范畴从光滑到拓扑与更多对称性目前大多数工作集中在光滑对合和光滑流形上。但自然的问题随之而来拓扑范畴如果我们只要求流形是拓扑的对合是连续的那么能否定义拓扑版本的对合Floer不变量这涉及到如何将基于偏微分方程本质上是光滑结构的Floer理论推广到缺乏光滑结构的拓扑范畴。这极其困难但一旦成功将能区分拓扑流形上是否容许某种对合这是一个纯粹的拓扑问题。更一般的群作用对合是阶为2的群Z/2的作用。那么阶为素数pZ/p的循环群作用乃至更一般的有限群作用呢理论上Floer同调的等变化可以针对任意有限群进行。但群的阶数越高代数结构就越复杂例如需要处理群环而不是简单的多项式环几何分析中出现的奇点模式也更多样。发展高阶循环群乃至更一般群作用的Floer理论是领域自然的发展方向也将带来更丰富的应用。6.4 与物理的对话从数学构造到物理实现Seiberg-Witten理论本身源于物理。那么对合Floer不变量是否有相应的量子场论解释一个带有对合的四维流形在物理上可以解释为考虑了某种离散对称性如电荷共轭、宇称等的背景时空。相应的“等变拓扑量子场论”应该描述这个背景下的BPS态某种超对称保护态的模空间。探索对合Floer不变量的物理诠释不仅能为数学构造提供新的直觉和动机也可能从物理中汲取新的计算技巧如定位原理。同时数学上发展出来的精细不变量也可能反过来预言某些物理理论中尚未被察觉的精细结构。这种数学与物理的交叉反馈一直是这个领域活力的源泉。7. 给研究者的实操思考与潜在切入点如果你是一名研究生或青年研究者对这个领域感兴趣并想切入以下是一些基于当前发展态势的实操性思考和建议这远比空谈理论更有价值。7.1 从具体计算案例入手积累“手感”在理论框架尚未完全凝固、通用计算工具缺乏的阶段从具体的、可计算的例子做起是站稳脚跟的最佳方式。不要一开始就试图挑战最一般的定理。可以尝试复选一个经典例子例如详细计算CP^2在共轭对合下的对合Floer不变量如果已有文献就彻底重现和验证如果没有就尝试自己计算。在这个过程中你会遇到所有核心环节如何写出等变Seiberg-Witten方程如何分析模空间此时可能因为对称性而简化如何定义和计算不变量。哪怕这个例子最终的不变量很简单比如是0或1整个计算流程的经验是无价的。研究连通和公式对于流形X # Y连通和如果X和Y上的对合都知道那么X # Y上自然可以定义一种“和”对合。对合Floer不变量是否满足某种连通和分解公式这是TQFT性质的直接检验也是构造新例子的重要手段。尝试对一些简单流形的连通和进行猜测和验证。探索曲面纤维化流形许多四维流形可以看作是一个曲面上的圆纤维丛或更一般的曲面纤维化。这类流形通常具有自然的对合例如在纤维上作用一个旋转。由于其拓扑相对清晰有时Seiberg-Witten方程可以约化到更低维从而可能进行显式计算。这类流形是测试和发展计算技术的绝佳试验场。7.2 精通等变代数拓扑与局部模型分析这个领域要求研究者具备两方面的硬核技能缺一不可等变代数拓扑你必须非常熟悉群作用在拓扑空间上的理论特别是史密斯理论、等变上同调、局部化定理等。在构造等变Floer链复形时如何处理不动点集附近的局部行为如何将全局信息与局部信息用史密斯序列联系起来是贯穿始终的代数工具。建议精读Bredon的《Introduction to Compact Transformation Groups》等相关经典著作中的核心章节。规范理论与椭圆偏微分方程你需要深入理解Seiberg-Witten方程或杨-米尔斯方程的解空间模空间的紧致化、维数公式、横截性等分析基础。在等变情形下对称性会破坏一般的横截性条件导致模空间出现更复杂的奇点。如何描述和处理这些等变奇点是分析上的主要难点。这需要扎实的泛函分析和偏微分方程功底特别是关于Fredholm算子和Sobolev空间在等变情境下的理论。7.3 关注三维等变Floer理论的进展如前所述四维与三维通过TQFT紧密相连。近年来三维等变Heegaard Floer同调特别是Z/2作用发展迅速已经有了不少可计算的结果和组合描述。密切关注这个领域的进展学习组合模型了解等变Heegaard Floer同调如何通过标记的Heegaard分解图来组合定义。这可能是未来实现四维对合不变量组合计算的突破口。尝试建立联系如果你计算了一个四维流形(X, τ)的对合Floer不变量并且X的边界是某个三维流形Y带有诱导对合那么你的结果是否与Y的等变Heegaard Floer同调中的某个元素相符这种检算是验证理论自洽性和发现新现象的重要途径。即使没有边界你也可以考虑将X沿一个三维流形切开然后比较两边的理论。7.4 一个具体的潜在突破点带奇点商空间的相对不变量回到第4.2节提到的第二种范式。对于很多对合其商空间X/τ是一个具有孤立锥奇点的四维轨形orbifold。近年来关于轨形上的Seiberg-Witten理论有了一些发展。一个非常具体且可能产出成果的切入点是深入研究如何为带有孤立锥奇点的四维轨形定义“相对Seiberg-Witten不变量”。这个相对不变量应该依赖于边界即奇点链结的三维流形上的Floer同调。然后将闭流形(X, τ)的不变量表达为这个轨形相对不变量与不动点集数据的组合。这个思路的优势在于它将问题部分归结为对奇点局部模型的分析这可能比处理整个流形上的等变方程更可控。你需要仔细研究锥奇点附近Seiberg-Witten方程的渐近行为定义合适的加权Sobolev空间并证明模空间的紧致性。一旦在这个局部模型上取得突破就可以尝试应用于一大类具有局部线性对合即不动点集是曲面或离散点的流形。这个方向需要你既懂得流形上的Seiberg-Witten理论又要学习轨形和锥度量下的分析技巧是一个交叉点也是当前许多研究者正在摸索的道路。