We show that, given a compact minimal system $(X,g)$ and an element h of the topological full group $\tau [g]$ of g, the infinite orbits of h admit a locally constant orientation with respect to the orbits of g. We use this to obtain a clopen partition of $(X,G)$ into minimal and periodic parts, where G is any virtually polycyclic subgroup of $\tau [g]$. We also use the orientation of orbits to give a refinement of the index map and to describe the role in $\tau [g]$ of the submonoid generated by the induced transformations of g. Finally, we consider the problem, given a homeomorphism h of the Cantor space X, of determining whether or not there exists a minimal homeomorphism g of X such that $h \in \tau [g]$.

A Grigorchuk–Gupta–Sidki (GGS)-group is a subgroup of the automorphism group of the p-regular rooted tree for an odd prime p, generated by one rooted automorphism and one directed automorphism. Pervova proved that all torsion GGS-groups do not have maximal subgroups of infinite index. Here, we extend the result to nontorsion GGS-groups, which include the weakly regular branch, but not branch, GGS-group.

We observe a fundamental relationship between Steenrod operations and the Artin–Schreier morphism. We use Steenrod's construction, together with some new geometry related to the affine Grassmannian, to prove that the quantum Coulomb branch is a Frobenius-constant quantization. We also demonstrate the corresponding result for the $K$-theoretic version of the quantum Coulomb branch. At the end of the paper, we investigate what our ideas produce on the categorical level. We find that they yield, after a little fiddling, a construction which corresponds, under the geometric Satake equivalence, to the Frobenius twist functor for representations of the Langlands dual group. We also describe the unfiddled answer, conditional on a conjectural ‘modular derived Satake’, and, though it is more complicated to state, it is in our opinion just as neat and even more compelling.

In a seminal paper, Stallings introduced folding of morphisms of graphs. One consequence of folding is the representation of finitely-generated subgroups of a finite-rank free group as immersions of finite graphs. Stallings’s methods allow one to construct this representation algorithmically, giving effective, algorithmic answers and proofs to classical questions about subgroups of free groups. Recently Dani–Levcovitz used Stallings-like methods to study subgroups of right-angled Coxeter groups, which act geometrically on CAT(0) cube complexes. In this paper we extend their techniques to fundamental groups of non-positively curved cube complexes.

We prove that a minimal second countable ample groupoid has dynamical comparison if and only if its type semigroup is almost unperforated. Moreover, we investigate to what extent a not necessarily minimal almost finite groupoid has an almost unperforated type semigroup. Finally, we build a bridge between coarse geometry and topological dynamics by characterizing almost finiteness of the coarse groupoid in terms of a new coarsely invariant property for metric spaces, which might be of independent interest in coarse geometry. As a consequence, we are able to construct new examples of almost finite principal groupoids lacking other desirable properties, such as amenability or even a-T-menability. This behaviour is in stark contrast to the case of principal transformation groupoids associated to group actions.

We generalize results of Thomas, Allcock, Thom–Petersen, and Kar–Niblo to the first $\ell ^{2}$-Betti number of quotients of certain groups acting on trees by subgroups with free actions on the edge sets of the graphs.

Twisted étale groupoid algebras have recently been studied in the algebraic setting by several authors in connection with an abstract theory of Cartan pairs of rings. In this paper we show that extensions of ample groupoids correspond in a precise manner to extensions of Boolean inverse semigroups. In particular, discrete twists over ample groupoids correspond to certain abelian extensions of Boolean inverse semigroups, and we show that they are classified by Lausch’s second cohomology group of an inverse semigroup. The cohomology group structure corresponds to the Baer sum operation on twists.

We also define a novel notion of inverse semigroup crossed product, generalizing skew inverse semigroup rings, and prove that twisted Steinberg algebras of Hausdorff ample groupoids are instances of inverse semigroup crossed products. The cocycle defining the crossed product is the same cocycle that classifies the twist in Lausch cohomology.

