We prove that a finite coprime linear group $G$ in characteristic $p\geq \frac{1}{2}(|G|-1)$ has a regular orbit. This bound on $p$ is best possible. We also give an application to blocks with abelian defect groups.

Let $\unicode[STIX]{x1D70E}=\{\unicode[STIX]{x1D70E}_{i}\mid i\in I\}$ be a partition of the set of all primes $\mathbb{P}$ . Let $\unicode[STIX]{x1D70E}_{0}\in \unicode[STIX]{x1D6F1}\subseteq \unicode[STIX]{x1D70E}$ and let $\mathfrak{I}$ be a class of finite $\unicode[STIX]{x1D70E}_{0}$ -groups which is closed under extensions, epimorphic images and subgroups. We say that a finite group $G$ is $\unicode[STIX]{x1D6F1}_{\mathfrak{I}}$ -primary provided $G$ is either an $\mathfrak{I}$ -group or a $\unicode[STIX]{x1D70E}_{i}$ -group for some $\unicode[STIX]{x1D70E}_{i}\in \unicode[STIX]{x1D6F1}\setminus \{\unicode[STIX]{x1D70E}_{0}\}$ and we say that a subgroup $A$ of an arbitrary group $G^{\ast }$ is $\unicode[STIX]{x1D6F1}_{\mathfrak{I}}$ -subnormal in $G^{\ast }$ if there is a subgroup chain $A=A_{0}\leq A_{1}\leq \cdots \leq A_{t}=G^{\ast }$ such that either $A_{i-1}\unlhd A_{i}$ or $A_{i}/(A_{i-1})_{A_{i}}$ is $\unicode[STIX]{x1D6F1}_{\mathfrak{I}}$ -primary for all $i=1,\ldots ,t$ . We prove that the set ${\mathcal{L}}_{\unicode[STIX]{x1D6F1}_{\mathfrak{I}}}(G)$ of all $\unicode[STIX]{x1D6F1}_{\mathfrak{I}}$ -subnormal subgroups of $G$ forms a sublattice of the lattice of all subgroups of $G$ and we describe the conditions under which the lattice ${\mathcal{L}}_{\unicode[STIX]{x1D6F1}_{\mathfrak{I}}}(G)$ is modular.

Let $G$ be a group hyperbolic relative to a finite collection of subgroups ${\mathcal{P}}$. Let ${\mathcal{F}}$ be the family of subgroups consisting of all the conjugates of subgroups in ${\mathcal{P}}$, all their subgroups, and all finite subgroups. Then there is a cocompact model for $E_{{\mathcal{F}}}G$. This result was known in the torsion-free case. In the presence of torsion, a new approach was necessary. Our method is to exploit the notion of dismantlability. A number of sample applications are discussed.

(Torsion in the cohomology of Kottwitz–Harris–Taylor Shimura varieties) When the level at $l$ of a Shimura variety of Kottwitz–Harris–Taylor is not maximal, its cohomology with coefficients in a $\overline{\mathbb{Z}}_{l}$-local system isn’t in general torsion free. In order to prove torsion freeness results of the cohomology, we localize at a maximal ideal $\mathfrak{m}$ of the Hecke algebra. We then prove a result of torsion freeness resting either on $\mathfrak{m}$ itself or on the Galois representation $\overline{\unicode[STIX]{x1D70C}}_{\mathfrak{m}}$ associated to it. Concerning the torsion, in a rather restricted case than Caraiani and Scholze (« On the generic part of the cohomology of compact unitary Shimura varieties », Preprint, 2015), we prove that the torsion doesn’t give new Satake parameters systems by showing that each torsion cohomology class can be raised in the free part of the cohomology of a Igusa variety.

In this paper, we investigate regular semigroups that possess a normal idempotent. First, we construct a nonorthodox nonidempotent-generated regular semigroup which has a normal idempotent. Furthermore, normal idempotents are described in several different ways and their properties are discussed. These results enable us to provide conditions under which a regular semigroup having a normal idempotent must be orthodox. Finally, we obtain a simple method for constructing all regular semigroups that contain a normal idempotent.

