https://arxiv.org/api/+CZsGhTJcKve/GiX8TeZUv80El8 2026-07-25T14:56:28Z 25936 270 15 http://arxiv.org/abs/2501.12509v2 2026-06-29T23:14:34Z

We undertake a systematic investigation of compact aspherical manifolds with boundary; motivated by the plethora of examples in the bounded case and by the beauty of the theory in the closed case. Our main theorems give a homological criterion for when a closed manifold, together with maps from the fundamental groups of its components to a fixed group, can be realized as the boundary of a compact aspherical manifold. This is done in two steps: we first produce a Poincaré pair and then apply surgery theory to obtain a manifold. We illustrate this in the case of abelian fundamental group. The results of this paper will be applied in a sequel where we classify compact aspherical 4-manifolds with elementary amenable fundamental group.

2025-01-21T21:41:34Z New title. Added Conjecture B, which gives a homological criterion for the homotopy type of a compact aspherical manifold (which is the main theme of the paper). Added details for the proof of Theorem C. Generalized Theorem E from homotopy tori to homotopy K(G,1)s with G a duality group, for example, a homotopy figure eight; 33 pages James F. Davis J. A. Hillman http://arxiv.org/abs/2309.00977v4 2026-06-29T19:55:46Z

We improve the central stability ranges for H2(Torelli subgroup of Aut(Fn)'s) as GL_n(Z)-representations, H2(Torelli subgroup of mapping class groups) as Sp_2g(Z)-representations, Hk(congruence subgroups of GL_n(R)'s) as SL_n^U(R/I)-representations.

2023-09-02T16:26:14Z 94 pages Cihan Bahran http://arxiv.org/abs/2509.01578v2 2026-06-29T18:06:37Z

This paper introduces Hom-heaps, Hom-trusses, and Hom-braces as Hom-type analogues of their classical counterparts. We establish the correspondence between Hom-heaps and Hom-groups by showing that the retract of a Hom-heap at a point forms a Hom-group precisely when the point is fixed by the twisting map, and prove that translation maps induce isomorphisms between Hom-group retracts at different fixed base points. We introduce three equivalent notions of Hom-trusses and investigate their structural properties. We also propose three variants of Hom-braces and establish their correspondence with Hom-trusses, showing that certain Hom-trusses naturally give rise to Hom-braces and conversely. These results provide a unified framework extending heap and truss theory to the Hom-algebraic setting, with potential applications to the Yang--Baxter equation and non-associative geometry.

2025-09-01T16:06:24Z 30 pages Tarik Anowar Ripan Saha Sayan Thokdar http://arxiv.org/abs/2606.30558v1 2026-06-29T16:55:11Z

We generalize to certain families of even Artin groups several classical results on right-angled Artin groups. In particular, we compute the cohomology ring, describe the pro-$p$ completion, and determine the $p$-Zassenhaus restricted Lie algebra in the FC case. As a by-product, we prove a rigidity result that implies that if two even Artin groups of FC type are isomorphic, then for every prime $p$, the $p$-parts of their defining graphs are isomorphic.

2026-06-29T16:55:11Z 20 pages Marcos Escartín Ferrer Giorgio Leoni Conchita Martínez Pérez http://arxiv.org/abs/2606.30506v1 2026-06-29T16:12:56Z

Let $G$ be a finite group with $|G|=p^m$ where $p$ is a prime and $m$ is a positive integer. Let $k<p$. Let $a_1,\ldots,a_k\in G$ be pairwise distinct and let $b_1,\ldots,b_k\in G$. Then there exists a permutation $σ$ on $1,\ldots,k$ such that $a_1b_{σ(1)},\ldots,a_kb_{σ(k)}$ are pairwise distinct. This extends a theorem of Feng, Sun and Xiang, who proved that the conclusion holds in abelian $p$-groups.

2026-06-29T16:12:56Z Zhi-Wei Sun Lilu Zhao http://arxiv.org/abs/2606.11461v2 2026-06-29T16:02:33Z

