https://arxiv.org/api/eM+X2HZ6PJkH9OwBIMcJPtTsR2E 2026-04-03T08:32:34Z 25278 195 15 http://arxiv.org/abs/2603.14338v1 2026-03-15T12:12:30Z

We prove that any finite subgroup $G \subset Γ_{\boldsymbol{s}}$ of the cluster modular group has fixed points in the cluster manifolds $\mathcal{A}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ and $\mathcal{X}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ under a certain condition. This generalizes Kerckhoff's Nielsen realization theorem [Ker83] for the mapping class group action on the Teichmüller space. The condition holds whenever $Γ_{\boldsymbol{s}}$ admits a cluster DT transformation, and it can be also verified for all finite mutation types except for $X_7$. Our proof closely follows Kerckhoff's argument, based on the convexity of log-cluster variables.

2026-03-15T12:12:30Z 22 pages, 2 figures Tsukasa Ishibashi http://arxiv.org/abs/2603.14268v1 2026-03-15T08:01:20Z

Let $G$ be finite group. A subgroup $H$ of $G$ is said to be an $SS$-quasinormal subgroup of $G$, if there exists a subgroup $B$ of $G$ such that $G = HB$ and $H$ permutes with every Sylow subgroup of $B$. Let $Ω: G=G_0>G_1>\cdots>G_{n-1}>G_n=1$ be a maximal subgroup series of $G$, where $G_i$ is a maximal subgroup of $G_{i-1}$ for every $i = 1, \ldots , n$. In this paper, we investigate the finite groups $G$ that admit an $SS$-quasinormal maximal subgroup series, i.e., all $G_i$ are $SS$-quasinormal in $G$. First, we prove that if $G$ possesses an $SS$-quasinormal maximal subgroup series, then $G$ is solvable. Furthermore, we show that $G$ is supersolvable if and only if $G$ possesses an $SS$-quasinormal maximal subgroup series which is subnormal in $G$.

2026-03-15T08:01:20Z 7pages Wei Meng Jiakuan Lu http://arxiv.org/abs/2503.23435v2 2026-03-14T19:19:09Z

Gottschalk's surjunctivity conjecture for a group $G$ states that it is impossible for cellular automata (CA) over the universe $G$ with finite alphabet to produce strict embeddings of the full shift into itself. A group universe $G$ satisfying Gottschalk's surjunctivity conjecture is called a surjunctive group. The surjunctivity theorem of Gromov and Weiss shows that every sofic group is surjunctive. In this paper, we study the surjunctivity of local perturbations of CA and more generally of non-uniform cellular automata (NUCA) with finite memory and uniformly bounded singularity over surjunctive group universes. In particular, we show that such a NUCA must be invertible whenever it is reversible. We also obtain similar results which extend to the class of NUCA a certain dual-surjunctivity theorem of Capobianco, Kari, and Taati for CA.

2025-03-30T13:26:52Z Xuan Kien Phung http://arxiv.org/abs/2603.13939v1 2026-03-14T13:18:11Z

Motivated by an application of semigroup variants to the discrete log problem in groups and related cryptographic applications, we introduce a new kind of totient function, related to both Euler's function and a generalisation of Euler's function introduced in 1869 by Schemmel. We focus on the problem of how to evaluate this function, and the number theory involved, while non-trivial and at times slightly technical, is reasonably accessible to a wide audience. It should also become clear that there are obvious generalisations of his new function that the interested reader might like to pursue.

2026-03-14T13:18:11Z James Renshaw http://arxiv.org/abs/2511.03505v3 2026-03-14T13:12:37Z

Let $p$ and $n$ be positive integers. Assume additionally that $p\neq 3$ is a prime and that $n>2$. Let $R$ be a field of characteristic $p$. A very special consequence of a result of Bunina and Kunyavskii (2023, arXiv:2308.10076) is that $SL_{n}(R)$ is co-Hopfian as a group if and only if $R$ is co-Hopfian as a ring. In this paper, we prove that if $k$ is the algebraic closure of the $2$ element field, then $SL_{2}(k)$ is a co-Hopfian group. Since this $k$ is trivially seen to be co-Hopfian as a ring our result somewhat extends that of Bunina and Kunyavskii. We apply our result to prove that the class of groups satisfying Turner's Retract Theorem (called Turner groups here) is not closed under elementary equivalence thereby answering a question posed by the authors in (2017, Comm. Algebra).

2025-11-05T14:37:33Z 9 pages. Published in the journal of Groups, Complexity, Cryptology journal of Groups, complexity, cryptology, Volume 17, Issue 2 (December 4, 2025) gcc:16875 Anthony M. Gaglione Dennis Spellman 10.46298/jgcc.2025.17.2.16875 http://arxiv.org/abs/2603.13936v1 2026-03-14T13:07:31Z

