On a Theorem of Grothendieck

A smooth projective morphism p : T S to a smooth variety S is considered. In particular, the following result is proved. The total direct image Rp _*(/n) of the constant étale sheaf /n is locally (in Zariski topology) quasiisomorphic to a bounded complex on S that consists of locally constant, constructible étale sheaves of /n-modules. Bibliography: 2 titles.     

Counting Sets With Small Sumset, And The Clique Number Of Random Cayley Graphs

Given a set A /N we may form a Cayley sum graph G _A on vertex set /N by joining i to j if and only if i+j A. We investigate the extent to which performing this construction with a random set A simulates the generation of a random graph, proving that the clique number of G _A is almost surely O(logN). This shows that Cayley sum graphs can furnish good examples of Ramsey graphs. To prove this result we must study the specific structure of set addition on /N. Indeed, we also show that the clique number of a random Cayley sum graph on =(/2) ⁿ is almost surely not O(log ||).* Supported by a grant from the Engineering and Physical Sciences Research Council of the UK and a Fellowship of Trinity College Cambridge.     

Central Limit Theorem for a Class of Nonhomogeneous Random Walks

A spatially nonhomogeneous random walk _t on the grid =^m X ⁿ is considered. Let _t ⁰ be a random walk homogeneous in time and space, and let _t be obtained from it by changing transition probabilities on the set A= X ⁿ, || < , so that the walk remains homogeneous only with respect to the subgroup ⁿ of the group . It is shown that if >m 2 or the drift is distinct from zero, then the central limit theorem holds for _t.     

Difference sets in abelian groups ofp-rank two

Under a technical assumption that pertains to the so-called self-conjugacy, we prove: if an abelian groupG ofp-rank two,p a prime, admits a (nontrivial) (v, k, ) difference setD, then for each for some subgroupC _p ofG of orderp. Consequently,k(p=1), with equality only ifF=1/p D , whereD is the image ofD under the canonical homomorphism fromG ontoG/E (E being the unique elementary abelian subgroup ofG of orderp ²), is a (v/p ²,k/p, ) difference set inG/E. As applications, we establish the nonexistence of (i) (96, 20, 4) difference sets in ₄ x ₈ x ₃, (ii) (640, 72, 8) difference sets in ₈ x ₁₆ x ₅ and (iii) (320, 88, 24) difference sets in ₈ x ₈ x ₅. The first one fills a missing entry in Lander's table [6] and the other two in Kopilovich's table [5] (all with the answer no). We also point out the connection of the parameter sets in (i) above with the Turyn-type bounds [10] for the McFarland difference sets [9].Research partially supported by NSA Grant #904-92-H-3057 and by NSF Grant # NCR-9200265.     

Topological hochschild homology of extensions of ?/p? by polynomials, and of ?[x]/(xn) and ?[x]/(xn?1)

Topological Hochschild homology is calculated for the rings /p[x]/(f(x)) (where p is prime and f(x) /p[x] any polynomial), [x]/(x ⁿ) and [x]/(x ⁿ–1). A spectral sequence argument is used for calculating the homology of the topological Hochschild homology spectrum, from which its stable homotopy structure can be read off since the spectrum is known for a priori reasons to be a restricted product of Eilenberg-MacLane spectra.     

Properties of a jointly ergodic action of the direct product of two groups

An ergodic action a of the direct product of and , not isomorphic to a product of actions of and G, is constructed, such that the actions of and G separately are not ergodic. The actions of on its ergodic components are metrically isomorphic if and only if these components are taken into one another by the action of G. Finally, the centralizerC (×G) is such thatC (×G)/(×G)₂.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 5, pp. 684–688, May, 1991.     

Subdivision algorithms with nonnegative masks generally converge

