Left restriction semigroups are the unary semigroups that abstractly characterize semigroups of partial maps on a set, where the unary operation associates to a map the identity element on its domain. They may be defined by a simple set of identities and the author initiated a study of the lattice of varieties of such semigroups, in parallel with the study of the lattice of varieties of two-sided restriction semigroups. In this work we study the subvariety $\mathbf{B}$ generated by Brandt semigroups and the subvarieties generated by the five-element Brandt inverse semigroup $B_{2}$, its four-element restriction subsemigroup $B_{0}$ and its three-element left restriction subsemigroup $D$. These have already been studied in the ‘plain’ semigroup context, in the inverse semigroup context (in the first two instances) and in the two-sided restriction semigroup context (in all but the last instance). The author has previously shown that in the last of these contexts, the behavior is pathological: ‘almost all’ finite restriction semigroups are inherently nonfinitely based. Here we show that this is not the case for left restriction semigroups, by exhibiting identities for the above varieties and for their joins with monoids (the analog of groups in this context). We do so by structural means involving subdirect decompositions into certain primitive semigroups. We also show that each identity has a simple structural interpretation.

For a group G, a weak Cayley table isomorphism is a bijection f : G → G such that f(g1g2) is conjugate to f(g1)f(g2) for all g1, g2 ∈ G. The set of all weak Cayley table isomorphisms forms a group (G) that is the group of symmetries of the weak Cayley table of G. We determine (G) for each of the 17 wallpaper groups G, and for some other crystallographic groups.

For an element g of a group G, an Engel sink is a subset ${\mathscr E}$(g) such that for every x ∈ G all sufficiently long commutators [. . .[[x, g], g], . . ., g] belong to ${\mathscr E}$(g). A finite group is nilpotent if and only if every element has a trivial Engel sink. We prove that if in a finite group G every element has an Engel sink generating a subgroup of rank r, then G has a normal subgroup N of rank bounded in terms of r such that G/N is nilpotent.

We formulate some conjectures about the precise determination of the monodromy groups of certain rigid local systems on $\mathbb{A}^{1}$ whose monodromy groups are known, by results of Kubert, to be finite. We prove some of them.

We show that integral monodromy groups of Kloosterman $\ell$-adic sheaves of rank $n\geqslant 2$ on $\mathbb{G}_{m}/\mathbb{F}_{q}$ are as large as possible when the characteristic $\ell$ is large enough, depending only on the rank. This variant of Katz’s results over $\mathbb{C}$ was known by works of Gabber, Larsen, Nori and Hall under restrictions such as $\ell$ large enough depending on $\operatorname{char}(\mathbb{F}_{q})$ with an ineffective constant, which is unsuitable for applications. We use the theory of finite groups of Lie type to extend Katz’s ideas, in particular the classification of maximal subgroups of Aschbacher and Kleidman–Liebeck. These results will apply to study hyper-Kloosterman sums and their reductions in forthcoming work.

Almost-flat manifolds were defined by Gromov as a natural generalization of flat manifolds and as such share many of their properties. Similarly to flat manifolds, it turns out that the existence of a spin structure on an almost-flat manifold is determined by the canonical orthogonal representation of its fundamental group. Utilizing this, we classify the spin structures on all four-dimensional almost-flat manifolds that are not flat. Out of 127 orientable families, we show that there are exactly 15 that are non-spin, the rest are, in fact, parallelizable.

In parallel to the classical theory of central extensions of groups, we develop a version for extensions that preserve commutativity. It is shown that the Bogomolov multiplier is a universal object parametrizing such extensions of a given group. Maximal and minimal extensions are inspected, and a connection with commuting probability is explored. Such considerations produce bounds for the exponent and rank of the Bogomolov multiplier.

