2025-11-14T23:22:18.082804

Generalised Legendrian racks of Legendrian links

Karmakar, Saraf, Singh

A generalised Legendrian rack is a rack equipped with a Legendrian structure, which is a pair of maps encoding the information of Legendrian Reidemeister moves together with up and down cusps in the front diagram of an oriented Legendrian link. Employing a purely rack theoretic approach, we associate a generalised Legendrian rack (or a GL-rack) to an oriented Legendrian link, and prove that it is an invariant under Legendrian isotopy. As immediate applications, we prove that this invariant distinguishes infinitely many oriented Legendrian unknots and oriented Legendrian trefoils. To comprehend their algebraic structure, we prove that every GL-rack admits a homogeneous representation. Further, using the idea of trunks, we define modules over GL-racks, and prove the equivalence of the category of GL-rack modules and the category of Beck modules over a fixed GL-rack.

academic

Generalised Legendrian racks of Legendrian links

基本信息

论文ID: 2301.06854
标题: Generalised Legendrian racks of Legendrian links
作者: Biswadeep Karmakar, Deepanshi Saraf, Mahender Singh
分类: math.GT (几何拓扑) math.QA (量子代数)
发表时间: 2023年1月，最新版本2024年2月5日
论文链接: https://arxiv.org/abs/2301.06854

摘要

广义Legendrian架(GL-rack)是配备了Legendrian结构的架，该结构由一对映射组成，编码了定向Legendrian链环前图中Legendrian Reidemeister移动以及上下尖点的信息。作者采用纯架理论方法，将广义Legendrian架与定向Legendrian链环关联，并证明了它在Legendrian同痕下的不变性。作为直接应用，证明了该不变量能够区分无穷多个定向Legendrian unknots和定向Legendrian trefoils。为了理解其代数结构，证明了每个GL-rack都承认齐次表示。此外，利用trunk的思想定义了GL-rack上的模，并证明了GL-rack模范畴与固定GL-rack上Beck模范畴的等价性。

研究背景与动机

问题背景

经典架理论的局限性：架(racks)和拟群(quandles)是用于构造R³中有框拓扑链环不变量的代数结构。虽然基本拟群是定向拓扑链环的强不变量，但其同构问题很困难。
Legendrian结理论的需求：Legendrian链环是R³中标准接触结构的切链环，它们在Legendrian同痕下的分类比拓扑同痕更精细。例如，存在无穷多个Legendrian结(在Legendrian同痕意义下)与unknot拓扑同痕。
现有方法的不足：
- 经典的Thurston-Bennequin不变量和旋转数不足以区分所有Legendrian链环
- 需要更精细的代数不变量来研究Legendrian链环的分类问题

研究动机

作者试图回答以下关键问题：

是否存在架的类似物来研究Legendrian链环？
这样的不变量是否能恢复底层拓扑链环的对应已知不变量？
如何为这样的结构建立相应的(上)同调理论？

核心贡献

引入GL-rack概念：定义了广义Legendrian架，这是配备了一对映射(u,d)的架，编码了Legendrian Reidemeister移动和尖点信息。
建立不变性理论：证明了GL-rack在Legendrian同痕下的不变性(定理4.3)，使其成为Legendrian链环的有效不变量。
区分无穷族Legendrian结：
- 证明了GL-rack能区分无穷多个定向Legendrian unknots U(m,n) (定理4.6)
- 证明了GL-rack能区分无穷多个定向Legendrian trefoils T(m,n) (定理4.7)
齐次表示定理：证明了每个GL-rack都承认齐次表示(定理5.2)，类似于Joyce对拟群的结果。
模理论发展：
- 定义了GL-rack上的模结构
- 证明了GL-rack模范畴与Beck模范畴的等价性(定理7.4)

方法详解

任务定义

给定定向Legendrian链环K，构造其GL-rack GLR(K)，使得：

GLR(K)在Legendrian同痕下不变
GLR(K)能够区分拓扑同痕但Legendrian不同痕的链环
GLR(K)具有良好的代数结构便于进一步研究

GL-rack的定义

定义3.1：广义Legendrian架是四元组(X, ∗, u, d)，其中：

(X, ∗)是架
u, d : X → X是映射
满足以下公理：
- (L1) ud(x ∗ x) = x
- (L1′) du(x ∗ x) = x
- (L2) u(x ∗ y) = u(x) ∗ y
- (L2′) d(x ∗ y) = d(x) ∗ y
- (L3) x ∗ u(y) = x ∗ y
- (L3′) x ∗ d(y) = x ∗ y

构造方法

对于定向Legendrian链环K的前图D(K)：

生成元：为D(K)的每个股分配一个生成元
关系：
- 交叉关系：在交叉点处使用标准拟群关系
- 尖点关系：
  - 正z方向尖点：y = u(x)
  - 负z方向尖点：y = d(x)
GL-rack构造： GLR(D(K)) = ⟨⟨生成元 | 交叉关系 ∪ 尖点关系⟩⟩

技术创新点

统一处理交叉和尖点：与已有工作不同，本文通过单一的代数框架同时处理Legendrian Reidemeister移动和尖点。
纯代数方法：完全避免几何论证，使用纯架理论方法建立理论。
模块理论：引入trunk概念定义GL-rack模，为建立(上)同调理论奠定基础。

实验设置

理论验证

本文主要是理论工作，通过以下方式验证结果：

不变性验证：详细验证GL-rack在所有Legendrian Reidemeister移动下的不变性
具体计算：计算特定Legendrian结的GL-rack并证明其区分能力
范畴等价性：严格证明模范畴间的等价关系

具体例子

Legendrian unknots U(m,n)：具有前图中m个上尖点和n个下尖点的unknot
Legendrian trefoils T(m,n)：具有特定尖点配置的trefoil
Chekanov结：已知Legendrian不同痕但GL-rack同构的例子

实验结果

主要结果

不变性定理(定理4.3)：GL-rack在Legendrian同痕下不变，且对于拓扑不同的非分裂定向Legendrian链环，其GL-rack不同构。
区分能力：
- Unknot族：U(m,n)和U(k,ℓ)当(m,n) ≠ (k,ℓ)时Legendrian不同痕
- Trefoil族：T(m,n)和T(k,ℓ)当(m,n) ≠ (k,ℓ)时Legendrian不同痕
表示定理(定理5.2)：每个GL-rack都同构于形如(⊔ᵢ∈ᵢG/Hᵢ, {zᵢ}ᵢ∈ᵢ, {rᵢ}ᵢ∈ᵢ, {sᵢ}ᵢ∈ᵢ)的GL-rack。