Idempotent Modules in the Stable Category

Let G be a finite group and k be an algebraically closed fieldof prime characteristic. Corresponding to each closed homogeneoussubvariety W of the maximal ideal spectrum of H*(G, k) we construct(usually infinite-dimensional) kG-modules E(W) and F(W) whichare idempotent in the sense that E(W) and F(W) are isomorphic(up to projective summands) to E(W) E(W) and F(W) F(W) respectively.We study the properties of these modules, and as an applicationwe use them to describe natural direct sum decompositions ofmodules in quotient categories.     

A separation property of the zeros of Eisenstein series for SL(2, Z)

Let E_k(z) be the Eisenstein series with weight k for the modulargroup SL(2, ). We prove that the zeros of E_k(eⁱ) interlace withthe zeros of E_k+12(eⁱ) on /2 < < 2/3. That is, any zeroof E_k(eⁱ) lies between two consecutive zeros of E_k+12(eⁱ) on/2 < < 2/3.     

On the sum of two primes and k powers of two

Let X be a large integer. We prove that, for any fixed positiveinteger k, a suitable asymptotic formula for the number of representationsof an even integer N [1,X] as the sum of two primes and k powersof 2 holds with at most exceptions.     

Multiple Roots of [-1, 1] Power Series

We are interested in how small a root of multiplicity k canbe for a power series of the form with coefficients a_i in [–1, 1]. Let r(k) denote the sizeof the smallest root of multiplicity k possible for such a powerseries. We show that We describe the form that the extremal power series must takeand develop an algorithm that lets us compute the optimal root(which proves to be an algebraic number). The computations,for k27, suggest that the upper bound is close to optimal andthat r(k)1–c/(k+1), where c=1.230....     

On a Generalization of Szemeredi's Theorem

Let N be a natural number and A [1, ..., N]² be a set of cardinalityat least is an absolute constant. We prove that A contains a triple {(k, m), (k+d, m), (k, m+d)},where d > 0. This theorem is a two-dimensional generalizationof Szemerédi's theorem on arithmetic progressions. 2000Mathematics Subject Classification 35J25, 37A15.     

On a Question of Herman, Baker and Rippon Concerning Siegel Disks

Consider the family of exponential maps E_k(z) = exp(z)+k. Thispaper shows that any unbounded Siegel disk U of E_k containsthe singular value k on its boundary. By a result of Herman,this implies that k U if the rotation number is diophantine.2000 Mathematics Subject Classification 37F10, 30D05.     

Beurling and Lipschitz Algebras

It is well known that there exist infinite closed subsets Eof T such that A(E) = C(E) (see, for example, [3]). Such setsare called Helson sets. Let E be a closed subset of T, let 0< < 1, and let A(E) be the restriction of the Beurlingalgebra A(T). Then A(E) lipE. We shall show that A(E) = lipEif and only if E is finite. This answers a question raised byPedersen [5], where partial results were obtained. 1991 MathematicsSubject Classification 46J10.     

Universal deformation rings and dihedral 2-groups

Let k be an algebraically closed field of characteristic 2,and let W be the ring of infinite Witt vectors over k. Supposethat D is a dihedral 2-group. We prove that the universal deformationring R(D, V) of an endo-trivial kD-module V is always isomorphicto W [/2x/2]. As a consequence, we obtain a similar result formodules V with stable endomorphism ring k belonging to an arbitrarynilpotent block with defect group D. This confirms, for suchV, conjectures on the ring structure of the universal deformationring of V that had previously been shown for V belonging tocyclic blocks or to blocks with Klein four defect groups.     

Symplectic embeddings of 4-dimensional ellipsoids

We show how to reduce the problem of symplectically embeddingone 4-dimensional rational ellipsoid into another to a problemof embedding disjoint unions of balls into P². For example,the problem of embedding the ellipsoid E(1, k) into a ball Bis equivalent to that of embedding k disjoint equal balls intoP², and so can be solved by the work of Gromov, McDuff–Polterovich,and Biran. (Here k is the ratio of the area of the major axisto that of the minor axis.) As a consequence we show that theball may be fully filled by the ellipsoid E(1, k) for k = 1,4 and all k 9, thus answering a question raised by Hofer. Received March 31, 2008.     

Construction of p-1 Irreducible Modules with Fundamental Highest Weight for the Symplectic Group in Characteristic p

Let K be a field and let V be a vector space of dimension 2mover K. Let V denote the exterior algebra of V and ^kV its kthexterior power for 0k2m. Let f be a non-degenerate alternatingbilinear form defined on VxV. The symplectic group Sp_2m(K) isthe group of all isometries of f and it acts as a group of vectorspace automorphisms on ^kV. In the case that K is algebraicallyclosed and 1km, it is known that ^kV contains a composition factorcorresponding to the fundamental weight _k of a root system oftype C_m. We shall refer to the irreducible module for Sp_2m(K)given by this composition factor as a fundamental module.     

Interpolation of Vector-Valued Real Analytic Functions

Let R^d be an open domain. The sequentially complete DF-spacesE are characterized such that for each (some) discrete sequence(z_n) , a sequence of natural numbers (k_n) and any family the infinite system of equations has an E-valued real analytic solution f.     

The Direct Limits Of The Banach-mazur Compacta

