Bilocal derivations of standard operator algebras

In this paper, we shall show the following two results: (1) Let be a standard operator algebra with , if is a linear mapping on which satisfies that maps into for all , then is of the form for some in . (2) Let be a Hilbert space, if is a norm-continuous linear mapping on which satisfies that maps into for all self-adjoint projection in , then is of the form for some in .

     

Invariance of spectrum for representations of -algebras on Banach spaces

Let be a Banach space, a unital -algebra, and an injective, unital homomorphism. Suppose that there exists a function such that, for all , and all ,

(a) ,

(b) ,

(c) .
Then for all , the spectrum of in equals the spectrum of as a bounded linear operator on . If satisfies an additional requirement and is a -algebra, then the Taylor spectrum of a commuting -tuple of elements of equals the Taylor spectrum of the -tuple in the algebra of bounded operators on . Special cases of these results are (i) if is a closed subspace of a unital -algebra which contains as a unital -subalgebra such that , and only if , then for each , the spectrum of in is the same as the spectrum of left multiplication by on ; (ii) if is a unital -algebra and is an essential closed left ideal in , then an element of is invertible if and only if left multiplication by on is bijective; and (iii) if is a -algebra, is a Hilbert -module, and is an adjointable module map on , then the spectrum of in the -algebra of adjointable operators on is the same as the spectrum of as a bounded operator on . If the algebra of adjointable operators on is a -algebra, then the Taylor spectrum of a commuting -tuple of adjointable operators on is the same relative to the algebra of adjointable operators and relative to the algebra of all bounded operators on .

     

Fixed points of the mapping class group in the moduli spaces

Let be a compact oriented surface with or without boundary components. In this note we prove that if then there exist infinitely many integers such that there is a point in the moduli space of irreducible flat connections on which is fixed by any orientation preserving diffeomorphism of . Secondly we prove that for each orientation preserving diffeomorphism of and each there is some such that has a fixed point in the moduli space of irreducible flat connections on . Thirdly we prove that for all there exists an integer such that the 'th power of any diffeomorphism fixes a certain point in the moduli space of irreducible flat connections on .

     

A commutativity theorem for semibounded operators in hilbert space

Let and be semibounded (bounded from below) operators in a Hilbert space and a dense linear manifold contained in the domains of , , , and , and such that for all in . It is shown that if the restriction of to is essentially self-adjoint, then and are essentially self-adjoint and and commute, i.e. their spectral projections permute.

     

Semi-free actions of zero-dimensional compact groups on Menger compacta

Let be the -dimensional universal Menger compactum, a -set in and a metrizable zero-dimensional compact group with the unit. It is proved that there exists a semi-free -action on such that is the fixed point set of every . As a corollary, it follows that each compactum with can be embedded in as the fixed point set of some semi-free -action on .

     

Superrigid subgroups of solvable Lie groups

Let be a discrete subgroup of a simply connected, solvable Lie group , such that has the same Zariski closure as . If is any finite-dimensional representation of , we show that virtually extends to a continuous representation of . Furthermore, the image of is contained in the Zariski closure of the image of . When is not discrete, the same conclusions are true if we make the additional assumption that the closure of is a finite-index subgroup of (and is closed and is continuous).

     

Polynomial continuity on

A mapping between Banach spaces is said to be polynomially continuous if its restriction to any bounded set is uniformly continuous for the weak polynomial topology. A Banach space has property (RP) if given two bounded sequences , we have that for every polynomial on whenever for every polynomial on ; i.e., the restriction of every polynomial on to each bounded set is uniformly sequentially continuous for the weak polynomial topology. We show that property (RP) does not imply that every scalar valued polynomial on must be polynomially continuous.

     

Rigidity of compact manifolds with boundary and nonnegative Ricci curvature

Let be an ()-dimensional compact Riemannian manifold with nonnegative Ricci curvature and nonempty boundary . Assume that the principal curvatures of are bounded from below by a positive constant . In this paper, we prove that the first nonzero eigenvalue of the Laplacian of acting on functions on satisfies with equality holding if and only if is isometric to an -dimensional Euclidean ball of radius . Some related rigidity theorems for are also proved.

     

The structure of hypersurfaces with some curvature conditions

Let be a hypersurface in , and let denote the mean curvature and the scalar curvature of respectively. We show that if is compact and , then is diffeomorphic to . Also we prove that if is complete, is constant and , then is or or .

     

Densities with the mean value property for harmonic functions in a Lipschitz domain

Let be a bounded domain in , , and let . We consider positive functions on such that for all bounded harmonic functions on . We determine Lipschitz domains having such with .

     

Factorization of an integrally closed ideal in two-dimensional regular local rings

