Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userFilling families and strong pure infiniteness
191
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We introduce filling families with matrix diagonalization as a refinement of the work by R{o}rdam and the first named author. As an application we improve a result on local pure infiniteness and show that the minimal tensor product of a strongly purely infinite $C^*$-algebra and a exact $C^*$-algebra is again strongly purely infinite. Our results also yield a sufficient criterion for the strong pure infiniteness of crossed products $Artimes_varphi mathbb{N}$ by an endomorphism $varphi$ of $A$ (cf. Theorem 7.6). Our work confirms that the special class of nuclear Cuntz-Pimsner algebras constructed by Harnisch and the first named author consist of strongly purely infinite $C^*$-algebras, and thus absorb $mathcal{O}_infty$ tensorially.
rate research
Read More
We prove that if A is a sigma-unital exact C*-algebra of real rank zero, then every state on K_0(A) is induced by a 2-quasitrace on A. This yields a generalisation of Rainones work on pure infiniteness and stable finiteness of crossed products to the non-unital case. It also applies to k-graph algebras associated to row-finite k-graphs with no sources. We show that for any k-graph whose C*-algebra is unital and simple, either every twisted C*-algebra associated to that k-graph is stably finite, or every twisted C*-algebra associated to that k-graph is purely infinite. Finally we provide sufficient and necessary conditions for a unital simple k-graph algebra to be purely infinite in terms of the underlying k-graph.
We consider families of E_0-semigroups continuously parametrized by a compact Hausdorff space, which are cocycle-equivalent to a given E_0-semigroup beta. When the gauge group of $beta$ is a Lie group, we establish a correspondence between such families and principal bundles whose structure group is the gauge group of beta.
We make two contributions to the study of polite combination in satisfiability modulo theories. The first contribution is a separation between politeness and strong politeness, by presenting a polite theory that is not strongly polite. This result shows that proving strong politeness (which is often harder than proving politeness) is sometimes needed in order to use polite combination. The second contribution is an optimization to the polite combination method, obtained by borrowing from the Nelson-Oppen method. In its non-deterministic form, the Nelson-Oppen method is based on guessing arrangements over shared variables. In contrast, polite combination requires an arrangement over emph{all} variables of the shared sort (not just the shared variables). We show that when using polite combination, if the other theory is stably infinite with respect to a shared sort, only the shared variables of that sort need be considered in arrangements, as in the Nelson-Oppen method. Reasoning about arrangements of variables is exponential in the worst case, so reducing the number of variables that are considered has the potential to improve performance significantly. We show preliminary evidence for this in practice by demonstrating a speed-up on a smart contract verification benchmark.
The notion of strong 1-boundedness for finite von Neumann algebras was introduced by Jung. This framework provided a free probabilistic approach to study rigidity properties and classification of finite von Neumann algebras. In this paper, we prove that tracial von Neumann algebras with a finite Kazhdan set are strongly 1-bounded. This includes all Property (T) von Neumann algebras with finite dimensional center and group von Neumann algebras of Property (T) groups. This result generalizes all the previous results in this direction due to Voiculescu, Ge, Ge-Shen, Connes-Shlyakhtenko, Jung-Shlyakhtenko, Jung, and Shlyakhtenko. We also give a new proof of a result of Shlyakhtenko which states that if $G$ is a sofic, finitely presented group with vanishing first $ell^2$-Betti number, then $L(G)$ is strongly 1-bounded. Our proofs are based on analysis of covering estimates of microstate spaces using an iteration technique in the spirit of Jung.
We introduce a Morita type equivalence: two operator algebras $A$ and $B$ are called strongly $Delta $-equivalent if they have completely isometric representations $alpha $ and $beta $ respectively and there exists a ternary ring of operators $M$ such that $alpha (A)$ (resp. $beta (B)$) is equal to the norm closure of the linear span of the set $M^*beta (B)M, $ (resp. $Malpha (A)M^*$). We study the properties of this equivalence. We prove that if two operator algebras $A$ and $B,$ possessing countable approximate identities, are strongly $Delta $-equivalent, then the operator algebras $Aotimes cl K$ and $Botimes cl K$ are isomorphic. Here $cl K$ is the set of compact operators on an infinite dimensional separable Hilbert space and $otimes $ is the spatial tensor product. Conversely, if $Aotimes cl K$ and $Botimes cl K$ are isomorphic and $A, B$ possess contractive approximate identities then $A$ and $B$ are strongly $Delta $-equivalent.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
