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.

We prove that a hyperbolic group admits a strongly aperiodic subshift of finite type if and only if it has at most one end.

The affine Deligne–Lusztig variety $X_w(b)$ in the affine flag variety of a reductive group ${\mathbf G}$ depends on two parameters: the $\sigma $-conjugacy class $[b]$ and the element w in the Iwahori–Weyl group $\tilde {W}$ of ${\mathbf G}$. In this paper, for any given $\sigma $-conjugacy class $[b]$, we determine the nonemptiness pattern and the dimension formula of $X_w(b)$ for most $w \in \tilde {W}$.

We improve a recent construction of Andrés Navas to produce the first examples of $C^2$-undistorted diffeomorphisms of the interval that are $C^{1+\alpha }$-distorted (for every ${\alpha < 1}$). We do this via explicit computations due to the failure of an extension to class $C^{1+\alpha }$ of a classical lemma related to the work of Nancy Kopell.

Lusztig’s algorithm of computing generalized Green functions of reductive groups involves an ambiguity on certain scalars. In this paper, for reductive groups of classical type with arbitrary characteristic, we determine those scalars explicitly, and eliminate the ambiguity. Our results imply that all the generalized Green functions of classical type are computable.

We prove that the profinite completion of a profinite projective group is projective.

In this paper, we study the structure of finite groups $G=AB$ which are a weakly mutually $sn$-permutable product of the subgroups A and B, that is, A permutes with every subnormal subgroup of B containing $A \cap B$ and B permutes with every subnormal subgroup of A containing $A \cap B$. We obtain generalisations of known results on mutually $sn$-permutable products.

The paper develops a general theory of orderability of quandles with a focus on link quandles of tame links and gives some general constructions of orderable quandles. We prove that knot quandles of many fibred prime knots are right-orderable, whereas link quandles of most non-trivial torus links are not right-orderable. As a consequence, we deduce that the knot quandle of the trefoil is neither left nor right-orderable. Further, it is proved that link quandles of certain non-trivial positive (or negative) links are not bi-orderable, which includes some alternating knots of prime determinant and alternating Montesinos links. The paper also explores interconnections between orderability of quandles and that of their enveloping groups. The results establish that orderability of link quandles behaves quite differently than that of corresponding link groups.

A permutation group G on a set A is ${\kappa }$-homogeneous iff for all $X,Y\in \bigl [ {A} \bigr ]^ {\kappa } $ with $|A\setminus X|=|A\setminus Y|=|A|$ there is a $g\in G$ with $g[X]=Y$. G is ${\kappa }$-transitive iff for any injective function f with $\operatorname {dom}(f)\cup \operatorname {ran}(f)\in \bigl [ {A} \bigr ]^ {\le {\kappa }} $ and $|A\setminus \operatorname {dom}(f)|=|A\setminus \operatorname {ran}(f)|=|A|$ there is a $g\in G$ with $f\subset g$.

Giving a partial answer to a question of P. M. Neumann [6] we show that there is an ${\omega }$-homogeneous but not ${\omega }$-transitive permutation group on a cardinal ${\lambda }$ provided

1. (i) ${\lambda }<{\omega }_{\omega }$, or

2. (ii) $2^{\omega }<{\lambda }$, and ${\mu }^{\omega }={\mu }^+$ and $\Box _{\mu }$ hold for each ${\mu }\le {\lambda }$ with ${\omega }=\operatorname {cf}({\mu })<{{\mu }}$, or

3. (iii) our model was obtained by adding $(2^{\omega })^+$ many Cohen generic reals to some ground model.

For ${\kappa }>{\omega }$ we give a method to construct large ${\kappa }$-homogeneous, but not ${\kappa }$-transitive permutation groups. Using this method we show that there exist ${\kappa }^+$-homogeneous, but not ${\kappa }^+$-transitive permutation groups on ${\kappa }^{+n}$ for each infinite cardinal ${\kappa }$ and natural number $n\ge 1$ provided $V=L$.

A graph is edge-primitive if its automorphism group acts primitively on the edge set, and $2$-arc-transitive if its automorphism group acts transitively on the set of $2$-arcs. In this paper, we present a classification for those edge-primitive graphs that are $2$-arc-transitive and have soluble edge-stabilizers.

