Simultaneous representations in categories of algebras

Hedrlin and Pultr proved that every small category is isomorphic to a full subcategory of the category Alg (Δ) of all algebras of type Δ whenever the sum ∑Δ of their arities satisfies ∑Δ>2. This article deals with simultaneous representation in categories of algebras, a generalization of the related question: given a subcategory k′ of a small category k, when does there exist an extension Δ′ of a type Δ with ∑Δ?2 such that k′ is a full subcategory of Alg(Δ′) while the Alg (Δ)-redacts of algebras representing k′ determine a category isomorphic to k? We characterize simultaneous representability by algebras and their reducts completely, and show that it is closely related to Isbell's dominion. A consequence of the main result states that algebraically representable pairs (k′, k) of one-object categories k′ k are exactly those for which k′ coincides with its dominion in k, and provides an alternative characterization of the dominion. Simultaneous representability by partial algebras is not subject to any such restriction.     

Metric σ-Frames versus Metric Lindelof Spaces

The adjoint relation between the category RegFrm, of regular -frames, Alex, of Alexandroff spaces, are studied in [9]. Here, we introduce the category MFrm, of metric -frames and give the adjoint relation between this category and the category MLSp, of metric Lindelof spaces, and show that MLSp is dually equivalent to the category of Alexandroff metric -frames.AMS Subject Classification: 06D99-54B30     

Weak Hopf Algebra in Yetter-Drinfeld Categories and Weak Biproducts

The Yetter-Drinfeld category of the Hopf algebra over a field is a pre braided category. In this paper we prove this result for the weak Hopf algebra. We study the smash product and smash coproduct, weak biproducts in the weak Hopf algebra over a field k. For a weak Hopf algebra A in left Yetter-Drinfeld category HHYD. we prove that the weak biproducts of A and H is a weak Hopf algebra.     

Spectra of tensor triangulated categories over category algebras

Let \({\mathcal{C}}\) be a finite EI category and k be a field. We consider the category algebra \({k\mathcal{C}}\) . Suppose \({\sf{K}(\mathcal{C})=\sf{D}^b(k \mathcal{C}-\sf{mod})}\) is the bounded derived category of finitely generated left modules. This is a tensor triangulated category, and we compute its spectrum in the sense of Balmer. When \({\mathcal{C}=G \propto \mathcal{P}}\) is a finite transporter category, the category algebra becomes Gorenstein, so we can define the stable module category \({\underline{\sf{CM}} k(G \propto \mathcal{P})}\) , of maximal Cohen–Macaulay modules, as a quotient category of \({{\sf{K}}(G \propto \mathcal{P})}\) . Since \({\underline{\sf{CM}} k(G\propto\mathcal{P})}\) is also tensor triangulated, we compute its spectrum as well. These spectra are used to classify tensor ideal thick subcategories of the corresponding tensor triangulated categories.     

Λ-Cofibration Categories and the Homotopy Categories of Global Actions and Simplicial Complexes

We investigate the homotopy category of a -cofibration category and compare the homotopy categories of Global Actions, Simplicial Complexes and Topological Spaces.     

Cartan Invariants in the Category of Restricted Representation for gl(m|n)

Let k be an algebraically closed field of characteristic p 2, and gl(m|n) be the general linear Lie superalgebra over k. The Cartan invariants for the restricted supermodule category for gl(m|n) are presented.     

The Fusion Algebra of Bimodule Categories

We establish an algebra-isomorphism between the complexified Grothendieck ring of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This provides a purely categorical proof of a conjecture by Ostrik concerning the structure of . As a by-product we obtain a concrete expression for the structure constants of the Grothendieck ring of the bimodule category in terms of endomorphisms of the tensor unit of the underlying modular tensor category.      

Noncommutative Artin motives

