Researcher profile

Jozef H. Przytycki

Jozef H. Przytycki contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
25works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

25 published item(s)

preprint2016arXiv

Equivalence of two definitions of set-theoretic Yang-Baxter homology

In 2004, Carter, Elhamdadi and Saito defined a homology theory for set-theoretic Yang-Baxter operators(we will call it the "algebraic" version in this article). In 2012, Przytycki defined another homology theory for pre-Yang-Baxter operators which has a nice graphic visualization(we will call it the "graphic" version in this article). We show that they are equivalent. The "graphic" homology is also defined for pre-Yang-Baxter operators, and we give some examples of it's one-term and two-term homologies. In the two-term case, we have found torsion in homology of Yang-Baxter operator that yields the Jones polynomial.

preprint2016arXiv

Homotopy type of circle graphs complexes motivated by extreme Khovanov homology

It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and find it convincing to generalize it to every circle graph (intersection graph of chords in a circle). In particular, we prove it for the families of cactus, outerplanar, permutation and non-nested graphs. Conversely, we also give a method for constructing a permutation graph whose independence simplicial complex is homotopy equivalent to any given finite wedge of spheres. We also present some combinatorial results on the homotopy type of finite simplicial complexes and a theorem generalizing previous results by Csorba, Nagel and Reiner, Jonsson and Barmak. We study the implications of our results to Knot Theory; more precisely, we compute the real-extreme Khovanov homology of torus links $T(3,q)$ and obtain examples of $H$-thick knots whose extreme Khovanov homology groups are separated either by one or two gaps as long as desired.

preprint2016arXiv

Invariants of links of Conway type

The purpose of this paper is to present a certain combinatorial method of constructing invariants of isotopy classes of oriented tame links. This arises as a generalization of the known polynomial invariants of Conway and Jones. These invariants have one striking common feature. If L+, L- and L0 are diagrams of oriented links which are identical, except near one crossing point (as in Conway or Jones polynomials), then an invariant w(L) has the property: w(L+) is uniquely determined by w(L-) and w(L0), and also w(L-) is uniquely determined by w(L+) and w(L0). To formalize this property we introduce a concept of a Conway algebra and quasi Conway algebra. The paper is now almost 32 years old and it contains the PT contribution to HOMFLYPT polynomial. We believe it should be available in arXiv.

preprint2016arXiv

Strict unimodality of q-polynomials of rooted trees

We classify rooted trees which have strictly unimodal q-polynomials (plucking polynomial). We also give criteria for a trapezoidal shape of a plucking polynomial. We generalize results of Pak and Panova on strict unimodality of q-binomial coefficients. We discuss which polynomials can be realized as plucking polynomials and whether or not different rooted trees can have the same plucking polynomial.

preprint2016arXiv

The degenerate distributive complex is degenerate

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.

preprint2015arXiv

Q-polynomial invariant of rooted trees

We describe in this note a new invariant of rooted trees. We argue that the invariant is interesting on it own, and that it has connections to knot theory and homological algebra. However, the real reason that we propose this invariant to readers is that we deal here with an elementary, interesting, new mathematics, and after reading this essay readers can take part in developing the topic, inventing new results and connections to other disciplines of mathematics, and likely, statistical mechanics, and combinatorial biology. We also provide a (free) translation of the paper in Polish.

preprint2015arXiv

The torsion of a finite quasigroup quandle is annihilated by its order

We prove that if Q is a finite quasigroup quandle, then |Q| annihilates the torsion of its homology. It is a classical result in reduced homology of finite groups that the order of a group annihilates its homology. From the very beginning of the rack homology (between 1990 and 1995) the analogous result was suspected. The first general results in this direction were obtained independently about 2001 by R.A.Litherland and S.Nelson, and P.Etingof and M.Grana. In Litherland-Nelson paper it is proven that if (Q;*) is a finite homogeneous rack (this includes quasigroup racks) then the torsion of homology is annihilated by |Q|^n. In Etingof-Grana paper it is proven that if (X;A) is a finite rack and N=|G^0_Q| is the order of a group of inner automorphisms of Q, then only primes which can appear in the torsion of homology are those dividing N (the case of connected Alexander quandles was proven before by T.Mochizuki). The result of Litherland-Nelson is generalized by Niebrzydowski and Przytycki and in particular, they prove that the torsion part of the homology of the dihedral quandle R_3 is annihilated by 3. In Niebrzydowski-Przytycki paper it is conjectured that for a finite quasigroup quandle, torsion of its homology is annihilated by the order of the quandle. The conjecture is proved by T.Nosaka for finite Alexander quasigroup quandles. In this paper we prove the conjecture in full generality. For this version, we rewrote the Section 3 totally and introduced the concept of the precubic homotopy. In Section 2, the main addition is Corollary 2.2 which summarizes identities observed in the proof of the main theorem as we use it later in Section 3.

