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.
(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 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.
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
is the largest regular subsemigroup of $T(V,W)$ and characterized Green’s relations on $T(V,W)$. In this paper, we determine all the maximal regular subsemigroups of $Q$ when $W$ is a finite-dimensional subspace of $V$ over a finite field. Moreover, we compute the rank and idempotent rank of $Q$ when $W$ is an $n$-dimensional subspace of an $m$-dimensional vector space $V$ over a finite field $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.
Let $k$ be a finite extension of $\mathbb{Q}_{p}$, let ${\mathcal{G}}$ be an absolutely simple split reductive group over $k$, and let $K$ be a maximal unramified extension of $k$. To each point in the Bruhat–Tits building of ${\mathcal{G}}_{K}$, Moy and Prasad have attached a filtration of ${\mathcal{G}}(K)$ by bounded subgroups. In this paper we give necessary and sufficient conditions for the dual of the first Moy–Prasad filtration quotient to contain stable vectors for the action of the reductive quotient. Our work extends earlier results by Reeder and Yu, who gave a classification in the case when $p$ is sufficiently large. By passing to a finite unramified extension of $k$ if necessary, we obtain new supercuspidal representations of ${\mathcal{G}}(k)$.
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.
In this paper, we give an explicit realization of the universal SL2-representation rings of free groups by using ‘the ring of component functions’ of SL(2, ℂ)-representations of free groups. We introduce a descending filtration of the ring, and determine the structure of its graded quotients. Then we study the natural action of the automorphism group of a free group on the graded quotients, and introduce a generalized Johnson homomorphism. In the latter part of this paper, we investigate some properties of these homomorphisms from a viewpoint of twisted cohomologies of the automorphism group of a free group.