Topological and bornological characterisations of ideals in von Neumann algebras: I

Suppose is a von Neumann algebra on a Hilbert space and is any ideal in . We determine a topology on , for which the members of that are to norm continuous are exactly those in ; and a bornology on such that the elements of which map the unit ball to an element of , equivalently those members of that are norm to bounded, are exactly those in . This is achieved via analogues of the notions of injectivity and surjectivity in the theory of operator ideals on Banach spaces.     

Isometric dilations in nest algebras

LetT be a contraction acting in a separable Hilbert space and leaving invariant a nest of subspaces of . We answer the question: when doesT have an isometric extension to which leaves invariant the nest = {N N :N ;}.     

Skew-symmetric derivations of a complex Lie algebra

Let be a complex Lie algebra, its underlying real Lie algebra, a real form of and ·, · the euclidean product induced by the real part of an hermitian inner product on . Let aut be the Lie algebra of skew-symmetric derivations of . We give necessary and sufficient conditions to ensure that aut is composed of skew-hermitian derivations. As an application, we study holomorphy in large subgroups of isometries of Lie groups.     

Operator inequalities and construction of Krein spaces

Let be a Hilbert space. A continuous positive operatorT on uniquely determines a Hilbert space which is continuously imbedded in and for which with the canonical imbedding . A Kreîn space version of this result, however, is not valid in general. This paper provides a necessary and sufficient condition for that a continuous selfadjoint operatorT uniquely determines a Kreîn space ( ) which is continuously imbedded in and for which with the canonical imbedding .     

Completion of an additive measure to a σ-additive measure by an extension of the space

For an algebra of subsets of a set X there is constructed a set and an algebra of its subsets so that the mapping is a one-to-one correspondence between and and for each additive measure on the measure on defined by the equation is countably additive.Translated from Matematicheskie Zametki, Vol. 3, No. 1, pp. 71–76, January, 1968.The author wishes to express his deep appreciation to S. V. Fomin, under whose guidance this paper was written.     

On a theorem of Seidel and Walsh

Given a sequence ( _n ) _n in with there are functions such that , is a dense subset of , and the set of functions with this property is residual in . We will show that in and some related Banach spaceX there are functionsf with is dense in , and we will give a sufficient condition when the set of such functions is residual inX.     

Common invariant subspaces for collections of operators

Let be a collection of bounded operators on a Banach spaceX of dimension at least two. We say that is finitely quasinilpotent at a vectorx ₀X whenever for any finite subset of the joint spectral radius of atx ₀ is equal 0. If such collection contains a non-zero compact operator, then and its commutant have a common non-trivial invariant, subspace. If in addition, is a collection of positive operators on a Banach lattice, then has a common non-trivial closed ideal. This result and a recent remarkable theorem of Turovskii imply the following extension of the famous result of de Pagter to semigroups. Let be a multiplicative semigroup of quasinilpotent compact positive operators on a Banach lattice of dimension at least two. Then has a common non-trivial invariant closed ideal.This work was supported by the Research Ministry of Slovenia.     

Some stability properties for analytic operator functions

Let be a connected, finite-dimensional, complex analytic manifold; let T() be an analytic function defined on , whose values are J-biexpanding operators on a J-space H. Let (A) denote the range of A. The following assertions are proved: 1. The lineals and do not depend on . 2. For arbitrary we have Translated from Matematicheskie Zametki, Vol. 20, No. 4, pp. 511–520, October, 1976.     

Repleteness and regular lattice measures

Let X be an abstract set and L a lattice of subsets of X. To each lattice regular measure µ, we associate two induced measures and on suitable lattices of the Wallman space IR(L) and another measure µ on the spaceIR(L). We will investigate the reflection of smoothness properties of p onto , and µ; and try to set some new criterion for repleteness and measure repleteness.     

On periodic groups of automorphisms of extremal groups

It is proved that if a periodic group has an extremal normal divisor , determining a complete abelian factor group , then the center of the group contains a complete abelian subgroup , satisfying the relation and intersecting on a finite subgroup. It is also established with the aid of this proposition that every periodic group of automorphisms of an extremal group is a finite extension of a contained in it subgroup of inner automorphisms of the group .Translated from Matematicheskie Zametki, Vol. 4, No. 1, pp. 91–96, July, 1968.     

Lower bounds for faithful,preinjective modules

