Searcharxiv⌕ Search

arXiv subjects

Henning Krause

Publications and source records attributed to Henning Krause.

At least 91 records · Page 5Linked to original sources

Representations of quivers via reflection functors

These are the notes for a course on representations of quivers for second year students in Paderborn in summer 2007. My aim was to provide a basic introduction without using any advanced methods. It turns out that a good knowledge of linear algebra is sufficient for proving Gabriel's theorem. Thus we classify the quivers of finite representation type and study their representations using reflection functors. Further material has been added after giving this course in Bielefeld in summer 2010. This includes a discussion of regular representations and wild phenomena. In particular, two classical examples are covered: representations of the Kronecker quiver and representations of the Klein four group.

math.RT↗

Approximations and adjoints in homotopy categories

We provide a criterion for the existence of right approximations in cocomplete additive categories; it is a straightforward generalisation of a result due to El Bashir. This criterion is used to construct adjoint functors in homotopy categories. Applications include the study of (pure) derived categories. For instance, it is shown that the pure derived category of any module category is compactly generated.

math.CT↗

The telescope conjecture for hereditary rings via Ext-orthogonal pairs

For the module category of a hereditary ring, the Ext-orthogonal pairs of subcategories are studied. For each Ext-orthogonal pair that is generated by a single module, a 5-term exact sequence is constructed. The pairs of finite type are characterized and two consequences for the class of hereditary rings are established: homological epimorphisms and universal localizations coincide, and the telescope conjecture for the derived category holds true. However, we present examples showing that neither of these two statements is true in general for rings of global dimension 2.

math.RT↗

Dimensions of triangulated categories via Koszul objects

Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for the representation dimensions of certain Artin algebras.

math.CT↗

On the center of a triangulated category

We discuss some basic properties of the graded center of a triangulated category and compute examples arising in representation theory of finite dimensional algebras.

math.RT↗

Localization theory for triangulated categories

These notes provide an introduction to the theory of localization for triangulated categories. Localization is a machinery to formally invert morphisms in a category. We explain this formalism in some detail and we show how it is applied to triangulated categories.

math.CT↗

Local cohomology and support for triangulated categories

We propose a new method for defining a notion of support for objects in any compactly generated triangulated category admitting small coproducts. This approach is based on a construction of local cohomology functors on triangulated categories, with respect to a central ring of operators. Suitably specialized one recovers, for example, the theory for commutative noetherian rings due to Foxby and Neeman, the theory of Avramov and Buchweitz for complete intersection local rings, and varieties for representations of finite groups according to Benson, Carlson, and Rickard. We give explicit examples of objects whose triangulated support and cohomological support differ. In the case of group representations, this allows us to correct and establish a conjecture of Benson.

math.KT↗

Thick subcategories of modules over commutative rings

For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking kernels, cokernels, and extensions) and closed under taking direct sums.

math.AC↗

A note on cohomological localization

Given a cohomological functor from a triangulated category to an abelian category, we construct under appropriate assumptions for any localization functor of the abelian category a lift to a localization functor of the triangulated category. This discussion of Bousfield localization is combined with a basic introduction to the concept of localization for arbitrary categories.

math.CT↗

An axiomatic characterization of the Gabriel-Roiter measure

Given an abelian length category A, the Gabriel-Roiter measure with respect to a length function l is characterized as a universal morphism ind(A)-->P of partially ordered sets. The map is defined on the isomorphism classes of indecomposable objects of A and is a suitable refinement of the length function l.

math.RT↗

Thick subcategories and virtually Gorenstein algebras

An Artin algebra is by definition virtually Gorenstein if the class of modules which are right orthogonal (with respect to Ext^*(-,-)) to all Gorenstein projective modules coincides with the class of modules which are left orthogonal to all Gorenstein injective modules. We provide a new characterization in terms of finitely generated modules. In addition, an example of an algebra is presented which is not virtually Gorenstein.

math.RA↗

Acyclicity versus total acyclicity for complexes over noetherian rings

It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects, this statement is a reinterpretation of Grothendieck's duality theorem. Using this equivalence it is proved that the (Verdier) quotient of the category of acyclic complexes of projectives by its subcategory of totally acyclic complexes and the corresponding category consisting of injective modules are equivalent. A new characterization is provided for complexes in Auslander categories and in Bass categories of such rings.

math.AC↗

Rouquier's theorem on representation dimension

Based on work of Rouquier, some bounds for Aulander's representation dimension are discussed. More specifically, if X is a reduced projective scheme of dimension n over some field, and T is a tilting complex of coherent O_X-modules, then the representation dimension of the endomorphism algebra of T is at least n.

math.RT↗

Support varieties - an ideal approach

We define support varieties in an axiomatic setting using the prime spectrum of a lattice of ideals. A key observation is the functoriality of the spectrum and that this functor admits an adjoint. We assign to each ideal its support and can classify ideals in terms of their support. Applications arise from studying abelian or triangulated tensor categories. Specific examples from algebraic geometry and modular representation theory are discussed, illustrating the power of this approach which is inspired by recent work of Balmer.

math.CT↗

The Auslander-Reiten formula for complexes of modules

An Auslander-Reiten formula for complexes of modules is presented. This formula contains as a special case the classical Auslander Reiten formula. The Auslander-Reiten translate of a complex is described explicitly, and various applications are discussed.

math.RT↗

Cohomological quotients and smashing localizations

The quotient of a triangulated category modulo a subcategory was defined by Verdier. Motivated by the failure of the telescope conjecture, we introduce a new type of quotients for any triangulated category which generalizes Verdier's construction. Slightly simplifying this concept, the cohomological quotients are flat epimorphisms, whereas the Verdier quotients are Ore localizations. For any compactly generated triangulated category S, a bijective correspondence between the smashing localizations of S and the cohomological quotients of the category of compact objects in S is established. We discuss some applications of this theory, for instance the problem of lifting chain complexes along a ring homomorphism. This is motivated by some consequences in algebraic K-theory and demonstrates the relevance of the telescope conjecture for derived categories. Another application leads to a derived analogue of an almost module category in the sense of Gabber-Ramero. It is shown that the derived category of an almost ring is of this form.

math.RA↗