Schur–Weyl Theory for C*‐algebras

To each irreducible infinite dimensional representation $(\pi ,\mathcal {H})$ of a C*‐algebra $\mathcal {A}$, we associate a collection of irreducible norm‐continuous unitary representations $\pi _{\lambda }^\mathcal {A}$ of its unitary group ${\rm U}(\mathcal {A})$, whose equivalence classes are parameterized by highest weights in the same way as the irreducible bounded unitary representations of the group ${\rm U}_\infty (\mathcal {H}) = {\rm U}(\mathcal {H}) \cap (\mathbf {1} + K(\mathcal {H}))$ are. These are precisely the representations arising in the decomposition of the tensor products $\mathcal {H}^{\otimes n} \otimes (\mathcal {H}^*)^{\otimes m}$ under ${\rm U}(\mathcal {A})$. We show that these representations can be realized by sections of holomorphic line bundles over homogeneous Kähler manifolds on which ${\rm U}(\mathcal {A})$ acts transitively and that the corresponding norm‐closed momentum sets $I_{\pi _\lambda ^\mathcal {A}}^{\bf n} \subseteq {\mathfrak u}(\mathcal {A})^{\prime }$ distinguish inequivalent representations of this type.     

On C*‐Like Locally Convex ∗︁‐Algebras

The main purpose of this paper is to define the notion of C*‐like locally convex∗︁‐algebras and to study the structure of such ∗︁‐algebras.     

KK ‐theory of amalgamated free products of C *‐algebras

J. Cuntz has conjectured the existence of two cyclic six terms exact sequences relating the KK ‐groups of the amalgamated free product A _{1 ?? B} A ₂ to the KK ‐groups of A ₁, A ₂ and B. First we establish automatic existence of strict and absorbing homomorphisms. Then we use this result to verify the conjecture when B is a countable direct sum of matrix algebras and the embeddings of B into A ₁ and A ₂ are quasiunital. Inspired by the proof we achieve the following nice classification result: A separable C *‐algebra B is a countable direct sum of matrix algebras if and only if the unitary group of the multiplier algebra U M (B) is compact in the strict topology. Finally we prove the conjecture when the amalgamated free product has the property that any asymptotically split extension of A _{1 ?? B} A ₂ is split. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A note on parameter free Π1‐induction and restricted exponentiation

We characterize the sets of all Π₂ and all $\mathcal {B}(\Sigma _{1})We characterize the sets of all Π₂ and all $\mathcal {B}(\Sigma _{1})$ (= Boolean combinations of Σ₁) theorems of IΠ^?₁ in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generalize to n > 0. As an application, we prove that a conservation theorem of Beklemishev stating that IΠ^?_{n + 1} is conservative over IΣ^?_n with respect to $\mathcal {B}(\Sigma _{n+1})$ sentences cannot be extended to Π_{n + 2} sentences. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Binary types in ℵ0‐categorical weakly o‐minimal theories

Orthogonality of all families of pairwise weakly orthogonal 1‐types for ?₀‐categorical weakly o‐minimal theories of finite convexity rank has been proved in 6 . Here we prove orthogonality of all such families for binary 1‐types in an arbitrary ?₀‐categorical weakly o‐minimal theory and give an extended criterion for binarity of ?₀‐categorical weakly o‐minimal theories (additionally in terms of binarity of 1‐types). © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Imaginaries in Boolean algebras

Given an infinite Boolean algebra B, we find a natural class of $\varnothing$‐definable equivalence relations $\mathcal {E}_{B}$ such that every imaginary element from B^eq is interdefinable with an element from a sort determined by some equivalence relation from $\mathcal {E}_{B}$. It follows that B together with the family of sorts determined by $\mathcal {E}_{B}$ admits elimination of imaginaries in a suitable multisorted language. The paper generalizes author's earlier results concerning definable equivalence relations and weak elimination of imaginaries for Boolean algebras, obtained in 10 .     

Affiliated subspaces and infiniteness of von Neumann algebras

We show that the structural properties of von Neumann algebra s are connected with the metric and order theoretic properties of various classes of affiliated subspaces. Among others we show that properly infinite von Neumann algebra s always admit an affiliated subspace for which (1) closed and orthogonally closed affiliated subspaces are different; (2) splitting and quasi‐splitting affiliated subspaces do not coincide. We provide an involved construction showing that concepts of splitting and quasi‐splitting subspaces are non‐equivalent in any GNS representation space arising from a faithful normal state on a Type I factor. We are putting together the theory of quasi‐splitting subspaces developed for inner product spaces on one side and the modular theory of von Neumann algebra s on the other side.     

On the complexity of axiomatizations of the class of representable quasi‐polyadic equality algebras

