BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We give a definition of a class of Dedekind domains which includes the rings of integers of global fields and give a proof that all rings in this class have finite ideal class group. We also prove that this class coincides with the class of rings of integers of global fields.
Let Fq be a finite field of characteristic p and let W2(Fq) be the ring of Witt vectors of length two over Fq. We prove that for any integer n such that p divides n, the groups SLn(Fq[t]/t2) and SLn(W2(Fq)) have the same number of irreducible representations of dimension d, for each d.
We compute the representation zeta functions of some finitely generated nilpotent groups associated to unipotent group schemes over rings of integers in number fields. These group schemes are defined by Lie lattices whose presentations are modelled on certain prehomogeneous vector spaces. Our method is based on evaluating p-adic integrals associated to certain rank varieties of matrices of linear forms.
In this paper we study higher Deligne--Lusztig representations of reductive groups over finite quotients of discrete valuation rings. At even levels, we show that these geometrically constructed representations coincide with certain induced representations in the generic case; this gives a solution to a problem raised by Lusztig. In particular, we determine the dimensions of these representations. As an immediate application we verify a conjecture of Letellier for GL2 and GL3.
Let A be an Artinian local ring with algebraically closed residue field k, and let G be an affine smooth group scheme over A. The Greenberg functor F associates to G a linear algebraic group G:=(FG)(k) over k, such that G≅G(A). We prove that if G is a reductive group scheme over A, and T is a maximal torus of G, then T is a Cartan subgroup of G, and every Cartan subgroup of G is obtained uniquely in this way. The proof is based on establishing a Nullstellensatz analogue for smooth affine schemes with reduced fibre over A, and that the Greenberg functor preserves certain normaliser group schemes over A. Moreover, we prove that if G is reductive and P is a parabolic subgroup of G, then P is a self-normalising subgroup of G, and if B and B′ are two Borel subgroups of G, then the corresponding subgroups B and B′ are conjugate in G.
We study representation zeta functions of finitely generated, torsion-free nilpotent groups which are rational points of unipotent group schemes over rings of integers of number fields. Using the Kirillov orbit method and p-adic integration, we prove rationality and functional equations for almost all local factors of the Euler products of these zeta functions. We further give explicit formulae, in terms of Dedekind zeta functions, for the zeta functions of class-2-nilpotent groups obtained from three infinite families of group schemes, generalising the integral Heisenberg group. As an immediate corollary, we obtain precise asymptotics for the representation growth of these groups, and key analytic properties of their zeta functions, such as meromorphic continuation. We express the local factors of these zeta functions in terms of generating functions for finite Weyl groups of type B. This allows us to establish a formula for the joint distribution of three functions, or 'statistics', on such Weyl groups. Finally, we compare our explicit formulae to p-adic integrals associated to relative invariants of three infinite families of prehomogeneous vector spaces.
We introduce a new statistic on the hyperoctahedral groups (Coxeter groups of type B), and give a conjectural formula for its signed distributions over arbitrary descent classes. The statistic is analogous to the classical Coxeter length function, and features a parity condition. For descent classes which are singletons the conjectured formula gives the Poincaré polynomials of the varieties of symmetric matrices of fixed rank. For several descent classes we prove the conjectural formula. For this we construct suitable "supporting sets" for the relevant generating functions. We prove cancellations on the complements of these supporting sets using suitably defined sign reversing involutions.
We prove that if R is a principal ideal ring and A\in\M_n(R) is a matrix with trace zero, then A is a commutator, that is, A=XY-YX for some X,Y\in\M_n(R). This generalises the corresponding result over fields due to Albert and Muckenhoupt, as well as that over Z due to Laffey and Reams, and as a by-product we obtain new simplified proofs of these results. We also establish a normal form for similarity classes of matrices over PIDs, generalising a result of Laffey and Reams. This normal form is a main ingredient in the proof of the result on commutators.
We give a generalisation of Deligne-Lusztig varieties for general and special linear groups over finite quotients of the ring of integers in a non-archimedean local field. Previously, a generalisation was given by Lusztig by attaching certain varieties to unramified maximal tori inside Borel subgroups. In this paper we associate a family of so-called extended Deligne-Lusztig varieties to all tamely ramified maximal tori of the group. Moreover, we analyse the structure of various generalised Deligne-Lusztig varieties, and show that the "unramified" varieties, including a certain natural generalisation, do not produce all the irreducible representations in general. On the other hand, we prove results which together with some computations of Lusztig show that for $\SL_{2}(\mathbb{F}_{q}[[\varpi]]/(\varpi^{2}))$, with odd q, the extended Deligne-Lusztig varieties do indeed afford all the irreducible representations.
We define a new notion of cuspidality for representations of $\GL_n$ over a finite quotient $\Oh_k$ of the ring of integers $\Oh$ of a non-Archimedean local field F using geometric and infinitesimal induction functors, which involve automorphism groups Gλ of torsion $\Oh$\nobreakdash-modules. When n is a prime, we show that this notion of cuspidality is equivalent to strong cuspidality, which arises in the construction of supercuspidal representations of $\GL_n(F)$. We show that strongly cuspidal representations share many features of cuspidal representations of finite general linear groups. In the function field case, we show that the construction of the representations of $\GL_n(\Oh_k)$ for k≥2 for all n is equivalent to the construction of the representations of all the groups Gλ. A functional equation for zeta functions for representations of $\GL_n(\Oh_k)$ is established for representations which are not contained in an infinitesimally induced representation. All the cuspidal representations for $\GL_4(\Oh_2)$ are constructed. Not all these representations are strongly cuspidal.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.