Independence of of monodromy groups

Let be a smooth curve over a finite field of characteristic , let be a number field, and let be an -compatible system of lisse sheaves on the curve . For each place of not lying over , the -component of the system is a lisse -sheaf on , whose associated arithmetic monodromy group is an algebraic group over the local field . We use Serre's theory of Frobenius tori and Lafforgue's proof of Deligne's conjecture to show that when the -compatible system is semisimple and pure of some integer weight, the isomorphism type of the identity component of these monodromy groups is ``independent of '. More precisely, after replacing by a finite extension, there exists a connected split reductive algebraic group over the number field such that for every place of not lying over , the identity component of the arithmetic monodromy group of is isomorphic to the group with coefficients extended to the local field .

     

Double node neighborhoods and families of simply connected -manifolds with

We introduce a new technique that is used to show that the complex projective plane blown up at 6, 7, or 8 points has infinitely many distinct smooth structures. None of these smooth structures admits smoothly embedded spheres with self-intersection , i.e., they are minimal. In addition, none of these smooth structures admits an underlying symplectic structure. Shortly after the appearance of a preliminary version of this article, Park, Stipsicz, and Szabo used the techniques described herein to show that the complex projective plane blown up at 5 points has infinitely many distinct smooth structures. In the final section of this paper we give a construction of such a family of examples.

     

The threshold for random -SAT is

Let be a random -CNF formula formed by selecting uniformly and independently out of all possible -clauses on variables. It is well known that if , then is unsatisfiable with probability that tends to 1 as . We prove that if , where , then is satisfiable with probability that tends to 1 as .

Our technique, in fact, yields an explicit lower bound for the random -SAT threshold for every . For our bounds improve all previously known such bounds.

     

Weakly null sequences in

We construct a weakly null normalized sequence in so that for each , the Haar basis is -equivalent to a block basis of every subsequence of . In particular, the sequence has no unconditionally basic subsequence. This answers a question raised by Bernard Maurey and H. P. Rosenthal in 1977. A similar example is given in an appropriate class of rearrangement invariant function spaces.

     

Isometric copies of and in Orlicz spaces equipped with the Orlicz norm

Criteria in order that an Orlicz space equipped with the Orlicz norm contains a linearly isometric copy (or an order linearly isometric copy) of (or ) are given.

     

Global -regularity of Schubert varieties with applications to -modules

We prove that Schubert varieties are globally -regular in the sense of Karen Smith. We apply this result to the category of equivariant and holonomic -modules on flag varieties in positive characteristic. Here recent results of Blickle are shown to imply that the simple -modules coincide with local cohomology sheaves with support in Schubert varieties. Using a local Grothendieck-Cousin complex, we prove that the decomposition of local cohomology sheaves with support in Schubert cells is multiplicity free.

     

Symplectic semifield planes and -linear codes

There are lovely connections between certain characteristic 2 semifields and their associated translation planes and orthogonal spreads on the one hand, and -linear Kerdock and Preparata codes on the other. These inter-relationships lead to the construction of large numbers of objects of each type. In the geometric context we construct and study large numbers of nonisomorphic affine planes coordinatized by semifields; or, equivalently, large numbers of non-isotopic semifields: their numbers are not bounded above by any polynomial in the order of the plane. In the coding theory context we construct and study large numbers of -linear Kerdock and Preparata codes. All of these are obtained using large numbers of orthogonal spreads of orthogonal spaces of maximal Witt index over finite fields of characteristic 2.

We also obtain large numbers of ``boring' affine planes in the sense that the full collineation group fixes the line at infinity pointwise, as well as large numbers of Kerdock codes ``boring' in the sense that each has as small an automorphism group as possible.

The connection with affine planes is a crucial tool used to prove inequivalence theorems concerning the orthogonal spreads and associated codes, and also to determine their full automorphism groups.

     

Blocks of central -group extensions

Let and be finite groups that have a common central -subgroup for a prime number , and let and respectively be -blocks of and induced by -blocks and respectively of and , both of which have the same defect group. We prove that if and are Morita equivalent via a certain special -bimodule, then such a Morita equivalence lifts to a Morita equivalence between and .

     

An ultrafilter with property

Let be a -supercompact cardinal. We show that carries a normal ultrafilter with a property introduced by Menas. With it we give a transparent proof of Kamo's theorem that carries a normal ultrafilter with the partition property.

     

Gromov hyperbolicity of the and metrics

In this note it is shown that the metric is always Gromov hyperbolic, but that the metric is Gromov hyperbolic if and only if has exactly one boundary point. As a corollary we get a new proof for the fact that the quasihyperbolic metric is Gromov hyperbolic in uniform domains.

     

-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.

     

There is no separable universal -factor

Gromov constructed uncountably many pairwise nonisomorphic discrete groups with Kazhdan's property . We will show that no separable -factor can contain all these groups in its unitary group. In particular, no separable -factor can contain all separable -factors in it. We also show that the full group -algebras of some of these groups fail the lifting property.

     

On the size of -fold sum and product sets of integers

In this paper, we show that for all 1$"> there is a positive integer such that if is an arbitrary finite set of integers, 2$">, then either N^{b}$"> or N^{b}$">. Here (resp. ) denotes the -fold sum (resp. product) of . This fact is deduced from the following harmonic analysis result obtained in the paper. For all 2$"> and 0$">, there is a 0$"> such that if satisfies , then the -constant of (in the sense of W. Rudin) is at most .

     

Morava -theory of extraspecial -groups

We compute the Morava -theory of some extraspecial 2-groups and associated compact groups.

     

On the nonvanishing of the central value of the Rankin-Selberg -functions

We characterize the nonvanishing of the central value of the Rankin-Selberg -functions in terms of periods of Fourier-Jacobi type. This characterization is based on the Langlands philosophy on functoriality and on applications of invariant theory to automorphic representations. The result is the symplectic analog of the Gross-Prasad conjecture.

     

The de Rham-Witt complex and -adic vanishing cycles

We determine the structure of the reduction modulo of the absolute de Rham-Witt complex of a smooth scheme over a discrete valuation ring of mixed characteristic with log-poles along the special fiber and show that the sub-sheaf fixed by the Frobenius map is isomorphic to the sheaf of -adic vanishing cycles. We use this result together with the main results of op. cit. to evaluate the algebraic -theory with finite coefficients of the quotient field of the henselian local ring at a generic point of the special fiber. The result affirms the Lichtenbaum-Quillen conjecture for this field.

     

Discrete spectra of -algebras and orthogonally closed submodules in Hilbert -modules

Let and be -algebras and let be an --imprimitivity bimodule. Then it is shown that if the spectrum of (resp. of ) is discrete, then every closed --submodule of is orthogonally closed in , and conversely that if (resp. ) is a -space and if every closed --submodule of is orthogonally closed in , then (resp. ) is discrete.

     

Tensor products of -weakly closed nest algebra submodules

In this paper we prove that for any unital -weakly closed algebra which is -weakly generated by finite-rank operators in , every -weakly closed -submodule has . In the case of nest algebras, if are nests, we obtain the following -fold tensor product formula:

where each is the -weakly closed Alg -submodule determined by an order homomorphism from into itself.

     

-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.

     

-summand vectors in Banach spaces

The aim of this paper is to study the set of all -summand vectors of a real Banach space . We provide a characterization of -summand vectors in smooth real Banach spaces and a general decomposition theorem which shows that every real Banach space can be decomposed as an -sum of a Hilbert space and a Banach space without nontrivial -summand vectors. As a consequence, we generalize some results and we obtain intrinsic characterizations of real Hilbert spaces.