[论文解读] The Pontrjagin Dual of 3-Dimensional Spin Bordism

G. W. Brumfiel, James P. Morgan|arXiv (Cornell University)|Dec 8, 2016

Geometric and Algebraic Topology参考文献 2被引用 13

一句话总结

本文通过在上同调数据与自旋流形之间构造显式的连续配对，计算了系数为有限群 Γ 的三维自旋 bordism 群的 Pontrjagin 对偶。它在满足 dw + ½p² = 0 的三元组 (w, p, a) 上引入了一个紧致的非交换群结构，证明该配对诱导出到 Ω³spin(X) 的 Pontrjagin 对偶的同构，并给出了一个涉及 Arf 不变量和自旋结构的几何公式，用于计算 ℝ/ℤ 中的配对值。

ABSTRACT

For each space X we define an explicit group, G(X), functorially in X. This group is constructed from the groups of cochains on X. Furthermore, we construct an explicit functorial pairing with values in R/Z between the cochain representatives for elements of G(X) and maps of closed 3-dimensional spin manifolds to X. This pairing induces a pairing between G(X) and the 3-dimensional spin bordism group of X and identifies each with the Pontrjagin dual of the other.

研究动机与目标

• 计算空间 X 的三维自旋 bordism 群 Ω³spin(X) 的 Pontrjagin 对偶。
• 解决 Anton Kapustin 提出的关于有限 Γ 的 Hom(Ω³spin(BΓ), ℝ/ℤ) 结构的问题。
• 在上同调数据与自旋 3-流形之间构造一个配对，该配对诱导出到 Pontrjagin 对偶的同构。
• 建立一个满足特定上同调条件的三元组 (w, p, a) 的连续群结构，以实现对偶性。

提出的方法

• 通过涉及高阶 Cup 乘积和特殊提升的非交换乘法，在 C(X) = (C³(X;ℝ/ℤ)/dC²(X;ℝ/ℤ)) × Z²(X;ℤ/2) × Z¹(X;ℤ/2) 上定义一个紧致群结构。
• 引入映射 D: C(X) → C⁴(X;ℝ/ℤ)，定义为 D(w,p,a) = dw + ½p²，其为连续同态。
• 构造第二个紧致群 C′(X) = C¹(X;ℤ/2) × C⁰(X;ℤ/2)，其乘法为 (t,x)·(s,y) = (t+s+xdy, x+y)，并定义同态 D′: C′(X) → C(X) 为 D′(t,x) = ((½)tdt, dt, dx)。
• 证明 D∘D′ = 0，且 Im(D′) 是 C(X) 的正规子群，包含交换子群。
• 定义 G(X) = Ker(D)/Im(D′)，其为紧致阿贝尔群的函子，并构造配对 G(X) × Ω³spin(X) → ℝ/ℤ。
• 证明该配对是连续的、双线性的，并在 G(X) 与 Ω³spin(X) 的 Pontrjagin 对偶之间诱导出同构（及同胚）。

实验结果

研究问题

• RQ1 空间 X 的三维自旋 bordism 群 Ω³spin(X) 的 Pontrjagin 对偶具有何种结构？
• RQ2 上同调条件 dw + ½p² = 0 是否能以几何上有意义的方式参数化 Hom(Ω³spin(X), ℝ/ℤ) 的元素？
• RQ3 f* a 的 Poincaré 对偶曲面的 Arf 不变量如何贡献于 ℝ/ℤ 中的配对值？
• RQ4 是否存在一个在上同调数据 (w,p,a) 上的连续群结构，以实现自旋 bordism 的 Pontrjagin 对偶？
• RQ5 Kapustin 提出的涉及 Pontrjagin 平方的方程能否通过上链层次的精确性转化为更简单的方程 dw + ½p² = 0？

主要发现

• 由满足 dw + ½p² = 0 的上链三元组 (w,p,a) 模去某一像构造的群 G(X) = Ker(D)/Im(D′)，同构且同胚于 Ω³spin(X) 的 Pontrjagin 对偶。
• G(X) 中元素 (w,p,a) 在自旋 3-流形 f: M → X 上的配对值为 ∫[M] f*w + ½[Spin(Z)] + ⅛Arf(Σf*a) ∈ ℝ/ℤ，其中 Z 是 φ: M → S² 在正则值下的原像。
• Arf 不变量 Arf(Σf*a) ∈ ℤ/8 是 M 中 Poincaré 对偶曲面 Σf*a ⊂ M 的 bordism 不变量，其从 M 上的自旋结构继承了 Pin⁻ 结构。
• 映射 D′: C′(X) → C(X) 的像包含于 C(X) 的交换子群中，确保了 G(X) 是阿贝尔群。
• 将 ℤ/2 上链 a ∈ Z¹(X;ℤ/2) 特殊提升为 A ∈ C¹(X;ℤ)，满足 dA = 2A²，且 Pontrjagin 平方 P(a²) 由 A⁴ mod 4 表示。
• 方程 dw + ½p² = 0 与 Kapustin 原始方程（涉及 Pontrjagin 平方）等价，通过恒等式 d(⅛A³) = ¼P(a²) 实现转换，从而可在两种表述间相互转化。