Exponential sums on , II

We prove a vanishing theorem for the -adic cohomology of exponential sums on . In particular, we obtain new classes of exponential sums on that have a single nonvanishing -adic cohomology group. The dimension of this cohomology group equals a sum of Milnor numbers.

     

Generalized spherical functions on reductive -adic groups

Let be the group of rational points of a connected reductive -adic group and let be a maximal compact subgroup satisfying conditions of Theorem 5 from Harish-Chandra (1970). Generalized spherical functions on are eigenfunctions for the action of the Bernstein center, which satisfy a transformation property for the action of . In this paper we show that spaces of generalized spherical functions are finite dimensional. We compute dimensions of spaces of generalized spherical functions on a Zariski open dense set of infinitesimal characters. As a consequence, we get that on that Zariski open dense set of infinitesimal characters, the dimension of the space of generalized spherical functions is constant on each connected component of infinitesimal characters. We also obtain the formula for the generalized spherical functions by integrals of Eisenstein type. On the Zariski open dense set of infinitesimal characters that we have mentioned above, these integrals then give the formula for all the generalized spherical functions. At the end, let as mention that among others we prove that there exists a Zariski open dense subset of infinitesimal characters such that the category of smooth representations of with fixed infinitesimal character belonging to this subset is semi-simple.

     

The -theory of is undecidable

The three quantifier theory of , the recursively enumerable degrees under Turing reducibility, was proven undecidable by Lempp, Nies and Slaman (1998). The two quantifier theory includes the lattice embedding problem and its decidability is a long-standing open question. A negative solution to this problem seems out of reach of the standard methods of interpretation of theories because the language is relational. We prove the undecidability of a fragment of the theory of that lies between the two and three quantifier theories with but includes function symbols.

Theorem. The two quantifier theory of , the r.e. degrees with Turing reducibility, supremum and infimum (taken to be any total function extending the infimum relation on ) is undecidable.

The same result holds for various lattices of ideals of which are natural extensions of preserving join and infimum when it exits.

     

Subgroups of acting transitively on -tuples

We consider subgroups of -diffeomorphisms of the circle which act transitively on -tuples of points. We show, in particular, that these subgroups are dense in the group of homeomorphisms of . A stronger result concerning -approximations is obtained as well. The techniques employed in this paper rely on Lie algebra ideas and they also provide partial generalizations to the differentiable case of some results previously established in the analytic category.

     

Blakers-Massey elements and exotic diffeomorphisms of and via geodesics

We use the geometry of the geodesics of a certain left-invariant metric on the Lie group to find explicit related formulas for two topological objects: the Blakers-Massey element (a generator of ) and an exotic (i.e. not isotopic to the identity) diffeomorphism of (C. E. Durán, 2001). These formulas depend on two quaternions and their conjugates and we produce their extensions to the octonions through formulas for a generator of and exotic diffeomorphisms of , thus giving explicit gluing maps for half of the 15-dimensional exotic spheres expressed as the union of two 15-disks.

     

Involutions fixing , II

This paper studies the equivariant cobordism classification of all involutions fixing a disjoint union of an odd-dimensional real projective space with its normal bundle nonbounding and a Dold manifold with a positive even and 0$">. The complete analysis of the equivariant cobordism classes of such involutions is given except that the upper and lower bounds on the codimension of may not be best possible. In particular, we find that there exist such involutions with nonstandard normal bundle to . Together with the results of part I of this title (Trans. Amer. Math. Soc. 354 (2002), 4539-4570), the argument for involutions fixing is finished.

     

Singular integrals with rough kernels along real-analytic submanifolds in

mapping properties will be established in this paper for singular Radon transforms with rough kernels defined by translates of a real-analytic submanifold in .

     

A van der Corput lemma for the -adic numbers

We prove a version of van der Corput's lemma for polynomials over the -adic numbers.

     

Parametrized principles

We will present a collection of guessing principles which have a similar relationship to as cardinal invariants of the continuum have to . The purpose is to provide a means for systematically analyzing and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of and in models such as those of Laver, Miller, and Sacks.

     

A class of -algebras generalizing both graph algebras and homeomorphism -algebras I, fundamental results

