Decidability of theories of modules over tubular algebras

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite‐dimensional algebra (over a suitably recursive field) is tame if and only if its com...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the London Mathematical Society 2021-11, Vol.123 (5), p.460-497
Main Author: Gregory, Lorna
Format: Article
Language:English
Subjects:
03C60
03D35
16D90 (secondary)
16G60 (primary)
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite‐dimensional algebra (over a suitably recursive field) is tame if and only if its common theory of modules is decidable (Prest, Model theory and modules (Cambridge University Press, Cambridge, 1988)). Moreover, as a corollary, we are able to confirm this conjecture for the class of concealed canonical algebras over algebraically closed fields. Tubular algebras are the first examples of non‐domestic algebras which have been shown to have decidable theory of modules. We also correct results in Harland and Prest (Proc. Lond. Math. Soc. (3) 110 (2015) 695–720), in particular, Corollary 8.8 of that paper.
ISSN:0024-6115
1460-244X
DOI:10.1112/plms.12403