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.     

The elements of K2(ℤs)

Let S={p₁,...,p_s} be a set of rational primes, . One has K₂(_s)K₂(_su{2} and we want to assume 2 S. It is snown that every element of K₂(_S) is a Dehnis-Stein-symbol <a,b>, 1+ab being a unit of _S.Here b can be determined concretely, depending only on S, and we obtain a normal form of the elements of K₂(Q) as Steinberg-symbols, which is unique in some way and expresses the quadratic reciprocity law.     

The Cohomology of SL(3, ?[1/2])

We compute the cohomology of SL(3, [1/2]) with coefficients in the prime fields and in the integers. On the way we obtain the cohomology of certain mod-2 congruence subgroups of SL(3, ) with coefficients in p for p>2. Finally we compute the cohomology of GL(3, [1/2]).     

The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

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.     

p-Sets for random walks

Summary Let (,,P) be a probability space and let {itX _n ()} _n=1 be a sequence of i.i.d. random vectors whose state space isZ ^m for some positive integerm, where Z denotes the integers. Forn = 1, 2,... letS _n () be the random walk defined by . ForxZ ^m andU ^m, them-dimensional torus, let . Finally let be the characteristic function of the X's.In this paper we show that, under mild restrictions, there exists a set withP{ ₀ } = 1 such that for ₀ we have for all aU ^m,le0.As a consequence of this theorem, we obtain two corollaries. One is concerned with occupancy sets form-dimensional random walks, and the other is a mean ergodic theorem.Research supported by N.S.F. Grant # MCS 77-26809     

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     

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.     

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.     

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.     

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.     

A sharper stability bound of Fourier frames

Given a real sequence {_n}_n. Suppose that is a frame for L²[–, ] with bounds A, B. The problem is to find a positive constant L such that for any real sequence {_n}_n with ¦_n –_n¦ <L, is also a frame for L²[–, ]. Balan [1] obtained arcsin . This value is a good stability bound of Fourier frames because it covers Kadec's 1/4-theorem and is better than (see Duffin and Schaefer [3]). In this paper, a sharper estimate is given.     

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     

Perversité et variation

Let S be the spectrum of a strictly henselian discrete valuation ring with residue characteristic p and =/, where is a prime number p and is an integer 1. For a scheme X of finite type over S and smooth over S along the special fiber X _s outside a closed point x, we study the vanishing cycles complex R() and the tame variation , for in the tame inertia group I _t . In particular, we show that if X is regular, flat over S of relative dimension n1, and is a topological generator of I _t , then R ^q () _x =0 for qn and is an isomorphism. Mathematics Subject Classification (2000):14F20, 14D05, 14D06     

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.     

ApproximatingK*(?) through degree five

We approximate theK-theory spectrum of the integers using a spectrum level rank filtration. By means of a certain poset spectral sequence, we explicitly compute the first three subquotients of this filtration. Assuming a conjecture about the filtration's rate of convergence, we conclude thatK ₄()=0 andK ₅() is a copy of (the Borel summand) plus two-torsion of order at most eight.     

The Eta Invariant and the Connective K-Theory of the Classifying Space for Cyclic 2 Groups

We use the eta invariant to study the connective K-theory groups ko _m (B ) of the classifying space for the cyclic group where - 2 2.     

Summation formulas for general Kloosterman sums

N. V. Kuznetsov's summation formula is generalized to the case of a discrete subgroup GSL₂() and a system of multiplicators , satisfying certain not too restrictive conditions. In the arithmetic cases, when G is a congruence-subgroup in SL₂(), these conditions are satisfied. N. V. Kuznetsov's formula has been proved for the case G=SL₂()., =1.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 82, pp. 103–135, 1979.     

Infinite partition regular matrices

We consider infinite matrices with entries from (and only finitely many nonzero entries on any row). A matrixA is partition regular over provided that, whenever the set of positive integers is partitioned into finitely many classes there is a vector with entries in such that all entries ofA lie in the same cell of the partition. We show that, in marked contrast with the situation for finite matrices, there exists a finite partition of no cell of which contains solutions for all partition regular matrices and determine which of our pairs of matrices must always have solutions in the same cell of a partition.