2025/11/11 by B. K. Kwaśniewski, Kwaśniewski, B. K., Alexander Mundey +1
Mathematics · #05E18 (Secondary) #20L05 #22A22 (Primary) 47L10 #Advanced Operator Algebra Research #Dynamical Systems (math.DS) #FOS: Mathematics #Functional Analysis (math.FA) #Operator Algebras (math.OA) #Random Matrices and Applications #Spectral Theory in Mathematical Physics
paper · pdf · doi:10.48550/arxiv.2511.07906
openalex publication_date 2025/11/11 · openalex created_date 2025/11/13 · openalex updated_date 2026/07/29
We study self-similar groupoid actions on arbitrary directed graphs together with \mathbbT-valued twists that exhaust the second cohomology group of the associated Zappa-Szép product category. We define and analyse the associated universal, reduced, and essential C^*-algebras, along with their Toeplitz versions and core subalgebras. In fact, we develop our theory in the more general setting of LP-operator algebras, where P⊆ [1,∞] is any non-empty set of parameters. This includes C^*-algebras, Lp-operator algebras and symmetrised Lp,*-operator algebras for p∈ [1,∞], as special cases. We use three complementary approaches: twisted inverse semigroups, twisted ample groupoids, and C^*-correspondences. We provide, in terms of the self-similar action, general characterisations of topological freeness, minimality, Hausdorffness, finite non-Hausdorffness, effectiveness, and local contractiveness for the associated ample groupoids. We generalise the classical Cuntz--Krieger Uniqueness and Coburn--Toeplitz Uniqueness Theorems for graph C^*-algebras to twisted LP-operator algebras of self-similar groupoid actions. We characterise when the natural inclusions are Cartan, give checkable criteria for simplicity and pure infiniteness of the essential algebras, and discuss when the universal and reduced algebras coincide. We also provide conditions that ensure the singular ideals vanish. Using the groupoid model we show that for any P⊆ [1,∞], the LP-operator algebra of a contracting self-similar action is simple if and only if the corresponding Steinberg algebra is simple. Using the Toeplitz-Pimsner model, we prove that for the universal groupoid of any self-similar groupoid action on a row-finite graph, the singular C^*-algebraic ideal always vanishes.