In this article, we introduce the category of noncommutative Artin motives as well as the category of noncommutative mixed Artin motives. In the pure world, we start by proving that the classical category ${{\mathrm{AM}}}(k)_\mathbb Q $ of Artin motives (over a base field k) can be characterized as the largest category inside Chow motives which fully embeds into noncommutative Chow motives. Making use of a refined bridge between pure motives and noncommutative pure motives, we then show that the image of this full embedding, which we call the category ${{\mathrm{NAM}}}(k)_\mathbb Q $ of noncommutative Artin motives, is invariant under the different equivalence relations and modification of the symmetry isomorphism constraints. As an application, we recover the absolute Galois group $\mathrm{Gal}(\overline{k}/k)$ from the Tannakian formalism applied to ${{\mathrm{NAM}}}(k)_\mathbb Q $ . Then, we develop the base-change formalism in the world of noncommutative pure motives. As an application, we obtain new tools for the study of motivic decompositions and Schur/Kimura finiteness. Making use of this theory of base-change, we then construct a short exact sequence relating $\mathrm{Gal}(\overline{k}/k)$ with the noncommutative motivic Galois groups of k and $\overline{k}$ . Finally, we describe a precise relationship between this short exact sequence and the one constructed by Deligne–Milne. In the mixed world, we introduce the triangulated category ${{\mathrm{NMAM}}}(k)_\mathbb Q $ of noncommutative mixed Artin motives and construct a faithful functor from the classical category ${{\mathrm{MAM}}}(k)_\mathbb Q $ of mixed Artin motives to it. When k is a finite field, this functor is an equivalence. On the other hand, when k is of characteristic zero ${{\mathrm{NMAM}}}(k)_\mathbb Q $ is much richer than ${{\mathrm{MAM}}}(k)_\mathbb Q $ since its higher Ext-groups encode all the (rationalized) higher algebraic $K$ -theory of finite étale k-schemes. In the appendix, we establish a general result about short exact sequences of Galois groups which is of independent interest. As an application, we obtain a new proof of Deligne–Milne’s short exact sequence.     

An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories

We present a categorical characterization of term graphs (i.e., finite, directed acyclic graphs labeled over a signature) that parallels the well-known characterization of terms as arrows of the algebraic theory of a given signature (i.e., the free Cartesian category generated by it). In particular, we show that term graphs over a signature are one-to-one with the arrows of the free gs-monoidal category generated by . Such a category satisfies all the axioms for Cartesian categories but for the naturality of two transformations (the discharger ! and the duplicator ), providing in this way an abstract and clear relationship between terms and term graphs. In particular, the absence of the naturality of and ! has a precise interpretation in terms of explicit sharing and of loss of implicit garbage collection, respectively.     

Curves on Quasi-Schemes

This paper concerns curves on noncommutative schemes, hereafter called quasi-schemes. Aquasi-scheme X is identified with the category ofquasi-coherent sheaves on it. Let X be a quasi-scheme having a regularly embeddedhypersurface Y. Let C be a curve on X which is in good position withrespect to Y (see Definition 5.1) – this definition includes a requirement that Xbe far from commutative in a certain sense. Then C is isomorphic to , where n is the number of points of intersection of Cwith Y. Here , or rather , is the quotient category -graded modules over the commutative polynomial ring, modulo the subcategory ofmodules having Krull dimension n – 2. This is a hereditary category whichbehaves rather like , the category of quasi-coherentsheaves on .     

EXTENDING SCHEMES TO A CARTESIAN CLOSED CATEGORY

Abstract

Our objective was to embed schemes of finite type over a field k in a suitably small Cartesian closed category. Two types of globalized versions of an ind-affine scheme were proposed: locally ind-affine ringed spaces and ind-schemes obtained by taking the inductive limit of closed subschemes of a locally ind-affine ringed space in ringed spaces. First in ε case some reasonably general conditions implying that translations, basic open subsets and closed subsets of an ind-affine scheme are again ind-affine schemes were obtained. Certain immersive properties of locally ind-affine ringed spaces are shown. As an adjunct we then determine a class of locally ind-affine ringed spaces which since they patch appropriately are ind-schemes. A restriction of locally ind-affine ringed spa1 leads to the category of locally ind-affine schemes (containing the category of schemes of finite type over k) which is see1 to be Cartesian closed with respect to the contravariant variable. Possible extensions to the covariant variable are studied.     

On the structure of commutative affine group schemes over a non-perfect field

Let k be a non-perfect field of characteristic p>O with a p-basisB and k_s the algebraic separable closure of k. Starting from the ring of Schoeller D ^B [3] and the topological Galois group II of k_s over k, we construct a new ring such that the category of commutative affine k-group schemes is anti-equivalent to the category ofeffaceable left -modules. (The effaceability is defined in the text).     

The crystal commutor and Drinfeld’s unitarized <Emphasis Type="Italic">R</Emphasis>-matrix

Drinfeld defined a unitarized R-matrix for any quantum group . This gives a commutor for the category of representations, making it into a coboundary category. Henriques and Kamnitzer defined another commutor which also gives representations the structure of a coboundary category. We show that a particular case of Henriques and Kamnitzer’s construction agrees with Drinfeld’s commutor. We then describe the action of Drinfeld’s commutor on a tensor product of two crystal bases, and explain the relation to the crystal commutor. P. Tingley was supported by the RTG grant DMS-0354321.     

Hopf Galois扩张与Hopf模结构定理

