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 .

     

Group algebras whose units satisfy a group identity

Let be the group algebra of a torsion group over an infinite field . Let be the group of units of . We prove that if satisfies a group identity, then satisfies a polynomial identity. This confirms a conjecture of Brian Hartley.

     

Group algebras whose units satisfy a group identity. II

Let be the group algebra of a torsion group over an infinite field , and let denote its group of units. A recent paper of A. Giambruno, S. K. Sehgal, and A. Valenti proved that if satisfies a group identity, then satisfies a polynomial identity, thereby confirming a conjecture of Brian Hartley. Here we add a footnote to their result by showing that the commutator subgroup of must have bounded period. Indeed, this additional fact enables us to obtain necessary and sufficient conditions for to satisfy an identity.

     

Commensurators of parabolic subgroups of Coxeter groups

Let be a Coxeter system, and let be a subset of . The subgroup of generated by is denoted by and is called a parabolic subgroup. We give the precise definition of the commensurator of a subgroup in a group. In particular, the commensurator of in is the subgroup of in such that has finite index in both and . The subgroup can be decomposed in the form where is finite and all the irreducible components of are infinite. Let be the set of in such that for all . We prove that the commensurator of is . In particular, the commensurator of a parabolic subgroup is a parabolic subgroup, and is its own commensurator if and only if .

     

Hilbert Cmodules in which all closed submodules are complemented

Let be a Calgebra. If there exists a full Hilbert module such that for each closed submodule , then is *-isomorphic to a Calgebra of (not neccesarily all) compact operators on a Hilbert space.

     

Théorème de l'application spectrale pour le spectre essentiel quasi-Fredholm

In 1958, T. Kato proved that a closed semi-Fredholm operator in a Banach space can be written where is a nilpotent operator and is a regular one.

J. P. Labrousse studied and characterised this class of operators in the case of Hilbert spaces. He also defined a new spectrum named ``essential quasi-Fredholm spectrum' and denoted .

In this paper we prove that the essential quasi-Fredholm spectrum defined by J. P. Labrousse satisfies the mapping spectral theorem, i.e.: If is a bounded operator in a Hilbert space and an analytic function in a neighbourhood of the spectrum of , then .

RÉSUMÉ. En 1958, T. Kato a montré que si est un opérateur fermé dans un espace de Banach et semi-Fredholm, alors il existe tels que où est nilpotent et est régulier.

J. P. Labrousse a étudié et caractérisé cette classe d'opérateurs dans le cadre des espaces de Hilbert et a défini un nouveau spectre qu'on appelle ``spectre essentiel quasi-Fredholm' et noté par .

Dans ce travail nous allons démontrer que le spectre essentiel quasi-Fredholm défini par J. P. Labrousse vérifie le théorème de l'application spectrale, c'est à dire: Si est un opérateur bourné d'un espace de Hilbert dans lui même et une fonction analytique au voisinage du spectre de , alors .

     

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 .

     

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.

     

Noncommutative spaces

Let be a von Neumann algebra with a faithful, finite, normal tracial state , and let be a finite, maximal subdiagonal algebra of . Let be the closure of in the noncommutative Lebesgue space . Then possesses several of the properties of the classical Hardy space on the circle, including a commutant lifting theorem, some results on Toeplitz operators, an factorization theorem, Nehari's Theorem, and harmonic conjugates which are bounded.

     

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.

     

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.

     

Every local ring is dominated by a one-dimensional local ring

Let be a local (Noetherian) ring. The main result of this paper asserts the existence of a local extension ring of such that (i) dominates , (ii) the residue field of is a finite purely transcendental extension of , (iii) every associated prime of (0) in contracts in to an associated prime of (0), and (iv) . In addition, it is shown that can be obtained so that either is the maximal ideal of or is a localization of a finitely generated -algebra.

     

Shift-invariant spaces on the real line

We investigate the structure of shift-invariant spaces generated by a finite number of compactly supported functions in . Based on a study of linear independence of the shifts of the generators, we characterize such shift-invariant spaces in terms of the semi-convolutions of the generators with sequences on . Moreover, we show that such a shift-invariant space provides -approximation order if and only if it contains all polynomials of degree less than .

     

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 .

     

Infinite loop spaces and Neisendorfer localization

There is a localization functor with the property that is the -completion of whenever is a finite dimensional complex. This same functor is shown to have the property that is contractible whenever is a connected infinite loop space with a torsion fundamental group. One consequence of this is that many finite dimensional complexes are uniquely determined, up to -completion, by the homotopy fiber of any map from into the classifying space .

     

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.

     

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

     

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.

     

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 normal solvability of the Riemann problem with singular coefficient

Suppose is a singular matrix function on a simple, closed, rectifiable contour . We present a necessary and sufficient condition for normal solvability of the Riemann problem with coefficient in the case where admits a spectral (or generalized Wiener-Hopf) factorization with essentially bounded. The boundedness of is not required when takes injective values a.e. on .