Recovering Quivers from Derived Quiver Representations

We compute Balmer's prime spectrum for the derived category of quiver representations for a finite ordered quiver with the vertex-wise tensor product and show that it does not recover the quiver. We then associate an algebra to every k-linear triangulated tensor category and show that the path algebra can be recovered in this way.     

Walker's Cancellation Theorem

Walker's cancellation theorem says that, if B ⊕ Z is isomorphic to C ⊕ Z in the category of abelian groups, then B is isomorphic to C. We construct an example in a diagram category of abelian groups where the theorem fails. As a consequence, the original theorem does not have a constructive proof even if B and C are subgroups of the free abelian group on two generators. Both of these results contrast with a group whose endomorphism ring has stable range one, which allows a constructive proof of cancellation and also a proof in any diagram category.     

Relative Group Cohomology and The Orbit Category

Let G be a finite group and ? be a family of subgroups of G closed under conjugation and taking subgroups. We consider the question whether there exists a periodic relative ?-projective resolution for ? when ? is the family of all subgroups H ≤ G with rk H ≤ rkG ? 1. We answer this question negatively by calculating the relative group cohomology ?H*(G, 𝔽₂) where G = ?/2 × ?/2 and ? is the family of cyclic subgroups of G. To do this calculation we first observe that the relative group cohomology ?H*(G, M) can be calculated using the ext-groups over the orbit category of G restricted to the family ?. In second part of the paper, we discuss the construction of a spectral sequence that converges to the cohomology of a group G and whose horizontal line at E ₂ page is isomorphic to the relative group cohomology of G.     

Cluster Categories Coming from Cyclic Posets

Cyclic posets are generalizations of cyclically ordered sets. In this article, we show that any cyclic poset gives rise to a Frobenius category over any discrete valuation ring R. The stable category of a Frobenius category is always triangulated and has a cluster structure in many cases. The continuous cluster categories of [14 Igusa , K. , Todorov , G. ( 2013 ). Continuous Frobenius categories . Proceedings of the Abel Symposium 2011 : 115 – 143 .[Crossref] , [Google Scholar]], the infinity-gon of [12 Holm , T. , Jøot rgensen , P. ( 2012 ). On a cluster category of infinite Dynkin type, and the relation to triangulations of the infinity-gon . Math. Z. 270 : 277 – 295 .[Crossref], [Web of Science ®] , [Google Scholar]], and the m-cluster category of type A _∞ (m ≥ 3) [13 Holm , T. , Jøot rgensen , P. ( 2015 ). Cluster tilting vs. weak cluster tilting in Dynkin type A infinity . Forum Math. 27 : 1117 – 1137 .[Crossref], [Web of Science ®] , [Google Scholar]] are examples of this construction as well as some new examples such as the cluster category of ?². An extension of this construction and further examples are given in [16 Igusa, K., Todorov, G. Continuous Cluster Categories of Type D. arXiv:1309.7409 . [Google Scholar]].     

Quantaloid-enriched 范畴上的闭包算子与闭包系统

In this paper, we introduce the fundamental notions of closure operator and closure system in the framework of quantaloid-enriched category. We mainly discuss the relationship between closure operators and adjunctions and establish the one-to-one correspondence between closure operators and closure systems on quantaloid-enriched categories.     

Cartesian Closed Categories of F Z-domains

A subset systemZassigns to each partially ordered setPa certain collectionZ(P) of subsets. In this paper, a new kind of subset systems called directable subset systems is introduced. For a directable subset system Z, the concepts of F Z-way-below relation and F Z-domain are introduced. The well-known Scott topology is naturally generalized to the Z-level and the resulting topology is calledF Z-Scott topology, and the continuous functions with respect to this topology are characterized by preserving the suprema of directed Z-sets. Then, we mainly consider a generalization of the cartesian closedness of the categories DCPO of directed complete posets, BF of bifinite domains and FS ofF Sdomains to the Z-level. Corresponding to them, it is proved that, for a suitable subset system Z, the categories FZCPO ofZ-complete posets,FSFZ of finitely separated FZ-domains andBFFZ of bifiniteF Z-domains are all cartesian closed. Some examples of these categories are given.     

Calculus of Functorial Morphisms

We prove that, if F, G: 𝒞 → 𝒟 are two right exact functors between two Grothendieck categories such that they commute with coproducts and U is a generator of 𝒞, then there is a bijection between Nat(F, G) and the centralizer of Hom_𝒟(F(U), G(U)) considered as an Hom_𝒞(U, U)-Hom_𝒞(U, U)-bimodule. We also prove a dual of this result and give applications to Frobenius functors between Grothendieck categories.     

The Exchange Property in Grothendieck Categories: Applications

We introduce the concept of an object with the (finite) exchange property in an arbitrary Grothendieck category, and we present the basic properties of such an object. Applications are given for categories of graded modules and for categories of comodules over a coalgebra. Among other results, it is proved that an arbitrary coalgebra 𝒞 over a field has the finite exchange property.     

Maschke Type Theorems for Nonassociative Hopf Algebras

In this article, we give necessary and sufficient conditions for a possibly nonassociative comodule algebra over a nonassociative Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the associative setting. Also, from this result we deduce a version of Maschke's Theorems and the consequent characterization of projectives for (H, B)-Hopf triples associated with a nonassociative Hopf algebra H and a nonassociative right H-comodule algebra B.