Symmetric Finite-Dimensional Algebras

• Symmetric finite-dimensional algebras are Frobenius algebras with a nondegenerate, symmetric bilinear form, ensuring self-duality as bimodules.
• They play a pivotal role in representation theory and homological algebra, evident in examples like group algebras, matrix algebras, and graded structures.
• Their structural properties, including duality, periodicity, and deformation behavior, provide deep insights into quantum algebra and categorical frameworks.

A symmetric finite-dimensional algebra over a field is a Frobenius algebra whose nondegenerate bilinear form is invariant under the interchange of arguments, or equivalently, an algebra isomorphic as a bimodule to its dual with reversed actions. Such algebras are central in representation theory, homological algebra, quantum algebra, and categorical quantum mechanics, with structural, cohomological, and categorical manifestations across mathematics and physics.

1. Algebraic and Module-Theoretic Foundations

A finite-dimensional $k$-algebra $A$ is called Frobenius if there exists a linear form $f: A \to k$ whose kernel contains no nonzero left ideal, inducing a nondegenerate associative bilinear form $\langle a,b \rangle_F = f(ab)$. $A$ is symmetric Frobenius if $\langle a, b\rangle_F = \langle b, a\rangle_F$, equivalently, $f(ab) = f(ba)$ for all $a, b \in A$ (Gerstenhaber, 2011, Dascalescu et al., 2015). This symmetrizing form can be given as a bimodule isomorphism $A \cong A^*_{\mathrm{op}}$; that is, $A$ is self-dual as an $A$-bimodule (definition of symmetric algebra). The bimodule property translates to the dualizing identities:

$$\langle ac, b \rangle = \langle a, cb \rangle, \qquad \langle ca, b \rangle = \langle a, bc \rangle,$$

for all $a, b, c \in A$ (Gerstenhaber, 2011).

Equivalent characterizations include:

• The existence of a $k$-linear map $\lambda: A \to k$ with $\lambda(ab) = \lambda(ba)$ and $\ker \lambda$ containing no nonzero left ideal (Dascalescu et al., 2015).
• The property that $A \cong A^*$ as $A$-bimodules, not just as left- or right-modules.

Fundamental examples: group algebras $kG$, matrix algebras $M_n(k)$ with the trace pairing, truncated polynomial algebras $k[t]/(t^{n+1})$, and self-injective Nakayama algebras of appropriate length (Gerstenhaber, 2011).

2. Homological and Cohomological Properties

Symmetric algebras are self-injective: $A \cong D(A)$ as right $A$-modules, where $D(A) = \mathrm{Hom}_k(A, k)$. The Nakayama automorphism is inner; thus, the Nakayama functor $N = D\mathrm{Hom}_A(-, A)$ is the identity (Juan et al., 2013). This symmetry reflects a deep duality in their module categories and homological algebra:

• For every indecomposable projective $A$-module $P$, $D(P)$ is again projective, and the structures of Loewy layers of projective and injective modules coincide via the Landrock lemma and its generalizations (Sakurai, 2016).

Cohomologically, $H^*(A, A) \cong H^*(A, A^*_{\mathrm{op}})$, providing a contravariant functoriality to Hochschild cohomology and influencing the deformation theory of $A$ (Gerstenhaber, 2011). For quasi self-dual (but not self-dual) algebras such as poset algebras, this contravariant property persists at the level of cohomology isomorphism.

3. Symmetric Algebras in Categorical and Graded Contexts

Symmetric Frobenius algebras generalize to categorical settings, e.g., in dagger-compact symmetric monoidal categories. Here a †-Frobenius algebra is an object $A$ with multiplication $\mu$, unit $\eta$, comultiplication $\Delta = \mu^\dagger$, and counit $\varepsilon = \eta^\dagger$, satisfying the Frobenius law and specialness ($\mu\circ\Delta = \mathrm{id}_A$ and $\varepsilon \circ \eta = \mathrm{id}_I$), and symmetry ($\mu = \mu \circ \sigma$) (Gogioso, 2021). In the setting of completely positive maps (CPM(fHilb)), all special symmetric †-Frobenius algebras arise as canonical “doubled” structures from fHilb.

