Stable Equivalence of Morita Type

• Stable Equivalence of Morita Type is a relationship between finite-dimensional algebras that generalizes classical Morita equivalence by focusing on stable module categories modulo projective components.
• It is realized through pairs of bimodules that induce mutually quasi-inverse functors via standard induction and restriction, linking the algebras' stable structures.
• The framework leverages Frobenius extension and coring structures to unify induction-restriction adjunctions, facilitating extensions to derived and graded contexts and deeper categorical insights.

A stable equivalence of Morita type is a categorical relationship between finite-dimensional algebras that generalizes Morita equivalence to the context of their stable module categories, focusing on relationships modulo projective summands. This equivalence is tightly connected to deep structural aspects such as Frobenius extensions, coring structures, and adjunctions akin to those governing induction and restriction functors. The following exposition synthesizes the full landscape of stable equivalences of Morita type and their realization in terms of Frobenius extensions and corings, following Dugas–Martínez-Villa and Beattie–Caenepeel–Raianu (Beattie et al., 2012).

1. Fundamental Definition and Equivalence Data

Let $\Lambda$ and $\Gamma$ be finite-dimensional $k$-algebras over a fixed field $k$, without semisimple blocks. A pair of bimodules, ${}_\Lambda M_\Gamma$ and ${}_\Gamma N_\Lambda$, is said to induce a stable equivalence of Morita type between $\Lambda$ and $\Gamma$ if:

• Both bimodules are projective as left and as right modules.
• The following stable isomorphisms hold in the corresponding module categories modulo projectives:

$$M \otimes_\Gamma N \cong \Lambda \oplus P\quad\text{in }\underline{\mathrm{mod}\text{-}\Lambda}, \qquad N \otimes_\Lambda M \cong \Gamma \oplus Q\quad\text{in }\underline{\mathrm{mod}\text{-}\Gamma},$$

where $P$ (resp. $\Gamma$0) is projective as a $\Gamma$1–$\Gamma$2-bimodule (resp. $\Gamma$3–$\Gamma$4-bimodule).

These data ensure that the functors

$\Gamma$5

descend to the stable categories and induce mutually quasi-inverse equivalences: $\Gamma$6

2. Realization via Inclusion in a Morita-Equivalent Algebra

A core result, due to Dugas–Martínez-Villa, is that for any stable equivalence of Morita type, one can replace $\Gamma$7 by a Morita-equivalent algebra $\Gamma$8 such that $\Gamma$9 embeds as a subalgebra of $k$0, and the stable equivalence is realized through standard induction and restriction functors:

• There exists a $k$1-algebra $k$2, Morita equivalent to $k$3, and an injective ring homomorphism $k$4.
• The induction and restriction functors associated to this inclusion,

$k$5

are exact and induce inverse equivalences on stable module categories.

The constructive mechanism is $k$6, with $k$7 mapping into $k$8 via its right-action on $k$9. The usual induction and restriction become biadjoint functors realizing the same equivalence as $k$0 and $k$1 in the original context.

3. Frobenius Extension Structure and Corings

Beattie–Caenepeel–Raianu establish that the extension $k$2 is not only inclusion but is indeed a Frobenius extension:

• Frobenius extension: $k$3 is finitely generated projective as a right $k$4-module and $k$5 as $k$6-bimodules.
• Dual bases formulation: There exists a Frobenius system $k$7 with $k$8 and $k$9 a bimodule map, fulfilling

${}_\Lambda M_\Gamma$0

with dual bases ${}_\Lambda M_\Gamma$1 in ${}_\Lambda M_\Gamma$2.

• Corings: If ${}_\Lambda M_\Gamma$3 is Frobenius, then ${}_\Lambda M_\Gamma$4 admits a ${}_\Lambda M_\Gamma$5-coring structure, with comultiplication given by

${}_\Lambda M_\Gamma$6

and counit ${}_\Lambda M_\Gamma$7.

Conversely, any Frobenius ${}_\Lambda M_\Gamma$8-coring structure arises from such a Frobenius extension.

4. Unification of the Stable Equivalence Structure

The upshot is that any stable equivalence of Morita type between ${}_\Lambda M_\Gamma$9 and ${}_\Gamma N_\Lambda$0 can be viewed as the stable equivalence arising from a Frobenius extension ${}_\Gamma N_\Lambda$1:

• The pair ${}_\Gamma N_\Lambda$2 forms a Frobenius pair: each is both left and right adjoint to the other.
• The entire stable equivalence data is encoded in the Frobenius system and the associated coring structure, unifying the induction-restriction adjunctions and projective splittings.

This perspective clarifies the structure of stable equivalence of Morita type and facilitates generalization to e.g., derived or graded settings, where Frobenius and separable properties play a key role in lifting equivalences.

5. Implications for Lifting, Structure, and Category Theory

Several algebraic and categorical consequences result from this interpretation:

• The presence of a Frobenius extension structure on ${}_\Gamma N_\Lambda$3 often allows the stable equivalence to be lifted to derived or homotopy categories due to separability and duality properties.
• The explicit realization via a ring inclusion and Frobenius extension enables transfer of classical induction and restriction techniques to the study of stable categories.
• The unification of the Morita-type data as a single algebraic object—a Frobenius coring—streamlines categorical analysis, especially regarding adjunctions, dual bases, and the reconstruction of equivalences.

6. Centralization of Results and Connections to Further Research

This framework demonstrates that stable equivalence of Morita type is not an abstract or isolated categorical phenomenon but is intimately linked to Frobenius extensions and coring theory. It elucidates how the comparative module-theoretic data of ${}_\Gamma N_\Lambda$4 is precisely reflected in the extension-theoretic and (co)algebraic structure of ${}_\Gamma N_\Lambda$5. The consequences are pivotal for the extension to derived equivalences, the study of open conjectures in modular representation theory, and the systematic construction of equivalences in various algebraic settings (Beattie et al., 2012).