The Nevanlinna counting functions for Rudin's orthogonal functions

and denote the Hardy spaces on the open unit disc . Let be a function in and . If is an inner function and , then is orthogonal in . W.Rudin asked if the converse is true and C. Sundberg and C. Bishop showed that the converse is not true. Therefore there exists a function such that is not an inner function and is orthogonal in . In this paper, the following is shown: is orthogonal in if and only if there exists a unique probability measure on [0,1] with supp such that for nearly all in where is the Nevanlinna counting function of . If is an inner function, then is a Dirac measure at .

     

Univalent mappings and invariant subspaces of the Bergman and Hardy spaces

In both the Bergman space and the Hardy space , the problem of determining which bounded univalent mappings of the unit disk have the wandering property is addressed. Generally, a function in has the wandering property in , where denotes either or , provided that every -invariant subspace of is generated by the orthocomplement of within . It is known that essentially every function which has the wandering property in either space is the composition of a univalent mapping with a classical inner function, and that the identity mapping has this property in both spaces. Consequently, weak-star generators of also have the wandering property in both settings. The present paper gives a partial converse to this, and shows that in both settings there is a large class of bounded univalent mappings which fail to have the wandering property.

     

Characterizations of paracompactness and Lindelöfness by the separation property

The separation property in our title is that, for two spaces and , any two disjoint closed copies of in are separated by open sets in . It is proved that a Tychonoff space is paracompact if and only if this separation property holds for the space and every Tychonoff space which is a perfect image of (where denotes the Stone-Cech compactification of ). Moreover, we give a characterization of Lindelöfness in a similar way under the assumption of paracompactness.

     

Ordered group invariants for nonorientable one-dimensional generalized solenoids

Let be an edge-wrapping rule which presents a one-dimensional generalized solenoid , and let be the adjacency matrix of . When is a wedge of circles and leaves the unique branch point fixed, we show that the stationary dimension group of is an invariant of homeomorphism of even if is not orientable.

     

Catalan paths and quasi-symmetric functions

We investigate the quotient ring of the ring of formal power series over the closure of the ideal generated by non-constant quasi-symmetric functions. We show that a Hilbert basis of the quotient is naturally indexed by Catalan paths (infinite Dyck paths). We also give a filtration of ideals related to Catalan paths from and above the line . We investigate as well the quotient ring of polynomial ring in variables over the ideal generated by non-constant quasi-symmetric polynomials. We show that the dimension of is bounded above by the th Catalan number.

     

On a theorem of R. Steinberg on rings of coinvariants

Let be a representation of a finite group over the field . Denote by the algebra of polynomial functions on the vector space . The group acts on and hence also on . The algebra of coinvariants is , where is the ideal generated by all the homogeneous -invariant forms of strictly positive degree. If the field has characteristic zero, then R. Steinberg has shown (this is the formulation of R. Kane) that is a Poincaré duality algebra if and only if is a pseudoreflection group. In this note we explore the situation for fields of nonzero characteristic. We prove an analogue of Steinberg's theorem for the case and give a counterexample in the modular case when .

     

Borel subrings of the reals

A Borel (or even analytic) subring of either has Hausdorff dimension or is all of . Extensions of the method of proof yield (among other things) that any analytic subring of having positive Hausdorff dimension is equal to either or .

     

Reduction numbers and initial ideals

The reduction number of a standard graded algebra is the least integer such that there exists a minimal reduction of the homogeneous maximal ideal of such that . Vasconcelos conjectured that where is the initial ideal of an ideal in a polynomial ring with respect to a term order. The goal of this note is to prove the conjecture.

     

Fuchs' problem 34 for mixed Abelian groups

This paper investigates the extent to which an Abelian group is determined by the homomorphism groups . A class of Abelian groups is a Fuchs 34 class if and in are isomorphic if and only if for all . Two -groups and satisfy for all groups if and only if they have the same -Ulm-Kaplansky-invariants and the same final rank. The mixed groups considered in this context are the adjusted cotorsion groups and the class introduced by Glaz and Wickless. While is a Fuchs 34 class, the class of (adjusted) cotorsion groups is not.     

Perfect cliques and colorings of Polish spaces

A coloring of a set is any subset of , where 1$"> is a natural number. We give some sufficient conditions for the existence of a perfect -homogeneous set, in the case where is and is a Polish space. In particular, we show that it is sufficient that there exist -homogeneous sets of arbitrarily large countable Cantor-Bendixson rank. We apply our methods to show that an analytic subset of the plane contains a perfect -clique if it contains any uncountable -clique, where is a natural number or (a set is a -clique in if the convex hull of any of its -element subsets is not contained in ).

     