preprint2014arXiv

Catalan States of Lattice Crossing

For a Lattice crossing $L\left( m,n\right) $ we show which Catalan connection between $2\left( m+n\right) $ points on boundary of $m\times n$ rectangle $P$ can be realized as a Kauffman state and we give an explicit formula for the number of such Catalan connections. For the case of a Catalan connection with no arc starting and ending on the same side of the tangle, we find a closed formula for its coefficient in the Relative Kauffman Bracket Skein Module of $P\times I$

preprint2014arXiv

Knots and distributive homology: from arc colorings to Yang-Baxter homology

This paper is a sequel to my essay "Distributivity versus associativity in the homology theory of algebraic structures" Demonstratio Math., 44(4), 2011, 821-867 (arXiv:1109.4850 [math.GT]). We start from naive invariants of arc colorings and survey associative and distributive magmas and their homology with relation to knot theory. We outline potential relations to Khovanov homology and categorification, via Yang-Baxter operators. We use here the fact that Yang-Baxter equation can be thought of as a generalization of self-distributivity. We show how to define and visualize Yang-Baxter homology, in particular giving a simple description of homology of biquandles.

preprint2014arXiv

Progress in distributive homology: from q-polynomial of rooted trees to Yang-Baxter homology

This is an extended abstract of the talk given at the Oberwolfach Workshop "Algebraic Structures in Low-Dimensional Topology", 25 May -- 31 May 2014. My goal was to describe progress in distributive homology from the previous Oberwolfach Workshop June 3 - June 9, 2012, in particular my work on Yang-Baxter homology; however I concentrated my talk on my recent discovery of q-polynomial of a rooted tree; the appropriate topic as my talk was on May 30, 2014, the 30 anniversary of the Jones polynomial, and the polynomial has its roots in the Kauffman bracket approach to the Jones polynomial.

preprint2013arXiv

Cocycle invariants of codimension 2-embeddings of manifolds

We consider the classical problem of a position of n-dimensional manifold M in R^{n+2}. We show that we can define the fundamental (n+1)-cycle and the shadow fundamental (n+2)-cycle for a fundamental quandle of a knotting M to R^{n+2}. In particular, we show that for any fixed quandle, quandle coloring, and shadow quandle coloring, of a diagram of M embedded in R^{n+2} we have (n+1)- and (n+2)-(co)cycle invariants (i.e. invariant under Roseman moves). We speculate on a similar construction for general Yang-Baxter operators.

preprint2012arXiv

A note on the Lickorish-Millett-Turaev formula for the Kauffman polynomial

We use the idea of expressing a nonoriented link as a sum of all oriented links corresponding to the link to present a short proof of the Lickorish-Millett-Turaev formula for the Kauffman polynomial at $z= -a- a^{-1}$. Our approach explains the observation made by Lickorish and Millett that the formula is the generating function for the linking number of a sublink of the given link with its complementary sublink.

preprint2012arXiv

Conway type invariants of links and Kauffman's method

In this chapter (Chapter III) we introduce the concept of Conway algebras (the notion related to entropic magmas) and describe invariants of links yielded by (partial) Conway algebras (including the Homflypt polynomial and signatures). We present, in detail, a proof (following the original Przytycki-Traczyk 1984 proof) of the existence of Conway type invariants. Then we describe Kauffman's method of constructing link invariants, in particular, giving the Kauffman polynomial of two variables. We develop a formalism, Kauffman algebras, analogous to that of Conway algebras. This chapter, along with chapters II, IV, and V of the book (already on arXiv), form the core of the first part of the book.

preprint2011arXiv