Let $G$ be a finite group with $\mathsf{soc}(G)=\text{A}_{c}$ for $c\geq 5$ . A characterization of the subgroups with square-free index in $G$ is given. Also, it is shown that a $(G,2)$ -arc-transitive graph of square-free order is isomorphic to a complete graph, a complete bipartite graph with a matching deleted or one of $11$ other graphs.

A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a permutoid based on a finite set can be completed to a finite permutation group. In this note we prove Cameron’s conjecture by relating it to our recent work on the profinite triviality problem for finitely presented groups. We also prove that the existence problem for finite developments of rigid pseudogroups is unsolvable. In an appendix, Steinberg recasts these results in terms of inverse semigroups.

We introduce a new method to study rational conjugacy of torsion units in integral group rings using integral and modular representation theory. Employing this new method, we verify the first Zassenhaus conjecture for the group PSL(2, 19). We also prove the Zassenhaus conjecture for PSL(2, 23). In a second application we show that there are no normalized units of order 6 in the integral group rings of M 10 and PGL(2, 9). This completes the proof of a theorem of Kimmerle and Konovalov that shows that the prime graph question has an affirmative answer for all groups having an order divisible by at most three different primes.

Fix an arbitrary finite group A of order a, and let X(n, q) denote the set of homomorphisms from A to the finite general linear group GLn (q). The size of X(n, q) is a polynomial in q. In this note, it is shown that generically this polynomial has degree n 2(1 – a −1) − εr and leading coefficient mr , where εr and mr are constants depending only on r := n mod a. We also present an algorithm for explicitly determining these constants.

A geometric extension algebra is an extension algebra of a semi-simple perverse sheaf (allowing shifts), e.g., a push-forward of the constant sheaf under a projective map. Particular nice situations arise for collapsings of homogeneous vector bundles over homogeneous spaces. In this paper, we study the relationship between partial flag and complete flag cases. Our main result is that the locally finite modules over the geometric extension algebras are related by a recollement. As examples, we investigate parabolic affine nil Hecke algebras, geometric extension algebras associated with parabolic Springer maps and an example of Reineke of a parabolic quiver-graded Hecke algebra.

Let G be a polycyclic, metabelian or soluble of type (FP)∞ group such that the class Rat(G) of all rational subsets of G is a Boolean algebra. Then, G is virtually abelian. Every soluble biautomatic group is virtually abelian.

We introduce coarse flow spaces for relatively hyperbolic groups and use them to verify a regularity condition for the action of relatively hyperbolic groups on their boundaries. As an application the Farrell–Jones conjecture for relatively hyperbolic groups can be reduced to the peripheral subgroups (up to index-2 overgroups in the $L$ -theory case).

In this paper, we give an explicit construction of a quasi-idempotent in the $q$ -rook monoid algebra $R_{n}(q)$ and show that it generates the whole annihilator of the tensor space $U^{\otimes n}$ in $R_{n}(q)$ .

We prove that spin groups act generically freely on various spinor modules, in the sense of group schemes and in a way that does not depend on the characteristic of the base field. As a consequence, we extend the surprising calculation of the essential dimension of spin groups and half-spin groups in characteristic zero by Brosnan et al. [Essential dimension, spinor groups, and quadratic forms, Ann. of Math. (2) 171 (2010), 533–544], and Chernousov and Merkurjev [Essential dimension of spinor and Clifford groups, Algebra Number Theory 8 (2014), 457–472] to fields of characteristic different from two. We also complete the determination of generic stabilizers in spin and half-spin groups of low rank.

If $(G,V)$ is a polar representation with Cartan subspace $\mathfrak{c}$ and Weyl group $W$ , it is shown that there is a natural morphism of Poisson schemes $\mathfrak{c}\oplus \mathfrak{c}^{\ast }/W\rightarrow V\oplus V^{\ast }/\!\!/\!\!/G$ . This morphism is conjectured to be an isomorphism of the underlying reduced varieties if $(G,V)$ is visible. The conjecture is proved for visible stable locally free polar representations and some other examples.

