Subtractive Categories and Extended Subtractions

We introduce a notion of an extended operation which should serve as a new tool for the study of categories like Mal’tsev, unital, strongly unital and subtractive categories. However, in the present paper we are only concerned with subtractive categories, and accordingly, most of the time we will deal with extended subtractions, which are particular instances of extended operations. We show that these extended subtractions provide new conceptual characterizations of subtractive categories and moreover, they give an enlarged “algebraic tool” for working in a subtractive category—we demonstrate this by using them to describe the construction of associated abelian objects in regular subtractive categories with finite colimits. Also, the definition and some basic properties of abelian objects in a general subtractive category is given for the first time in the present paper. The second author acknowledges the support of Claude Leon Foundation, INTAS (06-1000017-8609) and Georgian National Science Foundation (GNSF/ST06/3-004).     

Endomorphism category of an abelian category

Let 𝒞 be an additive category. Denote by End(𝒞) the endomorphism category of 𝒞, i.e., the objects in End(𝒞) are pairs (C,c) with C∈𝒞,c∈End_𝒞(C), and a morphism f:(C,c)→(D,d) is a morphism f∈Hom_𝒞(C,D) satisfying fc?=?df. This paper is devoted to an approach of the general theory of the endomorphism category of an arbitrary additive category. It is proved that the endomorphism category of an abelian category is again abelian with an induced structure without nontrivial projective or injective objects. Furthermore, the endomorphism category of any nontrivial abelian category is nonsemisimple and of infinite representation type. As an application, we show that two unital rings are Morita equivalent if and only if the endomorphism categories of their module categories are equivalent.     

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.     

Models for homotopy categories of injectives and Gorenstein injectives

A natural generalization of locally noetherian and locally coherent categories leads us to define locally type FP_∞ categories. They include not just all categories of modules over a ring, but also the category of sheaves over any concentrated scheme. In this setting we generalize and study the absolutely clean objects recently introduced in [5 Bravo, D., Gillespie, J., Hovey, M. The stable module category of a general ring (arXiv:1405.5768). [Google Scholar]]. We show that 𝒟(𝒜𝒞), the derived category of absolutely clean objects, is always compactly generated and that it is embedded in K(Inj), the chain homotopy category of injectives, as a full subcategory containing the DG-injectives. Assuming the ground category 𝒢 has a set of generators satisfying a certain vanishing property, we also show that there is a recollement relating 𝒟(𝒜𝒞) to the (also compactly generated) derived category 𝒟(𝒢). Finally, we generalize the Gorenstein AC-injectives of [5 Bravo, D., Gillespie, J., Hovey, M. The stable module category of a general ring (arXiv:1405.5768). [Google Scholar]], showing that they are the fibrant objects of a cofibrantly generated model structure on 𝒢.     

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.     

Subtractive Categories

We introduce a notion of a subtractive category. It generalizes the notion of a pointed subtractive variety of universal algebras in the sense of A. Ursini. Subtractive categories are closely related to Mal’tsev and additive categories: (i) a category C with finite limits is a Mal’tsev category if and only if for every object X in C the category Pt(X)=((X,1_X)↓(C↓X)) of “points over X” is subtractive; (ii) a pointed category C with finite limits is additive if and only if C is subtractive and half-additive.Mathematics Subject Classifications (2000) 18C99, 18E05, 08B05.     

Categorical Morita Equivalence for Group-Theoretical Categories

A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the dual of a pointed semisimple category with respect to a module category is pointed, we give explicit formulas for the Grothendieck ring and for the associator of the dual. This leads to the definition of categorical Morita equivalence on the set of all finite groups and on the set of all pairs (G, ω), where G is a finite group and ω ? H ³(G, k ^×). A group-theoretical and cohomological interpretation of this relation is given. A series of concrete examples of pairs of groups that are categorically Morita equivalent but have nonisomorphic Grothendieck rings are given. In particular, the representation categories of the Drinfeld doubles of the groups in each example are equivalent as braided tensor categories and hence these groups define the same modular data.     

Functors of the category of abelian sheaves on regular affine scheme

In this short paper, we prove that ifR is a regular local ring of unequal characteristic, then there exists an additive covariant functorG from the category of abelian sheaves on SpecR to the category of abelian groups such that id _R (G(R))>dimG(R). This result shows that the answer to the question 3.8 (ii) in [3] may be negative.     

