Characterization of the Fourier series of a distribution having a value at a point

Let be a periodic distribution of period . Let be its Fourier series. We show that the distributional point value exists and equals if and only if the partial sums converge to in the Cesàro sense as for each .

     

Representation of continuous functions as sums of Green functions

Let , where is polar and compact and is a domain with Green function . We characterize those subsets of which have the following property: Every positive continuous function on can be written as , where and for each .

     

Interpolation spaces between the Lipschitz class and the space of continuous functions

It is shown that the complex interpolation spaces and do not coincide with or and also that the couple is not a Calderón couple. Similar results are also obtained for the couples and when .

     

Completely distributive CSL algebras with no complements in

Anoussis and Katsoulis have obtained a criterion for the space to have a closed complement in , where is a completely distributive commutative subspace lattice. They show that, for a given , the set of for which this complement exists forms an interval whose endpoints are harmonic conjugates. Also, they establish the existence of a lattice for which has no complement for any . However, they give no specific example. In this note an elementary demonstration of a simple example of this phenomenon is given. From this it follows that for a wide range of lattices , fails to have a complement for any .

     

-analyticity

Let be a finite-dimensional commutative algebra over and let , and be the ring of -differentiable functions of class , the ring of real analytic mappings with values in and the ring of -analytic functions, respectively, defined on an open subset of . We prove two basic results concerning -differentiability and -analyticity: ) , ) if and only if is defined over .

     

and the associated line bundles

Let be a compact semi-simple Lie group, and let be a maximal unipotent subgroup of the complexified group . In this paper, we classify all the -invariant Kaehler structures on . For each Kaehler structure , let be the line bundle with connection whose curvature is . We then study the holomorphic sections of , which constitute a -representation space.

     

On contravariant finiteness of subcategories of modules of projective dimension

Let be an artin algebra. This paper presents a sufficient condition for the subcategory of to be contravariantly finite in , where is the subcategory of consisting of --modules of projective dimension less than or equal to . As an application of this condition it is shown that is contravariantly finite in for each when is stably equivalent to a hereditary algebra.

     

Chains of strongly non-reflexive dual groups of integer-valued continuous functions

Answering a question of Eklof-Mekler (Almost free modules, set-theoretic methods, North-Holland, Amsterdam, 1990), we prove: (1) If there exists a non-reflecting stationary set of consisting of ordinals of cofinality for each , then there exist abelian groups such that and for each . (2) There exist abelian groups such that for each and for each . The groups are the groups of -valued continuous functions on a topological space and their dual groups.

     

Almost linearity of -bi-Lipschitz maps between real Banach spaces

Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that

where as and .

     

Comparative probability on von Neumann algebras