Using games, as introduced by Hirsch and Hodkinson in algebraic logic, we give a recursive axiomatization of the class RQPEA _α of representable quasi‐polyadic equality algebras of any dimension α. Following Sain and Thompson in modifying Andréka’s methods of splitting, to adapt the quasi‐polyadic equality case, we show that if Σ is a set of equations axiomatizing RPEA _n for $2< n <\omegaUsing games, as introduced by Hirsch and Hodkinson in algebraic logic, we give a recursive axiomatization of the class RQPEA _α of representable quasi‐polyadic equality algebras of any dimension α. Following Sain and Thompson in modifying Andréka’s methods of splitting, to adapt the quasi‐polyadic equality case, we show that if Σ is a set of equations axiomatizing RPEA _n for $2< n <\omega$ and $l< n,$ $k < n$, k′ < ω are natural numbers, then Σ contains infinitely equations in which ? occurs, one of + or · occurs, a diagonal or a permutation with index l occurs, more than k cylindrifications and more than k′ variables occur. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On quasi‐varieties of multiple valued logic models

We extend the concept of quasi‐variety of first‐order models from classical logic to multiple valued logic (MVL) and study the relationship between quasi‐varieties and existence of initial models in MVL. We define a concept of ‘Horn sentence’ in MVL and based upon our study of quasi‐varieties of MVL models we derive the existence of initial models for MVL ‘Horn theories’. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

The alternative Daugavet property of C *‐algebras and JB *‐triples

A Banach space X is said to have the alternative Daugavet property if for every (bounded and linear) rank‐one operator T: X → X there exists a modulus one scalar ω such that ∥Id+ωT ∥ = 1 + ∥T ∥. We give geometric characterizations of this property in the setting of C *‐algebras, JB *‐triples, and of their isometric preduals. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A note on lattice ordered ‐algebras and Perron–Frobenius theory

A classical result of Sherman says that if the space of self‐adjoint elements in a ‐algebra is a lattice with respect to its canonical order, then is commutative. We give a new proof of this theorem which shows that it is intrinsically connected with the spectral theory of positive operator semigroups. Our methods also show that some important Perron–Frobenius like spectral results fail to hold in any non‐commutative ‐algebra.     

On closed Lie ideals of certain tensor products of ‐algebras

For a simple ‐algebra A and any other ‐algebra B, it is proved that every closed ideal of is a product ideal if either A is exact or B is nuclear. Closed commutator of a closed ideal in a Banach algebra whose every closed ideal possesses a quasi‐central approximate identity is described in terms of the commutator of the Banach algebra. If α is either the Haagerup norm, the operator space projective norm or the ‐minimal norm, then this allows us to identify all closed Lie ideals of , where A and B are simple, unital ‐algebras with one of them admitting no tracial functionals, and to deduce that every non‐central closed Lie ideal of contains the product ideal . Closed Lie ideals of are also determined, A being any simple unital ‐algebra with at most one tracial state and X any compact Hausdorff space. And, it is shown that closed Lie ideals of are precisely the product ideals, where A is any unital ‐algebra and α any completely positive uniform tensor norm.     

Quantifier‐eliminable locally finite graphs

We identify the locally finite graphs that are quantifier‐eliminable and their first order theories in the signature of distance predicates. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On the mutually non isomorphic ℓp(ℓq) spaces

We extend a result of Pe?czyński showing that {?_p(?_q): 1 ≤ p, q ≤ ∞} is a family of mutually non isomorphic Banach spaces. Some results on complemented subspaces of ?_p(?_q) are also given.     

Radical of filters in BL‐algebras

In this paper, the notion of the radical of a filter in BL‐algebras is defined and several characterizations of the radical of a filter are given. Also we prove that A/F is an MV‐algebra if and only if D_s(A) ? F. After that we define the notion of semi maximal filter in BL‐algebras and we state and prove some theorems which determine the relationship between this notion and the other types of filters of a BL‐algebra. Moreover, we prove that A/F is a semi simple BL‐algebra if and only if F is a semi maximal filter of A. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Truth‐table Schnorr randomness and truth‐table reducible randomness

Schnorr randomness and computable randomness are natural concepts of random sequences. However van Lambalgen’s Theorem fails for both randomnesses. In this paper we define truth‐table Schnorr randomness (defined in 6 too only by martingales) and truth‐table reducible randomness, for which we prove that van Lambalgen's Theorem holds. We also show that the classes of truth‐table Schnorr random reals relative to a high set contain reals Turing equivalent to the high set. It follows that each high Schnorr random real is half of a real for which van Lambalgen's Theorem fails. Moreover we establish the coincidence between triviality and lowness notions for truth‐table Schnorr randomness. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim