https://arxiv.org/api/QSYGqTwzaBNtt2xPs0lv6eWns/o 2026-03-22T10:29:38Z 25194 45 15 http://arxiv.org/abs/2601.01276v2 2026-03-16T10:53:54Z

Let $\mathbb{R}^{2,2}$ denote the model space of flat pseudo-Riemannian manifolds of signature $(2,2)$. We prove that the only domain divisible by a discrete subgroup of the isometry group of $\mathbb{R}^{2,2}$ is $\mathbb{R}^{2,2}$ itself. In the Kleinian setting, this provides the first completeness theorem of closed flat pseudo-Riemannian manifolds beyond the Euclidean and Lorentzian cases. Along the proof, we show two results of independent interest. The first is a geometric reduction for certain divisible domains of affine space. The second concerns the existence of syndetic hulls in semidirect products $R \ltimes G$, where $G$ is a homothety Lie group. This construction generalizes earlier constructions in affine geometry due to Carrière and Dal'bo.

2026-01-03T20:19:22Z 37 pages. Main changes from v1: Proposition B updated; Corollary 3.7 added Farid Diaf Blandine Galiay Malek Hanounah http://arxiv.org/abs/2412.05229v4 2026-03-16T09:30:32Z

Any profinite isomorphism between two cusped finite-volume hyperbolic 3-manifolds carries profinite isomorphisms between their Dehn fillings. With this observation, we prove that some cusped finite-volume hyperbolic 3-manifolds are profinitely rigid among all compact, orientable 3-manifolds, through detecting their exceptional Dehn fillings. In addition, we improved a criteria for profinite rigidity of a hyperbolic knot complement or a hyperbolic-type satellite knot complement among compact, orientable 3-manifolds, through examining its characterising slopes. We obtain the following profinitely rigid examples: the complement of the Whitehead link, Whitehead sister link, $\frac{3}{10}$ two-bridge link; specific surgeries on one component of these links; the complement of (full) twist knots $\mathcal{K}_n$, Eudave-Muñoz knots $K(3,1,n,0)$, Pretzel knots $P(-3,3,2n+1)$, $5_2$ knot; the Berge manifold, and many more.

2024-12-06T17:59:31Z 34 pages, 11 figures; revised according to the referee's suggestions Xiaoyu Xu http://arxiv.org/abs/2512.19645v3 2026-03-16T02:35:44Z

Given a group $G = H_1 \ast_A H_2$ which is the free product of two finitely generated groups $H_1$ and $H_2$ with amalgamation over a cyclic subgroup $A$ which is malnormal in $G$, we study relations between the structure of its subgroups and the structure of the group $G$ itself. Firstly, we show that if $H_1$ and $H_2$ are 3-free products of cyclics of rank $\ge 3$ then $G$ is also a 3-free product of cyclics. Secondly, we prove that if $H_1$ and $H_2$ are 4-free products of cyclics of rank $\ge 4$ then every 4-generated subgroup of $G$ is a free product of $\le 4$ cyclics or a 1-relator quotient of a free product of four cyclic groups. Here a group is called an $n$-free product of cyclics if every $n$-generated subgroup is a free product of $\le n$ cyclic groups. These results are based on ubiquitous applications of the Nielsen method for amalgamated free products which we recall carefully. Lastly, given an infinite, finitely presented group which is not free, but all of its infinite index subgroups are free, a well-known conjecture says that it is isomorphic to a surface group. We revisit and elaborate on predominantly group theoretic proofs of this conjecture for cyclically amalgamated products as above, as well as for certain HNN extensions.

2025-12-22T18:17:56Z Published in the journal of Groups, Complexity, Cryptology journal of Groups, complexity, cryptology, Volume 18, Issue 1, Special issue in honour of Alexei Miasnikov (March 17, 2026) gcc:17174 Martin Kreuzer Anja Moldenhauer Gerhard Rosenberger 10.46298/jgcc.2026.18.1.17174 http://arxiv.org/abs/2603.14599v1 2026-03-15T20:46:03Z

We prove the continuity of asymptotic entropy, as a function of the step distribution, among non-degenerate probability measures with finite Shannon entropy on the free solvable group $S_{d,m}$ of rank $d\ge 3$ and derived length $m\ge 2$.

2026-03-15T20:46:03Z 16 pages Eduardo Silva http://arxiv.org/abs/2105.14129v3 2026-03-15T19:58:17Z