The catenary degree is an invariant that measures the distance between factorisations of elements within an atomic monoid. In this paper, we classify which finite subsets of $\mathbb{Z}_{\geq 0}$ occur as the set of catenary degrees of a numerical monoid (that is, a co-finite, additive submonoid of $\mathbb{Z}_{\geq 0}$ ). In particular, we show that, with one exception, every finite subset of $\mathbb{Z}_{\geq 0}$ that can possibly occur as the set of catenary degrees of some atomic monoid is actually achieved by a numerical monoid.

Let $\mathbb{L}\subset A\times I$ be a link in a thickened annulus. We show that its sutured annular Khovanov homology carries an action of $\mathfrak{sl}_{2}(\wedge )$ , the exterior current algebra of $\mathfrak{sl}_{2}$ . When $\mathbb{L}$ is an $m$ -framed $n$ -cable of a knot $K\subset S^{3}$ , its sutured annular Khovanov homology carries a commuting action of the symmetric group $\mathfrak{S}_{n}$ . One therefore obtains a ‘knotted’ Schur–Weyl representation that agrees with classical $\mathfrak{sl}_{2}$ Schur–Weyl duality when $K$ is the Seifert-framed unknot.

Given a finite group $G$ , the generating graph $\unicode[STIX]{x1D6E4}(G)$ of $G$ has as vertices the (nontrivial) elements of $G$ and two vertices are adjacent if and only if they are distinct and generate $G$ as group elements. In this paper we investigate properties about the degrees of the vertices of $\unicode[STIX]{x1D6E4}(G)$ when $G$ is an alternating group or a symmetric group of degree $n$ . In particular, we determine the vertices of $\unicode[STIX]{x1D6E4}(G)$ having even degree and show that $\unicode[STIX]{x1D6E4}(G)$ is Eulerian if and only if $n\geqslant 3$ and $n$ and $n-1$ are not equal to a prime number congruent to 3 modulo 4.

Kang and Liu [‘On supersolvability of factorized finite groups’, Bull. Math. Sci.3 (2013), 205–210] investigate the structure of finite groups that are products of two supersoluble groups. The goal of this note is to give a correct proof of their main theorem.

Let $G$ be a finite almost simple group. It is well known that $G$ can be generated by three elements, and in previous work we showed that 6 generators suffice for all maximal subgroups of $G$ . In this paper, we consider subgroups at the next level of the subgroup lattice—the so-called second maximal subgroups. We prove that with the possible exception of some families of rank 1 groups of Lie type, the number of generators of every second maximal subgroup of $G$ is bounded by an absolute constant. We also show that such a bound holds without any exceptions if and only if there are only finitely many primes $r$ for which there is a prime power $q$ such that $(q^{r}-1)/(q-1)$ is prime. The latter statement is a formidable open problem in Number Theory. Applications to random generation and polynomial growth are also given.

We use elementary skein theory to prove a version of a result of Stylianakis (Stylianakis, The normal closure of a power of a half-twist has infinite index in the mapping class group of a punctured sphere, arXiv:1511.02912) who showed that under mild restrictions on m and n, the normal closure of the mth power of a half-twist has infinite index in the mapping class group of a sphere with 2n punctures.

The geometric Satake correspondence gives an equivalence of categories between the representations of a semisimple group $G$ and the spherical perverse sheaves on the affine Grassmannian $Gr$ of its Langlands dual group. Bezrukavnikov and Finkelberg developed a derived version of this equivalence which relates the derived category of $G^{\vee }$ -equivariant constructible sheaves on $Gr$ with the category of $G$ -equivariant ${\mathcal{O}}(\mathfrak{g})$ -modules. In this paper, we develop a K-theoretic version of the derived geometric Satake which involves the quantum group $U_{q}\mathfrak{g}$ . We define a convolution category $K\operatorname{Conv}(Gr)$ whose morphism spaces are given by the $G^{\vee }\times \mathbb{C}^{\times }$ -equivariant algebraic K-theory of certain fibre products. We conjecture that $K\operatorname{Conv}(Gr)$ is equivalent to a full subcategory of the category of $U_{q}\mathfrak{g}$ -equivariant ${\mathcal{O}}_{q}(G)$ -modules. We prove this conjecture when $G=\operatorname{SL}_{n}$ . A key tool in our proof is the $\operatorname{SL}_{n}$ spider, which is a combinatorial description of the category of $U_{q}\mathfrak{sl}_{n}$ representations. By applying horizontal trace, we show that the annular $\operatorname{SL}_{n}$ spider describes the category of $U_{q}\mathfrak{sl}_{n}$ -equivariant ${\mathcal{O}}_{q}(\operatorname{SL}_{n})$ -modules. Then we use quantum loop algebras to relate the annular $\operatorname{SL}_{n}$ spider to $K\operatorname{Conv}(Gr)$ . This gives a combinatorial/diagrammatic description of both categories and proves our conjecture.

