Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2211.10225

Generalized Orthogonal Measures on the Space of Unital Completely Positive Maps

Angshuman Bhattacharya·Chaitanya J. Kulkarni
View original source ↗Read source document ↗Export metadata ↓

Abstract

A classical result by Effros connects the barycentric decomposition of a state on a C*-algebra to the disintegration of the GNS representation of the state with respect to an orthogonal measure on the state space of the C*-algebra. In this note, we take this approach to the space of unital completely positive maps on a C*-algebra with values in B(H), connecting the barycentric decomposition of the unital completely positive map and the dis-integration of the minimal Stinespring dilation of the same. This generalizes Effros' work in the non-commutative setting. We do this by introducing a special class of barycentric measures which we call generalized orthogonal measures. We end this note by mentioning some examples of generalized orthogonal measures.

Explore related subjects

math.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Angshuman Bhattacharya, Chaitanya J. Kulkarni. 2023-12-06. Generalized Orthogonal Measures on the Space of Unital Completely Positive Maps. https://doi.org/10.1515/forum-2023-0330

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

$\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↗
arXiv2026

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↗