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.

     

Finite generation properties for fuchsian group von Neumann algebras tensor

We prove that the algebra , a free group with finitely many generators, contains a subnormal operator such that the linear span of the set is weakly dense in . This is the analogue for the factor , finite, of a well known fact about the unilateral shift on a Hilbert space : the linear span of all the monomials is weakly dense in .

We also show that for a suitable space of square summable analytic functions, if is the projection from the Hilbert space of all square summable functions onto and is the unbounded operator of multiplication by on , then the (unbounded) operator is nonzero (with nonzero domain).

     

Normalizers of the congruence subgroups of the Hecke group II

Let . Let be an ideal of and let be the maximal ideal of such that . Then . In particular, if is square free, then is self-normalized in .

     

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.

     

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.

     

Tilting up iterated tilted algebras

We show that, if is a representation-finite iterated tilted algebra of euclidean type , then there exist a sequence of algebras , and a sequence of modules , where , such that each is an APR-tilting -module, or an APR-cotilting -module, and is tilted representation-finite.

     

Adjacency preserving mappings of invariant subspaces of a null system

In the space of invariant -dimensional subspaces of a null system in -dimensional projective space, W.L. Chow characterized the basic group of transformations as all the bijections , for which both and preserve adjacency. In the present paper we show that the two conditions is a surjection and preserves adjacency are sufficient to characterize the basic group. At the end of this paper we give an application to Lie geometry.

     

Carleson measures and some classes of meromorphic functions

For let be the Möbius transformation defined by , and let be the Green's function of the unit disk . We construct an analytic function belonging to for all , , but not belonging to meromorphic in and for any , . This gives a clear difference as compared to the analytic case where the corresponding function spaces ( and ) are same.

     

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 .

     

An uncertainty principle for convolution operators on discrete groups

Consider a discrete group and a bounded self-adjoint convolution operator on ; let be the spectrum of . The spectral theorem gives a unitary isomorphism between and a direct sum , where , and is a regular Borel measure supported on . Through this isomorphism corresponds to multiplication by the identity function on each summand. We prove that a nonzero function and its transform cannot be simultaneously concentrated on sets , such that and the cardinality of are both small. This can be regarded as an extension to this context of Heisenberg's classical uncertainty principle.

     

A bound on the reduction number of a primary ideal

Let be a local ring of positive dimension and let be an -primary ideal. We denote the reduction number of by , which is the smallest integer such that for some reduction of In this paper we give an upper bound on in terms of numerical invariants which are related with the Hilbert coefficients of when is Cohen-Macaulay. If , it is known that where denotes the multiplicity of If in Corollary 1.5 we prove where is the first Hilbert coefficient of From this bound several results follow. Theorem 1.3 gives an upper bound on in a more general setting.

     

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

     

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 .

     

On a theorem of Barbara Schmid

Let be a finite group and a complex representation. Barbara Schmid has shown that the algebra of invariant polynomial functions on the vector space is generated by homogeneous polynomials of degree at most , where is the largest degree of a generator in a minimal generating set for , and is the complex regular representation of . In this note we give a new proof of this result, and at the same time extend it to fields whose characteristic is larger than , the order of the group .

     

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 .

     

Congruences between the coefficients of the Tate curve via formal groups

Let be the Tate curve with canonical differential, . If the characteristic is , then the Hasse invariant, , of the pair should equal one. If , then calculation of leads to a nontrivial separable relation between the coefficients and . If or , Thakur related and via elementary methods and an identity of Ramanujan. Here, we treat uniformly all characteristics via explicit calculation of the formal group law of . Our analysis was motivated by the study of the invariant which is an infinite Witt vector generalizing the Hasse invariant.

     

On Burgess's theorem and related problems

Let be a graph. We determine all graphs which are -like. We also prove that if are graphs, then in order that each -like continuum be -indecomposable for some it is necessary and sufficient that if is a graph, then is not -like for some integer with . This generalizes a well known theorem of Burgess.

     

Relations between the Taylor spectrum and the Xia spectrum

Let be a doubly commuting -tuple of -hyponormal operators with unitary operators from the polar decompositions . Let and . In this paper, we will show relations between the Taylor spectrum and the Xia spectrum .