scholarly journals SPECTRAL INVARIANCE OF DENSE SUBALGEBRAS OF OPERATOR ALGEBRAS

1993 ◽  
Vol 04 (02) ◽  
pp. 289-317 ◽  
Author(s):  
LARRY B. SCHWEITZER

We define the notion of strong spectral invariance for a dense Fréchet subalgebra A of a Banach algebra B. We show that if A is strongly spectral invariant in a C*-algebra B, and G is a compactly generated polynomial growth Type R Lie group, not necessarily connected, then the smooth crossed product G ⋊ A is spectral invariant in the C*-crossed product G ⋊ B. Examples of such groups are given by finitely generated polynomial growth discrete groups, compact or connected nilpotent Lie groups, the group of Euclidean motions on the plane, the Mautner group, or any closed subgroup of one of these. Our theorem gives the spectral invariance of G ⋊ A if A is the set of C∞-vectors for the action of G on B, or if B = C0 (M), and A is a set of G-differentiable Schwartz functions [Formula: see text] on M. This gives many examples of spectral invariant dense subalgebras for the C*-algebras associated with dynamical systems. We also obtain relevant results about exact sequences, subalgebras, tensoring by smooth compact operators, and strong spectral invariance in L1 (G, B).

2017 ◽  
Vol 60 (1) ◽  
pp. 77-94 ◽  
Author(s):  
Michael Christ ◽  
Marc A. Rieòel

AbstractLet be a length function on a group G, and let M denote the operator of pointwise multiplication by on l2(G). Following Connes, M𝕃 can be used as a “Dirac” operator for the reduced group C*-algebra (G). It deûnes a Lipschitz seminorm on (G), which defines a metric on the state space of (G). We show that for any length function satisfying a strong form of polynomial growth on a discrete group, the topology from this metric coincides with the weak-* topology (a key property for the definition of a “compact quantum metric space”). In particular, this holds for all word-length functions on ûnitely generated nilpotent-by-finite groups.


1996 ◽  
Vol 39 (4) ◽  
pp. 420-428 ◽  
Author(s):  
Allan P. Donsig ◽  
S. C. Power

AbstractAF C*-algebras contain natural AF masas which, here, we call standard diagonals. Standard diagonals are unique, in the sense that two standard diagonals in an AF C*-algebra are conjugate by an approximately inner automorphism. We show that this uniqueness fails for non-selfadjoint AF operator algebras. Precisely, we construct two standard diagonals in a particular non-selfadjoint AF operator algebra which are not conjugate by an approximately inner automorphism of the non-selfadjoint algebra.


2019 ◽  
Vol 72 (4) ◽  
pp. 988-1023
Author(s):  
Clayton Suguio Hida ◽  
Piotr Koszmider

AbstractA subset ${\mathcal{X}}$ of a C*-algebra ${\mathcal{A}}$ is called irredundant if no $A\in {\mathcal{X}}$ belongs to the C*-subalgebra of ${\mathcal{A}}$ generated by ${\mathcal{X}}\setminus \{A\}$. Separable C*-algebras cannot have uncountable irredundant sets and all members of many classes of nonseparable C*-algebras, e.g., infinite dimensional von Neumann algebras have irredundant sets of cardinality continuum.There exists a considerable literature showing that the question whether every AF commutative nonseparable C*-algebra has an uncountable irredundant set is sensitive to additional set-theoretic axioms, and we investigate here the noncommutative case.Assuming $\diamondsuit$ (an additional axiom stronger than the continuum hypothesis), we prove that there is an AF C*-subalgebra of ${\mathcal{B}}(\ell _{2})$ of density $2^{\unicode[STIX]{x1D714}}=\unicode[STIX]{x1D714}_{1}$ with no nonseparable commutative C*-subalgebra and with no uncountable irredundant set. On the other hand we also prove that it is consistent that every discrete collection of operators in ${\mathcal{B}}(\ell _{2})$ of cardinality continuum contains an irredundant subcollection of cardinality continuum.Other partial results and more open problems are presented.


