arXiv subjects

Mahender Singh

Publications and source records attributed to Mahender Singh.

At least 19 recordsLinked to original sources

arXiv2026

Skew braces and Rota-Baxter operators on semi-direct products

This paper examines the connections between (relative) Rota--Baxter groups, skew left braces, and enlargements of these structures on naturally associated semi-direct products. Given a skew left brace, we define a new skew left brace, referred to as its square, on the natural semi-direct product of its additive and multiplicative groups. Further, the square construction is distinct from the previously known double construction arising as a special case of matched pairs of skew braces. This provides a method to construct a new bijective, non-degenerate solution to the Yang--Baxter equation from an existing solution arising from a skew left brace. We show that the square construction is functorial and integrates naturally into both the cohomological and extension-theoretic frameworks for (relative) Rota--Baxter groups and skew left braces. Furthermore, we provide a sufficient condition under which two isoclinic skew left braces yield isoclinic squares.

math.QA↗

arXiv2026

Dehn quandles of surfaces and their bounded cohomology

We introduce new families of quandles that serve as invariants for classifying closed orientable surfaces. These families generalize the classical Dehn quandle and are defined, respectively, on isotopy classes of unoriented closed curves and on integral weighted multicurves. We establish their fundamental algebraic properties and construct a natural quandle covering that relates them. We then analyze their metric properties, showing that these quandles are unbounded with respect to the quandle metric. Next, we compute their second bounded quandle cohomology, proving it to be infinite-dimensional. We also establish a version of the Gromov Mapping Theorem, showing that the natural map from an abelian quandle extension onto the original quandle induces an injection on bounded quandle cohomology in every dimension. Finally, inspired by recent developments in quandle rings, we analyze idempotents in the integral quandle rings arising from the classical Dehn quandle of a surface.

math.GT↗

arXiv2025

Alexander-Markov correspondence for doodles on closed surfaces

In this paper, we introduce twisted virtual doodles, defined as stable equivalence classes of immersed circles on closed surfaces that may be non-orientable. These objects admit planar representative diagrams, considered up to a suitable set of Reidemeister-type moves. To develop the associated braid-theoretic framework, we define twisted virtual twin groups as natural extensions of virtual twin groups, and establish Alexander- and Markov-type theorems in this set-up. This shows that twisted virtual doodles unify and extend both classical and virtual doodle theories. We further investigate the structure of the pure twisted virtual twin group, providing a presentation and deriving several structural and combinatorial properties. In particular, we obtain two interesting decompositions of the twisted virtual twin group and its pure subgroup, from which it follows that both groups have trivial center and are residually finite as well as Hopfian.

math.GT↗

arXiv2025

Linear representations, crystallographic quotients, and twisted conjugacy of virtual Artin groups

Virtual Artin groups were recently introduced by Bellingeri, Paris, and Thiel as broad generalizations of the well-known virtual braid groups. For each Coxeter graph $Γ$, they defined the virtual Artin group $VA[Γ]$, which is generated by the corresponding Artin group $A[Γ]$ and the Coxeter group $W[Γ]$, subject to certain mixed relations inspired by the action of $W[Γ]$ on its root system $Φ[Γ]$. There is a natural surjection $ \mathrm{VA}[Γ] \rightarrow W[Γ]$, with the kernel $PVA[Γ]$ representing the pure virtual Artin group. In this paper, we explore linear representations, crystallographic quotients, and twisted conjugacy of virtual Artin groups. Inspired from the work of Cohen, Wales, and Krammer, we construct a linear representation of the virtual Artin group $VA[Γ]$. As a consequence of this representation, we deduce that if $W[Γ]$ is a spherical Coxeter group, then $VA[Γ]/PVA[Γ]'$ is a crystallographic group of dimension $ |Φ[Γ]|$ with the holonomy group $W[Γ]$. We also classify the torsion elements in $VA[Γ]/PVA[Γ]'$ and determine precisely when two elements are conjugate in this group. Further, we investigate twisted conjugacy, and prove that each right-angled virtual Artin group admit the $R_\infty$-property.

math.GR↗

arXiv2025

