AI 中文总结
该研究运用Khovanov-Floer理论及其谱序列构造扭结千层面模的微分，推导2-柄体下TQFT谱序列对应千层面模谱序列，得到两类千层面模的秩不等式并证明其满足连通和公式。
AI 中文摘要
我们运用Khovanov-Floer理论及其谱序列，在对应的扭结千层面模上构造微分。随后证明，对2-柄体而言，来自Khovanov-Floer理论的TQFT谱序列，在上述微分下给出千层面模的谱序列。作为推论，我们得到Khovanov千层面模与Lee千层面模之间的秩不等式。我们还证明这些谱序列满足的连通和公式等特定性质。
英文摘要
We use Khovanov-Floer theories and their spectral sequences to construct differentials on the corresponding skein-lasagna modules. Then we show that for 2-handlebodies, a spectral sequence of TQFTs coming from a Khovanov-Floer theory gives a spectral sequence of lasagna modules under the aforementioned differential. As a corollary, we recover the rank inequality between the Khovanov and Lee lasagna modules. We also prove certain properties like the connect-sum formula that these spectral sequences satisfy.
