Abstract:We introduce Banach algebras associated to a twisted étale groupoid $(\mathcal{G},\mathcal{L})$ and to twisted inverse semigroup actions. This provides a unifying framework for numerous recent papers on $L^p$-operator algebras and the theory of groupoid $C^*$-algebras. We prove a disintegration theorem that allows us to study Banach algebras associated to $(\mathcal{G},\mathcal{L})$ as universal Banach algebras generated by $C_0(X)$ and a twisted inverse semigroup $S$ of partial isometries subject to some relations. Our theory works best when the groupoid is ample or when the target of a representation is a dual Banach algebra $B$, so for instance $B=B(E)$ where $E$ is a reflexive Banach space. In particular, it implies that in the constructions of $L^p$-analogues of Cuntz or graph algebras, by Phillips and Cortiñas--Rodr\'ıguez, the use of \emph{spatial partial isometries} is not an assumption, in fact it is forced by the relations. We establish fundamental norm estimates and hierarchy for full and reduced $L^p$-operator algebras for $(\mathcal{G},\mathcal{L})$ and $p \in [1,\infty]$, whose special cases have been studied recently by Gardella--Lupini, Choi--Gardella--Thiel and Hetland--Ortega. We also introduce tight inverse semigroup Banach algebras that cover ample groupoid Banach algebras, and we discuss Banach algebras associated to twisted partial group actions, twisted Renault--Deaconu groupoids and directed graphs. Our Banach Cuntz algebras are related to the construction of Daws--Horváth. We aim for a high degree of generality throughout: our results cover non-Hausdorff étale groupoids and both real and complex algebras. Some of our results seem to be absent from the literature even for $C^*$-algebras.

The Lattice of C*-covers of an operator algebra

Admissibility of C*-Covers for Operator Algebra Dynamical Systems

Identification of maximal $C^*$-covers of some operator algebras

Maximal C^*-covers and residual finite-dimensionality

On $C^*$-algebras associated to transfer operators for countable-to-one maps

Cofiniteness conditions, projective covers and the logarithmic tensor product theory

$L^p$-modules, $L^p$-correspondences, and their $L^p$-operator algebras

The Jordan lattice completion and a note on injective envelopes and von Neumann algebras

Operator algebras over the p-adic integers

Bijections Between Sets of Invariant Ideals, Via the Ladder Technique

Inclusions of simple C$^*$-algebras arising from compact group actions

Complete isometries - an illustration of noncommutative functional analysis

On Banach space projective tensor product of $C^*$-algebras

Limit algebras and integer-valued cocycles, revisited

Operator Algebras of Universal Quantum Homomorphisms

$P(ω)/{\rm fin}$ and projections in the Calkin algebra

Banach lattice AM-algebras

Banach algebras associated to twisted étale groupoids: inverse semigroup disintegration and representations on $L^p$-spaces

Nijenhuis operators on homogeneous spaces related to $C^*$-algebras

The compact operators on $c_0$ as a Calkin algebra

Characterizing C-algebras of compact operators by generic categorical properties of Hilbert C-modules