In this paper, a subdivision scheme consists of an operator froml () tol () determined by a doubly infinite sequence, called the mask. This operator convolutes, in a certain sense, sequences l () with the mask, thus producing a new sequence inl (). Moreover, this new sequence is placed on a finer grid. If we iterate this process with a positive mask infinitely many times, it is known that this process will produce a continuous function, which we callf . In this paper, we consider the extent to which non-negative masks yield similar results. An important application of subdivision schemes in computer graphics is the generation of curves and surfaces from an initial sequence.     

Some Criteria for Multivalently Starlikeness

Let S_n(p)(p, n N) be the class of functions f() = ^p + a_p+n^p+n + which are p-valently starlike in the unit disk. Some sufficient conditions for a function f() to be in the class S_n(p) are given.AMS Subject Classification (2000): primary 30C45     

On odd points and the volume of lattice polyhedra

Denote by _n ³ ,n 2, the lattice consisting of all pointsx in ³ such thatnx belongs to the fundamental lattice ³ of points with integer coordinates. Letl _n be the subset of _n ³ consisting of all points whose coordinates are odd multiples of 1/n. The purpose of this paper is to give several new Pick-type formulae for the volume of three-dimensional lattice polyhedra, that is, polyhedra with vertices in ³. Our formulae are in terms of numbers of only thel _n-points belonging to a lattice polyhedronP in contrast to already known formulae which employ numbers of all the _n ³ -points inP. On our way to establishing the formulae we show that the number of points froml _n belonging to a three-dimensional lattice polyhedronP has some polynomiality properties similar to those of the well-known Ehrhart polynomial expressing the number of points of _n ³ inP. The paper contains also some comments on a problem of finding a volume formula which would employ only the setsl _n and which would be applicable to lattice polyhedra in arbitrary dimensions.Research partially supported by KBN Grant 2 P03A 008 10.     

Compressing Coefficients While Preserving Ideals in K-Theory for C*-Algebras

An invariant based on orderedK-theory with coefficients in _n>1 /n and an infinite number of natural transformations has proved to be necessary and sufficient to classify a large class of nonsimple C* -algebras. In this paper, we expose and explain the relations between the order structure and the ideals of the C* -algebras in question.As an application, we give a new complete invariant for a large class of approximately subhomogeneous C*-algebras. The invariant is based on ordered K-theory with coefficients in /. This invariant is more compact (hence, easier to compute) than the invariant mentioned above, and its use requires computation of only four natural transformations.     

Moyennes uniformes et moyennes suivant une marche aléatoire

Summary Let be a bounded function on such that converges towards l as n goes to infinity, uniformly with respect to m. Let {X _n} be a random walk on , not concentrated on a proper subgroup of Then, with probability 1, converges towards l as n goes to infinity. The result also holds for any countable abelian group instead of . Other modes of convergence are considered (Cesaro convergence of order >1/2). The Cesaro convergence of expressions such that (X _n) (X _n+1) is also investigated.     

Distribution of primes of the form P=[tc]-[nd] in arithmetic progressions

Ew obtain an asymptotic formula and a theorem about the mean (of the type of the large sieve) for the numberF _c,d (x;q,l) of primes px such thatp=(modq), p=[t^c]=[n ^d ], t,n , whereq>0, ,c,d are given numbers.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 121, pp. 94–202, 1983.     

Kleine Nullstellen homogener quadratischer Gleichungen

