Related papers: Small loops of nilpotency class three with commuta…
We prove that the mapping stack Map(Y,X) of topological stacks X and Y is again a topological stack if Y admits a compact groupoid presentation. If Y admits a locally compact groupoid presentation, we show that Map(Y,X) is a paratopological…
For any (Hausdorff) compact group $G$ with the normalized Haar measure ${\mathbf m}_G$, denote by ${\rm cp}(G)$ the probability ${\mathbf m}_{G\times G}(\{(x,y)\in G\times G \;|\; xy=yx\})$ of commuting a randomly chosen pair of elements of…
Gromov's theorem states that a finitely generated group has polynomial growth if and only if it is virtually nilpotent. A key ingredient in its proof is the small doubling property. In this work, we study entropy analogues of this property…
Let S be an orientable surface of finite type and let Mod(S) be its mapping class group. We consider actions of Mod(S) by semisimple isometries on complete CAT(0) spaces. If the genus of S is at least 3, then in any such action all Dehn…
We study minimal cylinders in the three-dimensional Heisenberg group ${\rm Nil}_3$ using the generalized Weierstrass type representation, the so-called loop group method. We characterize all non-vertical minimal cylinders in terms of pairs…
Let $X$ and $Y$ be finite complexes. When $Y$ is a nilpotent space, it has a rationalization $Y \to Y_{(0)}$ which is well-understood. Early on it was found that the induced map $[X,Y] \to [X,Y_{(0)}]$ on sets of mapping classes is…
We prove that if the multiplication group $Mult(L)$ of a connected $2$-dimensional topological loop is a Lie group, then $Mult(L)$ is an elementary filiform nilpotent Lie group of dimension at least $4$. Moreover, we describe loops having…
A loop whose inner mappings are automorphisms is an \emph{automorphic loop} (or \emph{A-loop}). We characterize commutative (A-)loops with middle nucleus of index 2 and solve the isomorphism problem. Using this characterization and certain…
Let $M$ be a compact surface with boundary. We are interested in the question of how a group action on $M$ permutes a finite invariant set $X \subset int(M)$. More precisely, how the algebraic properties of the induced group of permutations…
A loop is said to be automorphic if its inner mappings are automorphisms. For a prime $p$, denote by $\mathcal A_p$ the class of all $2$-generated commutative automorphic loops $Q$ possessing a central subloop $Z\cong \mathbb Z_p$ such that…
Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…
In this note we prove a selection of commutativity theorems for various classes of semigroups. For instance, if in a separative or completely regular semigroup $S$ we have $x^p y^p = y^p x^p$ and $x^q y^q = y^q x^q$ for all $x,y\in S$ where…
We compute the mapping class group orbits in the homotopy set of framings of a compact connected oriented surface with non-empty boundary. In the case $g > 1$ the computation is some modification of Johnson's results and certain arguments…
Let $G$ be a finite group and $M(G)$ be the subgroup of $G$ generated by all non-central elements of $G$ that lie in the conjugacy classes of the smallest size. Recently several results have been proved regarding the nilpotency class of…
A number of upper bounds are proved relating to the triple product property (TPP) for subgroups of finite nilpotent groups of class $2$. The TPP is the property defined for three non-empty subsets $S, T, U$ of a group $G$ that the group…
For $G$ a finite group, let $d_2(G)$ denote the proportion of triples $(x, y, z) \in G^3$ such that $[x, y, z] = 1$. We determine the structure of finite groups $G$ such that $d_2(G)$ is bounded away from zero: if $d_2(G) \geq \epsilon >…
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…
For a given class of structured matrices $\mathbb S$, we find necessary and sufficient conditions on vectors $x,w\in \C^{n+m}$ and $y,z \in \C^{n}$ for which there exists $\Delta=[\Delta_1~\Delta_2]$ with $\Delta_1 \in \mathbb S$ and…
Let $\text{Homeo}_{+}(\mathbb{S}^1)$ denote the group of orientation preserving homeomorphisms of the circle $\mathbb{S}^1$. A subgroup $G$ of $\text{Homeo}_{+}(\mathbb{S}^1)$ is tightly transitive if it is topologically transitive and no…
A loop is automorphic if its inner mappings are automorphisms. Using so-called associated operations, we show that every commutative automorphic loop of odd prime power order is centrally nilpotent. Starting with anisotropic planes in the…