Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSaturation and elementary equivalence of C*-algebras
575
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We study the saturation properties of several classes of $C^*$-algebras. Saturation has been shown by Farah and Hart to unify the proofs of several properties of coronas of $sigma$-unital $C^*$-algebras; we extend their results by showing that some coronas of non-$sigma$-unital $C^*$-algebras are countably degree-$1$ saturated. We then relate saturation of the abelian $C^*$-algebra $C(X)$, where $X$ is $0$-dimensional, to topological properties of $X$, particularly the saturation of $CL(X)$.
rate research
Read More
We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II$_{1}$ factor as Fraisse limits of suitable classes of structures. Moreover by means of Fraisse theory we provide new examples of AF algebras with strong homogeneity properties. As a consequence of our analysis we deduce Ramsey-theoretic results about the class of full-matrix algebras.
The only C*-algebras that admit elimination of quantifiers in continuous logic are $mathbb{C}, mathbb{C}^2$, $C($Cantor space$)$ and $M_2(mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory of $M_n(mathcal {O_{n+1}})$ is not $forallexists$-axiomatizable for any $ngeq 2$.
Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $mathbb{C},$ $mathbb{C}^2,$ $M_2(mathbb{C}),$ and the continuous functions on the Cantor set. We show that, among finite dimensional C*-algebras, quantifier elimination does hold if the language is expanded to include two new predicate symbols: One for minimal projections, and one for pairs of unitarily conjugate projections. Both of these predicates are definable, but not quantifier-free definable, in the usual language of C*-algebras. We also show that adding just the predicate for minimal projections is sufficient in the case of full matrix algebras, but that in general both new predicate symbols are required.
For any pair of ordinals $alpha<beta$, $sf CA_alpha$ denotes the class of cylindric algebras of dimension $alpha$, $sf RCA_{alpha}$ denote the class of representable $sf CA_alpha$s and $sf Nr_alpha CA_beta$ ($sf Ra CA_beta)$ denotes the class of $alpha$-neat reducts (relation algebra reducts) of $sf CA_beta$. We show that any class $sf K$ such that $sf RaCA_omega subseteq sf Ksubseteq RaCA_5$, $sf K$ is not elementary, i.e not definable in first order logic. Let $2<n<omega$. It is also shown that any class $sf K$ such that $sf Nr_nCA_omega cap {sf CRCA}_nsubseteq {sf K}subseteq mathbf{S}_csf Nr_nCA_{n+3}$, where $sf CRCA_n$ is the class of completely representable $sf CA_n$s, and $mathbf{S}_c$ denotes the operation of forming complete subalgebras, is proved not to be elementary. Finally, we show that any class $sf K$ such that $mathbf{S}_dsf Ra CA_omega subseteq {sf K}subseteq mathbf{S}_csf RaCA_5$ is not elementary. It remains to be seen whether there exist elementary classes between $sf RaCA_omega$ and $mathbf{S}_dsf RCA_{omega}$. In particular, for $mgeq n+3$, the classes $sf Nr_nCA_m$, $sf CRCA_n$, $mathbf{S}_dsf Nr_nCA_m$, where $mathbf{S}_d$ is the operation of forming dense subalgebras are not first order definable.
We present a detailed exposition (for a Dynamical System audience) of the content of the paper: R. Exel and A. Lopes, $C^*$ Algebras, approximately proper equivalence relations and Thermodynamic Formalism, {it Erg. Theo. and Dyn. Syst.}, Vol 24, pp 1051-1082 (2004). We show only the uniqueness of the beta-KMS (in a certain C*-Algebra obtained from the operators acting in $L^2$ of a Gibbs invariant probability $mu$) and its relation with the eigen-probability $ u_beta$ for the dual of a certain Ruele operator. We consider an example for a case of Hofbauer type where there exist a Phase transition for the Gibbs state. There is no Phase transition for the KMS state.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