We consider reduced group $C^{\ast}$-algebras of finitely generated discrete groups metrized by seminorms obtained from word length functions. We study the metric dimensions of such $C^{\ast}$-algebras as defined by David Kerr. We also study the entropy of the automorphisms of group $C^{\ast}$-algebras induced by the automorphisms of the underlying groups. Both the metric dimension and entropy are related to the growth of the groups. We exhibit a class of examples of virtually abelian finitely generated discrete groups $Γ$ and automorphisms $ψ$ of $Γ$ such that $ψ$ has non-zero finite product entropy in the sense of David Kerr.

2026-03-14T13:07:31Z 20 pages Arnab Chattopadhyay Soumalya Joardar http://arxiv.org/abs/2002.01016v2 2026-03-14T07:10:47Z

We introduce a complete set of combinatorial data that encode the category $2\mathfrak{Cob}$ of all $2$-cobordisms. As an application, we show that the local monoids of $2\mathfrak{Cob}$ do not have finitely axiomatizable equational theories. As yet another application, we construct a von-Neumann-regular extension of this category. Similar results are provided for the topological annular category and various quotients of the latter, like the affine Temperley--Lieb category.

2020-02-03T21:06:36Z Version 2 is radically reworked and substantially extended and should therefore be considered essentially a new paper. 95 pages, 13 numbered figures and many unnumbered illustrations, 1 table Karl Auinger Mikhail Volkov http://arxiv.org/abs/2506.23047v2 2026-03-14T00:58:21Z

In this paper, we focus on the variety $\mathbf{NF}_3$ generated by all flat semirings with $3$-nilpotent multiplicative reducts. By introducing graph semirings, we characterize all subdirectly irreducible members of $\mathbf{NF}_3$. We prove that the variety $\mathbf{NF}_3$ has uncountably many subvarieties and show that every finitely generated subvariety of $\mathbf{NF}_3$ is a Cross variety. Moreover, we demonstrate that $\mathbf{NF}_3$ has a unique limit subvariety, which is generated by all acyclic graph semirings.

2025-06-29T00:58:07Z Zidong Gao Miaomiao Ren http://arxiv.org/abs/2409.09527v3 2026-03-13T23:58:42Z

We introduce the extension graph of graph product of groups and study its geometry. This enables us to study properties of graph product by exploiting large scale geometry of its defining graph. In particular, we show that the extension graph is isomorphic to the crossing graph of a canonical quasi-median graph and exhibits the same phenomenon about asymptotic dimension as quasi-trees of metric spaces studied by Bestvina-Bromberg-Fujiwara. As an application of the extension graph, we prove relative hyperbolicity of graph-wreath product. This provides a new construction of relatively hyperbolic groups.

2024-09-14T20:49:17Z To appear in Algebraic & Geometric Topology Koichi Oyakawa http://arxiv.org/abs/2603.13096v1 2026-03-13T15:45:39Z

