scholarly journals Torsion classes in the cohomology of congruence subgroups

1989 ◽  
Vol 105 (2) ◽  
pp. 241-248 ◽  
Author(s):  
Dominique Arlettaz

For any prime number p, let Γn, p denote the congruence subgroup of SLn(ℤ) of level p, i.e. the kernel of the surjective homomorphism fp: SLn(ℤ) → SLn(p) induced by the reduction mod p (Fp is the field with p elements). We defineusing upper left inclusions Γn, p ↪ Γn+1, p. Recall that the groups Γn, p are homology stable with M-coefficients, for instance if M = ℚ, ℤ[1/p], or ℤ/q with q prime and q ╪ p: Hi(Γn, p; M) ≅ Hi(Γp; M) for n ≥ 2i + 5 from [7] (but the homology stability fails if M = ℤ or ℤ/p).

2020 ◽  
Vol 156 (4) ◽  
pp. 822-861
Author(s):  
Jeremy Miller ◽  
Rohit Nagpal ◽  
Peter Patzt

We prove a representation stability result for the codimension-one cohomology of the level-three congruence subgroup of $\mathbf{SL}_{n}(\mathbb{Z})$. This is a special case of a question of Church, Farb, and Putman which we make more precise. Our methods involve proving finiteness properties of the Steinberg module for the group $\mathbf{SL}_{n}(K)$ for $K$ a field. This also lets us give a new proof of Ash, Putman, and Sam’s homological vanishing theorem for the Steinberg module. We also prove an integral refinement of Church and Putman’s homological vanishing theorem for the Steinberg module for the group $\mathbf{SL}_{n}(\mathbb{Z})$.


1967 ◽  
Vol 15 (4) ◽  
pp. 249-255
Author(s):  
Sean Mc Donagh

1. In deriving an expression for the number of representations of a sufficiently large integer N in the formwhere k: is a positive integer, s(k) a suitably large function of k and pi is a prime number, i = 1, 2, …, s(k), by Vinogradov's method it is necessary to obtain estimates for trigonometrical sums of the typewhere ω = l/k and the real number a satisfies 0 ≦ α ≦ 1 and is “near” a rational number a/q, (a, q) = 1, with “large” denominator q. See Estermann (1), Chapter 3, for the case k = 1 or Hua (2), for the general case. The meaning of “near” and “arge” is made clear below—Lemma 4—as it is necessary for us to quote Hua's estimate. In this paper, in Theorem 1, an estimate is obtained for the trigonometrical sumwhere α satisfies the same conditions as above and where π denotes a squarefree number with r prime factors. This estimate enables one to derive expressions for the number of representations of a sufficiently large integer N in the formwhere s(k) has the same meaning as above and where πri, i = 1, 2, …, s(k), denotes a square-free integer with ri prime factors.


Author(s):  
Daniel Barsky

Y. Morita proved that, for each prime number p, one can define a p-adic continuous function Γp(x) from p to p, interpolating the sequencewhere m runs through the integers m prime to p with 1 ≤ m < n. Our aim is to show how this result is related to Dwork's result on the radius of convergence of


1977 ◽  
Vol 18 (1) ◽  
pp. 109-111 ◽  
Author(s):  
E. J. Scourfield

During the past few years, some papers of P. Deligne and J.-P. Serre (see [2], [9], [10] and other references cited there) have included an investigation of certain properties of coefficients of modular forms, and in particular Serre [10] (see also [11]) obtained the divisibility property (1) below. Letbe a modular form of integral weight k ≧ 1 on a congruence subgroup of SL2(Z), and suppose that each cn belongs to the ring RK of integers of an algebraic number field K finite over Q. For c ∈ RK and m ≧ 1 an integer, write c ≡ 0 (mod m) if c ∈ m RK and c ≢ 0 (mod m) otherwise. Then Serre showed that there exists α > 0 such thatas x → ∞, where throughout this note N(n ≦ x: P) denotes the number of positive integers n ≦ x with the property P.


Author(s):  
Stanislav Jakubec

Ankeny–Artin–Chowla obtained several congruences for the class number hk of a quadratic field K, some of which were also obtained by Kiselev. In particular, if the discriminant of K is a prime number p ≡ 1 (mod 4) and ε = t + u √p/2 is the fundamental unit of K, then


1978 ◽  
Vol 19 (2) ◽  
pp. 173-197 ◽  
Author(s):  
Karl-Bernhard Gundlach

It is well known that the number Ak(m) of representations of a positive integer m as the sum of k squares of integers can be expressed in the formwhere Pk(m) is a divisor function, and Rk(m) is a remainder term of smaller order. (1) is a consequence of the fact thatis a modular form for a certain congruence subgroup of the modular group, andwithwhere Ek(z) is an Eisenstein series and is a cusp form (as was first pointed out by Mordell [9]). The result (1) remains true if m is taken to be a totally positive integer from a totally real number field K and Ak(m) is the number of representations of m as the sum of k squares of integers from K (at least for 2|k, k>2, and for those cases with 2+k which have been investigated). then are replaced by modular forms for a subgroup of the Hilbert modular group with Fourier expansions of the form (10) (see section 2).


1999 ◽  
Vol 51 (2) ◽  
pp. 266-293 ◽  
Author(s):  
Anton Deitmar ◽  
Werner Hoffman

AbstractWe prove a uniform upper estimate on the number of cuspidal eigenvalues of the Γ-automorphic Laplacian below a given bound when Γ varies in a family of congruence subgroups of a given reductive linear algebraic group. Each Γ in the family is assumed to contain a principal congruence subgroup whose index in Γ does not exceed a fixed number. The bound we prove depends linearly on the covolume of Γ and is deduced from the analogous result about the cut-off Laplacian. The proof generalizes the heat-kernel method which has been applied by Donnelly in the case of a fixed lattice Γ.


1969 ◽  
Vol 21 ◽  
pp. 712-729 ◽  
Author(s):  
Benson Samuel Brown

For a prime number p let be the class of finite abelian groups whose orders are prime to p. For a finitely generated abelian group G, let Gp be the sum of the free and p-primary components of G. Our aim in this paper is to prove the following theorem.Theorem. Suppose that(i) Hi(X;Z) = 0 for i > k,(ii) for i > k – dThen there exists a spectral sequence withand the differential is given by


Author(s):  
W. W. Stothers

SynopsisIt is shown that the index of a congruence subgroup of the modular group cannot be less than the level of the subgroup. This allows a number of existence theorems about non-congruence subgroups.The level of a subgroup of the modular group can be defined in terms of the action on Q ∪ {∞}. We define a similar action to get information on congruence subgroups. In fact, we get a more powerful result, but this appears to be the most useful version.


Sign in / Sign up

Export Citation Format

Share Document