[Paper Review] Symmetric quasi-hereditary envelopes

Volodymyr Mazorchuk, Vanessa Miemietz|ArXiv.org|Dec 17, 2008

Algebraic structures and combinatorial models10 references3 citations

TL;DR

This paper constructs symmetric quasi-hereditary algebras that serve as envelopes for finite-dimensional algebras, showing every finite-dimensional algebra arises as an idempotent subquotient of such an algebra, and every symmetric rigid algebra as a centralizer subalgebra. The key contribution is a generalization of Dlab and Ringel's result to the symmetric setting, yielding infinite-dimensional symmetric quasi-hereditary algebras with dual quasi-hereditary structures and strong exact Borel subalgebras.

ABSTRACT

We show how any finite-dimensional algebra can be realized as an idempotent subquotient of some symmetric quasi-hereditary algebra. In the special case of rigid symmetric algebras we show that they can be realized as centralizer subalgebras of symmetric quasi-hereditary algebras. We also show that the infinite-dimensional symmetric quasi-hereditary algebras we construct admit quasi-hereditary structure with respect to two opposite orders, that they have strong exact Borel and $Δ$-subalgebras and the corresponding triangular decompositions.

Motivation & Objective

• To extend Dlab and Ringel's result on quasi-hereditary envelopes to the symmetric case, ensuring the envelopes inherit symmetry.
• To show that every finite-dimensional algebra can be realized as an idempotent subquotient of a symmetric quasi-hereditary algebra.
• To prove that symmetric rigid algebras embed as centralizer subalgebras in symmetric quasi-hereditary algebras.
• To establish the existence of strong exact Borel and Δ-subalgebras with triangular decompositions in the constructed infinite-dimensional algebras.
• To provide explicit constructions and examples from Schur algebras and BGG category O, demonstrating the framework's applicability.

Proposed method

• Construct a category 𝔸 from a finite-dimensional algebra 𝒜 with a finite filtration by two-sided ideals, then define a shift category 𝔛 by indexing objects with ℤ.
• Define a subcategory 𝔹 of 𝔛 with morphisms restricted by filtration levels, forming a quasi-hereditary structure via the filtration order.
• Introduce an ideal 𝔪 in 𝔹 to define a quotient algebra, which becomes the symmetric quasi-hereditary envelope when the original algebra is symmetric and rigid.
• Use the natural ℤ-grading and radical filtration of the original algebra to induce a grading on the envelope, ensuring compatibility with the quasi-hereditary structure.
• Apply results from König on strong exact Borel and Δ-subalgebras to show that the constructed algebras admit such subalgebras when the original algebra is graded.
• Verify that the resulting algebra has two opposite quasi-hereditary structures, with standard and costandard modules described in terms of the original algebra.

Experimental results

Research questions

• RQ1 Can every finite-dimensional algebra be embedded as an idempotent subquotient in a symmetric quasi-hereditary algebra?
• RQ2 Can every symmetric rigid finite-dimensional algebra be realized as a centralizer subalgebra of a symmetric quasi-hereditary algebra?
• RQ3 Do the constructed symmetric quasi-hereditary algebras admit two opposite quasi-hereditary structures?
• RQ4 Do these algebras possess strong exact Borel and Δ-subalgebras with triangular decompositions?
• RQ5 How do the standard and costandard modules of the quasi-hereditary structures relate to the original algebra?

Key findings

• Every finite-dimensional algebra is isomorphic to an idempotent subquotient of some symmetric quasi-hereditary algebra.
• Every symmetric rigid finite-dimensional algebra is isomorphic to a centralizer subalgebra of a symmetric quasi-hereditary algebra.
• The infinite-dimensional symmetric quasi-hereditary algebras constructed admit quasi-hereditary structures with respect to two opposite orders.
• The standard and costandard modules for both quasi-hereditary structures have a natural description in terms of the original algebra.
• When the original algebra is graded, the symmetric quasi-hereditary envelope admits a strong exact Borel subalgebra and a corresponding triangular decomposition.
• Examples from Schur algebras and BGG category O confirm the construction yields symmetric quasi-hereditary envelopes, with the latter case linked to known algebras in the literature.