Representation Dimension and Quasi-hereditary Algebras

We study Auslander's representation dimension of Artin algebras, which is by definition the minimal projective dimension of coherent functors on modules which are both generators and cogenerators. We show the following statements: (1) if an Artin algebra A is stably hereditary, then the representation dimension of A is at most 3. (2) If two Artin algebras are stably equivalent of Morita type, then they have the same representation dimension. Particularly, if two self-injective algebras are derived equivalent, then they have the same representation dimension. (3) Any incidence algebra of a finite partially ordered set over a field has finite representation dimension. Moreover, we use results on quasi-hereditary algebras to show that (4) the Auslander algebra of a Nakayama algebra has finite representation dimension.     

Finiteness conditions in the stable module category

We study groups whose cohomology functors commute with filtered colimits in high dimensions. We relate this condition to the existence of projective resolutions which exhibit some finiteness properties in high dimensions, and to the existence of Eilenberg–Mac Lane spaces with finitely many n-cells for all sufficiently large n. To that end, we determine the structure of completely finitary Gorenstein projective modules over group rings. The methods are inspired by representation theory and make use of the stable module category, in which morphisms are defined through complete cohomology. In order to carry out these methods, we need to restrict ourselves to certain classes of hierarchically decomposable groups.     

Cotorsion Dimension of Unbounded Complexes

We extend the cotorsion dimension of R-modules to unbounded R-complexes by applying the flat model structure on Ch(R) proposed by J. Gillespie. This is not natural because there has been no sufficiently general result available for the existence of proper “cotorsion” resolutions of unbounded complexes, for which one would be able to define the derived functors. The global cotorsion dimension of ring is discussed in our present framework, and the relations between it and other dimensions are investigated as well. Some rings are characterized and some known results are extended.     

Envelopes and Covers by Modules of Finite FP-Injective Dimensions

Let R be a ring, n a fixed non-negative integer and ? the class of all left R-modules of FP-injective dimensions at most n. It is proved that all left R-modules over a left coherent ring R have ?-preenvelopes and ?-covers. Left (right) ?-resolutions and the left derived functors of Hom are used to study the FP-injective dimensions of modules and rings.     

A Note on Finitistic Dimension of Hopf-Galois Extensions

Let H be a finite-dimensional Hopf algebra over a field k and A/B be a right H-Galois extension. If the functors A ?_B ? and _B(?) are both separable, then the finitistic dimension of A is equal to that of B.     

Hereditary triangular matrix comonads

We recognize Harada’s generalized categories of diagrams as a particular case of modules over a monad defined on a finite direct product of additive categories. We work in the dual (albeit formally equivalent) situation, that is, with comodules over comonads. With this conceptual tool at hand, we obtain several of the Harada results with simpler proofs, some of them under more general hypothesis, besides with a characterization of the normal triangular matrix comonads that are hereditary, that is, of homological dimension less than or equal to 1. Our methods rest on a matrix representation of additive functors and natural transformations, which allows us to adapt typical algebraic manipulations from Linear Algebra to the additive categorical setting.     

Categories with Projective Functors

We introduce a notion of a category with full projective functors.It encodes certain common properties of categories appearingin representation theory of Lie groups, Lie algebras and quantumgroups. We describe the left or right exact functors which naturallycommute with projective functors and provide a unified approachto the verification of relations between such functors. 2000Mathematics Subject Classification 17B10.     

On Representable Half-Exact Functors over B

Abstract

Half-exact homotopy functors defined on categories over a fixed base space B generalize cohomology functors with local coefficients. It is proved that such functors, if strongly homotopy invariant, are representable in the sense of EJI. Brown by fiber spaces E → B. The result is a consequence of a reformulation of his fundamental representation theorem in the abstract homotopy theory.     

Semisimple Types in GLn

This paper is concerned with the smooth representation theory of the general linear group G=GL(F) of a non-Archimedean local field F. The point is the (explicit) construction of a special series of irreducible representations of compact open subgroups, called semisimple types, and the computation of their Hecke algebras. A given semisimple type determines a Bernstein component of the category of smooth representations of G; that component is then the module category for a tensor product of affine Hecke algebras; every component arises this way. Moreover, all Jacquet functors and parabolic induction functors connecting G with its Levi subgroups are described in terms of standard maps between affine Hecke algebras. These properties of semisimple types depend on their special intertwining properties which in turn imply strong bounds on the support of coefficient functions.     

On the Projective Dimensions of Mackey Functors

We examine the projective dimensions of Mackey functors and cohomological Mackey functors. We show over a field of characteristic p that cohomological Mackey functors are Gorenstein if and only if Sylow p-subgroups are cyclic or dihedral, and they have finite global dimension if and only if the group order is invertible or Sylow subgroups are cyclic of order 2. By contrast, we show that the only Mackey functors of finite projective dimension over a field are projective. This allows us to give a new proof of a theorem of Greenlees on the projective dimension of Mackey functors over a Dedekind domain. We conclude by completing work of Arnold on the global dimension of cohomological Mackey functors over ?.     

