Nica-Toeplitz algebras associated with right tensor $C^*$-precategories over right LCM semigroups

TL;DR

This paper develops a framework for analyzing Nica-Toeplitz algebras associated with right tensor $C^*$-precategories over right LCM semigroups, establishing uniqueness theorems and geometric conditions for representations.

Contribution

It introduces full and reduced Nica-Toeplitz algebras for $C^*$-precategories over right LCM semigroups and generalizes classical uniqueness theorems to this setting.

Findings

Established conditions for $C^*$-algebra isomorphisms under amenability.

Formulated geometric criteria for representations to generate specific $C^*$-algebras.

Connected the framework to Doplicher-Roberts type $C^*$-algebras.

Abstract

We introduce and analyze the full $\mathcal{NT}_{\mathcal{L}}(\mathcal{K})$ and the reduced $\mathcal{NT}_{\mathcal{L}}^r(\mathcal{K})$ Nica-Toeplitz algebra associated to an ideal $\mathcal{K}$ in a right tensor $C^*$-precategory $\mathcal{L}$ over a right LCM semigroup $P$. Our main results are uniqueness theorems in the spirit of classical Coburn's theorem, generalizing uniqueness results for Toeplitz-type $C^*$-algebras associated to single $C^*$-correspondences, quasi-lattice ordered semigroups, and crossed products twisted by product systems of $C^*$-correspondences obtained by Fowler, Laca and Raeburn. We formulate geometric conditions on a representation $\Phi$ of $\mathcal{K}$ so that the $C^*$-algebra it generates, $C^*(\Phi(\mathcal{K}))$, naturally lies between $\mathcal{NT}_{\mathcal{L}}^r(\mathcal{K})$ and $\mathcal{NT}_{\mathcal{L}}(\mathcal{K})$. Under suitable amenability hypotheses, $C^*(\Phi(\mathcal{K}))$ and $\mathcal{NT}_{\mathcal{L}}(\mathcal{K})$ are isomorphic. The geometric conditions are necessary for our uniqueness result when the right tensoring preserves $\mathcal{K}$ and in general they capture uniqueness of the $C^*$-algebra generated by a natural extension of $\Phi$ to $\mathcal{L}$. In particular, the latter algebra could be viewed as a Doplicher-Roberts version of $\mathcal{NT}_{\mathcal{L}}(\mathcal{K})$.