Onp-class groups of cyclic extensions of prime degreep of certain cyclotomic fields

Letp be an odd prime number, and letK be a cyclic extension of ℚ(ζ) of degreep, where ζ is a primitivep-th root of unity. LetC _K be thep-class group ofK, and letr _K be the minimal number of generators ofC _K ^1−σ as a module over Gal(K/ℚ(ζ)), were σ is a generator of Gal(K/ℚ(ζ)). This paper shows how likely it is forr _K = 0, 1, 2, … whenp=3, 5, or 7, and describes the obstacle to generalizing these results to regular primesp>7.     

On galois groups and their maximal 2-subgroups

LetG be a finite group of even order, having a central element of order 2 which we denote by −1. IfG is a 2-group, letG be a maximal subgroup ofG containing −1, otherwise letG be a 2-Sylow subgroup ofG. LetH=G/{±1} andH=G/{±1}. Suppose there exists a regular extensionL ₁ of ℚ(T) with Galois groupG. LetL be the subfield ofL ₁ fixed byH. We make the hypothesis thatL ₁ admits a quadratic extensionL ₂ which is Galois overL of Galois groupG. IfG is not a 2-group we show thatL ₁ then admits a quadratic extension which is Galois over ℚ(T) of Galois groupG and which can be given explicitly in terms ofL ₂. IfG is a 2-group, we show that there exists an element α ε ℚ(T) such thatL ₁ admits a quadratic extension which is Galois over ℚ(T) of Galois groupG if and only if the cyclic algebra (L/ℚ(T).a) splits. As an application of these results we explicitly construct several 2-groups as Galois groups of regular extensions of ℚ(T).     

Construction of somep-extensions of the rational number field

In this paper, we constructp-extensionsK _a ,a(modp ^r ), of degreep ^3r,p≠2, r>0, of the field ℚ of rational numbers with ramification pointsp andq. The Galois groupG(K _a )/ℚ of the extensionK _a /ℚ,a(modp ^r ), is defined by the generators and relations

Degenerate principal series representations of Sp(<Emphasis Type="Italic">p,q</Emphasis>)

Letp>q and letG=Sp(p, q). LetP=LN be the maximal parabolic subgroup ofG with Levi subgroupL≅GL _q (ℍ)×Sp(p−q). Forsεℂ andμ a highest weight of Sp(p−q), let п_s,μ be the representation ofP such that its restriction toN is trivial and ⊠T _p-q ^μ , where det _q is the determinant character of GL _q (ℍ) andT _p-q ^μ is the irreducible representation of Sp(p−q) with highest weightμ. LetI _p,q(s, μ) be the Harish-Chandra module of the induced representation Ind _P ^G . In this paper, we shall determine the module structure and unitarity ofI _{p, q}(s, μ). Partially supported by NUS grant R-146-000-026-112.     

On a class of transitive permutation groups of prime degreep=4n+1

SupposeG is a nonsolvable transitive permutation group of prime degreep, such that |N _G v(P)|=p(p−1) for some Sylowp-subgroupP ofG. Letq be a generator of the subgroup ofN _G (P), fixing one letter (it is easy to show that this subgroup is cyclic). Assume thatG contains an elementj such thatj ⁻¹ qj=q ^(p+1)/2. We shall prove that for almost all primesp of the formp=4n+1, a group that satisfies the above conditions must be the symmetric group on a set withp elements.     

A note on transitive permutation groups of prime degree

LetG be a nonsolvable transitive permutation group of prime degreep. LetP be a Sylow-p-subgroup ofG and letq be a generator of the subgroup ofN _G(P) fixing one point. Assume that |N _G(P)|=p(p?1) and that there exists an elementj inG such thatj ^?1qj=q^(p+1)/2. We shall prove that a group that satisfies the above condition must be the symmetric group onp points, andp is of the form 4n+1.     

P.I.G-rings and the contractability of primes

