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 send 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 sending content to .
To send content items to your Kindle, first ensure noreply@cambridge.org
is added to your Approved Personal Document Email 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 sending to your Kindle.
Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wifi.
‘@kindle.com’ emails can be delivered even when you are not connected to wifi, but note that service fees apply.
We answer a question of Skalski and Sołan (2016) about inner faithfulness of the Curran’s map of extending a quantum increasing sequence to a quantum permutation. Roughly speaking, we find a inductive setting in which the inner faithfulness of Curran’s map can be boiled down to inner faithfulness of similar map for smaller algebras and then rely on inductive generation result for quantum permutation groups of Brannan, Chirvasitu and Freslon (2018).
The notion of quantized characters was introduced in our previous paper as a natural quantization of characters in the context of asymptotic representation theory for quantum groups. As in the case of ordinary groups, the representation associated with any extreme quantized character generates a von Neumann factor. From the viewpoint of operator algebras (and measurable dynamical systems), it is natural to ask what is the Murray–von Neumann–Connes type of the resulting factor. In this paper, we give a complete solution to this question when the inductive system is of quantum unitary groups
$U_{q}(N)$
.
Consider the action of
$\operatorname{GL}(n,\mathbb{Q}_{p})$
on the
$p$
adic unit sphere
${\mathcal{S}}_{n}$
arising from the linear action on
$\mathbb{Q}_{p}^{n}\setminus \{0\}$
. We show that for the action of a semigroup
$\mathfrak{S}$
of
$\operatorname{GL}(n,\mathbb{Q}_{p})$
on
${\mathcal{S}}_{n}$
, the following are equivalent: (1)
$\mathfrak{S}$
acts distally on
${\mathcal{S}}_{n}$
; (2) the closure of the image of
$\mathfrak{S}$
in
$\operatorname{PGL}(n,\mathbb{Q}_{p})$
is a compact group. On
${\mathcal{S}}_{n}$
, we consider the ‘affine’ maps
$\overline{T}_{a}$
corresponding to
$T$
in
$\operatorname{GL}(n,\mathbb{Q}_{p})$
and a nonzero
$a$
in
$\mathbb{Q}_{p}^{n}$
satisfying
$\Vert T^{1}(a)\Vert _{p}<1$
. We show that there exists a compact open subgroup
$V$
, which depends on
$T$
, such that
$\overline{T}_{a}$
is distal for every nonzero
$a\in V$
if and only if
$T$
acts distally on
${\mathcal{S}}_{n}$
. The dynamics of ‘affine’ maps on
$p$
adic unit spheres is quite different from that on the real unit spheres.
Given a finite group
$\text{G}$
and a field
$K$
, the faithful dimension of
$\text{G}$
over
$K$
is defined to be the smallest integer
$n$
such that
$\text{G}$
embeds into
$\operatorname{GL}_{n}(K)$
. We address the problem of determining the faithful dimension of a
$p$
group of the form
$\mathscr{G}_{q}:=\exp (\mathfrak{g}\otimes _{\mathbb{Z}}\mathbb{F}_{q})$
associated to
$\mathfrak{g}_{q}:=\mathfrak{g}\otimes _{\mathbb{Z}}\mathbb{F}_{q}$
in the Lazard correspondence, where
$\mathfrak{g}$
is a nilpotent
$\mathbb{Z}$
Lie algebra which is finitely generated as an abelian group. We show that in general the faithful dimension of
$\mathscr{G}_{p}$
is a piecewise polynomial function of
$p$
on a partition of primes into Frobenius sets. Furthermore, we prove that for
$p$
sufficiently large, there exists a partition of
$\mathbb{N}$
by sets from the Boolean algebra generated by arithmetic progressions, such that on each part the faithful dimension of
$\mathscr{G}_{q}$
for
$q:=p^{f}$
is equal to
$fg(p^{f})$
for a polynomial
$g(T)$
. We show that for many naturally arising
$p$
groups, including a vast class of groups defined by partial orders, the faithful dimension is given by a single formula of the latter form. The arguments rely on various tools from number theory, model theory, combinatorics and Lie theory.
We study the realization of acyclic cluster algebras as coordinate rings of Coxeter double Bruhat cells in Kac–Moody groups. We prove that all cluster monomials with
$\mathbf{g}$
vector lying in the doubled Cambrian fan are restrictions of principal generalized minors. As a corollary, cluster algebras of finite and affine type admit a complete and nonrecursive description via (ind)algebraic group representations, in a way similar in spirit to the Caldero–Chapoton description via quiver representations. In type
$A_{1}^{(1)}$
, we further show that elements of several canonical bases (generic, triangular, and theta) which complete the partial basis of cluster monomials are composed entirely of restrictions of minors. The discrepancy among these bases is accounted for by continuous parameters appearing in the classification of irreducible levelzero representations of affine Lie groups. We discuss how our results illuminate certain parallels between the classification of representations of finitedimensional algebras and of integrable weight representations of Kac–Moody algebras.
Given a free unitary quantum group
$G=A_{u}(F)$
, with
$F$
not a unitary
$2\times 2$
matrix, we show that the Martin boundary of the dual of
$G$
with respect to any
$G$

