Limit Automorphisms of the <Emphasis Type="Italic">C</Emphasis>*-Algebras Generated by Isometric Representations for Semigroups of Rationals

We consider inductive sequences of Toeplitz algebras whose connecting homomorphisms are defined by collections of primes. The inductive limits of these sequences are C*-algebras generated by representations for semigroups of rationals. We study the limit endomorphisms of these C*-algebras induced by morphisms between copies of the same inductive sequences of Toeplitz algebras. We establish necessary and sufficient conditions for these endomorphisms to be automorphisms of the algebras.     

<Emphasis Type="Italic">C</Emphasis>*-Algebras Generated by Mappings. Criterion of Irreducibility

We study the operator algebra associated with a self-mapping ? on a countable set X which can be represented as a directed graph. The algebra is generated by the family of partial isometries acting on the corresponding l²(X). We study the structure of involutive semigroup multiplicatively generated by the family of partial isometries. We formulate the criterion when the algebra is irreducible on the Hilbert space. We consider the concrete examples of operator algebras. In particular, we give the examples of nonisomorphic C*-algebras, which are the extensions by compact operators of the algebra of continuous functions on the unit circle.     

Effect Algebras as Presheaves on Finite Boolean Algebras

For an effect algebra A, we examine the category of all morphisms from finite Boolean algebras into A. This category can be described as a category of elements of a presheaf R(A) on the category of finite Boolean algebras. We prove that some properties (being an orthoalgebra, the Riesz decomposition property, being a Boolean algebra) of an effect algebra A can be characterized in terms of some properties of the category of elements of the presheaf R(A). We prove that the tensor product of effect algebras arises as a left Kan extension of the free product of finite Boolean algebras along the inclusion functor. The tensor product of effect algebras can be expressed by means of the Day convolution of presheaves on finite Boolean algebras.     

<Emphasis Type="Italic">C</Emphasis>*-Non-Linear Second Quantization

We construct an inductive system of C*-algebras each of which is isomorphic to a finite tensor product of copies of the one-mode n-th degree polynomial extension of the usual Weyl algebra constructed in our previous paper (Accardi and Dhahri in Open Syst Inf Dyn 22(3):1550001, 2015). We prove that the inductive limit C*-algebra is factorizable and has a natural localization given by a family of C*-sub-algebras each of which is localized on a bounded Borel subset of \({\mathbb{R}}\). Finally, we prove that the corresponding family of Fock states, defined on the inductive family of C*-algebras, is projective if and only if n = 1. This is a weak form of the no-go theorems which emerge in the study of representations of current algebras over Lie algebras.     

AF-algebras and topology of mapping tori

The paper studies applications of C*-algebras in geometric topology. Namely, a covariant functor from the category of mapping tori to a category of AF-algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding AF-algebras. We use this functor to develop an obstruction theory for the torus bundles of dimension 2, 3 and 4. In conclusion, we consider two numerical examples illustrating our main results.     

Generalizations of the Sweedler Dual

As left adjoint to the dual algebra functor, Sweedler’s finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over arbitrary rings, shares a number of properties with the finite dual. Nonetheless the requirement that it should map Hopf algebras to Hopf algebras needs the extra assumption that this left adjoint should map an algebra into its linear dual. We identify a condition guaranteeing that Sweedler’s construction works when generalized to noetherian commutative rings. We establish the following two apparently previously unnoticed dual adjunctions: For every commutative ring R the left adjoint of the dual algebra functor on the category of R-bialgebras has a right adjoint. This dual adjunction can be restricted to a dual adjunction on the category of Hopf R-algebras, provided that R is noetherian and absolutely flat.     

<Emphasis Type="Italic">C</Emphasis>*-Algebras Generated by Mappings. Classification of Invariant Subspaces

We continue the study of an operator algebra associated with a self-mapping ? on a countable setX which can be represented as a directed graph. This C*-algebra belongs to a class of operator algebras, generated by a family of partial isometries satisfying some relations on their source and range projections. Earlier we have formulated the irreducibility criterion of such algebras, which give us a possibility to examine the structure of the corresponding Hilbert space. We will show that for reducible algebras the underlying Hilbert space can be represented either as an infinite sum of invariant subspaces or as a tensor product of a finite-dimensional Hilbert space with l²(Z). In the first case we present a conditions under which the studied algebra has an irreducible representation into a C*-algebra generated by a weighted shift operator. In the second case, the algebra has the irreducible finite-dimensional representations indexed by the unit circle.     

On algebras of <Emphasis Type="Italic">P</Emphasis>-Ehresmann semigroups and their associate partial semigroups

