On a problem of J. P. Williams

Let be the algebra of all bounded operators on a Hilbert space . Let be a continuous function on the closed disk and let

for some 0,$"> for all and all with . Then is differentiable on . The paper shows that the function may have a discontinuous derivative.

     

Convexity numbers of closed sets in

For 2$"> let be the -ideal in generated by all sets which do not contain equidistant points in the usual metric on . For each 2$"> a set is constructed in so that the -ideal which is generated by the convex subsets of restricted to the convexity radical is isomorphic to . Thus is equal to the least number of convex subsets required to cover -- the convexity number of .

For every non-increasing function \aleph_0\}$"> we construct a model of set theory in which for each . When is strictly decreasing up to , uncountable cardinals are simultaneously realized as convexity numbers of closed subsets of . It is conjectured that , but never more than , different uncountable cardinals can occur simultaneously as convexity numbers of closed subsets of . This conjecture is true for and .     

Local dual spaces of Banach spaces of vector-valued functions

We show that is a local dual of , and is a local dual of , where is a Banach space. A local dual space of a Banach space is a subspace of so that we have a local representation of in satisfying the properties of the representation of in provided by the principle of local reflexivity.

     

On classes of maps which preserve finitisticness

We shall prove the following: Let be a refinable map between paracompact spaces. Then is finitistic if and only if is finitistic. Let be a hereditary shape equivalence between metric spaces. Then if is finitistic, is finitistic.

     

Fréchet-Urysohn spaces in free topological groups

Let and be respectively the free topological group and the free Abelian topological group on a Tychonoff space . For every natural number we denote by () the subset of () consisting of all words of reduced length . It is well known that if a space is not discrete, then neither nor is Fréchet-Urysohn, and hence first countable. On the other hand, it is seen that both and are Fréchet-Urysohn for a paracompact Fréchet-Urysohn space . In this paper, we prove first that for a metrizable space , () is Fréchet-Urysohn if and only if the set of all non-isolated points of is compact and is Fréchet-Urysohn if and only if is compact or discrete. As applications, we characterize the metrizable space such that is Fréchet-Urysohn for each and is Fréchet-Urysohn for each except for . In addition, however, there is a first countable, and hence Fréchet-Urysohn subspace of () which is not contained in any (). We shall show that if such a space is first countable, then it has a special form in (). On the other hand, we give an example showing that if the space is Fréchet-Urysohn, then it need not have the form.

     

Normal bases for Hopf-Galois algebras

Let be a Hopf algebra over a commutative ring such that is a finitely generated, projective module over , let be a right -comodule algebra, and let be the subalgebra of -coinvariant elements of . If is a Galois extension of and is a local subalgebra of the center of , then is a cleft right -comodule algebra or, equivalently, there is a normal basis for over .

     

Applications of a theorem of H. Cramér to the Selberg class

We prove two results on the nature of the Dirichlet coefficients of the -functions in the extended Selberg class . The first result asserts that if for some entire function of order 1 and finite type, then is constant. The second result states, roughly, that if are still the coefficients of some -function from , then with and . The proofs are based on an old result by Cramér and on the characterization of the functions of degree 1 of .

     

Extremal metrics for the first eigenvalue of the Laplacian in a conformal class

Let be a compact manifold. First, we give necessary and sufficient conditions for a Riemannian metric on to be extremal for with respect to conformal deformations of fixed volume. In particular, these conditions show that for any lattice of , the flat metric induced on from the standard metric of is extremal (in the previous sense). In the second part, we give, for any , an upper bound of on the conformal class of and exhibit a class of lattices for which the metric maximizes on its conformal class.

     

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.

     

Finite homological dimension and primes associated to integrally closed ideals

Let be an integrally closed ideal in a commutative Noetherian ring . Then the local ring is regular (resp. Gorenstein) for every if the projective dimension of is finite (resp. the Gorenstein dimension of is finite and satisfies Serre's condition (S)).

     

Sur une question de capitulation

Let and be prime numbers such that and . Let , , and let be the 2-Hilbert class field of , the 2-Hilbert class field of and the Galois group of . The 2-part of the class group of is of type , so contains three extensions . Our goal is to study the problem of capitulation of the 2-classes of in , and to determine the structure of .

RSESUM´E. Soient et deux nombres premiers tels que et , , , , le 2-corps de classes de Hilbert de , le 2-corps de classes de Hilbert de et le groupe de Galois de . La 2-partie du groupe de classes de est de type , par suite contient trois extensions . On s'intéresse au problème de capitulation des 2-classes de dans , et à déterminer la structure de .

     

Small covers of the dodecahedron and the -cell

Let be the right-angled hyperbolic dodecahedron or -cell, and let be the group generated by reflections across codimension-one faces of . We prove that if is a torsion free subgroup of minimal index, then the corresponding hyperbolic manifold is determined up to homeomorphism by modulo symmetries of .

     

Van der Waerden spaces

A topological space is van der Waerden if for every sequence in there exists a converging subsequence so that contains arbitrarily long finite arithmetic progressions. Not every sequentially compact space is van der Waerden. The product of two van der Waerden spaces is van der Waerden.

The following condition on a Hausdorff space is sufficent for to be van der Waerden:

The closure of every countable set in is compact and first-countable.

A Hausdorff space that satisfies satisfies, in fact, a stronger property: for every sequence in :

There exists so that is converging, and contains arbitrarily long finite arithmetic progressions and sets of the form for arbitrarily large finite sets .

There are nonmetrizable and noncompact spaces which satisfy . In particular, every sequence of ordinal numbers and every bounded sequence of real monotone functions on satisfy .

     

Universal perturbations of linear differential equations

Let be a fundamental solution of with and bounded on . We prove that there exist arbitrary small matrix functions with limit as such that has solutions with dense in .

     

On the completeness of factor rings

Let be a complete local domain containing the integers with maximal ideal such that is at least the cardinality of the real numbers. Let be a nonmaximal prime ideal of such that is a regular local ring. We construct an excellent local ring such that the completion of is , the generic formal fiber of is local with maximal ideal and if is a nonzero ideal of , then is complete.

     

Compact perturbations of -accretive operators in Banach spaces

This paper continues a discussion that arose twenty years ago, concerning the perturbation of an -accretive operator by a compact mapping in Banach spaces. Indeed, if is -accretive and is compact, then the boundary condition for and implies that is in the closure of the range of . Perhaps the most interesting aspect of this result is the proof itself, which does not appeal to the classical degree theory argument used for this type of problem.

     

P.I. envelopes of classical simple Lie superalgebras

Let be a classical simple Lie superalgebra. We describe the prime ideals in the enveloping algebra such that satisfies a polynomial identity. If the factor algebra is not artinian, then it is an order in a matrix algebra over .     

Isomorphism of Borel full groups

Suppose that and are Polish groups which act in a Borel fashion on Polish spaces and . Let and denote the corresponding orbit equivalence relations, and and the corresponding Borel full groups. Modulo the obvious counterexamples, we show that .

     

Topologically transversal reversible homoclinic sets

An -reversible diffeomorphism on is studied possessing a hyperbolic fixed point. If the stable manifold of the hyperbolic fixed point and the fixed point set of have a nontrivial local topological crossing, then an infinite number of -symmetric periodic orbits of the diffeomorphism is shown. A perturbed problem is also studied by showing the relationship between a corresponding Melnikov function and the nontriviality of a local topological crossing of the set and the stable manifold for the perturbed diffeomorphism.