1,100 research outputs found
A correspondence between a class of monoids and self-similar group actions II
The first author showed in a previous paper that there is a correspondence
between self-similar group actions and a class of left cancellative monoids
called left Rees monoids. These monoids can be constructed either directly from
the action using Zappa-Sz\'ep products, a construction that ultimately goes
back to Perrot, or as left cancellative tensor monoids from the covering
bimodule, utilizing a construction due to Nekrashevych, In this paper, we
generalize the tensor monoid construction to arbitrary bimodules. We call the
monoids that arise in this way Levi monoids and show that they are precisely
the equidivisible monoids equipped with length functions. Left Rees monoids are
then just the left cancellative Levi monoids. We single out the class of
irreducible Levi monoids and prove that they are determined by an isomorphism
between two divisors of its group of units. The irreducible Rees monoids are
thereby shown to be determined by a partial automorphism of their group of
units; this result turns out to be signficant since it connects irreducible
Rees monoids directly with HNN extensions. In fact, the universal group of an
irreducible Rees monoid is an HNN extension of the group of units by a single
stable letter and every such HNN extension arises in this way.Comment: Some very minor corrections made and the dedication adde
Non-commutative Stone duality: inverse semigroups, topological groupoids and C*-algebras
We study a non-commutative generalization of Stone duality that connects a
class of inverse semigroups, called Boolean inverse -semigroups, with a
class of topological groupoids, called Hausdorff Boolean groupoids. Much of the
paper is given over to showing that Boolean inverse -semigroups arise
as completions of inverse semigroups we call pre-Boolean. An inverse
-semigroup is pre-Boolean if and only if every tight filter is an
ultrafilter, where the definition of a tight filter is obtained by combining
work of both Exel and Lenz. A simple necessary condition for a semigroup to be
pre-Boolean is derived and a variety of examples of inverse semigroups are
shown to satisfy it. Thus the polycyclic inverse monoids, and certain Rees
matrix semigroups over the polycyclics, are pre-Boolean and it is proved that
the groups of units of their completions are precisely the Thompson-Higman
groups . The inverse semigroups arising from suitable directed graphs
are also pre-Boolean and the topological groupoids arising from these graph
inverse semigroups under our non-commutative Stone duality are the groupoids
that arise from the Cuntz-Krieger -algebras.Comment: The presentation has been sharpened up and some minor errors
correcte
Categorical formulation of quantum algebras
We describe how dagger-Frobenius monoids give the correct categorical
description of certain kinds of finite-dimensional 'quantum algebras'. We
develop the concept of an involution monoid, and use it to construct a
correspondence between finite-dimensional C*-algebras and certain types of
dagger-Frobenius monoids in the category of Hilbert spaces. Using this
technology, we recast the spectral theorems for commutative C*-algebras and for
normal operators into an explicitly categorical language, and we examine the
case that the results of measurements do not form finite sets, but rather
objects in a finite Boolean topos. We describe the relevance of these results
for topological quantum field theory.Comment: 34 pages, to appear in Communications in Mathematical Physic
Equilibrium states on right LCM semigroup C*-algebras
We determine the structure of equilibrium states for a natural dynamics on
the boundary quotient diagram of -algebras for a large class of right LCM
semigroups. The approach is based on abstract properties of the semigroup and
covers the previous case studies on ,
dilation matrices, self-similar actions, and Baumslag-Solitar monoids. At the
same time, it provides new results for large classes of right LCM semigroups,
including those associated to algebraic dynamical systems.Comment: 43 pages, to appear in Int. Math. Res. No
- …