Author(s):  
Isaac Goldbring ◽  
Bradd Hart

Abstract We show that the following operator algebras have hyperarithmetic theory: the hyperfinite II$_1$ factor $\mathcal R$, $L(\varGamma )$ for $\varGamma $ a finitely generated group with solvable word problem, $C^*(\varGamma )$ for $\varGamma $ a finitely presented group, $C^*_\lambda (\varGamma )$ for $\varGamma $ a finitely generated group with solvable word problem, $C(2^\omega )$ and $C(\mathbb P)$ (where $\mathbb P$ is the pseudoarc). We also show that the Cuntz algebra $\mathcal O_2$ has a hyperarithmetic theory provided that the Kirchberg embedding problems have affirmative answers. Finally, we prove that if there is an existentially closed (e.c.) II$_1$ factor (resp. $\textrm{C}^*$-algebra) that does not have hyperarithmetic theory, then there are continuum many theories of e.c. II$_1$ factors (resp. e.c. $\textrm{C}^*$-algebras).


2008 ◽  
Vol 15 (01) ◽  
pp. 145-166 ◽  
Author(s):  
Bangteng Xu
Keyword(s):  

Let (A,B,f) be a C-algebra. For any subset N of B, its kernel ker fN is a subset of [Formula: see text]. The kernel ker f has been used to obtain important results for C-algebras (see [2] and [4]). In this paper, we study further properties of ker f. In particular, for a transitional C-algebra (A,B,f) and quotient subsets M and N such that N ⊆ M and M is also a C-subset, we prove that [Formula: see text]. In order to show this result, exact sequences in C-algebras are studied. Finally, we present a few examples and applications.


1997 ◽  
Vol 08 (05) ◽  
pp. 555-571
Author(s):  
Cristina Cerri