Let $G$ be the group of power series $x+a_2x^2+a_3x^3+\cdots\in R[[x]]$ under substitution, where $R$ is a commutative ring with $1\neq 0$ of prime characteristic $p$. Given any $n\geq 1$, the subgroup $K_n=\{x+a_{n+1}x^{n+1}+a_{n+2}x^{n+2}+\cdots\,|\, a_i\in R\}$ is normal in $G$, and the quotient $G_n=G/K_n$ is the group of truncated polynomials over $R$ of degree $\leq n$ under substitution. In this paper, we compute the exponent of the image of $K_r$ in $G_n$, for all $r,n\geq 1$, indicating in every case a family of elements realizing this exponent.

2026-06-09T21:31:04Z Agustín D'Alessandro Fernando Szechtman http://arxiv.org/abs/2509.21139v3 2026-06-29T15:21:33Z

Let $\mathcal{L}$ be a centric linking system associated to a saturated fusion system on a finite $p$-group $S$. An automorphism of $\mathcal{L}$ is said to be rigid if it restricts to the identity on the fusion system. An inner rigid automorphism is conjugation by some element of the center of $S$. If $\mathcal{L}$ is the centric linking system of a finite group $G$, then rigid automorphisms of $\mathcal{L}$ are closely related to automorphisms of $G$ that centralize $S$. For odd primes, all rigid automorphisms are known to be inner, but this fails for the prime 2. We determine which known quasisimple linking systems at the prime 2 have a noninner rigid automorphism. Based on previous results, this reduces to handling the case of the linking systems at the prime 2 of finite simple groups of Lie type in odd characteristic. These have no noninner rigid automorphisms with two families of exceptions: the 2-dimensional projective special linear groups and even-dimensional orthogonal groups for quadratic forms of nonsquare discriminant.

2025-09-25T13:27:59Z Jonathon Villareal http://arxiv.org/abs/2606.30434v1 2026-06-29T15:11:56Z

We construct a simple and useful sufficient condition, based on actions on a lattice of idempotents, for monoids admitting homomorphisms to the monogenic free inverse monoid $\mathrm{FIM}(1)$ to not be of type $\mathrm{FP}_2$. This recovers a result of Gray and Steinberg that free inverse monoids are not of type $\mathrm{FP}_2$. The same technique is then used to show that a finitely generated submonoid of $\mathrm{FIM}(1)$ is of type $\mathrm{FP}_2$ if and only if it is finitely presented, answering a question of Cho & Ruškuc.

2026-06-29T15:11:56Z 6 pages. Comments welcome! Carl-Fredrik Nyberg-Brodda http://arxiv.org/abs/2606.22271v2 2026-06-29T14:50:54Z

A continuous action $\mathbb{G}\circlearrowright X$ of a topological group is principal if its isotropy groups are all conjugate to $\mathbb{H}\le \mathbb{G}$ and the quotient map $X\to X/\mathbb{G}$ is a locally trivial $\mathbb{G}/\mathbb{H}$-fiber bundle. We prove that compact groups whose identity component has metrizable abelianization are Lie provided their free actions on Tychonoff (equivalently, compact Hausdorff) spaces are all principal; this is a converse to Gleason's theorem. A variant confirms the conclusion for Tychonoff or compact Hausdorff actions with constant central isotropy by compact connected groups.

2026-06-20T23:42:29Z v2 rearranges some of the material; 8 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2606.27053v2 2026-06-29T10:24:48Z

A.R. Camina and R.D. Camina posed in [CC06] the following question: Suppose there are two finite groups, one nilpotent and the other non-nilpotent, and the two groups share identical sets of conjugacy class sizes; must the non-nilpotent group possess a non-trivial center? Recently, W. Zhou [Zho25] gave a negative answer via a subtle and elegant construction of concrete counterexamples. Nevertheless, his approach relies on the existence of Sophie Germain primes, and thus fails to yield infinitely many counterexamples unconditionally. In the present paper, we construct an infinite family of counterexamples to Camina's question.

