<Emphasis Type="Italic">p</Emphasis>-Adic limit of the Fourier coefficients of weakly holomorphic modular forms of half integral weight

Serre obtained the p-adic limit of the integral Fourier coefficients of modular forms on SL ₂(ℤ) for p = 2, 3, 5, 7. In this paper, we extend the result of Serre to weakly holomorphic modular forms of half integral weight on Γ₀(4N) for N = 1, 2, 4. The proof is based on linear relations among Fourier coefficients of modular forms of half integral weight. As applications to our main result, we obtain congruences on various modular objects, such as those for Borcherds exponents, for Fourier coefficients of quotients of Eisentein series and for Fourier coefficients of Siegel modular forms on the Maass Space.     

Q-universal varieties of bounded lattices

A quasivariety K of algebraic systems of finite type is said to be Q-universal if, for any quasivariety M of finite type, L(M) is a homomorphic image of a sublattice of L(K), where L(M) and L(K) are the lattices of quasivarieties contained in M and K, respectively.? It is known that, for every variety K of (0, 1)-lattices, if K contains a finite nondistributive simple (0, 1)-lattice, then K is Q-universal, see [3]. The opposite implication is obviously true within varieties of modular (0, 1)-lattices. This paper shows that in general the opposite implication is not true. A family (A _i : i < 2ω) of locally finite varieties of (0, 1)-lattices is exhibited each of which contains no simple non-distributive (0, 1)-lattice and each of which is Q-universal. Received July 19, 2001; accepted in final form July 11, 2002.     

Finite-to-finite universal quasivarieties are Q-universal

Let K be a quasivariety of algebraic systems of finite type. K is said to be universal if the category G of all directed graphs is isomorphic to a full subcategory of K. If an embedding of G may be effected by a functor F:G K which assigns a finite algebraic system to each finite graph, then K is said to be finite-to-finite universal. K is said to be Q-universal if, for any quasivariety M of finite type, L(M) is a homomorphic image of a sublattice of L(K), where L(M) and L(K) are the lattices of quasivarieties contained in M and K, respectively.?We establish a connection between these two, apparently unrelated, notions by showing that if K is finite-to-finite universal, then K is Q-universal. Using this connection a number of quasivarieties are shown to be Q-universal. Received February 8, 2000; accepted in final form December 23, 2000.     

Asymptotic behaviour of trajectories of unipotent flows on homogeneous spaces

We show that ifG is a semisimple algebraic group defined overQ and Γ is an arithmetic lattice inG:=G _R with respect to theQ-structure, then there exists a compact subsetC ofG/Γ such that, for any unipotent one-parameter subgroup {u _t} ofG and anyg∈G, the time spent inC by the {u _t}-trajectory ofgΓ, during the time interval [0,T], is asymptotic toT, unless {g ⁻¹u_tg} is contained in aQ-parabolic subgroup ofG. Some quantitative versions of this are also proved. The results strengthen similar assertions forSL(n,Z),n≥2, proved earlier in [5] and also enable verification of a technical condition introduced in [7] for lattices inSL(3,R), which was used in our proof of Raghunathan’s conjecture for a class of unipotent flows, in [8].     

The Virtual Poincaré Polynomials of Homogeneous Spaces

We factor the virtual Poincaré polynomial of every homogeneous space G/H, where G is a complex connected linear algebraic group and H is an algebraic subgroup, as t^2u (t²–1)^r Q_G/H(t²) for a polynomial Q_G/H with nonnegative integer coefficients. Moreover, we show that Q_G/H(t²) divides the virtual Poincaré polynomial of every regular embedding of G/H, if H is connected.     

Some properties of the spectrum of graphs

Let G be a graph and denote by Q(G)=D(G) A(G),L(G)=D(G)-A(G) the sum and the difference between the diagonal matrix of vertex degrees and the adjacency matrix of G,respectively. In this paper,some properties of the matrix Q(G)are studied. At the same time,anecessary and sufficient condition for the equality of the spectrum of Q(G) and L(G) is given.     

Traces and idempotents in group algebras