Following Lazard, we study the $N$-series of a group $G$ and their associated graded Lie algebras. The main examples we consider are the lower central series (LCS), Stallings' rational and mod-$q$ versions, and Zassenhaus' mod-$p$ version of the LCS. We treat them as part of a general construction of the $\mathcal P$-LCS, for a property $\mathcal P$ of filtrations. We describe these $N$-series and the associated Lie algebras in the case when $G$ splits as a semi-direct product, in terms of the relevant data for the factors and the monodromy action. This allows us to generalize the well-known theorem of Falk-Randell regarding the LCS of split extensions to other versions of the LCS. In particular, we generalize the mod-$q$ version of Bellingeri-Gervais to any integer $q$, and we prove analogous results for the rational LCS and Zassenhaus' mod-$p$ LCS. We then use the same tools to study residual properties of semi-direct products, and how they interact with residual properties of the factors. We also give a new proof of a classical theorem of Gruenberg. Finally, we apply our results to surface braid groups, which naturally split as semi-direct products, allowing us to recover and generalize known results about the residual nilpotency of groups of pure braids on surfaces.

2021-05-28T22:34:27Z 66 pages; greatly expanded, with a co-author added Jacques Darné Alexander I. Suciu http://arxiv.org/abs/2603.14556v1 2026-03-15T19:06:56Z

We show that all residually finite generalized Baumslag-Solitar groups of rank $n \geq 1$, defined on a finite and connected graph, are self-similar. Furthermore we prove that all residually finite fundamental groups of (finite, connected) graph of groups where all vertex and edge groups are torsion-free and commensurable with the Heisenberg group and all edge groups properly embed in the corresponding vertex groups are self-similar.

2026-03-15T19:06:56Z Dessislava H. Kochloukova http://arxiv.org/abs/2510.25041v2 2026-03-15T17:43:11Z

Let $U$ be a set of positive roots of type $ADE$, and let $Ω_U$ be the set of all maximum-cardinality orthogonal subsets of $U$. For each element $R \in Ω_U$, we define a generalized Rothe diagram whose cardinality we call the level, $ρ(R)$, of $R$. We define the generalized quantum Hafnian of $U$ to be the generating function for $ρ$, regarded as a $q$-polynomial in $U$. In this paper, we study a large number of examples of sets of the form $Ω_U$, and we explore their connections with a variety of widely studied algebraic and combinatorial objects. One of our motivating examples involves a certain set of $k^2$ roots in type $D_{2k}$, where the elements of $Ω_U$ can be identified with permutations in $S_k$, the generalized Rothe diagrams are the traditional Rothe diagrams associated to permutations, and the generalized quantum Hafnian is the $q$-permanent. More generally, all our examples in types $A$ and $D$ are closely related to perfect matchings and rook configurations, and our examples in type $E$ have applications to del Pezzo surfaces and labellings of Fano planes. Each of our examples also gives rise to a matroid, and a large family of our examples is in a natural correspondence with the equal-rank simply-laced symmetric pairs.

2025-10-29T00:01:14Z Section 4 has been rewritten to include material on symmetric spaces and binary matroids. Some terminology and notation have been improved. 34 pages, 6 figures, 3 tables R. M. Green Tianyuan Xu http://arxiv.org/abs/2002.07369v2 2026-03-15T14:55:48Z

The author is mainly interest in the Gröbner-Shirshov bases of finite Coxeter groups. It is known that the finite Coxeter groups are classified in terms of Coxeter-Dynkin diagrams. Under the fixed order, it is worth mention that the presentation of group determines the Gröbner-Shirshov bases of group. In this paper, the author rearranges the generators, marks them on Coxeter-Dynkin diagrams, and gets a simple presentation of the Gröbner-Shirshov bases for Coxeter groups of types $G_2, F_4, E_6$ and $E_7$. This article also gives the Gröbner-Shirshov basis of Coxeter group of type $E_8$.

2020-02-18T04:42:52Z 4 figures Xiaowei Pang Jun Wang http://arxiv.org/abs/2603.14359v1 2026-03-15T12:51:41Z

It is shown that finitely presented icc inner amenable groups yield strongly 1-bounded II_1 factors.

2026-03-15T12:51:41Z 3 pages, comments welcome Ben Hayes Srivatsav Kunnawalkam Elayavalli 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