Isogenies of elliptic curves and the Morava stabilizer group

Let S₂ be the p-primary second Morava stabilizer group, C a supersingular elliptic curve over , O the ring of endomorphisms of C, and ? a topological generator of (or if p=2). We show that for p>2 the group Γ⊆O[1/?]^× of quasi-endomorphisms of degree a power of ? is dense in S₂. For p=2, we show that Γ is dense in an index 2 subgroup of S₂.     

Almost maximally almost-periodic group topologies determined by T-sequences

A sequence {an} in a group G is a T-sequence if there is a Hausdorff group topology τ on G such that . In this paper, we provide several sufficient conditions for a sequence in an abelian group to be a T-sequence, and investigate special sequences in the Prüfer groups Z(p^∞). We show that for p≠2, there is a Hausdorff group topology τ on Z(p^∞) that is determined by a T-sequence, which is close to being maximally almost-periodic—in other words, the von Neumann radical n(Z(p^∞),τ) is a non-trivial finite subgroup. In particular, n(n(Z(p^∞),τ))?n(Z(p^∞),τ). We also prove that the direct sum of any infinite family of finite abelian groups admits a group topology determined by a T-sequence with non-trivial finite von Neumann radical.     

The 3-Sylow subgroup of the tame kernel of real number fields

Let F be a cubic cyclic field with exactly one ramified prime p,p>7, or , a real quadratic field with . In this paper, we study the 3-primary part of K₂O_F. If 3 does not divide the class number of F, we get some results about the 9-rank of K₂O_F. In particular, in the case of a cubic cyclic field F with only one ramified prime p>7, we prove that four conclusions concerning the 3-primary part of K₂O_F, obtained by J. Browkin by numerical computations for primes p, 7≤p≤5000, are true in general.     

Identifications in modular group algebras

Let G be a group, S a subgroup of G, and F a field of characteristic p. We denote the augmentation ideal of the group algebra FG by ω(G). The Zassenhaus-Jennings-Lazard series of G is defined by D_n(G)=G∩(1+ωⁿ(G)). We give a constructive proof of a theorem of Quillen stating that the graded algebra associated with FG is isomorphic as an algebra to the enveloping algebra of the restricted Lie algebra associated with the D_n(G). We then extend a theorem of Jennings that provides a basis for the quotient ωⁿ(G)/ωⁿ⁺¹(G) in terms of a basis of the restricted Lie algebra associated with the D_n(G). We shall use these theorems to prove the main results of this paper. For G a finite p-group and n a positive integer, we prove that G∩(1+ω(G)ωⁿ(S))=D_n+1(S) and G∩(1+ω²(G)ωⁿ(S))=D_n+2(S)D_n+1(S∩D₂(G)). The analogous results for integral group rings of free groups have been previously obtained by Gruenberg, Hurley, and Sehgal.     

Torsion subgroups of Brauer groups and extensions of constant local degree for global function fields

We show that, for all characteristic p global fields k and natural numbers n coprime to the order of the non-p-part of the Picard group Pic⁰(k) of k, there exists an abelian extension L/k whose local degree at every prime of k is equal to n. This answers in the affirmative in this context a question recently posed by Kisilevsky and Sonn. As a consequence, we show that, for all n and k as above, the n-torsion subgroup Br_n(k) of the Brauer group Br(k) of k is algebraic, answering a question of Aldjaeff and Sonn in this context.     

Abelian groups admitting a Fréchet-Urysohn pseudocompact topological group topology

We show that every Abelian group G with r₀(G)=|G|=|G|^ω admits a pseudocompact Hausdorff topological group topology T such that the space (G,T) is Fréchet-Urysohn. We also show that a bounded torsion Abelian group G of exponent n admits a pseudocompact Hausdorff topological group topology making G a Fréchet-Urysohn space if for every prime divisor p of n and every integer k≥0, the Ulm-Kaplansky invariant f_p,k of G satisfies (f_p,k)^ω=f_p,k provided that f_p,k is infinite and f_p,k>f_p,i for each i>k.Our approach is based on an appropriate dense embedding of a group G into a Σ-product of circle groups or finite cyclic groups.     

The linking pairings of orientable Seifert manifolds

We compute the p-primary components of the linking pairings of orientable 3-manifolds admitting a fixed-point free S¹-action. Any linking pairing on a finite abelian group of odd order is realized by such a manifold. We find necessary and sufficient conditions for a pairing on an abelian 2-group to be the 2-primary component of such a linking pairing, and give simple examples which are not realizable by any Seifert fibred 3-manifold.     

