A criterion for splitting -algebras in tensor products

The goal of the paper is to prove the following theorem: if , are unital -algebras, simple and nuclear, then any -subalgebra of the -tensor product of and , which contains the tensor product of with the scalar multiples of the unit of , splits in the -tensor product of with some -subalgebra of .

     

On Tate-Shafarevich groups of abelian varieties

Let be a finite Galois extension of number fields with Galois group , let be an abelian variety defined over , and let and denote, respectively, the Tate-Shafarevich groups of over and of over . Assuming that these groups are finite, we derive, under certain restrictions on and , a formula for the order of the subgroup of of -invariant elements. As a corollary, we obtain a simple formula relating the orders of , and when is a quadratic extension and is the twist of by the non-trivial character of .

     

A note on -bases of rings

Let be a tower of rings of characteristic . Suppose that is a finitely presented -module. We give necessary and sufficient conditions for the existence of -bases of over . Next, let be a polynomial ring where is a perfect field of characteristic , and let be a regular noetherian subring of containing such that . Suppose that is a free -module. Then, applying the above result to a tower of rings, we shall show that a polynomial of minimal degree in is a -basis of over .

     

Extreme points of the unit ball of the Fourier-Stieltjes algebra

Let be a locally compact group. Among other things, we proved in this paper that for an IN-group , the extreme points of the unit ball of the Fourier-Stieltjes algebra are not in the Fourier algebra if and only if is non-compact, or equivalently, there is no irreducible representation of which is quasi-equivalent to a subrepresentation of the left regular representation of if and only if is non-compact. This result is a non-commutative version of the following well known result: For any locally compact group , the extreme points of the unit ball of the measure algebra are not in the group algebra if and only if is non-discrete. On the other hand, we also showed that if has the RNP, then there are extreme points of the unit ball of that are in . Since it is well known there are non-compact locally compact group for which has the RNP, there exist non-compact locally compact groups where extreme points of the unit ball of can be in . This shows that the condition be an IN-group cannot be entirely removed.

     

Hilbert coefficients and the associated graded rings

Let be a -dimensional Cohen-Macaulay local ring with infinite residue field. Let be an -primary ideal of . In this paper, we prove that if for some minimal reduction of , then depth .

     

Completely continuous multilinear operators on spaces

Given a -linear operator from a product of spaces into a Banach space , our main result proves the equivalence between being completely continuous, having an -valued separately continuous extension to the product of the biduals and having a regular associated polymeasure. It is well known that, in the linear case, these are also equivalent to being weakly compact, and that, for , being weakly compact implies the conditions above but the converse fails.

     

Projections from

Let and be two infinite dimensional real Banach spaces. The following question is classical and long-standing. Are the following properties equivalent?

a) There exists a projection from the space of continuous linear operators onto the space of compact linear operators.

b) .

The answer is positive in certain cases, in particular if or has an unconditional basis. It seems that there are few results in the direction of a general solution. For example, suppose that and are reflexive and that or has the approximation property. Then, if , there is no projection of norm 1, from onto . In this paper, one obtains, in particular, the following result:

Theorem. Let be a real Banach space which is reflexive (resp. with a separable dual), of infinite dimension, and such that has the approximation property. Let be a real scalar with . Then can be equivalently renormed such that, for any projection from onto , one has . One gives also various results with two spaces and .

     

On covering translations and homeotopy groups of contractible open -manifolds

This paper gives a new proof of a result of Geoghegan and Mihalik which states that whenever a contractible open -manifold which is not homeomorphic to is a covering space of an -manifold and either or and is irreducible, then the group of covering translations injects into the homeotopy group of .

     

The distribution of solutions of the congruence

For a cube of size , we obtain a lower bound on so that is nonempty, where is the algebraic subset of defined by

a positive integer and an integer not divisible by . For we obtain that is nonempty if , for we obtain that is nonempty if , and for we obtain that is nonempty if . Using the assumption of the Grand Riemann Hypothesis we obtain is nonempty if .

     

A generalization of Kelley's theorem for -spaces

We prove that if an open map of compacta and has perfect fibers and is a -space, then there exists a -dimensional compact subset of intersecting each fiber of . This is a stronger version of a well-known theorem of Kelley. Applications of this result and related topics are discussed.

     

Geometry of a crossed product

We introduce a continuous dimension function on the Grothendieck group over the crossed product -algebra . The function has an elegant geometry: on every minimal flow it takes the value of the ``rotation number" of ; such a problem was posed in 1936 by A. Weil.

     

Universal -lattices of minimal rank

Let be the minimal rank of -universal -lattices, by which we mean positive definite -lattices which represent all positive -lattices of rank . It is a well known fact that for . In this paper, we determine and find all -universal lattices of rank for .

     

Nonexpansive, -continuous antirepresentations have common fixed points

Let be a closed convex subset of a Banach (dual Banach) space . By we denote an antirepresentation of a semitopological semigroup as nonexpansive mappings on . Suppose that the mapping is jointly continuous when has the weak (weak*) topology and the Banach space of bounded right uniformly continuous functions on has a right invariant mean. If is weakly compact (for some the set is weakly* compact) and norm separable, then has a common fixed point in .

     

Type factors generated by purely infinite simple C*-algebras associated with free groups

Let be a free product of at least two but at most countably many cyclic groups. With each such group we associate a family of C*-algebras, denoted and generated by the reduced group C*-algebra and a collection of projections onto the -spaces over certain subsets of . We determine , the weak closure of in , and use this result to show that many of the C*-algebras in question are non-nuclear.

     

Common fixed points of commuting holomorphic maps in the unit ball of

Let be the unit ball of (). We prove that if are holomorphic self-maps of such that , then and have a common fixed point (possibly at the boundary, in the sense of -limits). Furthermore, if and have no fixed points in , then they have the same Wolff point, unless the restrictions of and to the one-dimensional complex affine subset of determined by the Wolff points of and are commuting hyperbolic automorphisms of that subset.

     

Involutions with

Let be a smooth involution on a closed -dimensional manifold such that all Stiefel-Whitney classes of the tangent bundle to each component of the fixed point set of vanish in positive dimension. In this paper, we estimate the least possible lower bound of dim if does not bound.

     

On semisimple Hopf algebras of dimension

We consider the problem of the classification of semisimple Hopf algebras of dimension where are two prime numbers. First we prove that the order of the group of grouplike elements of is not , and that if it is , then . We use it to prove that if and its dual Hopf algebra are of Frobenius type, then is either a group algebra or a dual of a group algebra. Finally, we give a complete classification in dimension , and a partial classification in dimensions and .

     

Curvature restrictions on convex, timelike surfaces in Minkowski 3-space

Suppose that and are Minkowski Gauss curvature and Minkowski mean curvature respectively on a timelike surface that is immersed in Minkowski 3-space . Suppose also that and that is complete as a surface in the underlying Euclidean 3-space . It is shown that neither nor can be bounded away from zero on such a surface .

     

Iwasawa invariants and class numbers of quadratic fields for the prime

Let be a square-free integer with and . Put and . For the cyclotomic -extension of , we denote by the -th layer of over . We prove that the -Sylow subgroup of the ideal class group of is trivial for all integers if and only if the class number of is not divisible by the prime . This enables us to show that there exist infinitely many real quadratic fields in which splits and whose Iwasawa -invariant vanishes.

     

-sequences

A sequence of positive integers is called a -sequence if every integer has at most representations with all in and . A -sequence is also called a -sequence or Sidon sequence. The main result is the following

Theorem. Let be a -sequence and for an integer . Then there is a -sequence of size , where .

Corollary. Let . The interval then contains a -sequence of size , when .