For graded algebras, the corresponding notion is a graded symmetric algebra: a $G$-graded semisimple algebra $A = \bigoplus_{g \in G} A_g$ is graded symmetric if $A \cong A^*$ in the monoidal category of graded vector spaces and $A$-bimodules (Dascalescu et al., 2015). Every finite-dimensional graded semisimple algebra is graded symmetric. Furthermore, the center of a finite-dimensional graded division algebra is symmetric if the field characteristic does not divide $|G|$.

4. Periodicity, Calabi–Yau Dimensions, and Exotic Examples

Symmetric finite-dimensional algebras frequently exhibit periodicity: there exists a minimal $p$ such that $\Omega^p_{A^e}(A) \cong A$ as $A$-bimodules, which also controls the periodicity of their Hochschild (co)homology (Juan et al., 2013, Erdmann et al., 2019). For mesh algebras (e.g., orbit algebras of Dynkin quivers and translation automorphisms), criteria for symmetry, period, and Calabi–Yau Frobenius/stable dimension are given in terms of the Coxeter number and the action of the Nakayama automorphism. Explicit combinatorial formulas are available:

• For $t=1$ and Dynkin type $A_r$, $D_{2r-1}$, or $E_6$, $A$ is symmetric if $m$ is even and $m \mid (c_\Delta - 1)$; the period is $6m/\gcd(m, c_\Delta)$.
• Calabi–Yau dimensions are similarly given by congruences in terms of $m$ and $c_\Delta$.

“Higher spherical algebras” $A_n(\lambda)$ and their higher tetrahedral analogues present exotic families of tame, symmetric, periodic (of period four) algebras. These structures, derived from triangulations of the sphere, provide new examples with periodic stable categories ($\Omega^4 \cong \mathrm{Id}$) and non-polynomial growth, further supporting conjectures about the structure of tame symmetric periodic algebras (Erdmann et al., 2019).

5. Representation-Theoretic and Structural Implications

In symmetric algebras, radical and socle layers of indecomposable projective modules display dual symmetry and reciprocity; specifically, for projective $P_i$ and simple module $S_j$:

$$\dim_k \operatorname{Hom}_A(\operatorname{rad}_n P_i, S_j) = \dim_k \operatorname{Hom}_A(S_i, \operatorname{soc}_n P_j)$$

and there exist isomorphisms involving the duals of the projectives (Sakurai, 2016). Similar results hold for general finite-dimensional algebras when replacing the field dual by the $A$-dual and including the Nakayama functor.

Symmetric structure controls the module category’s self-duality, the isomorphism type of the stable and derived categories, and the interplay between projective and injective resolutions. For group algebras and self-injective Nakayama algebras, these phenomena underlie their modular representation theory.

6. Classification, Deformation, and Topological Implications

Symmetric Frobenius algebras coincide with finite-dimensional self-dual algebras. Their deformation spaces, through contravariant Hochschild cohomology, inherit strong functorial properties: morphisms between symmetric algebras yield morphisms of their deformation spaces (Gerstenhaber, 2011). In the commutative case, the monoidal category of such algebras is equivalent to the category of 1+1-dimensional topological quantum field theories—a deep connection established by Abrams.

Deformations need not break the symmetric Frobenius property; for example, deformations of $k[t]/(t^{n+1})$ to $k[t]/(t^{n+1} - h p(t))$ can preserve nondegenerate symmetric forms.

Quasi self-dual algebras, including upper-triangular matrix algebras of posets, expand the class for which Hochschild cohomology is contravariant, but without bimodule-level self-duality (Gerstenhaber, 2011).

---

References:

• (Gerstenhaber, 2011)
• (Dascalescu et al., 2015)
• (Juan et al., 2013)
• (Sakurai, 2016)
• (Erdmann et al., 2019)
• (Gogioso, 2021)