设Ｈ是域ｋ上任意的Ｈｏｐｆ代数。本文首先讨论了右Ｈ＿扩张Ａ／Ａ￣（ｃｏＨ）与Ｈｏｐｆ模范畴，给出了Ａ／Ａ￣（ｃｏＨ）为右Ｈ－Ｇａｌｏｉｓ扩张的充分必要条件和Ｈｏｐｆ模范畴满足结构定理的若干等价条件．然后我们讨论了不可约作用与除环的Ｇａｌｏｉｓ扩张．     

余拟三角弱Hopf群代数与辫子Monoidal范畴

In this paper, we first give the definitions of a crossed left π-H-comodules over a crossed weak Hopf π-algebra H, and show that the category of crossed left π-H-comodules is a monoidal category. Finally, we show that a family σ = {σα,β: Hα Hβ→ k}α,β∈πof k-linear maps is a coquasitriangular structure of a crossed weak Hopf π-algebra H if and only if the category of crossed left π-H-comodules over H is a braided monoidal category with braiding defined by σ.     

Monads generated by monoids

In this note we consider monoids in and (tensored) monadson a monoidal categoryV. We prove the canonical inclusion functor from the category of monoids inV to the category of monads onV to be coadjoint. Furthermore, we show that this adjunction is induced by a monoidal adjunction. We characterize the monads generated by monoids (by means of the inclusion functor).Finally we consider an application to commutative monads (and monoids) and discuss possible generalizations. Some parts of our results have been obtained by M.C. Bunge and H. Wolff in the case of a symmetric monoidal closed category.     

Fibre functors of finite dimensional comodules

Let A be a commutative Hopf algebra over a field k; the k-valued fibre functors on the category of finite dimensional A-comodules correspond to Spec(A)-torsors over k as was shown by Saavedra Rivano and Deligne-Milne. We prove a non-commutative version of this result by using methods developed in a previous paper [5] for the case of finite Hopf algebras over a commutative ring. We also exhibit right adjoints for fibre functors under the assumption that the antipode is bijective.     

Bialgebras Over Noncommutative Rings and a Structure Theorem for Hopf Bimodules

It is a key property of bialgebras that their modules have a natural tensor product. More precisely, a bialgebra over k can be characterized as an algebra H whose category of modules is a monoidal category in such a way that the underlying functor to the category of k-vector spaces is monoidal (i.e. preserves tensor products in a coherent way). In the present paper we study a class of algebras whose module categories are also monoidal categories; however, the underlying functor to the category of k-vector spaces fails to be monoidal. Instead, there is a suitable underlying functor to the category of B-bimodules over a k-algebra B which is monoidal with respect to the tensor product over B. In other words, we study algebras L such that for two L-modules V and W there is a natural tensor product, which is the tensor product V_BW over another k-algebra B, equipped with an L-module structure defined via some kind of comultiplication of L. We show that this property is characteristic for ×_B-bialgebras as studied by Sweedler (for commutative B) and Takeuchi. Our motivating example arises when H is a Hopf algebra and A an H-Galois extension of B. In this situation, one can construct an algebra L:=L(A,H), which was previously shown to be a Hopf algebra if B=k. We show that there is a structure theorem for relative Hopf bimodules in the form of a category equivalence . The category on the left hand side has a natural structure of monoidal category (with the tensor product over A) which induces the structure of a monoidal category on the right hand side. The ×_B-bialgebra structure of L that corresponds to this monoidal structure generalizes the Hopf algebra structure on L(A,H) known for B=k. We prove several other structure theorems involving L=L(A,H) in the form of category equivalences .     

On a Plus-Construction for Algebras over an Operad

We prove a analogous to Quillen's plus-construction in the category of algebras over an operad. For that purpose we prove that this category is a closed model category and prove the existence of an obstruction theory. We apply further this plus-construction for the specific cases of Lie algebras and Leibniz algebras which are a noncommutative version of Lie algebras: let sl(A) be the kernel of the trace map gl(A)A/[A,A], where A is an associative algebra with unit and gl(A) is the Lie algebra of matrices over A. Then the homotopy of slA)⁺ in the category of Lie algebras is the cyclic homology of A whereas it is the Hochschild homology of A in the category of Leibniz algebras.     

The algebra of directed complexes

The theory of directed complexes is a higher-dimensional generalisation of the theory of directed graphs. In a directed graph, the simple directed paths form a subset of the free category which they generate; if the graph has no directed cycles, then the simple directed paths constitute the entire category. Generalising this, in a directed complex there is a class of split subsets which is contained in and generates a free -category; when a simple loop-freeness condition is satisfied, the split sets constitute the entire -category. The class of directed complexes is closed under the natural product and join constructions. The free -categories generated by directed complexes include the important examples associated to cubes and simplexes.