Let G be a group and E an idempotent matrix with entries in the complex group algebra C G. In this paper, we study arithmetic properties of the coefficients r _E (g), gG, of the Hattori-Stallings rank r _E of E. Bass proved in [2] that the r _E (g)s are algebraic numbers. Following Zaleskii, we proceed by reduction to positive characteristic and give an alternative proof of that assertion, while obtaining at the same time an upper bound for the degree of the minimum polynomial of r _E (g) over Q.     

Hecke Algebras and Automorphic Forms

The goal of this paper is to carry out some explicit calculations of the actions of Hecke operators on spaces of algebraic modular forms on certain simple groups. In order to do this, we give the coset decomposition for the supports of these operators. We present the results of our calculations along with interpretations concerning the lifting of forms. The data we have obtained is of interest both from the point of view of number theory and of representation theory. For example, our data, together with a conjecture of Gross, predicts the existence of a Galois extension of Q with Galois group G ₂(F₅) which is ramified only at the prime 5. We also provide evidence of the existence of the symmetric cube lifting from PGL₂ to PGSp₄.     

Difference algebraic subgroups of commutative algebraic groups over finite fields

We study the question of which torsion subgroups of commutative algebraic groups over finite fields are contained in modular difference algebraic groups for some choice of a field automorphism. We show that if G is a simple commutative algebraic group over a finite field of characteristic p, ? is a prime different from p, and for some difference closed field (?, σ) the ?-primary torsion of G(?) is contained in a modular group definable in (?, σ), then it is contained in a group of the form {x∈G(?) :σ(x) =[a](x) } with a∈ℕ\p ^ℕ. We show that no such modular group can be found for many G of interest. In the cases that such equations may be found, we recover an effective version of a theorem of Boxall. Received: 28 May 1998 / Revised version: 20 December 1998     

On some non-obvious connections between graphs and unary partial algebras

In the present paper we generalize a few algebraic concepts to graphs. Applying this graph language we solve some problems on subalgebra lattices of unary partial algebras. In this paper three such problems are solved, other will be solved in papers [Pió I], [Pió II], [Pió III], [Pió IV]. More precisely, in the present paper first another proof of the following algebraic result from [Bar1] is given: for two unary partial algebras A and B, their weak subalgebra lattices are isomorphic if and only if their graphs G*(A) and G*(B) are isomorphic. Secondly, it is shown that for two unary partial algebras A and B if their digraphs G(A) and G(B) are isomorphic, then their (weak, relative, strong) subalgebra lattices are also isomorphic. Thirdly, we characterize pairs , where A is a unary partial algebra and L is a lattice such that the weak subalgebra lattice of A is isomorphic to L.     

Ihara's lemma for imaginary quadratic fields

An analogue over imaginary quadratic fields of a result in algebraic number theory known as Ihara's lemma is established. More precisely, we show that for a prime ideal p of the ring of integers of an imaginary quadratic field F, the kernel of the sum of the two standard p-degeneracy maps between the cuspidal sheaf cohomology is Eisenstein. Here Y₀ and Y₁ are analogues over F of the modular curves Y₀(N) and Y₀(Np), respectively. To prove our theorem we use the method of modular symbols and the congruence subgroup property for the group SL₂(Z[1/p]) which is due to Mennicke [J. Mennicke, On Ihara's modular group, Invent. Math. 4 (1967) 202-228] and Serre [J.-P. Serre, Le problème des groupes de congruence pour SL₂, Ann. of Math. (2) 92 (1970) 489-527].     

Über gewisseG-stabile Teilmengen in projektiven Räumen

LetG be a connected affine algebraic group over an algebraically closed field of characteristic 0. LetN be a regularG-module andP(N) its projective space. In this article we study those locally closedG-stable subsets ofP(N) which contain in everyG-orbit a fixed point of a maximal unipotent subgroup ofG. Varieties of this type which contain only one closed orbit are classified by “painted monoids”. Necessary and sufficient conditions on a painted monoid are given so that the corresponding variety is smooth.      

Disconnected Equivariant Rational Homotopy Theory

