Showing 1–21 of 21 results for author: Brown, J H

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

Authors: Jonathan H. Brown, Lisa Orloff Clark, Adam H. Fuller

Abstract: 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 ch… ▽ More 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. △ Less

Submitted 24 November, 2024; originally announced November 2024.

Nontraditional models of $Γ$-Cartan pairs

Authors: Jonathan H. Brown, Elizabeth Gillaspy

Abstract: 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… ▽ More 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. △ Less

Submitted 12 September, 2023; originally announced September 2023.

MSC Class: 46L05; 22A22

The local bisection hypothesis for twisted groupoid C*-algebras

Authors: Becky Armstrong, Jonathan H. Brown, Lisa Orloff Clark, Kristin Courtney, Ying-Fen Lin, Kathryn McCormick, Jacqui Ramagge

Abstract: 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 sem… ▽ More 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. △ Less

Submitted 23 October, 2023; v1 submitted 25 July, 2023; originally announced July 2023.

Comments: 11 pages. This version matches the version in Semigroup Forum

MSC Class: 46L05 (primary); 22A22 (secondary)

Journal ref: Semigroup Forum (2023), 1--15

Regular ideals, ideal intersections, and quotients

Authors: Jonathan H. Brown, Adam H. Fuller, David R. Pitts, Sarah A. Reznikoff

Abstract: 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… ▽ More 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 Γ$. △ Less

Submitted 29 November, 2023; v1 submitted 21 August, 2022; originally announced August 2022.

Comments: 26 pages. Major revision on earlier version of the paper

MSC Class: 46L05

Regular ideals of graph algebras

Authors: Jonathan H. Brown, Adam H. Fuller, David R. Pitts, Sarah A. Reznikoff

Abstract: 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 id… ▽ More 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). △ Less

Submitted 30 May, 2020; originally announced June 2020.

Comments: 6 pages, 2 figures

MSC Class: 46L05; 05C20

Journal ref: Rocky Mountain J. Math. 52 (2022) 43-48

Intermediate C*-algebras of Cartan Embeddings

Authors: Jonathan H. Brown, Ruy Exel, Adam H. Fuller, David R. Pitts, Sarah A. Reznikoff

Abstract: 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 cas… ▽ More 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$. △ Less

Submitted 9 December, 2019; v1 submitted 8 December, 2019; originally announced December 2019.

Comments: 14 pages

Bundles of Generalized Fixed-Point Algebras for Proper Groupoid Dynamical Systems

Authors: Jonathan H. Brown, Leonard T. Huang

Abstract: In this paper, we show that the generalized fixed-point algebra of a proper groupoid dynamical system, under certain assumptions, may be fibered over any locally compact Hausdorff space to which a continuous map exists from the unit space of the underlying groupoid. We will also provide some important examples. In this paper, we show that the generalized fixed-point algebra of a proper groupoid dynamical system, under certain assumptions, may be fibered over any locally compact Hausdorff space to which a continuous map exists from the unit space of the underlying groupoid. We will also provide some important examples. △ Less

Submitted 21 April, 2018; originally announced April 2018.

Comments: 14 pages, no figures

MSC Class: Primary 20L05; 46L55; Secondary 22D25; 46L08

Dense subalgebras of purely infinite simple groupoid C*-algebras

Authors: Jonathan H. Brown, Lisa. O. Clark, Astrid an Huef

Abstract: 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 s… ▽ More 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. △ Less

Submitted 27 February, 2020; v1 submitted 17 August, 2017; originally announced August 2017.

Comments: To appear in Proceedings of the Edinburgh Mathematical Society. Minor corrections and updated references

Diagonal-preserving ring *-isomorphisms of Leavitt path algebras

Authors: Jonathan H. Brown, Lisa Orloff Clark, Astrid an Huef

Abstract: The graph groupoids of directed graphs are topologically isomorphic if and only if there is a diagonal-preserving ring *-isomorphism between the Leavitt path algebras. The graph groupoids of directed graphs are topologically isomorphic if and only if there is a diagonal-preserving ring *-isomorphism between the Leavitt path algebras. △ Less

Submitted 4 April, 2016; v1 submitted 18 October, 2015; originally announced October 2015.

Comments: We were able to remove a hypothesis from our main results. Previously, we needed the ring *-isomorphism to restrict to an algebra homomorphism on the diagonal

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

