arXiv Science⌕ Search

arXiv · 0704.1987

Pure inductive limit state and Kolmogorov's property

Abstract

Let $(\clb,λ_t,ψ)$ be a $C^*$-dynamical system where $(λ_t: t \in \IT_+)$ be a semigroup of injective endomorphism and $ψ$ be an $(λ_t)$ invariant state on the $C^*$ subalgebra $\clb$ and $\IT_+$ is either non-negative integers or real numbers. The central aim of this exposition is to find a useful criteria for the inductive limit state $\clb \raro^{λ_t} \clb$ canonically associated with $ψ$ to be pure. We achieve this by exploring the minimal weak forward and backward Markov processes associated with the Markov semigroup on the corner von-Neumann algebra of the support projection of the state $ψ$ to prove that Kolmogorov's property [Mo2] of the Markov semigroup is a sufficient condition for the inductive state to be pure. As an application of this criteria we find a sufficient condition for a translation invariant factor state on a one dimensional quantum spin chain to be pure. This criteria in a sense complements criteria obtained in [BJKW,Mo2] as we could go beyond lattice symmetric states.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anilesh Mohari. 2007-04-16. Pure inductive limit state and Kolmogorov's property. https://arxiv.org/abs/0704.1987

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Simplicity of reduced crossed products

We characterize the simplicity of reduced crossed product C*-algebras in terms of stabilizer subgroups. Specifically, we prove that if $G$ is a countable group and $X$ is a minimal $G$-flow, then the reduced crossed product C*-algebra $\mathrm{C}(X) \times_λG$ is simple if and only if there is a point in $X$ with a C*-simple stabilizer subgroup. Further, these conditions are equivalent to a generic point in $X$ having a C*-simple stabilizer subgroup. We also provide an example demonstrating that this result does not extend to uncountable groups. This completely resolves a question of Ozawa.

math.OA↗

$\mathrm{C}^*$-selflessness of vigorous groups

We prove that countable groups which admit a faithful piecewise minimal-extremely-proximal action on the Cantor set are $\mathrm{C}^*$-selfless. In particular, topological full groups of second countable, Hausdorff, minimal, purely infinite, topologically principal, ample groupoids with compact unit spaces are $\mathrm{C}^*$-selfless. Examples include the Higman--Thompson groups and the Brin--Thompson groups.

math.OA↗

A computable wandering and tracelike vector for modular orbits in the Bergman space

We construct a function $Φ$ such that the orbit under the representation of PSL(2,Z) is an orthonormal basis for the Bergman space with weight $α=12$. Moreover, we show that $Φ$ is effectively computable as a holomorphic function on the upper half-plane (in the precise sense of computable analysis), by providing an effective procedure. This constructs a wandering and tracelike vector for PSL(2,Z), whose abstract existence was proved by Sir Vaughan Jones in his last paper, where the corresponding construction was left as a problem. The function is built using an orthonormalization and modularization method, and it displays modular reminiscencies, despite not being modular itself. provides a computable implementing vector for the abstract anti-isomorphism between the von Neumann algebra $M_{12}(Γ)$ and its commutant, which is generated, in Rădulescu's sense, by cusp-form Toeplitz operators, while Voiculescu's results provide a random matrix model for $M_{12}(Γ)$.

math.OA↗