Distributivity versus associativity in the homology theory of algebraic structures

While homology theory of associative structures, such as groups and rings, has been extensively studied in the past beginning with the work of Hopf, Eilenberg, and Hochschild, homology of non-associative distributive structures, such as quandles, were neglected until recently. Distributive structures have been studied for a long time. In 1880, C.S. Peirce emphasized the importance of (right) self-distributivity in algebraic structures. However, homology for these universal algebras was introduced only sixteen years ago by Fenn, Rourke, and Sanderson. We develop this theory in the historical context and propose a general framework to study homology of distributive structures. We illustrate the theory by computing some examples of 1-term, 2-term, and 3-term homology, and then discussing 4-term homology for Boolean algebras and distributive lattices. We outline potential relations to Khovanov homology, via the Yang-Baxter operator.

preprint2011arXiv

Homology of Distributive Lattices

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.

preprint2011arXiv

The Trieste look at Knot Theory

This paper is base on talks which I gave in May, 2010 at Workshop in Trieste (ICTP). In the first part we present an introduction to knots and knot theory from an historical perspective, starting from Summerian knots and ending on Fox 3-coloring. We show also a relation between 3-colorings and the Jones polynomial. In the second part we develop the general theory of Fox colorings and show how to associate a symplectic structure to a tangle boundary so that tangles becomes Lagrangians (a proof of this result has not been published before). Chapter VI of the book "KNOTS: From combinatorics of knot diagrams to combinatorial topology based on knots will be based on this paper.

preprint2006arXiv

A categorification of the skein module of tangles

We generalize our previous work on categorification of Kauffman bracket skein module of surfaces, by extending our homology to tangles in cylinders over surfaces, F x [0,1]. Our homology of 0-tangles and 1-tangles in D^3 coincides (up to normalization) with Khovanov link homology and the reduced Khovanov link homology. We prove the basic properties of our homology. In particular, the short exact sequence of homologies of skein related tangles and the Kunneth formula for the tensor product of tangles.

preprint2004arXiv

Categorification of the Kauffman bracket skein module of I-bundles over surfaces

Khovanov defined graded homology groups for links L in R^3 and showed that their polynomial Euler characteristic is the Jones polynomial of L. Khovanov's construction does not extend in a straightforward way to links in I-bundles M over surfaces F not D^2 (except for the homology with Z/2 coefficients only). Hence, the goal of this paper is to provide a nontrivial generalization of his method leading to homology invariants of links in M with arbitrary rings of coefficients. After proving the invariance of our homology groups under Reidemeister moves, we show that the polynomial Euler characteristics of our homology groups of L determine the coefficients of L in the standard basis of the skein module of M. Therefore, our homology groups provide a `categorification' of the Kauffman bracket skein module of M. Additionally, we prove a generalization of Viro's exact sequence for our homology groups. Finally, we show a duality theorem relating cohomology groups of any link L to the homology groups of the mirror image of L.

preprint2004arXiv

Non-left-orderable 3-manifold groups

We show that several torsion free 3-manifold groups are not left-orderable. Our examples are groups of cyclic branched covers of S^3 branched along links. The figure eight knot provides simple nontrivial examples. The groups arising in these examples are known as Fibonacci groups which we show not to be left-orderable. Many other examples of non-orderable groups are obtained by taking 3-fold branched covers of S^3 branched along various hyperbolic 2-bridge knots. The manifold obtained in such a way from the 5_2 knot is of special interest as it is conjectured to be the hyperbolic 3-manifold with the smallest volume.

preprint2003arXiv

Kauffman-Harary conjecture holds for Montesinos Knots

The Kauffman-Harary conjecture states that for any reduced alternating diagram K of a knot with a prime determinant p, every non-trivial Fox p-coloring of K assigns different colors to its arcs. We generalize the conjecture by stating it in terms of homology of the double cover of S^3 branched along a link. In this way we extend the scope of the conjecture to all prime alternating links of arbitrary determinants. We first prove the Kauffman-Harary conjecture for pretzel knots and then we generalize our argument to show the generalized Kauffman-Harary conjecture for all Montesinos links. Finally, we speculate on the relation between the conjecture and Menasco's work on incompressible surfaces in exteriors of alternating links.