This paper examines a systematic method of constructing a pair of (inter-related) root systems for arbitrary Coxeter groups from a class of nonstandard geometric representations. This method can be employed to construct generalizations of root systems for a large family of linear groups generated by involutions. We then give a characterization of Coxeter groups, among these groups, in terms of such paired root systems. Furthermore, we use this method to construct and study the paired root systems for reflection subgroups of Coxeter groups.

As generalizations of inverse semigroups, Ehresmann semigroups are introduced by Lawson and investigated by many authors extensively in the literature. In particular, Lawson has proved that the category of Ehresmann semigroups and admissible morphisms is isomorphic to the category of Ehresmann categories and strongly ordered functors, which generalizes the well-known Ehresmann–Schein–Nambooripad (ESN) theorem for inverse semigroups. From a varietal perspective, Ehresmann semigroups are derived from reducts of inverse semigroups. In this paper, inspired by the approach of Jones [‘A common framework for restriction semigroups and regular $\ast$-semigroups’, J. Pure Appl. Algebra216 (2012), 618–632], Ehresmann semigroups are extended from a varietal perspective to pseudo-Ehresmann semigroups derived instead from reducts of regular semigroups with a multiplicative inverse transversal. Furthermore, motivated by the method used by Gould and Wang [‘Beyond orthodox semigroups’, J. Algebra368 (2012), 209–230], we introduce the notion of inductive pseudocategories over admissible quadruples by which pseudo-Ehresmann semigroups are described. More precisely, we show that the category of pseudo-Ehresmann semigroups and (2,1,1,1)-morphisms is isomorphic to the category of inductive pseudocategories over admissible quadruples and pseudofunctors. Our work not only generalizes the result of Lawson for Ehresmann semigroups but also produces a new approach to characterize regular semigroups with a multiplicative inverse transversal.

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. This paper is the sequel to two recent papers by the author, melding the results of the first, on membership in the variety $\mathbf{B}$ of left restriction semigroups generated by Brandt semigroups and monoids, with the connection established in the second between subvarieties of the variety $\mathbf{B}_{R}$ of two-sided restriction semigroups similarly generated and varieties of categories, in the sense of Tilson. We show that the respective lattices ${\mathcal{L}}(\mathbf{B})$ and ${\mathcal{L}}(\mathbf{B}_{R})$ of subvarieties are almost isomorphic, in a very specific sense. With the exception of the members of the interval $[\mathbf{D},\mathbf{D}\vee \mathbf{M}]$, every subvariety of $\mathbf{B}$ is induced from a member of $\mathbf{B}_{R}$ and vice versa. Here $\mathbf{D}$ is generated by the three-element left restriction semigroup $D$ and $\mathbf{M}$ is the variety of monoids. The analogues hold for pseudovarieties.

Fix a finite semigroup $S$ and let $a_{1},\ldots ,a_{k},b$ be tuples in a direct power $S^{n}$. The subpower membership problem (SMP) for $S$ asks whether $b$ can be generated by $a_{1},\ldots ,a_{k}$. For combinatorial Rees matrix semigroups we establish a dichotomy result: if the corresponding matrix is of a certain form, then the SMP is in P; otherwise it is NP-complete. For combinatorial Rees matrix semigroups with adjoined identity, we obtain a trichotomy: the SMP is either in P, NP-complete, or PSPACE-complete. This result yields various semigroups with PSPACE-complete SMP including the six-element Brandt monoid, the full transformation semigroup on three or more letters, and semigroups of all $n$ by $n$ matrices over a field for $n\geq 2$.

We study the numbers of involutions and their relation to Frobenius–Schur indicators in the groups $\text{SO}^{\pm }(n,q)$ and $\unicode[STIX]{x1D6FA}^{\pm }(n,q)$. Our point of view for this study comes from two motivations. The first is the conjecture that a finite simple group $G$ is strongly real (all elements are conjugate to their inverses by an involution) if and only if it is totally orthogonal (all Frobenius–Schur indicators are 1), and we observe this holds for all finite simple groups $G$ other than the groups $\unicode[STIX]{x1D6FA}^{\pm }(4m,q)$ with $q$ even. We prove computationally that for small $m$ this statement indeed holds for these groups by equating their character degree sums with the number of involutions. We also prove a result on a certain twisted indicator for the groups $\text{SO}^{\pm }(4m+2,q)$ with $q$ odd. Our second motivation is to continue the work of Fulman, Guralnick, and Stanton on generating functions and asymptotics for involutions in classical groups. We extend their work by finding generating functions for the numbers of involutions in $\text{SO}^{\pm }(n,q)$ and $\unicode[STIX]{x1D6FA}^{\pm }(n,q)$ for all $q$, and we use these to compute the asymptotic behavior for the number of involutions in these groups when $q$ is fixed and $n$ grows.

