Showing 1–16 of 16 results for author: Putyra, K

On unification of colored annular sl(2) knot homology

Authors: Anna Beliakova, Matthew Hogancamp, Krzysztof Karol Putyra, Stephan Martin Wehrli

Abstract: We show that the Khovanov and Cooper-Krushkal models for colored sl(2) homology are equivalent in the case of the unknot, when formulated in the quantum annular Bar-Natan category. Again for the unknot, these two theories are shown to be equivalent to a third colored homology theory, defined using the action of Jones-Wenzl projectors on the quantum annular homology of cables. The proof is given by… ▽ More We show that the Khovanov and Cooper-Krushkal models for colored sl(2) homology are equivalent in the case of the unknot, when formulated in the quantum annular Bar-Natan category. Again for the unknot, these two theories are shown to be equivalent to a third colored homology theory, defined using the action of Jones-Wenzl projectors on the quantum annular homology of cables. The proof is given by conceptualizing the properties of all three models into a Chebyshev system and by proving its uniqueness. In addition, we show that the classes of the Cooper-Hogancamp projectors in the quantum horizontal trace coincide with those of the Cooper-Krushkal projectors on the passing through strands. As an application, we compute the full quantum Hochschild homology of Khovanov's arc algebras. Finally, we state precise conjectures formalizing cabling operations and extending the above results to all knots. △ Less

Submitted 4 May, 2023; originally announced May 2023.

Comments: 47 pages, color figures (but can be safely printed black and white)

MSC Class: 57M27

A proof of Dunfield-Gukov-Rasmussen Conjecture

Authors: Anna Beliakova, Krzysztof K. Putyra, Louis-Hadrien Robert, Emmanuel Wagner

Abstract: In 2005 Dunfield, Gukov and Rasmussen conjectured an existence of the spectral sequence from the reduced triply graded Khovanov-Rozansky homology of a knot to its knot Floer homology defined by Ozsváth and Szabó. The main result of this paper is a proof of this conjecture. For this purpose, we construct a bigraded spectral sequence from the $\mathfrak{gl}_0$ homology constructed by the last two au… ▽ More In 2005 Dunfield, Gukov and Rasmussen conjectured an existence of the spectral sequence from the reduced triply graded Khovanov-Rozansky homology of a knot to its knot Floer homology defined by Ozsváth and Szabó. The main result of this paper is a proof of this conjecture. For this purpose, we construct a bigraded spectral sequence from the $\mathfrak{gl}_0$ homology constructed by the last two authors to the knot Floer homology. Using the fact that the $\mathfrak{gl}_0$ homology comes equipped with a spectral sequence from the reduced triply graded homology, we obtain our main result. The first spectral sequence is of Bockstein type and comes from a subtle manipulation of coefficients. The main tools are quantum traces of foams and of singular Soergel bimodules and a $\mathbb Z$-valued cube of resolutions model for knot Floer homology originally constructed by Ozsváth and Szabó over the field of two elements. As an application, we deduce that the $\mathfrak{gl}_0$ homology as well as the reduced triply graded Khovanov-Rozansky one detect the unknot, the two trefoils, the figure eight knot and the cinquefoil. △ Less

Submitted 17 January, 2025; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: 62 pages. This is an improved version of arXiv:2112.02428; v2:65 pages, version accepted to JEMS

MSC Class: 57K18; 18G40; 55U20

Odd two-variable Soergel bimodules and Rouquier complexes

Authors: Mikhail Khovanov, Krzysztof Putyra, Pedro Vaz

Abstract: We consider the odd analogue of the category of Soergel bimodules. In the odd case and already for two variables, the transposition bimodule cannot be merged into the generating Soergel bimodule, forcing one into a monoidal category with a larger Grothendieck ring compared to the even case. We establish biadjointness of suitable functors and develop graphical calculi in the 2-variable case for the… ▽ More We consider the odd analogue of the category of Soergel bimodules. In the odd case and already for two variables, the transposition bimodule cannot be merged into the generating Soergel bimodule, forcing one into a monoidal category with a larger Grothendieck ring compared to the even case. We establish biadjointness of suitable functors and develop graphical calculi in the 2-variable case for the odd Soergel category and the related singular Soergel 2-category. We describe the odd analogue of the Rouquier complexes and establish their invertibility in the homotopy category. For three variables, the absence of a direct sum decomposition of the tensor product of generating Soergel bimodules presents an obstacle for the Reidemeister III relation to hold in the homotopy category. △ Less

