Searcharxiv⌕ Search

arXiv · math/0506627

Coordinate Systems and Bounded Isomorphisms for Triangular Algebras

Abstract

For a Banach D-bimodule M over an abelian unital C*-algebra D, we define E(M) as the collection of norm-one eigenvectors for the dual action of D on the Banach space dual of M. Equip E(M) with the weak-* topology. We develop general properties of E(M). It is properly viewed as a coordinate system for M when M is a subset of C, where C is a unital C*-algebra containing D as a regular MASA with the extension property; moreover, E(C) coincides with Kumjian's twist in the context of C*-diagonals. We identify the C*-envelope of a subalgebra A of a C*-diagonal which contains D. For triangular subalgebras, each containing the MASA, a bounded isomorphism induces an algebraic isomorphism of the coordinate systems which can be shown to be continuous in certain cases. For subalgebras, each containing the MASA, a bounded isomorphism that maps one MASA to the other MASA induces an isomorphism of the coordinate systems. We show that the weak operator closure of the image of a triangular algebra in an appropriate representation is a CSL algebra and that bounded isomorphism of triangular algebras extends to an isomorphism of these CSL algebras. We prove that for triangular algebras in our context, any bounded isomorphism is completely bounded. Our methods simplify and extend various known results; for example, isometric isomorphisms of the triangular algebras extend to isometric isomorphisms of the C*-envelopes, and the conditional expectation E of C onto D is multiplicative when restricted to a triangular subalgebra. Also, we use our methods to prove that the inductive limit of C*-diagonals with regular connecting maps is again a C*-diagonal.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Allan P. Donsig, David R. Pitts. 2005-06-30. Coordinate Systems and Bounded Isomorphisms for Triangular Algebras. https://arxiv.org/abs/math/0506627

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

KEEP EXPLORING

Related papers

The e-Property for Quantum Markov Semigroups

Let $(\mathcal{T}_t)_{t\geqslant0}$ be a quantum Markov semigroup on a von Neumann algebra and let $\mathcal{A}$ be an invariant Feller $C^*$-algebra. We formulate the $e$-property on the full state space and show that its quantitative defect is equivalent, within an optimal factor two, to the Hausdorff measure of non-compactness of observable orbits. We develop Cesàro and Lip-norm criteria and a generalised Doeblin minorisation by a state-space contracting positive map, including finite-dimensional and measure-prepare factorisations. When every observable has the $e$-property, the Jacobs--de Leeuw--Glicksberg decomposition identifies the reversible Choi--Effros algebra and the norm-stable sector. Expected and decoherence-free subalgebras transfer the property under norm decay of the complementary dynamics, including infinite-dimensional ultracontractive and finite-index Pimsner--Popa regimes. Finally, we establish the full comparison hierarchy among ordinary, eventual, Cesàro and pointwise eventual equicontinuity notions, reinforced by matrix Jamison and homoclinic flow counterexamples. Projection-face criteria are treated in a companion paper.

math.OA↗

Geometric Aspects of $C^*$-Extreme Points II

Building on the results of \cite{HR}, we investigate the relationship between \(C^*\)-extremality and linear extremality in the closed unit balls of general unital \(C^*\)-algebras. We show that, unlike in von Neumann algebras, these two notions of extremality need not coincide in general \(C^*\)-algebras. More precisely, we prove that the unilateral shift is a linear extreme point, but not a \(C^*\)-extreme point, of the closed unit ball of the Toeplitz \(C^*\)-algebra. We further establish that \(C^*\)-extremality implies linear extremality whenever the \(C^*\)-algebra admits a faithful unital representation on a separable Hilbert space. We also prove this implication for elements admitting a factorization $x=v|x|$, where $v$ is a partial isometry belonging to the algebra, and extend the result to suitable quotient \(C^*\)-algebras, including the Calkin algebra. Finally, we characterize the linear extreme points of the closed unit ball of unital \(C^*\)-subalgebras of \(B(H)\) containing the compact operators.

math.OA↗

Every classifiable simple C*-algebra has a C*-diagonal

We construct C*-diagonals in all UCT Kirchberg algebras. Together with known constructions of C*-diagonals in the stably finite setting by Xin Li, this shows that every classifiable C*-algebra (in the sense of the Elliott classification programme) has a C*-diagonal. In fact, we show that every UCT Kirchberg algebra admits an untwisted principal étale groupoid model with a finite-dimensional unit space.

math.OA↗