Complexity spaces as quantitative domains of computation

We study domain theoretic properties of complexity spaces. Although the so-called complexity space is not a domain for the usual pointwise order, we show that, however, each pointed complexity space is an ω-continuous domain for which the complexity quasi-metric induces the Scott topology, and the supremum metric induces the Lawson topology. Hence, each pointed complexity space is both a quantifiable domain in the sense of M. Schellekens and a quantitative domain in the sense of P. Waszkiewicz, via the partial metric induced by the complexity quasi-metric.     

Tensor Products of Modules Over a Certain Class of Quantum Doubles

The quantum doubles of a certain class of rank two pointed Hopf algebras are considered. The socle of the tensor product of two such modules is computed, and formulas similar to the ones in [4 Chen , H. X. ( 2000 ). Irreducible representations of a class of quantum doubles . J. Alg. 225 : 391 – 409 . [Google Scholar]] are obtained. Cases when such a tensor product is completely irreducible are also given in the last section.     

Homotopy groups of Hom complexes of graphs

The notion of ×-homotopy from [Anton Dochtermann, Hom complexes and homotopy theory in the category of graphs, European J. Combin., in press] is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space Hom_∗(G,H) with the homotopy groups of Hom_∗(G,HI). Here Hom_∗(G,H) is a space which parameterizes pointed graph maps from G to H (a pointed version of the usual Hom complex), and HI is the graph of based paths in H. As a corollary it is shown that πi(Hom_∗(G,H))≅_×[G,ΩiH], where ΩH is the graph of based closed paths in H and _×[G,K] is the set of ×-homotopy classes of pointed graph maps from G to K. This is similar in spirit to the results of [Eric Babson, Hélène Barcelo, Mark de Longueville, Reinhard Laubenbacher, Homotopy theory of graphs, J. Algebraic Combin. 24 (1) (2006) 31-44], where the authors seek a space whose homotopy groups encode a similarly defined homotopy theory for graphs. The categorical connections to those constructions are discussed.     

Group actions and covering maps in the uniform category

In Rips complexes and covers in the uniform category (Brodskiy et al. [4]) we define, following James (1990) [9], covering maps of uniform spaces and introduce, inspired by Berestovskii and Plaut (2007) [2], the concept of generalized uniform covering maps. In this paper we investigate when these covering maps are induced by group actions which allows us to relate our covering maps to those in Berestovskii and Plaut (2007) [2]. Also, as an application of our results we present an exposition of Prajs' (2002) [16] homogeneous curve that is path-connected but not locally connected.     

Classification of Pointed Fusion Categories of dimension 8 up to weak Morita equivalence

In this paper we give a complete classification of pointed fusion categories over ? of global dimension 8. We first classify the equivalence classes of pointed fusion categories of dimension 8, and then we proceed to determine which of these equivalence classes have equivalent categories of modules following the procedure presented in [9 Naidu, D. (2007). Categorical Morita equivalence for group-theoretical categories. Commun. Algebra 35(11):3544–3565.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 11 Uribe, B. (2017). On the classification of pointed fusion categories up to weak Morita equivalence. Pac. J. Math. 290(2):437–466.[Crossref], [Web of Science ®] , [Google Scholar]]. The results of this paper permit to recover the classification of twisted quantum doubles of groups of order 8 up to gauge equivalence of braided quasi-Hopf algebras that was previously done in [6 Mason, C., Ng, S.-H (2001). Group cohomology and gauge equivalence of some twisted quantum doubles. Trans. Am. Math. Soc. 353(9):3465–3509.[Crossref], [Web of Science ®] , [Google Scholar]] and [5 Goff, C., Mason, G., Ng, S.-H (2007). On the gauge equivalence of twisted quantum doubles of elementary abelian and extra-special 2-groups. J. Algebra 312(2):849–875.[Crossref], [Web of Science ®] , [Google Scholar]].     

A note on the order of the antipode of a pointed Hopf algebra

Let k be a field and let H denote a pointed Hopf k-algebra with antipode S. We are interested in determining the order of S. Building on the work done by Taft and Wilson in [7], we define an invariant for H, denoted m_H, and prove that the value of this invariant is connected to the order of S. In the case where char k?=?0, it is shown that if S has finite order then it is either the identity or has order 2?m_H. If in addition H is assumed to be coradically graded, it is shown that the order of S is finite if and only if m_H is finite. We also consider the case where char k?=?p?>?0, generalizing the results of [7] to the infinite-dimensional setting.     

Conjugacy Classes of P-Cycles of Type D in Alternating Groups

We classify the conjugacy classes of p-cycles of type D in alternating groups. This finishes the open cases in [3 Andruskiewitsch , N. , Fantino , F. , Graña , M. , Vendramin , L. ( 2011 ). Finite-dimensional pointed Hopf algebras with alternating groups are trivial . Ann. Mat. Pura Appl 190 : 225 – 245 .[Web of Science ®] , [Google Scholar]]. Also we determine all the subracks of those conjugacy classes which are not of type D.     

Ideals and Clots in Pointed Regular Categories

We clarify the relationship between ideals, clots, and normal subobjects in a pointed regular category with finite coproducts. Partially supported by South African NRF Research partially supported by the Hungarian National Foundation for Scientific Research grant no. K61007.     

Basic quasi-Hopf algebras over cyclic groups

Let m be a positive integer, not divisible by 2, 3, 5, 7. We generalize the classification of basic quasi-Hopf algebras over cyclic groups of prime order given in Etingof and Gelaki (2006) [11] to the case of cyclic groups of order m. To this end, we introduce a family of non-semisimple radically graded quasi-Hopf algebras A(H,s), constructed as subalgebras of Hopf algebras twisted by a quasi-Hopf twist, which are not twist equivalent to Hopf algebras. Any basic quasi-Hopf algebra over a cyclic group of order m is either semisimple, or is twist equivalent to a Hopf algebra or a quasi-Hopf algebra of type A(H,s).     

Reflection groupoids of rank two and cluster algebras of type A

We extend the classification of finite Weyl groupoids of rank two. Then we generalize these Weyl groupoids to ‘reflection groupoids’ by admitting non-integral entries of the Cartan matrices. This leads to the unexpected observation that the spectrum of the cluster algebra of type An−3 completely describes the set of finite reflection groupoids of rank two with 2n objects.