ﻻ يوجد ملخص باللغة العربية
We introduce the notion of fundamental heap for compact orientable surfaces with boundary embedded in $3$-space, which is an isotopy invariant of the embedding. It is a group, endowed with a ternary heap operation, defined using diagrams of surfaces in a form of thickened trivalent graphs called surface ribbons. We prove that the fundamental heap has a free part whose rank is given by the number of connected components of the surface. We study the behavior of the invariant under boundary connected sum, as well as addition/deletion of twisted bands, and provide formulas relating the number of generators of the fundamental heap to the Euler characteristics. We describe in detail the effect of stabilization on the fundamental heap, and determine that for each given finitely presented group there exists a surface ribbon whose fundamental heap is isomorphic to it, up to extra free factors. A relation between the fundamental heap and the Wirtinger presentation is also described. Moreover, we introduce cocycle invariants for surface ribbons using the notion of mutually distributive cohomology and heap colorings. Explicit computations of fundamental heap and cocycle invariants are presented.
A heap is a set with a certain ternary operation that is self-distributive (TSD) and exemplified by a group with the operation $(x,y,z)mapsto xy^{-1}z$. We introduce and investigate framed link invariants using heaps. In analogy with the knot group,
We extend the quandle cocycle invariant to oriented singular knots and links using algebraic structures called emph{oriented singquandles} and assigning weight functions at both regular and singular crossings. This invariant coincides with the classi
We bring cocycle enhancement theory to the case of psyquandles. Analogously to our previous work on virtual biquandle cocycle enhancements, we define enhancements of the psyquandle counting invariant via pairs of a biquandle 2-cocycle and a new funct
Three new knot invariants are defined using cocycles of the generalized quandle homology theory that was proposed by Andruskiewitsch and Gra~na. We specialize that theory to the case when there is a group action on the coefficients. First, quandle
This paper is a brief overview of some of our recent results in collaboration with other authors. The cocycle invariants of classical knots and knotted surfaces are summarized, and some applications are presented.