Table of Contents
Fetching ...

A lecture note on covering theory in representation theory of algebras

Yuming Liu, Nengqun Li, Bohan Xing, Pengyun Chen

TL;DR

This note provides an elementary, cohesive exposition of covering theory in representation theory of algebras, connecting coverings of quivers and quivers with relations to Galois actions, orbit categories, and universal covers. It develops push-down and pull-up functors, their adjunction, and shows how these tools transport AR-structure, representation type, and derived-category information across coverings, including graded and non-skeletal settings. A central theme is the use of covers (especially universal covers) to detect finite, tame, and wild representation types, and to describe indecomposables via strings and bands in string algebras. The work also extends the framework to general $k$-categories and derived categories, establishing precoverings and graded adjoint pairs that yield (i) AR-quiver correspondences, (ii) module and derived-category transfers, and (iii) connections to repetitive algebras and derived equivalences, while noting limitations and characteristic-dependent phenomena.

Abstract

Covering theory is an important tool in representation theory of algebras, however, the results and the proofs are scattered in the literature. We give an introduction to covering theory at a level as elementary as possible.

A lecture note on covering theory in representation theory of algebras

TL;DR

This note provides an elementary, cohesive exposition of covering theory in representation theory of algebras, connecting coverings of quivers and quivers with relations to Galois actions, orbit categories, and universal covers. It develops push-down and pull-up functors, their adjunction, and shows how these tools transport AR-structure, representation type, and derived-category information across coverings, including graded and non-skeletal settings. A central theme is the use of covers (especially universal covers) to detect finite, tame, and wild representation types, and to describe indecomposables via strings and bands in string algebras. The work also extends the framework to general -categories and derived categories, establishing precoverings and graded adjoint pairs that yield (i) AR-quiver correspondences, (ii) module and derived-category transfers, and (iii) connections to repetitive algebras and derived equivalences, while noting limitations and characteristic-dependent phenomena.

Abstract

Covering theory is an important tool in representation theory of algebras, however, the results and the proofs are scattered in the literature. We give an introduction to covering theory at a level as elementary as possible.

Paper Structure

This paper contains 23 sections, 38 theorems, 61 equations.

Key Result

Lemma 1.2

(cf. LL2025) If $f:Q\rightarrow Q'$ is a covering of quivers, then $f$ induces a covering functor $kf:kQ\rightarrow kQ'$ between the associated path categories.

Theorems & Definitions (112)

  • Definition 1.1
  • Lemma 1.2
  • proof
  • Definition 1.3
  • Definition 1.4
  • Lemma 1.5
  • proof
  • Example 1.6
  • Proposition 1.7
  • proof
  • ...and 102 more