Submitted 6 February, 2023; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: v3. Fixed some misprints. v2. 20 pages, figures in color, minor changes, integrated referee comments (including the name of the paper)

MSC Class: 18M30; 18N25; 16D20

Algebraic versus geometric categorification of the~Alexander polynomial: a~spectral sequence

Authors: Krzysztof K Putyra, Anna Beliakova, Louis-Hadrien Robert, Emmanuel Wagner

Abstract: We construct a bigraded spectral sequence from the gl(0)-homology to knot Floer homology. This spectral sequence is of Bockstein type and comes from a subtle manipulation of coefficients. The main tools are quantum traces of foams and of singular Soergel bimodules. We construct a bigraded spectral sequence from the gl(0)-homology to knot Floer homology. This spectral sequence is of Bockstein type and comes from a subtle manipulation of coefficients. The main tools are quantum traces of foams and of singular Soergel bimodules. △ Less

Submitted 4 October, 2022; v1 submitted 4 December, 2021; originally announced December 2021.

Comments: Replaced by arXiv:2210.00878

MSC Class: 57K18 (Primary) 18G40; 55U20 (Secondary)

Odd Khovanov homology for tangles

Authors: Grégoire Naisse, Krzysztof Putyra

Abstract: We extend the covering of even and odd Khovanov link homology to tangles, using arc algebras. For this, we develop the theory of quasi-associative algebras and bimodules graded over a category with a 3-cocycle. Furthermore, we show that a covering version of a level 2 cyclotomic half 2-Kac--Moody algebra acts on the bicategory of quasi-associative bimodules over the covering arc algebras, relating… ▽ More We extend the covering of even and odd Khovanov link homology to tangles, using arc algebras. For this, we develop the theory of quasi-associative algebras and bimodules graded over a category with a 3-cocycle. Furthermore, we show that a covering version of a level 2 cyclotomic half 2-Kac--Moody algebra acts on the bicategory of quasi-associative bimodules over the covering arc algebras, relating our work to a construction of Vaz. △ Less

Submitted 31 March, 2020; originally announced March 2020.

Comments: 76 pages

Report number: MPIM-Bonn-2020

On the functoriality of sl(2) tangle homology

Authors: Anna Beliakova, Matthew Hogancamp, Krzysztof Karol Putyra, Stephan Martin Wehrli

Abstract: We construct an explicit equivalence between the (bi)category of gl(2) webs and foams and the Bar-Natan (bi)category of Temperley-Lieb diagrams and cobordisms. With this equivalence we can fix functoriality of every link homology theory that factors through the Bar-Natan category. To achieve this, we define web versions of arc algebras and their quasi-hereditary covers, which provide strictly func… ▽ More We construct an explicit equivalence between the (bi)category of gl(2) webs and foams and the Bar-Natan (bi)category of Temperley-Lieb diagrams and cobordisms. With this equivalence we can fix functoriality of every link homology theory that factors through the Bar-Natan category. To achieve this, we define web versions of arc algebras and their quasi-hereditary covers, which provide strictly functorial tangle homologies. Furthermore, we construct explicit isomorphisms between these algebras and the original ones based on Temperley-Lieb cup diagrams. The immediate application is a strictly functorial version of the Beliakova-Putyra-Wehrli quantization of the annular link homology. △ Less

Submitted 2 April, 2019; v1 submitted 28 March, 2019; originally announced March 2019.

Comments: 44 pages, color pictures (but printing in black and white is OK)

MSC Class: 57M27; 55N35

Journal ref: Algebr. Geom. Topol. 23 (2023) 1303-1361

Quantum Link Homology via Trace Functor I

Authors: Anna Beliakova, Krzysztof Karol Putyra, Stephan Martin Wehrli

