Abstract:Let $R,S$ be rings, $\mathcal{X}\subseteq \text{mod}$-$R$ a covariantly finite subcategory, $\mathcal{C}$ the smallest definable subcategory of $\text{Mod}$-$R$ containing $\mathcal{X}$ and $\mathcal{D}$ a definable subcategory of $\text{Mod}$-$S$. We show that if $I:\mathcal{C}\rightarrow \mathcal{D}$ is an interpretation functor such that $I\mathcal{X}\subseteq \text{mod}$-$S$ and whose restriction to $\mathcal{X}$ is full then $I$ is full on pure-injective modules. We apply this theorem to an extension of a functor introduced by Ringel and Roggenkamp which, in particular, allows us to describe the torsion-free part of the Ziegler spectra of tame Bäckström orders. We also introduce the notion of a pseudogeneric module over an order which is intended to play the same role for lattices over orders as generic modules do for finite-dimensional modules over finite-dimensional algebras.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper mainly studies the surjectivity problem of **interpretation functors on pure - injective modules** and explores its applications in specific categories. Specifically:
1. **Core problem**:
- Let \(R\) and \(S\) be rings, \(X\subseteq \text{mod - }R\) be a covariantly finite subcategory, \(C\) be the smallest definable subcategory containing \(X\), and \(D\) be a definable subcategory of \(\text{Mod - }S\).
- If \(I: C\rightarrow D\) is an interpretation functor, and \(I\) is full on \(X\) and maps modules in \(\text{mod - }R\) to modules in \(\text{mod - }S\), then \(I\) is also full on pure - injective modules.
2. **Main theorem**:
- **Theorem**: Let \(R, S\) be rings, \(X\subseteq \text{mod - }R\) be covariantly finite, \(C\) be the smallest definable subcategory containing \(X\), and \(D\) be a definable subcategory of \(\text{Mod - }S\). If \(I: C\rightarrow D\) is an interpretation functor, and \(I\) is full on \(X\) and maps modules in \(\text{mod - }R\) to modules in \(\text{mod - }S\), then \(I\) is also full on pure - injective modules.
3. **Applications**:
- The author applies this result to extend the functor introduced by Ringel and Roggenkamp. In particular, this enables us to describe the torsion - free part of the Ziegler spectrum of **tame Bäckström orders**.
- Through these applications, the author also introduces the concept of pseudogeneric module, aiming to provide a role for lattices on orders similar to that of generic modules for finite - dimensional modules over finite - dimensional algebras.
4. **Specific application scenarios**:
- **Butler functor**: The author shows that the Butler functor satisfies the assumptions of the theorem in this case and uses clever methods to prove that it is full on pure - injective modules.
- **Ringel and Roggenkamp's functor**: By extending this functor, the author proves that it is full on pure - injective modules and further explores its impact on the Ziegler spectrum.
### Summary
The main goal of this paper is to prove the surjectivity of interpretation functors on pure - injective modules and use this result to better understand the module structures of certain specific categories and their Ziegler spectra. By introducing the concept of pseudogeneric module, the author provides a new tool for studying lattices on orders.