Search arXiv⌕ Search

arXiv subjects

Jonathan H. Brown

Publications and source records attributed to Jonathan H. Brown.

17 recordsLinked to original sources
arXiv2026

Regular ideals, Ideal Intersections and Quotients II

Let $B \subseteq A$ be a regular inclusion of C*-algebras satisfying the ideal intersection property and with a faithful invariant pseudo-expectation. A complete description of the regular ideals of $A$ is given using the invariant regular ideals of $B$ and the pseudo-expectation. Further, necessary and sufficient conditions are given for a quotient by a regular ideal to preserve the faithful unique pseudo-expectation property. Special attention is given throughout to pseudo-Cartan inclusions, i.e. regular inclusions with the faithful unique pseudo-expectation property, equivalently, having a Cartan envelope. We show that the quotient of a pseudo-Cartan inclusion by a regular ideal is again a pseudo-Cartan inclusion, and we describe the Cartan envelope of the quotient.

math.OA↗
arXiv2024

Intermediate Subalgebras of Cartan embeddings in rings and C*-algebras

Let $D \subseteq A$ be a quasi-Cartan pair of algebras. Then there exists a unique discrete groupoid twist $Σ\to G$ whose twisted Steinberg algebra is isomorphic to $A$ in a way that preserves $D$. In this paper, we show there is a lattice isomorphism between wide open subgroupoids of $G$ and subalgebras $C$ such that $D\subseteq C\subseteq A$ and $D \subseteq C$ is a quasi-Cartan pair. We also characterise which algebraic diagonal/algebraic Cartan/quasi-Cartan pairs have the property that every subalgebra $C$ with $D\subseteq C\subseteq A$ has $D \subseteq C$ a diagonal/Cartan/quasi-Cartan pair. In the diagonal case, when the coefficient ring is a field, it is all of them. Beyond that, only pairs that are close to being diagonal have this property. We then apply our techniques to C*-algebraic inclusions and give a complete characterization of which Cartan pairs $D \subseteq A$ have the property that every C*-subalgebra $C$ with $D\subseteq C\subseteq A$ has $D \subseteq C$ a Cartan pair.

math.RA↗
arXiv2023

Regular ideals, ideal intersections, and quotients

Let $B \subseteq A$ be an inclusion of C$^*$-algebras. We study the relationship between the regular ideals of $B$ and regular ideals of $A$. We show that if $B \subseteq A$ is a regular C$^*$-inclusion and there is a faithful invariant conditional expectation from $A$ onto $B$, then there is an isomorphism between the lattice of regular ideals of $A$ and invariant regular ideals of $B$. We study properties of inclusions preserved under quotients by regular ideals. This includes showing that if $D \subseteq A$ is a Cartan inclusion and $J$ is a regular ideal in $A$, then $D/(J\cap D)$ is a Cartan subalgebra of $A/J$. We provide a description of regular ideals in reduced crossed products $A \rtimes_r Γ$.

math.OA↗
arXiv2023

The local bisection hypothesis for twisted groupoid C*-algebras

In this note, we present criteria that are equivalent to a locally compact Hausdorff groupoid $G$ being effective. One of these conditions is that $G$ satisfies the "C*-algebraic local bisection hypothesis"; that is, that every normaliser in the reduced twisted groupoid C*-algebra is supported on an open bisection. The semigroup of normalisers plays a fundamental role in our proof, as does the semigroup of normalisers in cyclic group C*-algebras.

math.OA↗
arXiv2023

Nontraditional models of $Γ$-Cartan pairs

This paper explores the tension between multiple models and rigidity for groupoid $C^*$-algebras. We begin by identifying $Γ$-Cartan subalgebras $D$ inside twisted groupoid $C^*$-algebras $C^*_r(G, ω)$, using similar techniques to those developed in [DGN$^+$20]. When $D \not= C_0(G^{(0)})$, [BFPR21, Theorem 4.19] then gives another groupoid $H$, and a twist $Σ$ over $H$, so that $D \cong C_0(H^{(0)})$ and $C^*_r(G, ω) \cong C^*_r(H; Σ)$. However, there is a close relationship between $G$ and $H$. In addition to showing how to construct $H$ and $Σ$ in terms of $G$ and $ω$, we also show how to reconstruct $G$ from $H$ if we assume the 2-cocycle $ω$ is trivial. This latter construction involves a new type of twisting datum, which may be of independent interest.

math.OA↗
arXiv2020

Regular ideals of graph algebras

Let $C^*(E)$ be the graph C$^*$-algebra of a row-finite graph $E$. We give a complete description of the vertex sets of the gauge-invariant regular ideals of $C^*(E)$. It is shown that when $E$ satisfies Condition (L) the regular ideals $C^*(E)$ are a class of gauge-invariant ideals which preserve Condition (L) under quotients. That is, we show that if $E$ satisfies Condition (L) then a regular ideal $J \unlhd C^*(E)$ is necessarily gauge-invariant. Further, if $J \unlhd C^*(E)$ is a regular ideal, it is shown that $C^*(E)/J \simeq C^*(F)$ where $F$ satisfies Condition (L).

math.OA↗
arXiv2020

