Paracompact subspaces in the box product topology

In 1975 E. K. van Douwen showed that if is a family of Hausdorff spaces such that all finite subproducts are paracompact, then for each element of the box product the -product is paracompact. He asked whether this result remains true if one considers uncountable families of spaces. In this paper we prove in particular the following result: Let be an infinite cardinal number, and let be a family of compact Hausdorff spaces. Let be a fixed point. Given a family of open subsets of which covers , there exists an open locally finite in refinement of which covers .

We also prove a slightly weaker version of this theorem for Hausdorff spaces with ``all finite subproducts are paracompact" property. As a corollary we get an affirmative answer to van Douwen's question.

     

A note on generators of least degree in Gorenstein ideals

Assume is a polynomial ring over a field and is a homogeneous Gorenstein ideal of codimension and initial degree . We prove that the number of minimal generators of that are of degree is bounded above by , which is the number of minimal generators of the defining ideal of the extremal Gorenstein algebra of codimension and initial degree . Further, is itself extremal if .

     

Bounds for the operator norms of some Nörlund matrices

Suppose is a non-increasing sequence of non-negative numbers with , , , and is the lower triangular matrix defined by , , and , . We show that the operator norm of as a linear operator on is no greater than , for ; this generalizes, yet again, Hardy's inequality for sequences, and simplifies and improves, in this special case, more generally applicable results of D. Borwein, Cass, and Kratz. When the tend to a positive limit, the operator norm of on is exactly . We also give some cases when the operator norm of on is less than .

     

Properties that characterize Gaussian periods and cyclotomic numbers

Let be a prime number, a -th primitive root of 1 and the periods of degree of . Write with . Several characterizations of the numbers and (or, equivalently, of the cyclotomic numbers of order ) are given in terms of systems of equations they satisfy and a condition on the linear independence, over , of the or on the irreducibility, over , of the characteristic polynomial of the matrix .

     

On maximal functions in Orlicz spaces

Let and be the functions having the representations and , where is a positive continuous function such that and is quasi-increasing. Then the maximal function is a function in Orlicz space for all if and only if there exists a positive constant such that for all .

     

A completely regular space which is the -complement of itself

Two topologies and on a fixed set are -complements if is the cofinite topology and is a sub-base for the discrete topology. In 1967, Steiner and Steiner showed that of any two -complements on a countable set, at least one is not Hausdorff. In 1969, Anderson and Stewart asked whether a Hausdorff topology on an uncountable set can have a Hausdorff -complement. We construct two homeomorphic completely regular -complementary topologies.

     

On uniqueness of invariant means

The following results on uniqueness of invariant means are shown:

(i) Let be a connected almost simple algebraic group defined over . Assume that , the group of the real points in , is not compact. Let be a prime, and let be the compact -adic Lie group of the -points in . Then the normalized Haar measure on is the unique invariant mean on .

(ii) Let be a semisimple Lie group with finite centre and without compact factors, and let be a lattice in . Then integration against the -invariant probability measure on the homogeneous space is the unique -invariant mean on .

     

Radial symmetry of large solutions of nonlinear elliptic equations

We give conditions under which all solutions of the problem

are radial. We assume is positive when and are both large and positive. Since this problem with has non-radial solutions, we rule out this possibility by requiring that grow superlinearly in when and are both large and positive. However we make no assumptions on the rate of growth of solutions.

     

Degrees of unsolvability of first order decision problems for finitely presented groups

We show that for any arithmetical -degree there is a first order decision problem such that has -degree for the free 2-step nilpotent group of rank 2. This implies a conjecture of Sacerdote.

     

The boundedness of Riesz

Let be a finite nonzero Borel measure in satisfying for all and and some . If the Riesz -transform

is essentially bounded, then is an integer. We also give a related result on the -boundedness.

     

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.

     

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 .

     

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.

     

-regular maps on smooth manifolds

A continuous map is said to be -regular if whenever are distinct points of , then are linearly independent over . For smooth manifolds we obtain new lower bounds on the minimum for which a -regular map can exist in terms of the dual Stiefel-Whitney classes of .

     

A Farey tree organization of locking regions for simple circle maps

Let be a circle endomorphism of degree one with exactly two critical points and negative Schwarzian derivative. Assume that there is no real number such that has a unique rotation number equal to . Then the same holds true for any such that stands above in the Farey tree and can be related to it by a path on the tree.

     

Asymptotic behavior of nonexpansive sequences and mean points

Let be a real Banach space with norm and let be a nonexpansive sequence in (i.e., for all ). Let . We deal with the mean point of concerning a Banach limit. We show that if is reflexive and , then and there exists a unique point with such that . This result is applied to obtain the weak and strong convergence of .

     

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.

     

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 .

     

Rational nodal curves with no smooth Weierstrass points

Let denote the rational curve with nodes obtained from the Riemann sphere by identifying 0 with and with for , where is a primitive th root of unity. We show that if is even, then has no smooth Weierstrass points, while if is odd, then has smooth Weierstrass points.