Table of Contents
Fetching ...

Derived Representation Type and Field Extensions

Jie Li, Chao Zhang

TL;DR

The paper extends the second derived Brauer-Thrall dichotomy to algebras over arbitrary infinite fields by introducing C-dichotomic algebras, defined via the derived representation type of complexes of projectives. It proves that C-dichotomy is preserved under finite separable extensions to an algebraically closed field K, and leverages the known dichotomy over algebraically closed fields to conclude that A is either derived-discrete or strongly derived-unbounded when K/k is finite separable with K algebraically closed. Consequently, the second derived Brauer-Thrall type theorem holds for such A, with R as a concrete example. The results unify derived representation type behavior across ground fields and illuminate the role of field extensions in derived category dichotomies.

Abstract

Let $A$ be a finite-dimensional algebra over a field $k$. We define $A$ to be $\mathbf{C}$-dichotomic if it has the dichotomy property of the representation type on complexes of projective $A$-modules. $\mathbf{C}$-dichotomy implies the dichotomy properties of representation type on the levels of homotopy category and derived category. If $k$ admits a finite separable field extension $K/k$ such that $K$ is algebraically closed, the real number field for example, we prove that $A$ is $\mathbf{C}$-dichotomic. As a consequence, the second derived Brauer-Thrall type theorem holds for $A$, i.e., $A$ is either derived discrete or strongly derived unbounded.

Derived Representation Type and Field Extensions

TL;DR

The paper extends the second derived Brauer-Thrall dichotomy to algebras over arbitrary infinite fields by introducing C-dichotomic algebras, defined via the derived representation type of complexes of projectives. It proves that C-dichotomy is preserved under finite separable extensions to an algebraically closed field K, and leverages the known dichotomy over algebraically closed fields to conclude that A is either derived-discrete or strongly derived-unbounded when K/k is finite separable with K algebraically closed. Consequently, the second derived Brauer-Thrall type theorem holds for such A, with R as a concrete example. The results unify derived representation type behavior across ground fields and illuminate the role of field extensions in derived category dichotomies.

Abstract

Let be a finite-dimensional algebra over a field . We define to be -dichotomic if it has the dichotomy property of the representation type on complexes of projective -modules. -dichotomy implies the dichotomy properties of representation type on the levels of homotopy category and derived category. If admits a finite separable field extension such that is algebraically closed, the real number field for example, we prove that is -dichotomic. As a consequence, the second derived Brauer-Thrall type theorem holds for , i.e., is either derived discrete or strongly derived unbounded.

Paper Structure

This paper contains 5 sections, 12 theorems, 13 equations.

Key Result

Lemma 2.2

Let $A$ be a $k$-algebra. Consider the following statements: (1) for each $m>0$, $\mathbf{C}_m(A\hbox{-{\rm proj}})$ is of finite representation type, (2) the category $\mathbf{K}^{\mathrm{b}}(A\hbox{-{\rm proj}})$ is discrete, (3) $A$ is derived-discrete. Then we have (1) $\Longrightarrow$ (2) $\Lo

Theorems & Definitions (23)

  • Definition 2.1
  • Lemma 2.2
  • proof
  • Definition 2.3
  • Example 2.4
  • Lemma 2.5
  • proof
  • Proposition 2.6
  • Proposition 2.7
  • Definition 2.8
  • ...and 13 more