Equivalences of comodule categories for coalgebras over rings

In this article we defined and studied quasi-finite comodules, the cohom functors for coalgebras over rings. Linear functors between categories of comodules are also investigated and it is proved that good enough linear functors are nothing but a cotensor functor. Our main result of this work characterizes equivalences between comodule categories generalizing the Morita-Takeuchi theory to coalgebras over rings. Morita-Takeuchi contexts in our setting is defined and investigated, a correspondence between strict Morita-Takeuchi contexts and equivalences of comodule categories over the involved coalgebras is obtained. Finally, we proved that for coalgebras over QF-rings Takeuchi's representation of the cohom functor is also valid.     

Stable equivalence and rings whose modules are a direct sum of finitely generated modules

The representation theory of a ring Δ has been studied by examining the category of contravariant (additive) functors from the category of finitely generated left Δ-modules to the category of abelian groups. Closely connected with the representation theory of a ring is the study of stable equivalence, which is a relaxing of the notion of Morita equivalence. Here we relate two stably equivalent rings via their respective functor categories and examine left artinian rings with the property that every left Δ-module is a direct sum of finitely generated modules.     

Relative left derived functors of tensor product functors

We introduce and study the relative left derived functor Tor_n^(F,F') (-,-) in the module category, which unifies several related left derived functors. Then we give some criteria for computing the F-resolution dimensions of modules in terms of the properties of Tor_n^(F,F') (-,-). We also construct a complete and hereditary cotorsion pair relative to balanced pairs. Some known results are obtained as corollaries.     

Representation Dimension as a Relative Homological Invariant of Stable Equivalence

Over an Artin algebra Λ many standard concepts from homological algebra can be relativized with respect to a contravariantly finite subcategory of mod-Λ, which contains the projective modules. The main aim of this article is to prove that the resulting relative homological dimensions of modules are preserved by stable equivalences between Artin algebras. As a corollary, we see that Auslander’s notion of representation dimension is invariant under stable equivalence (a result recently obtained independently by Guo). We then apply these results to the syzygy functor for self-injective algebras of representation dimension three, where we bound the number of simple modules in terms of the number of indecomposable nonprojective summands of an Auslander generator.      

On homotopy rigidity of the functor ΣΩ on co-H-spaces

In this paper we study the homotopy rigidity property of the functors ΣΩ and Ω. Our main result is that both functors are homotopy rigid on simply-connected p-local finite co-H-spaces. The result is obtain by a subtle interplay of homotopy decomposition techniques, modular representation theory and the counting principle.     

Reflection functors and symplectic reflection algebras for wreath products

We construct reflection functors on categories of modules over deformed wreath products of the preprojective algebra of a quiver. These functors give equivalences of categories associated to generic parameters which are in the same orbit under the Weyl group action. We give applications to the representation theory of symplectic reflection algebras of wreath product groups.     

Failure of Brown representability in derived categories

Let be a triangulated category with coproducts, the full subcategory of compact objects in . If is the homotopy category of spectra, Adams (Topology 10 (1971) 185–198), proved the following: All homological functors are the restrictions of representable functors on , and all natural transformations are the restrictions of morphisms in . It has been something of a mystery, to what extent this generalises to other triangulated categories. In Neeman (Topology 36 (1997) 619–645), it was proved that Adams’ theorem remains true as long as is countable, but can fail in general. The failure exhibited was that there can be natural transformations not arising from maps in . A puzzling open problem remained: Is every homological functor the restriction of a representable functor on ? In a recent paper, Beligiannis (Relative homological and purity in triangulated categories, 1999, preprint) made some progress. But in this article, we settle the problem. The answer is no. There are examples of derived categories of rings, and homological functors which are not restrictions of representables.     

On module variety dimension for coverings and degenerations of algebras

Given a pair of G-covering functors F¹:R→R₁ and F⁰:R→R₀ such that F⁰ is a Galois covering, the inequality for all z,t, of the dimensions of the first kind module sets under some assumptions is proved (Theorem 2.2). The result is applied to show the equality of the module variety dimensions for some special degenerations of algebras. Certain consequences for preserving wild and tame representation types by G-covering functors are also presented (Theorems 2.4 and 3.1).     

The fundamental duality of partially ordered sets

The representation of partially ordered sets by subsets of some set such that specified joins (meets) are taken to unions (intersections) suggests two categories, that of partially ordered sets with specified joins and meets, and that of sets equipped with suitable collections of subsets, and adjoint contravariant functors between them. This, in turn, induces a duality including, among several others, the two Stone Dualities and that between spatial locales and sober spaces.