Searcharxiv⌕ Search

arXiv subjects

Steffen Koenig

Publications and source records attributed to Steffen Koenig.

At least 19 recordsLinked to original sources
arXiv2026

Comparing self-dual corings, Frobenius corings and Ringel self-duality

Self-dual corings and self-dual algebra extensions are classified and these (self-)dualities are compared with Ringel (self-)duality, revealing fundamental differences. To each coring $\mathcal C$, two algebras are associated, known as the left and the right dual algebra of $\mathcal C$. It is shown that these two algebras coincide in a natural way if and only if $\mathcal C$ is a Frobenius coring. Various other equivalent characterisations of $\mathcal C$ being self-dual are given, in terms of certain algebra extensions being Frobenius extensions and in terms of certain forgetful or restriction functors being Frobenius functors. Ringel self-duality however is shown to be rather different, for which a homological explanation is given.

math.RT↗
arXiv2026

Affine cellular algebras and asymptotic algebras

The theory of affine cellular algebras $A$ is extended to incorporate their asymptotic algebras $\hat{A}$, clarifying unexpected differences between classical and affine situations and comparing with Lusztig's asymptotic Hecke algebras. The main new results are about a double centraliser property between $A$ and $\hat{A}$, about constructing $\hat{A}$ from cell modules of $A$, about existence of an embedding $A \rightarrow \hat{A}$ and about a faithful functor from torsionless $\hat{A}$-modules to $A$-modules as well as about the embedding being weakly spectrum preserving (in the sense of Baum and Nistor) and about non-zero endomorphisms of cell modules being injective, while there are no non-zero homomorphisms between non-isomorphic cell modules.

math.RT↗
arXiv2024

Triangular decompositions: Reedy algebras and quasi-hereditary algebras

