Uniqueness of exact Borel subalgebras and bocses

TL;DR

This paper proves the uniqueness of basic Borel subalgebras and bocses associated with quasi-hereditary algebras, extending classical algebraic uniqueness results using $A_ abla$-structures and $A_ abla$-theory.

Contribution

It establishes the uniqueness of basic bocses for quasi-hereditary algebras, generalizing the uniqueness of basic algebras, through $A_ abla$-structure analysis.

Findings

Uniqueness of basic bocses up to isomorphism.

Application of $A_ abla$-structure and Kadeishvili's theorem.

Extension of classical algebraic uniqueness results.

Abstract

Together with Koenig and Ovsienko, the first author showed that every quasi-hereditary algebra can be obtained as the (left or right) dual of a directed bocs. In this monograph, we prove that if one additionally assumes that the bocs is basic, a notion we define, then this bocs is unique up to isomorphism. This should be seen as a generalisation of the statement that the basic algebra of an arbitrary associative algebra is unique up to isomorphism. The proof associates to a given presentation of the bocs an $A_\infty$-structure on the $\operatorname{Ext}$-algebra of the standard modules of the corresponding quasi-hereditary algebra. Uniqueness then follows from an application of Kadeishvili's theorem.