Fundamental $n$-quandles of links are residually finite

In this paper, we investigate the residual finiteness and subquandle separability of quandles, properties that respectively imply the solvability of the word problem and the generalized word problem for quandles. From Winker's work, we know that fundamental $n$-quandles of oriented links, which are canonical quotients of their fundamental quandles, are closely associated with $n$-fold cyclic branched covers of the 3-sphere branched over these links. We prove that the fundamental $n$-quandle of any oriented link in the 3-sphere is residually finite for each $n\ge 2$. This supplements the recent result by Bardakov, Singh and the third author on residual finiteness of fundamental quandles of oriented links, and the classification by Hoste and Shanahan of links whose fundamental $n$-quandles are finite for some $n$. We also establish several general results on these finiteness properties and identify many families of quandles admitting them.

math.GT↗

arXiv2025

Yang-Baxter Equation and Related Algebraic Structures

In the 1990s, Drinfel'd proposed the study of set-theoretical solutions to the quantum Yang-Baxter equation, initiating a line of research that has since garnered substantial attention and led to notable developments in algebra, low-dimensional topology, and related areas. This monograph offers a concise introduction to the algebraic theory of such solutions, focusing on key structures including skew braces, quandles, racks, and Rota-Baxter groups, which have emerged as central objects in this framework. We investigate the algebraic, combinatorial, and homological properties of these structures, with an emphasis on their interrelations and applications to knot theory. The monograph is intended as a reference for researchers interested in the deep interplay between these algebraic structures and the quantum Yang-Baxter equation.

math.QA↗

arXiv2025

Second bounded cohomology of knot quandles

In this paper, we explore the bounded cohomology of quandles and its applications to knot theory. We establish two key results that provide sufficient conditions for the infinite dimensionality of the second bounded cohomology of quandles. The first condition involves a subspace of homogeneous group quasimorphisms on the inner automorphism group of the quandle, whereas the second condition concerns the vanishing of the stable commutator length on a subgroup of this inner automorphism group. As topological applications, we show that the second bounded cohomology of the quandle of any non-split link whose link group is non-solvable as well as the quandle of any split link, is infinite dimensional. From these results, we conclude that the second bounded cohomology of the knot quandle detects the unknot. On the algebraic side, we prove that the second bounded cohomology of a free product of quandles is infinite dimensional if the inner automorphism group of at least one of the free factors is amenable. This leads to the result that the second bounded cohomology of free quandles of rank greater than one, as well as their canonical quotients, is infinite dimensional.

math.GT↗

arXiv2024

Orderability of big mapping class groups

We give an alternate proof of the left-orderability of the mapping class group of a connected oriented infinite-type surface with a non-empty boundary. Our main strategy involves the inductive construction of a countable stable Alexander system for the surface using a carefully chosen exhaustion by finite-type subsurfaces. In fact, we prove that a generalised ideal arc system for the surface also induces a left-ordering on the big mapping class group. We then prove that two generalised ideal arc systems determine the same left-ordering if and only if they are loosely isotopic. Finally, we prove that the topology on the big mapping class group is the same as the order topology induced by a left-ordering corresponding to an inductively constructed ideal arc system.

math.GT↗

arXiv2024

Automorphisms, cohomology and extensions of symmetric quandles

It is well-known that the cohomology of symmetric quandles generates robust cocycle invariants for unoriented classical and surface links. Expanding on the recently introduced module-theoretic generalized cohomology for symmetric quandles, we derive a four-term exact sequence that relates 1-cocycles, second cohomology, and a specific group of automorphisms associated with the extensions of symmetric quandles. This exact sequence shows that the obstruction to lifting and extending automorphisms is found in the second symmetric quandle cohomology. Additionally, some general aspects of dynamical cocycles and extensions are discussed.

math.QA↗

arXiv2024

Generalised Legendrian racks of Legendrian links