We characterise the elements of the (maximum) idempotent-generated subsemigroup of the Kauffman monoid in terms of combinatorial data associated with certain normal forms. We also calculate the smallest size of a generating set and idempotent generating set.

Asymptotic triangulations can be viewed as limits of triangulations under the action of the mapping class group. In the case of the annulus, such triangulations have been introduced in K. Baur and G. Dupont (Compactifying exchange graphs: Annuli and tubes, Ann. Comb.3(18) (2014), 797–839). We construct an alternative method of obtaining these asymptotic triangulations using Coxeter transformations. This provides us with an algebraic and combinatorial framework for studying these limits via the associated quivers.

Let $V$ be a vector space and let $T(V)$ denote the semigroup (under composition) of all linear transformations from $V$ into $V$ . For a fixed subspace $W$ of $V$ , let $T(V,W)$ be the semigroup consisting of all linear transformations from $V$ into $W$ . In 2008, Sullivan [‘Semigroups of linear transformations with restricted range’, Bull. Aust. Math. Soc.77(3) (2008), 441–453] proved that

$$\begin{eqnarray}\displaystyle Q=\{\unicode[STIX]{x1D6FC}\in T(V,W):V\unicode[STIX]{x1D6FC}\subseteq W\unicode[STIX]{x1D6FC}\} & & \displaystyle \nonumber\end{eqnarray}$$

$T(V,W)$

$T(V,W)$

$Q$

$W$

$V$

$Q$

$W$

$n$

$m$

$V$

$F$

We study generalized and degenerate Whittaker models for reductive groups over local fields of characteristic zero (archimedean or non-archimedean). Our main result is the construction of epimorphisms from the generalized Whittaker model corresponding to a nilpotent orbit to any degenerate Whittaker model corresponding to the same orbit, and to certain degenerate Whittaker models corresponding to bigger orbits. We also give choice-free definitions of generalized and degenerate Whittaker models. Finally, we explain how our methods imply analogous results for Whittaker–Fourier coefficients of automorphic representations. For $\text{GL}_{n}(\mathbb{F})$ this implies that a smooth admissible representation $\unicode[STIX]{x1D70B}$ has a generalized Whittaker model ${\mathcal{W}}_{{\mathcal{O}}}(\unicode[STIX]{x1D70B})$ corresponding to a nilpotent coadjoint orbit ${\mathcal{O}}$ if and only if ${\mathcal{O}}$ lies in the (closure of) the wave-front set $\operatorname{WF}(\unicode[STIX]{x1D70B})$ . Previously this was only known to hold for $\mathbb{F}$ non-archimedean and ${\mathcal{O}}$ maximal in $\operatorname{WF}(\unicode[STIX]{x1D70B})$ , see Moeglin and Waldspurger [Modeles de Whittaker degeneres pour des groupes p-adiques, Math. Z. 196 (1987), 427–452]. We also express ${\mathcal{W}}_{{\mathcal{O}}}(\unicode[STIX]{x1D70B})$ as an iteration of a version of the Bernstein–Zelevinsky derivatives [Bernstein and Zelevinsky, Induced representations of reductive p-adic groups. I., Ann. Sci. Éc. Norm. Supér. (4) 10 (1977), 441–472; Aizenbud et al., Derivatives for representations of $\text{GL}(n,\mathbb{R})$ and $\text{GL}(n,\mathbb{C})$ , Israel J. Math. 206 (2015), 1–38]. This enables us to extend to $\text{GL}_{n}(\mathbb{R})$ and $\text{GL}_{n}(\mathbb{C})$ several further results by Moeglin and Waldspurger on the dimension of ${\mathcal{W}}_{{\mathcal{O}}}(\unicode[STIX]{x1D70B})$ and on the exactness of the generalized Whittaker functor.