[Paper Review] Representations of Frobenius-type triangular matrix algebras

Fang Li, Chang Ye|arXiv (Cornell University)|Nov 25, 2015

Algebraic structures and combinatorial models6 references3 citations

TL;DR

This paper introduces Frobenius-type triangular matrix algebras as a new class of 1-Gorenstein algebras that generalize path algebras and algebras from symmetrizable Cartan matrices. Using reflection functors and a novel construction of APR-tilting modules, it establishes a functorial isomorphism between reflection functors and Hom-functors, providing a representation-theoretic realization of finite root systems over any field.

ABSTRACT

The aim of this paper is mainly to build a new representation-theoretic realization of finite root systems through the so-called Frobenius-type triangular matrix algebras by the method of reflection functors over any field. Finally, we give an analog of APR-tilting module for this class of algebras. The major conclusions contains the known results as special cases, e.g. that for path algebras over an algebraically closed field and for path algebras with relations from symmetrizable cartan matrices. Meanwhile, it means the corresponding results for some other important classes of algebras, that is, the path algebras of quivers over Frobenius algebras and the generalized path algebras endowed by Frobenius algebras at vertices.

Motivation & Objective

• To extend the representation-theoretic realization of finite root systems beyond path algebras and 1-Gorenstein algebras from symmetrizable Cartan matrices.
• To generalize the theory of reflection functors and APR-tilting modules to a broader class of algebras—Frobenius-type triangular matrix algebras.
• To provide a uniform framework for representation theory over arbitrary fields, unifying known results in the literature.
• To establish a functorial isomorphism between reflection functors and Hom-functors via a new construction of tilting modules.
• To recover and extend previous results on path algebras and generalized path algebras as special cases of this framework.

Proposed method

• Define Frobenius-type triangular matrix algebras as upper triangular matrices with Frobenius algebras at diagonal entries and bimodules satisfying duality conditions.
• Construct the algebra $\Lambda$ using tensor products of bimodules $B_{ij}$ over Frobenius algebras $A_i$, ensuring freeness and duality properties.
• Utilize the Nakayama functor $\nu^{-}$ and the quasi-inverse $\nu^{-}$ to relate projective modules and syzygies in the derived category.
• Apply the reflection functor $F_1^+$ via the Hom-functor $\mathrm{Hom}_\Lambda(T_1, -)$, where $T_1$ is a tilting module constructed from projective and bimodule data.
• Establish a commutative diagram involving $\mathrm{Hom}_\Lambda(P_j \otimes B_{j1}, X)$ and $B_{1j} \otimes X_j$ to prove the functorial isomorphism.
• Use the isomorphism $\mathrm{Hom}_\Lambda(P_j \otimes B_{j1}, X) \cong B_{1j} \otimes X_j$ and the natural isomorphism $\mathrm{Hom}_\Lambda(P_1, X) \cong X_1$ to derive the main result.

Experimental results

Research questions

• RQ1 Can the representation-theoretic realization of finite root systems be extended beyond path algebras and 1-Gorenstein algebras from Cartan matrices?
• RQ2 Does a functorial isomorphism $F_1^+ \cong \mathrm{Hom}_\Lambda(T_1, -)$ hold for Frobenius-type triangular matrix algebras over any field?
• RQ3 How can the APR-tilting module be generalized in this new class of algebras to recover reflection functors?
• RQ4 What conditions on bimodules and Frobenius algebras ensure that the resulting algebra is 1-Gorenstein and supports reflection functors?
• RQ5 To what extent do known results on path algebras and generalized path algebras over Frobenius algebras emerge as special cases of this framework?

Key findings

• The paper establishes a functorial isomorphism $F_1^+(-) \cong \mathrm{Hom}_\Lambda(T_1, -)$, proving that the reflection functor $F_1^+$ is realized as a Hom-functor via the tilting module $T_1$.
• The construction of $T_1$ as a complex involving $P_1$ and $P_j \otimes B_{j1}$ yields a tilting module whose endomorphism algebra is isomorphic to $S_1(\Lambda)$, the source algebra.
• The algebra $\Lambda$ is shown to be 1-Gorenstein, generalizing previous results on path algebras and algebras from symmetrizable Cartan matrices.
• The isomorphism $\mathrm{Hom}_\Lambda(P_j \otimes B_{j1}, X) \cong B_{1j} \otimes X_j$ is explicitly constructed using dual bases and bimodule duality.
• The main result generalizes [11, Theorem 9.7] and provides a complete proof where the method in [11] was incomplete for this class of algebras.
• Special cases include generalized path algebras $k(Q, \mathcal{A})$ with Frobenius algebras at vertices and path algebras of quivers over Frobenius algebras, both recovered as instances of $\Lambda$.