Purity and Self-Small Groups

Let A be an abelian group. A group B is A-solvable if the natural map Hom(A, B) ?  _E(A) A → B is an isomorphism. We study pure subgroups of A-solvable groups for a self-small group A of finite torsion-free rank. Particular attention is given to the case that A is in , the class of self-small mixed groups G with G/tG? ? ⁿ for some n < ω. We obtain a new characterization of the elements of , and demonstrate that  differs in various ways from the class  ? of torsion-free abelian groups of finite rank despite the fact that the quasi-category ?  is dual to a full subcategory of ?  ?.     

Finite Groups with Few Non-Abelian Subgroups

Let G be a finite group and τ(G) denote the number of conjugacy classes of all non-abelian subgroups of G. The symbol π(G) denotes the set of the prime divisors of |G|. In this paper, finite groups with τ(G) ≤ |π(G)| are classified completely. Furthermore, finite nonsolvable groups with τ(G) = |π(G)| +1 are determined.     

Weak Cayley Table Groups II: Alternating Groups and Finite Coxeter Groups

A weak Cayley table isomorphism is a bijection φ: G → H of groups such that φ(xy) ～ φ(x)φ(y) for all x, y ∈ G. Here ～denotes conjugacy. When G = H the set of all weak Cayley table isomorphisms φ: G → G forms a group 𝒲(G) that contains the automorphism group Aut(G) and the inverse map I: G → G, x → x ^?1. Let 𝒲₀(G) = ?Aut(G), I? ≤ 𝒲(G) and say that G has trivial weak Cayley table group if 𝒲(G) = 𝒲₀(G). We show that all finite irreducible Coxeter groups (except possibly E ₈) have trivial weak Cayley table group, as well as most alternating groups. We also consider some sporadic simple groups.     

Algebra Structures on the Twisted Eilenberg–Zilber Theorem

Let G, G′, and G ×_τ G′ be three simplicial groups (not necessarily abelian) and C _N (G) ? _t  C _N (G′) be the “twisted” tensor product associated to C _N (G ×_τ G′) by the twisted Eilenberg–Zilber theorem. Here we prove that the pair (C _N (G) ? _t  C _N (G′), μ) is a DGA-algebra where μ is the standard product of C _N (G) ? C _N (G′). Furthermore, the injection of the twisted Eilenberg–Zilber contraction is a DGA-algebra morphism and the projection and the homotopy operator satisfy other weaker multiplicative properties.     

Noncyclic Graph of a Group

We associate a graph Γ _G to a nonlocally cyclic group G (called the noncyclic graph of G) as follows: take G\ Cyc(G) as vertex set, where Cyc(G) = {x ? G| 〈x, y〉 is cyclic for all y ? G}, and join two vertices if they do not generate a cyclic subgroup. We study the properties of this graph and we establish some graph theoretical properties (such as regularity) of this graph in terms of the group ones. We prove that the clique number of Γ _G is finite if and only if Γ _G has no infinite clique. We prove that if G is a finite nilpotent group and H is a group with Γ _G  ? Γ _H and |Cyc(G)| = |Cyc(H)| = 1, then H is a finite nilpotent group. We give some examples of groups G whose noncyclic graphs are “unique”, i.e., if Γ _G  ? Γ _H for some group H, then G ? H. In view of these examples, we conjecture that every finite nonabelian simple group has a unique noncyclic graph. Also we give some examples of finite noncyclic groups G with the property that if Γ _G  ? Γ _H for some group H, then |G| = |H|. These suggest the question whether the latter property holds for all finite noncyclic groups.     

Extensions and biextensions of locally constant group schemes,tori and abelian schemes

Let S be a scheme. We compute explicitly the group of homomorphisms, the S-sheaf of homomorphisms, the group of extensions, and the S-sheaf of extensions involving locally constant S-group schemes, abelian S-schemes, and S-tori. Using the obtained results, we study the categories of biextensions involving these geometrical objects. In particular, we prove that if G _i (for i = 1, 2, 3) is an extension of an abelian S-scheme A _i by an S-torus T _i , the category of biextensions of (G ₁, G ₂) by G ₃ is equivalent to the category of biextensions of the underlying abelian S-schemes (A ₁, A ₂) by the underlying S-torus T ₃.      