A characterization of quasiconvex vector-valued functions

The aim of this paper is to characterize in terms of scalar quasiconvexity the vector-valued functions which are -quasiconvex with respect to a closed convex cone in a Banach space. Our main result extends a well-known characterization of -quasiconvexity by means of extreme directions of the polar cone of , obtained by Dinh The Luc in the particular case when is a polyhedral cone generated by exactly linearly independent vectors in the Euclidean space .

     

On functions whose graph is a Hamel basis

We say that a function is a Hamel function ( ) if , considered as a subset of , is a Hamel basis for . We prove that every function from into can be represented as a pointwise sum of two Hamel functions. The latter is equivalent to the statement: for all there is a such that . We show that this fails for infinitely many functions.

     

The alternative Dunford-Pettis property in -algebras and von Neumann preduals

A Banach space is said to have the alternative Dunford-Pettis property if, whenever a sequence weakly in with , we have for each weakly null sequence in X. We show that a -algebra has the alternative Dunford-Pettis property if and only if every one of its irreducible representations is finite dimensional so that, for -algebras, the alternative and the usual Dunford-Pettis properties coincide as was conjectured by Freedman. We further show that the predual of a von Neumann algebra has the alternative Dunford-Pettis property if and only if the von Neumann algebra is of type I.

     

-inner automorphisms of finite groups

We refer to an automorphism of a group as -inner if given any subset of with cardinality less than , there exists an inner automorphism of agreeing with on . Hence is 2-inner if it sends every element of to a conjugate. New examples are given of outer -inner automorphisms of finite groups for all natural numbers .

     

Imbeddings of free actions on handlebodies

Fix a free, orientation-preserving action of a finite group on a -dimensional handlebody . Whenever acts freely preserving orientation on a connected -manifold , there is a -equivariant imbedding of into . There are choices of closed and Seifert-fibered for which the image of is a handlebody of a Heegaard splitting of . Provided that the genus of is at least , there are similar choices with closed and hyperbolic.

     

Pseudocompact topological group refinements of maximal weight

It is known that a compact metrizable group admits no proper pseudocompact topological group refinement. The authors show, in contrast, that every (Hausdorff) pseudocompact Abelian group of uncountable weight , satisfying any of the following conditions, admits a pseudocompact group refinement of maximal weight (that is, of weight ):

(i)

is compact;

(ii)

is torsion-free with ;

(iii)

[GCH] is torsion-free.

Remark. (i) answers a question posed by Comfort and Remus [Math. Zeit- schrift 215 (1994), 337-346].

     

A characterization of compactly generated metric groups

Recall that a topological group is: (a) -compact if where each is compact, and (b) compactly generated if is algebraically generated by some compact subset of . Compactly generated groups are -compact, but the converse is not true: every countable non-finitely generated discrete group (for example, the group of rational numbers or the free (Abelian) group with a countable infinite set of generators) is a counterexample. We prove that a metric group is compactly generated if and only if is -compact and for every open subgroup of there exists a finite set such that algebraically generates . As a corollary, we obtain that a -compact metric group is compactly generated provided that one of the following conditions holds: (i) has no proper open subgroups, (ii) is dense in some connected group (in particular, if is connected itself), (iii) is totally bounded (= subgroup of a compact group). Our second major result states that a countable metric group is compactly generated if and only if it can be generated by a sequence converging to its identity element (eventually constant sequences are not excluded here). Therefore, a countable metric group can be generated by a (possibly eventually constant) sequence converging to its identity element in each of the cases (i), (ii) and (iii) above. Examples demonstrating that various conditions cannot be omitted or relaxed are constructed. In particular, we exhibit a countable totally bounded group which is not compactly generated.

     

Lomonosov's invariant subspace theorem for multivalued linear operators

The famous Lomonosov's invariant subspace theorem states that if a continuous linear operator on an infinite-dimensional normed space ``commutes' with a compact operator i.e., then has a non-trivial closed invariant subspace. We generalize this theorem for multivalued linear operators. We also provide an application to single-valued linear operators.

     

A remark on quasi-isometries

We show that if is an quasi-isometry, with , defined on the unit ball of , then there is an affine isometry with where is a universal constant. This result is sharp.