On the cohomology of linear groups over imaginary quadratic fields

Let Gamma be the group GL_N (OO_D), where OO_D is the ring of integers in the imaginary quadratic field with discriminant D<0. In this paper we investigate the cohomology of Gamma for N=3,4 and for a selection of discriminants: D >= -24 when N=3, and D=-3,-4 when N=4. In particular we compute the integral cohomology of Gamma up to p-power torsion for small primes p. Our main tool is the polyhedral reduction theory for Gamma developed by Ash and Koecher. Our results extend work of Staffeldt, who treated the case n=3, D=-4. In a sequel to this paper, we will apply some of these results to the computations with the K-groups K_4 (OO_{D}), when D=-3,-4

Serre presentations of Lie superalgebras

An analogue of Serre's theorem is established for finite dimensional simple Lie superalgebras, which describes presentations in terms of Chevalley generators and Serre type relations relative to all possible choices of Borel subalgebras. The proof of the theorem is conceptually transparent; it also provides an alternative approach to Serre's theorem for ordinary Lie algebras.Comment: 45 page

Mod p Base Change transfer for GL(2)

We discuss Base Change functoriality for mod p eigenforms for GL(2) over number fields. We carry out systematic computer experiments and collect data supporting its existence in cases of field extensions K/F where F is imaginary quadratic and K is CM quartic

On modular forms for some noncongruence subgroups of SL2 (Z)

In this paper, we consider modular forms for finite index subgroups of the modular group whose Fourier coefficients are algebraic. It is well known that the Fourier coefficients of any holomorphic modular form for a congruence subgroup (with algebraic coefficients) have bounded denominators. It was observed by Atkin and Swinnerton-Dyer that this is no longer true for modular forms for noncongruence subgroups and they pointed out that unbounded denominator property is a clear distinction between modular forms for noncongruence and congruence modular forms. It is an open question whether genuine noncongruence modular forms (with algebraic coefficients) always satisfy the unbounded denominator property. Here, we give a partial positive answer to the above open question by constructing special finite index subgroups of SL2 (Z) called character groups and discuss the properties of modular forms for some groups of this kind. © 2007 Elsevier Inc. All rights reserved

Integrality in the Steinberg module and the top-dimensional cohomology of SL_n(O_K)

We prove a new structural result for the spherical Tits building attached to SL_n(K) for many number fields K, and more generally for the fraction fields of many Dedekind domains O: the Steinberg module St_n(K) is generated by integral apartments if and only if the ideal class group cl(O) is trivial. We deduce this integrality by proving that the complex of partial bases of O^n is Cohen-Macaulay. We apply this to prove new vanishing and nonvanishing results for H^{vcd}(SL_n(O_K); Q), where O_K is the ring of integers in a number field and vcd is the virtual cohomological dimension of SL_n(O_K). The (non)vanishing depends on the (non)triviality of the class group of O_K. We also obtain a vanishing theorem for the cohomology H^{vcd}(SL_n(O_K); V) with twisted coefficients V.Comment: 36 pages; final version; to appear in Amer. J. Mat