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 .

     

No submaximal topology on a countable set is -complementary

Two -topologies and given on the same set , are called transversal if their union generates the discrete topology on . The topologies and are -complementary if they are transversal and their intersection is the cofinite topology on . We establish that for any connected Tychonoff topology there exists a connected Tychonoff transversal one. Another result is that no -complementary topology exists for the maximal topology constructed by van Douwen on the rational numbers. This gives a negative answer to Problem 162 from Open Problems in Topology (1990).

     

Invertible completions of upper triangular operator matrices

In this note we prove that if

is a upper triangular operator matrix acting on the Banach space , then is invertible for some if and only if and satisfy the following conditions:

(i)

is left invertible;

(ii)

is right invertible;

(iii)

.

Furthermore we show that , where is the union of certain of the holes in which happen to be subsets of .

     

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 .

     

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

     

Conjugate -connections and holonomy groups

In this article we show that when the structure group of the reducible principal bundle is and is an -subbundle of , the rank of the holonomy group of a connection which is gauge equivalent to its conjugate connection is less than or equal to , and use the estimate to show that for all odd prime , if the holonomy group of the irreducible connection as above is simple and is not isomorphic to , , or , then it is isomorphic to .

     

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.

     

Every -regular

We prove the following: Theorem A. If is a -regular ultrafilter, then either

(a)

is -regular, or

(b)

the cofinality of the linear order is , and is -regular for all .

Corollary B. Suppose that is singular, and either is regular, or . Then every -regular ultrafilter is -regular.

We also discuss some consequences and variations.

     

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 .

     

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.

     

A local approach to functionals on

Let be a probability space and a Banach space. We show that the dual of can be ``locally' identified with

     

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 .

     

Maximal estimates for the -dimensional Walsh-Fourier series

The -dimensional dyadic martingale Hardy spaces are introduced and it is proved that the maximal operator of the means of a Walsh-Fourier series is bounded from to and is of weak type , provided that the supremum in the maximal operator is taken over a positive cone. As a consequence we obtain that the means of a function converge a.e. to the function in question. Moreover, we prove that the means are uniformly bounded on whenever . Thus, in case , the means converge to in norm. The same results are proved for the conjugate means, too.

     

-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

Annihilating a subspace of with the sign of a continuous function

Let be a -finite, nonatomic, Baire measure space. Let be a finite dimensional subspace of . There is a bounded, continuous function, , defined on , such that

(1) for all , and (2) almost everywhere.

     

Sets of -powers as conjugacy class sizes

We show that any finite set of powers of a fixed prime which includes can be the set of conjugacy class sizes of a -group of nilpotency class . This corresponds to a result of Isaacs for degrees of irreducible characters.

     

Oscillating global continua of positive solutions of semilinear elliptic problems

Let be a bounded domain in , , with boundary , and consider the semilinear elliptic boundary value problem

where is a uniformly elliptic operator on , , is strictly positive in , and the function is continuously differentiable, with , . A well known result of Rabinowitz shows that an unbounded continuum of positive solutions of this problem bifurcates from the principal eigenvalue of the linear problem. We show that under certain oscillation conditions on the nonlinearity , this continuum oscillates about , in a certain sense, as it approaches infinity. Hence, in particular, the equation has infinitely many positive solutions for each in an open interval containing .

     

Automatic surjectivity of ring homomorphisms on -algebras and algebraic differences among some group algebras of compact groups

In this paper we present two automatic surjectivity results concerning ring homomorphisms between -classes of an -algebra which, in some sense, improve the main theorem in a recent paper by the author (Proc. Amer. Math. Soc. 124 (1996), 169-175) quite significantly. Furthermore, we apply our results to show that for arbitrary infinite compact groups , no quotient ring of is isomorphic to , a statement we conjecture to be true for every pair of group rings corresponding to different exponents .

     

A note on restricted weak-type estimates for Bochner-Riesz operators with negative index in

It is shown that the Bochner-Riesz operator on of negative order is of restricted weak type in the critical points and , where , for in the two-dimensional case and , for if .

     

Collapsibility of and some related CW complexes

Let denote the order complex of the partition lattice. The natural -action on the set induces an -action on . We show that the regular CW complex is collapsible. Even more, we show that is collapsible, where is a suitable type selection of the partition lattice. This allows us to generalize and reprove in a conceptual way several previous results regarding the multiplicity of the trivial character in the -representation on .