Differences of vector-valued functions on topological groups

Let be a locally compact group equipped with right Haar measure. The right differences of functions on are defined by for . Let and suppose for some and all . We prove that is a right uniformly continuous function of . If is abelian and the Beurling spectrum does not contain the unit of the dual group , then we show . These results have analogues for functions , where is a separable or reflexive Banach space. Finally, we apply our methods to vector-valued right uniformly continuous differences and to absolutely continuous elements of left Banach -modules.

     

-Fréchet-Urysohn property of Franklin compact spaces

Franklin compact spaces defined by maximal almost disjoint families of subsets of are considered from the view of its -sequentiality and -Fréchet-Urysohn-property for ultrafilters . Our principal results are the following: CH implies that for every -point there are a Franklin compact -Fréchet-Urysohn space and a Franklin compact space which is not -Fréchet-Urysohn; and, assuming CH, for every Franklin compact space there is a -point such that it is not -Fréchet-Urysohn. Some new problems are raised.

     

sets of unbounded Loeb measure

For every and non-Borel subset of an internal set in a saturated nonstandard universe there exists an internal, unbounded, non-atomic measure so that is not finite for any Borel set in

     

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.

     

On the size of lemniscates of polynomials in one and several variables

In the convergence theory of rational interpolation and Padé approximation, it is essential to estimate the size of the lemniscatic set and , for a polynomial of degree . Usually, is taken to be monic, and either Cartan's Lemma or potential theory is used to estimate the size of , in terms of Hausdorff contents, planar Lebesgue measure , or logarithmic capacity cap. Here we normalize and show that cap and are the sharp estimates for the size of . Our main result, however, involves generalizations of this to polynomials in several variables, as measured by Lebesgue measure on or product capacity and Favarov's capacity. Several of our estimates are sharp with respect to order in and .

     

Compact operators and the geometric structure of -algebras

Given a -algebra and an element , we give necessary and sufficient geometric conditions equivalent to the existence of a representation of so that is a compact or a finite-rank operator. The implications of these criteria on the geometric structure of -algebras are also discussed.

     

Banach spaces in which every -weakly summable sequence lies in the range of a vector measure

Let be a Banach space. For we prove that the identity map is -summing if and only if the operator is nuclear for every unconditionally summable sequence in , where is the conjugate number for . Using this result we find a characterization of Banach spaces in which every -weakly summable sequence lies inside the range of an -valued measure (equivalently, every -weakly summable sequence in , satisfying that the operator is compact, lies in the range of an -valued measure) with bounded variation. They are those Banach spaces such that the identity operator is -summing.

     

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 .

     

Non-commutative disc algebras and their representations

It is shown that the smallest closed subalgebra

generated by any sequence of isometries on a Hilbert space such that is completely isometrically isomorphic to the non-commutative ``disc' algebra introduced in Math. Scand. 68 (1991), 292--304. We also prove that for the Banach algebras and are not isomorphic. In particular, we give an example of two non-isomorphic Banach algebras which are completely isometrically embedded in each other. The completely bounded (contractive) representations of the ``disc' algebras on a Hilbert space are characterized. In particular, we prove that a sequence of operators is simultaneously similar to a contractive sequence (i.e., ) if and only if it is completely polynomially bounded. The first cohomology group of with coefficients in is calculated, showing, in particular, that the disc algebras are not amenable. Similar results are proved for the non-commutative Hardy algebras introduced in Math. Scand. 68 (1991), 292--304. The right joint spectrum of the left creation operators on the full Fock space is also determined.

     

On rigidity of affine surfaces

Rigidity of nondegenerate Blaschke surfaces in is studied. The rigidity criteria are given in terms of , where is the curvature of the Blaschke connection . If the rank of is 2, then the surface is rigid. If , it is nonrigid. In the case where the rank of is 1 there are both rigid and nonrigid surfaces. This case is discussed for various types of surfaces.

     

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.

     

Existence of positive solutions for singular ordinary differential equations with nonlinear boundary conditions

We prove the existence of nonnegative solutions of the problem , , for a physically motivated class of nonlinearity . The results, which are established using a ``forbidden value' argument, are new even in the case of linear .

     

Duality and perfect probability spaces

Given probability spaces let denote the set of all probabilities on the product space with marginals and and let be a measurable function on Continuous versions of linear programming stemming from the works of Monge (1781) and Kantorovich-Rubin\v{s}tein (1958) for the case of compact metric spaces are concerned with the validity of the duality

(where is the collection of all probability measures on with and as the marginals). A recently established general duality theorem asserts the validity of the above duality whenever at least one of the marginals is a perfect probability space. We pursue the converse direction to examine the interplay between the notions of duality and perfectness and obtain a new characterization of perfect probability spaces.

     

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 .

     

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

     

Transformations conjugate to their inverses have even essential values

Let be an ergodic automorphism defined on a standard Borel probability space for which and are isomorphic. We study the structure of the conjugating automorphisms and attempt to gain information about the structure of . It was shown in Ergodic transformations conjugate to their inverses by involutions by Goodson et al. (Ergodic Theory and Dynamical Systems 16 (1996), 97--124) that if is ergodic having simple spectrum and isomorphic to its inverse, and if is a conjugation between and (i.e. satisfies ), then , the identity automorphism. We give a new proof of this result which shows even more, namely that for such a conjugation , the unitary operator induced by on must have a multiplicity function whose essential values on the ortho-complement of the subspace are always even. In particular, we see that can be weakly mixing, so the corresponding must have even maximal spectral multiplicity (regarding as an even number).

     

Vanishing of the leading term in Harish-Chandra's local character expansion

Harish-Chandra's formula for the character of an irreducible smooth representation of a reductive -adic group expresses near as a linear combination of the Fourier transforms of nilpotent -orbits in the Lie algebra of . In this note, we prove that if is tempered but not in the discrete series, then the coefficient attached to the zero nilpotent orbit vanishes.