Which Wallpaper Groups Arise from Tiled Games?

2026-07-12T03:44:20Z

Which discrete symmetry groups can arise from strategic interaction? We tile the plane with copies of a bimatrix game's support complex, joined by controlled boundary rules, and show that all seventeen wallpaper groups act on the resulting covers: explicit generators, each a machine-verified graph automorphism, every realization certified as the exact toroidal quotient, with types identified by a crystallographic recognizer in exact rational arithmetic and cross-validated in GAP. A three-line lemma turns the classical symmorphic/non-symmorphic distinction into a lattice classification: realizations whose translations contain the full tile lattice exist precisely for the thirteen symmorphic groups, and the four non-symmorphic groups are realized at translation-lattice index exactly two, the minimum possible: the tile is the glide's half-step. Two computational tracks accompany the construction. On the graph track, quotienting a straight cover by its translations recovers the tile exactly, $\beq(M/\calT)=\beq(K)$, and swap boundaries add exactly $\binom m2$, independent of payoffs and of cover size. On the game track, detecting a duplicated-strategy cover is a linear-time payoff scan, one tile solution folds to a full translation orbit of cover equilibria, and the tiled correlated-equilibrium system has dimension exactly $r(d-q)+q$, with expansion impossible. The polymatrix cover then carries the symmetry outright: every wallpaper action, glides included, is a group of genuine game automorphisms, equilibria collapse along any symmetry subgroup to a folded fixed-point problem, and a decorated refinement has game automorphism group exactly the toroidal wallpaper group.

A note on left semibraces

2026-07-11T11:48:43Z

A triple $(S, +, \cdot)$ is called a {\em left semibrace} if $(S, +)$ is a semigroup, $(S, \cdot)$ is a group and $x(y+z)=(xy)+(x(x^{-1}+z))$ for all $x, y, z\in S$, where $x^{-1}$ is the inverse of $x$ in the group $(S, \cdot)$. In this note, we show that $(S,+)$ is always a rectangular group in this case, i.e., it is isomorphic to the direct product of a group and a rectangular band, and obtain a structure theorem for general left semibraces by the generalized matched products of right zero left semibraces and right cancellative left semibraces. This improves and enriches some results obtained by Jespers and Van Antwerpen in [Forum Math. 31 (2019) 241--263.]

On the structure of $LC$-nilpotent groups

2026-07-11T11:45:59Z

For a finite group $G$, let $LC(G)$ be the subgroup generated by elements $x$ such that, for all $y \in G$ and all integers $n$, the order of $x^n y$ divides the least common multiple of the orders of $x$ and $y$. This subgroup is a nilpotent characteristic subgroup of $G$. In this article, among other results, we show that a finite solvable group $G$ admits an $LC$-nilpotent series if and only if $G$ does not contain any $2$-Frobenius subgroup of type $(p, q, p)$. As a consequence of this theorem, we conclude that the algebraic system comprising all $LC$-nilpotent groups forms a variety.

Block-exoticity of reduction simple fusion systems on $S(n,p)$

2026-07-11T11:43:49Z

In this paper, we prove that for $p\geq 13$ and $5\leq n\leq p-3$, every reduction simple fusion system on the finite $p$-group $S(n,p)$ is block-exotic. Furthermore, we establish the block-exoticity of three infinite families of reduction simple exotic fusion systems.

Diagram groups and groups of piecewise linear homeomorphisms of the line with global fixed points

2026-07-11T04:29:19Z

Assume $n \geq 2$ and $\ell = (r_{1}, \ldots, r_{k}) \in [0,1]^{k}$ is an increasing sequence of real numbers. Let $G_{n,\ell}$ denote the group of orientation-preserving piecewise linear homeomorphisms $h$ of $I = [r_{1}, r_{k}]$ such that: (i) $h'(x)$ is a power of $n$ where it is defined; (ii) if $h'(x)$ is undefined, then $x$ is an $n$-adic rational number, (iii) $h$ fixes each entry of $\ell$, and (iv) $h(\mathbb{Z}[1/n] \cap I) = \mathbb{Z}[1/n] \cap I$. We prove that $G_{n,\ell}$ is a diagram group $D(\mathcal{P}_{n,\ell}, ω_{n,\ell})$ for all integers $n \geq 2$ and for all finite sequences $\ell$. The semigroup presentation $\mathcal{P}_{n,\ell}$ and the word $ω_{n,\ell}$ can be computed from the $n$-ary expansions of the numbers $r_{i}$. If all entries in $\ell$ are rational, then $G_{n,\ell}$ has type $F_{\infty}$. Otherwise, $G_{n,\ell}$ is not finitely generated.

A continuum of non-measure equivalent groups

2026-07-10T22:20:41Z

We construct a continuum sized family $\{G_x\}_{x\in\{0,1\}^{\mathbb N}}$ of pairwise non-measure equivalent countable groups which have property (T) (hence are finitely generated), have zero $\ell^2$-Betti numbers of all orders, and are torsion-free. We also prove that the equivalence relation $\simeq^{\mathrm{fg}}_{\mathrm{ME}}$ of measure equivalence between finitely generated groups is non-smooth, resolving a question of S. Thomas. Our proof moreover shows that $\simeq^{\mathrm{fg}}_{\mathrm{ME}}$ sits above every countable Borel equivalence relation in the Borel reducibility hierarchy.

