Representation embeddings, interpretation functors and controlled wild algebras

DOI10.1112/JLMS/JDW055zbMATH Open1367.16011arXiv1411.3221OpenAlexW1564966343MaRDI QIDQ2958287FDOQ2958287

Mike Prest, Lorna Gregory

Publication date: 1 February 2017

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Abstract: We establish a number of results which say, roughly, that interpretation functors preserve algebraic complexity. First we show that representation embeddings between categories of modules of finite-dimensional algebras induce embeddings of lattices of pp formulas and hence are non-decreasing on Krull-Gabriel dimension and uniserial dimension. A consequence is that the category of modules of any wild finite-dimensional algebra has width $infty$ and hence, if the algebra is countable, there is a superdecomposable pure-injective representation. It is conjectured that a stronger result is true: that a representation embedding from $mModmbox-S$ to $mModmbox-R$ admits an inverse interpretation functor from its image and hence that, in this case, $mModmbox-R$ interprets $mModmbox-S$. This would imply, for instance, that every wild category of modules interprets the (undecidable) word problem for (semi)groups. We show that the conjecture holds for finitely controlled representation embeddings. Finally we prove that if $R,S$ are finite dimensional algebras over an algebraically closed field and $I:mModmbox-RightarrowmModmbox-S$ is an interpretation functor such that the smallest definable subcategory containing the image of $I$ is the whole of $mModmbox-S$ then, if $R$ is tame, so is $S$ and similarly, if $R$ is domestic, then $S$ also is domestic.

Full work available at URL: https://arxiv.org/abs/1411.3221

zbMATH Keywords

decidabilityrepresentation embedding

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Module categories in associative algebras (16D90) Representation type (finite, tame, wild, etc.) of associative algebras (16G60) Undecidability and degrees of sets of sentences (03D35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theory of modules
• Tame Algebras and Generic Modules
• On the Krull-Gabriel dimension of an algebra
• Endlich präsentierbare Moduln
• The spectrum of a module category
• Definable additive categories: purity and model theory
• The Ziegler and Zariski spectra of some domestic string algebras.
• The Ziegler Spectrum of a Locally Coherent Grothendieck Category
• Exactly definable categories
• Imaginary modules
• Controlled wild algebras
• Representation embeddings and the Ziegler spectrum
• Decidability for Theories of Modules
• Epimorphisms of rings, interpretations of modules and strictly wild algebras
• Interpreting modules in modules
• Structure sheaves of definable additive categories
• Abelian categories and definable additive categories
• NON-STRICTLY WILD ALGEBRAS

Cited In (6)

• Super-decomposable pure-injective modules over algebras with strongly simply connected Galois coverings
• On wild algebras and super-decomposable pure-injective modules
• Title not available (Why is that?)
• On tame strongly simply connected algebras
• On Krull-Gabriel dimension and Galois coverings
• Modules as exact functors

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• REPRESENTABLE FUNCTORS, SERRE FUNCTORS, AND MUTATIONS 👍 👎
• Embedding functors and their arithmetic properties 👍 👎
• Controlled wild algebras 👍 👎
• On representable functors in Morita theory 👍 👎
• Cleaving functors and controlled wild algebras 👍 👎
• Representations of algebras. Tame and wild behavior 👍 👎
• On \(*\)-wild algebras 👍 👎

This page was built for publication: Representation embeddings, interpretation functors and controlled wild algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2958287)