Abstract: We give a new proof of the theorem of Krstic-McCool from the title. Our proof has potential applications to the study of finiteness properties of other subgroups of SL_2 resulting from rings of functions on curves.
What problem does this paper attempt to address?
The problem this paper attempts to address is to prove that the group \( \text{SL}_2(\mathbb{Z}[t,t^{-1}]) \) is not finitely presented, i.e., it is not a group of type \( \text{FP}_2 \). Specifically, the author provides a new proof using geometric methods, demonstrating that \( \text{SL}_2(\mathbb{Z}[t,t^{-1}]) \) cannot be described by a finite number of generators and relations.
### Background and Motivation
1. **Background**:
- The main result of the paper is an enhancement of the Krstić and McCool theorem, proving that \( \text{SL}_2(\mathbb{Z}[t,t^{-1}]) \) is not finitely presented and further proving that it is not even a group of type \( \text{FP}_2 \).
- The author points out that this conclusion can be extended to linear groups over other rings, particularly linear groups over function rings.
2. **Motivation**:
- Studying finiteness properties is crucial for understanding the structure and properties of groups. Finitely presented groups are significant in algebraic topology and geometric group theory.
- The author hopes to demonstrate, through this specific example, how techniques can be applied to a broader class of groups, thereby providing new tools and methods for further research.
### Main Results
- **Proposition A**: The group \( \text{SL}_2(\mathbb{Z}[t,t^{-1}]) \) is not finitely presented, i.e., it is not a group of type \( \text{FP}_2 \).
- Using geometric methods, the author constructs a series of 1-cycles \( \gamma_n \) by considering the action of \( \text{SL}_2(\mathbb{Z}[t,t^{-1}]) \) on the product of two Bruhat-Tits trees and proves that these 1-cycles represent non-trivial 1-dimensional homology classes in any \( \text{SL}_2(\mathbb{Z}[t,t^{-1}]) \)-invariant compact subspace.
### Methods
- **Geometric Methods**:
- The author considers the action of \( \text{SL}_2(\mathbb{Z}[t,t^{-1}]) \) on the product of two Bruhat-Tits trees \( T_\infty \) and \( T_0 \), denoted as \( X = T_\infty \times T_0 \).
- By constructing an \( \text{SL}_2(\mathbb{Z}[t,t^{-1}]) \)-invariant compact subspace \( X_0 \) and a series of 1-cycles \( \gamma_n \) within \( X_0 \).
- Using K. Brown's filtration criterion, the author proves that \( \text{SL}_2(\mathbb{Z}[t,t^{-1}]) \) is not a group of type \( \text{FP}_2 \).
### Applications and Prospects
- **Applications**:
- The author's methods can be applied to linear groups over other types of rings, particularly linear groups over function rings.
- These results help in understanding the finiteness properties of a broader range of linear groups.
- **Prospects**:
- The author proposes further research questions, such as whether there exists some \( m \)-place ring \( R \) such that \( \text{SL}_n(R) \) is a group of type \( \text{FP}_{m(n-1)} \).
- The author also discusses the possibility of higher-order finiteness properties, especially in the case of \( n > 2 \).
In summary, this paper provides a new proof using geometric methods, demonstrating that \( \text{SL}_2(\mathbb{Z}[t,t^{-1}]) \) is not finitely presented and paving the way for further research.