Abstract: Motivated by topology, we develop a general theory of traces and shadows for an endobicategory, which is a~pair: bicategory $\mathbf{C}$ and endobifunctor $Σ\colon \mathbf C \to\mathbf C$. For a graded linear bicategory and a fixed invertible parameter $q$, we quantize this theory by using the endofunctor $Σ_q$ such that $Σ_q α:=q^{-°α}Σα$ for any 2-morphism $α$ and coincides with $Σ$ otherwise.… ▽ More Motivated by topology, we develop a general theory of traces and shadows for an endobicategory, which is a~pair: bicategory $\mathbf{C}$ and endobifunctor $Σ\colon \mathbf C \to\mathbf C$. For a graded linear bicategory and a fixed invertible parameter $q$, we quantize this theory by using the endofunctor $Σ_q$ such that $Σ_q α:=q^{-°α}Σα$ for any 2-morphism $α$ and coincides with $Σ$ otherwise. Applying the quantized trace to the~bicategory of Chen-Khovanov bimodules we get a new triply graded link homology theory called quantum annular link homology. If $q=1$ we reproduce Asaeda-Przytycki-Sikora (APS) homology for links in a thickened annulus. We prove that our homology carries an action of $\mathcal U_q(\mathfrak{sl}_2)$, which intertwines the action of cobordisms. In particular, the~quantum annular homology of an $n$-cable admits an action of the braid group, which commutes with the quantum group action and factors through the Jones skein relation. This produces a nontrivial invariant for surfaces knotted in four dimensions. Moreover, a direct computation for torus links shows that the rank of quantum annular homology groups does depend on the quantum parameter $q$. △ Less

Submitted 27 September, 2018; v1 submitted 11 May, 2016; originally announced May 2016.

Comments: A major revision of the previous version (functoriality of traces and shadows explained, construction of traces and shadows on (bi)categories of complexes, etc.); 85 pages, color figures (but can be safely printed black and white)

MSC Class: 57M27; 55N35; 16E40; 18D05; 18F30

Knot invariants arising from homological operations on Khovanov homology

Authors: Krzysztof K. Putyra, Alexander N. Shumakovitch

Abstract: We construct an algebra of non-trivial homological operations on Khovanov homology with coefficients in $\mathbb Z_2$ generated by two Bockstein operations. We use the unified Khovanov homology theory developed by the first author to lift this algebra to integral Khovanov homology. We conjecture that these two algebras are infinite and present evidence in support of our conjectures. Finally, we li… ▽ More We construct an algebra of non-trivial homological operations on Khovanov homology with coefficients in $\mathbb Z_2$ generated by two Bockstein operations. We use the unified Khovanov homology theory developed by the first author to lift this algebra to integral Khovanov homology. We conjecture that these two algebras are infinite and present evidence in support of our conjectures. Finally, we list examples of knots that have the same even and odd Khovanov homology, but different actions of these homological operations. This confirms that the unified theory is a finer knot invariant than the even and odd Khovanov homology combined. The case of reduced Khovanov homology is also considered. △ Less

Submitted 5 January, 2016; originally announced January 2016.

Comments: 18 pages

MSC Class: 57M25; 55S05; 18G60

On a triply graded Khovanov homology

Authors: Krzysztof K. Putyra

Abstract: Cobordisms are naturally bigraded and we show that this grading extends to Khovanov homology, making it a triply graded theory. Although the new grading does not make the homology a stronger invariant, it can be used to show that odd Khovanov homology is multiplicative with respect to disjoint unions and connected sums of links; same results hold for the generalized Khovanov homology defined by th… ▽ More Cobordisms are naturally bigraded and we show that this grading extends to Khovanov homology, making it a triply graded theory. Although the new grading does not make the homology a stronger invariant, it can be used to show that odd Khovanov homology is multiplicative with respect to disjoint unions and connected sums of links; same results hold for the generalized Khovanov homology defined by the author in his previous work. We also examine the module structure on both odd and even Khovanov homology, in particular computing the effect of sliding a basepoint through a crossing on the integral homology. △ Less

Submitted 21 January, 2015; originally announced January 2015.

Comments: 21 pages. Some diagrams use colors, but they are readable when printed black and white

MSC Class: 55N35; 57M27

The degenerate distributive complex is degenerate

Authors: Jozef H. Przytycki, Krzysztof K. Putyra

Abstract: We prove that the degenerate part of the distributive homology of a multispindle is determined by the normalized homology. In particular, when the multispindle is a quandle $Q$, the degenerate homology of $Q$ is completely determined by the quandle homology of $Q$. For this case (and generally for two term homology of a spindle) we provide an explicit Künneth-type formula for the degenerate part.… ▽ More We prove that the degenerate part of the distributive homology of a multispindle is determined by the normalized homology. In particular, when the multispindle is a quandle $Q$, the degenerate homology of $Q$ is completely determined by the quandle homology of $Q$. For this case (and generally for two term homology of a spindle) we provide an explicit Künneth-type formula for the degenerate part. This solves the mystery in algebraic knot theory of the meaning of the degenerate quandle homology, brought over 15 years ago when the homology theories were defined, and the degenerate part was observed to be non trivial. △ Less

