Generic representations of the finite general linear groups and the Steenrod algebra: II

The category of generic representations over the finite fieldF _q , used in PartI to study modules over the Steenrod algebra, is here related to the modular representation theory of the groups GL _n (F _q ). This leads to a simple and elegant approach to the classic objects of study: irreducible representations, extensions of modules, homology stability, etc. Connections to current research in algebraicK-theory involving stableK-theory and Topological Hochschild Homology are also explained.Partially funded by the NSF.     

The image of Colmez’s Montreal functor

We prove a conjecture of Colmez concerning the reduction modulo p of invariant lattices in irreducible admissible unitary p-adic Banach space representations of GL₂(Q _{?? p} ) with p≥5. This enables us to restate nicely the p-adic local Langlands correspondence for GL₂(Q _{?? p} ) and deduce a conjecture of Breuil on irreducible admissible unitary completions of locally algebraic representations.     

Scalar products in models with a GL(3) trigonometric R-matrix: Highest coefficient

We study quantum integrable models with a GL(3) trigonometric R-matrix solvable by the nested algebraic Bethe ansatz. Scalar products of Bethe vectors in such models can be expressed in terms of bilinear combinations of the highest coefficients. We show that there exist two different highest coefficients in the models with a GL(3) trigonometric R-matrix. We obtain various representations for the highest coefficients in terms of sums over partitions. We also prove several important properties of the highest coefficients, which are necessary for evaluating the scalar products.     

The singular linear preservers of non-singular matrices

Given an arbitrary field K, we reduce the determination of the singular endomorphisms f of M_n(K) such that f(GL_n(K))⊂GL_n(K) to the classification of n-dimensional division algebras over K. Our method, which is based upon Dieudonné’s theorem on singular subspaces of M_n(K), also yields a proof for the classical non-singular case.     

Constructible Matrix Groups

We prove that the additive group of a ring K is constructible if the group GL ₂ (K) is constructible. It is stated that under one extra condition on K, the constructibility of GL ₂ (K) implies that K is constructible as a module over its subring L generated by all invertible elements of the ring L; this is true, in particular, if K coincides with L, for instance, if K is a field or a group ring of an Abelian group with the specified property. We construct an example of a commutative associative ring K with 1 such that its multiplicative group K* is constructible but its additive group is not. It is shown that for a constructible group G represented by matrices over a field, the factors w.r.t. members of the upper central series are also constructible. It is proved that a free product of constructible groups is again constructible, and conditions are specified under which relevant statements hold of free products with amalgamated subgroup; this is true, in particular, for the case where an amalgamated subgroup is finite. Also we give an example of a constructible group GL ₂ (K) with a non-constructible ring GL. Similar results are valid for the case where the group SL ₂ (K) is treated in place of GL ₂ (K) .     

Operations on Hypermaps,and Outer Automorphisms

We present a group ℌ, isomorphic to PGL(2, ℤ), of operations on hypermaps, and a group ℌ, isomorphic to GL(2, ℤ), of operations on oriented hypermaps without boundary. These are induced by the group of automorphisms of a certain group G whose transitive permutation representations correspond to hypermaps.     

On cuspidal representations of general linear groups over discrete valuation rings

