Constructible Subcategories and Unbounded Representation Type (with an appendix by Andres Fernandez Herrero)

TL;DR

This paper investigates the relationship between bounded and finite representation types in constructible subcategories of module categories, using the Ziegler spectrum and scheme of finite dimensional modules, and explores related conjectures.

Contribution

It establishes that bounded type implies finite type for certain constructible subcategories and connects matrix reductions with exact structures.

Findings

Bounded type implies finite type in constructible subcategories.

A variant of the second Brauer-Thrall conjecture is validated under specific conditions.

Constructible subcategories arise from exact structures and matrix reductions.

Abstract

We show that bounded type implies finite type for a constructible subcategory of the module category of a finitely generated algebra over a field, which is a variant of the first Brauer-Thrall conjecture. A full subcategory is constructible if it consists of all modules that vanish on a finitely presented functor. Our approach makes use of the Ziegler spectrum of a ring and a connection, established in this work, with the scheme of finite dimensional modules. We also discuss a variant of the second Brauer-Thrall conjecture in this setting. It is shown to be true under additional assumptions on the algebra, but wrong in general. Lastly, it is proven that exact structures and matrix reductions give rise to constructible subcategories. Based on this, a translation from matrix reductions to reductions of exact structures is provided.