Let be the path algebra for some representation-infinite quiver over some field k. There exists a bound such that ^mI is faithful for all indecomposable injective -modules I and all , and such that there exists an indecomposable injective -module J satisfying that J is not faithful, denotes the Auslander-Reiten-translation. Let m() be the maximum of the taken over all possible orientations of the underlying graph . In this article we determine the bounds m() for representation-infinite quivers for which is a tree.     

Complétude des métriques lorentziennes de\mathbb{T}^2 et difféomorphismes du cercle

Let and the foliations by the null geodesics of some lorentzian metricg on the torus . We analyse how geodesic completeness properties ofg are related to the dynamics of and .     

On some properties of the metric subalgebras ofℓ ∞

The objects studied are the subalgebras of which contain c_o. These are isometrically isomorphic to the algebras C( ) where is a compactification of a discrete denumerable set N . It is shown: 1) If is metric then there is a projection of norm 1, P: C( ) C( ) with kernel c_o defined by PF = f o where is a retraction of onto = – N . 2) If is metric, then the group of homeomorphisms of is isomorphic to a complete group of permutations of the natural numbers . 3) The group of homeomorphisms of a compact metric space is the homomorphic image of a complete group of permutations of ("complete" means "no outer automorphisms, trivial center").     

Groupwise density and related cardinals

We prove several theorems about the cardinal associated with groupwise density. With respect to a natural ordering of families of nond-ecreasing maps from to, all families of size are below all unbounded families. With respect to a natural ordering of filters on, all filters generated by sets are below all non-feeble filters. If then and . (The definitions of these cardinals are recalled in the introduction.) Finally, some consequences deduced from by Laflamme are shown to be equivalent to .     

Homogeneous algebraic varieties defined by Jordan pairs

Every Jordan pair defines an algebraic varietyX containing as a dense open subset.X is projective (affine) if and only if is separable (radical). The Picard group ofX is generated by the irreducible factors of the generic norm of . If is separable then the automorphism group ofX is the projective group of .     

Positive elements in the algebra of the quantum moment problem

Summary Let denote the extended Weyl algebra, , the Weyl algebra. It is well known that every element of of the formA=B _k ^* B _k is positive. We prove that the converse implication also holds: Every positive elementA in has a quadratic sum factorization for some finite set of elements (B _k ) in . The corresponding result is not true for the subalgebra . We identify states on which do not extend to states on . It follows from a result of Powers (and Arveson) that such states on cannot be completely positive. Our theorem is based on a certain regularity property for the representations which are generated by states on , and this property is not in general shared by representations generated by states defined only on the subalgebra .Work supported in part by the NSF     

Prime ideal decomposition inF({}^m\sqrt \mu )

LetF be an algebraic number field and F such thatx ^m– is irreducible, wherem is an integer. Let be a prime ideal inF with . The prime decomposition of in is explicitly obtained in the following cases. Case 1: , (a,m) = 1 (where means , 0 ). Case 2:m lt, wherel is a prime andl 0 . Case 3:m 0 and every prime that dividesm also dividespf–1. It is not assumed that thev ^th roots of unity are inF for anyv 2.     

Notes on Brown-McCoy-radicals for Γ-near-rings

The Brown-McCoy radical is known to be an ideal-hereditary Kurosh-Amitsur radical in the variety of zerosymmetric near-rings. We define the Brown-McCoy and simplical radicals, and , respectively, for zerosymmetric -near-rings. Both and are ideal-hereditary Kurosh-Amitsur radicals in that variety. IfM is a zerosymmetric -near-ring with left operator near-ringL, it is shown that , with equality ifM has a strong left unity. is extended to the variety of arbitrary near-rings, and and are extended to the variety of arbitrary -near-rings, in a way that they remain Kurosh-Amitsur radicals. IfN is a near-ring andA N, then , with equality ifA if left invariant.     

Series-parallel posets and relative Ockham lattices

A study is undertaken of order-reversing maps on series-parallel posets and structural characterisations are obtained of various subclasses of such ordered sets. The results are applied to complete the authors' earlier investigation of classes of finite relate lattices, where is a variety of Ockham lattices and the distributive lattice duals of the algebras in are required to be series-parallel.     

On the convergence of powers of interval matrices (2)

Summary Let be a real irreduciblen×n interval matrix. Then a necessary and sufficient condition is given for the sequence of the powers of an interval matrix to converge to a matrix which is not the null matrix. In addition a criterion for is proved to decide whether the limit matrix satisfies the condition of symmetry .