We introduce a new class of -algebras, which is a generalization of both graph algebras and homeomorphism -algebras. This class is very large and also very tractable. We prove the so-called gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem, and compute the -groups of our algebras.

     

Cartan-decomposition subgroups of

For and , we give explicit, practical conditions that determine whether or not a closed, connected subgroup of has the property that there exists a compact subset of with . To do this, we fix a Cartan decomposition of , and then carry out an approximate calculation of for each closed, connected subgroup of .

     

Surface superconductivity in dimensions

We study the Ginzburg-Landau system for a superconductor occupying a -dimensional bounded domain, and improve the estimate of the upper critical field obtained by K. Lu and X. Pan in J. Diff. Eqns., 168 (2000), 386-452. We also analyze the behavior of the order parameters. We show that, under an applied magnetic field lying below and not far from , order parameters concentrate in a vicinity of a sheath of the surface that is tangential to the applied field, and exponentially decay both in the normal and tangential directions away from the sheath in the sense. As the applied field decreases further but keeps in between and away from and , the superconducting sheath expands but does not cover the entire surface, and superconductivity at the surface portion orthogonal to the applied field is always very weak. This phenomenon is significantly different to the surface superconductivity on a cylinder of infinite height studied by X. Pan in Comm. Math. Phys., 228 (2002), 327-370, where under an axial applied field lying in-between and the entire surface is in the superconducting state.

     

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.

     

The -module structure of -modules

Let be a regular ring, essentially of finite type over a perfect field . An -module is called a unit -module if it comes equipped with an isomorphism , where denotes the Frobenius map on , and is the associated pullback functor. It is well known that then carries a natural -module structure. In this paper we investigate the relation between the unit -structure and the induced -structure on . In particular, it is shown that if is algebraically closed and is a simple finitely generated unit -module, then it is also simple as a -module. An example showing the necessity of being algebraically closed is also given.

     

On the -Minkowski problem

A volume-normalized formulation of the -Minkowski problem is presented. This formulation has the advantage that a solution is possible for all , including the degenerate case where the index is equal to the dimension of the ambient space. A new approach to the -Minkowski problem is presented, which solves the volume-normalized formulation for even data and all .

     

Coordinates in two variables over a -algebra

This paper studies coordinates in two variables over a -algebra. It gives several ways to characterize such coordinates. Also, various results about coordinates in two variables that were previously only known for fields, are extended to arbitrary -algebras.

     

Combinatorial properties of Thompson's group

We study some combinatorial consequences of Blake Fordham's theorems on the word metric of Thompson's group in the standard two generator presentation. We explore connections between the tree pair diagram representing an element of , its normal form in the infinite presentation, its word length, and minimal length representatives of it. We estimate word length in terms of the number and type of carets in the tree pair diagram and show sharpness of those estimates. In addition we explore some properties of the Cayley graph of with respect to the two generator finite presentation. Namely, we exhibit the form of ``dead end' elements in this Cayley graph, and show that it has no ``deep pockets'. Finally, we discuss a simple method for constructing minimal length representatives for strictly positive or negative words.

     

-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.

     

Analysing finite locally -arc transitive graphs

We present a new approach to analysing finite graphs which admit a vertex intransitive group of automorphisms and are either locally -arc transitive for or -locally primitive. Such graphs are bipartite with the two parts of the bipartition being the orbits of . Given a normal subgroup which is intransitive on both parts of the bipartition, we show that taking quotients with respect to the orbits of preserves both local primitivity and local -arc transitivity and leads us to study graphs where acts faithfully on both orbits and quasiprimitively on at least one. We determine the possible quasiprimitive types for in these two cases and give new constructions of examples for each possible type. The analysis raises several open problems which are discussed in the final section.

     

-adic formal series and primitive polynomials over finite fields

In this paper, we investigate the Hansen-Mullen conjecture with the help of some formal series similar to the Artin-Hasse exponential series over -adic number fields and the estimates of character sums over Galois rings. Given we prove, for large enough , the Hansen-Mullen conjecture that there exists a primitive polynomial over of degree with the -th ( coefficient fixed in advance except when if is odd and when if is even.