2026-06-25T13:59:34Z Yu Zeng http://arxiv.org/abs/2606.05313v2 2026-06-29T09:05:27Z

A cataclysm deformation, that shears and twists a given Anosov representation according to data known as a twisted transverse cocycle, is an intuitive and powerful tool for studying Anosov representations. We show that if a sequence of twisted measured laminations converges weakly, the sequence of corresponding cataclysm deformations on the space of Anosov representations converges uniformly on compact sets. This result leads to two applications. First, we obtain an extension of the Goldman product formula. Second, we consider strongly dense representations, introduced by Breuillard--Green--Guralnick--Tao and Long--Reid. Using cataclysm deformations, we show that, for a split real form $\mathsf{G}$ whose Weyl group contains $-1$, the set of strongly dense $\mathsf{G}$-Hitchin representations is not open in the $\mathsf{G}$-Hitchin component.

2026-06-03T18:04:51Z 43 pages. Main Theorem 1.1 (Theorem 4.5) has been modified Hongtaek Jung http://arxiv.org/abs/2606.29958v1 2026-06-29T08:35:57Z

For cellular automata over finite alphabets, bijectivity already implies reversibility. Over infinite alphabets this implication may fail, and the remaining obstruction in the periodic case was recorded by Ceccherini-Silberstein and Coornaert as Open Problem 2 in \emph{Cellular Automata and Groups}. We prove an exact group-theoretic characterization. A group $G$ is locally finite if and only if, over every alphabet, every bijective cellular automaton $A^G\to A^G$ is reversible. Equivalently, if $G$ is not locally finite, then for every infinite alphabet $A$ there exists a bijective cellular automaton $A^G\to A^G$ whose inverse is not a cellular automaton. The counterexample is already obtained on a countable alphabet. Its local rule has a rank track, a direction track and a binary data track; the forward map is triangular along finite directed chains of arbitrary length, so its inverse is defined pointwise but has no uniform finite memory. As a consequence, Open Problem 2 has an affirmative answer, and the periodicity hypothesis is unnecessary for the negative direction.

2026-06-29T08:35:57Z Jiang Yang http://arxiv.org/abs/2606.29866v1 2026-06-29T07:01:44Z

We prove that an arbitrary finite group $G$ having the same order and same set of conjugacy class sizes as an alternating or symmetric group $S$ must be isomorphic to $S$. From this and previously known results it follows that the same holds true for every simple group $S$.

2026-06-29T07:01:44Z Ilya Gorshkov Andrey V. Vasil'ev http://arxiv.org/abs/2606.29768v1 2026-06-29T04:21:10Z

A classical theorem of Frucht states that every finite group occurs as the automorphism group of a finite graph. We prove an embedded analogue for regular graphs of arbitrary degree. In particular, we show that for every $d\geq 3$ and every finite group $G$, there exists a $d$-regular graph $Γ$ with a strong embedding $β$ such that $\mathrm{Aut}(Γ) \cong \mathrm{Aut}(β(Γ)) \cong G.$ Further, we prove that for every such $d$ and $G$ there exists a sequence of $d$-regular graphs with corresponding strong embeddings whose genera form an unbounded sequence and whose automorphism groups are isomorphic to $G$. Along the way, we identify an oversight in Sabidussi's classical construction of regular graphs with prescribed automorphism group. We give an alternative construction that corrects this issue and strengthens Sabidussi's result by producing an automorphism group-invariant proper $d$-edge-colouring.

2026-06-29T04:21:10Z Reymond Akpanya Tom Goertzen Meike Weiß http://arxiv.org/abs/2606.29641v1 2026-06-28T23:15:55Z

We classify all skew left braces with additive group isomorphic to the infinite dihedral group. There are ten isomorphism classes.

2026-06-28T23:15:55Z 12 pages Akihide Hanaki Yuto Sakata Hiroki Yoshino