Reduction of derived Hochschild functors over commutative algebras and schemes

We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of S-modules D, and natural reduction isomorphisms for all complexes of S-modules N and all complexes M of finite flat dimension over K whose homology H(M) is finitely generated over S; such isomorphisms determine D up to derived isomorphism. Using Grothendieck duality theory we establish analogous isomorphisms for any essentially finite-type flat map of noetherian schemes, with f^!OY in place of D.     

Affine Jacquet functors and Harish-Chandra categories

We define an affine Jacquet functor and use it to describe the structure of induced affine Harish-Chandra modules at noncritical levels, extending the theorem of Kac and Kazhdan on the structure of Verma modules in the Bernstein-Gelfand-Gelfand categories O for Kac-Moody algebras. This is combined with a vanishing result for certain extension groups to construct a block decomposition of the categories of affine Harish-Chandra modules of Lian and Zuckerman. The latter provides an extension of the works of Rocha-Caridi and Wallach [A. Rocha-Caridi, N.R. Wallach, Projective modules over infinite dimensional graded Lie algebras, Math. Z. 180 (1982) 151-177] and Deodhar, Gabber and Kac [V. Deodhar, O. Gabber, V. Kac, Structure of some categories of representations of infinite-dimensional Lie algebras, Adv. Math. 45 (1982) 92-116] on block decompositions of BGG categories for Kac-Moody algebras. We also derive a compatibility relation between the affine Jacquet functor and the Kazhdan-Lusztig tensor product and apply it to prove that the affine Harish-Chandra category is stable under fusion tensoring with the Kazhdan-Lusztig category. This compatibility will be further applied in studying translation functors for the affine Harish-Chandra category, based on the fusion tensor product.     

Reynolds operator on functors

Let be an affine R-monoid scheme. We prove that the category of dual functors (over the category of commutative R-algebras) of G-modules is equivalent to the category of dual functors of A^∗-modules. We prove that G is invariant exact if and only if A^∗=R×B^∗ as R-algebras and the first projection A^∗→R is the unit of A. If M is a dual functor of G-modules and w_G?(1,0)∈R×B^∗=A^∗, we prove that M^G=w_G⋅M and M=w_G⋅M⊕(1−w_G)⋅M; hence, the Reynolds operator can be defined on M.     

Secondary derived functors and the Adams spectral sequence

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of “additive groupoid enriched categories”, in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show that the E₃-term of the Adams spectral sequence can be expressed as a secondary derived functor. This result can be used to compute the E₃-term explicitly by an algorithm.     

Extension groups between simple Mackey functors

In order to better understand the structure of indecomposable projective Mackey functors, we study extension groups of degree 1 between simple Mackey functors. We explicitly determine these groups between simple functors indexed by distinct normal subgroups. We next study the conditions under which it is possible to restrict ourselves to that case, and we give methods for calculating extension groups between simple Mackey functors which are not indexed by normal subgroups. We then focus on the case where the simple Mackey functors are indexed by the same subgroup. In this case, the corresponding extension group can be embedded in an extension group between modules over a group algebra, and we describe the image of this embedding. In particular, we determine all extension groups between simple Mackey functors for a p-group and for a group that has a normal p-Sylow subgroup. Finally, we compute higher extension groups between simple Mackey functors for a group that has a p-Sylow subgroup of order p.     

Higher order derived functors and the Adams spectral sequence

Classical homological algebra studies chain complexes, resolutions, and derived functors in additive categories. In this paper we define higher order chain complexes, resolutions, and derived functors in the context of a new type of algebraic structure, called an algebra of left cubical balls  . We show that higher order resolutions exist in these algebras, and that they determine higher order Ext-groups. In particular, the _Em$E_m$-term of the Adams spectral sequence (m>2)$(m>2)$ is such a higher Ext-group, providing a new way of constructing its differentials.     

Calculus of functors and model categories

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure [B. Chorny, W.G. Dwyer, Homotopy theory of small diagrams over large categories, preprint, 2005]. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the n-homogeneous model structure, the nth derivative is a Quillen functor to the category of spectra with Σn-action. After taking into account only finitary functors—which may be done in two different ways—the above Quillen map becomes a Quillen equivalence. This improves the classification of finitary homogeneous functors by T.G. Goodwillie [T.G. Goodwillie, Calculus. III. Taylor series, Geom. Topol. 7 (2003) 645-711 (electronic)].     

Notes on several orthogonal classes of flat and FP-injective functors

In this paper, we develop relative homological algebra in the category of functors from finitely presented modules to Abelian groups. More specifically, we introduce the concepts of $\mathfrak{F}$ -injective, $\mathfrak{F}$ -projective and $\mathfrak{F}$ -flat functors. Such functors appear when we study covers and envelopes of functors. The relationships among these functors are investigated and some applications are given.     