Submitted 29 July, 2016; v1 submitted 21 November, 2014; originally announced November 2014.

Comments: 19 pages. 2nd version: the proof of Lemma A.8 is simplified. 3rd version: a few typos corrected, some colors in pictures changed to darker

MSC Class: 55N35; 18G60

Mirror links have dual odd and generalized Khovanov homology

Authors: Wojciech Lubawski, Krzysztof K. Putyra

Abstract: We show that the generalized Khovanov homology, defined by the second author in the framework of chronological cobordisms, admits a grading by the group $\mathbb{Z}\times\mathbb{Z}_2$, in which all homogeneous summands are isomorphic to the unified Khovanov homology defined over the ring $\mathbb{Z}_π:=\mathbb{Z}[π]/(π^2-1)$ (here, setting $π$ to $\pm 1$ results either in even or odd Khovanov homo… ▽ More We show that the generalized Khovanov homology, defined by the second author in the framework of chronological cobordisms, admits a grading by the group $\mathbb{Z}\times\mathbb{Z}_2$, in which all homogeneous summands are isomorphic to the unified Khovanov homology defined over the ring $\mathbb{Z}_π:=\mathbb{Z}[π]/(π^2-1)$ (here, setting $π$ to $\pm 1$ results either in even or odd Khovanov homology). The generalized homology has $\Bbbk := \mathbb{Z}[X,Y,Z^{\pm 1}]/(X^2=Y^2=1)$ as coefficients, and the above implies that most of automorphisms of $\Bbbk$ fix the isomorphism class of the generalized homology regarded as $\Bbbk$-modules, so that the even and odd Khovanov homology are the only two specializations of the invariant. In particular, switching $X$ with $Y$ induces a derived isomorphism between the generalized Khovanov homology of a link $L$ with its dual version, i.e. the homology of the mirror image $L^!$, and we compute an explicit formula for this map. When specialized to integers it descends to a duality isomorphism for odd Khovanov homology, which was conjectured by A. Shumakovitch. △ Less

Submitted 22 July, 2014; originally announced July 2014.

Comments: 18 pages

MSC Class: 55N35; 57M27

Journal ref: Algebr. Geom. Topol. 16 (2016) 2021-2044

Separated presentations of modules over pullback rings

Authors: Krzysztof K. Putyra

Abstract: We define pullback and separated presentations of modules over pullback rings, and, if the ring is a pullback of epimorphisms over a semisimple ring, an algorithm reducing such a presentation of a module to an $R$-diagram. The latter is the input for a classification algorithm of finitely generated modules over a pullback ring of two Dedekind domains. As an example we show how to obtain an $R$-dia… ▽ More We define pullback and separated presentations of modules over pullback rings, and, if the ring is a pullback of epimorphisms over a semisimple ring, an algorithm reducing such a presentation of a module to an $R$-diagram. The latter is the input for a classification algorithm of finitely generated modules over a pullback ring of two Dedekind domains. As an example we show how to obtain an $R$-diagram for homology of a chain complex of free modules over a $p$-pullback ring. △ Less

Submitted 15 December, 2013; originally announced December 2013.

Comments: 10 pages

MSC Class: 13C05; 13C13

A 2-category of chronological cobordisms and odd Khovanov homology

Authors: Krzysztof K. Putyra

Abstract: We create a framework for odd Khovanov homology in the spirit of Bar-Natan's construction for the ordinary Khovanov homology. Namely, we express the cube of resolutions of a link diagram as a diagram in a certain 2-category of chronological cobordisms and show that it is 2-commutative: the composition of 2-morphisms along any 3-dimensional subcube is trivial. This allows us to create a chain compl… ▽ More We create a framework for odd Khovanov homology in the spirit of Bar-Natan's construction for the ordinary Khovanov homology. Namely, we express the cube of resolutions of a link diagram as a diagram in a certain 2-category of chronological cobordisms and show that it is 2-commutative: the composition of 2-morphisms along any 3-dimensional subcube is trivial. This allows us to create a chain complex, whose homotopy type modulo certain relations is a link invariant. Both the original and the odd Khovanov homology can be recovered from this construction by applying certain strict 2-functors. We describe other possible choices of functors, including the one that covers both homology theories and another generalizing dotted cobordisms to the odd setting. Our construction works as well for tangles and is conjectured to be functorial up to sign with respect to tangle cobordisms. △ Less

Submitted 21 January, 2015; v1 submitted 7 October, 2013; originally announced October 2013.

Comments: 60 pages, 15 figures (PS-tricks). This is an extended version of arxiv:1004.0889, with a rewritten proof of invariance of the generalized complex. Changes in the second version: presentation of chronological cobordisms is better explained, functoriality w/r to tangle cobordisms is conjectured

MSC Class: 55N35; 57M27; 17D99

Journal ref: Banach Center Publ. 103:291-355, 2014

Torsion in one-term distributive homology

Authors: Alissa S. Crans, Józef H. Przytycki, Krzysztof K. Putyra

Abstract: The one-term distributive homology was introduced by J.H.Przytycki as an atomic replacement of rack and quandle homology, which was first introduced and developed by R.Fenn, C.Rourke and B.Sanderson, and J.S.Carter, S.Kamada and M.Saito. This homology was initially suspected to be torsion-free, but we show in this paper that the one-term homology of a finite spindle can have torsion. We carefully… ▽ More The one-term distributive homology was introduced by J.H.Przytycki as an atomic replacement of rack and quandle homology, which was first introduced and developed by R.Fenn, C.Rourke and B.Sanderson, and J.S.Carter, S.Kamada and M.Saito. This homology was initially suspected to be torsion-free, but we show in this paper that the one-term homology of a finite spindle can have torsion. We carefully analyze spindles of block decomposition of type (n,1) and introduce various techniques to compute their homology precisely. In addition, we show that any finite group can appear as the torsion subgroup of the first homology of some finite spindle. Finally, we show that if a shelf satisfies a certain, rather general, condition then the one-term homology is trivial. △ Less

Submitted 6 June, 2013; originally announced June 2013.

Comments: 17 pages, 2 PS-Tricks figures

MSC Class: 55N35; 18G60

Journal ref: Fundamenta Mathematicae 225 (2014) pp. 75-94

Homology of Distributive Lattices

Authors: Jozef H. Przytycki, Krzysztof K. Putyra

Abstract: We outline the theory of sets with distributive operations: multishelves and multispindles, with examples provided by semi-lattices, lattices and skew lattices. For every such a structure we define multi-term distributive homology and show some of its properties. The main result is a complete formula for the homology of a finite distributive lattice. We also indicate the answer for unital spindles… ▽ More We outline the theory of sets with distributive operations: multishelves and multispindles, with examples provided by semi-lattices, lattices and skew lattices. For every such a structure we define multi-term distributive homology and show some of its properties. The main result is a complete formula for the homology of a finite distributive lattice. We also indicate the answer for unital spindles and conjecture the general formula for semi-lattices and some skew lattices. Then we propose a generalization of a lattice as a set with a number of idempotent operations satisfying the absorption law. △ Less

Submitted 21 November, 2011; originally announced November 2011.

Comments: 30 pages, 3 tables, 3 figures

Journal ref: J. Homotopy Relat. Struct., 8(1), April 2013, 35-65

Cobordisms with chronologies and a generalisation of the Khovanov complex

Authors: Krzysztof Putyra

Abstract: There are two categorifications of the Jones polynomial: "even" discovered by M.Khovanov in 1999 and "odd" dicovered by P.Ozsvath, J.Rasmussen and Z.Szabo in 2007. The first one can be fully constructed in the category of cobordisms (strictly: in the additive closure of that category), where we can build a complex for a given tangle and show its invariance under Reidemeister moves. The even link h… ▽ More There are two categorifications of the Jones polynomial: "even" discovered by M.Khovanov in 1999 and "odd" dicovered by P.Ozsvath, J.Rasmussen and Z.Szabo in 2007. The first one can be fully constructed in the category of cobordisms (strictly: in the additive closure of that category), where we can build a complex for a given tangle and show its invariance under Reidemeister moves. The even link homology is given by a monoidal functor from cobordisms into modules. However, odd link homology cannot be obtained in this way. In this paper I fill this gap. I enrich cobordisms with chronologies (projections onto intervals which are Morse separable functions) and show that they form a category. Given a tangle diagram I take the cube of its resolutions and build a complex in this new category. I show this complex is a tangle invariant and applying appropriate functors I can recover both even and odd link homology theories. △ Less

Submitted 6 April, 2010; originally announced April 2010.

Comments: 89 pages, plenty of figures, Master's Thesis

MSC Class: 57M27 (Primary) 57Q20 (Secondary)