Authors: Jonathan H. Brown, Lisa Orloff Clark, Adam Sierakowski, Aidan Sims

Abstract: 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. 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. △ Less

Submitted 25 February, 2016; v1 submitted 19 April, 2015; originally announced April 2015.

Comments: 20 pages, 1 picture prepared using TikZ

MSC Class: 46L05

Cartan subalgebras in C*-algebras of Hausdorff etale groupoids

Authors: Jonathan H. Brown, Gabriel Nagy, Sarah Reznikoff, Aidan Sims, Dana P. Williams

Abstract: 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 fr… ▽ More 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. △ Less

Submitted 2 May, 2016; v1 submitted 11 March, 2015; originally announced March 2015.

Comments: 14 pages. v2: Theorem 3.1 in v1 incorrect (thanks to A. Kumjain for pointing out the error); v2 shows there is a conditional expectation onto $M$ iff the interior of the isotropy is closed. v3: Material (including some theorem statements) rearranged and shortened. Lemma~3.5 of v2 removed. This version published in Integral Equations and Operator Theory

MSC Class: 46L05

Discrete Conduche Fibrations and C*-algebras

Authors: Jonathan H. Brown, David N. Yetter

Abstract: 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… ▽ More 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. △ Less

Submitted 24 October, 2014; originally announced October 2014.

Comments: 29 pages, submitted to the Rocky Mountain Journal of Mathematics

A generalized Cuntz-Krieger uniqueness theorem for higher rank graphs

Authors: Jonathan H. Brown, Gabriel Nagy, Sarah Reznikoff

Abstract: 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,… ▽ More 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. △ Less

Submitted 2 July, 2013; originally announced July 2013.

Comments: 18 pages

MSC Class: 46L05; 46L30

A groupoid formulation of the Baire Category Theorem

Authors: Jonathan Henry Brown, Lisa Orloff Clark

Abstract: We prove that the Baire Category Theorem is equivalent to the following: Let G be a topological groupoid such that the unit space is a complete metric space, and there is a countable cover of G by neighbourhood bisections. If G is effective, then G is topologically principal. We prove that the Baire Category Theorem is equivalent to the following: Let G be a topological groupoid such that the unit space is a complete metric space, and there is a countable cover of G by neighbourhood bisections. If G is effective, then G is topologically principal. △ Less

Submitted 12 September, 2012; originally announced September 2012.

Comments: 6 pages

The center of a Kumjian-Pask algebra

Authors: Jonathan Henry Brown, Astrid an Huef

Abstract: The Kumjian-Pask algebras are path algebras associated to higher-rank graphs, and generalize the Leavitt path algebras. We study the center of simple Kumjian-Pask algebras and characterize commutative Kumjian-Pask algebras. The Kumjian-Pask algebras are path algebras associated to higher-rank graphs, and generalize the Leavitt path algebras. We study the center of simple Kumjian-Pask algebras and characterize commutative Kumjian-Pask algebras. △ Less

Submitted 12 September, 2012; originally announced September 2012.

Comments: 8 pages

Groupoid equivalence and the associated iterated crossed product

Authors: Jonathan Henry Brown, Geoff Goehle, Dana P. Williams

Abstract: Given groupoids $G$ and $H$ and a $(G,H)$-equivalence $X$ we may form the transformation groupoid $G\ltimes X\rtimes H$. Given a separable groupoid dynamical system $(A,G\ltimes X\rtimes H,ω)$ we may restrict $ω$ to an action of $G\ltimes X$ on $A$ and form the crossed product $A\rtimes G\ltimes X$. We show that there is an action of $H$ on $A\rtimes G\ltimes X$ and that the iterated crossed produ… ▽ More Given groupoids $G$ and $H$ and a $(G,H)$-equivalence $X$ we may form the transformation groupoid $G\ltimes X\rtimes H$. Given a separable groupoid dynamical system $(A,G\ltimes X\rtimes H,ω)$ we may restrict $ω$ to an action of $G\ltimes X$ on $A$ and form the crossed product $A\rtimes G\ltimes X$. We show that there is an action of $H$ on $A\rtimes G\ltimes X$ and that the iterated crossed product $(A\rtimes G\ltimes X)\rtimes H$ is naturally isomorphic to the crossed product $A\rtimes (G\ltimes X\rtimes H)$. △ Less