We consider smooth, complex quasiprojective varieties $U$ that admit a compactification with a boundary, which is an arrangement of smooth algebraic hypersurfaces. If the hypersurfaces intersect locally like hyperplanes, and the relative interiors of the hypersurfaces are Stein manifolds, we prove that the cohomology of certain local systems on $U$ vanishes. As an application, we show that complements of linear, toric, and elliptic arrangements are both duality and abelian duality spaces.

This paper studies the combinatorics of lattice congruences of the weak order on a finite Weyl group $W$ , using representation theory of the corresponding preprojective algebra $\unicode[STIX]{x1D6F1}$ . Natural bijections are constructed between important objects including join-irreducible congruences, join-irreducible (respectively, meet-irreducible) elements of $W$ , indecomposable $\unicode[STIX]{x1D70F}$ -rigid (respectively, $\unicode[STIX]{x1D70F}^{-}$ -rigid) modules and layers of $\unicode[STIX]{x1D6F1}$ . The lattice-theoretically natural labelling of the Hasse quiver by join-irreducible elements of $W$ is shown to coincide with the algebraically natural labelling by layers of $\unicode[STIX]{x1D6F1}$ . We show that layers of $\unicode[STIX]{x1D6F1}$ are nothing but bricks (or equivalently stones, or 2-spherical modules). The forcing order on join-irreducible elements of $W$ (arising from the study of lattice congruences) is described algebraically in terms of the doubleton extension order. We give a combinatorial description of indecomposable $\unicode[STIX]{x1D70F}^{-}$ -rigid modules for type $A$ and $D$ .

We present an algorithm for calculating the geometric intersection number of two multicurves on the $n$ -punctured disk, taking as input their Dynnikov coordinates. The algorithm has complexity $O(m^{2}n^{4})$ , where $m$ is the sum of the absolute values of the Dynnikov coordinates of the two multicurves. The main ingredient is an algorithm due to Cumplido for relaxing a multicurve.

We investigate products of certain double cosets for the symmetric group and use the findings to derive some multiplication formulas for the $q$-Schur superalgebras. This gives a combinatorialization of the relative norm approach developed in Du and Gu (A realization of the quantum supergroup$\mathbf{U}(\mathfrak{g}\mathfrak{l}_{m|n})$, J. Algebra 404 (2014), 60–99). We then give several applications of the multiplication formulas, including the matrix representation of the regular representation and a semisimplicity criterion for $q$-Schur superalgebras. We also construct infinitesimal and little $q$-Schur superalgebras directly from the multiplication formulas and develop their semisimplicity criteria.

For a field $\text{k}$ , we prove that the $i$ th homology of the groups $\operatorname{GL}_{n}(\text{k})$ , $\operatorname{SL}_{n}(\text{k})$ , $\operatorname{Sp}_{2n}(\text{k})$ , $\operatorname{SO}_{n,n}(\text{k})$ , and $\operatorname{SO}_{n,n+1}(\text{k})$ with coefficients in their Steinberg representations vanish for $n\geqslant 2i+2$ .

Assume that $G$ is a finite group and $H$ is a 2-nilpotent Sylow tower Hall subgroup of $G$ such that if $x$ and $y$ are $G$ -conjugate elements of $H\cap G^{\prime }$ of prime order or order 4, then $x$ and $y$ are $H$ -conjugate. We prove that there exists a normal subgroup $N$ of $G$ such that $G=HN$ and $H\cap N=1$ .

Let p ≥ 3 be a prime. A generalized multi-edge spinal group

$$G = \langle \{ a\} \cup \{ b_i^{(j)} {\rm \mid }1 \le j \le p,\, 1 \le i \le r_j\} \rangle \le {\rm Aut}(T)$$

$b^{(j)}_{1}, \ldots, b^{(j)}_{r_{j}}$

We investigate the structure of the twisted Brauer monoid , comparing and contrasting it with the structure of the (untwisted) Brauer monoid . We characterize Green's relations and pre-orders on , describe the lattice of ideals and give necessary and sufficient conditions for an ideal to be idempotent generated. We obtain formulae for the rank (smallest size of a generating set) and (where applicable) the idempotent rank (smallest size of an idempotent generating set) of each principal ideal; in particular, when an ideal is idempotent generated, its rank and idempotent rank are equal. As an application of our results, we describe the idempotent generated subsemigroup of (which is not an ideal), as well as the singular ideal of (which is neither principal nor idempotent generated), and we deduce that the singular part of the Brauer monoid is idempotent generated, a result previously proved by Maltcev and Mazorchuk.