On the distance from a rational power to the nearest integer

We prove that for any non-zero real number ξ the sequence of fractional parts {ξ(3/2)ⁿ}, n=1,2,3,…, contains at least one limit point in the interval [0.238117…,0.761882…] of length 0.523764…. More generally, it is shown that every sequence of distances to the nearest integer ||ξ(p/q)ⁿ||, n=1,2,3,…, where p/q>1 is a rational number, has both ‘large’ and ‘small’ limit points. All obtained constants are explicitly expressed in terms of p and q. They are also expressible in terms of the Thue-Morse sequence and, for irrational ξ, are best possible for every pair p>1, q=1. Furthermore, we strengthen a classical result of Pisot and Vijayaraghavan by giving similar effective results for any sequence ||ξαⁿ||, n=1,2,3,…, where α>1 is an algebraic number and where ξ≠0 is an arbitrary real number satisfying ξ∉Q(α) in case α is a Pisot or a Salem number.     

Farrell cohomology and Brown theorems for profinite groups

LetG be a profinite group which has an open subgroupH such that the cohomologicalp-dimensiond≔cd_p(H) is finite (p is a fixed prime). The main result of this paper expresses thep-primary part of high degree cohomology ofG in terms of the elementary abelianp-subgroups ofG: From the latter one constructs a natural profinite simplicial setA G, on whichG acts by conjugation. ThenH ⁿ(G,M)≅H _G ⁿ (AG,M) holds forn≧d+r and everyp-primary discreteG-moduleM (r≔p-rank ofG). If one uses profinite Farrell cohomology, which is introduced in this paper, the analogous fact holds in all degrees. These results are the profinite analogues of theorems by K.S. Brown for discrete groups.     

On the Brauer group of the product of a torus and a semisimple algebraic group

Let T be a torus (not assumed to be split) over a field F, and denote by nH _et ² (X,{ie375-1}) the subgroup of elements of the exponent dividing n in the cohomological Brauer group of a scheme X over the field F. We provide conditions on X and n for which the pull-back homomorphism nH _et ² (T,{ie375-2}) → _n H _et ² (X × _F T, {ie375-3}) is an isomorphism. We apply this to compute the Brauer group of some reductive groups and of non-singular affine quadrics. Apart from this, we investigate the p-torsion of the Azumaya algebra defined Brauer group of a regular affine scheme over a field F of characteristic p > 0.     

On the quadratic character of quadratic units

Let be a prime. Let a,b∈Z with p?a(a²+b²). In the paper we mainly determine by assuming p=c²+d² or p=Ax²+2Bxy+Cy² with AC−B²=a²+b². As an application we obtain simple criteria for εD to be a quadratic residue , where D>1 is a squarefree integer such that D is a quadratic residue of p, εD is the fundamental unit of the quadratic field with negative norm. We also establish the congruences for and obtain a general criterion for p|U(p−1)/4, where {Un} is the Lucas sequence defined by U₀=0, U₁=1 and Un+1=bUn+k²Un−1(n?1).     

Defining sets of extended cyclic codes invariant under the affine group

We describe the defining sets of extended cyclic codes of length pⁿ over a field and over the ring of integers modulo p^e admitting the affine group AGL_m(p^t), n=mt, as a permutation group.     

Density of sets of natural numbers and the Lévy group

Let N denote the set of positive integers. The asymptotic density of the set A⊆N is d(A)=limn→∞|A∩[1,n]|/n, if this limit exists. Let AD denote the set of all sets of positive integers that have asymptotic density, and let SN denote the set of all permutations of the positive integers N. The group L^? consists of all permutations f∈SN such that A∈AD if and only if f(A)∈AD, and the group L^* consists of all permutations f∈L^? such that d(f(A))=d(A) for all A∈AD. Let be a one-to-one function such that d(f(N))=1 and, if A∈AD, then f(A)∈AD. It is proved that f must also preserve density, that is, d(f(A))=d(A) for all A∈AD. Thus, the groups L^? and L^* coincide.     

Linear equations with unknowns from a multiplicative group whose solutions lie in a small number of subspaces