We formulate and study Howe–Moore type properties in the setting of quantum groups and in the setting of rigid $C^{\ast }$ -tensor categories. We say that a rigid $C^{\ast }$ -tensor category ${\mathcal{C}}$ has the Howe–Moore property if every completely positive multiplier on ${\mathcal{C}}$ has a limit at infinity. We prove that the representation categories of $q$ -deformations of connected compact simple Lie groups with trivial center satisfy the Howe–Moore property. As an immediate consequence, we deduce the Howe–Moore property for Temperley–Lieb–Jones standard invariants with principal graph $A_{\infty }$ . These results form a special case of a more general result on the convergence of completely bounded multipliers on the aforementioned categories. This more general result also holds for the representation categories of the free orthogonal quantum groups and for the Kazhdan–Wenzl categories. Additionally, in the specific case of the quantum groups $\text{SU}_{q}(N)$ , we are able, using a result of the first-named author, to give an explicit characterization of the central states on the quantum coordinate algebra of $\text{SU}_{q}(N)$ , which coincide with the completely positive multipliers on the representation category of $\text{SU}_{q}(N)$ .

We present an abstract framework for the axiomatic study of diagram algebras. Algebras that fit this framework possess analogues of both the Murphy and seminormal bases of the Hecke algebras of the symmetric groups. We show that the transition matrix between these bases is dominance unitriangular. We construct analogues of the skew Specht modules in this setting. This allows us to propose a natural tableaux theoretic framework in which to study the infamous Kronecker problem.

By homotopy linear algebra we mean the study of linear functors between slices of the ∞-category of ∞-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices into ∞-categories to model the duality between vector spaces and profinite-dimensional vector spaces, and set up a global notion of homotopy cardinality à la Baez, Hoffnung and Walker compatible with this duality. We needed these results to support our work on incidence algebras and Möbius inversion over ∞-groupoids; we hope that they can also be of independent interest.

We discuss the internal structure of graph products of right LCM semigroups and prove that there is an abundance of examples without property (AR). Thereby we provide the first examples of right LCM semigroups lacking this seemingly common feature. The results are particularly sharp for right-angled Artin monoids.

Let $G$ be a finite solvable group and let $p$ be a prime. We prove that the intersection of the kernels of irreducible monomial $p$ -Brauer characters of $G$ with degrees divisible by $p$ is $p$ -closed.

Let a prime $p$ divide the order of a finite real reflection group. We classify the reflection subgroups up to conjugacy that are minimal with respect to inclusion, subject to containing a $p$ -Sylow subgroup. For Weyl groups, this is achieved by an algorithm inspired by the Borel–de Siebenthal algorithm. The cases where there is not a unique conjugacy class of reflection subgroups minimally containing the $p$ -Sylow subgroups are the groups of type $F_{4}$ when $p=2$ and $I_{2}(m)$ when $m\geq 6$ is even but not a power of $2$ for each odd prime divisor $p$ of $m$ . The classification significantly reduces the cases required to describe the $p$ -Sylow subgroups of finite real reflection groups.