The group of ${\mathcal{C}}^{1}$ -diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson’s groups come out of this construction when we consider central ternary Cantor subsets of an interval. Brin’s higher-dimensional generalizations $nV$ of Thompson’s group $V$ arise when we consider products of central ternary Cantor sets. We derive that the ${\mathcal{C}}^{2}$ -smooth mapping class group of a sparse Cantor sphere pair is a discrete countable group and produce this way versions of the braided Thompson groups.

We establish a new sufficient condition under which a monoid is nonfinitely based and apply this condition to Lee monoids $L_{\ell }^{1}$ , obtained by adjoining an identity element to the semigroup generated by two idempotents $a$ and $b$ with the relation $0=abab\cdots \,$ (length $\ell$ ). We show that every monoid $M$ which generates a variety containing $L_{5}^{1}$ and is contained in the variety generated by $L_{\ell }^{1}$ for some $\ell \geq 5$ is nonfinitely based. We establish this result by analysing $\unicode[STIX]{x1D70F}$ -terms for $M$ , where $\unicode[STIX]{x1D70F}$ is a certain nontrivial congruence on the free semigroup. We also show that if $\unicode[STIX]{x1D70F}$ is the trivial congruence on the free semigroup and $\ell \leq 5$ , then the $\unicode[STIX]{x1D70F}$ -terms (isoterms) for $L_{\ell }^{1}$ carry no information about the nonfinite basis property of $L_{\ell }^{1}$ .

In this paper, we introduce the Newton decomposition on a connected reductive $p$ -adic group $G$ . Based on it we give a nice decomposition of the cocenter of its Hecke algebra. Here we consider both the ordinary cocenter associated to the usual conjugation action on $G$ and the twisted cocenter arising from the theory of twisted endoscopy. We give Iwahori–Matsumoto type generators on the Newton components of the cocenter. Based on it, we prove a generalization of Howe’s conjecture on the restriction of (both ordinary and twisted) invariant distributions. Finally we give an explicit description of the structure of the rigid cocenter.

The author has previously associated to each commutative ring with unit $R$ and étale groupoid $\mathscr{G}$ with locally compact, Hausdorff and totally disconnected unit space an $R$ -algebra $R\,\mathscr{G}$ . In this paper we characterize when $R\,\mathscr{G}$ is Noetherian and when it is Artinian. As corollaries, we extend the characterization of Abrams, Aranda Pino and Siles Molina of finite-dimensional and of Noetherian Leavitt path algebras over a field to arbitrary commutative coefficient rings and we recover the characterization of Okniński of Noetherian inverse semigroup algebras and of Zelmanov of Artinian inverse semigroup algebras.

If $k$ is a positive integer, a group $G$ is said to have the $FE_{k}$ -property if for each element $g$ of $G$ there exists a normal subgroup of finite index $X(g)$ such that the subgroup $\langle g,x\rangle$ is nilpotent of class at most $k$ for all $x\in X(g)$ . Thus, $FE_{1}$ -groups are precisely those groups with finite conjugacy classes ($FC$ -groups) and the aim of this paper is to extend properties of $FC$ -groups to the case of groups with the $FE_{k}$ -property for $k>1$ . The class of $FE_{k}$ -groups contains the relevant subclass $FE_{k}^{\ast }$ , consisting of all groups $G$ for which to every element $g$ there corresponds a normal subgroup of finite index $Y(g)$ such that $\langle g,U\rangle$ is nilpotent of class at most $k$ , whenever $U$ is a nilpotent subgroup of class at most $k$ of $Y(g)$ .

Let $G$ be a finite group. Let $\operatorname{cl}(G)$ be the set of conjugacy classes of $G$ and let $\operatorname{ecl}_{p}(G)$ be the largest integer such that $p^{\operatorname{ecl}_{p}(G)}$ divides $|C|$ for some $C\in \operatorname{cl}(G)$ . We prove the following results. If $\operatorname{ecl}_{p}(G)=1$ , then $|G:F(G)|_{p}\leq p^{4}$ if $p\geq 3$ . Moreover, if $G$ is solvable, then $|G:F(G)|_{p}\leq p^{2}$ .

We show that if a finitely generated group $G$ has a nonelementary WPD action on a hyperbolic metric space $X$ , then the number of $G$ -conjugacy classes of $X$ -loxodromic elements of $G$ coming from a ball of radius $R$ in the Cayley graph of $G$ grows exponentially in $R$ . As an application we prove that for $N\geq 3$ the number of distinct $\text{Out}(F_{N})$ -conjugacy classes of fully irreducible elements $\unicode[STIX]{x1D719}$ from an $R$ -ball in the Cayley graph of $\text{Out}(F_{N})$ with $\log \unicode[STIX]{x1D706}(\unicode[STIX]{x1D719})$ of the order of $R$ grows exponentially in $R$ .