For every pseudovariety $\mathbf {V}$ of finite monoids, let $\mathbf {LV}$ denote the pseudovariety of all finite semigroups all of whose local submonoids belong to $\mathbf {V}$. In this paper, it is shown that, for every nontrivial semidirectly closed pseudovariety $\mathbf {V}$ of finite monoids, the pseudovariety $\mathbf {LV}$ of finite semigroups is also semidirectly closed if, and only if, the given pseudovariety $\mathbf {V}$ is local in the sense of Tilson. This finding resolves a long-standing open problem posed in the second volume of the classic monograph by Eilenberg.

We construct the first examples of normal subgroups of mapping class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the mapping class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal result of Dahmani–Guirardel–Osin, which gives free, purely pseudo-Anosov normal subgroups of mapping class groups. We give two applications of our methods: (1) we produce an explicit proper normal subgroup of the mapping class group that is not contained in any level $m$ congruence subgroup and (2) we produce an explicit example of a pseudo-Anosov mapping class with the property that all of its even powers have free normal closure and its odd powers normally generate the entire mapping class group. The technical theorem at the heart of our work is a new version of the windmill apparatus of Dahmani–Guirardel–Osin, which is tailored to the setting of group actions on the projection complexes of Bestvina–Bromberg–Fujiwara.

We provide a microlocal necessary condition for distinction of admissible representations of real reductive groups in the context of spherical pairs.

Let ${\mathbf {G}}$ be a complex algebraic reductive group and ${\mathbf {H}}\subset {\mathbf {G}}$ be a spherical algebraic subgroup. Let ${\mathfrak {g}},{\mathfrak {h}}$ denote the Lie algebras of ${\mathbf {G}}$ and ${\mathbf {H}}$, and let ${\mathfrak {h}}^{\bot }$ denote the orthogonal complement to ${\mathfrak {h}}$ in ${\mathfrak {g}}^*$. A ${\mathfrak {g}}$-module is called ${\mathfrak {h}}$-distinguished if it admits a nonzero ${\mathfrak {h}}$-invariant functional. We show that the maximal ${\mathbf {G}}$-orbit in the annihilator variety of any irreducible ${\mathfrak {h}}$-distinguished ${\mathfrak {g}}$-module intersects ${\mathfrak {h}}^{\bot }$. This generalises a result of Vogan [Vog91].

We apply this to Casselman–Wallach representations of real reductive groups to obtain information on branching problems, translation functors and Jacquet modules. Further, we prove in many cases that – as suggested by [Pra19, Question 1] – when H is a symmetric subgroup of a real reductive group G, the existence of a tempered H-distinguished representation of G implies the existence of a generic H-distinguished representation of G.

Many of the models studied in the theory of automorphic forms involve an additive character on the unipotent radical of the subgroup $\bf H$, and we have devised a twisted version of our theorem that yields necessary conditions for the existence of those mixed models. Our method of proof here is inspired by the theory of modules over W-algebras. As an application of our theorem we derive necessary conditions for the existence of Rankin–Selberg, Bessel, Klyachko and Shalika models. Our results are compatible with the recent Gan–Gross–Prasad conjectures for nongeneric representations [GGP20].

Finally, we provide more general results that ease the sphericity assumption on the subgroups, and apply them to local theta correspondence in type II and to degenerate Whittaker models.

For a Weyl group W of rank r, the W-Catalan number is the number of antichains of the poset of positive roots, and the W-Narayana numbers refine the W-Catalan number by keeping track of the cardinalities of these antichains. The W-Narayana numbers are symmetric – that is, the number of antichains of cardinality k is the same as the number of cardinality $r-k$. However, this symmetry is far from obvious. Panyushev posed the problem of defining an involution on root poset antichains that exhibits the symmetry of the W-Narayana numbers.

Rowmotion and rowvacuation are two related operators, defined as compositions of toggles, that give a dihedral action on the set of antichains of any ranked poset. Rowmotion acting on root posets has been the subject of a significant amount of research in the recent past. We prove that for the root posets of classical types, rowvacuation is Panyushev’s desired involution.

We study normal reflection subgroups of complex reflection groups. Our approach leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed-space dimension over a reflection group is a product of linear factors involving generalised exponents. Our refinement gives a uniform proof and generalisation of a recent theorem of the second author.