Compact quantum groups and group duality

In this paper, we consider the *-representations of compact quantum groups and group duality. The main results in the paper are: (1) there is a one-to-one correspondence between the *-representations of compact quantum groups and *-representations of the dual Banach *-algebra; (2) the category of commutative compact quantum groups (semigroups) is a dual category to the category of compact groups (semigroups); (3) the dual category of the category of locally compact groups (semigroups) is the category of commutative Hopf C^*-algebras with a particular property. Our group duality has the flavor of a Gelfand-Naimark type theorem for compact quantum groups, and for Hopf C^*-algebras.     

The category of commutative HopfC *-algebras

In this paper, we first continue our study of group duality, and prove that the duality we established earlier is natural. Then we use this naturality to study the category of commutative, cocommutative HopfC ^*-algebras, and show that the category of compact Abelian semigroups and the category of commutative, cocommutative HopfC ^*-algebras with units are isomorphic. By using this result, we show that the category of commutative, cocommutative quantum groups is Abelian. This is a generalization of a result of Grothendieck about the catrgory of finite-dimensional commutative, cocommutative Hopf algebras with antipodes.     

Clifford semigroups as functors and their cohomology

We prove that the category of Clifford semigroups and prehomomorphisms CSP\mathcal{CSP} is isomorphic to a certain subcategory of the category of diagrams over groups. Under this isomorphism, Clifford semigroups are identified with certain functors. As an application of the isomorphism theorem, we show that the category with objects commutative inverse semigroups having the same semilattice of idempotents and with morphisms, the inverse semigroup homomorphisms that fix the semilattice, imbeds into a category of right modules over a certain ring. Also we find a very close relationship between the cohomology groups of a commutative inverse monoid and the cohomology groups of the colimit group of the functor giving the monoid.     

Sur le produit tensoriel des groupes affines

Let A and B be two commutative affine group schemes over a field. There exists an affine group A?B such that Hom(A?B,C)?Bil(A×B,C) for any affine group C. We use technics of the commutative algebraic groups theory, in order to compute these tensor products and to characterize “flat” groups in the unipotent case. The tensor product of commutative affine groups has most properties of the usual tensor product but it is not always associative. As an application we prove a structure theorem of the category of modules over some affine connected prosmooth rings.     

On Free Products and Amalgams of Pomonoids

The study of amalgamation in the category of partially ordered monoids was initiated by Fakhuruddin in the 1980s. In 1986 he proved that, in the category of commutative pomonoids, every absolutely flat commutative pomonoid is a weak amalgmation base and every commutative pogroup is a strong amalgamation base. Some twenty years later, Bulman-Fleming and Sohail in 2011 extended this work to what they referred to as pomonoid amalgams. In particular, they proved that pogroups are poamalgmation bases in the category of pomonoids. Sohail, also in 2011, proved that absolutely poflat commutative pomonoids are poamalgmation bases in the category of commutative pomonoids. In the present article, we extend the work on pomonoid amalgams by generalizing the work of Renshaw on amalgams of monoids and extension properties of acts over monoids.     

Representations of finite partially ordered sets over commutative artinian uniserial rings

Categories of representations of finite partially ordered sets over commutative artinian uniserial rings arise naturally from categories of lattices over orders and abelian groups. By a series of functorial reductions and a combinatorial analysis, the representation type of a category of representations of a finite partially ordered set S over a commutative artinian uniserial ring R is characterized in terms of S and the index of nilpotency of the Jacobson radical of R. These reductions induce isomorphisms of Auslander-Reiten quivers and preserve and reflect Auslander-Reiten sequences. Included, as an application, is the completion of a partial characterization of representation type of a category of representations arising from pairs of finite rank completely decomposable abelian groups.     

某些半群子范畴中的张量积

半群范畴S中张量积首先在中引入。T∈ob S称为A,B∈ob S的张量积(记为AB),如果存在双同态t:A×B→T(相当于中线性平衡映射),且对于任意双同态s:A×B→C∈ob S总存在唯一的同态μ:T→C,使s-ut。确认了张量积的存在唯一。等引入交换半群、半格等子范畴中的张量积,其定义与上述基本相同,仅将S改为该子范畴,此外该划了一些半群类的张量积。本文在§1从任意半群簇V中张量积与其在S中     

Generalized Witt groups

In this paper we construct a functor from the category of one-dimensional commutative formal groups to the category of topological Abelian groups. For a multiplicative formal group, this function is the usual Witt functor. We study certain properties of the constructed functor. This functor is then used to describe multiplicative operations in the theory of unitary cobordisms.Translated from Matematicheskie Zametki, Vol. 13, No. 3, pp. 419–426, March, 1973.     

Natural multitransformations of multifunctors

We continue to develop the theory of multicategories over verbal categories. This theory includes both the usual category theory and the theory of operads, as well as a significant part of classical universal algebra. We introduce the notion of a natural multitransformation of multifunctors, owing to which categories of multifunctors from a multicategory to some other one turn into multicategories. In particular, any algebraic variety over a multicategory possesses a natural structure of a multicategory. Furthermore, we construct a multicategory analog of commacategories with properties similar to those in the category case. We define the notion of the center of a multicategory and show that centers of multicategories are commutative operads (introduced by us earlier) and only they. We prove that commutative FSet-operads coincide with commutative algebraic theories.     

Universal constructions for Hopf algebras

