Positroid Links and Braid varieties

技术摘要：正正定型（Positroid）链路与辫子簇

问题陈述
本文研究了 Grassmann 流形 $\text{Gr}(k, n)$ 中的开正正定型簇（open positroid varieties）与辫子簇（braid varieties）之间的关系。开正正定型簇可以通过四种不同的组合数据进行索引：Bruhat 序中的置换对 $(u, w)$、$k$-有界仿射置换 $f$、循环秩矩阵 $r$ 以及 Le 图表 $\mathcal{L}$。虽然这些数据类型已知是双射等价的，且定义了相同的正正定型层（positroid stratum），但其相关的辫子词（braid words）和链路（links）在历史上一直被分开处理。本文旨在解决的核心问题是：由这些数据类型产生的四种不同辫子是否对应于等价的几何对象——具体而言，其关联的光滑链路是否是同痕的（isotopic），并且更强地，其关联的 Legendrian 链路是否是 Legendrian 同痕的。此外，本文还试图阐明与这些辫子相关的辫子簇的代数几何性质，及其与开 Richardson 簇及其实致紧化（compactifications）的关系。

研究方法
作者综合运用了代数组合学、接触拓扑学和代数几何学。

1. 辫子的组合构造： 本文定义了对应于四种正正定型数据的特定辫子词：

   • Richardson 辫子 $R_n(u, w)$（及其正变体 $R^+_n(u, w)$）。
   • 杂耍辫子 (Juggling braid) $J_k(f)$，由 $f$ 的仿射杂耍图导出。
   • Le 辫子 $D_k(\mathcal{L})$，由 Le 图表的布线图（wiring diagram）构造。
   • 矩阵辫子 $M_k(r)$，由循环秩矩阵导出。
     作者开发了新的组合技术，包括一种“Markov 型降维（destabilization）”移动，用以联系具有不同股数（strand numbers）的辫子（例如 $n$ 股的 Richardson 辫子与 $k$ 股的 Juggling 辫子）。

2. 接触几何实现： 作者利用 $(-1)$-闭合构造，将 Legendrian 链路关联到 $(\mathbb{R}^3, \xi_{st})$ 中。为了证明不同股数链路之间的 Legendrian 同痕性，他们引入并利用了 Legendrian 降维引理（Lemma 3.7）。该引理为用于组合证明的平滑降维移动提供了接触几何实现，从而允许通过添加不相连的最大 Thurston-Bennekin 不结（unknots）来比较 Legendrian 链路。

3. 代数几何分析： 本文研究了 辫子簇 $X(\beta; \pi)$，即满足一系列辫子矩阵与置换矩阵之积为上三角形式的集合。作者建立了这些簇与开 Richardson 簇之间的同构关系。此外，他们引入了 砖块流形 (brick manifolds)（与 Bott-Samelson 簇相关），作为这些辫子簇的平滑射影致紧化。

核心贡献与结果

• 正正定型辫子的等价性 (Theorem 1.1)： 作者证明了与等价正正定型数据相关的四种辫子在辫子单群中是等价的（在正 Markov 稳定化和添加不相连不相连股的意义下）。这解决了不同组合模型之间股数不一致的“不协调”问题。
• Legendrian 同痕 (Theorem 1.2 & Theorem 3.6)： 主要的接触几何结果表明，与同一正正定型类型相关的四种 Legendrian 链路是 Legendrian 同痕的（在添加不相连最大 tb 不结的意义下）。这意味着这些链路相关的 Legendrian 接触微分分次代数（dg algebras）是稳定 tame 同构的。因此，这些代数的 0 阶同调谱度可以恢复开正正定型簇（在忽略环面因子的情况下），从而为正正定型层提供了一个统一的接触几何描述。
• 辫子簇与 Richardson 簇 (Theorem 1.3)： 本文证明任何开正正定型簇 $\Pi_{u,w}$ 在代数上都同构于一个辫子簇。具体而言，$\Pi_{u,w} \cong X(\beta(u^{-1}w_0)\beta(w_0 w w_0); w_0)$。此外，文章确立了与 Richardson 辫子相关的辫子簇与 Juggling 辫子相关的辫子簇及其环面因子 $(\mathbb{C}^*)^{n-k-\phi}$ 的乘积之间的同构关系，其中 $\phi$ 是仿射置换的固定点数量。
• 通过砖块流形进行的致紧化 (Theorem 1.4 & Theorem 4.11)： 作者展示了 砖块流形 为仿射辫子簇提供了平滑射影致紧化。辫子簇在砖块流形中的补集是一个正规交叉除子（normal crossing divisor）。这一构造使得利用砖块流形的层化结构来计算辫子簇的环面等变同调成为可能。
• 同调联系 (Theorem 4.22)： 通过将辫子簇的同调与砖块流形的同调联系起来，并利用 Soergel 双模（Soergel bimodules）和 Rouquier 复形，作者建立了在特定 $a$-次数下，辫子簇的等变紧致支撑上同调的分次权重过滤与底层光滑链路的 Khovanov-Rozansky 同调之间的同构关系。
• 奇异 Lefschetz 性质 (Curious Lefschetz Property)： 作为与 Richardson 簇关系的推论，本文确认了开 Richardson 簇满足奇异 Lefschetz 性质，这是 Lam 和 Speyer 此前提出的猜想。

意义与主张
本文声称，其结果通过接触拓扑学的视角，为正正定型簇的四种不同组合呈现方式提供了概念上的统一。通过证明其底层的 Legendrian 链路是同痕的，作者表明正正定型的代数组合学可以通过接触同痕来实现。这使得利用接触和辛拓扑工具（如 Legendrian 接触同调）来研究正正定型层成为可能。

此外，这项工作弥合了辫子簇的组合定义与其几何致紧化之间的鸿沟。通过将砖块流形识别为自然的致紧化工具，本文为计算这些簇的同调不变量（如等变同调）提供了途径，并将这些簇与 Soergel 双模及 Khovanov-Rozansky 同调的表示论联系起来。

作者最后提出了一个猜想 (Conjecture 5.1)，即这些 Legendrian 链路的增广簇（augmentation varieties）上的簇代数结构在 Legendrian 同痕下是保持不变的（在拟簇同构意义下），这暗示了与 Legendrian 链路相关的簇代数具有更深层的结构不变性。