Sergei O. Ivanov,Roman Mikhailov,Fedor Pavutnitskiy
Abstract:In this paper, we study operations on functors in the category of abelian groups simplar to the derivation in the sense of Dold-Puppe. They are defined as derived limits of a functor applied to the relation subgroup over a category of free presentations of the group. The integral homology of the Eilenberg-Maclane space $K(\mathbb Z,3)$ appears as a part of description of these operations applied to symmetric powers.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study a functor operation similar to Dold - Puppe derivation in the category of Abelian groups. Specifically, the authors define a new derived limit, which is defined by applying a functor to objects in the free presentation category obtained from relation subgroups. These new "derived" operations can transform short exact sequences into long exact sequences, thus providing a new method to study and understand functors on Abelian groups.
More specifically, the paper explores how to describe the applications of symmetric powers through these derived limits, and pays special attention to the applications on free Abelian groups. For example, for a free Abelian group \(A\), the paper shows the following descriptions:
\[ \lim^2 S_2 R_A=\tilde{\otimes}^2(A) \]
\[ \lim^3 S_3 R_A=\tilde{\otimes}^3(A) \]
\[ \lim^2 S_3 R_A = A\otimes \mathbb{Z}/\text{sl}\otimes \text{sh.left}3 \]
In addition, the paper also explores the relationship between these derived limits and the integer homology groups of Eilenberg - MacLane spaces \(K(\mathbb{Z}, 3)\). In particular, for a free Abelian group \(A\), the paper proves the existence of non - natural isomorphisms:
\[ \lim^i S_d R_A\cong\begin{cases}
L_{i - 1}\Gamma_d(A, 1), & \text{if } i < d, \\
L_{d - 1}\Gamma_d(A, 1)\oplus L_d\Gamma_d(A, 1), & \text{if } i = d, \\
0, & \text{if } i > d.
\end{cases} \]
These results not only provide a new understanding of derived functors, but also reveal their potential applications in algebraic topology.