-
Jointly Assigning Processes to Machines and Generating Plans for Autonomous Mobile Robots in a Smart Factory
Authors:
Christopher Leet,
Aidan Sciortino,
Sven Koenig
Abstract:
A modern smart factory runs a manufacturing procedure using a collection of programmable machines. Typically, materials are ferried between these machines using a team of mobile robots. To embed a manufacturing procedure in a smart factory, a factory operator must a) assign its processes to the smart factory's machines and b) determine how agents should carry materials between machines. A good emb…
▽ More
A modern smart factory runs a manufacturing procedure using a collection of programmable machines. Typically, materials are ferried between these machines using a team of mobile robots. To embed a manufacturing procedure in a smart factory, a factory operator must a) assign its processes to the smart factory's machines and b) determine how agents should carry materials between machines. A good embedding maximizes the smart factory's throughput; the rate at which it outputs products. Existing smart factory management systems solve the aforementioned problems sequentially, limiting the throughput that they can achieve. In this paper we introduce ACES, the Anytime Cyclic Embedding Solver, the first solver which jointly optimizes the assignment of processes to machines and the assignment of paths to agents. We evaluate ACES and show that it can scale to real industrial scenarios.
△ Less
Submitted 28 February, 2025;
originally announced February 2025.
-
Triangular decompositions: Reedy algebras and quasi-hereditary algebras
Authors:
Teresa Conde,
Georgios Dalezios,
Steffen Koenig
Abstract:
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é-Birkhoff-Witt type) decomposition into the tensor product of two oppositely directed subalgebras over a common semisimple subalgebra. This exhibits homological and represen…
▽ More
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é-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.
△ Less
Submitted 28 April, 2025; v1 submitted 19 November, 2024;
originally announced November 2024.
-
Eigenvector Continuation and Projection-Based Emulators
Authors:
Thomas Duguet,
Andreas Ekström,
Richard J. Furnstahl,
Sebastian König,
Dean Lee
Abstract:
Eigenvector continuation is a computational method for parametric eigenvalue problems that uses subspace projection with a basis derived from eigenvector snapshots from different parameter sets. It is part of a broader class of subspace-projection techniques called reduced-basis methods. In this colloquium article, we present the development, theory, and applications of eigenvector continuation an…
▽ More
Eigenvector continuation is a computational method for parametric eigenvalue problems that uses subspace projection with a basis derived from eigenvector snapshots from different parameter sets. It is part of a broader class of subspace-projection techniques called reduced-basis methods. In this colloquium article, we present the development, theory, and applications of eigenvector continuation and projection-based emulators. We introduce the basic concepts, discuss the underlying theory and convergence properties, and present recent applications for quantum systems and future prospects.
△ Less
Submitted 17 June, 2024; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Combinatorics of Centers of 0-Hecke Algebras in Type A
Authors:
Sebastian König
Abstract:
A basis of the center of the 0-Hecke algebra of an arbitrary finite Coxeter group was described by He in 2015. This basis is indexed by certain equivalence classes of the Coxeter group whose explicit description is rather complicated. Even their number is not obvious.
We consider case of the symmetric group $\mathfrak{S}_n$. Building on work of Geck, Kim and Pfeiffer, we obtain a complete set of…
▽ More
A basis of the center of the 0-Hecke algebra of an arbitrary finite Coxeter group was described by He in 2015. This basis is indexed by certain equivalence classes of the Coxeter group whose explicit description is rather complicated. Even their number is not obvious.
We consider case of the symmetric group $\mathfrak{S}_n$. Building on work of Geck, Kim and Pfeiffer, we obtain a complete set of representatives of the equivalence classes. This set is naturally parametrized by certain compositions of $n$ called maximal. It follows that the maximal compositions of $n$ index the basis of the center of the 0-Hecke algebra of $\mathfrak{S}_n$. We then develop an explicit combinatorial description for the equivalence classes that are parametrized by the maximal compositions whose odd parts form a hook.
△ Less
Submitted 3 December, 2021;
originally announced December 2021.
-
On Game Theory Using Stochastic Tail Orders
Authors:
Stefan Rass,
Sandra König,
Stefan Schauer,
Vincent Bürgin,
Jeremias Epperlein,
Fabian Wirth
Abstract:
We consider a family of distributions on which natural tail orders can be constructed upon a representation of a distribution by a (single) hyper-real number. Past research revealed that the ordering can herein strongly depend on the particular model of the hyperreals, specifically the underlying ultrafilter. Hence, our distribution family is constructed to order invariantly of an ultrafilter. Mor…
▽ More
We consider a family of distributions on which natural tail orders can be constructed upon a representation of a distribution by a (single) hyper-real number. Past research revealed that the ordering can herein strongly depend on the particular model of the hyperreals, specifically the underlying ultrafilter. Hence, our distribution family is constructed to order invariantly of an ultrafilter. Moreover, we prove that it lies dense in the set of all distributions with the (same) compact support, w.r.t. the supremum norm. Overall, this work resents a correction to [10, 12], in response to recent findings of [2].
△ Less
Submitted 19 April, 2022; v1 submitted 2 August, 2021;
originally announced August 2021.
-
Multi-Robot Routing with Time Windows: A Column Generation Approach
Authors:
Naveed Haghani,
Jiaoyang Li,
Sven Koenig,
Gautam Kunapuli,
Claudio Contardo,
Amelia Regan,
Julian Yarkony
Abstract:
Robots performing tasks in warehouses provide the first example of wide-spread adoption of autonomous vehicles in transportation and logistics. The efficiency of these operations, which can vary widely in practice, are a key factor in the success of supply chains. In this work we consider the problem of coordinating a fleet of robots performing picking operations in a warehouse so as to maximize t…
▽ More
Robots performing tasks in warehouses provide the first example of wide-spread adoption of autonomous vehicles in transportation and logistics. The efficiency of these operations, which can vary widely in practice, are a key factor in the success of supply chains. In this work we consider the problem of coordinating a fleet of robots performing picking operations in a warehouse so as to maximize the net profit achieved within a time period while respecting problem- and robot-specific constraints. We formulate the problem as a weighted set packing problem where the elements in consideration are items on the warehouse floor that can be picked up and delivered within specified time windows. We enforce the constraint that robots must not collide, that each item is picked up and delivered by at most one robot, and that the number of robots active at any time does not exceed the total number available. Since the set of routes is exponential in the size of the input, we attack optimization of the resulting integer linear program using column generation, where pricing amounts to solving an elementary resource-constrained shortest-path problem. We propose an efficient optimization scheme that avoids consideration of every increment within the time windows. We also propose a heuristic pricing algorithm that can efficiently solve the pricing subproblem. While this itself is an important problem, the insights gained from solving these problems effectively can lead to new advances in other time-widow constrained vehicle routing problems.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
Ladders of recollements of abelian categories
Authors:
Nan Gao,
Steffen Koenig,
Chrysostomos Psaroudakis
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 January, 2020;
originally announced January 2020.
-
From quasi-hereditary algebras with exact Borel subalgebras to directed bocses
Authors:
Tomasz Brzeziński,
Julian Külshammer,
Steffen Koenig
Abstract:
Up to Morita equivalence, every quasi-hereditary algebra is the dual algebra of a directed bocs or coring. From the bocs, an exact Borel subalgebra is obtained. In this paper a characterisation of exact Borel subalgebras arising in this way is given.
Up to Morita equivalence, every quasi-hereditary algebra is the dual algebra of a directed bocs or coring. From the bocs, an exact Borel subalgebra is obtained. In this paper a characterisation of exact Borel subalgebras arising in this way is given.
△ Less
Submitted 30 July, 2019;
originally announced July 2019.
-
Position Paper: From Multi-Agent Pathfinding to Pipe Routing
Authors:
Gleb Belov,
Liron Cohen,
Maria Garcia de la Banda,
Daniel Harabor,
Sven Koenig,
Xinrui Wei
Abstract:
The 2D Multi-Agent Path Finding (MAPF) problem aims at finding collision-free paths for a number of agents, from a set of start locations to a set of goal positions in a known 2D environment. MAPF has been studied in theoretical computer science, robotics, and artificial intelligence over several decades, due to its importance for robot navigation. It is currently experiencing significant scientif…
▽ More
The 2D Multi-Agent Path Finding (MAPF) problem aims at finding collision-free paths for a number of agents, from a set of start locations to a set of goal positions in a known 2D environment. MAPF has been studied in theoretical computer science, robotics, and artificial intelligence over several decades, due to its importance for robot navigation. It is currently experiencing significant scientific progress due to its relevance in automated warehousing (such as those operated by Amazon) and in other contemporary application areas. In this paper, we demonstrate that many recently developed MAPF algorithms apply more broadly than currently believed in the MAPF research community. In particular, we describe the 3D Pipe Routing (PR) problem, which aims at placing collision-free pipes from given start locations to given goal locations in a known 3D environment. The MAPF and PR problems are similar: a solution to a MAPF instance is a set of blocked cells in x-y-t space, while a solution to the corresponding PR instance is a set of blocked cells in x-y-z space. We show how to use this similarity to apply several recently developed MAPF algorithms to the PR problem, and discuss their performance on abstract PR instances. We also discuss further research necessary to tackle real-world pipe-routing instances of interest to industry today. This opens up a new direction of industrial relevance for the MAPF research community.
△ Less
Submitted 20 May, 2019;
originally announced May 2019.
-
Recollements of abelian categories and ideals in heredity chains - a recursive approach to quasi-hereditary algebras
Authors:
Nan Gao,
Steffen Koenig,
Chrysostomos Psaroudakis
Abstract:
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.
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.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
The decomposition of 0-Hecke modules associated to quasisymmetric Schur functions
Authors:
Sebastian König
Abstract:
Recently Tewari and van Willigenburg constructed modules of the 0-Hecke algebra that are mapped to the quasisymmetric Schur functions by the quasisymmetric characteristic and decomposed them into a direct sum of certain submodules. We show that these submodules are indecomposable by determining their endomorphism rings.
Recently Tewari and van Willigenburg constructed modules of the 0-Hecke algebra that are mapped to the quasisymmetric Schur functions by the quasisymmetric characteristic and decomposed them into a direct sum of certain submodules. We show that these submodules are indecomposable by determining their endomorphism rings.
△ Less
Submitted 23 November, 2017;
originally announced November 2017.
-
Rigidity dimension - a homological dimension measuring resolutions of algebras by algebras of finite global dimension
Authors:
Hongxing Chen,
Ming Fang,
Otto Kerner,
Steffen Koenig,
Kunio Yamagata
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 June, 2017;
originally announced June 2017.
-
Ring theoretical properties of affine cellular algebras
Authors:
Paula A. A. B. Carvalho,
Steffen Koenig,
Christian Lomp,
Armin Shalile
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 6 September, 2016;
originally announced September 2016.
-
Derived equivalences, restriction to self-injective subalgebras and invariance of homological dimensions
Authors:
Ming Fang,
Wei Hu,
Steffen Koenig
Abstract:
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 sel…
▽ More
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.
△ Less
Submitted 12 July, 2016;
originally announced July 2016.
-
Recollements and stratifying ideals
Authors:
Lidia Angeleri H\" ugel,
Steffen Koenig,
Qunhua Liu,
Dong Yang
Abstract:
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,…
▽ More
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.
△ Less
Submitted 27 June, 2016; v1 submitted 20 June, 2016;
originally announced June 2016.
-
Ortho-symmetric modules, Gorenstein algebras and derived equivalences
Authors:
Hongxing Chen,
Steffen Koenig
Abstract:
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.
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.
△ Less
Submitted 10 June, 2015;
originally announced June 2015.
-
Optimal Opinion Control: The Campaign Problem
Authors:
Rainer Hegselmann,
Stefan König,
Sascha Kurz,
Christoph Niemann,
Jörg Rambau
Abstract:
Opinion dynamics is nowadays a very common field of research. In this article we formulate and then study a novel, namely strategic perspective on such dynamics: There are the usual normal agents that update their opinions, for instance according the well-known bounded confidence mechanism. But, additionally, there is at least one strategic agent. That agent uses opinions as freely selectable stra…
▽ More
Opinion dynamics is nowadays a very common field of research. In this article we formulate and then study a novel, namely strategic perspective on such dynamics: There are the usual normal agents that update their opinions, for instance according the well-known bounded confidence mechanism. But, additionally, there is at least one strategic agent. That agent uses opinions as freely selectable strategies to get control on the dynamics: The strategic agent of our benchmark problem tries, during a campaign of a certain length, to influence the ongoing dynamics among normal agents with strategically placed opinions (one per period) in such a way, that, by the end of the campaign, as much as possible normals end up with opinions in a certain interval of the opinion space. Structurally, such a problem is an optimal control problem. That type of problem is ubiquitous. Resorting to advanced and partly non-standard methods for computing optimal controls, we solve some instances of the campaign problem. But even for a very small number of normal agents, just one strategic agent, and a ten-period campaign length, the problem turns out to be extremely difficult. Explicitly we discuss moral and political concerns that immediately arise, if someone starts to analyze the possibilities of an optimal opinion control.
△ Less
Submitted 6 March, 2015; v1 submitted 30 October, 2014;
originally announced October 2014.
-
Computational Aspects of the Hausdorff Distance in Unbounded Dimension
Authors:
Stefan König
Abstract:
We study the computational complexity of determining the Hausdorff distance of two polytopes given in halfspace- or vertex-presentation in arbitrary dimension. Subsequently, a matching problem is investigated where a convex body is allowed to be homothetically transformed in order to minimize its Hausdorff distance to another one. For this problem, we characterize optimal solutions, deduce a Helly…
▽ More
We study the computational complexity of determining the Hausdorff distance of two polytopes given in halfspace- or vertex-presentation in arbitrary dimension. Subsequently, a matching problem is investigated where a convex body is allowed to be homothetically transformed in order to minimize its Hausdorff distance to another one. For this problem, we characterize optimal solutions, deduce a Helly-type theorem and give polynomial time (approximation) algorithms for polytopes.
△ Less
Submitted 7 January, 2014;
originally announced January 2014.
-
Sharpening Geometric Inequalities using Computable Symmetry Measures
Authors:
René Brandenberg,
Stefan König
Abstract:
Many classical geometric inequalities on functionals of convex bodies depend on the dimension of the ambient space. We show that this dimension dependence may often be replaced (totally or partially) by different symmetry measures of the convex body. Since these coefficients are bounded by the dimension but possibly smaller, our inequalities sharpen the original ones. Since they can often be compu…
▽ More
Many classical geometric inequalities on functionals of convex bodies depend on the dimension of the ambient space. We show that this dimension dependence may often be replaced (totally or partially) by different symmetry measures of the convex body. Since these coefficients are bounded by the dimension but possibly smaller, our inequalities sharpen the original ones. Since they can often be computed efficiently, the improved bounds may also be used to obtain better bounds in approximation algorithms.
△ Less
Submitted 9 December, 2014; v1 submitted 16 October, 2013;
originally announced October 2013.
-
Ladders and simplicity of derived module categories
Authors:
Lidia Angeleri H\" ugel,
Steffen Koenig,
Qunhua Liu,
Dong Yang
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 September, 2016; v1 submitted 13 October, 2013;
originally announced October 2013.
-
Fixed Parameter Complexity and Approximability of Norm Maximization
Authors:
Christian Knauer,
Stefan König,
Daniel Werner
Abstract:
The problem of maximizing the $p$-th power of a $p$-norm over a halfspace-presented polytope in $\R^d$ is a convex maximization problem which plays a fundamental role in computational convexity. It has been shown in 1986 that this problem is $\NP$-hard for all values $p \in \mathbb{N}$, if the dimension $d$ of the ambient space is part of the input. In this paper, we use the theory of parametrized…
▽ More
The problem of maximizing the $p$-th power of a $p$-norm over a halfspace-presented polytope in $\R^d$ is a convex maximization problem which plays a fundamental role in computational convexity. It has been shown in 1986 that this problem is $\NP$-hard for all values $p \in \mathbb{N}$, if the dimension $d$ of the ambient space is part of the input. In this paper, we use the theory of parametrized complexity to analyze how heavily the hardness of norm maximization relies on the parameter $d$.
More precisely, we show that for $p=1$ the problem is fixed parameter tractable but that for all $p \in \mathbb{N} \setminus \{1\}$ norm maximization is W[1]-hard.
Concerning approximation algorithms for norm maximization, we show that for fixed accuracy, there is a straightforward approximation algorithm for norm maximization in FPT running time, but there is no FPT approximation algorithm, the running time of which depends polynomially on the accuracy.
As with the $\NP$-hardness of norm maximization, the W[1]-hardness immediately carries over to various radius computation tasks in Computational Convexity.
△ Less
Submitted 24 July, 2013;
originally announced July 2013.
-
Simple-minded systems, configurations and mutations for representation-finite self-injective algebras
Authors:
Aaron Chan,
Steffen Koenig,
Yuming Liu
Abstract:
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 ca…
▽ More
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.
△ Less
Submitted 12 May, 2013;
originally announced May 2013.
-
Quasi-hereditary algebras, exact Borel subalgebras, A-infinity-categories and boxes
Authors:
Steffen Koenig,
Julian Külshammer,
Sergiy Ovsienko
Abstract:
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 (Ve…
▽ More
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.
△ Less
Submitted 30 April, 2014; v1 submitted 10 May, 2013;
originally announced May 2013.
-
Silting objects, simple-minded collections, $t$-structures and co-$t$-structures for finite-dimensional algebras
Authors:
Steffen Koenig,
Dong Yang
Abstract:
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 Bridgel…
▽ More
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.
△ Less
Submitted 7 September, 2013; v1 submitted 26 March, 2012;
originally announced March 2012.
-
Jordan Hölder theorems for derived module categories of piecewise hereditary algebras
Authors:
Lidia Angeleri Hügel,
Steffen Koenig,
Qunhua Liu
Abstract:
A Jordan Hölder theorem is established for derived module categories of piecewise hereditary algebras. The resulting composition series of derived categories are shown to be independent of the choice of bounded or unbounded derived module categories, and also of the choice of finitely generated or arbitrary modules.
A Jordan Hölder theorem is established for derived module categories of piecewise hereditary algebras. The resulting composition series of derived categories are shown to be independent of the choice of bounded or unbounded derived module categories, and also of the choice of finitely generated or arbitrary modules.
△ Less
Submitted 18 April, 2011;
originally announced April 2011.
-
Derived equivalences from cohomological approximations, and mutations of $Φ$-Yoneda algebras
Authors:
Wei Hu,
Steffen Koenig,
Changchang Xi
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 February, 2011;
originally announced February 2011.
-
On tilting complexes providing derived equivalences that send simple-minded objects to simple objects
Authors:
Steffen Koenig,
Dong Yang
Abstract:
Given a set of 'simple-minded' objects in a derived category, Rickard constructed a complex, which over a symmetric algebra provides a derived equivalence sending the 'simple-minded' objects to simple ones. We characterise in terms of t-structures, when this complex is a tilting complex, show that there is an associated natural $t$-structure and we provide an alternative construction of this compl…
▽ More
Given a set of 'simple-minded' objects in a derived category, Rickard constructed a complex, which over a symmetric algebra provides a derived equivalence sending the 'simple-minded' objects to simple ones. We characterise in terms of t-structures, when this complex is a tilting complex, show that there is an associated natural $t$-structure and we provide an alternative construction of this complex in terms of A-infinity-structures. Our approach is similar to that of Keller--Nicolás.
△ Less
Submitted 11 December, 2010; v1 submitted 17 November, 2010;
originally announced November 2010.
-
Simple-minded systems in stable module categories
Authors:
Steffen Koenig,
Yuming Liu
Abstract:
Simple-minded systems in stable module categories are defined by orthogonality and generating properties so that the images of the simple modules under a stable equivalence form such a system. Simple-minded systems are shown to be invariant under stable equivalences; thus the set of all simple-minded systems is an invariant of a stable module category. The simple-minded systems of several classes…
▽ More
Simple-minded systems in stable module categories are defined by orthogonality and generating properties so that the images of the simple modules under a stable equivalence form such a system. Simple-minded systems are shown to be invariant under stable equivalences; thus the set of all simple-minded systems is an invariant of a stable module category. The simple-minded systems of several classes of algebras are described and connections to the Auslander-Reiten conjecture are pointed out.
△ Less
Submitted 7 September, 2010;
originally announced September 2010.
-
On the uniqueness of stratifications of derived module categories
Authors:
Lidia Angeleri Hügel,
Steffen Koenig,
Qunhua Liu
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 February, 2012; v1 submitted 28 June, 2010;
originally announced June 2010.
-
Recollements and tilting objects
Authors:
Lidia Angeleri Hügel,
Steffen König,
Qunhua Liu
Abstract:
We study connections between recollements of the derived category D(Mod-R) of a ring R and tilting theory. We first provide constructions of tilting objects from given recollements, recovering several different results from the literature. Secondly, we show how to construct a recollement from a tilting module of projective dimension one. Our results will be employed in a forthcoming paper in ord…
▽ More
We study connections between recollements of the derived category D(Mod-R) of a ring R and tilting theory. We first provide constructions of tilting objects from given recollements, recovering several different results from the literature. Secondly, we show how to construct a recollement from a tilting module of projective dimension one. Our results will be employed in a forthcoming paper in order to investigate stratifications of D(Mod-R).
△ Less
Submitted 13 August, 2009;
originally announced August 2009.
-
Comparing $GL_n$-Representations by Characteristic-Free Isomorphisms between Generalized Schur Algebras
Authors:
Ming Fang,
Anne Henke,
Steffen Koenig
Abstract:
Isomorphisms are constructed between generalized Schur algebras in different degrees. The construction covers both the classical case (of general linear groups over infinite fields of arbitrary characteristic) and the quantized case (in type $A$, for any non-zero value of the quantum parameter $q$). The construction does not depend on the characteristic of the underlying field or the choice of…
▽ More
Isomorphisms are constructed between generalized Schur algebras in different degrees. The construction covers both the classical case (of general linear groups over infinite fields of arbitrary characteristic) and the quantized case (in type $A$, for any non-zero value of the quantum parameter $q$). The construction does not depend on the characteristic of the underlying field or the choice of $q \neq 0$. The proof combines a combinatorial construction with comodule structures and Ringel duality. Applications range from equivalences of categories to results on the structure and cohomology of Schur algebras to identities of decomposition numbers and also of $p$-Kostka numbers, in both cases reproving and generalizing row and column removal rules.
△ Less
Submitted 29 August, 2007;
originally announced August 2007.
-
From triangulated categories to abelian categories--cluster tilting in a general framework
Authors:
Steffen Koenig,
Bin Zhu
Abstract:
We put cluster tilting in ageneral framework by showing that any quotient of a triangulated category modulo a tilting subcategory (that is, a maximal one-orthogonal subcategory) carries an abelian structure. These abelian quotients turn out to be module categories of Goreisten algebras of dimension at most one.
We put cluster tilting in ageneral framework by showing that any quotient of a triangulated category modulo a tilting subcategory (that is, a maximal one-orthogonal subcategory) carries an abelian structure. These abelian quotients turn out to be module categories of Goreisten algebras of dimension at most one.
△ Less
Submitted 22 May, 2007; v1 submitted 3 May, 2006;
originally announced May 2006.
