Related papers: The foam and the matrix factorization sl3 link hom…
We trade matrix factorizations and Koszul complexes for Hochschild homology of Soergel bimodules to modify the construction of triply-graded link homology and relate it to Kazhdan-Lusztig theory.
We prove coherence theorems for dualizable objects in monoidal bicategories and for fully dualizable objects in symmetric monoidal bicategories, describing coherent dual pairs and coherent fully dual pairs. These are property-like…
The contents of this 98-page paper have been subsumed into the 191-page paper "A colored sl(N)-homology for links in S^3" (arXiv:0907.0695v1 [math.GT]), in which we further develop the theory and use it to construct a colored link homology.
We introduce a cohomology theory for spatial super- product systems and compute the $2-$cocycles for some basic examples called as Clifford super-product systems, thereby distinguish them up to isomorphism. This consequently proves that a…
We study categories of matrix factorizations. These categories are defined for any regular function on a suitable regular scheme. Our paper has two parts. In the first part we develop the foundations; for example we discuss derived direct…
We study matrix factorizations of locally free coherent sheaves on a scheme. For a scheme that is projective over an affine scheme, we show that homomorphisms in the homotopy category of matrix factorizations may be computed as the…
For each N > 3, we define a monoidal functor from Elias and Khovanov's diagrammatic version of Soergel's category of bimodules to the category of sl(N) foams defined by Mackaay, Stosic and Vaz. We show that through these functors Soergel's…
We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively.…
Let $R$ be an associative ring with unit. Given an $R$-module $M$, we can associate the following covariant functor from the category of $R$-algebras to the category of abelian groups: $S\mapsto M\otimes_R S$. With the corresponding notion…
Similar to knots in S^3, any knot in a lens space has a grid diagram from which one can combinatorially compute all of its knot Floer homology invariants. We give an explicit description of the generators, differentials, and rational Maslov…
It is known that every closed oriented 3-manifold is homology cobordant to a hyperbolic 3-manifold. By contrast we show that many homology cobordism classes contain no Seifert fibered 3-manifold. This is accomplished by determining the…
We study the class of those linear relations that can be factorized as products of idempotent relations. We provide several characterizations of this class, extending known factorization results for operators to the more general setting of…
We give a purely combinatorial formula for evaluating closed decorated foams. Our evaluation gives an integral polynomial and is directly connected to an integral equivariant version of the $\mathfrak{sl}_N$ link homology categorifying the…
We prove that Leibniz homology of Lie algebras can be described as functor homology in the category of linear functors from a category associated to the Lie operad.
We compare the smooth and deformation equivalence of actions of finite groups on K3-surfaces by holomorphic and anti-holomorphic transformations. We prove that the number of deformation classes is finite and, in a number of cases, establish…
The Dold$-$Thom theorem states that for a sufficiently nice topological space, M, there is an isomorphism between the homotopy groups of the infinite symmetric product of M and the homology groups of M itself. The crux of most known proofs…
In the unoriented SL(3) foam theory, singular vertices are generic singularities of two-dimensional complexes. Singular vertices have neighbourhoods homeomorphic to cones over the one-skeleton of the tetrahedron, viewed as a trivalent graph…
We classify all closed 1-connected manifolds $M$ which look like projective planes, i.e. with integral homology $H_*(M)=Z^3$. Furthermore, we give an explicit construction of these manifolds as Thom spaces of open disk bundles.
We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of…
There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category $\mathbf{Coh_{\sim}}$ (of small coherent categories, coherent functors and all…