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.     

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 .     

Rings of regular functions on nilpotent orbits and their covers

Summary LetG be a complex semisimple algebraic group with Lie algebra . Let be a nilpotentG-orbit, its ring of regular functions. We derive a formula for as aG-module and prove some partial results on a cover of . We then relate this formula to various existing multiplicity formulas forK-types in Harish-Chandra bimodules ofG.Supported by National Science Foundation Grant DMS-8505550     

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.     

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 .     

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.     

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.     

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 .     

Gray codes from antimatroids

We show three main results concerning Hamiltonicity of graphs derived from antimatroids. These results provide Gray codes for the feasible sets and basic words of antimatroids.For antimatroid (E, ), letJ( ) denote the graph whose vertices are the sets of , where two vertices are adjacent if the corresponding sets differ by one element. DefineJ( ;k) to be the subgraph ofJ( )² induced by the sets in with exactlyk elements. Both graphsJ( ) andJ( ;k) are connected, and the former is bipartite.We show that there is a Hamiltonian cycle inJ( )×K ₂. As a consequence, the ideals of any poset % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWefv3ySLgznf% gDOfdaryqr1ngBPrginfgDObYtUvgaiuaacqWFpepuaaa!414C!\[\mathcal{P}\] may be listed in such a way that successive ideals differ by at most two elements. We also show thatJ( ;k) has a Hamilton path if (E, ) is the poset antimatroid of a series-parallel poset.Similarly, we show thatG( )×K ₂ is Hamiltonian, whereG( ) is the basic word graph of a language antimatroid (E, ). This result was known previously for poset antimatroids.Research supported in part by NSERC.Research supported in part by the Natural Sciences and Engineering Research Council of Canada under Grant A3379.     

Spin Models and Strongly Hyper-Self-Dual Bose-Mesner Algebras

We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let and denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of with respect to p. By a hyper-duality of , we mean an automorphism of such that for all ; and is a duality of . is said to be hyper-self-dual whenever there exists a hyper-duality of . We say that is strongly hyper-self-dual whenever there exists a hyper-duality of which can be expressed as conjugation by an invertible element of . We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra.     

Transvection free groups and invariants of polynomial tensor exterior algebras

Let :GGl(n, ) be a representation of a finite groupG over a field such that the ring of invariants is a polynomial algebra . It is known that in the nonmodular case (i.e., when the order of the group is not divisible by the characteristic of ), the invariants ofG acting on the tensor product of a polynomial and an exterior algebra are given by ,d denoting the exterior derivative. We show that in the modular case, the ring of invariants in is of this form if and only if is a polynomial algebra and all pseudoreflections in (G) are diagonalizable.     

Completions of orthomodular lattices II

If is a variety of orthomodular lattices generated by a set of orthomodular lattices having a finite uniform upper bound om the length of their chains, then the MacNeille completion of every algebra in again belongs to .The author gratefully acknowledges the support of NSERC.     

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 .     

s-Prime elements in multiplicative lattices

Let be aC-lattice which is strong join principally generated. In this paper, we consider prime elements of for which every semiprimary element is primary. We show, for example, that a compact nonmaximal primep with this property is principal. We also show that if every primepm has this property, then is either a one dimensional domain or a primary lattice. It follows that if every primep satisfies the property, and if there are only a finite number of minimal primes in , then is the finite direct product of one-dimensional domains and primary lattices.     

Quasivariety Generated by Free Metabelian and 2-Nilpotent Groups

Let qG be a quasivariety generated by a group G and be a non-Abelian quasivariety of groups with a finite lattice of subquasivarieties. Suppose is contained in a quasivariety generated by the following two groups: a free 2-nilpotent group F₂( ₂) of rank 2 and a free metabelian (i.e., with an Abelian commutant) group F₂( ₂) of rank 2. It is proved that either = qF₂( ₂) or = qF₂( ₂) in this instance.__________Translated from Algebra i Logika, Vol. 44, No. 4, pp. 389–398, July–August, 2005.     

An infinitesimal characterization of the complexity of homogeneous spaces

A characterization of the complexity of a homogeneous space of a reductive groupG is given in terms of the mutual position of the tangent Lie algebra of the stabilizer of a generic point of and the (–1)-eigenspace of a Weyl involution of .Supported by Russian Foundation for Basic Research, Grant No. 98-01-00598.Supported by the U. S. Civilian Research and Development Foundation, Award No. 206, and Russian Foundation for Basic Research, Grant No. 98-01-00598.     

Über die Starrheit kompakter komplexer Räume

This article deals with deformations of compact complex spaces, the parameter-space being a general complex space. A compact space X₀ is called absolutely rigid, if every deformation of X₀ is trivial. Ex(X₀, ) is defined as the group of the extensions of by and it is shown that X₀ is absolutely rigid if and only if Ex(X₀, )=0.If X₀ is reduced, there is Ex(X₀, ). The proof makes use of the results of M.A{uprtin} [1] and D{upouady} [2].     

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     

Levi Classes Generated by Nilpotent Groups

Let be a class of all groups G for which the normal closure (x) ^G of every element x belongs to a class . is a Levi class generated by . Let and ₀ be classes of finitely generated nilpotent groups and of torsion-free, finitely generated, nilpotent groups, respectively. We prove that and , and so and . It is shown that quasivarieties and are closed under free products, and that each contains at most one maximal proper subquasivariety. It is also proved that is closed under free products if so is .