Axiomatizing subcategories of Abelian categories

We investigate how to characterize subcategories of abelian categories in terms of intrinsic axioms. In particular, we find axioms which characterize generating cogenerating functorially finite subcategories, precluster tilting subcategories, and cluster tilting subcategories of abelian categories. As a consequence we prove that any d-abelian category is equivalent to a d-cluster tilting subcategory of an abelian category, without any assumption on the categories being projectively generated.     

Non-Nilpotent Graph of a Group

We associate a graph 𝒩 _G with a group G (called the non-nilpotent graph of G) as follows: take G as the vertex set and two vertices are adjacent if they generate a non-nilpotent subgroup. In this article, we study the graph theoretical properties of 𝒩 _G and its induced subgraph on G \ nil(G), where nil(G) = {x ∈ G | ? x, y ? is nilpotent for all y ∈ G}. For any finite group G, we prove that 𝒩 _G has either |Z*(G)| or |Z*(G)| +1 connected components, where Z*(G) is the hypercenter of G. We give a new characterization for finite nilpotent groups in terms of the non-nilpotent graph. In fact, we prove that a finite group G is nilpotent if and only if the set of vertex degrees of 𝒩 _G has at most two elements.     

Exceptional Pairs in Hereditary Categories

We study the category 𝒞(X, Y) generated by an exceptional pair (X, Y) in a hereditary category ?. If r = dim _k Hom(X, Y) ≥ 1 we show that there are exactly 3 possible types for 𝒞(X, Y), all derived equivalent to the category of finite dimensional modules mod(H _r ) over the r-Kronecker algebra H _r . In general 𝒞(X, Y) will not be equivalent to a module category. More specifically, if ? is the category of coherent sheaves over a weighted projective line 𝕏, then 𝒞(X, Y) is equivalent to the category of coherent sheaves on the projective line ?¹ or to mod(H _r ) and, if 𝕏 is wild, then every r ≥ 1 can occur in this way.     

Monomorphism Operator and Perpendicular Operator

For a quiver Q, a k-algebra A, and an additive full subcategory 𝒳 of A-mod, the monomorphism category Mon(Q, 𝒳) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0 → T _m  → … → T ₀ → D(A _A ) → 0 with each T _i  ∈ add(T), then Mon(Q, ^⊥ T) =^⊥(kQ ? _k T); and if T is cotilting, then kQ ? _k T is a unique cotilting Λ-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ^⊥ T) =^⊥(kQ ? _k T).

As applications, the category of the Gorenstein-projective (kQ ? _k A)-modules is characterized as Mon(Q, 𝒢𝒫(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q, 𝒳) can be described; and a sufficient and necessary condition for Mon(Q, A) being of finite type is given.     

Pure ideals quotient categories and infinite group-graded rings

Abstract

Adapting the idea of twisted tensor products to the category of conic algebras (CA), i.e., finitely generated graded algebras, we define a family of objects hom ^?[?, 𝒜] there, one for each pair 𝒜, ? ∈ CA, with analogous properties to its internal coHom objects hom [?, 𝒜], but representing spaces of transformations whose coordinate rings and the ones of their respective domains do not commute among themselves. They give rise to a CA ^op -based category different from that defined by the function (𝒜, ?) ?  hom [?, 𝒜]. The mentioned non commutativity is controlled by a collection of twisting maps τ_{𝒜, ?}. We show, under certain circumstances, that (bi)algebras end ^?[𝒜] ?  hom ^?[𝒜, 𝒜] are counital 2-cocycle twistings of the corresponding coEnd objects end [𝒜]. This fact generalizes the twist equivalence (at a semigroup level) between, for instance, the quantum groups G L _q (n) and their multiparametric versions.     

A New Class of Generalized Thompson's Groups and Their Normal Subgroups

For a given group G and a homomorphism ?: G → G × G, we construct groups ?_?(G), 𝒯_?(G), and 𝒱_?(G) that blend Thompson's groups F, T, and V with G, respectively. Furthermore, we describe the lattice of normal subgroups of the groups ?_Δ(G), where Δ: G → G × G is the diagonal homomorphism, Δ(g) = (g, g).