[论文解读] Bikei Invariants and Gauss Diagrams for Virtual Knotted Surfaces

Sam Nelson, Patricia Rivera|arXiv (Cornell University)|Sep 27, 2014

Geometric and Algebraic Topology参考文献 11被引用 3

一句话总结

本文通过高斯图将bikei计数不变量扩展至虚拟扭结曲面，提出一种组合方法以表征可定向性。引入标记顶点图的高斯图，证明可定向性等价于每条弦的两个端点之间有偶数个弦端点，并通过自同态双分群（bikei）证明所有虚拟标记顶点图的bikei不变量均定义良好。

ABSTRACT

Marked vertex diagrams provide a combinatorial way to represent knotted surfaces in $\mathbb{R}^4$; including virtual crossings allows for a theory of virtual knotted surfaces and virtual cobordisms. Biquandle counting invariants are defined only for marked vertex diagrams representing knotted orientable surfaces; we extend these invariants to all virtual marked vertex diagrams by considering colorings by involutory biquandles, also known as bikei. We introduce a way of representing marked vertex diagrams with Gauss diagrams and use these to characterize orientability.

研究动机与目标

• 将bikei计数不变量扩展至所有虚拟标记顶点图，包括非可定向曲面，通过使用自同态双分群（bikei）。
• 为标记顶点图引入高斯图，作为虚拟扭结曲面的计算机友好表示。
• 通过高斯图与端点奇偶性条件，组合表征虚拟扭结曲面的可定向性。
• 确立bikei不变量对所有虚拟标记顶点图均定义良好，克服标准双分群不变量的局限性。
• 研究虚拟扭结曲面中可定向性与2-着色性之间的关系，表明二者并不总是一致。

提出的方法

• 使用标记顶点图（ch-图）表示虚拟扭结曲面，编码R⁴中具有经典交叉与虚拟交叉的扭结曲面。
• 通过将图嵌入圆周上，标记经典交叉与鞍点交叉，用有向弦表示经典交叉，用带标记的弦表示鞍点交叉，为标记顶点图定义高斯图。
• 以每条弦的两个端点之间弦端点数为可定向性的判据：当且仅当每条弦的两个端点之间有偶数个端点时，图是可定向的。
• 对虚拟标记顶点图应用bikei（自同态双分群）着色，确保在Yoshikawa移动下不变。
• 构建双分群矩阵以编码bikei运算，实现bikei计数不变量的算法计算。
• 证明当且仅当满足端点奇偶性条件时，可一致地分配全局定向，从而将拓扑可定向性与组合不变量联系起来。

实验结果

研究问题

• RQ1 bikei计数不变量能否扩展至所有虚拟标记顶点图，包括非可定向曲面？
• RQ2 能否通过高斯图组合表征虚拟扭结曲面的可定向性？
• RQ3 虚拟扭结曲面的可定向性是否等价于2-着色性？若否，其精确关系为何？
• RQ4 在虚拟设定下，bikei计数不变量可能有哪些增强，特别是涉及非平凡虚拟交叉操作时？
• RQ5 虚拟交叉如何影响bikei不变量的结构以及扭结曲面的拓扑不变量？

主要发现

• 由于使用了自同态双分群（bikei），bikei计数不变量对所有虚拟标记顶点图（包括非可定向曲面）均定义良好。
• 当且仅当每条弦的两个端点之间有偶数个弦端点时，标记顶点高斯图是可定向的。
• 对于亏格为g的平凡可定向曲面，bikei计数不变量等于|X|，即bikei X的大小。
• 对于交叉帽数为c的平凡非可定向曲面，bikei计数不变量等于|F|，其中F = {x ∈ X | xˣ = xₓ = x} 是bikei运算下的不动点集。
• 2-着色不变量（取X = ℤ₂，xʸ = xₓ = x+1）对所有平凡可定向曲面给出Φ_X^ℤ = 2，对所有平凡非可定向曲面给出Φ_X^ℤ = 0。
• 在虚拟扭结曲面设定下，可定向性与2-着色性并不一致，如一个图所示：其为2-着色但不可定向。