The cyclic and simplicial cohomology of

Let be the unital semigroup algebra of . We show that the cyclic cohomology groups vanish when is odd and are one dimensional when is even (). Using Connes' exact sequence, these results are used to show that the simplicial cohomology groups vanish for . The results obtained are extended to unital algebras for some other semigroups of .

     

On the mod cohomology of

We study the mod  cohomology of the classifying space of the projective unitary group . We first prove that conjectures due to J.F. Adams and Kono and Yagita (1993) about the structure of the mod  cohomology of the classifying space of connected compact Lie groups hold in the case of . Finally, we prove that the classifying space of the projective unitary group is determined by its mod  cohomology as an unstable algebra over the Steenrod algebra for 3$">, completing previous work by Dwyer, Miller and Wilkerson (1992) and Broto and Viruel (1998) for the cases .

     

From -spaces to algebraic theories

The paper examines semi-theories, that is, formalisms of the type of the -spaces of Segal which describe homotopy structures on topological spaces. It is shown that for any semi-theory one can find an algebraic theory describing the same structure on spaces as the original semi-theory. As a consequence one obtains a criterion for establishing when two semi-theories describe equivalent homotopy structures.

     

On the -torsion of elliptic curves and elliptic surfaces in characteristic

We study the extension generated by the -coordinates of the -torsion points of an elliptic curve over a function field of characteristic . If is a non-isotrivial elliptic surface in characteristic with a -torsion section, then for 11$"> our results imply restrictions on the genus, the gonality, and the -rank of the base curve , whereas for such a surface can be constructed over any base curve . We also describe explicitly all occurring in the cases where the surface is rational or or the base curve is rational, elliptic or hyperelliptic.

     

Serre duality for non-commutative -bundles

Let be a smooth scheme of finite type over a field , let be a locally free -bimodule of rank , and let be the non-commutative symmetric algebra generated by . We construct an internal functor, , on the category of graded right -modules. When has rank 2, we prove that is Gorenstein by computing the right derived functors of . When is a smooth projective variety, we prove a version of Serre Duality for using the right derived functors of .

     

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.

     

A sharp weak type inequality for martingale transforms and other subordinate martingales

If is a martingale difference sequence, a sequence of numbers in , and a positive integer, then

Here denotes the best constant. If , then as was shown by Burkholder. We show here that for the case 2$">, and that is also the best constant in the analogous inequality for two martingales and indexed by , right continuous with limits from the left, adapted to the same filtration, and such that is nonnegative and nondecreasing in . In Section 7, we prove a similar inequality for harmonic functions.

     

Hardy space of exact forms on

We show that the Hardy space of divergence-free vector fields on has a divergence-free atomic decomposition, and thus we characterize its dual as a variant of . Using the duality result we prove a ``div-curl" type theorem: for in , is equivalent to a -type norm of , where the supremum is taken over all with This theorem is used to obtain some coercivity results for quadratic forms which arise in the linearization of polyconvex variational integrals studied in nonlinear elasticity. In addition, we introduce Hardy spaces of exact forms on , study their atomic decompositions and dual spaces, and establish ``div-curl" type theorems on .

     

On the theory of elliptic functions based on

Based on properties of the hypergeometric series , we develop a theory of elliptic functions that shares many striking similarities with the classical Jacobian elliptic functions.

     

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.

     

Convergence of double Fourier series and -classes

The double Fourier series of functions of the generalized bounded variation class are shown to be Pringsheim convergent everywhere. In a certain sense, this result cannot be improved. In general, functions of class defined here, have quadrant limits at every point and, for there exist at most countable sets and such that, for and is continuous at . It is shown that the previously studied class contains essentially discontinuous functions unless the sequence satisfies a strong condition.

     

Double forms, curvature structures and the -curvatures

We introduce a natural extension of the metric tensor and the Hodge star operator to the algebra of double forms to study some aspects of the structure of this algebra. These properties are then used to study new Riemannian curvature invariants, called the -curvatures. They are a generalization of the -curvature obtained by substituting the Gauss-Kronecker tensor to the Riemann curvature tensor. In particular, for , the -curvatures coincide with the H. Weyl curvature invariants, for the -curvatures are the curvatures of generalized Einstein tensors, and for the -curvatures coincide with the -curvatures.

Also, we prove that the second H. Weyl curvature invariant is nonnegative for an Einstein manifold of dimension , and it is nonpositive for a conformally flat manifold with zero scalar curvature. A similar result is proved for the higher H. Weyl curvature invariants.

     

Examples for the mod motivic cohomology of classifying spaces

Let be the classifying space of a compact Lie group . Some examples of computations of the motivic cohomology are given, by comparing with , and .

     

Positivity preserving transformations for -binomial coefficients

Several new transformations for -binomial coefficients are found, which have the special feature that the kernel is a polynomial with nonnegative coefficients. By studying the group-like properties of these positivity preserving transformations, as well as their connection with the Bailey lemma, many new summation and transformation formulas for basic hypergeometric series are found. The new -binomial transformations are also applied to obtain multisum Rogers-Ramanujan identities, to find new representations for the Rogers-Szegö polynomials, and to make some progress on Bressoud's generalized Borwein conjecture. For the original Borwein conjecture we formulate a refinement based on new triple sum representations of the Borwein polynomials.

     

Degeneration of linear systems through fat points on surfaces

In this paper we introduce a technique to degenerate surfaces and linear systems through fat points in general position on surfaces. Using this degeneration we show that on generic surfaces it is enough to prove that linear systems with one fat point are non-special in order to obtain the non-speciality of homogeneous linear systems through fat points in general position. Moreover, we use this degeneration to obtain a result for homogeneous linear systems through fat points in general position on a general quartic surface in .

     

Saari's conjecture for the collinear -body problem

In 1970 Don Saari conjectured that the only solutions of the Newtonian -body problem that have constant moment of inertia are the relative equilibria. We prove this conjecture in the collinear case for any potential that involves only the mutual distances. Furthermore, in the case of homogeneous potentials, we show that the only collinear and non-zero angular momentum solutions are homographic motions with central configurations.

     

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.

     

-continuity properties of the symmetric -stable process

Let be a domain of finite Lebesgue measure in and let be the symmetric -stable process killed upon exiting . Each element of the set of eigenvalues associated to , regarded as a function of , is right continuous. In addition, if is Lipschitz and bounded, then each is continuous in and the set of associated eigenfunctions is precompact.

     

Bounding edge degrees in triangulated -manifolds

In this note we prove that every closed orientable -manifold has a triangulation in which each edge has degree , or .