Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0704.1554

Properly infinite C(X)-algebras and K_1-injectivity

Etienne Blanchard·Randi Rohde·Mikael Rordam
View original source ↗Read source document ↗Export metadata ↓

Abstract

We investigate if a unital C(X)-algebra is properly infinite when all its fibres are properly infinite. We show that this question can be rephrased in several different ways, including the question if every unital properly infinite C*-algebra is K_1-injective. We provide partial answers to these questions, and we show that the general question on proper infiniteness of C(X)-algebras can be reduced to establishing proper infiniteness of a specific C([0,1])-algebra with properly infinite fibres.

Explore related subjects

math.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Etienne Blanchard, Randi Rohde, Mikael Rordam. 2007-04-12. Properly infinite C(X)-algebras and K_1-injectivity. https://arxiv.org/abs/0704.1554

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

KEEP EXPLORING

Related papers

arXiv2026

W*-correlations of II$_1$ factors and rigidity of tensor products and graph products

A variant of Gromov's notion of measure equivalence for groups has been introduced for II$_1$ factors under different names. We propose the terminology of W*-correlated II$_1$ factors. We prove rigidity results up to W*-correlations for tensor products and graph products of II$_1$ factors. As a consequence, we construct the first uncountable family of discrete groups $Γ$ that are not von Neumann equivalent, which means that their group von Neumann algebras $L(Γ)$ are not W*-correlated, and which implies that these groups are neither measure equivalent, nor have isomorphic or virtually isomorphic group von Neumann algebras.

math.OA↗
arXiv2026

Distances Between von Neumann Subalgebras: Spin Models, Commuting Squares, and Free Group Factors

We investigate the relative position of von Neumann subalgebras through their Mashood--Taylor ($\mathrm{d}_{\mathrm{MT}}$) and Kadison--Kastler ($\mathrm{d}_{\mathrm{KK}}$) distances, together with the interior angle. For each $n\in\mathbb{N}$, we show that the hyperfinite $\mathrm{II}_1$-factor $\mathscr{R}$ contains an uncountable family of pairwise distinct regular $n\times n$ spin model subfactors. In particular, we obtain a continuous family $(\mathscr{R}_{\mathsf{H}_α})_{α\in[0,π)}$ of $2\times2$ spin model subfactors satisfying \[ \mathrm{d}_{\mathrm{MT}}(\mathscr{R}_{\mathsf{H}_α},\mathscr{R}_{\mathsf{H}_β}) =|\sin(α-β)|. \] We prove that two such subfactors form a commuting square over their intersection if and only if they are maximally distant, i.e., $\mathrm{d}_{\mathrm{MT}}=1$. More generally, we establish structural results showing that commuting squares of $\mathrm{II}_1$-factors, under natural index conditions, force maximal distance, yielding $\mathrm{d}_{\mathrm{KK}}=1=\mathrm{d}_{\mathrm{MT}}$. We also show that two diffuse subalgebras orthogonal in the sense of Popa must be maximally distant. In contrast, no two members of $(\mathscr{R}_{\mathsf{H}_α})_{α\in[0,π)}$ are Popa-orthogonal. Nevertheless, whenever two are maximally distant, their interior angle over their intersection is $π/2$, demonstrating that interior-angle orthogonality differs from Popa orthogonality. Finally, in the free group factor $L(\mathbb{F}_2)=L(\langle a,b\rangle)$, we prove \[ \mathrm{d}_{\mathrm{MT}}(L(\langle a\rangle),uL(\langle a\rangle)u^*) =\sqrt{1-|τ(u)|^4} \] for $u\in L(\langle b\rangle)$, and construct maximally distant masas in $L(\mathbb{F}_2)$ that do not arise from subgroups of $\mathbb{F}_2$.

math.OA↗