arXiv research

Invariants for 4-manifolds from Hopf group-algebras.

The involutory birack counting invariant is an integer-valued invariant of unoriented tangles defined by counting homomorphisms from the fundamental involutory birack of the tangle to a finite involutory birack over a set of framings modulo the birack rank of the labeling birack. In this first of an anticipated series …

The study shows involutory quandles of certain links are not left-orderable.

We identify a subcategory of biracks which define counting invariants of unoriented links, which we call involutory biracks. In particular, involutory biracks of birack rank N=1 are biquandles, which we call bikei. We define counting invariants of unoriented classical and virtual links using finite involutory biracks, …

We consider involutory virtual biracks with good involutions, also known as symmetric involutory virtual biracks. Any good involution on an involutory virtual birack defines an enhancement of the counting invariant. We provide examples demonstrating that the enhancement is stronger than the unenhanced counting invarian…

We present an overview of some older papers on involutory quandles, mostly from the times before the term "quandle" was born. It is meant as a reference guide, not (yet) as an expository article explaining what the involutory quandles are and what they are good for.

In the 90s, based on presentations of 3-manifolds by Heegaard diagrams, Kuperberg associated a scalar invariant of 3-manifolds to each finite dimensional involutory Hopf algebra over a field. We generalize this construction to the case of involutory Hopf algebras in arbitrary symmetric monoidal categories admitting cer…

To better understand the fundamental quandle of a knot or link, it can be useful to look at finite quotients of the quandle. One such quotient is the $n$-quandle (or, when $n=2$, the {\em involutory} quandle). Hoste and Shanahan \cite{HS2} gave a complete list of the links which have finite $n$-quandles; it remained to…

In this paper we show that Montesinos links of the form L(1/2, 1/2, p/q;e), which we call (2,2,r)-Montesinos links, have finite involutory quandles. This generalizes an observation of Winker regarding the (2, 2, q)-pretzel links. We also describe some properties of these quandles.

Combining M-algebra and hyperbolic involutory algebra extends exceptional tangent spaces to 11 dimensions.

Involutory Hopf group-coalgebras provide new invariants for 4-manifold bundles.

We construct a Poisson isomorphism between the formal Poisson manifolds g^* and G^*, where g is a finite dimensional quasitriangular Lie bialgebra. Here g^* is equipped with its Lie-Poisson (or Kostant-Kirillov-Souriau) structure, and G^* with its Poisson-Lie structure. We also quantize Poisson-Lie dynamical r-matrices…

Joyce showed that for a classical knot $K$, the involutory medial quandle $\text{IMQ}(K)$ is isomorphic to the core quandle of the homology group $H_1(X_2)$, where $X_2$ is the cyclic double cover of $\mathbb S ^3$, branched over $K$. It follows that $|\text{IMQ}(K)| = | \det K |$. In the present paper, the extension o…

Invariants for 3-manifolds with embedded links using Hopf algebras.

We introduce and study some mixed product Poisson structures on product manifolds associated to Poisson Lie groups and Lie bialgebras. For quasitriangular Lie bialgebras, our construction is equivalent to that of fusion products of quasi-Poisson G-manifolds introduced by Alekseev, Kosmann- Schwarzbach, and Meinrenken. …

New invariant from quantum algebra for 3-manifold bundles.

We define a family of the braid group representations via the action of the $R$-matrix (of the quasitriangular extension) of the restricted quantum $\mathfrak{sl}(2)$ on a tensor power of a simple projective module. This family is an extension of the Lawrence representation specialized at roots of unity. Although the c…

We introduce a modified homology and cohomology theory for involutory biquandles (also known as \textit{bikei}). We use bikei 2-cocycles to enhance the bikei counting invariant for unoriented knots and links as well as unoriented and non-orientable knotted surfaces in $\mathbb{R}^4$.

The paper generalizes Kuperberg invariants using twisted Drinfeld doubles.