We define a new notion of cuspidality for representations of GL _n over a finite quotient o _k of the ring of integers o of a non-Archimedean local field F using geometric and infinitesimal induction functors, which involve automorphism groups G _λ of torsion o-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 (o _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 (o _k ) is established for representations which are not contained in an infinitesimally induced representation. All the cuspidal representations for GL₄(o₂) are constructed. Not all these representations are strongly cuspidal.     

Correspondance de Jacquet-Langlands pour les corps locaux de caractéristique non nulle

In this article we prove the Jacquet-Langlands local correspondence in non-zero characteristic. Let F be a local field of non-zero charactersitic and G′ an inner form of GL_n(F); then, following [17], we prove relations between the representation theory of G′ and the representation theory of an inner form of GL_n(L), where L is a local field of zero characteristic close to F. The proof of the Jacquet-Langlands correspondence between G′ and GL_n(F) is done using the above results and ideas from the proof by Deligne, Kazhdan and Vignéras [10] of the zero characteristic case. We also get the following, already known in zero characteristic: orthogonality relations for G′, inequality involving conductor and level for representations of G′ and finiteness for automorphic cuspidal representations with fixed component at almost every place for an inner form of GL_n over a global field of non-zero characteristic.     

Completing an extension of Tunnell's theorem

We look at a special case of a familiar problem: Given a locally compact group G, a subgroup H and a complex representation π₊ of G how does π₊ decompose on restriction to H. Here G is GL⁺(2,F), where F is a nonarchimedian local field of characteristic not two, K a separable quadratic extension of F, GL⁺(2,F) the subgroup of index 2 in GL(2,F) consisting of those matrices whose determinant is in NK/F(K^∗), π₊ is an irreducible, admissible supercuspidal representation of GL⁺(2,F) and H=K^∗ under an embedding of K^∗ into GL(2,F).     

Global Jacquet–Langlands correspondence,multiplicity one and classification of automorphic representations

In this paper we generalize the local Jacquet-Langlands correspondence to all unitary irreducible representations. We prove the global Jacquet-Langlands correspondence in characteristic zero. As consequences we obtain the multiplicity one and strong multiplicity one Theorems for inner forms of GL(n) as well as a classification of the residual spectrum and automorphic representations in analogy with results proved by Mœglin–Waldspurger and Jacquet–Shalika for GL(n).     

Langlands-shahidi method and poles of automorphicL-functions II

We use Langlands-Shahidi method and the observation that the local components of residual automorphic representations are unitary representations, to study the Rankin-SelbergL-functions of GL _k × classical groups. Especially we prove thatL(s, σ ×τ) is holomorphic, except possibly ats=0, 1/2, 1, whereσ is a cuspidal representation of GL _k which satisfies weak Ramanujan property in the sense of Cogdell and Piatetski-Shapiro andτ is any generic cuspidal representation of SO_2l+1. Also we study the twisted symmetric cubeL-functions, twisted by cuspidal representations of GL₂. Partially supported by NSF grant DMS9610387.     

Restriction of representations of metaplectic GL<Subscript>2</Subscript>(<Emphasis Type="Italic">F</Emphasis>) to tori

Let F be a non-archimedean local field. We study the restriction of irreducible admissible genuine representations of the twofold metaplectic cover \({\widetilde {GL}_2}\) of GL₂(F) to the inverse image in \({\widetilde {GL}_2}\) of a maximal torus in GL₂(F).     

Banach space representations and Iwasawa theory

We develop a duality theory between the continuous representations of a compactp-adic Lie groupG in Banach spaces over a givenp-adic fieldK and certain compact modules over the completed group ringo _K[[G]]. We then introduce a “finiteness” condition for Banach space representations called admissibility. It will be shown that under this duality admissibility corresponds to finite generation over the ringK[[G]]: =K ⊗o _K[[G]]. Since this latter ring is noetherian it follows that the admissible representations ofG form an abelian category. We conclude by analyzing the irreducibility properties of the continuous principal series of the groupG: = GL₂(ℤ _p ).     

The characterization of theta-distinguished representations of GL(<Emphasis Type="Italic">n</Emphasis>)

Let θ and θ’ be a pair of exceptional representations in the sense of Kazhdan and Patterson [KP84], of a metaplectic double cover of GL _n . The tensor θ ? θ’ is a (very large) representation of GL _n . We characterize its irreducible generic quotients. In the square-integrable case, these are precisely the representations whose symmetric square L-function has a pole at s = 0. Our proof of this case involves a new globalization result. In the general case these are the representations induced from distinguished data or pairs of representations and their contragredients. The combinatorial analysis is based on a complete determination of the twisted Jacquet modules of θ. As a corollary, θ is shown to admit a new “metaplectic Shalika model”.     

The unramified computation of Rankin–Selberg integrals expressed in terms of Bessel models for split orthogonal groups: Part I

In this paper, we compute the local integrals, with normalized unramified data, over a p-adic field F, arising from general Rankin–Selberg integrals for SO _m × GL_r+k+1, where the orthogonal group is split over F, \(k \leqslant \left[ {\frac{{m - 1}}{2}} \right]\), and the irreducible representation of SO _m (F) has a Bessel model with respect to an irreducible representation of the split orthogonal group SO_m?2k?1(F). Our proof is by “analytic continuation from the unramified computation in the generic case”. We let the unramified parameters of the representations involved vary, and express the local integrals in terms of the Whittaker models of the representations, which exist at points in general position. Then we apply analytic continuation and the known unramified computation in the generic case. We discuss some applications to poles of partial L-functions and functorial lifting.     

K- and L-theory of group rings over GL n (Z)

We prove the K- and L-theoretic Farrell-Jones Conjecture (with coefficients in additive categories) for GL _n (Z).