LetR=F{x ₁, …, x_k} be a prime affine p.i. ring andS a multiplicative closed set in the center ofR, Z(R). The structure ofG-rings of the formR _s is completely determined. In particular it is proved thatZ(R _s)—the normalization ofZ(R _s) —is a prüfer ring, 1≦k.d(R _s)≦p.i.d(R _s) and the inequalities can be strict. We also obtain a related result concerning the contractability ofq, a prime ideal ofZ(R) fromR. More precisely, letQ be a prime ideal ofR maximal to satisfyQϒZ(R)=q. Then k.dZ(R)/q=k.dR/Q, h(q)=h(Q) andh(q)+k.dZ(R)/q=k.dz(R). The last condition is a necessary butnot sufficient condition for contractability ofq fromR.     

On closures of orbits and arithmetic of quaternions

ForG=PGL₂(ℚ _p )×PGL₂ ℚ we study the closures of orbits under the maximal split Cartan subgroup ofG in homogeneous spacesΓ\G. We show that if a closure of an orbit contains a closed orbit then the orbit is either dense or closed. We show the relation of this to divisibility properties of integral quaternions and other lattices. Sponsored in part by the Edmund Landau Center for Research in Mathematical Analysis supported by the Minerva Foundation (Germany). Research at MSRI supported by NSF grant DMS8505550.     

Ovoids and spreads of finite classical polar spaces

LetP be a finite classical polar space of rankr, r2. An ovoidO ofP is a pointset ofP, which has exactly one point in common with every totally isotropic subspace of rankr. It is proved that the polar spaceW _n (q) arising from a symplectic polarity ofPG(n, q), n odd andn > 3, that the polar spaceQ(2n, q) arising from a non-singular quadric inPG(2n, q), n > 2 andq even, that the polar space Q^–(2n + 1,q) arising from a non-singular elliptic quadric inPG(2n + 1,q), n > 1, and that the polar spaceH(n,q ²) arising from a non-singular Hermitian variety inPG(n, q ²)n even andn > 2, have no ovoids.LetS be a generalized hexagon of ordern (1). IfV is a pointset of order n³ + 1 ofS, such that every two points are at distance 6, thenV is called an ovoid ofS. IfH(q) is the classical generalized hexagon arising fromG ₂ (q), then it is proved thatH(q) has an ovoid iffQ(6, q) has an ovoid. There follows thatQ(6, q), q=3^2h+1, has an ovoid, and thatH(q), q even, has no ovoid.A regular system of orderm onH(3,q ²) is a subsetK of the lineset ofH(3,q ²), such that through every point ofH(3,q ²) there arem (> 0) lines ofK. B. Segre shows that, ifK exists, thenm=q + 1 or (q + l)/2.If m=(q + l)/2,K is called a hemisystem. The last part of the paper gives a very short proof of Segre's result. Finally it is shown how to construct the 4-(11, 5, 1) design out of the hemisystem with 56 lines (q=3).     

Finite groups in whichp′-classes haveq′-length

IfG is a finite group in which every element ofp′-order centralizes aq-Sylow subgroup ofG, wherep andq are distinct primes, it is shown thatO ^q′ (G) is solvable,l _q (G)≤1 andl _p (O ^q′ (G)) ≤2. Further, the structure ofG is determined to some extent. Work partially supported by MURST research program “Teoria dei gruppi ed applicazioni”.     

On component factors

LetK be a connected graph. A spanning subgraphF ofG is called aK-factor if every component ofF is isomorphic toK. On the existence ofK-factors we show the following theorem: LetG andK be connected graphs andp be an integer. Suppose|G| = n|K| and 1 <p < n. Also suppose every induced connected subgraph of orderp|K| has aK-factor. ThenG has aK-factor.     

The Fourier transform of Herz spaces on certain groups

LetG be a locally compact abelian topological group containing a suitable sequence of compact open subgroups and let Γ be its dual group. LetK (α,p, q; G) andK (α,p, q; Γ) denote the so-called Herz spaces onG and Γ, respectively. In this paper we shall prove that for 1<p≤2 and 0≤α<1/p′=1?1/p, the Fourier transform mapsK (α,p, p; G) continuously intoK (?α,p′, 2; Γ). The proof requires two results that are of independent interest: an extension of the Hausdorff-Young inequality to certain weightedL _p-spaces onG and a Littlewood-Paley theorem for certain weightedL _p-spaces onG.     