Given a group G, we use involutary Hopf G-coalgebras to define a scalar invariant of flat G-bundles over 3-manifolds. When G=1, this invariant equals to the one of 3-manifolds constructed by Kuperberg from involutary Hopf algebras. We give examples which show that this invariant is not trivial.

A 3-dimensional homotopy quantum field theory (HQFT) can be described as a TQFT for surfaces and 3-cobordisms endowed with homotopy classes of maps into a given space. For a group $π$, we introduce a notion of a modular crossed $π$-category and show that such a category gives rise to a 3-dimensional HQFT with target sp…

We give a categorical setting in which Penrose graphical calculus naturally extends to graphs drawn on the boundary of a handlebody. We use it to introduce invariants of 3-manifolds presented by Heegaard splittings. We recover Kuperberg invariants when the category comes from an involutory Hopf algebra and Turaev-Viro …

We reformulate the Poisson structure discovered by Fock and Rosly on moduli spaces of flat connections over marked surfaces in the framework of Poisson structures defined by Lie algebra actions and quasitriangular $r$-matrices, and we show that it is an example of a mixed product Poisson structure associated to pairs o…

New quantum invariant for framed 3-manifolds using ideal triangulations.

Invariant of 3-manifolds using Hopf algebra elements.

Dehn quandles of groups and surfaces unify various quandle constructions.

New tribrackets defined to count link homotopy invariants.

The study describes good involutions in quandles and Alexander quandles.

Marked vertex diagrams provide a combinatorial way to represent knotted surfaces in $\mathbb{R}^4$; including virtual crossings allows for a theory of virtual knotted surfaces and virtual cobordisms. Biquandle counting invariants are defined only for marked vertex diagrams representing knotted orientable surfaces; we e…

The paper characterizes simply connected quandles using cocycles with prime values.

We construct a certain cross product of two copies of the braided dual $\tilde H$ of a quasitriangular Hopf algebra $H$, which we call the elliptic double $E_H$, and which we use to construct representations of the punctured elliptic braid group extending the well-known representations of the planar braid group attache…

For a connected abelian Lie group T acting on a Poisson manifold (Y,π) by Poisson isomorphisms, the T-leaves of π in Y are, by definition, the orbits of the symplectic leaves of π under T, and the leaf stabilizer of a T-leaf is the subspace of the Lie algebra of T that is everywhere tangent to all the symplectic leaves…

We study Kuperberg invariants for sutured manifolds in the case of a semidirect product of an involutory Hopf superalgebra $H$ with its automorphism group $\text{Aut}(H)$. These are topological invariants of balanced sutured 3-manifolds endowed with a homomorphism of the fundamental group into $\text{Aut}(H)$ and possi…

This paper develops graph theory for racks and quasigroups.

A rank-n tensor on a Lorentzian manifold V whose contraction with n arbitrary causal future directed vectors is non-negative is said to have the dominant property. These tensors, up to sign, are called causal tensors, and we determine their general properties in dimension N. We prove that rank-2 tensors which map the n…

Heaps are para-associative ternary operations bijectively exemplified by groups via the operation $(x,y,z) \mapsto x y^{-1} z$. They are also ternary self-distributive, and have a diagrammatic interpretation in terms of framed links. Motivated by these properties, we define para-associative and heap cohomology theories…

Classifies good involutions in conjugation subquandles and racks.

The paper studies finiteness of canonical quotients in Dehn quandles of surfaces.

A Lie version of Turaev's $\overline{G}$-Frobenius algebras from 2-dimensional homotopy quantum field theory is proposed. The foundation for this Lie version is a structure we call a \textit{$\frak{g}$-quasi-Frobenius Lie algebra} for $\frak{g}$ a finite dimensional Lie algebra. The latter consists of a quasi-Frobenius…

We develop an explicit skein theoretical algorithm to compute the Alexander polynomial of a 3-manifold from a surgery presentation employing the methods used in the construction of quantum invariants of 3-manifolds. As a prerequisite we establish and prove a rather unexpected equivalence between the topological quantum…