Dense subalgebras of purely infinite simple groupoid C*-algebras

A simple Steinberg algebra associated to an ample Hausdorff groupoid $G$ is algebraically purely infinite if and only if the characteristic functions of compact open subsets of the unit space are infinite idempotents. If a simple Steinberg algebra is algebraically purely infinite, then the reduced groupoid $C^*$-algebra $C^*_r(G)$ is simple and purely infinite. But the Steinberg algebra seems to small for the converse to hold. For this purpose we introduce an intermediate $*$-algebra $B(G)$ constructed using corners $1_U C^*_r(G) 1_U$ for all compact open subsets $U$ of the unit space of the groupoid. We then show that if $G$ is minimal and effective, then $B(G)$ is algebraically properly infinite if and only if $C^*_r(G)$ is purely infinite simple. We apply our results to the algebras of higher-rank graphs.

math.OA↗
arXiv2019

Intermediate C*-algebras of Cartan Embeddings

Let $A$ be a C$^*$-algebra and let $D$ be a Cartan subalgebra of $A$. We study the following question: if $B$ is a C$^*$-algebra such that $D \subseteq B \subseteq A$, is $D$ a Cartan subalgebra of $B$? We give a positive answer in two cases: the case when there is a faithful conditional expectation from $A$ onto $B$, and the case when $A$ is nuclear and $D$ is a C$^*$-diagonal of $A$. In both cases there is a one-to-one correspondence between the intermediate C$^*$-algebras $B$, and a class of open subgroupoids of the groupoid $G$, where $Σ\rightarrow G$ is the twist associated with the embedding $D \subseteq A$.

math.OA↗
arXiv2016

Cartan subalgebras in C*-algebras of Hausdorff etale groupoids

The reduced $C^*$-algebra of the interior of the isotropy in any Hausdorff étale groupoid $G$ embeds as a $C^*$-subalgebra $M$ of the reduced $C^*$-algebra of $G$. We prove that the set of pure states of $M$ with unique extension is dense, and deduce that any representation of the reduced $C^*$-algebra of $G$ that is injective on $M$ is faithful. We prove that there is a conditional expectation from the reduced $C^*$-algebra of $G$ onto $M$ if and only if the interior of the isotropy in $G$ is closed. Using this, we prove that when the interior of the isotropy is abelian and closed, $M$ is a Cartan subalgebra. We prove that for a large class of groupoids $G$ with abelian isotropy---including all Deaconu--Renault groupoids associated to discrete abelian groups---$M$ is a maximal abelian subalgebra. In the specific case of $k$-graph groupoids, we deduce that $M$ is always maximal abelian, but show by example that it is not always Cartan.

math.OA↗
arXiv2016

Purely infinite simple C*-algebras that are principal groupoid C*-algebras

From a suitable groupoid G, we show how to construct an amenable principal groupoid whose C*-algebra is a Kirchberg algebra which is KK-equivalent to C*(G). Using this construction, we show by example that many UCT Kirchberg algebras can be realised as the C*-algebras of amenable principal groupoids.

math.OA↗
arXiv2014

Discrete Conduche Fibrations and C*-algebras

The higher rank graphs of Kumjian and Pask are discrete Conduche fibrations over the monoid of k-tuples of natural numbers for some k in which every morphism in the base has a finite preimage under the the fibration. We examine the generalization of this construction to discrete Conduche fibrations with the same finiteness condition and a lifting property for completions of cospans to commutative squares, over any category satisfying a strong version of the right Ore condition, including all categories with pullbacks and right Ore categories in which all morphisms are monic.

math.OA↗
arXiv2013

Simplicity of algebras associated to étale groupoids

We prove that the C*-algebra of a second-countable, étale, amenable groupoid is simple if and only if the groupoid is topologically principal and minimal. We also show that if G has totally disconnected unit space, then the associated complex *-algebra introduced by Steinberg is simple if and only if the interior of the isotropy subgroupoid of G is equal to the unit space and G is minimal.

math.OA↗
arXiv2013

A generalized Cuntz-Krieger uniqueness theorem for higher rank graphs

We present a uniqueness theorem for k-graph C*-algebras that requires neither an aperiodicity nor a gauge invariance assumption. Specifically, we prove that for the injectivity of a representation of a k-graph C*-algebra, it is sufficient that the representation be injective on a distinguished abelian C*-subalgebra. A crucial part of the proof is the application of an abstract uniqueness theorem, which says that such a uniqueness property follows from the existence of a jointly faithful collection of states on the ambient C*-algebra, each of which is the unique extension of a state on the distinguished abelian C*-subalgebra.

math.OA↗
arXiv2012

The socle and semisimplicity of a Kumjian-Pask algebra

The Kumjian-Pask algebra KP(Λ) is a graded algebra associated to a higher-rank graph Λand is a generalization of the Leavitt path algebra of a directed graph. We analyze the minimal left-ideals of KP(Λ), and identify its socle as a graded ideal by describing its generators in terms of a subset of vertices of the graph. We characterize when KP(Λ) is semisimple, and obtain a complete structure theorem for a semisimple Kumjian-Pask algebra.

math.RA↗