We continue here the study begun in earlier papers on implementation of comparative probability by states. Let be a von Neumann algebra on a Hilbert space and let denote the projections of . A comparative probability (CP) on (or more correctly on is a preorder on satisfying:

with for some .

If , then either or .

If , and are all in and , , then .

A state on is said to implement a on if for , . In this paper, we examine the conditions for implementability of a CP on a general von Neumann algebra (as opposed to only type I factors). A crucial tool used here, as well as in earlier results, is the interval topology generated on by . A will be termed continuous in a given topology on if the interval topology generated by is weaker than the topology induced on by the given topology. We show that uniform continuity of a comparative probability is necessary and sufficient if the von Neumann algebra has no finite direct summand. For implementation by normal states, weak continuity is sufficient and necessary if the von Neumann algebra has no finite direct summand of type I. We arrive at these results by constructing an appropriate additive measure from the CP.

     

Integer-valued polynomials on Krull rings

If is a subring of a Krull ring such that is a valuation ring for every finite index , in Spec, we construct polynomials that map into the maximal possible (for a monic polynomial of fixed degree) power of , for all in Spec simultaneously. This gives a direct sum decomposition of Int, the -module of polynomials with coefficients in the quotient field of that map into , and a criterion when Int has a regular basis (one consisting of 1 polynomial of each non-negative degree).

     

The local cohomology modules of Matlis reflexive modules are almost cofinite

We show that if and are Matlis reflexive modules over a complete Gorenstein local domain and is an ideal of such that the dimension of is one, then the modules are Matlis reflexive for all and if . It follows that the Bass numbers of are finite. If is not a domain, then the same results hold for .

     

The nilpotence height of

A 20-year-old conjecture about the mod 2 Steenrod algebra The method of Walker and Wood is used to completely determine the nilpotence height of the elements in the Steenrod algebra at the prime 2. In particular, it is shown that for all , . In addition, several interesting relations in are developed in order to carry out the proof.

     

Asymptotic behaviour of certain sets of prime ideals

Let be ideals of the commutative ring , let be a Noetherian -module and let be a submodule of ; also let be an Artinian -module and let be a submodule of . It is shown that, whenever is a sequence of -tuples of non-negative integers which is non-decreasing in the sense that for all and all , then Ass is independent of for all large , and also Att is independent of for all large . These results are proved without any regularity conditions on the ideals , and so (a special case of) the first answers in the affirmative a question raised by S. McAdam.

     

Spectrum of positive entropy multidimensional dynamical systems with a mixed time

It is shown that if an abelian countable group is such that is a finite group and every aperiodic positive entropy action of on a Lebesgue probability space has a countable Haar spectrum in the subspace , where denotes the Pinsker -
algebra of , then every aperiodic positive entropy action of on has the same property. A positive answer to the question of J.P. Thouvenot is obtained as a corollary.

     

On the set of topologically invariant means on an algebra of convolution operators on

Let be a locally compact group, the Banach algebra defined by Herz; thus is the Fourier algebra of . Let the dual, a closed ideal, with zero set , and . We consider the set of topologically invariant means on at , where is ``thin.' We show that in certain cases card and does not have the WRNP, i.e. is far from being weakly compact in . This implies the non-Arens regularity of the algebra .

     

Asymptotic analysis of Daubechies polynomials

To study wavelets and filter banks of high order, we begin with the zeros of . This is the binomial series for , truncated after terms. Its zeros give the zeros of the Daubechies filter inside the unit circle, by . The filter has additional zeros at , and this construction makes it orthogonal and maximally flat. The dilation equation leads to orthogonal wavelets with vanishing moments. Symmetric biorthogonal wavelets (generally better in image compression) come similarly from a subset of the zeros of . We study the asymptotic behavior of these zeros. Matlab shows a remarkable plot for . The zeros approach a limiting curve in the complex plane, which is the circle . All zeros have , and the rightmost zeros approach (corresponding to ) with speed . The curve gives a very accurate approximation for finite . The wide dynamic range in the coefficients of makes the zeros difficult to compute for large . Rescaling by allows us to reach by standard codes.

     

Critical points of real entire functions and a conjecture of Pólya

Let be a nonconstant real entire function of genus and assume that all the zeros of are distributed in some infinite strip , . It is shown that (1) if has nonreal zeros in the region , and has nonreal zeros in the same region, and if the points and are located outside the Jensen disks of , then has exactly critical zeros in the closed interval , (2) if is at most of order , , and minimal type, then for each positive constant there is a positive integer such that for all has only real zeros in the region , and (3) if is of order less than , then has just as many critical points as couples of nonreal zeros.

     

Tate cohomology lowers chromatic Bousfield classes

Let be a finite group. We use recent results of J. P. C. Greenlees and H. Sadofsky to show that the Tate homology of local spectra with respect to produces local spectra. We also show that the Bousfield class of the Tate homology of (for finite) is the same as that of . To be precise, recall that Tate homology is a functor from -spectra to -spectra. To produce a functor from spectra to spectra, we look at a spectrum as a naive -spectrum on which acts trivially, apply Tate homology, and take -fixed points. This composite is the functor we shall actually study, and we'll prove that when is finite. When , the symmetric group on letters, this is related to a conjecture of Hopkins and Mahowald (usually framed in terms of Mahowald's functor ).