Let be a two-dimensional regular local ring with algebraically closed residue field and be an -primary integrally closed ideal in . Let be the set of Rees valuations of and be the residue field of the valuation ring associated with . Assume that is any minimal reduction of . We show that if is the product of the distinct simple -primary integrally closed ideals in , then is generated by the image of over for all , and the converse of this is also true.

     

Open covers and the square bracket partition relation

An open cover of an infinite separable metric space is an -cover of if and for every finite subset of there is a such that . Let be the collection of -covers of . We show that the partition relation holds if, and only if, the partition relation holds.

     

Collapsing successors of singulars

Let be a singular cardinal in , and let be a model such that for some -cardinal with . We apply Shelah's pcf theory to study this situation, and prove the following results. 1) is not a -c.c generic extension of . 2) There is no ``good scale for ' in , so in particular weak forms of square must fail at . 3) If then and also . 4) If then .

     

An Engel condition with derivation for left ideals

We generalize a number of results in the literature by proving the following theorem: Let be a semiprime ring, a nonzero derivation of , a nonzero left ideal of , and let . If for some positive integers , and all , the identity holds, then either or else the ideal of generated by and is in the center of . In particular, when is a prime ring, is commutative.

     

Invariants of Skew Derivations

If is an automorphism and is a -derivation of a ring , then the subring of invariants is the set The main result of this paper is Theorem. Let be a -derivation of an algebra over a commutative ring such that

for all , where and .

(i)

If , then .

(ii)

If is a -stable left ideal of such that , then .

This theorem generalizes results on the invariants of automorphisms and derivations.

     

On the von Neumann-Jordan constant for Banach spaces

Let be the von Neumann-Jordan constant for a Banach space . It is known that for any Banach space ; and is a Hilbert space if and only if . We show that: (i) If is uniformly convex, is less than two; and conversely the condition implies that admits an equivalent uniformly convex norm. Hence, denoting by the infimum of all von Neumann-Jordan constants for equivalent norms of , is super-reflexive if and only if . (ii) If , (the same value as that of -space), is of Rademacher type and cotype for any with , where ; the converse holds if is a Banach lattice and is finitely representable in or .

     

On a class of subalgebras of and the intersection of their free maximal ideals

Let be a Tychonoff space and a subalgebra of containing . Suppose that is the set of all functions in with compact support. Kohls has shown that is precisely the intersection of all the free ideals in or in . In this paper we have proved the validity of this result for the algebra . Gillman and Jerison have proved that for a realcompact space , is the intersection of all the free maximal ideals in . In this paper we have proved that this result does not hold for the algebra , in general. However we have furnished a characterisation of the elements that belong to all the free maximal ideals in . The paper terminates by showing that for any realcompact space , there exists in some sense a minimal algebra for which becomes -compact. This answers a question raised by Redlin and Watson in 1987. But it is still unsettled whether such a minimal algebra exists with respect to set inclusion.

     

An invariance of domain result for multi-valued maximal monotone operators whose domains do not necessarily contain any open sets

Let be a real, reflexive, locally uniformly convex Banach space with locally uniformly convex. Let be a maximal monotone operator and open and bounded. Assume that is pathwise connected and such that and Then If, moreover, is of type () on then may be replaced above by The significance of this result lies in the fact that it holds for multi-valued mappings which do not have to satisfy It has also been used in this paper in order to establish a general ``invariance of domain' result for maximal monotone operators, and may be applied to a greater variety of problems involving partial differential equations. No degree theory has been used. In addition to the above, necessary and sufficient conditions are given for the existence of a zero (in an open and bounded set ) of a completely continuous perturbation of a maximal monotone operator such that is locally monotone on

     

An infinite series of Kronecker conjugate polynomials

Let be a field of characteristic , a transcendental over , and be the absolute Galois group of . Then two non-constant polynomials are said to be Kronecker conjugate if an element of fixes a root of if and only if it fixes a root of . If is a number field, and where is the ring of integers of , then and are Kronecker conjugate if and only if the value set equals modulo all but finitely many non-zero prime ideals of . In 1968 H. Davenport suggested the study of this latter arithmetic property. The main progress is due to M. Fried, who showed that under certain assumptions the polynomials and differ by a linear substitution. Further, he found non-trivial examples where Kronecker conjugacy holds. Until now there were only finitely many known such examples. This paper provides the first infinite series. The main part of the construction is group theoretic.

     

Extreme points of unit balls in Lipschitz function spaces

We give a new characterization of the set of all extreme points of the unit ball in the Banach space of all Lipschitz functions on a metric space This result is applied to get a total variation characterization of in the particular case when is a convex subset of a Banach space.