Table of Contents
Fetching ...

Higher Koszul algebras and the $\textbf{(Fg)}$-condition

Johanne Haugland, Mads Hustad Sandøy

TL;DR

This work characterizes the $(\mathrm{Fg})$-condition for finite dimensional algebras in the broad setting of $n$-$T$-Koszul algebras by linking $(\mathrm{Fg})$ to the graded center of the $n$-$T$-Koszul dual $\Lambda^!$ and to the finiteness of $\Lambda^!$ over that center. Central to the approach is showing that the dg-endomorphism algebra $\Gamma=\mathrm{REnd}_\Lambda(T)$ is formal, so $\Lambda^! \simeq \mathrm{Ext}^*_{\Lambda}(T,T) \simeq H^*(\Gamma)$ carries a canonical $A_\infty$-structure with $m_d=0$ for $d\ge3$, enabling a clean reduction to center-based finiteness criteria. The main theorem extends Erdmann–Solberg to the $n$-$T$-Koszul setting and yields a concrete criterion to verify $(\mathrm{Fg})$ via $Z_{\mathrm{gr}}(\Lambda^!)$ and module finiteness. The paper further connects to higher Auslander–Reiten theory, showing that for graded symmetric highest-degree-1 algebras with $\Lambda_0$ $n$-representation infinite, $(\mathrm{Fg})$ holds exactly when $\Lambda_0$ is $n$-representation tame, with significant applications to trivial extensions of dimer algebras and related noncommutative geometric contexts.

Abstract

Determining when a finite dimensional algebra satisfies the finiteness property known as the $(\textbf{Fg})$-condition is of fundamental importance in the celebrated and influential theory of support varieties. We give an answer to this question for higher Koszul algebras, generalizing a result by Erdmann and Solberg. This allows us to establish a strong connection between the $(\textbf{Fg})$-condition and higher homological algebra, which significantly extends the classes of algebras for which it is known whether the $(\textbf{Fg})$-condition is satisfied. In particular, we show that the condition holds for an important class of algebras arising from consistent dimer models.

Higher Koszul algebras and the $\textbf{(Fg)}$-condition

TL;DR

This work characterizes the -condition for finite dimensional algebras in the broad setting of --Koszul algebras by linking to the graded center of the --Koszul dual and to the finiteness of over that center. Central to the approach is showing that the dg-endomorphism algebra is formal, so carries a canonical -structure with for , enabling a clean reduction to center-based finiteness criteria. The main theorem extends Erdmann–Solberg to the --Koszul setting and yields a concrete criterion to verify via and module finiteness. The paper further connects to higher Auslander–Reiten theory, showing that for graded symmetric highest-degree-1 algebras with -representation infinite, holds exactly when is -representation tame, with significant applications to trivial extensions of dimer algebras and related noncommutative geometric contexts.

Abstract

Determining when a finite dimensional algebra satisfies the finiteness property known as the -condition is of fundamental importance in the celebrated and influential theory of support varieties. We give an answer to this question for higher Koszul algebras, generalizing a result by Erdmann and Solberg. This allows us to establish a strong connection between the -condition and higher homological algebra, which significantly extends the classes of algebras for which it is known whether the -condition is satisfied. In particular, we show that the condition holds for an important class of algebras arising from consistent dimer models.

Paper Structure

This paper contains 11 sections, 19 theorems, 44 equations.

Key Result

Theorem 1

Let $\Lambda$ be a finite dimensional $n$-$T$-Koszul algebra. Then $\Lambda$ satisfies the (Fg)-condition if and only if the graded center $Z_{\mathop{\mathrm{gr}}\nolimits}(\Lambda^!)$ is noetherian and $\Lambda^!$ is module finite over $Z_{\mathop{\mathrm{gr}}\nolimits}(\Lambda^!)$.

Theorems & Definitions (42)

  • Theorem 1: see \ref{['thm: characterisation for n-T']}
  • Theorem 2: see \ref{['cor: fg']}
  • Theorem 3: see \ref{['thm: Fg and consistent dimer algebras']}
  • Lemma 2.1
  • proof
  • Proposition 2.2
  • proof
  • Proposition 2.3
  • proof
  • Proposition 2.4
  • ...and 32 more