Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0309394

Free Semigroupoid Algebras

David W. Kribs·Stephen C. Power
View original source ↗Read source document ↗Export metadata ↓

Abstract

Every countable directed graph generates a Fock space Hilbert space and a family of partial isometries. These operators also arise from the left regular representations of free semigroupoids derived from directed graphs. We develop a structure theory for the weak operator topology closed algebras generated by these representations, which we call free semigroupoid algebras. We characterize semisimplicity in terms of the graph and show explicitly in the case of finite graphs how the Jacobson radical is determined. We provide a diverse collection of examples including; algebras with free behaviour, and examples which can be represented as matrix function algebras. We show how these algebras can be presented and decomposed in terms of amalgamated free products. We determine the commutant, consider invariant subspaces, obtain a Beurling theorem for them, conduct an eigenvalue analysis, give an elementary proof of reflexivity, and discuss hyper-reflexivity. Our main theorem shows the graph to be a complete unitary invariant for the algebra. This classification theorem makes use of an analysis of unitarily implemented automorphisms. We give a graph-theoretic description of when these algebras are partly free, in the sense that they contain a copy of a free semigroup algebra.

Explore related subjects

math.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David W. Kribs, Stephen C. Power. 2004-06-06. Free Semigroupoid Algebras. https://arxiv.org/abs/math/0309394

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

KEEP EXPLORING

Related papers

arXiv2026

The e-Property for Quantum Markov Semigroups

Let $(\mathcal{T}_t)_{t\geqslant0}$ be a quantum Markov semigroup on a von Neumann algebra and let $\mathcal{A}$ be an invariant Feller $C^*$-algebra. We formulate the $e$-property on the full state space and show that its quantitative defect is equivalent, within an optimal factor two, to the Hausdorff measure of non-compactness of observable orbits. We develop Cesàro and Lip-norm criteria and a generalised Doeblin minorisation by a state-space contracting positive map, including finite-dimensional and measure-prepare factorisations. When every observable has the $e$-property, the Jacobs--de Leeuw--Glicksberg decomposition identifies the reversible Choi--Effros algebra and the norm-stable sector. Expected and decoherence-free subalgebras transfer the property under norm decay of the complementary dynamics, including infinite-dimensional ultracontractive and finite-index Pimsner--Popa regimes. Finally, we establish the full comparison hierarchy among ordinary, eventual, Cesàro and pointwise eventual equicontinuity notions, reinforced by matrix Jamison and homoclinic flow counterexamples. Projection-face criteria are treated in a companion paper.

math.OA↗
arXiv2026

Geometric Aspects of $C^*$-Extreme Points II

Building on the results of \cite{HR}, we investigate the relationship between \(C^*\)-extremality and linear extremality in the closed unit balls of general unital \(C^*\)-algebras. We show that, unlike in von Neumann algebras, these two notions of extremality need not coincide in general \(C^*\)-algebras. More precisely, we prove that the unilateral shift is a linear extreme point, but not a \(C^*\)-extreme point, of the closed unit ball of the Toeplitz \(C^*\)-algebra. We further establish that \(C^*\)-extremality implies linear extremality whenever the \(C^*\)-algebra admits a faithful unital representation on a separable Hilbert space. We also prove this implication for elements admitting a factorization $x=v|x|$, where $v$ is a partial isometry belonging to the algebra, and extend the result to suitable quotient \(C^*\)-algebras, including the Calkin algebra. Finally, we characterize the linear extreme points of the closed unit ball of unital \(C^*\)-subalgebras of \(B(H)\) containing the compact operators.

math.OA↗
arXiv2026

Every classifiable simple C*-algebra has a C*-diagonal

We construct C*-diagonals in all UCT Kirchberg algebras. Together with known constructions of C*-diagonals in the stably finite setting by Xin Li, this shows that every classifiable C*-algebra (in the sense of the Elliott classification programme) has a C*-diagonal. In fact, we show that every UCT Kirchberg algebra admits an untwisted principal étale groupoid model with a finite-dimensional unit space.

math.OA↗