Kirillov's Orbit Method for p-Groups and Pro-p Groups

In this text, we study Kirillov's orbit method in the context of Lazard's p-saturable groups when p is an odd prime. Using this approach we prove that the orbit method works in the following cases: torsion free p-adic analytic pro-p groups of dimension smaller than p, pro-p Sylow subgroups of classical groups over ? _p of small dimension and for certain families of finite p-groups.     

On Schurity of Finite Abelian Groups

A finite group G is called a Schur group, if any Schur ring over G is associated in a natural way with a subgroup of Sym(G) that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this article, it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any noncyclic abelian Schur group of odd order is isomorphic to ?₃ × ?_{3 ^k} or ?₃ × ?₃ × ? _p where k ≥ 1 and p is a prime. In addition, we prove that ?₂ × ?₂ × ? _p is a Schur group for every prime p.     

Finite-Dimensional Near-Vector Spaces Over Fields of Prime Order

A theory is developed in terms of which all finite-dimensional near-vector spaces over ? _p (p a prime) are characterized.     

Formal groups and zeta-functions of elliptic curves

The author shows that the isomorphism class of a formal group overZ/pZ (resp. overZ _p ) of finite height (resp. having reduction modp of finite height) is determined by its characteristic polynomial. It is then proved that the formal groups associated to a large class of Dirichlet series with integer coefficients are defined overZ.Finally, these results are used to extend a theorem of Honda (Osaka J. Math.5, 199–213 (1968), Theorem 5) to include the case of supersingular reduction at the primes 2 and 3. LetE be an elliptic curve defined overQ, andF(x, y) be a formal minimal model forE. LetG(x, y) be the formal group associated to the globalL-seriesL(E, s) ofE overQ. Honda's theorem now becomes:G(x, y) is defined over Z and is isomorphic over Z to F(x, y).     

Formal subgroups of abelian varieties

In this paper, we generalize the result of [12] in the following sense. Let A be an abelian variety over a number field k, let ? be the Néron model of A over the ring of integers O _k of k. Completing ? along its zero section defines a formal group over O _k . We prove that any formal subgroup of the generic fiber of whose closure in is smooth over an open subset of Spec O _k arises in fact from an abelian subvariety of A. The proof is of a transcendental nature and uses the Arakelovian formalism introduced by Bost [3]. Oblatum 2-V-2000 & 28-XI-2000?Published online: 5 March 2001     

Lie Regular Generators of General Linear Groups

In this article, we introduce the idea of Lie regular elements and study 2 × 2 Lie regular matrices. It is shown that the linear groups GL(2, ?_{2 ⁿ} ), GL(2, ? _{p ⁿ} ), and GL(2, ?_2p ) (where p is an odd prime) can be genrated by Lie regular matrices. Presentations of linear groups GL(2, ?₄), GL(2, ?₆), GL(2, ?₈), and GL(2, ?₁₀) are also given.     

Semi-stable models for rigid-analytic spaces

 Let R be a complete discrete valuation ring with field of fractions K and let X _K be a smooth, quasi-compact rigid-analytic space over S_p K. We show that there exists a finite separable field extension K' of K, a rigid-analytic space X' _K' over S_p K' having a strictly semi-stable formal model over the ring of integers of K', and an étale, surjective morphism f : X' _K' →X _K of rigid-analytic spaces over S_p K. This is different from the alteration result of A.J. de Jong [dJ] who does not obtain that f is étale. To achieve this property we have to work locally on X _K , i.e. our f is not proper and hence not an alteration. Received: 26 October 2001 / Revised version: 14 August 2002 Published online: 14 February 2003     

On formal quantum group laws

There exist natural generalizations of the concept of formal groups laws for noncommutative power series. This is a note on formal quantum group laws and quantum group law chunks. Formal quantum group laws correspond to noncommutative (topological) Hopf algebra structures on free associative power series algebras ká áx₁,...,x_m ? ?k\langle\! \langle x_1,\dots,x_m \rangle\! \rangle , k a field. Some formal quantum group laws occur as completions of noncommutative Hopf algebras (quantum groups). By truncating formal power series, one gets quantum group law chunks. ¶If the characteristic of k is 0, the category of (classical) formal group laws of given dimension m is equivalent to the category of m-dimensional Lie algebras. Given a formal group law or quantum group law (chunk), the corresponding Lie structure constants are determined by the coefficients of its chunk of degree 2. Among other results, a classification of all quantum group law chunks of degree 3 is given. There are many more classes of strictly isomorphic chunks of degree 3 than in the classical case.     

On ℳ p -Supplemented Subgroups of Finite Groups

A subgroup H of G is called ? _p -supplemented in G if there exists a subgroup B of G such that G = HB and TB < G for every maximal subgroup T of H with |H: T| =p ^α. In this paper, we investigate the influence of ? _p -supplemented subgroup and some conditions for p-nilpotency and p-supersolvability of finite groups are obtained.     

Groups of Units of Finite Commutative Group Rings*

Let R be a finite commutative ring with identity and ? _{p ^d} be the cyclic group of prime power order. Define R? _{p ^d} to mean the group ring of ? _{p ^d} over R. We determine the structure of the group of units of R? _{p ^d} in the case when R is generated by an element whose order is not divisible by p.     

The Inequality 8pg < μ for Hypersurface Two-dimensional Isolated Double Points

