Mathematics
Given a finite abelian group $G$ and a Sylow $p$-subgroup $N_p$, we prove that the $KU_G/p$-local sphere spectrum is equivalent to the homotopy fixed points of a $p$-complete $KO_{N_p}$-module spectrum. Then we compute the…
We provide the first example of a finitely presented, and the first example of a simple, group of non-uniform exponential growth. The example is given by Thompson's group V.
We show that every stable UCT Kirchberg algebra has a principal \'etale groupoid model, and thus contains a C$^*$-diagonal. Every unital UCT Kirchberg algebra $A$ for which $[1_A]_0$ has infinite order in $K_0(A)$ is also covered by our…
Consider, on the space of marked groups, the map $\mathrm{Res}_{\mathcal{C}}$ which associates to a marked group its greatest residually-$\mathcal{C}$ quotient, for different sets $\mathcal{C}$ of groups. Except for trivial cases, this map…
We prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\mathrm{fin}}(\mathbb{N}), \cup,…
We show that groups with a mild form of non-positive curvature (a navigable path system) satisfy the weak rank rigidity conjecture: they either have linear divergence or a Morse element. This class includes discrete groups of projective…
We consider a smooth compact manifold with boundary, $M$, embedded in a smooth manifold of the same dimension on which an amenable group $\Gamma$ acts by isometries. We do not assume $M$ to be invariant under $\Gamma$. This results in a…
The classes of abelian groups that are (uniformly) strongly Hopfian abelian groups, and dually, (uniformly) strongly co-Hopfian abelian groups have been studied by several authors, including Abdelalim (2015) and Abdelalim-Chillali-Essanouni…
We show that the affine cactus group is a CAT$(0)$ group for all degrees. Furthermore, we show that the affine cactus group $AJ_3$ of degree three is a hyperbolic group.
Affine Coxeter groups are fundamental objects in mathematics and in crystallography. If two group elements are conjugate, then they have very similar algebraic and geometric properties. Using recent structural results of Mili\'cevi\'c,…
Nagano spaces are compact symmetric spaces that admit large transformation groups. They include for instance all the Grassmannians and the Einstein Universes. In this paper, we study a Kobayashi-type pseudometric on domains in real-type…
This paper introduces a Laws of Form version of the Quaternions. We call this the Q-Calculus, a 16-valued extension of Laws of Form (LoF) which is closely related to the BF Calculus (where we have a single square root of the mark) and the…
Let $\Gamma_{2n}^\omega(p)$ be the level-$p$ principal congruence subgroup of $\text{Sp}_{2n}(\mathbb{Z})$ for all prime $p$. Borel--Serre demonstrated that the cohomology of $\Gamma_{2n}^\omega(p)$ vanishes above degree $n^2$. We prove…
We propose the systematic study of presentations that can be generalised over a continuous open group monomorphism. Presentations with this property can turn well-known presentations such as those for as orientable surface groups, Artin…
The Profinite Isomorphism Problem for a class of groups \mathcal{C} asks for an algorithm that decides for any two groups in \mathcal{C} whether they have isomorphic profinite completions. We present the positive solution to this problem…
By the classic results of Fricke and Klein, for every word $w$ in the free group $F(a,b)$ there exists a unique integer \it{trace polynomial} $f_w(x,y,z)\in Z[x,y,z]$ such that $Tr(w(A,B))=f_w(Tr A,Tr B,Tr AB)$. for all $A,B\in SL(2,C)$. We…
Let \(\nu_p(G)\) be the number of Sylow \(p\)-subgroups of a finite group \(G\), let \(\sigma_p(G)\) be their common order, and set \[ \gamma(G)=\int_0^1\sum_{p\in\pi(G)}\nu_p(G)x^{\sigma_p(G)}\,dx…
We study the interplay between the algebraic and dynamical properties of groups that admit a general type action on a $\delta$-hyperbolic space such that the induced action on the limit set of the Gromov boundary is faithful. We divide the…
Coset geometries are incidence geometries constructed from a group $G$ and a system of subgroups $(G_i)_{i \in I}$ of subgroups of $G$. For any algebraic group operation, it is then natural to wonder whether it can be extended to the…
A skew brace $A = (A,\cdot,\circ)$ is said to be \textit{left-simple} if $A\neq1$ and it has no left ideal other than $1$ and $A$. The purpose of this paper is to give a partial classification of the finite left-simple skew braces. A result…