No Arabic abstract
Biquandles are algebraic objects with two binary operations whose axioms encode the generalized Reidemeister moves for virtual knots and links. These objects also provide set-theoretic solutions of the well-known Yang-Baxter equation. The first half of this paper proposes some natural constructions of biquandles from groups and from their simpler counterparts, namely, quandles. We completely determine all words in the free group on two generators that give rise to (bi)quandle structures on all groups. We give some novel constructions of biquandles on unions and products of quandles, including what we refer as the holomorph biquandle of a quandle. These constructions give a wealth of solutions of the Yang-Baxter equation. We also show that for nice quandle coverings a biquandle structure on the base can be lifted to a biquandle structure on the covering. In the second half of the paper, we determine automorphism groups of these biquandles in terms of associated quandles showing elegant relationships between the symmetries of the underlying structures.
We abstract the notion of an A/QI triple from a number of examples in geometric group theory. Such a triple (G,X,H) consists of a group G acting on a Gromov hyperbolic space X, acylindrically along a finitely generated subgroup H which is quasi-isometrically embedded by the action. Examples include strongly quasi-convex subgroups of relatively hyperbolic groups, convex cocompact subgroups of mapping class groups, many known convex cocompact subgroups of Out(Fn), and groups generated by powers of independent loxodromic WPD elements of a group acting on a Gromov hyperbolic space. We initiate the study of intersection and combination properties of A/QI triples. Under the additional hypothesis that G is finitely generated, we use a method of Sisto to show that H is stable. We apply theorems of Kapovich--Rafi and Dowdall--Taylor to analyze the Gromov boundary of an associated cone-off. We close with some examples and questions.
We prove that the conjugacy problem in right-angled Artin groups (RAAGs), as well as in a large and natural class of subgroups of RAAGs, can be solved in linear-time. This class of subgroups contains, for instance, all graph braid groups (i.e. fundamental groups of configuration spaces of points in graphs), many hyperbolic groups, and it coincides with the class of fundamental groups of ``special cube complexes studied independently by Haglund and Wise.
Let $C(Gamma)$ be the set of isomorphism classes of the finite groups that are homomorphic images of $Gamma$. We investigate the extent to which $C(Gamma)$ determines $Gamma$ when $Gamma$ is a group of geometric interest. If $Gamma_1$ is a lattice in ${rm{PSL}}(2,R)$ and $Gamma_2$ is a lattice in any connected Lie group, then $C(Gamma_1) = C(Gamma_2)$ implies that $Gamma_1$ is isomorphic to $Gamma_2$. If $F$ is a free group and $Gamma$ is a right-angled Artin group or a residually free group (with one extra condition), then $C(F)=C(Gamma)$ implies that $FcongGamma$. If $Gamma_1<{rm{PSL}}(2,Bbb C)$ and $Gamma_2< G$ are non-uniform arithmetic lattices, where $G$ is a semi-simple Lie group with trivial centre and no compact factors, then $C(Gamma_1)= C(Gamma_2)$ implies that $G cong {rm{PSL}}(2,Bbb C)$ and that $Gamma_2$ belongs to one of finitely many commensurability classes. These results are proved using the theory of profinite groups; we do not exhibit explicit finite quotients that distinguish among the groups in question. But in the special case of two non-isomorphic triangle groups, we give an explicit description of finite quotients that distinguish between them.
Lagrangian cobordisms between Legendrian knots arise in Symplectic Field Theory and impose an interesting and not well-understood relation on Legendrian knots. There are some known elementary building blocks for Lagrangian cobordisms that are smoothly the attachment of $0$- and $1$-handles. An important question is whether every pair of non-empty Legendrians that are related by a connected Lagrangian cobordism can be related by a ribbon Lagrangian cobordism, in particular one that is decomposable into a composition of these elementary building blocks. We will describe these and other combinatorial building blocks as well as some geometric methods, involving the theory of satellites, to construct Lagrangian cobordisms. We will then survey some known results, derived through Heegaard Floer Homology and contact surgery, that may provide a pathway to proving the existence of nondecomposable (nonribbon) Lagrangian cobordisms.
The aim of this paper is to investigate whether the class of automaton semigroups is closed under certain semigroup constructions. We prove that the free product of two automaton semigroups that contain left identities is again an automaton semigroup. We also show that the class of automaton semigroups is closed under the combined operation of free product followed by adjoining an identity. We present an example of a free product of finite semigroups that we conjecture is not an automaton semigroup. Turning to wreath products, we consider two slight generalizations of the concept of an automaton semigroup, and show that a wreath product of an automaton monoid and a finite monoid arises as a generalized automaton semigroup in both senses. We also suggest a potential counterexample that would show that a wreath product of an automaton monoid and a finite monoid is not a necessarily an automaton monoid in the usual sense.