A generalised Legendrian rack is a rack equipped with a Legendrian structure, which is a pair of maps encoding the information of Legendrian Reidemeister moves together with up and down cusps in the front diagram of an oriented Legendrian link. Employing a purely rack theoretic approach, we associate a generalised Legendrian rack (or a GL-rack) to an oriented Legendrian link, and prove that it is an invariant under Legendrian isotopy. As immediate applications, we prove that this invariant distinguishes infinitely many oriented Legendrian unknots and oriented Legendrian trefoils. To comprehend their algebraic structure, we prove that every GL-rack admits a homogeneous representation. Further, using the idea of trunks, we define modules over GL-racks, and prove the equivalence of the category of GL-rack modules and the category of Beck modules over a fixed GL-rack.

math.GT↗

arXiv2024

Generalized (co)homology of symmetric quandles over homogeneous Beck modules

A quandle equipped with a good involution is referred to as symmetric. It is known that the cohomology of symmetric quandles gives rise to strong cocycle invariants for classical and surface links, even when they are not necessarily oriented. In this paper, we introduce the category of symmetric quandle modules and prove that these modules completely determine the Beck modules in the category of symmetric quandles. Consequently, this establishes suitable coefficient objects for constructing appropriate (co)homology theories. We develop an extension theory of modules over symmetric quandles and propose a generalized (co)homology theory for symmetric quandles with coefficients in a homogeneous Beck module, which also recovers the symmetric quandle (co)homology developed by Kamada and Oshiro [Trans. Amer. Math. Soc. (2010)]. Our constructions also apply to symmetric racks. We conclude by establishing an explicit isomorphism between the second cohomology of a symmetric quandle and the first cohomology of its associated group.

math.QA↗

arXiv2024

Twisted Rokhlin property for mapping class groups

In this paper, generalising the idea of the Rokhlin property, we explore the concept of the twisted Rokhlin property of topological groups. A topological group is said to exhibit the twisted Rokhlin property if, for each automorphism $ϕ$ of the group, there exists a $ϕ$-twisted conjugacy class that is dense in the group. We provide a complete classification of connected orientable infinite-type surfaces without boundaries whose mapping class groups possess the twisted Rokhlin property. Additionally, we prove that the mapping class groups of the remaining surfaces do not admit any dense $ϕ$-twisted conjugacy class for any automorphism $ϕ$. This supplements the recent work of Lanier and Vlamis on the Rokhlin property of big mapping class groups. We also prove that the mapping class group of each connected orientable infinite-type surface without boundary possesses the $R_\infty$-property.

math.GT↗

arXiv2023

Brunnian planar braids and simplicial groups

Twin groups are planar analogues of Artin braid groups and play a crucial role in the Alexander-Markov correspondence for the isotopy classes of immersed circles on the 2-sphere without triple and higher intersections. These groups admit diagrammatic representations, leading to maps obtained by the addition and deletion of strands. This paper explores Brunnian twin groups, which are subgroups of twin groups composed of twins that become trivial when any of their strands are deleted. We establish that Brunnian twin groups consisting of more than two strands are free groups. Furthermore, we provide a necessary and sufficient condition for a Brunnian doodle on the 2-sphere to be the closure of a Brunnian twin. Additionally, we delve into two generalizations of Brunnian twins, namely, $k$-decomposable twins and Cohen twins, and prove some structural results about these groups. We also investigate a simplicial structure on pure twin groups that admits a simplicial homomorphism from Milnor's construction of the simplicial 2-sphere. This gives a possibility to provide a combinatorial description of homotopy groups of the 2-sphere in terms of pure twins.

math.GR↗

arXiv2023

Schur multiplier and Schur covers of relative Rota-Baxter groups

Relative Rota-Baxter groups are generalizations of Rota-Baxter groups and share a close connection with skew left braces. These structures are well-known for offering bijective non-degenerate set-theoretical solutions to the Yang-Baxter equation. This paper builds upon the recently introduced extension theory and low-dimensional cohomology of relative Rota-Baxter groups. We prove an analogue of the Hochschild-Serre exact sequence for central extensions of relative Rota-Baxter groups. We introduce the Schur multiplier $M_{RRB}(\mathcal{A})$ of a relative Rota-Baxter group $\mathcal{A} =(A,B,β,T)$, and prove that the exponent of $M_{RRB}(\mathcal{A})$ divides $|A||B|$ when $\mathcal{A}$ is finite. We define weak isoclinism of relative Rota-Baxter groups, introduce their Schur covers, and prove that any two Schur covers of a finite bijective relative Rota-Baxter group are weakly isoclinic. The results align with recent results of Letourmy and Vendramin for skew left braces.