P-Ehresmann semigroups are introduced by Jones as a common generalization of Ehresmann semigroups and regular \(*\)-semigroups. Ehresmann semigroups and their semigroup algebras are investigated by many authors in literature. In particular, Stein shows that under some finiteness condition, the semigroup algebra of an Ehresmann semigroup with a left (or right) restriction condition is isomorphic to the category algebra of the corresponding Ehresmann category. In this paper, we generalize this result to P-Ehresmann semigroups. More precisely, we show that for a left (or right) P-restriction locally Ehresmann P-Ehresmann semigroup \(\mathbf{S}\), if its projection set is principally finite, then we can give an algebra isomorphism between the semigroup algebra of \(\mathbf{S}\) and the partial semigroup algebra of the associate partial semigroup of \(\mathbf{S}\). Some interpretations and necessary examples are also provided to show why the above isomorphism dose not work for more general P-Ehresmann semigroups.     

Fixed Points of Set Functors: How Many Iterations are Needed?

The initial algebra for a set functor can be constructed iteratively via a well-known transfinite chain, which converges after a regular infinite cardinal number of steps or at most three steps. We extend this result to the analogous construction of relatively initial algebras. For the dual construction of the terminal coalgebra Worrell proved that if a set functor is α-accessible, then convergence takes at most α + α steps. But until now an example demonstrating that fewer steps may be insufficient was missing. We prove that the functor of all α-small filters is such an example. We further prove that for β ≤ α the functor of all α-small β-generated filters requires precisely α + β steps and that a certain modified power-set functor requires precisely α steps. We also present an example showing that whether a terminal coalgebra exists at all does not depend solely on the object mapping of the given set functor. (This contrasts with the fact that existence of an initial algebra is equivalent to existence of a mere fixed point.)     

Algebras of Ehresmann semigroups and categories

E-Ehresmann semigroups are a commonly studied generalization of inverse semigroups. They are closely related to Ehresmann categories in the same way that inverse semigroups are related to inductive groupoids. We prove that under some finiteness condition, the semigroup algebra of an E-Ehresmann semigroup is isomorphic to the category algebra of the corresponding Ehresmann category. This generalizes a result of Steinberg who proved this isomorphism for inverse semigroups and inductive groupoids and a result of Guo and Chen who proved it for ample semigroups. We also characterize E-Ehresmann semigroups whose corresponding Ehresmann category is an EI-category and give some natural examples.     

The principal bundles over an inverse semigroup

This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra (Theory Appl Categ 24(7):117–147, 2010). For the topos of sets, we show that torsion-free functors on Loganathan’s category L(S) of an inverse semigroup S are equivalent to a special class of non-strict representations of S, which we call connected. We show that the latter representations form a proper coreflective subcategory of the category of all non-strict representations of S. We describe the correspondence between directed and pullback preserving functors on L(S) and transitive and effective representations of S, as well as between filtered such functors and universal representations introduced by Lawson, Margolis and Steinberg. We propose a definition of a universal representation, or, equivalently, an S-torsor, of an inverse semigroup S in the topos of sheaves \({\mathsf {Sh}}(X)\) on a topological space X. We prove that the category of filtered functors from L(S) to the topos \({\mathsf {Sh}}(X)\) is equivalent to the category of universal representations of S in \({\mathsf {Sh}}(X)\). We finally propose a definition of an inverse semigroup action in an arbitrary Grothendieck topos, which arises from a functor on L(S).     

On a Class of Graded Ideals of Semigroup <Emphasis Type="Italic">C</Emphasis>*-Algebras

We present general results about graded C*-algebras and continue the previously initiated research of the C*-algebra generated by the left regular representation of an abelian semigroup. We study the invariant ideals of this C*-algebra invariant with respect to the representation of a compact group G in the automorphism group of this algebra. We prove that the invariance of the ideal is equivalent to the fact that this ideal is graded C*-algebra, that there is a maximum of all invariant ideals, and it is the commutator ideal. Separately we study a class of graded primitive ideals generated by a single projector.     

Weak rigid monoidal category

We define the right regular dual of an object X in a monoidal category C; and give several results regarding the weak rigid monoidal category. Based on the definition of the right regular dual, we construct a weak Hopf algebra structure of H = End(F) whenever (F; J) is a fiber functor from category C to Vec and every X ∈ C has a right regular dual. To conclude, we give a weak reconstruction theorem for a kind of weak Hopf algebra.     

Lexicographic effect algebras

We investigate a class of effect algebras that can be represented in the form \({\Gamma (H \overrightarrow{\times} G}\), (u, 0)), where \({H \overrightarrow{\times} G}\) means the lexicographic product of an Abelian unital po-group (H, u) and an Abelian directed po-group G. We study conditions when an effect algebra is of this form. Fixing a unital po-group (H, u), the category of strongly (H, u)-perfect effect algebras is introduced and it is shown that it is categorically equivalent to the category of directed po-groups with interpolation. We prove some representation theorems of lexicographic effect algebras, including a subdirect product representation by antilattice lexicographic effect algebras.     