For each α ≥ 0, let Bα be the universal C*-algebra generated by unitary elements uα, vα and a self-adjoint hα such that ||hα|| ≤ α and [Formula: see text]. In this work we prove that the family {Bα}α ∈ [0,∞[ extend the family of soft torus with the same basic properties, i.e., the field of C*-algebras {Bα}α ∈ [0,α0] is continuous and each Bα is a crossed product of a C*-algebra homotopically equivalent to C(S1) by Z. We then show that the K-groups of Bα are isomorphic to Z ⊕ Z. Applying results from the theory of rotation algebras we prove that every positive element (n,m) in K0(Bα) satisfies |m|α ≤ 2πn. It follows that these C*-algebras are not all homotopically equivalent to each other, although they have the same K-groups.


1988 ◽  
Vol 40 (6) ◽  
pp. 1482-1527 ◽  
Author(s):  
Antony Wassermann

In the first paper of this series [17], we set up some general machinery for studying ergodic actions of compact groups on von Neumann algebras, namely, those actions for which . In particular we obtained a characterisation of the full multiplicity ergodic actions:THEOREM A. If α is an ergodic action of G on , then the following conditions are equivalent:(1) Each spectral subspace has multiplicity dim π for π in .(2) Each π in admits a unitary eigenmatrix in .(3) The W* crossed product is a (Type I) factor.(4) The C* crossed product of the C* algebra of norm continuity is isomorphic to the algebra of compact operators on a Hilbert space.


1993 ◽  
Vol 04 (04) ◽  
pp. 601-673 ◽  
Author(s):  
LARRY B. SCHWEITZER

Let A be a dense Fréchet *-subalgebra of a C*-algebra B. (We do not require Fréchet algebras to be m-convex.) Let G be a Lie group, not necessarily connected, which acts on both A and B by *-automorphisms, and let σ be a sub-polynomial function from G to the nonnegative real numbers. If σ and the action of G on A satisfy certain simple properties, we define a dense Fréchet *-subalgebra G ⋊σ A of the crossed product L1 (G, B). Our algebra consists of differentiable A-valued functions on G, rapidly vanishing in σ. We give conditions on σ and the action of G on A which imply the m-convexity of the dense subalgebra G ⋊σ A. A locally convex algebra is said to be m-convex if there is a family of submultiplicative seminorms for the topology of the algebra. The property of m-convexity is important for a Fréchet algebra, and is useful in modern operator theory. If G acts as a transformation group on a locally compact space M, we develop a class of dense subalgebras for the crossed product L1 (G, C0 (M)), where C0 (M) denotes the continuous functions on M vanishing at infinity with the sup norm topology. We define Schwartz functions S (M) on M, which are differentiable with respect to some group action on M, and are rapidly vanishing with respect to some scale on M. We then form a dense Fréchet *-subalgebra G ⋊σ S (M) of rapidly vanishing, G-differentiable functions from G to S (M). If the reciprocal of σ is in Lp (G) for some p, we prove that our group algebras Sσ (G) are nuclear Fréchet spaces, and that G ⋊σ A is the projective completion [Formula: see text].


2019 ◽  
Vol 109 (1) ◽  
pp. 112-130
Author(s):  
EBRAHIM SAMEI ◽  
JAFAR SOLTANI FARSANI

We introduce the concept of strong property $(\mathbb{B})$ with a constant for Banach algebras and, by applying a certain analysis on the Fourier algebra of the unit circle, we show that all C*-algebras and group algebras have the strong property $(\mathbb{B})$ with a constant given by $288\unicode[STIX]{x1D70B}(1+\sqrt{2})$. We then use this result to find a concrete upper bound for the hyperreflexivity constant of ${\mathcal{Z}}^{n}(A,X)$, the space of bounded $n$-cocycles from $A$ into $X$, where $A$ is a C*-algebra or the group algebra of a group with an open subgroup of polynomial growth and $X$ is a Banach $A$-bimodule for which ${\mathcal{H}}^{n+1}(A,X)$ is a Banach space. As another application, we show that for a locally compact amenable group $G$ and $1<p<\infty$, the space $CV_{P}(G)$ of convolution operators on $L^{p}(G)$ is hyperreflexive with a constant given by $384\unicode[STIX]{x1D70B}^{2}(1+\sqrt{2})$. This is the generalization of a well-known result of Christensen [‘Extensions of derivations. II’, Math. Scand. 50(1) (1982), 111–122] for $p=2$.


2014 ◽  
Vol 25 (02) ◽  
pp. 1450010 ◽  
Author(s):  
JIAJIE HUA ◽  
YAN WU

Let X be a Cantor set, and let A be a unital separable simple amenable [Formula: see text]-stable C*-algebra with rationally tracial rank no more than one, which satisfies the Universal Coefficient Theorem (UCT). We use C(X, A) to denote the algebra of all continuous functions from X to A. Let α be an automorphism on C(X, A). Suppose that C(X, A) is α-simple, [α|1⊗A] = [ id |1⊗A] in KL(1 ⊗ A, C(X, A)), τ(α(1 ⊗ a)) = τ(1 ⊗ a) for all τ ∈ T(C(X, A)) and all a ∈ A, and [Formula: see text] for all u ∈ U(A) (where α‡ and id‡ are homomorphisms from U(C(X, A))/CU(C(X, A)) → U(C(X, A))/CU(C(X, A)) induced by α and id, respectively, and where CU(C(X, A)) is the closure of the subgroup generated by commutators of the unitary group U(C(X, A)) of C(X, A)), then the corresponding crossed product C(X, A) ⋊α ℤ is a unital simple [Formula: see text]-stable C*-algebra with rationally tracial rank no more than one, which satisfies the UCT. Let X be a Cantor set and 𝕋 be the circle. Let γ : X × 𝕋n → X × 𝕋n be a minimal homeomorphism. It is proved that, as long as the cocycles are rotations, the tracial rank of the corresponding crossed product C*-algebra is always no more than one.


Sign in / Sign up

Export Citation Format

Share Document