We compare the $K$-theory stable bases of the Springer resolution associated to different affine Weyl alcoves. We prove that (up to relabelling) the change of alcoves operators are given by the Demazure–Lusztig operators in the affine Hecke algebra. We then show that these bases are categorified by the Verma modules of the Lie algebra, under the localization of Lie algebras in positive characteristic of Bezrukavnikov, Mirković, and Rumynin. As an application, we prove that the wall-crossing matrices of the $K$-theory stable bases coincide with the monodromy matrices of the quantum cohomology of the Springer resolution.

Let G be a finite solvable group and let p be a prime divisor of $|G|$. We prove that if every monomial monolithic character degree of G is divisible by p, then G has a normal p-complement and, if p is relatively prime to every monomial monolithic character degree of G, then G has a normal Sylow p-subgroup. We also classify all finite solvable groups having a unique imprimitive monolithic character.

We say that a subgroup H is isolated in a group G if for each $x\in G$ either $x\in H$ or $\langle x\rangle \cap H={1}$. We determine the structure of finite p-groups with isolated minimal nonabelian subgroups and finite p-groups with an isolated metacyclic subgroup.

We call a semigroup $S$ weakly right noetherian if every right ideal of $S$ is finitely generated; equivalently, $S$ satisfies the ascending chain condition on right ideals. We provide an equivalent formulation of the property of being weakly right noetherian in terms of principal right ideals, and we also characterize weakly right noetherian monoids in terms of their acts. We investigate the behaviour of the property of being weakly right noetherian under quotients, subsemigroups and various semigroup-theoretic constructions. In particular, we find necessary and sufficient conditions for the direct product of two semigroups to be weakly right noetherian. We characterize weakly right noetherian regular semigroups in terms of their idempotents. We also find necessary and sufficient conditions for a strong semilattice of completely simple semigroups to be weakly right noetherian. Finally, we prove that a commutative semigroup $S$ with finitely many archimedean components is weakly (right) noetherian if and only if $S/\mathcal {H}$ is finitely generated.

For a Coxeter system and a representation $V$ of this Coxeter system, Soergel defined a category which is now called the category of Soergel bimodules and proved that this gives a categorification of the Hecke algebra when $V$ is reflection faithful. Elias and Williamson defined another category when $V$ is not reflection faithful and proved that this category is equivalent to the category of Soergel bimodules when $V$ is reflection faithful. Moreover, they proved the categorification theorem for their category with fewer assumptions on $V$. In this paper, we give a bimodule description of the Elias–Williamson category and re-prove the categorification theorem.

We consider Akbarov's holomorphic version of the non-commutative Pontryagin duality for a complex Lie group. We prove, under the assumption that $G$ is a Stein group with finitely many components, that (1) the topological Hopf algebra of holomorphic functions on $G$ is holomorphically reflexive if and only if $G$ is linear; (2) the dual cocommutative topological Hopf algebra of exponential analytic functional on $G$ is holomorphically reflexive. We give a counterexample, which shows that the first criterion cannot be extended to the case of infinitely many components. Nevertheless, we conjecture that, in general, the question can be solved in terms of the Banach-algebra linearity of $G$.

Let $G$ be a finite group with cyclic Sylow $p$-subgroups, and let $k$ be a field of characteristic $p$. Then $H^{*}(BG;k)$ and $H_*(\Omega BG{{}^{{}^{\wedge }}_p};k)$ are $A_\infty$ algebras whose structure we determine up to quasi-isomorphism.

We compare crystal combinatorics of the level $2$ Fock space with the classification of unitary irreducible representations of type B rational Cherednik algebras to study how unitarity behaves under parabolic restriction. We show that the crystal operators that remove boxes preserve the combinatorial conditions for unitarity, and that the parabolic restriction functors categorifying the crystals send irreducible unitary representations to unitary representations. Furthermore, we find the supports of the unitary representations.

Let $G$ be a split connected reductive group over a finite field of characteristic $p > 2$ such that $G_\text {der}$ is absolutely almost simple. We give a geometric construction of perverse $\mathbb {F}_p$-sheaves on the Iwahori affine flag variety of $G$ which are central with respect to the convolution product. We deduce an explicit formula for an isomorphism from the spherical mod $p$ Hecke algebra to the center of the Iwahori mod $p$ Hecke algebra. We also give a formula for the central integral Bernstein elements in the Iwahori mod $p$ Hecke algebra. To accomplish these goals we construct a nearby cycles functor for perverse $\mathbb {F}_p$-sheaves and we use Frobenius splitting techniques to prove some properties of this functor. We also prove that certain equal characteristic analogues of local models of Shimura varieties are strongly $F$-regular, and hence they are $F$-rational and have pseudo-rational singularities.

We show that the automorphism group of a linking system associated to a saturated fusion system $\mathcal {F}$ depends only on $\mathcal {F}$ as long as the object set of the linking system is $\mathrm {Aut}(\mathcal {F})$-invariant. This was known to be true for linking systems in Oliver’s definition, but we demonstrate that the result holds also for linking systems in the considerably more general definition introduced previously by the author of this article. A similar result is proved for linking localities, which are group-like structures corresponding to linking systems. Our argument builds on a general lemma about the existence of an extension of a homomorphism between localities. This lemma is also used to reprove a theorem of Chermak showing that there is a natural bijection between the sets of partial normal subgroups of two possibly different linking localities over the same fusion system.

We show that the Tits index $E_{8,1}^{133}$ cannot be obtained by means of the Tits construction over a field with no odd degree extensions. The proof uses a general method coming from the theory of symmetric spaces. We construct two cohomological invariants, in degrees $6$ and $8$, of the Tits construction and the more symmetric Allison–Faulkner construction of Lie algebras of type $E_8$ and show that these invariants can be used to detect the isotropy rank.

Taking residual finiteness as a starting point, we consider three related finiteness properties: weak subsemigroup separability, strong subsemigroup separability and complete separability. We investigate whether each of these properties is inherited by Schützenberger groups. The main result of this paper states that for a finitely generated commutative semigroup S, these three separability conditions coincide and are equivalent to every $\mathcal {H}$-class of S being finite. We also provide examples to show that these properties in general differ for commutative semigroups and finitely generated semigroups. For a semigroup with finitely many $\mathcal {H}$-classes, we investigate whether it has one of these properties if and only if all its Schützenberger groups have the property.

In [2], Beilinson–Lusztig–MacPherson (BLM) gave a beautiful realization for quantum $\mathfrak {gl}_n$ via a geometric setting of quantum Schur algebras. We introduce the notion of affine Schur superalgebras and use them as a bridge to link the structure and representations of the universal enveloping superalgebra ${\mathcal U}_{\mathbb Q}(\widehat {\mathfrak {gl}}_{m|n})$ of the loop algebra $\widehat {\mathfrak {gl}}_{m|n}$ of ${\mathfrak {gl}}_{m|n}$ with those of affine symmetric groups ${\widehat {{\mathfrak S}}_{r}}$. Then, we give a BLM type realization of ${\mathcal U}_{\mathbb Q}(\widehat {\mathfrak {gl}}_{m|n})$ via affine Schur superalgebras.

The first application of the realization of ${\mathcal U}_{\mathbb Q}(\widehat {\mathfrak {gl}}_{m|n})$ is to determine the action of ${\mathcal U}_{\mathbb Q}(\widehat {\mathfrak {gl}}_{m|n})$ on tensor spaces of the natural representation of $\widehat {\mathfrak {gl}}_{m|n}$. These results in epimorphisms from $\;{\mathcal U}_{\mathbb Q}(\widehat {\mathfrak {gl}}_{m|n})$ to affine Schur superalgebras so that the bridging relation between representations of ${\mathcal U}_{\mathbb Q}(\widehat {\mathfrak {gl}}_{m|n})$ and ${\widehat {{\mathfrak S}}_{r}}$ is established. As a second application, we construct a Kostant type $\mathbb Z$-form for ${\mathcal U}_{\mathbb Q}(\widehat {\mathfrak {gl}}_{m|n})$ whose images under the epimorphisms above are exactly the integral affine Schur superalgebras. In this way, we obtain essentially the super affine Schur–Weyl duality in arbitrary characteristics.