Algebraic Knot Homology

我们的建议是使用代数几何来构造纽结不变量。回想一下，对于每一对李代数和一个表示，我们可以将纽结的Reshetikhin-Turaev不变量关联起来。例如，琼斯多项式就是这样一个不变量。在一般线性群和标准表示的情况下，PI和Joel Kamnitzer对这些不变量进行了分类，这意味着他们为每个结分配了一个（二阶）同调群，其欧拉特征是原始不变量。这类似于拓扑空间的（奇异）同调“归类”欧拉特征线的方式。他们的建设涉及到研究（派生）范畴的相干层的某些旗状品种。所有这些都与Khovanov和Rozansky早期的开创性工作相似，他们使用代数和组合结构发现了这种重叠。使用代数几何方法的调查员和他的同事们有一个猜想如何归类的一些剩余的Reshetikhin-Turaev不变量。例如，检验Reidemeister移动2下的不变性涉及到证明（导出）范畴之间的某些积分变换是等价的。这种等价的存在性，包括Seidel-Thomas球面扭曲，是一个活跃的研究领域，它本身就很有趣。最简单的结的例子是通过把一个缠结的鞋带和两端粘在一起得到的。低维拓扑中的一个基本问题是确定两个这样的结何时不同（允许您移动结而不切割它们）。一种方法是给每个结分配一个数字（一个不变量），这样如果两个结被分配了不同的数字，那么它们一定是不同的。如何分配这些数字是一个深刻的问题，它以令人惊讶的方式与数学的各个领域有关。例如，Reshetikhin-Turaev不变量是从表示论（这是对矩阵的研究）中获得的。也有使用代数和其他受物理学和弦理论启发的不变量的结构。拟议中的研究提出了另一种使用代数几何的方法（即研究多项式方程组）。这种方法可以扩展、统一和揭示其他结构。

The proposal is to construct knot invariants using algebraic geometry.Recall that to each pair of a Lie algebra and a representation one can associate a Reshetikhin-Turaev invariant of knots. For example, the Jones polynomial is one such invariant. In the case of the general linear group and the standard representation the PI and Joel Kamnitzer categorify these invariants, meaning that to each knot they assign a (bi-graded) homology group whose Euler characteristic is the original invariant. This is analogous to the way (singular) homology of topological spaces "categorifies" the Euler characteristic. Their construction involves studying the (derived) category of coherent sheaves on certain flag-like varieties. All this parallels the earlier pioneering work of Khovanov and Rozansky who discovered such categorifications using algebraic and combinatorial constructions. Using the algebraic geometric approach the investigator and his colleagues have a conjecture for how to categorify some of the remaining Reshetikhin-Turaev invariants. Checking, for instance, invariance under Reidemeister move 2 involves proving that certain integral transforms between (derived) categories are equivalences.The existence of such equivalences, which include Seidel-Thomas spherical twists, is a lively area of research which is interesting in itself.The simplest example of a knot is obtained by taking a tangled-up shoe lace and glueing the ends together. A fundamental question in low-dimensional topology is to determine when two such knots are different (you are allowed to move the knots around without cutting them). One way to do this is to assign a number (an invariant) to each knot so that if two knots are assigned different numbers then they must be different. How to assign such numbers is a deep problem which is related to various areas of mathematics in surprising ways. For example, the Reshetikhin-Turaev invariants are obtained from representation theory (which is the study of matrices). There are also constructions of such invariants using algebra and others that are inspired by physics and string theory. The proposed research suggests yet another approach using algebraic geometry (which is the study of systems of polynomial equations). This approach may extend, unify and shed more light on the other constructions.