[论文解读] Obstructing Sliceness in a Family of Montesinos Knots

Luke M. Williams|ArXiv.org|Sep 7, 2008

Geometric and Algebraic Topology参考文献 7被引用 5

一句话总结

本文使用规范场论技术，特别是将唐纳森的对角化定理应用于负定的管状构造4-流形，证明在特定条件下，五参数家族的蒙特斯inos纽结 $M(0;[m_1+1,n_1+2],[m_2+1,n_2+2],q)$ 中的任意成员均非光滑截痕。关键结果是构造了该类纽结的一个无限子族，其亏格为0且行列式为完全平方数，但仍被阻止为截痕，从而为此类中截痕-ribon猜想提供了强有力的反例证据。

ABSTRACT

Using Gauge theoretical techniques employed by Lisca for 2-bridge knots and by Greene-Jabuka for 3-stranded pretzel knots, we show that no member of the family of Montesinos knots M(0;[m_1+1,n_1+2],[m_2+1,n_2+2],q), with certain restrictions on m_i, n_i, and q, can be (smoothly) slice. Our techniques use Donaldson's diagonalization theorem and the fact that the 2-fold covers of Montisinos knots bound plumbing 4-manifolds, many of which are negative definite. Some of our examples include knots with signature 0 and square determinant.

研究动机与目标

• 将利斯卡对双桥纽结的规范场论方法扩展至更广的蒙特斯inos纽结类。
• 确定五参数蒙特斯inos纽结家族中哪些成员非光滑截痕。
• 构造一个具有亏格0和完全平方行列式的蒙特斯inos纽结无限子族，且这些纽结仍被阻止为截痕。
• 为蒙特斯inos纽结背景下截痕-ribon猜想的真伪提供证据。

提出的方法

• 将唐纳森的对角化定理应用于通过将纽结的二重分支覆盖空间与有理同调4-球面粘合而成的闭合负定4-流形，若该纽结为截痕。
• 利用蒙特斯inos纽结的二重分支覆盖空间边界为负定管状构造4-流形的事实，借助其来自连分数辫子的结构。
• 为纽结 $M(0;[m_1+1,n_1+2],[m_2+1,n_2+2],q)$ 明确构造管状构造图，并计算其相交形式。
• 利用相交形式无法嵌入标准负定形式 $-I$ 作为截痕性的障碍。
• 应用戈里茨矩阵法计算纽结的亏格和行列式，特别针对 $m_1=2$，$m_2=3$，$n_2=1$，$q=-3$，且 $n_1$ 可变的子族。
• 利用递推序列证明存在无穷多个 $n_1$ 值使得 $26n_1 + 51$ 为完全平方数，从而得到具有完全平方行列式和亏格0的纽结。

实验结果

研究问题

• RQ1 能否将用于双桥纽结和三股辫纽结的规范场论技术扩展至更广的蒙特斯inos纽结族，以阻止其截痕性？
• RQ2 是否存在家族 $M(0;[m_1+1,n_1+2],[m_2+1,n_2+2],q)$ 中的成员，尽管其亏格为0且行列式为完全平方数，却仍非光滑截痕？
• RQ3 当经典障碍消失时，相交形式无法嵌入 $-I$ 的障碍是否仍存在于该家族中？
• RQ4 能否构造一个具有亏格0和完全平方行列式的此类纽结无限子族，且这些纽结仍非截痕？
• RQ5 该家族是否提供截痕-ribon猜想的反例？

主要发现

• 在 $m_i,n_i,-q\in\mathbb{N}$ 且满足有理项之和的正性条件时，家族 $M(0;[m_1+1,n_1+2],[m_2+1,n_2+2],q)$ 中无成员为光滑截痕。
• 该家族包含无穷多个亏格为0且行列式为完全平方数的纽结，但这些纽结仍被阻止为截痕，表明经典障碍不足。
• 当 $m_1=1$，$m_2=2$，$q=-3$，且 $n_1,n_2\geq1$ 满足 $n_1$ 为偶数或 $n_2$ 为奇数时，该家族包含无穷多个非截痕纽结。
• 纽结 $M(0;[2,n_1+2],[3,3],-3)$ 的戈里茨矩阵具有行列式 $26n_1 + 51$ 和亏格0，对所有 $n_1 \geq 1$ 成立，确认经典障碍消失。
• 存在一个无限子族使得 $26n_1 + 51 = a^2$ 对某个 $a \in \mathbb{N}$ 成立，且这些纽结仍非光滑截痕，因规范场论障碍存在。
• 通过反证法证明在含8个组件的管状构造中，相交形式无法嵌入 $-I$，从而确认障碍成立。