相关论文: Categorified sl(N) invariants of colored rational …
The theory of signature invariants of links in rational homology spheres is applied to covering links of homology boundary links. From patterns and Seifert matrices of homology boundary links, an explicit formula is derived to compute…
We introduce the notion of rational links in the solid torus. We show that rational links in the solid torus are fully characterized by rational tangles, and hence by the continued fraction of the rational tangle. Furthermore, we generalize…
We prove that the generating functions for the one row/column colored HOMFLY-PT invariants of arborescent links are specializations of the generating functions of the motivic Donaldson-Thomas invariants of appropriate quivers that we…
With a 4-ended tangle $T$, we associate a Heegaard Floer invariant $\operatorname{CFT^\partial}(T)$, the peculiar module of $T$. Based on Zarev's bordered sutured Heegaard Floer theory, we prove a glueing formula for this invariant which…
Knot Floer homology is a knot invariant defined using holomorphic curves. In more recent work, taking cues from bordered Floer homology,the authors described another knot invariant, called "bordered knot Floer homology", which has an…
We provide a finite dimensional categorification of the symmetric evaluation of $\mathfrak{sl}_N$-webs using foam technology. As an output we obtain a symmetric link homology theory categorifying the link invariant associated to symmetric…
It is known that knot homologies admit a physical description as spaces of open BPS states. We study operators and algebras acting on these spaces. This leads to a very rich story, which involves wall crossing phenomena, algebras of closed…
We use 4-valent planar graphs and singular cobordisms (called foams) to construct an integral doubly-graded cohomology for tangles, and in particular for links, whose graded Euler characteristic yields the sl(n) link polynomial (for n > 3).
We study the structural properties of colored Kauffman homologies of knots. Quadruple-gradings play an essential role in revealing the differential structure of colored Kauffman homology. Using the differential structure, the Kauffman…
We extend a quantized skew Howe duality result for Type $\mathbf{A}$ algebras to orthogonal types via a seesaw. We develop an operator commutant version of the First Fundamental Theorem of invariant theory for $U_q(\mathfrak{so}_n)$ using a…
Skew-symmetric forms possess unique capabilities. The properties of closed exterior and dual forms, namely, invariance, covariance, conjugacy and duality, either explicitly or implicitly appear in all invariant mathematical formalisms. This…
Monoidal closed categories naturally model NMILL, non-commutative multiplicative intuitionistic linear logic: the monoidal unit and tensor interpret the multiplicative verum and conjunction; the internal hom interprets linear implication.…
In a previous paper, V\'ertesi and the first author used grid-like Heegaard diagrams to define tangle Floer homology, which associates to a tangle $T$ a differential graded bimodule $\widetilde{\mathrm{CT}} (T)$. If $L$ is obtained by…
We define the fundamental quandle of a spatial graph and several invariants derived from it. In the category of graph tangles, we define an invariant based on the walks in the graph and cocycles from nonabelian quandle cohomology.
We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible…
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level languages with ML-style general (higher-order) storage, we…
We use foams to give a topological construction of a rational link homology categorifying the slN link invariant, for N>3. To evaluate closed foams we use the Kapustin-Li formula adapted to foams by Khovanov and Rozansky. We show that for…
Based on different views on the Jones polynomial we review representation theoretic categorified link and tangle invariants. We unify them in a common combinatorial framework and connect them via the theory of Soergel bimodules. The…
We define a family of formal Khovanov brackets of a colored link depending on two parameters. The isomorphism classes of these brackets are invariants of framed colored links. The Bar-Natan functors applied to these brackets produce…
We use the immersed curves description of bordered Floer homology to study $d$-invariants of double branched covers $\Sigma_2(L)$ of arborescent links $L \subset S^3$. We define a new invariant $\Delta_{sym}$ of bordered…