Characteristic Modules of Dual Extensions and Groebner Bases

Let C be a finite dimensional directed algebra over an algebraically closed field k and A=A(C) the dual extension of C. The characteristic modules of A are constructed explicitly for a class of directed algebras, which generalizes the results of Xi. Furthermore, it is shown that the characteristic modules of dual extensions of a certain class of directed algebras admit the left Groebner basis theory in the sense of E. L. Green.     

Interassociates of the bicyclic semigroup

An interassociate of a semigroup \((S,\cdot )\) is a semigroup \((S, *)\) such that for all \(a, b, c \in S\), \(a\cdot (b*c)=(a\cdot b) *c\) and \(a*(b\cdot c)=(a*b) \cdot c\). We investigate the bicyclic semigroup C and its interassociates. In particular, if p and q are the generators of the bicyclic semigroup and m and n are fixed nonnegative integers, the operation \(a*_{m,n} b= aq^mp^n b\) is known to be an interassociate. We show that for distinct pairs (m, n) and (s, t), the interassociates \((C, *_{m,n})\) and \((C, *_{s,t})\) are not isomorphic. We also generalize a result regarding homomorphisms on C to homomorphisms on its interassociates.     

On Unital Full Amalgamated Free Products of Quasidiagonal C*-Algebras

In the paper, we consider the question as to whether a unital full amalgamated free product of quasidiagonal C*-algebras is itself quasidiagonal. We give a sufficient condition for a unital full amalgamated free product of quasidiagonal C*-algebras with amalgamation over a finite-dimensional C*-algebra to be quasidiagonal. By applying this result, we conclude that the unital full free product of two AF algebras with amalgamation over a finite-dimensional C*-algebra is AF if there exists a faithful tracial state on each of the two AF algebras such that the restrictions of these states to the common subalgebra coincide.     

Maximal <Emphasis Type="Italic">k</Emphasis>-Intersecting Families of Subsets and Boolean Functions

A family of subsets of an n-element set is k-intersecting if the intersection of every k subsets in the family is nonempty. A family is maximalk-intersecting if no subset can be added to the family without violating the k-intersection property. There is a one-to-one correspondence between the families of subsets and Boolean functions defined as follows: To each family of subsets, assign the Boolean function whose unit tuples are the characteristic vectors of the subsets.We show that a family of subsets is maximal 2-intersecting if and only if the corresponding Boolean function is monotone and selfdual. Asymptotics for the number of such families is obtained. Some properties of Boolean functions corresponding to k-intersecting families are established fork > 2.     

Naturality of Rieffel’s Morita Equivalence for Proper Actions

Suppose that a locally compact group G acts freely and properly on the right of a locally compact space T. Rieffel proved that if α is an action of G on a C ^*-algebra A and there is an equivariant embedding of C ₀(T) in M(A), then the action α of G on A is proper, and the crossed product \(A\rtimes_{\alpha,r}G\) is Morita equivalent to a generalised fixed-point algebra \({\operatorname{\mathtt{Fix}}}(A,\alpha)\) in M(A) ^α . We show that the assignment \((A,\alpha)\mapsto{\operatorname{\mathtt{Fix}}}(A,\alpha)\) extends to a functor \({\operatorname{\mathtt{Fix}}}\) on a category of C ^*-dynamical systems in which the isomorphisms are Morita equivalences, and that Rieffel’s Morita equivalence implements a natural isomorphism between a crossed-product functor and \({\operatorname{\mathtt{Fix}}}\). From this, we deduce naturality of Mansfield imprimitivity for crossed products by coactions, improving results of Echterhoff-Kaliszewski-Quigg-Raeburn and Kaliszewski-Quigg-Raeburn, and naturality of a Morita equivalence for graph algebras due to Kumjian and Pask.     

Positive semigroups and algebraic Riccati equations in Banach spaces

We generalize Wonham’s theorem on solvability of algebraic operator Riccati equations to Banach spaces, namely there is a unique stabilizing solution to \(A^*P+PA-PBB^*P+C^*C=0\) when (A, B) is exponentially stabilizable and (C, A) is exponentially detectable. The proof is based on a new approach that treats the linear part of the equation as the generator of a positive semigroup on the space of symmetric operators from a Banach space to its dual, and the quadratic part as an order concave map. A direct analog of global Newton’s iteration for concave functions is then used to approximate the solution, the approximations converge in the strong operator topology, and the convergence is monotone. The linearized equations are the well-known Lyapunov equations of the form \(A^*P+PA=-Q\), and semigroup stability criterion in terms of them is also generalized.