In this paper we obtain explicit linear upper bounds for the virtually cyclic dimension of normally poly-surface and normally poly-free groups. Our approach is based on a structural study of the balanced property (Lück's Condition~C), which provides structural control over commensurators of virtually cyclic subgroups. We prove general stability results showing that the balanced property is preserved under suitable short exact sequences, direct limits, and acylindrical graph of groups decompositions. As applications, we establish that normally poly-hyperbolic groups, normally poly-free groups, and normally poly-surface groups are balanced. These classes include, in particular, pure braid groups of surfaces with non-empty boundary, Artin groups of FC-type, right-angled Artin groups, and fundamental groups of mapping tori of surface homeomorphisms.

2026-03-13T15:45:39Z 21 pages Jesús Hernández Hernández Porfirio Leandro León Álvarez http://arxiv.org/abs/2510.12591v2 2026-03-13T14:07:37Z

Recently, Korkmaz established the lower bound of $3g - 2$ for the dimension of a faithful representation of the mapping class group of an orientable surface of genus $g \ge 3$. We raise this bound to $4g - 3$ in the setting of surfaces of genus $g \ge 7$. A new ingredient is a finer study of the commutation relations in $\operatorname{PMod}(Σ)$. We use the relations arising from a certain pants decomposition of $Σ_g$ to show that any representation of dimension $\le 4g - 4$ is forced to kill a natural subgroup of the Torelli group. We also establish lower bounds for the dimension of faithful representations of related groups: the Johnson group of a closed surface, arbitrarily low terms of the Johnson filtration of a compact surface with one boundary component, and pure braid groups. These lower bounds grow linearly on the genus of the surfaces and the number of strands of the braids. Finally, we also provide some evidence that greater lower bounds for the low-genus cases should lead to improved lower bounds for $g \gg 0$.

2025-10-14T14:45:04Z 18 pages, 7 figures. Incorporated feedback from referees and colleagues: made the exposition clearer. Accepted for publication in Transactions of the AMS Thiago Brevidelli http://arxiv.org/abs/2408.03766v3 2026-03-13T09:25:41Z

In this paper, we explore linear representations of skew left braces, which are known to provide bijective non-degenerate set-theoretical solutions to the Yang--Baxter equation that are not necessarily involutive. A skew left brace $(A, \cdot, \circ)$ induces an action $λ^{\op}: (A, \circ) \to \Aut (A, \cdot)$, which gives rise to the group $Λ_{A^{\op}} = (A, \cdot) \rtimes_{λ^{\op}} (A, \circ)$. We prove that if $A$ and $B$ are isoclinic skew left braces, then $Λ_{A^{\op}}$ and $Λ_{B^{\op}}$ are also isoclinic under some mild restrictions on the centers of the respective groups. Our key observation is that there is a one-to-one correspondence between the set of equivalence classes of irreducible representations of $(A, \cdot, \circ)$ and that of the group $Λ_{A^{\op}}$. We obtain a decomposition of the induced representation of the additive group $(A, \cdot)$ and of the multiplicative group $(A, \circ)$ corresponding to the regular representation of the group $Λ_{A^{\op}}$. As examples, we compute the dimensions of the irreducible representations for several skew left braces with prime power orders.

2024-08-07T13:36:17Z 17 pages, added Proposition 3.3: Proof that if $A$ is any skew left brace, then $Λ_{A}$ and $Λ_{A^{\op}}$ are isomorphic groups Nishant Rathee Ayush Udeep http://arxiv.org/abs/2507.14551v2 2026-03-13T05:29:03Z

L. Kauffman (2024) introduced multi-virtual and symmetric multi-virtual braid groups, which are generalizations of the virtual braid group. We introduce multi-virtual pure and multi-virtual semi-pure braid groups, which are normal subgroups of index $n!$. We give a set of generators and defining relations for these groups, show that multi-virtual (symmetric multi-virtual) braid group is a semi-direct products of multi-virtual pure (symmetric multi-virtual pure) braid group and symmetric group. Also, we introduce multi-welded and multi-unrestricted braid groups and examines structure of three-strand 2-virtual braid group and some its subgroups and quotients. The paper concludes by outlining open problems and suggesting avenues for future research in this area.

2025-07-19T09:13:40Z 23 pages, 12 figures Valeriy G. Bardakov Tatyana A. Kozlovskaya Komal Negi Madeti Prabhakar http://arxiv.org/abs/2603.12428v1 2026-03-12T20:23:18Z

We show that every finite-dimensional pointed Hopf algebra over a finite simple Chevalley group, different from $PSL_2(q)$ with q= 3 mod 4 (and from $PSL_3(2)\simeq PSL_2(7)$), is isomorphic to the corresponding group algebra. To do this, we complete the analysis of the Nichols algebras of Yetter-Drinfeld modules over such groups whose support is a semisimple orbit, begun in arXiv:1506.06794, arXiv:2301.03361. In addition to the techniques used in loc. cit., we introduce a general procedure to determine when a semisimple conjugacy class in a Chevalley or Steinberg group is of type C and a new criterion based on the results of arXiv:2411.02304 that applies to arbitrary racks. Throughout the process, we obtain results on Nichols algebras over racks beyond the framework of Chevalley groups.

2026-03-12T20:23:18Z 80 pages Nicolás Andruskiewitsch Giovanna Carnovale http://arxiv.org/abs/2603.12425v1 2026-03-12T20:17:09Z

For regular continued fractions (CFs), points with finite expansions are exactly the rationals and, by Lagrange's theorem, points with eventually-periodic expansions are exactly the roots of non-degenerate quadratic equations with integer coefficients. We extend both results to proper and discrete Iwasawa CFs, including real, complex, 3D, quaternionic, octonionic, and Heisenberg CFs. Namely, the following three conditions are equivalent for a point $p$: $p$ has a finite expansion, $p\in \mathcal M(\infty)$ for the appropriate modular group $\mathcal M$, and $p$ is a fixed point of a parabolic transformation in $\mathcal M$. Eventually-periodic points correspond exactly to fixed points of loxodromic elements of $\mathcal M$, which can be interpreted as roots of non-degenerate quadratics using the Clifford Algebra formalism of Ahlfors. In particular, this provides a new geometric proof of Lagrange's theorem for nearest-integer real CFs and Hurwitz complex CFs. Lastly, we comment on generalizations of the identity $i+1/i=0$.

2026-03-12T20:17:09Z 20 pages, 1 figure Anton Lukyanenko Joseph Vandehey