Some model-theoretic correspondences between dimension groups and AF algebras

If A⊆B are structures for a first-order language S, A is said to be algebraically (existentially) closed in B just in case every positive existential (existential) S_A-sentence true in B_A is true in A_A. In 1976 Elliott showed that unital AF (‘approximately finite-dimensional’) algebras are classified up to isomorphism by corresponding dimension groups with order unit. This paper shows that one dimension group with order unit is algebraically (existentially) closed in another just in case the corresponding AF algebras, viewed as metric structures, fall in the same relation.     

Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

In the present contribution, we prove an Omitting Types Theorem (OTT) for an arbitrary fragment of hybrid dynamic first-order logic with rigid symbols (i.e. symbols with fixed interpretations across worlds) closed under negation and retrieve. The logical framework can be regarded as a parameter and it is instantiated by some well-known hybrid and/or dynamic logics from the literature. We develop a forcing technique and then we study a forcing property based on local satisfiability, which lead to a refined proof of the OTT. For uncountable signatures, the result requires compactness, while for countable signatures, compactness is not necessary. We apply the OTT to obtain upwards and downwards Löwenheim-Skolem theorems for our logic, as well as a completeness theorem for its constructor-based variant.     

TheK-theory of AF embeddings of the rational rotation algebras

Our main result is the construction of an embedding ofC(T²) into an approximately finite-dimensionalC ^*-algebra which induces an injection onK ₀(C(T²)). The existence of this embedding implies that Cech cohomology cannot be extended to a stable, continuous homology theory forC ^*-algebras which admits a well-behaved Chern character. Homotopy properties ofC ^*-algebras are also considered. For example, we show that the second homotopy functor forC ^*-algebras is discontinuous. Similar embeddings are constructed for all the rational rotation algebras, with the consequence that none of the rational rotation algebras satisfies the homotopy property called semiprojectivity.     

Finite group actions on AF algebras obtained by folding the interval

For any finite groupG we construct examples of an AF algebraA and an action byG onA such that the fixed point algebra is not AF. The construction ofA is done by successive foldings and cuttings of the interval in a way originally suggested by Blackadar and, in a different context, by Connes in his talk in Oslo in 1978.     

Prime and primitive algebras with prescribed growth types

Bartholdi and Smoktunowicz constructed in 2014 finitely generated monomial algebras with prescribed sufficiently fast growth types. We show that their construction need not result in a prime algebra, but it can be modified to provide prime algebras without further limitations on the growth type.Moreover, using a construction of an inverse system of monomial ideals which arise from this construction, we are able to further construct finitely generated primitive algebras without further limitations on the growth type.Then, inspired by Zelmanov’s example in 1979, we show how our prime algebras can be constructed such that they contain non-zero locally nilpotent ideals; this is the very opposite of the primitive constructions.     

Spin Hecke algebras of finite and affine types

We introduce the spin Hecke algebra, which is a q-deformation of the spin symmetric group algebra, and its affine generalization. We establish an algebra isomorphism which relates our spin (affine) Hecke algebras to the (affine) Hecke-Clifford algebras of Olshanski and Jones-Nazarov. Relation between the spin (affine) Hecke algebra and a nonstandard presentation of the usual (affine) Hecke algebra is displayed, and the notion of covering (affine) Hecke algebra is introduced to provide a link between these algebras. Various algebraic structures for the spin (affine) Hecke algebra are established.     

Models with second order properties. III. Omitting types forL(Q)

We generalize Keisler's omitting types theorem forL(Q) in the ₁-interpretation, to most cases in which Chang's two cardinal theorem applies. As an application we answer positively a question of Magidor and Malitz on the compactness of their logic in cardinalities higher than ₁.     

On matrix types of prime varieties of associative algebras

Some answer is obtained to the problem by A. R. Kemer: We show that for a given number k and all sufficiently large p every prime variety of associative algebras of matrix type k over a field of characteristic p > 0 is regular.     

Abelian subalgebras in some particular types of Lie algebras

It is well-known that there exists a close link between Lie Theory and Relativity Theory. Indeed, the set of all symmetries of the metric in our four-dimensional spacetime is a Lie group. In this paper we try to study this link in depth, by dealing with three particular types of Lie algebras: h_n algebras, g_n algebras and Heisenberg algebras. Our main goal is to compute the maximal abelian dimensions of each of them, which will allow us to move a step forward in the advancement of this subject.     

Spectra of Tukey types of ultrafilters on Boolean algebras

Extending recent investigations on the structure of Tukey types of ultrafilters on \({\mathcal{P}(\omega)}\) to Boolean algebras in general, we classify the spectra of Tukey types of ultrafilters for several classes of Boolean algebras, including interval algebras, tree algebras, and pseudo-tree algebras.     

The peak algebra and the descent algebras of types B and D

We show the existence of a unital subalgebra of the symmetric group algebra linearly spanned by sums of permutations with a common peak set, which we call the peak algebra. We show that is the image of the descent algebra of type B under the map to the descent algebra of type A which forgets the signs, and also the image of the descent algebra of type D. The algebra contains a two-sided ideal which is defined in terms of interior peaks. This object was introduced in previous work by Nyman (2003); we find that it is the image of certain ideals of the descent algebras of types B and D. We derive an exact sequence of the form . We obtain this and many other properties of the peak algebra and its peak ideal by first establishing analogous results for signed permutations and then forgetting the signs. In particular, we construct two new commutative semisimple subalgebras of the descent algebra (of dimensions and by grouping permutations according to their number of peaks or interior peaks. We discuss the Hopf algebraic structures that exist on the direct sums of the spaces and over and explain the connection with previous work of Stembridge (1997); we also obtain new properties of his descents-to-peaks map and construct a type B analog.