arXiv subjects

Bruce Blackadar

Publications and source records attributed to Bruce Blackadar.

11 recordsLinked to original sources

arXiv2026

Set-theoretic absoluteness for analysts and separable \cstar-algebras without Choice

Basic theory of separable C*-algebras can be developed without the Axiom of Choice, and it does not depend on the Continuum Hypothesis, Martin's Axiom, and other standard set-theoretic assumptions. This can be proved in two ways. First, by showing that the standard proofs do not require Choice. Second, by utilizing set-theoretic absoluteness theorems. We provide an introduction to projective complexity and absoluteness for analysts. We also give some limiting examples consistent with ZF, such as a commutative \cstar-algebra concretely represented on a Hilbert space but not isomorphic to $C(X)$ for any compact Hausdorff space $X$ and whose state space is not compact and has no extreme points.

math.OA↗

arXiv2024

The Space of Tracial States on a C$^*$-Algebra

We give a simple and elementary proof that the tracial state space of a unital C$^*$-algebra is a Choquet simplex, using the center-valued trace on a finite von Neumann algebra.

math.OA↗

arXiv2023

Hilbert Spaces Without Countable AC

This article examines Hilbert spaces constructed from sets whose existence is incompatible with the Countable Axiom of Choice (CC). Our point of view is twofold: (1) We examine what can and cannot be said about Hilbert spaces and operators on them in ZF set theory without any assumptions of Choice axioms, even the CC. (2) We view Hilbert spaces as ``quantized'' sets and obtain some set-theoretic results from associated Hilbert spaces.

math.LO↗

arXiv2018

A bump in the road in elementary topology

We observe a subtle and apparently generally unnoticed difficulty with the definition of the relative topology on a subset of a topological space, and with the weak topology defined by a function.

math.GN↗

arXiv2015

Lifting Commutation Relations in Cuntz Algebras

We examine splitting of the quotient map from the full free product $A*B$, or the unital free product $A*_{\mathbb C}B$, to the (maximal) tensor product $A\otimes B$, for unital C*-algebras $A$ and $B$. Such a splitting is very rare, but we show there is one if $A$ and $B$ are both the Cuntz algebra $O_2$ or $O_\infty$, and in a few other cases. The splitting is not explicit (and in principle probably cannot be). We also describe severe $K$-theoretic obstructions to a splitting.

math.OA↗

arXiv2015

A General Implicit/Inverse Function Theorem

The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized version.

math.CA↗

arXiv2015

A Family of Mutually Nonhomeomorphic Separable Contractible 2-Manifolds of Cardinality $2^{2^{\aleph_0}}$

We describe a family of open subsets $M_A$ of the Moore plane, one for each subset $A$ of $\mathbb{R}$. Each of these subsets is a separable contractible (Hausdorff) 2-manifold, which is nonmetrizable if $A$ is uncountable. The collection $\{M_A:A\subseteq\mathbb{R}\}$ contains $2^{2^{\aleph_0}}$ distinct homeomorphism classes.

math.GN↗

arXiv2015

The homotopy lifting theorem for semiprojective C*-algebras

We prove a complete analog of the Borsuk Homotopy Extension Theorem for arbitrary semiprojective C*-algebras. We also obtain some other results about semiprojective C*-algebras: a partial lifting theorem with specified quotient, a lifting result for homomorphisms close to a liftable homomorphism, and that sufficiently close homomorphisms from a semiprojective C*-algebra are homotopic.

math.OA↗

arXiv2012

Extending continuous functions

We examine conditions on a (compact metrizable) space $X$ such that for any space $Y$ and closed subspace $Z$, the set of continuous functions from $Z$ to $X$ which extend to $Y$ is either open or closed in the set of continuous functions from $Z$ to $X$ in the uniform topology.

math.GN↗

arXiv2010

An algebraic approach to the radius of comparison

The radius of comparison is an invariant for unital C*-algebras which extends the theory of covering dimension to noncommutative spaces. We extend its definition to general C*-algebras, and give an algebraic (as opposed to functional-theoretic) reformulation. This yields new permanence properties for the radius of comparison which strengthen its analogy with covering dimension for commutative spaces. We then give several applications of these results. New examples of C*-algebras with finite radius of comparison are given, and the question of when the Cuntz classes of finitely generated Hilbert modules form a hereditary subset of the Cuntz semigroup is addressed. Most interestingly, perhaps, we treat the question of when a full hereditary subalgebra B of a stable C*-algebra A is itself stable, giving a characterization in terms of the radius of comparison. We also use the radius of comparison to quantify the least n for which a C*-algebra D without bounded 2-quasitraces or unital quotients has the property that M_n(D) is stable.

math.OA↗

arXiv2007

Irreducible representations of inner quasidiagonal C*-algebras

It is shown that a separable C*-algebra is inner quasidiagonal if and only if it has a separating family of quasidiagonal irreducible representations. As a consequence, a separable C*-algebra is a strong NF algebra if and only if it is nuclear and has a separating family of quasidiagonal irreducible representations. We also obtain some permanence properties of the class of inner quasidiagonal C*-algebras.

math.OA↗