Let 1 p . For each n-dimensional Banach space E = (E, || ·||), we define a norm || · ||_p on E x R as follows: [formula] It is shown that the correspondence (E, || · ||) (Ex R, || · ||_p) defines a topological embedding of oneBanach–Mazur compactum, BM(n), into another, BM(n 1),and hence we obtain a tower of Banach–Mazur compacta:BM(1) BM(2) BM(3) ···. Let BM_p be thedirect limit of this tower. We prove that BM_p is homeomorphicto Q = dir lim Qⁿ, where Q = [0, 1] is the Hilbert cube. 1991Mathematics Subject Classification 46B04, 46B20, 52A21, 57N20,54H15.     

On the Genus of a Finite Classical Group

Let G be a finite group acting faithfully and transitively ona set of size m, and let E = {x₁, ..., x_k} be a generatingset for G with x₁x₂...x_k = 1. If x G has cycles of length r₁,..., r_l in its action on , define . Then the genus g = g(G, , E) is defined by 1991 Mathematics Subject Classification 20B25, 20G40,30F99.     

Measures of pseudorandomness for finite sequences: typical values

Mauduit and Sárközy introduced and studied certainnumerical parameters associated to finite binary sequences E_N {–1, 1}^N in order to measure their ‘level of randomness’.Those parameters, the normality measure (E_N), the well-distributionmeasure W(E_N), and the correlation measure C_k(E_N) of order k,focus on different combinatorial aspects of E_N. In their work,amongst others, Mauduit and Sárközy (i) investigatedthe relationship among those parameters and their minimal possiblevalue, (ii) estimated (E_N), W(E_N) and C_k(E_N) for certain explicitlyconstructed sequences E_N suggested to have a ‘pseudorandomnature’, and (iii) investigated the value of those parametersfor genuinely random sequences E_N. In this paper, we continue the work in the direction of (iii)above and determine the order of magnitude of (E_N), W(E_N) andC_k(E_N) for typical E_N. We prove that, for most E_N {–1,1}^N, both W(E_N) and (E_N) are of order N, while C_k(E_N) is oforder for any given 2 k N/4.     

On Waring's Problem in Number Fields

Let K be an algebraic number field of degree n over the rationals,and denote by J_k the subring of K generated by the kth powersof the integers of K. Then G_K(k) is defined to be the smallests1 such that, for all totally positive integers vJ_k of sufficientlylarge norm, the Diophantine equation (1.1) is soluble in totally non-negative integers _i of K satisfying N(_i)<<N(v)^1/k (1is). (1.2) In (1.2) and throughout this paper, all implicit constants areassumed to depend only on K, k, and s. The notation G_K(k) generalizesthe familiar symbol G(k) used in Waring's problem, since wehave G_Q(k) = G(k). By extending the Hardy–Littlewood circle method to numberfields, Siegel [8, 9] initiated a line of research (see [1–4,11]) which generalized existing methods for treating G(k). Thistypically led to upper bounds for G_K(k) of approximate strengthnB(k), where B(k) was the best contemporary upper bound forG(k). For example, Eda [2] gave an extension of Vinogradov'sproof (see [13] or [15]) that G(k)(2+o(1))k log k. The presentpaper will eliminate the need for lengthy generalizations assuch, by introducing a new and considerably shorter approachto the problem. Our main result is the following theorem.     

Continuity of Derivations, Intertwining Maps, and Cocycles from Banach Algebras

Let A be a Banach algebra, and let E be a Banach A-bimodule.A linear map S:AE is intertwining if the bilinear map is continuous, and a linear map D:AE is a derivation if ¹D=0,so that a derivation is an intertwining map. Derivations fromA to E are not necessarily continuous. The purpose of the present paper is to prove that the continuityof all intertwining maps from a Banach algebra A into each BanachA-bimodule follows from the fact that all derivations from Ainto each such bimodule are continuous; this resolves a questionleft open in [1, p. 36]. Indeed, we prove a somewhat strongerresult involving left- (or right-) intertwining maps.     

Generating Countable Sets of Permutations

Let E be an infinite set. In answer to a question of Wagon,I show that every countable subset of the symmetric group Sym(E)is contained in a 2-generator subgroup of Sym(E). In answerto a question of Macpherson and Neumann, I show that, if Sym(E)is generated by A B where |B| ||E||, then Sym(E) is generatedby A {} for some permutation in Sym(E).     

Economical Covers with Geometric Applications

A cover of a hypergraph is a collection of edges whose unioncontains all vertices. Let H = (V, E) be a k-uniform, D-regularhypergraph on n vertices, in which no two vertices are containedin more than o(D/e^2k log D) edges as D tends to infinity. Ourresults include the fact that if k = o(log D), then there isa cover of (1 + o(1))n/k edges, extending the known result thatthis holds for fixed k. On the other hand, if k 4 log D thenthere are k-uniform, D-regular hypergraphs on n vertices inwhich no two vertices are contained in more than one edge, andyet the smallest cover has at least (nk) log (k log D)) edges.Several extensions and variants are also obtained, as well asthe following geometric application. The minimum number of linesrequired to separate n random points in the unit square is,almost surely, (n^2/3 / (log n)^1/3). 2000 Mathematical SubjectClassification: 05C65, 05D15, 60D05.     

On the extension of real regular embedding

Let X be a real nonsingular affine algebraic variety of dimensionk. It is proved that any two regular (algebraic) embeddingsX ⁿ are regularly equivalent, provided that n 4k + 2.     

Normality and attracting fixed points

Let k 2 be a fixed integer. We construct a non-normal familyof meromorphic functions in the unit disc with kth iteratesthat have no non-attracting fixed points in the unit disc. Wealso prove that a family of meromorphic functions in a planedomain is normal if all fixed points in the domain of the k-iteratesof all functions in the family are uniformly attracting.