Products of groups and group classes

Letχ be a Schunck class, and let the finite groupG=AB=BC=AC be the product of two nilpotent subgroupsA andB andχ-subgroupC. If for every common prime divisorp of the orders ofA andB the cyclic group of orderp is anχ-group, thenG is anχ-group. This generalizes earlier results of O. Kegel and F. Peterson. Some related results for groups of the formG=AB=AK=BK, whereK is a nilpotent normal subgroup ofG andA andB areχ-groups for some saturated formationχ, are also proved.     

Iwasawa invariants of imaginary quadratic fields

LetK be an imaginary quadratic field andp an odd prime which splits inK. We study the Iwasawa invariants for ℤ _p -extensions ofK. This is motivated in part by a recent result of Sands. The main result is the following. Assumep does not divide the class number ofK. LetK _∞ be a ℤ _p -extension ofK. SupposeK _∞ is not totally ramified at the primes abovep. Then the μ-invariant forK _∞/K vanishes. We also show that if μ=0 for all ℤ _p -extensions ofK, then the λ-invariant is bounded asK _∞ runs through all such extensions.     

Cusp forms

LetG andH ⊂G be two real semisimple groups defined overQ. Assume thatH is the group of points fixed by an involution ofG. Letπ ⊂L ²(H\G) be an irreducible representation ofG and letf επ be aK-finite function. Let Γ be an arithmetic subgroup ofG. The Poincaré seriesP _f(g)=Σ_H∩ΓΓ f(γ{}itg) is an automorphic form on Γ\G. We show thatP _f is cuspidal in some cases, whenH ∩Γ\H is compact. Partially supported by NSF Grant # DMS 9103608.     

On a class of groups of prime-power order

LetG be a finitep-group,d(G)=dimH ¹ (G, Z _p) andr(G)=dimH ²(G, Z_p). Thend(G) is the minimal number of generators ofG, and we say thatG is a member of a classG _p of finitep-groups ifG has a presentation withd(G) generators andr(G) relations. We show that ifG is any finitep-group, thenG is the direct factor of a member ofG _p by a member ofG _p .     

Finite dimensional representations and subgroup actions on homogeneous spaces

LetH be an ℝ-subgroup of a ℚ-algebraic groupG. We study the connection between the dynamics of the subgroup action ofH onG/G _ℤ and the representation-theoretic properties ofH being observable and epimorphic inG. We show that ifH is a ℚ-subgroup thenH is observable inG if and only if a certainH orbit is closed inG/G _ℤ; that ifH is epimorphic inG then the action ofH onG/G _ℤ is minimal, and that the converse holds whenH is a ℚ-subgroup ofG; and that ifH is a ℚ-subgroup ofG then the closure of the orbit underH of the identity coset image inG/G _ℤ is the orbit of the same point under the observable envelope ofH inG. Thus in subgroup actions on homogeneous spaces, closures of ‘rational orbits’ (orbits in which everything which can be defined over ℚ, is defined over ℚ) are always submanifolds.     

Free pro-p groups as galois groups over ℚ(p)(t)

Letp be a prime and let ℚ(p) denote the maximalp-extension of ℚ. We prove that for every primep, the free pro-p group on countably many generators is realizable as a regular extension of ℚ(p)(t). As a consequence, if ℚ _nil denotes the maximal nilpotent extension of ℚ, then every finite nilpotent group is realizable as a regular extension of ℚ _nil (t).     

Measures on diffeomorphism groups for non-archimedean manifolds: Group representations and their applications

Nondegenerate σ-additive measures with ranges in ℝ and ℚ_q (q≠p are prime numbers) that are quasi-invariant and pseudodifferentiable with respect to dense subgroups G′ are constructed on diffeomorphism and homeomorphism groups G for separable non-Archimedean Banach manifolds M over a local fieldK,K ⊃ ℚ_q, where ℚ_q is the field of p-adic numbers. These measures and the associated irreducible representations are used in the non-Archimedean gravitation theory. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 119, No. 3, pp. 381–396, June, 1999.