Indecomposable solutions with permutation brace of size $p^3$ and permutation braces of small sizes

2026-07-10T18:37:21Z

Using the construction of Bachiller, Cedó and Jespers, we give a complete classification of the indecomposable involutive set-theoretic solutions to the Yang-Baxter equation whose permutation brace has size $p^3$, where p is an odd prime. We also give an algorithm for systematically producing all indecomposable involutive solutions with a given permutation brace, and use this to enumerate these with the permutation brace of size up to 107.

An Introduction to Geometric Group Theory

2026-07-10T17:21:43Z

This book provides a self-contained introduction to geometric group theory. The topics range from an introduction of Cayley and Schreier graphs to Gromov's theorem on groups of polynomial growth and amenability. We discuss the ping-pong lemma, quasi-isometries, growth of groups, hyperbolicity, and other related notions. The book is based on graduate courses and can be used for such a course or for independent study.

Determining subgroups via stationary measures

2026-07-10T16:38:44Z

In this paper, we consider random walks on the isometry groups of general metric spaces. Under some mild conditions, we show that if two non-elementary random walks on a discrete subgroup of the isometry group have non-singular stationary measures, then subgroups generated by the random walks are commensurable. This result in particular applies to Gromov hyperbolic spaces and Teichmüller spaces. As a specific application, we prove singularity between stationary measures associated to random walks on different fiber subgroups of the fundamental group of a hyperbolic 3-manifold fibering over the circle.

A guide to topological reconstruction on endomorphism monoids and polymorphism clones

2026-07-10T16:04:00Z

Various spaces of symmetries of a structure are naturally endowed with both an algebraic and a topological structure. For example, the automorphism group of a structure is, on top of being a group, a topological group when equipped with the topology of pointwise convergence. In some cases, the algebraic structure of such space alone is sufficiently rich to determine its topology (under some requirements on the topology). For automorphism groups, the problem of when this happens has been actively pursued over the last 40 years. With the exception of some early work of Lascar, the analogue of this problem for endomorphism monoids and polymorphism clones has only received attention in the past 15 years. In this guide, we survey the current state of affairs in this relatively young line of research. We moreover use this opportunity to polish several existing results and to extend them beyond what was hitherto known.

Uniform amenability at infinity

2026-07-10T12:08:41Z

We introduce the notion of uniform exactness, or uniform amenability at infinity, for discrete groups and prove it for a wide class of groups containing free groups and their limit groups. This shows a novel strong convergence phenomenon that any convergent sequence of such groups in the space of marked groups converges strongly in the operator algebraic sense. In particular, convergence of the spectral radius formula is uniform over probability measures on such groups whose supports have a fixed cardinality.

Masures associated with split Kac-Moody groups over valued fields

2026-07-10T11:54:26Z

Masures are generalizations of Bruhat-Tits buildings adapted to the study of Kac--Moody groups over valued fields. They were introduced by Gaussent and Rousseau in 2007. Rousseau defined an axiomatic for these object and we simplified it. In this paper, which is mainly expository, we construct the masure associated with a split Kac--Moody group over a valued field, and we prove that it satisfies our axiomatic.

Conjugacy in fibre products, distortion, and the geometry of cyclic subgroups

2026-07-10T11:36:18Z

We investigate the complexity of the conjugacy problem for fibre products in torsion-free hyperbolic groups. Let $G$ be a torsion-free hyperbolic group and let $P

Non-commutative Barge-Ghys quasimorphisms: an erratum

2026-07-10T09:31:55Z

This is an erratum to the paper ``Non-commutative Barge-Ghys quasimorphisms''. The effective version of Ambrose-Singer theorem used in this paper was mis-stated, making Theorem 3.11 false as stated. However, this statement remains true for a semidirect product $G=A\rtimes K$ of a non-compact Lie group with a compact Lie group $K$, as long as the curvature of the connection belongs to the Lie algebra of $K$. Theorems 3.12 and 3.22 remain true under this assumptions, the statements of Theorems 4.28 and 4.31 are modified accordingly. Theorem 5.2 is valid only for compact Lie groups.

The type I dichotomy for two-step nilpotent locally compact groups

2026-07-10T08:23:17Z

We address the type I dichotomy for two-step nilpotent locally compact groups. Invoking work of Baggett-Kleppner, we characterize the closed points of the unitary dual of such a group $G$ purely in terms of the group structure. An algebraic criterion characterizing when $G$ is a type I group is derived. We show that this criterion automatically holds if $G$ is a central extension of vector groups over a non-discrete locally compact field $k$ such that the commutator map is $k$-bilinear. As an application, we show that the unipotent radicals of minimal parabolics in simple algebraic groups of $k$-rank one are type I groups. We also discuss the type I dichotomy for $p$-torsion contraction groups, and exhibit, for each prime $p$, uncountably many pairwise non-isomorphic such groups that are not type I. This answers a recently posed question by the second author. Finally, we adapt a recent construction of Chirvasitu to obtain numerous examples of two-step nilpotent torsion locally compact groups that are not type I, but that embed as closed cocompact normal subgroups in two-step nilpotent groups that are type I.