Searcharxiv⌕ Search

arXiv · math/9911133

Geometry of oblique projections

Abstract

Let A be a unital C*-algebra. Denote by P the space of selfadjoint projections of A. We study the relationship between P and the spaces of projections P_a determined by the different involutions #_a induced by positive invertible elements a in A. The maps f_p: P \to P_a sending p to the unique q in P_a with the same range as p and Ω_a: P_a \to P sending q to the unitary part of the polar decomposition of the symmetry 2q-1 are shown to be diffeomorphisms. We characterize the pairs of idempotents q, r in A with |q-r|<1 such that there exists a positive element a in A verifying that q, r are in P_a. In this case q and r can be joined by an unique short geodesic along the space of idempotents Q of A.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

E. Andruchow, G. Corach, D. Stojanoff. 1999-11-18. Geometry of oblique projections. https://arxiv.org/abs/math/9911133

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

KEEP EXPLORING

Related papers

Property (T) group factors whose Jones index set equals all positive integers

Using a mélange of techniques at the rich intersection of deformation/rigidity theory, finite index subfactor theory, and geometric group theory, we prove the existence of a continuum of property (T) factors that are pairwise non-stably isomorphic and whose Jones index sets consist of all positive integers. These factors are realized as group von Neumann algebras $\mathcal{L}(G)$ associated with property (T) generalized wreath-like product groups $G \in \mathscr{WR}(A, B \curvearrowright I)$ introduced in [CIOS23b], where $A$ is abelian, $B$ is a non-parabolic subgroup of a relatively hyperbolic group with residually finite peripheral structure, and $B \curvearrowright I$ is a faithful action with infinite orbits. Integer index subfactors of $\mathcal{L}(G)$ are constructed from extensions of $G$. This result advances an open question of P. de la Harpe [dlH95].

math.OA↗

Algebraic topology of $C^*$-algebras

Any $C^*$-algebra can be regarded as a generalization of locally compact, Hausdorff topological space $\mathcal X$. From the commutative Gelfand-Na\uımark theorem it follows that the spectrum of any commutative $C^*$-algebra is a locally compact, Hausdorff space which have the exact information about the $C^*$-algebra. Here we consider a Gelfand spaces of $C^*$-algebras which can be regarded as a generalization of the spectrum. In case of commutative $C^*$-algebras the Gelfand space coincides with the spectrum. Generally Gelfand spaces are not Hausdorff and provide more detailed information of noncommutative $C^*$-algebras. Usage of Gelfand spaces of $C^*$-algebra enables us to define some $C^*$-algebraic analogs of several notions of the classical algebraic topology, e.g. fundamental group, cohomology, multiplicative structure of $K$-theory and Adams operations. Application of the Gelfand spaces yields a generalization of Dixmier-Douady theory. Also Gelfand space provides interoperability between topological invariants and quantum logic.

math.OA↗

UCP Maps on Finite Toeplitz Systems

We study unital completely positive (UCP) maps on the finite Toeplitz operator system $\mathcal T_d$ of $d \times d$ Toeplitz matrices. We give an explicit characterization of pure UCP maps on $\mathcal T_d$ taking values in $M_n$ in terms of positive $n\times n$ matrix-valued trigonometric polynomials of degree at most $d-1$. This characterization yields a checkable criterion for deciding whether a given UCP map is pure. As an application, we prove that every pure UCP map on $\mathcal T_d$ has a unique completely positive extension to the generated $C^*$-algebra.

math.OA↗