Finite-dimensional Reedy algebras form a ring-theoretic analogue of Reedy categories and were recently proved to be quasi-hereditary. We identify Reedy algebras with quasi-hereditary algebras admitting a triangular (or Poincar\'e-Birkhoff-Witt type) decomposition into the tensor product of two oppositely directed subalgebras over a common semisimple subalgebra. This exhibits homological and representation-theoretic structure of the ingredients of the Reedy decomposition and it allows to give a characterisation of Reedy algebras in terms of idempotent ideals occurring in heredity chains, providing an analogue for Reedy algebras of a result of Dlab and Ringel on quasi-hereditary algebras.

math.RT↗
arXiv2020

Ladders of recollements of abelian categories

Ladders of recollements of abelian categories are introduced, and used to address three general problems. Ladders of a certain height allow to construct recollements of triangulated categories, involving derived categories and singularity categories, from abelian ones. Ladders also allow to tilt abelian recollements, and ladders guarantee that properties like Gorenstein projective or injective are preserved by some functors in abelian recollements. Breaking symmetry is crucial in developing this theory.

math.RT↗
arXiv2018

Recollements of abelian categories and ideals in heredity chains - a recursive approach to quasi-hereditary algebras

Recollements of abelian categories are used as a basis of a homological and recursive approach to quasi-hereditary algebras. This yields a homological proof of Dlab and Ringel's characterisation of idempotent ideals occuring in heredity chains, which in turn characterises quasi-hereditary algebras recursively. Further applications are given to hereditary algebras and to Morita context rings.

math.RT↗
arXiv2017

Rigidity dimension - a homological dimension measuring resolutions of algebras by algebras of finite global dimension

A new homological dimension is introduced to measure the quality of resolutions of `singular' finite dimensional algebras (of infinite global dimension) by `regular' ones (of finite global dimension). Upper bounds are established in terms of extensions and of Hochschild cohomology, and finiteness in general is derived from homological conjectures. Then invariance under stable equivalences is shown to hold, with some exceptions when there are nodes in case of additive equivalences, and without exceptions in case of triangulated equivalences. Stable equivalences of Morita type and derived equivalences, both between self-injective algebras, are shown to preserve rigidity dimension as well.

math.RT↗
arXiv2016

Ladders and simplicity of derived module categories

Recollements of derived module categories are investigated, using a new technique, ladders of recollements, which are mutation sequences. The position in the ladder is shown to control whether a recollement restricts from unbounded to another level of derived category. Ladders also turn out to control derived simplicity on all levels. An algebra is derived simple if its derived category cannot be deconstructed, that is, if it is not the middle term of a non-trivial recollement whose outer terms are again derived categories of algebras. Derived simplicity on each level is characterised in terms of heights of ladders. These results are complemented by providing new classes of examples of derived simple algebras, in particular indecomposable commutative rings, as well as by a finite-dimensional counterexample to the Jordan--Hölder property for derived module categories. Moreover, recollements are used to compute homological and K-theoretic invariants.

math.RT↗
arXiv2016

Ring theoretical properties of affine cellular algebras

As a generalisation of Graham and Lehrer's cellular algebras, affine cellular algebras have been introduced in [12] in order to treat affine versions of diagram algebras like affine Hecke algebras of type A and affine Temperley-Lieb algebras in a unifying fashion. Affine cellular algebras include Kleshchev's graded quasihereditary algebras, KLR algebras and various other classes of algebras. In this paper we will study ring theoretical properties of affine cellular algebras. We show that any affine cellular algebra $A$ satisfies a polynomial identity. Furthermore, we show that $A$ can be embedded into its asymptotic algebra if the occurring commutative affine algebra $B_j$ are reduced and the determinants of the swich matrices are non-zero divisors. As a consequence, we show that the Gelfand-Kirillov dimension of $A$ is less than or equal to the largest Krull dimension of the algebras $B_j$ and that equality hold, in case all affine cell ideals are idempotent or if the Krull dimension of the algebras $B_j$ is less than or equal to $1$. Special emphasis is given to the question when an affine cell ideal is idempotent, generated by an idempotent or finitely generated.

math.RT↗
arXiv2016

Derived equivalences, restriction to self-injective subalgebras and invariance of homological dimensions

Derived equivalences between finite dimensional algebras do, in general, not pass to centraliser (or other) subalgebras, nor do they preserve homological invariants of the algebras, such as global or dominant dimension. We show that, however, they do so for large classes of algebras described in this article. Algebras $A$ of $ν$-dominant dimension at least one have unique largest non-trivial self-injective centraliser subalgebras $H_A$. A derived restriction theorem is proved: A derived equivalence between $A$ and $B$ implies a derived equivalence between $H_A$ and $H_B$. Two methods are developed to show that global and dominant dimension are preserved by derived equivalences between algebras of $ν$-dominant dimension at least one with anti-automorphisms preserving simples, and also between almost self-injective algebras. One method is based on identifying particular derived equivalences preserving homological dimensions, while the other method identifies homological dimensions inside certain derived categories. In particular, derived equivalent cellular algebras have the same global dimension. As an application, the global and dominant dimensions of blocks of quantised Schur algebras with $n \geq r$ are completely determined.

math.RT↗
arXiv2016

Recollements and stratifying ideals

Surjective homological epimorphisms with stratifying kernel can be used to construct recollements of derived module categories. These `stratifying' recollements are derived from recollements of module categories. Can every recollement be put in this form, up to equivalence? A negative answer will be given after providing a characterisation of recollements equivalent to stratifying ones. Moreover, criteria for a ring epimorphism to be `stratifying' will be presented as well as constructions of such epimorphisms.

math.RT↗
arXiv2015

Ortho-symmetric modules, Gorenstein algebras and derived equivalences

A new homological symmetry condition is exhibited that extends and unifies several recently defined and widely used concepts. Applications include general constructions of tilting modules and derived equivalences, and characterisations of Gorenstein properties of endomorphism rings.

math.RT↗
arXiv2014

Quasi-hereditary algebras, exact Borel subalgebras, A-infinity-categories and boxes

Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for quasi-hereditary algebras: Up to Morita equivalence each such algebra has an exact Borel subalgebra. The category $\mathcal{F}(Δ)$ of modules with standard (Verma, Weyl, \dots) filtration, which is exact, but rarely abelian, will be shown to be equivalent to the category of representations of a directed box. This box is constructed as a quotient of a dg algebra associated with the $A_{\infty}$-structure on $\mathcal{F}(Δ)$. Its underlying algebra is an exact Borel subalgebra.

math.RT↗
arXiv2013

Silting objects, simple-minded collections, $t$-structures and co-$t$-structures for finite-dimensional algebras

Bijective correspondences are established between (1) silting objects, (2) simple-minded collections, (3) bounded $t$-structures with length heart and (4) bounded co-$t$-structures. These correspondences are shown to commute with mutations. The results are valid for finite-dimensional algebras. A concrete example is given to illustrate how these correspondences help to compute the space of Bridgeland's stability conditions.

math.RT↗
arXiv2013

Simple-minded systems, configurations and mutations for representation-finite self-injective algebras

Simple-minded systems of objects in a stable module category are defined by common properties with the set of simple modules, whose images under stable equivalences do form simple-minded systems. Over a representation-finite self-injective algebra, it is shown that all simple-minded systems are images of simple modules under stable equivalences of Morita type, and that all simple-minded systems can be lifted to Nakayama-stable simple-minded collections in the derived category. In particular, all simple-minded systems can be obtained algorithmically using mutations.

math.RT↗
arXiv2012

On the uniqueness of stratifications of derived module categories

Recollements of triangulated categories may be seen as exact sequences of such categories. Iterated recollements of triangulated categories are analogues of geometric or topological stratifications and of composition series of algebraic objects. We discuss the question of uniqueness of such a stratification, up to ordering and derived equivalence, for derived module categories. The main result is a positive answer in the form of a Jordan Hölder theorem for derived module categories of hereditary artin algebras. We also provide examples of derived simple rings.

math.RT↗
arXiv2011

Derived equivalences from cohomological approximations, and mutations of $Φ$-Yoneda algebras

In this article, a new construction of derived equivalences is given. It relates different endomorphism rings and more generally cohomological endomorphism rings - including higher extensions - of objects in triangulated categories. These objects need to be connected by certain universal maps that are cohomological approximations and that exist in very general circumstances. The construction turns out to be applicable in a wide variety of situations, covering finite dimensional algebras as well as certain infinite dimensional algebras, Frobenius categories and $n$-Calabi-Yau categories.

math.RT↗