We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
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.
We describe the Schwarzian equations for the 328 completely replicable functions with integral $q$-coefficients [Ford et al., ‘More on replicable functions’, Comm. Algebra 22 (1994) no. 13, 5175–5193].
Let $ZB$ be the center of a $p$-block $B$ of a finite group with defect group $D$. We show that the Loewy length $LL(ZB)$ of $ZB$ is bounded by $|D|/p+p-1$ provided $D$ is not cyclic. If $D$ is nonabelian, we prove the stronger bound $LL(ZB)<\min \{p^{d-1},4p^{d-2}\}$ where $|D|=p^{d}$. Conversely, we classify the blocks $B$ with $LL(ZB)\geqslant \min \{p^{d-1},4p^{d-2}\}$. This extends some results previously obtained by the present authors. Moreover, we characterize blocks with uniserial center.
Harish-Chandra induction and restriction functors play a key role in the representation theory of reductive groups over finite fields. In this paper, extending earlier work of Dat, we introduce and study generalisations of these functors which apply to a wide range of finite and profinite groups, typical examples being compact open subgroups of reductive groups over non-archimedean local fields. We prove that these generalisations are compatible with two of the tools commonly used to study the (smooth, complex) representations of such groups, namely Clifford theory and the orbit method. As a test case, we examine in detail the induction and restriction of representations from and to the Siegel Levi subgroup of the symplectic group $\text{Sp}_{4}$ over a finite local principal ideal ring of length two. We obtain in this case a Mackey-type formula for the composition of these induction and restriction functors which is a perfect analogue of the well-known formula for the composition of Harish-Chandra functors. In a different direction, we study representations of the Iwahori subgroup $I_{n}$ of $\text{GL}_{n}(F)$, where $F$ is a non-archimedean local field. We establish a bijection between the set of irreducible representations of $I_{n}$ and tuples of primitive irreducible representations of smaller Iwahori subgroups, where primitivity is defined by the vanishing of suitable restriction functors.
We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions, which appear in recent advances in the geometric Langlands program. The key technical tools in our arguments are a new descent theory for coherent sheaves or ${\mathcal{D}}$-modules with prescribed singular support and the theory of integral transforms for coherent sheaves developed in the companion paper by Ben-Zvi et al. [Integral transforms for coherent sheaves, J. Eur. Math. Soc. (JEMS), to appear].
Let $G$ be a finite solvable group and let $p$ be a prime. In this note, we prove that $p$ does not divide $\unicode[STIX]{x1D711}(1)$ for every irreducible monomial $p$-Brauer character $\unicode[STIX]{x1D711}$ of $G$ if and only if $G$ has a normal Sylow $p$-subgroup.
Let $(W,S)$ be a finite Coxeter group. Kazhdan and Lusztig introduced the concept of $W$-graphs, and Gyoja proved that every irreducible representation of the Iwahori–Hecke algebra $H(W,S)$ can be realized as a $W$-graph. Gyoja defined an auxiliary algebra for this purpose which—to the best of the author’s knowledge—was never explicitly mentioned again in the literature after Gyoja’s proof (although the underlying ideas were reused). The purpose of this paper is to resurrect this $W$-graph algebra, and to study its structure and its modules. A new explicit description of it as a quotient of a certain path algebra is given. A general conjecture is proposed which would imply strong restrictions on the structure of $W$-graphs. This conjecture is then proven for Coxeter groups of type $I_{2}(m)$, $B_{3}$ and $A_{1}$–$A_{4}$.
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.
(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.
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 M10 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 n2(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.
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 study the extent to which the weak Euclidean and stably free cancellation properties hold for rings of Laurent polynomials with coefficients in an Artinian ring A.
We consider the notion of a free resolution. In general, a free resolution can be of any length depending on the group ring under investigation. The metacyclic groups $G(pq)$ however admit periodic resolutions. In the particular case of $G(21)$ it is possible to achieve a fully diagonalized resolution. In order to achieve a diagonal resolution, we obtain a complete list of indecomposable modules over $\unicode[STIX]{x1D6EC}$. Such a list aids the decomposition of the augmentation ideal (the first syzygy) into a direct sum of indecomposable modules. Therefore, we are able to achieve a diagonalized map here. From this point it is possible to decompose all of the remaining syzygies in terms of indecomposable modules, leaving a diagonal resolution.
When $G$ is a finite solvable group, we prove that $|G|$ can be bounded by a function in the number of irreducible characters with values in fields where $\mathbb{Q}$ is extended by prime power roots of unity. This gives a character theory analog for solvable groups of a theorem of Héthelyi and Külshammer that bounds the order of a finite group in terms of the number of conjugacy classes of elements of prime power order. In particular, we obtain for solvable groups a generalization of Landau’s theorem.
Some classes of finitely generated hyperabelian groups defined in terms of semipermutability and S-semipermutability are studied in the paper. The classification of finitely generated hyperabelian groups all of whose finite quotients are PST-groups recently obtained by Robinson is behind our results. An alternative proof of such a classification is also included in the paper.
We show how to use Jantzen’s sum formula for Weyl modules to prove semisimplicity criteria for endomorphism algebras of $\mathbf{U}_{q}$-tilting modules (for any field $\mathbb{K}$ and any parameter $q\in \mathbb{K}-\{0,-1\}$). As an application, we recover the semisimplicity criteria for the Hecke algebras of types $\mathbf{A}$ and $\mathbf{B}$, the walled Brauer algebras and the Brauer algebras from our more general approach.