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.
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.
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$.
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 non-recursive 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 level-zero representations of affine Lie groups. We discuss how our results illuminate certain parallels between the classification of representations of finite-dimensional 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, finite-range 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.
In Ersoy et al. [J. Algebra481 (2017), 1–11], we have proved that if G is a locally finite group with an elementary abelian p-subgroup A of order strictly greater than p2 such that CG(A) is Chernikov and for every non-identity α ∈ A the centralizer CG(α) does not involve an infinite simple group, then G is almost locally soluble. This result is a consequence of another result proved in Ersoy et al. [J. Algebra481 (2017), 1–11], namely: if G is a simple locally finite group with an elementary abelian group A of automorphisms acting on it such that the order of A is greater than p2, the centralizer CG(A) is Chernikov and for every non-identity α ∈ A the set of fixed points CG(α) does not involve an infinite simple groups then G is finite. In this paper, we improve this result about simple locally finite groups: Indeed, suppose that G is a simple locally finite group, consider a finite non-abelian subgroup P of automorphisms of exponent p such that the centralizer CG(P) is Chernikov and for every non-identity α ∈ P the set of fixed points CG(α) does not involve an infinite simple group. We prove that if Aut(G) has such a subgroup, then G ≅PSLp(k) where char k ≠ p and P has a subgroup Q of order p2 such that CG(P) = Q.
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 quasi-split 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 non-archimedean 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 higher-level generalizations over fields of arbitrary characteristic. Our first main result is a ‘super-strong linkage principle’ which provides degree-wise 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 higher-level analogue of the classical Lusztig conjecture over fields of sufficiently large characteristic.
We study the numbers of involutions and their relation to Frobenius–Schur indicators in the groups $\text{SO}^{\pm }(n,q)$ and $\unicode[STIX]{x1D6FA}^{\pm }(n,q)$. Our point of view for this study comes from two motivations. The first is the conjecture that a finite simple group $G$ is strongly real (all elements are conjugate to their inverses by an involution) if and only if it is totally orthogonal (all Frobenius–Schur indicators are 1), and we observe this holds for all finite simple groups $G$ other than the groups $\unicode[STIX]{x1D6FA}^{\pm }(4m,q)$ with $q$ even. We prove computationally that for small $m$ this statement indeed holds for these groups by equating their character degree sums with the number of involutions. We also prove a result on a certain twisted indicator for the groups $\text{SO}^{\pm }(4m+2,q)$ with $q$ odd. Our second motivation is to continue the work of Fulman, Guralnick, and Stanton on generating functions and asymptotics for involutions in classical groups. We extend their work by finding generating functions for the numbers of involutions in $\text{SO}^{\pm }(n,q)$ and $\unicode[STIX]{x1D6FA}^{\pm }(n,q)$ for all $q$, and we use these to compute the asymptotic behavior for the number of involutions in these groups when $q$ is fixed and $n$ grows.