Related papers: Two- and three-cocycles for Laver tables
We prove an identity for five arguments, valid in the lattice of natural numbers with gcd and lcm as lattice operations. More generally, this identity characterizes arbitrary distributive lattices. Fixing three of the five arguments, we…
The purpose of this paper is twofold. First, we introduce the notions of left-symmetric and left alternative structures on superspaces in characteristic 2. We describe their main properties and classify them in dimension 2. We show that…
We give a classification and complete algebraic description of groups allowing only finitely many (left multiplication invariant) circular orders. In particular, they are all solvable groups with a specific semi-direct product…
An arrangement of curves in the real plane divides it into a collection of faces. In the case of line arrangements, there exists an associative product which gives this collection a structure of a left regular band. A natural question is…
Quasi-trees generalize trees in that the unique "path" between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound…
A shelf is a set with a binary operation~$\op$ satisfying $a \op (b \op c) = (a \op b) \op (a \op c)$. Racks are shelves with invertible translations $b \mapsto a \op b$; many of their aspects, including cohomological, are better understood…
We prove measurable Livsic theorems for dynamical systems modelled by Markov Towers. Our regularity results apply to solutions of cohomological equations posed on Henon-like mappings and a wide variety of nonuniformly hyperbolic systems. We…
For some families of two-bridge knots, including double-twist knots with genus at least four, we determine precisely the set of integers $n>1$ such that the fundamental group of the $n$-fold cyclic branched cover of the 3-sphere along these…
In this article studies questions about the existence of left-invariant K\"{a}hler and semi-para-K\"{a}hler structures on six-dimensional unsolvable Lie groups whose Lie algebras are semidirect products. According to the classification…
We construct some irreducible representations of the Leavitt path algebra of an arbitrary quiver. The constructed representations are associated to certain algebraic branching systems. For a row-finite quiver, we classify algebraic…
Inspired by the structure of $srs$ Laves networks in $\mathbb{R}^3$ that underpin the celebrated gyroid surface, we construct a Laves network of identical three-coordinated vertices on $S^3$ with double-twist. This network is a subset of…
We introduce (co)homology theory for multiple group racks and construct cocycle invariants of compact oriented surfaces in the 3-sphere using their 2-cocycles, where a multiple group rack is a rack consisting of a disjoint union of groups.…
We find explicit bases for naturally defined lattices over a ring of algebraic integers in the SO(3) TQFT-modules of surfaces at roots of unity of odd prime order. Some applications relating quantum invariants to classical 3-manifold…
This is a draft of a book submitted for publication by the AMS. Its theme is the remarkable interplay, accelerating in the last few decades, between topology and the theory of orderable groups, with applications in both directions. It…
We show that graphs generated by collapsible pushdown systems of level 2 are tree-automatic. Even if we allow epsilon-contractions and reachability predicates (with regular constraints) for pairs of configurations, the structures remain…
A vertical 2-sum of a two-coatom lattice $L$ and a two-atom lattice $U$ is obtained by removing the top of $L$ and the bottom of $U$, and identifying the coatoms of $L$ with the atoms of $U$. This operation creates one or two nonisomorphic…
A classification up to isomorphism of all left braces of order $p^3$, where $p$ is any prime number, is given. To this end, we first classify all the left braces of order $p$ and $p^2$, and then we construct explicitly the hypothesis…
We consider the extension of two variable logic with quantifiers that state that the number of elements where a formula holds should belong to a given ultimately periodic set. We show that both satisfiability and finite satisfiability of…
We are concerned with mapping class groups of surfaces with nonempty boundary. We present a very natural method, due to Thurston, of finding many different left orderings of such groups. The construction involves equipping the surface with…
Lie symmetries of systems of second-order linear ordinary differential equations with constant coefficients are exhaustively described over both the complex and real fields. The exact lower and upper bounds for the dimensions of the maximal…