${\hat{G}}$
invariant, irreducible, finiterange quantum random walk coincides with the topological boundary defined by Vaes and Vander Vennet. This can be thought of as a quantum analogue of the fact that the Martin boundary of a free group coincides with the space of ends of its Cayley tree.
Let
$G$
be a simple exceptional algebraic group of adjoint type over an algebraically closed field of characteristic
$p>0$
and let
$X=\text{PSL}_{2}(p)$
be a subgroup of
$G$
containing a regular unipotent element
$x$
of
$G$
. By a theorem of Testerman,
$x$
is contained in a connected subgroup of
$G$
of type
$A_{1}$
. In this paper we prove that with two exceptions,
$X$
itself is contained in such a subgroup (the exceptions arise when
$(G,p)=(E_{6},13)$
or
$(E_{7},19)$
). This extends earlier work of Seitz and Testerman, who established the containment under some additional conditions on
$p$
and the embedding of
$X$
in
$G$
. We discuss applications of our main result to the study of the subgroup structure of finite groups of Lie type.
For any prime number
$p$
and field
$k$
, we characterize the
$p$
retract rationality of an algebraic
$k$
torus in terms of its character lattice. We show that a
$k$
torus is retract rational if and only if it is
$p$
retract rational for every prime
$p$
, and that the Noether problem for retract rationality for a group of multiplicative type
$G$
has an affirmative answer for
$G$
if and only if the Noether problem for
$p$
retract rationality for
$G$
has a positive answer for all
$p$
. For every finite set of primes
$S$
we give examples of tori that are
$p$
retract rational if and only if
$p\notin S$
.
We construct, over any CM field, compatible systems of
$l$
adic Galois representations that appear in the cohomology of algebraic varieties and have (for all
$l$
) algebraic monodromy groups equal to the exceptional group of type
$E_{6}$
.
A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander–Reiten triangles for the
$\mathfrak{p}$
local and
$\mathfrak{p}$
torsion subcategories of the stable category, for each homogeneous prime ideal
$\mathfrak{p}$
in the cohomology ring of the group scheme.
We show that for any n and q, the number of real conjugacy classes in
$ \rm{PGL}(\it{n},\mathbb{F}_q) $
is equal to the number of real conjugacy classes of
$ \rm{GL}(\it{n},\mathbb{F}_q) $
which are contained in
$ \rm{SL}(\it{n},\mathbb{F}_q) $
, refining a result of Lehrer [J. Algebra36(2) (1975), 278–286] and extending the result of Gill and Singh [J. Group Theory14(3) (2011), 461–489] that this holds when n is odd or q is even. Further, we show that this quantity is equal to the number of real conjugacy classes in
$ \rm{PGU}(\it{n},\mathbb{F}_q) $
, and equal to the number of real conjugacy classes of
$ \rm{U}(\it{n},\mathbb{F}_q) $
which are contained in
$ \rm{SU}(\it{n},\mathbb{F}_q) $
, refining results of Gow [Linear Algebra Appl.41 (1981), 175–181] and Macdonald [Bull. Austral. Math. Soc.23(1) (1981), 23–48]. We also give a generating function for this common quantity.
Masures are generalizations of Bruhat–Tits buildings. They were introduced by Gaussent and Rousseau to study Kac–Moody groups over ultrametric fields that generalize reductive groups. Rousseau gave an axiomatic definition of these spaces. We propose an equivalent axiomatic definition, which is shorter, more practical, and closer to the axiom of Bruhat–Tits buildings. Our main tool to prove the equivalence of the axioms is the study of the convexity properties in masures.
In this paper, we revisit the theory of induced representations in the setting of locally compact quantum groups. In the case of induction from open quantum subgroups, we show that constructions of Kustermans and Vaes are equivalent to the classical, and much simpler, construction of Rieffel. We also prove in general setting the continuity of induction in the sense of Vaes with respect to weak containment.
We investigate the structure of root data by considering their decomposition as a product of a semisimple root datum and a torus. Using this decomposition, we obtain a parametrization of the isomorphism classes of all root data. By working at the level of root data, we introduce the notion of a smooth regular embedding of a connected reductive algebraic group, which is a refinement of the commonly used regular embeddings introduced by Lusztig. In the absence of Steinberg endomorphisms, such embeddings were constructed by Benjamin Martin. In an unpublished manuscript, Asai proved three key reduction techniques that are used for reducing statements about arbitrary connected reductive algebraic groups, equipped with a Frobenius endomorphism, to those whose derived subgroup is simple and simply connected. Using our investigations into root data we give new proofs of Asai's results and generalize them so that they are compatible with Steinberg endomorphisms. As an illustration of these ideas, we answer a question posed to us by Olivier Dudas concerning unipotent supports.
How many generators and relations does
$\text{SL}\,_{n}(\mathbb{F}_{q}[t,t^{1}])$
need? In this paper we exhibit its explicit presentation with
$9$
generators and
$44$
relations. We investigate presentations of affine Kac–Moody groups over finite fields. Our goal is to derive finite presentations, independent of the field and with as few generators and relations as we can achieve. It turns out that any simply connected affine Kac–Moody group over a finite field has a presentation with at most 11 generators and 70 relations. We describe these presentations explicitly type by type. As a consequence, we derive explicit presentations of Chevalley groups
$G(\mathbb{F}_{q}[t,t^{1}])$
and explicit profinite presentations of profinite Chevalley groups
$G(\mathbb{F}_{q}[[t]])$
.
In this paper we establish Springer correspondence for the symmetric pair
$(\text{SL}(N),\text{SO}(N))$
using Fourier transform, parabolic induction functor, and a nearby cycle sheaf construction. As an application of our results we see that the cohomology of Hessenberg varieties can be expressed in terms of irreducible representations of Hecke algebras of symmetric groups at
$q=1$
. Conversely, we see that the irreducible representations of Hecke algebras of symmetric groups at
$q=1$
arise in geometry.
Given a locally finite leafless tree
$T$
, various algebraic groups over local fields might appear as closed subgroups of
$\operatorname{Aut}(T)$
. We show that the set of closed cocompact subgroups of
$\operatorname{Aut}(T)$
that are isomorphic to a quasisplit simple algebraic group is a closed subset of the Chabauty space of
$\operatorname{Aut}(T)$
. This is done via a study of the integral Bruhat–Tits model of
$\operatorname{SL}_{2}$
and
$\operatorname{SU}_{3}^{L/K}$
, that we carry on over arbitrary local fields, without any restriction on the (residue) characteristic. In particular, we show that in residue characteristic
$2$
, the Tits index of simple algebraic subgroups of
$\operatorname{Aut}(T)$
is not always preserved under Chabauty limits.
Let
$G$
be an orthogonal, symplectic or unitary group over a nonarchimedean local field of odd residual characteristic. This paper concerns the study of the “wild part” of an irreducible smooth representation of
$G$
, encoded in its “semisimple character”. We prove two fundamental results concerning them, which are crucial steps toward a complete classification of the cuspidal representations of
$G$
. First we introduce a geometric combinatorial condition under which we prove an “intertwining implies conjugacy” theorem for semisimple characters, both in
$G$
and in the ambient general linear group. Second, we prove a Skolem–Noether theorem for the action of
$G$
on its Lie algebra; more precisely, two semisimple elements of the Lie algebra of
$G$
which have the same characteristic polynomial must be conjugate under an element of
$G$
if there are corresponding semisimple strata which are intertwined by an element of
$G$
.
We introduce a path theoretic framework for understanding the representation theory of (quantum) symmetric and general linear groups and their higherlevel generalizations over fields of arbitrary characteristic. Our first main result is a ‘superstrong linkage principle’ which provides degreewise upper bounds for graded decomposition numbers (this is new even in the case of symmetric groups). Next, we generalize the notion of homomorphisms between Weyl/Specht modules which are ‘generically’ placed (within the associated alcove geometries) to cyclotomic Hecke and diagrammatic Cherednik algebras. Finally, we provide evidence for a higherlevel analogue of the classical Lusztig conjecture over fields of sufficiently large characteristic.
We show that integral monodromy groups of Kloosterman
$\ell$
adic sheaves of rank
$n\geqslant 2$
on
$\mathbb{G}_{m}/\mathbb{F}_{q}$
are as large as possible when the characteristic
$\ell$
is large enough, depending only on the rank. This variant of Katz’s results over
$\mathbb{C}$
was known by works of Gabber, Larsen, Nori and Hall under restrictions such as
$\ell$
large enough depending on
$\operatorname{char}(\mathbb{F}_{q})$
with an ineffective constant, which is unsuitable for applications. We use the theory of finite groups of Lie type to extend Katz’s ideas, in particular the classification of maximal subgroups of Aschbacher and Kleidman–Liebeck. These results will apply to study hyperKloosterman sums and their reductions in forthcoming work.