The homomorphism removal and repackaging construction

Abstract: This work is an attempt to understand the maximal natural generality context for the Koenig-Kuelshammer-Ovsienko construction in the theory of quasi-hereditary algebras by putting it into a category-theoretic context. Given a field k and a k-linear exact category E with a chosen set of nonzero objects F_i such that every object of E is a finitely iterated extension of some F_i, we construct a coalgebra C whose irreducible comodules L_i are indexed by the same indexing set, and an exact functor from C-comod to E taking L_i to F_i such that the spaces Ext^n between L_i in C−comod are the same as between F_i in E (for n > 0). Thus, the abelian category C−comod is obtained from the exact category E by removing all the nontrivial homomorphisms between the chosen objects F_i in E while keeping the Ext spaces unchanged. The removed homomorphisms are then repackaged into a semialgebra S over C such that the exact category E can be recovered as the category of S-semimodules induced from finite-dimensional C-comodules. The construction used Koszul duality twice: once as absolute and once as relative Koszul duality.

This talk will take place in hybrid format at the GAP conference at the Institut Henri Poincaré, cf. GAP.

K-theory and homologyquantum algebrarings and algebrasrepresentation theory

Audience: researchers in the topic

Paris algebra seminar

Series comments: For the Zoom links and passwords, please subscribe to the mailing list (link and password will be emailed shortly before each talk) or contact one of the organizers. The slides and notes are available here. For recordings of talks, please contact Bernhard Keller.