Submitted 24 July, 2012; v1 submitted 10 June, 2012; originally announced June 2012.

Comments: 18 pages; changed typo in title

MSC Class: 46L55; 47L65; 22A22

The Brauer Semigroup of a groupoid and a symmetric imprimitivity theorem

Authors: Jonathan Henry Brown, Geoff Goehle

Abstract: In this paper we define a monoid called the equivariant Brauer semigroup for a locally compact Hausdorff groupoid E whose elements consist of Morita equivalence classes of E-dynamical systems. This construction generalizes both the equivariant Brauer semigroup for transformation groups and the equivariant Brauer group for a groupoid. We show that groupoid equivalence induces an isomorphism of equi… ▽ More In this paper we define a monoid called the equivariant Brauer semigroup for a locally compact Hausdorff groupoid E whose elements consist of Morita equivalence classes of E-dynamical systems. This construction generalizes both the equivariant Brauer semigroup for transformation groups and the equivariant Brauer group for a groupoid. We show that groupoid equivalence induces an isomorphism of equivariant Brauer semigroups and that this isomorphism preserves the Morita equivalence classes of the respective crossedproducts, thus generalizing Raeburn's symmetric imprimitivity theorem. △ Less

Submitted 28 August, 2012; v1 submitted 10 June, 2012; originally announced June 2012.

Comments: 30 pages, minor changes in the wording of the introduction

Simplicity of algebras associated to étale groupoids

Authors: Jonathan H. Brown, Lisa Orloff Clark, Cynthia Farthing, Aidan Sims

Abstract: 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. 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. △ Less

Submitted 8 October, 2013; v1 submitted 13 April, 2012; originally announced April 2012.

Comments: The introduction has been updated and minor changes have been made throughout. To appear in Semigroup Forum

MSC Class: 46L05 (Primary); 16S99; 22A22 (Secondary)

The socle and semisimplicity of a Kumjian-Pask algebra

Authors: Jonathan H. Brown, Astrid an Huef

Abstract: 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 theor… ▽ More 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. △ Less

Submitted 31 January, 2012; v1 submitted 9 January, 2012; originally announced January 2012.

MSC Class: 16S10; 16W50; 16D70

Decomposing the C*-algebras of groupoid extensions

Authors: Jonathan H. Brown, Astrid an Huef

Abstract: We decompose the full and reduced C*-algebras of an extension of a groupoid by the circle into a direct sum of twisted groupoid C*-algebras. We decompose the full and reduced C*-algebras of an extension of a groupoid by the circle into a direct sum of twisted groupoid C*-algebras. △ Less

Submitted 8 May, 2012; v1 submitted 3 May, 2011; originally announced May 2011.

Comments: In previous version, Propositions 3.9 and 3.10 did not hold in stated generality (see Example 3.11). We fixed the statements of these propositions, shortened Lemma 3.8 and added Example 3.11. 14 pages AMS 2010 subject classification 46L55 46L05

Proper actions of groupoids on $C^*$-algebras

Authors: Jonathan Henry Brown

Abstract: In 1990, Rieffel defined a notion of proper action of a group $H$ on a $C^*$-algebra $A$. He then defined a generalized fixed point algebra $A^α$ for this action and showed that $A^α$ is Morita equivalent to an ideal of the reduced crossed product. We generalize Rieffel's notion to define proper groupoid dynamical systems and show that the generalized fixed point algebra for proper groupoid acti… ▽ More In 1990, Rieffel defined a notion of proper action of a group $H$ on a $C^*$-algebra $A$. He then defined a generalized fixed point algebra $A^α$ for this action and showed that $A^α$ is Morita equivalent to an ideal of the reduced crossed product. We generalize Rieffel's notion to define proper groupoid dynamical systems and show that the generalized fixed point algebra for proper groupoid actions is Morita equivalent to a subalgebra of the reduced crossed product. We give some nontrivial examples of proper groupoid dynamical systems and show that if $(\A, G, α)$ is a groupoid dynamical system such that $G$ is principal and proper, then the action of $G$ on $\A$ is saturated, that is the generalized fixed point algebra in Morita equivalent to the reduced crossed product. △ Less

Submitted 31 July, 2009; originally announced July 2009.

Comments: 25 pages

MSC Class: 46L05; 46L08