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 .

     

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.

     

Extensions of holomorphic maps through hypersurfaces and relations to the Hartogs extensions in infinite dimension

A generalization of Kwack's theorem to the infinite dimensional case is obtained. We consider a holomorphic map from into , where is a hypersurface in a complex Banach manifold and is a hyperbolic Banach space. Under various assumptions on , and we show that can be extended to a holomorphic map from into . Moreover, it is proved that an increasing union of pseudoconvex domains containing no complex lines has the Hartogs extension property.

     

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 .

     

Multidimensional analogues of Bohr's theorem on power series

Generalizing the classical result of Bohr, we show that if an -variable power series converges in -circular bounded complete domain and its sum has modulus less than 1, then the sum of the maximum of the modulii of the terms is less than 1 in the homothetic domain , where . This constant is near to the best one for the domain

     

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 .

     

The spectral properties of certain linear operators and their extensions

Let be a Hilbert space with inner-product , and let be a bounded positive operator on which determines an inner-product, . Denote by the completion of with respect to the norm . In this paper, operators having certain relationships with are studied. In particular, if where , then has an extension , and and have essentially the same spectral and Fredholm properties.

     

Higher order symmetric spaces and the roots of the identity in a Lie group

Let denote the set of all -roots of the identity in a Lie group . We show that is always an embedded submanifold of , having the conjugacy classes of its elements as open submanifolds. These conjugacy classes are examples of -symmetric spaces and we show, more generally, that every -symmetric space of a Lie group is a covering manifold of an embedded submanifold of . We compute also the Hessian of the inclusions of and into , relative to the natural connection on the domain and to the symmetric connection on .

     

Reflection and uniqueness theorems for harmonic functions

Suppose that is harmonic on an open half-ball in such that the origin 0 is the centre of the flat part of the boundary . If has non-negative lower limit at each point of and tends to 0 sufficiently rapidly on the normal to at 0, then has a harmonic continuation by reflection across . Under somewhat stronger hypotheses, the conclusion is that . These results strengthen recent theorems of Baouendi and Rothschild. While the flat boundary set can be replaced by a spherical surface, it cannot in general be replaced by a smooth -dimensional manifold.

     

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 .

     

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.

     

Yang index of the deleted product

For any a -dimensional polyhedron is constructed such that the Yang index of its deleted product equals . This answers a question of Izydorek and Jaworowski (1995). For any a -dimensional closed manifold with involution is constructed such that , but can be mapped into a -dimensional polyhedron without antipodal coincidence.

     

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 .

     

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.

     

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.

     

Lomonosov's theorem cannot be extended to chains of four operators

We show that the celebrated Lomonosov theorem cannot be improved by increasing the number of commuting operators. Specifically, we prove that if is the operator without a non-trivial closed invariant subspace constructed by C. J. Read, then there are three operators , and (non-multiples of the identity) such that commutes with , commutes with , commutes with , and is compact. It is also shown that the commutant of contains only series of .

     

A new characterisation of the analytic Radon-Nikodym property

We show that a separable complex Banach space has the analytic Radon-Nikodym property if and only if there exists , such that the space consisting of all -bounded -valued analytic martingales is separable.

     

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 .

     

The residues of the resolvent on Damek-Ricci spaces

We determine the poles and residues of the resolvent kernel of the Laplacian on a Damek-Ricci space We show that all poles are simple and the residues define convolution operators of finite rank. This generalizes a result of Guillopé-Zworski for the real hyperbolic -space. If corresponds to a symmetric space of negative curvature , the image of each residue is a -module with a specific highest weight. We compute the dimension by the Weyl dimension formula.

     

Bounded composition operators with closed range on the Dirichlet space

For composition operators on spaces of analytic functions it is well known that norm estimates can be converted to Carleson measure estimates. The boundedness of the composition operator becomes equivalent to a Carleson measure inequality. The measure corresponding to a composition operator on the Dirichet space is , where is the cardinality of the preimage . The composition operator will have closed range if and only if the corresponding measure satisfies a ``reverse Carleson measure' theorem: for all . Assuming is bounded, a necessary condition for this inequality is a reverse of the Carleson condition: (C) for all Carleson squares . It has long been known that this is not sufficient for a completely general measure. Here we show that it is also not sufficient for the special measures . That is, we construct a function such that is bounded and satisfies (C) but the composition operator does not have closed range.