Let K be a field of characteristic 0 and let (K^*)ⁿ denote the n-fold Cartesian product of K^*, endowed with coordinatewise multiplication. Let Γ be a subgroup of (K^*)ⁿ of finite rank. We consider equations (*) a₁x₁ + … + a_nx_n = 1 in x = (x₁x_n)Γ, where a = (a₁,a_n)(K^*)ⁿ. Two tuples a, b(K^*)ⁿ are called Γ-equivalent if there is a uΓ such that b = u · a. Gy?ry and the author [Compositio Math. 66 (1988) 329-354] showed that for all but finitely many Γ-equivalence classes of tuples a(K^*)ⁿ, the set of solutions of (*) is contained in the union of not more than 2⁽ⁿ⁺¹! proper linear subspaces of Kⁿ. Later, this was improved by the author [J. reine angew. Math. 432 (1992) 177-217] to (n!)²ⁿ⁺². In the present paper we will show that for all but finitely many Γ-equivalence classes of tuples of coefficients, the set of non-degenerate solutions of (*) (i.e., with non-vanishing subsums) is contained in the union of not more than 2ⁿ proper linear subspaces of Kⁿ. Further we give an example showing that 2ⁿ cannot be replaced by a quantity smaller than n.     

Upper bounds on n-dimensional Kloosterman sums

Let p^m be any prime power and K_n(a,p^m) be the Kloosterman sum , where the x_i are restricted to values not divisible by p. Let m,n be positive integers with m?2 and suppose that p^γ||(n+1). We obtain the upper bound , for odd p. For p=2 we obtain the same bound, with an extra factor of 2 inserted.     

Cyclicity of the unramified Iwasawa module

For a number field k and a prime number p, let k _?? be the cyclotomic Z _p -extension of k with finite layers k _n . We study the finiteness of the Galois group X _?? over k _?? of the maximal abelian unramified p-extension of k _?? when it is assumed to be cyclic. We then focus our attention to the case where p?=?2 and k is a real quadratic field and give the rank of the 2-primary part of the class group of k _n . As a consequence, we determine the complete list of real quadratic number fields for which X _?? is cyclic non trivial. We then apply these results to the study of Greenberg??s conjecture for infinite families of real quadratic fields thus generalizing previous results obtained by Ozaki and Taya.     

The Galois representations associated to a Drinfeld module in special characteristic—III: Image of the group ring

Let K be a finitely generated field of transcendence degree 1 over a finite field, and set G_K?Gal(K^sep/K). Let φ be a Drinfeld A-module over K in special characteristic. Set E?End_K(φ) and let Z be its center. We show that for almost all primes p of A, the image of the group ring A_p[G_K] in End_A(T_p(φ)) is the commutant of E. Thus, for almost all p it is a full matrix ring over Z⊗_AA_p. In the special case E=A it follows that the representation of G_K on the p-torsion points φ[p] is absolutely irreducible for almost all p.     

An asymptotic formula for the t-core partition function and a conjecture of Stanton

For a positive integer t, a partition is said to be a t-core if each of the hook numbers from its Ferrers-Young diagram is not a multiple of t. In 1996, Granville and Ono proved the t-core partition conjecture, that at(n), the number of t-core partitions of n, is positive for every nonnegative integer n as long as t?4. As part of their proof, they showed that if p?5 is prime, the generating function for ap(n) is essentially a multiple of an explicit Eisenstein Series together with a cusp form. This representation of the generating function leads to an asymptotic formula for ap(n) involving L-functions and divisor functions. In 1999, Stanton conjectured that for t?4 and n?t+1, at(n)?at+1(n). Here we prove a weaker form of this conjecture, that for t?4 and n sufficiently large, at(n)?at+1(n). Along the way, we obtain an asymptotic formula for at(n) which, in the cases where t is coprime to 6, is a generalization of the formula which follows from the work of Granville and Ono when t=p?5 is prime.     

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.     

Fourier multipliers for Sobolev spaces on the Heisenberg group

In this paper, it is shown that the class of right Fourier multipliers for the Sobolev space W ^k,p (H ⁿ ) coincides with the class of right Fourier multipliers for L ^p (H ⁿ ) for k ∈ ?, 1 < p < ∞. Towards this end, it is shown that the operators R _j $ \bar R $ _j ?^?1 and $ \bar R $ _j R _j ?^?1 are bounded on L ^p (H ⁿ ), 1 < p < ∞, where $$ R_j = \frac{\partial } {{\partial z_j }} - \frac{i} {4}\bar z_j \frac{\partial } {{\partial t}}, \bar R_j = \frac{\partial } {{\partial \bar z_j }} + \frac{i} {4}z_j \frac{\partial } {{\partial t}} $$ and ? is the sublaplacian on H ⁿ . This proof is based on the Calderon-Zygmund theory on the Heisenberg group. It is also shown that when p = 1, the class of right multipliers for the Sobolev space W ^k,1(H ⁿ ) coincides with the dual space of the projective tensor product of two function spaces.