The Milnor number μ and the geometric genus p_g of normal 2-dimensional double points are studied by using Zariski's canonical resolution. By using formulas due to E. HORIKAWA and H. LAUFER, we represent μ ? 8p_g in terms of the number of blowing-ups along ?¹ and the number l of ?even”? components in the resolution process. A key point of our arguments is the fact that if l is small then the resolution process is restricted very much. For rational double points and double points with p_a = 1, each classes are characterized by numerical invariants appearing in this resolution process. For the case p_a = 1, we can make our inequality sharper and can prove 12 · p_g ? 3 ≤ μ. This is an another proof of Xu-Yau's inequality for the singularity with p_a = 1 in our situation.     

Spherical Maximal Operators on Radial Functions

Let A_tf(x) denote the mean of f over a sphere of radius t and center x. We prove sharp estimates for the maximal function M_E f(X) = sup_t∈_E |Atf(x)| where E is a fixed set in IR⁺ and f is a radial function ∈ L^p(IR^d). Let P_d = d/(d?1) (the critical exponent for Stein's maximal function). For the cases (i) p < p_d, d ? 2, and (ii) p = p_d, d ? 3, and for p ? q ? ∞ we prove necessary and sufficient conditions on E for M_E to map radial functions in L^p to the Lorentz space L^P,q.     

Transcendence of Binomial and Lucas' Formal Power Series

The formal power series[formula]is transcendental over (X) whentis an integer ≥ 2. This is due to Stanley forteven, and independently to Flajolet and to Woodcock and Sharif for the general case. While Stanley and Flajolet used analytic methods and studied the asymptotics of the coefficients of this series, Woodcock and Sharif gave a purely algebraic proof. Their basic idea is to reduce this series modulo prime numbersp, and to use thep-Lucas property: ifn = ∑n_ipⁱis the basepexpansion of the integern, then[equation]The series reduced modulopis then proved algebraic over _p(X), the field of rational functions over the Galois field _p, but its degree is not a bounded function ofp. We generalize this method to characterize all formal power series that have thep-Lucas property for “many” prime numbersp, and that are furthermore algebraic over (X).     

Generators of Simple Lie Algebras and the Lower Rank of Some Pro-P Groups

Abstract

Let  be a simple classical Lie algebra over a field F of characteristic p > 7. We show that > d () = 2, where d() is the number of generators of . Let G be a profinite group. We say that G has lower rank ≤ l, if there are {G _α} open subgroups which from a base for the topology at the identity and each G _α is generated (topologically) by no more than l elements. There is a standard way to associate a Lie algebra L(G) to a finitely generated (filtered) pro-p group G. Suppose L(G) ?  ? tF _p [t], where  is a simple Lie algebra over F _p , the field of p elements. We show that the lower rank of G is ≤ d () + 1. We also show that if  is simple classical of rank r and p > 7 or p 2r ² ? r, then the lower rank is actually 2.     

Forking and Incomplete Types

Let Δ be a set of formulas. In this paper we study the following question: under what assumptions on Δ, the concept “a complete Δ-type p over B does not fork over A ? B” behaves well. We apply the results to the structure theory of ω₁-saturated models. Mathematics Subject Classification: 03C45.     

The module of differentials and p-bases of a ring extension

Let R ^p ? R ¹ ? Rbe a tower of rings of prime characteristic p. When R has locally p-bases over R ¹ and is finitely presented as R ¹-module, we study the existence of a p-basis of R over R ¹ and the condition that the module ω _{R/R ¹} of Kähler differentials of R over R ¹ is to be free.     

On Drinfeld's universal formal group over thep-adic upper half plane

Conclusion All of our results are stated for 2-dimensional modules with action by the quaternion division algebra overQ _p . Drinfeld's results are true in much greater generality. We remark that our results generalize easily to the case of 2-dimensional modules with action by quaternion algebras over extensions ofQ _p by applying the theory of formal -modules. We suspect that Drinfeld's higher dimensional modules over are determined by formulae similar to that in Theorem 46, but with and generalized to moduli for higher dimensionalQ _p -subspaces of ; however, we have not investigated this in any detail.Although this work amplifies Drinfeld's original paper by supplying many details in certain cases, it is seriously limited in that it considers lifts of SFD modules to unramified rings only. The most interesting points in thep-adic upper half plane are the points defined over ramified rings, which reduce modp to the singular points on the special fiber. What happens there? We do not have a simple answer.Drinfeld's moduli for formal groups on thep-adic upper half plane is the basis for his proof that Shimura curves havep-adic uniformizations. In a later work, we hope to exploit improved versions of the techniques in this work to better understand the arithmetic of Shimura curves. In particular, in the course of work onp-adicL-functions, we have been led to construct certain p-adic periods associated to the cohomology of sheaves on Shimura curves which depend essentially on the existence of ap-adic uniformization. We hope to use Drinfeld's moduli to obtain a more natural construction of these periods in terms of the Gauss-Manin connection, and thereby to gain a better understanding of how they might come to appear in special values ofp-adicL-functions.This research was partially supported by an NSF Postdoctoral Fellowship     

Annihilators for cusp forms of weight 2 and level 4p m

We obtain operators, given essentially by formal sums of Hecke operators, that annihilate spaces of cusp forms of weight 2 for Γ ₁(p ^m )∩Γ(4), whose dimensions will be specified. Moreover, we obtain the principal part (mod p), over the cusps, of certain meromorphic modular functions of level 4p ^m .