Abstract:We investigate stability properties of the reductive Borel-Serre categories; these were introduced as a model for unstable algebraic K-theory in previous work. We see that they exhibit better homological stability properties than the general linear groups. We also show that they provide an explicit model for Yuan's partial algebraic K-theory.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore the stability properties of reductive Borel - Serre categories (RBS - categories) within the framework of unstable algebraic K - theory, especially homological stability. Specifically:
1. **Stability Comparison**:
- Firstly, the paper compares the formal stabilization process $\Omega B(-)$ given by group completion with the more naive stabilization process of taking the limit sequence:
\[
RBS(M)\to RBS(M\oplus A)\to\cdots\to RBS(M\oplus A^{n})\to RBS(M\oplus A^{n + 1})\to\cdots
\]
2. **Homological Stability**:
- Secondly, the paper explores whether the stabilization maps induce isomorphisms on the $d$-th homology group:
\[
H_d(RBS(M))\to H_d(RBS(M\oplus N))
\]
Whether these stabilization maps are isomorphisms at the homology level when the rank of $M$ is large enough.
3. **E∞ - Space Structure**:
- The author proves that the geometric realization $|MRBS(A)|$ of the single - object RBS category is actually an E∞ - space. This structure enables the application of a series of existing tools to study its stability properties. In particular, this provides a new approach to studying homological stability.
4. **Partial Algebraic K - Theory**:
- The paper also explores the relationship between the partial algebraic K - theory $K_{\partial}(A)$ and the geometric realization of the single - object RBS category, and proves that the two are equivalent as E1 - spaces. Moreover, the partial algebraic K - theory is also proven to naturally have an E∞ - space structure.
5. **Main Results**:
- For any ring $A$, the geometric realization $|MRBS(A)|$ of the single - object RBS category naturally has an E∞ - space structure.
- Through the group completion theorem, the group completion $\Omega B|MRBS(A)|$ can be compared with the limit $RBS_{\infty}(A)$.
- Under certain conditions, such as when all finitely generated projective modules are split Noetherian, specific isomorphism results can be obtained.
6. **Homological Stability Range**:
- For different types of rings $R$ (such as PID, local commutative rings, Euclidean integral domains, etc.), the paper gives specific homological stability ranges. For example, for a PID $R$, when $2d < n - 1$, the stabilization maps are isomorphisms.
In summary, this paper aims to deeply study the homological stability properties of RBS - categories, and by introducing the E∞ - space structure and partial algebraic K - theory, provides a new perspective and tools to understand these stability properties.