We present a variant of the disconnected equivariant rational homotopy theory to complete the result shown in [8]. For a finite group G let O(G) be the category of its canonical orbits. We prove that the category O(G)-DGA _Q of O(G)S-complete differential graded algebras over the rationals is a closed model category, where S runs over all O(G)-sets. Then, by means of the equivariant KS-minimal models, we show that the homotopy category of O(G)-DGA _Q is equivalent to the rational homotopy category of G-nilpotent disconnected simplicial sets provided G is a finite Hamiltonian group.     

The McKay conjecture for exceptional groups and odd primes

Let G be a simply-connected simple algebraic group over an algebraically closed field of characteristic p with a Frobenius map F : G → G and G := G ^F , such that the root system is of exceptional type or G is a Suzuki group or Steinberg’s triality group. We show that all irreducible characters of C _G (S), the centraliser of S in G, extend to their inertia group in N _G (S), where S is any F-stable Sylow torus of (G, F). Together with the work in [16] this implies that the McKay conjecture is true for G and odd primes ℓ different from the defining characteristic. Moreover it shows important properties of the associated simple groups, which are relevant for the proof that the associated simple groups are good in the sense of Isaacs, Malle and Navarro, as defined in [14]. This research has been supported by the DFG-grant “Die Alperin-McKay-Vermutung für endliche Gruppen” and an Oberwolfach Leibniz fellowship.     

Congruences for Siegel modular forms and their weights

J.-P. Serre proved that the congruences for elliptic modular forms mod p ^m descend to those of weights mod p ^m−1(p−1). Later, this result was generalized by T. Ichikawa to the case of Siegel modular forms. In this note we use elementary methods to reduce Ichikawa’s result to a similar question about elliptic modular forms with level, where results of Katz are available.     

Modular forms and differential operators

In 1956, Rankin described which polynomials in the derivatives of modular forms are again modular forms, and in 1977, H Cohen defined for eachn ≥ 0 a bilinear operation which assigns to two modular formsf andg of weightk andl a modular form [f, g]_n of weightk +l + 2n. In the present paper we study these “Rankin-Cohen brackets” from two points of view. On the one hand we give various explanations of their modularity and various algebraic relations among them by relating the modular form theory to the theories of theta series, of Jacobi forms, and of pseudodifferential operators. In a different direction, we study the abstract algebraic structure (“RC algebra”) consisting of a graded vector space together with a collection of bilinear operations [,]_n of degree + 2n satisfying all of the axioms of the Rankin-Cohen brackets. Under certain hypotheses, these turn out to be equivalent to commutative graded algebras together with a derivationS of degree 2 and an element Φ of degree 4, up to the equivalence relation (∂,Φ) ~ (∂ - ϕE, Φ - ϕ² + ∂(ϕ)) where ϕ is an element of degree 2 andE is the Fuler operator (= multiplication by the degree). Dedicated to the memory of Professor K G Ramanathan     

Notes on the minimal number of ramified primes in some l-extensions of Q

For a finite l-group G, let ram ^t (G) denote the minimal integer such that G can be realized as the Galois group of a tamely ramified extension of Q ramified only at ram ^t (G) finite primes. We study the upper bound of ram ^t (G) and give an improvement of the result of Plans. We also give the best bound of ram ^t (G) for all 3-groups G of order less than or equal to 3⁵. Received: 14 September 2007     

Hilbert modular forms of weight 1/2 and theta functions

Serre and Stark found a basis for the space of modular forms of weight 1/2 in terms of theta series. In this paper, we generalize their result—under certain mild restrictions on the level and character—to the case of weight 1/2 Hilbert modular forms over a totally real field of narrow class number 1. The methods broadly follow those of Serre-Stark; however we are forced to overcome technical difficulties which arise when we move out of Q.     

On the Q-rational cuspidal subgroup and the component group ofJ 0(p r )

Forp≥3 a prime, we compute theQ-rational cuspidal subgroupC(p ^r ) of the JacobianJ ₀(p ^r ) of the modular curveX ₀(p ^r ). This result is then applied to determine the component group Φ _p ^r of the Néron model ofJ ₀(p ^r ) overZ _p . This extends results of Lorenzini [7]. We also study the action of the Atkin-Lehner involution on thep-primary part ofC(p ^r ), as well as the effect of degeneracy maps on the component groups.