On the derived category of quasi-coherent sheaves on an Adams geometric stack

Let $\mathsf{X}$ be an Adams geometric stack. We show that $\mathsf{D}({\mathsf{A}}_{\mathsf{qc}}(\mathsf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland in [13]. Moreover we show how this structure relates to the derived category of comodules over a Hopf algebroid that determines $\mathsf{X}$.     

Locally torsion-free quasi-coherent sheaves

Let X   be an arbitrary scheme. It is known that the category Qcoh(X)$\mathfrak{Qcoh}(X)$ of quasi-coherent sheaves admits arbitrary products. However its structure seems to be rather mysterious. In the present paper we will describe the structure of the product object of a family of locally torsion-free objects in Qcoh(X)$\mathfrak{Qcoh}(X)$, for X an integral scheme. Several applications are provided. For instance it is shown that the class of flat quasi-coherent sheaves on a Dedekind scheme X   is closed under arbitrary direct products, and that the class of all locally torsion-free quasi-coherent sheaves induces a hereditary torsion theory on Qcoh(X)$\mathfrak{Qcoh}(X)$. Finally torsion-free covers are shown to exist in Qcoh(X)$\mathfrak{Qcoh}(X)$.     

The category of modules over a monoidal category: Abelian or not?

LetA be an algebra in an abelian monoidal category M. We prove that the category of leftA-modules is abelian, wheneverA is right coflat. This paper was written while the author was member of G.N.S.A.G.A. with partial financial support from M.I.U.R.     

Structure sheaves of definable additive categories

We prove that the 2-category of small abelian categories with exact functors is anti-equivalent to the 2-category of definable additive categories. We define and compare sheaves of localisations associated to the objects of these categories. We investigate the natural image of the free abelian category over a ring in the module category over that ring and use this to describe a basis for the Ziegler topology on injectives; the last can be viewed model-theoretically as an elimination of imaginaries result.     

The derived category of quasi-coherent sheaves and axiomatic stable homotopy

We prove in this paper that for a quasi-compact and semi-separated (nonnecessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(Aqc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and Strickland, answering a question posed by Strickland. Moreover we show that it is unital and algebraic. We also prove that for a noetherian semi-separated formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies Dqct(X) is a stable homotopy category. It is algebraic but if the formal scheme is not a usual scheme, it is not unital, therefore its abstract nature differs essentially from that of the derived category Dqc(X) (which is equivalent to D(Aqc(X))) in the case of a usual scheme.     

Locally finitely presented categories of sheaves

Let A be a locally finitely presented Grothendieck category. It is shown that a class of localizations of A in the sense of Bousfield is again locally finitely presented. The criterion is applied to torsion-free classes in A, sheaves and separated presheaves on a generalized ringed space, and representations of partially ordered sets.     

Morita equivalence of quasi-primal algebras and sheaves

In this paper, we show that two quasi-primal algebras are Morita equivalent if and only if their inverse semigroups of inner automorphisms are isomorphic, and if they have the same one-element subalgebras. The proof of this statement uses the representation theory of algebras by sections in sheaves.Presented by H. P. Gumm.     

Dualizing complexes and perverse sheaves on noncommutative ringed schemes

A quasi-coherent ringed scheme is a pair (X, $$ \mathcal{A} $$), where X is a scheme, and $$ \mathcal{A} $$ is a noncomutative quasi-coherent $$ \mathcal{O}_X $$ -ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated differential quasi-coherent ringed scheme of finite type over a field, we prove existence and uniqueness of a rigid dualizing complex. In the proof we use the theory of perverse coherent sheaves in order to glue local pieces of the rigid dualizing complex into a global complex.     

CS Modules Relative to a Torsion Theory

In this article we introduce two new concepts, those of a τ-CS and a s-τ-CS module, which are both torsion-theoretic analogues of CS modules. We investigate their relationship with the familiar concepts of τ-injective, τ-simple and τ-uniform modules and compare them with τ-complemented (τ-injective) modules, which were considered by other authors as torsion-theoretic analogues of CS modules. We are interested in decomposing a relatively CS module into indecomposable submodules, and in determining when a direct sum of relatively CS modules is relatively CS. This paper forms part of the Ph.D. thesis of the first author, written under the supervision of the second author. The first author gratefully acknowledges the support of the Commonwealth Scholarship and Fellowship Committee of New Zealand.     

NILPOTENCY,SOLVABILITY AND RADICALS IN CATEGORIES

Abstract

Nilpotent and solvable ideals are defined and investigated in categories. The relation between the prime radical and the sum of the solvable ideals (which is also a radical) is discussed in categories. For example: If an object satisfies the maximal condition for ideals, then the prime radical is equal to the sum of the solvable ideals. Certain generalizations of theorems in rings, groups, Lie algebras, etc. are also proven, for example: An ideal α: I → A is semiprime if and only if A/I contains no non-zero nilpotent ideals.     

GRADED MATLIS DUALITY AND APPLICATIONS TO COVERS

Abstract

We study homological properties of graded Matlis duality and apply them to get covers by Gorenstein gr-projective modules. We show that these covers are minimal graded maximal Cohen-Macaulay approximations in some cases.     

Modularity in the lattice of Σ-permutable subgroups

For a Hall system of a finite solvable group G, it is known that the set of -permutable subgroups is a sublattice of the subgroup lattice of G. We investigate the class SPM of groups in which the lattice is modular. We prove that if is modular, then U V for all (an evidently stronger condition). Both of these phenomena—the modularity of and whether two -permutable subgroups U and V permute with each other—are shown to be determined locally, by what happens at each prime. The class SPM is shown to be quotient closed, but not direct product or subgroup closed.This revised electronic version of the Abstract includes the formulas that were missing in the previous electronic version published online in September 2004.     

The category of 3-computads is not cartesian closed

We show, using [A. Carboni, P.T. Johnstone, Connected limits, familial representability and Artin glueing, Math. Structures Comput. Sci. 5 (1995) 441-459] and Eckmann-Hilton argument, that the category of 3-computads is not cartesian closed. As a corollary we get that neither the category of all computads nor the category of n-computads, for n>2, do form locally cartesian closed categories, and hence elementary toposes.     

On derived equivalences of categories of sheaves over finite posets

A finite poset X carries a natural structure of a topological space. Fix a field k, and denote by D^b(X) the bounded derived category of sheaves of finite dimensional k-vector spaces over X. Two posets X and Y are said to be derived equivalent if D^b(X) and D^b(Y) are equivalent as triangulated categories.We give explicit combinatorial properties of X which are invariant under derived equivalence; among them are the number of points, the Z-congruency class of the incidence matrix, and the Betti numbers. We also show that taking opposites and products preserves derived equivalence.For any closed subset Y⊆X, we construct a strongly exceptional collection in D^b(X) and use it to show an equivalence D^b(X)?D^b(A) for a finite dimensional algebra A (depending on Y). We give conditions on X and Y under which A becomes an incidence algebra of a poset.We deduce that a lexicographic sum of a collection of posets along a bipartite graph S is derived equivalent to the lexicographic sum of the same collection along the opposite .This construction produces many new derived equivalences of posets and generalizes other well-known ones.As a corollary we show that the derived equivalence class of an ordinal sum of two posets does not depend on the order of summands. We give an example that this is not true for three summands.     

Source modules of blocks with normal defect groups

We describe source modules of blocks with normal defect groups over arbitrary ground fields. If a defect Brauer pair of a block is also normalized, we show that there is a graded Morita equivalence between the block and its source algebra. The second author acknowledges the support of a Bolyai Fellowship of the Hungarian Academy of Science. Received: 3 April 2006     

Invertible bimodule categories over the representation category of a Hopf algebra

For any finite-dimensional Hopf algebra H   we construct a group homomorphism BiGal(H)→BrPic(Rep(H))$\mathrm{BiGal}(H)\to \text{BrPic}(\mathrm{Rep}(H))$, from the group of equivalence classes of H  -biGalois objects to the group of equivalence classes of invertible exact Rep(H)$\mathrm{Rep}(H)$-bimodule categories. We discuss the injectivity of this map. We exemplify in the case H=_Tq$H=T_q$ is a Taft Hopf algebra and for this we classify all exact indecomposable Rep(_Tq)$\mathrm{Rep}(T_q)$-bimodule categories.     

Quantales and their sheaves

A quantale is a complete lattice provided with a binary multiplication which, in particular, distributes over in each variable. First we study the quantales, their morphisms, their points and the relations with the theory of locales: the case where the multiplication is just the meet. We describe the presheaves and sheaves on a quantale and exhibit a link between the corresponding toposes and quantum logic.Research supported by NATO grant 476/84.     

Automorphism groups of nilpotent groups

We construct a full class of nilpotent groups of class 2 of an arbitrary infinite cardinality . Their centers, commutator subgroups and factors modulo the center will be the same and a homogeneous direct sum of a group of rank 1 or 2. Their automorphism groups will coincide and the factor group modulo the stabilizer could be an arbitrary group of size $\leqq$ .