Let 0 be a real quadratic form inn variables, which takes on integral values on ⁿ . Denote by the largest coefficient of in absolute value. Suppose vanishes on ad-dimensional rational subspace. It is shown that has a zero (x ₁,...,x _n ⁿ \{(0,...,0)} with max |x _i ^(n-d/2d).     

Compact groups having almost discrete orbit hypergroups

LetG be a compact group of automorphism acting continuously on a compact groupH. Then the orbit spaceH ^G is a compact hypergroup. We characterize, all solvable groupsH and compact automorphism groupsG for whichH ^G is almost discrete, i.e.,H ^G is homeomorphic to the one-point-compactification of . It turns out that thenH is isomorphic either to the infinite direct product (p) of the cyclic groups (p) or to _p ⁿ ( _p the group of allp-adic numbers) for some primep and some . The almost discrete orbit hypergroupsH ^G are determined explicitly for some examples.     

p-Group actions on homology spheres

When an arbitraryp-groupG acts on a _n -homologyn-sphereX, it is proved here that the dimension functionn:S(G)(S(G) is the set of subgroups ofG), defined byn(H)=dimX ^H, (dim here is cohomological dimension) is realised by a real representation ofG, and that there is an equivariant map fromX to the sphere of this representation. A converse is also established.     

The MoravaK-theory of algebraicK-theory spectra

Ifn2 the MoravaK-theoryK(n) _* of an algebraicK-theory spectrumKX vanishes for any ring or schemeX. This is proved using thev _n -complexes of Hopkins and Smith, together with the following theorem. The natural mapf:Q ₀S⁰BGL⁺ factors through the space ImJ. In particularf _*: _* ^s K _* annihilates CokerJ. These results are closely related to the Lichtenbaum-Quillen conjectures.Partially supported by an NSF grant.     

Equivalence between the dilation and lifting properties of an ordered group through multiplicative families of isometries. A version of the commutant lifting theorem on some lexicographic groups

Let be a locally compact abelian ordered group. has the dilation property if a special extension of the Naimark dilation theorem holds for and it has the commutant lifting property if a natural extension of the Sz.-Nagy — Foias commutant lifting theorem holds for .We prove that these two conditions are equivalent and we give another necessary and sufficient condition in terms of unitary extensions of multiplicative families of partial isometries.A version of the commutant lifting theorem is given for the groups ⁿ and × ⁿ with the lexicographic order and the natural topologies.Both authors were partially supported by the CDCH of the Universidad Central de Venezuela, and by CONICIT grant G-97000668.     

An invariance principle for the local time of a recurrent random walk

Summary Let (S _j ) be a lattice random walk, i.e. S _j =X ₁ +...+X _j , where X ₁,X ₂,... are independent random variables with values in the integer lattice and common distribution F, and let , the local time of the random walk at k before time n. Suppose EX ₁=0 and F is in the domain of attraction of a stable law G of index > 1, i.e. there exists a sequence a(n) (necessarily of the form n ¹l(n), where l is slowly varying) such that S _n /a(n) G. Define , where c(n)=a(n/log log n) and [x] = greatest integer x. Then we identify the limit set of {g _n (, ·) n1} almost surely with a nonrandom set in terms of the I-functional of Donsker and Varadhan.The limit set is the one that Donsker and Varadhan obtain for the corresponding problem for a stable process. Several corollaries are then derived from this invariance principle which describe the asymptotic behavior of L _n (, ·) as n.Research partially supported by NSF Grant #MCS 78-01168. These results were announced at the Fifteenth European Meeting of Statisticians, Palermo, Italy (September, 1982)     

Uniqueness of the infinite component in a random graph with applications to percolation and spin glasses

Summary We extend the theorem of Burton and Keane on uniqueness of the infinite component in dependent percolation to cover random graphs on ^d or ^d × with long-range edges. We also study a short-range percolation model related to nearest-neighbor spin glasses on ^d or on a slab ^d × {0,...K} and prove both that percolation occurs and that the infinite component is unique forV=²×{0,1} or larger.A.G. was partially supported from AFOSR through grant no. 90-0090     

Properties of Certain Integral Operators

For analytic functions f() belonging to the class A_p, integral operators I_n^a (f()) are introduced. The object of the present paper is to derive some interesting properties of integral operators I_n^a(f(z)). Our results contain some previous results by M. Obradovié [4], S. Owa, M. Obradovi, and M. Nunokawa [6], and by D.K. Thomas [7].AMS Subject Classification (2000) primary 30C45 secondary 32A20Supported, in part, by the Japanese Ministry of Education, Science and Culture under a grant-in-aid for general scientific research.