[论文解读] Poincaré duality and degrees of twisted Alexander polynomials

Stefan Friedl, Taehee Kim+1 more|arXiv (Cornell University)|Jul 15, 2011

Geometric and Algebraic Topology参考文献 20被引用 9

一句话总结

本文建立了3-流形中扭曲 Reidemeister torsion 与扭曲 Alexander 多项式之间的对偶定理，推广了 Turaev 的工作。证明了扭曲 torsion 满足涉及对偶表示与 Chern 类的对偶关系，该关系在许多情况下确定了扭曲 Alexander 多项式次数的奇偶性。

ABSTRACT

We prove duality theorems for twisted Reidemeister torsions and twisted Alexander polynomials generalizing the results of Turaev. As a corollary we determine the parity of the degrees of twisted Alexander polynomials of 3-manifolds in many cases.

研究动机与目标

• 将 Turaev 的 Reidemeister torsion 对偶定理推广至扭曲不变量的设定。
• 建立与表示及其对偶相关的扭曲 torsion 不变量之间的对偶关系。
• 利用对偶结果确定 3-流形中扭曲 Alexander 多项式次数的奇偶性。
• 提供一个框架，以 Spin^c 结构和同调定向来理解符号精化的 torsion。
• 澄清扭曲 Alexander 多项式的不确定性，及其在 Spin^c 结构与同调定向改变下的行为。

提出的方法

• 为 3-流形 N、表示 φ、Spin^c 结构 s 和同调定向 ω 引入一个无不确定性的符号精化扭曲 torsion 不变量 τ(N, φ, s, ω)。
• 利用形式变换性质 τ(N, φ, h·s, ε·ω) = ε^d · det(φ(h⁻¹)) · τ(N, φ, s, ω) 分析群作用下的不变性。
• 对具有对合的域，定义对偶表示 φ^†(g) = ¯φ(g⁻¹)^t，并将 τ(N, φ, s, ω) 与 τ(N, φ^†, s, ω) 关联起来。
• 证明定理 1.1：¯τ(N, φ, s, ω) = (-1)^{db₀(∂N)} · det(φ(c₁(s))) · τ(N, φ^†, s, ω)，确立对偶性。
• 通过张量表示 α ⊗ φ（其中 φ: π₁(N) → F（自由阿贝尔群））将对偶性应用于扭曲 Alexander 多项式。
• 利用普遍系数定理和通过非退化内积实现的对偶性，将表示复形的上同调与同调联系起来。

实验结果

研究问题

• RQ1 当 Spin^c 结构与同调定向改变时，扭曲 torsion 不变量的行为如何？
• RQ2 扭曲 torsion 与对偶表示的 torsion 之间存在何种对偶关系？
• RQ3 Spin^c 结构的 Chern 类如何影响扭曲 torsion 不变量的对偶性？
• RQ4 对偶定理对扭曲 Alexander 多项式次数施加了何种约束？
• RQ5 在何种条件下，扭曲 Alexander 多项式在 Spin^c 结构与同调定向的选择下保持不变？

主要发现

• 对偶定理（定理 1.1）精确建立了扭曲 torsion 的复共轭与对偶表示 torsion 之间的关系，其缩放因子涉及在 Chern 类处取值的表示行列式。
• 通过该对偶关系，扭曲 Alexander 多项式次数的奇偶性由表示的维数 d 与边界拓扑共同决定。
• 不变量 τ(N, α⊗φ, s, ω) 在乘以 {ε·f^d·a | ε=±1, f∈F, a∈det(α(π))} 中元素的意义下是良定义的，这刻画了扭曲 Alexander 多项式的不确定性。
• 对偶结果意味着扭曲 Alexander 多项式次数模 2 同于其对偶多项式次数，但需通过涉及 Chern 类的校正因子进行调整。
• 证明依赖于使用非退化内积在 Hom 复形之间诱导的链级对偶同构，该同构在表示复形的上同调与同调之间诱导出一个同构。
• 假设 H_*^φ(∂N; F^d) = 0 确保了对偶性成立，且在此条件下，对偶同构是典范的，并保持表示的结构。