Searcharxiv⌕ Search

arXiv subjects

Lisa Orloff Clark

Publications and source records attributed to Lisa Orloff Clark.

At least 55 records · Page 3Linked to original sources

Using Steinberg algebras to study decomposability of Leavitt path algebras

Given an arbitrary graph $E$ we investigate the relationship between $E$ and the groupoid $G_E$. We show that there is a lattice isomorphism between the lattice of pairs $(H, S)$, where $H$ is a hereditary and saturated set of vertices and $S$ is a set of breaking vertices {associated to $H $}, onto the lattice of open invariant subsets of $G_E^{(0)}$. We use this lattice isomorphism to characterize the decomposability of the Leavitt path algebra $L_K(E)$, where $K$ is a field. First we find a graph condition to characterise when an open invariant subset of $G_E^{(0)}$ is closed. Then we give both a graph condition and a groupoid condition each of which is equivalent to $L_K(E)$ being decomposable {in the sense that it can be written as a direct sum of two nonzero ideals}.

math.RA↗

The cycline subalgebra of a Kumjian-Pask algebra

Let $Λ$ be a row-finite higher-rank graph with no sources. We identify a maximal commutative subalgebra $\mathcal{M}$ inside the Kumjian-Pask algebra ${\rm KP}_R(Λ)$. We also prove a generalized Cuntz-Krieger uniqueness theorem for Kumjian-Pask algebras which says that a representation of ${\rm KP}_R(Λ)$ is injective if and only if it is injective on $\mathcal{M}$.

math.RA↗

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↗

Ideals of Steinberg algebras of strongly effective groupoids, with applications to Leavitt path algebras

We consider the ideal structure of Steinberg algebras over a commutative ring with identity. We focus on Hausdorff groupoids that are strongly effective in the sense that their reductions to closed subspaces of their unit spaces are all effective. For such a groupoid, we completely describe the ideal lattice of the associated Steinberg algebra over any commutative ring with identity. Our results are new even for the special case of Leavitt path algebras; so we describe explicitly what they say in this context, and give two concrete examples.

math.RA↗

Kumjian-Pask algebras of finitely-aligned higher-rank graphs

We extend the the definition of Kumjian-Pask algebras to include algebras associated to finitely aligned higher-rank graphs. We show that these Kumjian-Pask algebras are universally defined and have a graded uniqueness theorem. We also prove the Cuntz-Kreiger uniqueness theorem; to do this, we use a groupoid approach. As a consequence of the graded uniqueness theorem, we show that every Kumjian-Pask algebra is isomorphic to the Steinberg algebra associated to its boundary path groupoid. We then use Steinberg algebra results to prove the Cuntz-Kreiger uniqueness theorem and also to characterize simplicity and basic simplicity.

math.RA↗

Phase transitions on the Toeplitz algebras of Baumslag-Solitar semigroups

Spielberg has recently shown that Baumslag-Solitar groups associated to pairs of positive integers are quasi-lattice ordered in the sense of Nica. Thus they have tractable Toeplitz algebras. Each of these algebras carries a natural dynamics. Here we construct the equilibrium states (the KMS states) for these dynamics. For inverse temperatures larger than a critical value, there is a large simplex of KMS states parametrised by probability measures on the unit circle. At the critical value, and under a mild hypothesis, there is a phase transition in which this simplex collapses to a singleton. There is a further phase transition at infinity, in the sense that there are many ground states which cannot be realised as limits of KMS states with finite inverse temperatures.

math.OA↗

Uniqueness Theorems for Steinberg Algebras

We prove Cuntz-Krieger and graded uniqueness theorems for Steinberg algebras. We also show that a Steinberg algebra is basically simple if and only if its associated groupoid is both effective and minimal. Finally we use results of Steinberg to characterise the center of Steinberg algebras associated to minimal groupoids

math.RA↗

Purely infinite $C^*$-algebras associated to étale groupoids

Let $G$ be a Hausdorff, étale groupoid that is minimal and topologically principal. We show that $C^*_r(G)$ is purely infinite simple if and only if all the nonzero positive elements of $C_0(G^0)$ are infinite in $C_r^*(G)$. If $G$ is a Hausdorff, ample groupoid, then we show that $C^*_r(G)$ is purely infinite simple if and only if every nonzero projection in $C_0(G^0)$ is infinite in $C^*_r(G)$. We then show how this result applies to $k$-graph $C^*$-algebras. Finally, we investigate strongly purely infinite groupoid $C^*$-algebras.

math.OA↗

Equivalent groupoids have Morita equivalent Steinberg algebras

Let $G$ and $H$ be Hausdorff ample groupoids and let $R$ be a commutative unital ring. We show that if $G$ and $H$ are equivalent in the sense of Muhly-Renault-Williams, then the associated Steinberg algebras of locally constant $R$-valued functions with compact support are Morita equivalent. We deduce that collapsing a ``collapsible subgraph" of a directed graph in the sense of Crisp and Gow does not change the Morita-equivalence class of the associated Leavitt path $R$-algebra, and therefore a number of graphical constructions which yield Morita equivalent $C^*$-algebras also yield Morita equivalent Leavitt path algebras.

math.RA↗

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↗

Kumjian-Pask algebras of locally convex higher-rank graphs