Exact categories

We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3×3$3\times 3$-lemma and the snake lemma. We briefly discuss exact functors, idempotent completion and weak idempotent completeness. We then show that it is possible to construct the derived category of an exact category without any embedding into abelian categories and we sketch Deligne's approach to derived functors. The construction of classical derived functors with values in an abelian category painlessly translates to exact categories, i.e., we give proofs of the comparison theorem for projective resolutions and the horseshoe lemma. After discussing some examples we elaborate on Thomason's proof of the Gabriel–Quillen embedding theorem in an appendix.     

Monoidal functors on the category of representations of a triangular Hopf algebra

Let (H,R) be a triangular Hopf algebra. The monoidal functors on the category of representations ofH is studied, and a universal quantum commutative algebraSeR(M) and a dual H°-comoduleM° for any H-moduleM with an integrale are constructed. Both constructions given here have tensor isomorphism properties. Project supported by the National Natural Science Foundation of China.     

Stable functors of derived equivalences and Gorenstein projective modules

From certain triangle functors, called nonnegative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the stable categories of the abelian categories. The construction generalizes a previous work by Hu and Xi. We show that the stable functors of nonnegative functors have nice exactness property and are compatible with composition of functors. This allows us to compare conveniently the homological properties of objects linked by the stable functors. In particular, we prove that the stable functor of a derived equivalence between two arbitrary rings provides an explicit triangle equivalence between the stable categories of Gorenstein projective modules. This generalizes a result of Y. Kato. Our results can also be applied to provide shorter proofs of some known results on homological conjectures.     

An equivariant tensor product on Mackey functors

For all subgroups H of a cyclic p-group G we define norm functors that build a G-Mackey functor from an H-Mackey functor. We give an explicit construction of these functors in terms of generators and relations based solely on the intrinsic, algebraic properties of Mackey functors and Tambara functors. We use these norm functors to define a monoidal structure on the category of Mackey functors where Tambara functors are the commutative ring objects.     

Adjoint functors and equivalences of subcategories

For any left R-module P with endomorphism ring S, the adjoint pair of functors P⊗_S− and Hom_R(P,−) induce an equivalence between the categories of P-static R-modules and P-adstatic S-modules. In particular, this setting subsumes the Morita theory of equivalences between module categories and the theory of tilting modules. In this paper we consider, more generally, any adjoint pair of covariant functors between complete and cocomplete Abelian categories and describe equivalences induced by them. Our results subsume the situations mentioned above but also equivalences between categories of comodules.     

The Drinfeld center of the category of Mackey functors

Let G be a finite group. The category of Mackey functors for G is a tensor category. We show that the Drinfeld center of this category is equivalent to the category of Mackey functors on a category of G-sets equipped with automorphisms.     

Rigidity for orientable functors

In the following paper we introduce the notion of orientable functor (orientable cohomology theory) on the category of projective smooth schemes and define a family of transfer maps. Applying this technique, we prove that with finite coefficients orientable cohomology of a projective variety is invariant with respect to the base-change given by an extension of algebraically closed fields. This statement generalizes the classical result of Suslin, concerning algebraic K-theory of algebraically closed fields. Besides K-theory, we treat such examples of orientable functors as etale cohomology, motivic cohomology, algebraic cobordism. We also demonstrate a method to endow algebraic cobordism with multiplicative structure and Chern classes.     

Rational Mackey functors for compact lie groups I

A Mackey functor M is a structure analogous to the representationring functor H R(H) encoding good formal behaviour under inductionand restriction. More explicitly, M associates an abelian groupM(H) to each closed subgroup H of a fixed compact Lie groupG, and to each inclusion K H it associates a restriction map and an induction map . This paper gives an analysis of thecategory of Mackey functors M whose values are rational vectorspaces: such a Mackey functor may be specified by giving a suitablycontinuous family consisting of a Q ₀(W_G(H))-module V(H) foreach closed subgroup H with restriction maps V(K) V(K) wheneverK is normal in K and K/K is a torus (a ‘continuous Weyl-toralmodule’). We show that the category of rational Mackeyfunctors is equivalent to the category of rational continuousWeyl-toral modules. In Part II this will be used to give analgebraic analysis of the category of rational Mackey functors,showing in particular that it has homological dimension equalto the rank of the group. 1991 Mathematics Subject Classification:19A22, 20C99, 22E15, 55N91, 55P42, 55P91.     

Derived Functors of Graded Theories

The homotopy category of one point unions of spheres and the homotopy category of Eilenberg–MacLane spaces are examples of graded theories. Spaces yield models of these theories which can be described in terms of iterated comma categories given by functors. The associated derived functors play an important role in spectral sequences computing homotopy groups. Using cross-effect methods, the derived functors are studied and the existence of a vanishing line is proven.