math.QA↗

arXiv2023

Virtual planar braid groups and permutations

Twin groups and virtual twin groups are planar analogues of braid groups and virtual braid groups, respectively. These groups play the role of braid groups in the Alexander-Markov correspondence for the theory of stable isotopy classes of immersed circles on orientable surfaces. Motivated by the general idea of Artin and a recent work of Bellingeri and Paris \cite{BellingeriParis2020}, we obtain a complete description of homomorphisms between virtual twin groups and symmetric groups, which as an application gives us the precise structure of the automorphism group of the virtual twin group $VT_n$ on $n \ge 2$ strands. This is achieved by showing the existence of an irreducible right-angled Coxeter group $KT_n$ inside $VT_n$. As a by-product, it also follows that the twin group $T_n$ embeds inside the virtual twin group $VT_n$, which is an analogue of a similar result for braid groups.

math.GR↗

arXiv2023

Congruence subgroups and crystallographic quotients of small Coxeter groups

Small Coxeter groups are precisely the ones for which the Tits representation is integral, which makes the study of their congruence subgroups relevant. The symmetric group $S_n$ has three natural extensions, namely, the braid group $B_n$, the twin group $T_n$ and the triplet group $L_n$. The latter two groups are small Coxeter groups, and play the role of braid groups under the Alexander-Markov correspondence for appropriate knot theories, with their pure subgroups admitting suitable hyperplane arrangements as Eilenberg-MacLane spaces. In this paper, we prove that the congruence subgroup property fails for infinite small Coxeter groups which are not virtually abelian. As an application, we deduce that the congruence subgroup property fails for both $T_n$ and $L_n$ when $n \ge 4$. We also determine subquotients of principal congruence subgroups of $T_n$, and identify the pure twin group $PT_n$ and the pure triplet group $PL_n$ with suitable principal congruence subgroups. Further, we investigate crystallographic quotients of these two families of small Coxeter groups, and prove that $T_n /PT_n^{'}$, $T_n/T_n^{''}$ and $L_n /PL_n^{'}$ are crystallographic groups. We also determine crystallographic dimensions of these groups and identify the holonomy representation of $T_n/T_n^{''}$.

math.GR↗

arXiv2023

Cohomology and Extensions of Relative Rota-Baxter groups

Relative Rota-Baxter groups are generalisations of Rota-Baxter groups and recently shown to be intimately related to skew left braces, which are well-known to yield bijective non-degenerate solutions to the Yang-Baxter equation. In this paper, we develop an extension theory of relative Rota-Baxter groups and introduce their low dimensional cohomology groups, which are distinct from the ones known in the context of Rota-Baxter operators on Lie groups. We establish an explicit bijection between the set of equivalence classes of extensions of relative Rota-Baxter groups and their second cohomology. Further, we delve into the connections between this cohomology and the cohomology of associated skew left braces. We prove that for bijective relative Rota-Baxter groups, the two cohomologies are isomorphic in dimension two.

math.QA↗

arXiv2023

Relative Rota-Baxter groups and skew left braces

Relative Rota-Baxter groups are generalisations of Rota-Baxter groups and introduced recently in the context of Lie groups. In this paper, we explore connections of relative Rota-Baxter groups with skew left braces, which are well-known to give non-degenerate set-theoretic solutions of the Yang-Baxter equation. We prove that every relative Rota-Baxter group gives rise to a skew left brace, and conversely, every skew left brace arises from a relative Rota-Baxter group. It turns out that there is an isomorphism between the two categories under some mild restrictions. We propose an efficient GAP algorithm, which would enable the computation of relative Rota-Baxter operators on finite groups. In the end, we introduce the notion of isoclinism of relative Rota-Baxter groups and prove that an isoclinism of these objects induces an isoclinism of corresponding skew left braces.

math.QA↗