The category of Hopf monoids over an arbitrary symmetric monoidal category as well as its subcategories of commutative and cocommutative objects respectively are studied, where attention is paid in particular to the following questions: (a) When are the canonical forgetful functors of these categories into the categories of monoids and comonoids respectively part of an adjunction? (b) When are the various subcategory-embeddings arsing naturally in this context reflexive or coreflexive? (c) When does a category of Hopf monoids have all limits or colimits? These problems are also shown to be intimately related. Particular emphasis is given to the case of Hopf algebras, i.e., when the chosen symmetric monoidal category is the category of modules over a commutative unital ring.     

The structure of commutative semigroups with the ideal extension property

In this paper, we will characterize commutative semigroups which have the ideal extension property (IEP). This characterization describes the multiplicative structure of commutative semigroups with IEP. Establishing this characterization was motivated not only by an interest in IEP itself, but also by the fact that in the category of commutative semigroups, the congruence extension property (CEP) implies IEP. A few preliminary results which hold in the general (non-commutative) case are discussed below. Following these initial observations, all semigroups considered are commutative.     

The coherent homotopy category over a fixed space is a category of fractions

In this note we prove that the coherent homotopy category over a fixed space B with morphisms represented by certain homotopy commutative squares (see [8]) is isomorphic to the category obtained by formally inverting those maps in the category Top_B of topological spaces over B which are ordinary homotopy equivalences.     

Projectivity of acts and morita equivalence of monoids

In this paper we shall consider a non-additive category of A-modules, that is, instead of a ring A we take a monoid A which acts on sets from the left. These objects will be called A-acts. We investigate indecomposable A-acts and generators and characterize projectives in this category. For a given monoid A we describe all monoids B such that the category of B-acts is equivalent to the category of A-acts. In particular we find that equivalence of these categories yields an isomorphism between the monoids A and B if A is a group or finite or commutative. This differs from the additive case where the categories of modules over a commutative field and its ring of nxn matrices are equivalent. Finally we give examples of non-isomorphic monoids A and B such that the corresponding categories are equivalent.     

Dualities Induced by Topological Semirings

In this paper we establish a general duality theorem for compact Hausdorff spaces being recognizable over certain pairs consisting of a commutative unital topological semiring and a closed proper prime ideal. Indeed, we utilize the concept of blueprints and their localization to prove that the category of compact Hausdorff spaces generated by such a pair can be dually embedded into the category of commutative unital semirings if the pair possesses sufficiently many covering polynomials.     

Galois extensions as functors of comodules

Let A be a finite Hopf algebra over a commutative ring k. We show a one-to-one correspondence between the A-Galois extensions of k and certain functors from the category of A-comodules to the category of k-modules.     

Stratifying derived categories of cochains on certain spaces

In recent years, Benson, Iyengar and Krause have developed a theory of stratification for compactly generated triangulated categories with an action of a graded commutative Noetherian ring. Stratification implies a classification of localizing and thick subcategories in terms of subsets of the prime ideal spectrum of the given ring. In this paper two stratification results are presented: one for the derived category of a commutative ring-spectrum with polynomial homotopy and another for the derived category of cochains on certain spaces. We also give the stratification of cochains on a space a topological content.     

Endomorphism monoids in varieties of commutative semigroups

A concrete category is almost universal if its class of non-constant morphisms contains an isomorphic copy of every category of algebras as a full subcategory. This paper characterizes almost universal varieties of commutative semigroups. As a consequence we obtain that for every infinite cardinal κ there exists a commutative semigroup of cardinality κ such that it has exactly two endomorphisms, the identity endomorphism and a single constant endomorphism.     

Dualité tannakienne pour les quasi-groupoïdes quantiques

This paper is the sequel of a previous one [2] where we extended the Tannaka-Krein duality results to the non-commutative situation, i.e. to ‘quantum groupoids’. Here we extend those results to the quasi-monoidal situation, corresponding to ‘quasi-quantum groupoids’ as defined in [3] (‘quasi-’ stands for quasi-associativity a la Drinfeld). More precisely, let B be a commutative algebra over a field k. Given a tensor autonomous category τ,. we define the notion of a quasi-fibre functor ω:τ-proj B (here, ‘quasi-’ means without compatibility to associativity constraints). On the other hand, we define the notion of a transitive quasi-quantum groupoid over B. We then show that the category of tensor autonomous categories equipped with a quasi-fibre functor (with suitable morphisms), is equivalent to the category of transitive quasi-quantum groupoids (5.4.2)

Moreover, we classify quasi-fibre functors for a semisimple tensor autonomous category (6.1.2), and give a few examples : a family of quantum groups having the same tensor category of representations as Sl²(C), but with non-isornorphic underlying coalgebras, constructed by means of an R-matrix introduced by Gurevich ([9]) in a manner suggested to the author by Lyubashenko (6.2.1 and 6.2.2), and quasi-quantum groups which cannot be obtained from quantum groups by a Drinfeld twist (6.2.1)     

二面体群的Grothendieck环结构

二面体群的表示范畴为对称半单monoidal范畴,因而其Grothendieck环为有限多个元素生成的交换环.本文确定了该Grothendieck环的极小生成元,并且进一步证明了该Grothendieck环与某一多项式环的商环同构.     

Even More Spectra: Tensor Triangular Comparison Maps via Graded Commutative 2-rings

We initiate the theory of graded commutative 2-rings, a categorification of graded commutative rings. The goal is to provide a systematic generalization of Paul Balmer’s comparison maps between the spectrum of tensor-triangulated categories and the Zariski spectra of their central rings. By applying our constructions, we compute the spectrum of the derived category of perfect complexes over any graded commutative ring, and we associate to every scheme with an ample family of line bundles an embedding into the spectrum of an associated graded commutative 2-ring.