The Kumjian-Pask algebra of a higher-rank graph generalises the Leavitt path algebra of a directed graph. We extend the definition of Kumjian-Pask algebra to row-finite higher-rank graphs $Λ$ with sources which satisfy a local-convexity condition. After proving versions of the graded-uniqueness theorem and the Cuntz-Krieger uniqueness theorem, we study the Kumjian-Pask algebra of rank-2 Bratteli diagrams by studying certain finite subgraphs which are locally convex. We show that the desourcification procedure of Farthing and Webster yields a row-finite higher-rank graph $\tildeΛ$ without sources such that the Kumjian-Pask algebras of $\tildeΛ$ and $Λ$ are Morita equivalent. We then use the Morita equivalence to study the ideal structure of the Kumjian-Pask algebra of $Λ$ by pulling the appropriate results across the equivalence.

math.RA↗

A groupoid formulation of the Baire Category Theorem

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.

math.GN↗

The equivalence relations of local homeomorphisms and Fell algebras

We study the groupoid C*-algebras associated to the equivalence relation induced by a quotient map on a locally compact Hausdorff space. This C*-algebra is always a Fell algebra, and if the quotient space is Hausdorff, it is a continuous-trace algebra. We show that the C*-algebra of a locally compact, Hausdorff and principal groupoid is a Fell algebra if and only if the groupoid is one of these relations, extending a theorem of Archbold and Somerset about etale groupoids. The C*-algebras of these relations are, up to Morita equivalence, precisely the Fell algebras with trivial Dixmier-Douady invariant as recently defined by an Huef, Kumjian and Sims. We use twisted groupoid algebras to provide examples of Fell algebras with non-trivial Dixmier-Douady invariant.

math.OA↗

The representation theory of C*-algebras associated to groupoids

Let E be a second-countable, locally compact, Hausdorff groupoid equipped with an action of T such that G:=E/T is a principal groupoid with Haar system λ. The twisted groupoid C*-algebra C*(E;G,λ) is a quotient of the C*-algebra of E obtained by completing the space of T-equivariant functions on E. We show that C*(E;G,λ) is postliminal if and only if the orbit space of G is T_0 and that C*(E;G, λ) is liminal if and only if the orbit space is T_1. We also show that C*(E;G, λ) has bounded trace if and only if G is integrable and that C*(E;G, λ) is a Fell algebra if and only if G is Cartan. Let \G be a second-countable, locally compact, Hausdorff groupoid with Haar system λand continuously varying, abelian isotropy groups. Let A be the isotropy groupoid and R := \G/A. Using the results about twisted groupoid C*-algebras, we show that the C*-algebra C*(\G, λ) has bounded trace if and only if R is integrable and that C*(\G, λ) is a Fell algebra if and only if R is Cartan. We illustrate our theorems with examples of groupoids associated to directed graphs.

math.OA↗

A groupoid generalization of Leavitt path algebras

Let G be a locally compact, Hausdorff groupoid in which s is a local homeomorphism and the unit space is totally disconnected. Assume there is a continuous cocycle c from G into a discrete group $Γ$. We show that the collection A(G) of locally-constant, compactly supported functions on G is a dense *-subalgebra of C_c(G) and that it is universal for algebraic representations of the collection of compact open bisections of G. We also show that if G is the groupoid associated to a row-finite graph or k-graph with no sources, then A(G) is isomorphic to the associated Leavitt path algebra or Kumjian-Pask algebra. We prove versions of the Cuntz-Krieger and graded uniqueness theorems for A(G).

math.RA↗

Entropy and Information Causality in General Probabilistic Theories

We investigate the concept of entropy in probabilistic theories more general than quantum mechanics, with particular reference to the notion of information causality recently proposed by Pawlowski et. al. (arXiv:0905.2992). We consider two entropic quantities, which we term measurement and mixing entropy. In classical and quantum theory, they are equal, being given by the Shannon and von Neumann entropies respectively; in general, however, they are very different. In particular, while measurement entropy is easily seen to be concave, mixing entropy need not be. In fact, as we show, mixing entropy is not concave whenever the state space is a non-simplicial polytope. Thus, the condition that measurement and mixing entropies coincide is a strong constraint on possible theories. We call theories with this property monoentropic. Measurement entropy is subadditive, but not in general strongly subadditive. Equivalently, if we define the mutual information between two systems A and B by the usual formula I(A:B) = H(A) + H(B) - H(AB) where H denotes the measurement entropy and AB is a non-signaling composite of A and B, then it can happen that I(A:BC) < I(A:B). This is relevant to information causality in the sense of Pawlowski et al.: we show that any monoentropic non-signaling theory in which measurement entropy is strongly subadditive, and also satisfies a version of the Holevo bound, is informationally causal, and on the other hand we observe that Popescu-Rohrlich boxes, which violate information causality, also violate strong subadditivity. We also explore the interplay between measurement and mixing entropy and various natural conditions on theories that arise in quantum axiomatics.

quant-ph↗

Principal groupoid C*-algebras with bounded trace

Suppose G is a second countable, locally compact, Hausdorff, principal groupoid with a fixed left Haar system. We define a notion of integrability for groupoids, and show G is integrable if and only if the groupoid C*-algebra C*(G) has bounded trace.

math.OA↗

CCR and GCR Groupoid C*-algebras

Suppose $G$ is a second countable, locally compact, Hausdorff groupoid with a fixed left Haar system. Let $\go/G$ denote the orbit space of $G$ and $C^*(G)$ denote the groupoid $C^*$-algebra. Suppose that the isotropy groups of $G$ are amenable. We show that $C^*(G)$ is CCR if and only if $\go/G$ is a $T_1$ topological space and all of the isotropy groups are CCR. We also show that $C^*(G)$ is GCR if and only if $\go/G$ is a $T_0$ topological space and all of the isotropy groups are GCR.

math.OA↗