Abstract:Let $K$ be a number field with ring of integers $R = \mathcal{O}_K$. We show that if $R$ is not a principal ideal domain, then the symplectic group $\operatorname{Sp}_{2n}(R)$ has non-trivial rational cohomology in its virtual cohomological dimension. This demonstrates a sharp contrast to the situation where $R$ is Euclidean. To prove our result, we study the symplectic Steinberg module, i.e. the top-dimensional homology group of the spherical building associated to $\operatorname{Sp}_{2n}(K)$. We show that this module is not generated by integral apartment classes.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore whether the rational cohomology of the symplectic group \(Sp_{2n}(R)\) is nontrivial in its virtual cohomology dimension when the ring \(R\) is not a principal ideal domain (PID). Specifically, the author shows that under these conditions, there do exist nonzero elements in the rational cohomology of the symplectic group, which is in sharp contrast to the case when \(R\) is a Euclidean ring.
### Specific problem description:
1. **Background and motivation**:
- For a number field \(K\) and its ring of integers \(R = \mathcal{O}_K\), if \(R\) is not a principal ideal domain (PID), whether the rational cohomology \(H^{\nu_n}(Sp_{2n}(R); \mathbb{Q})\) of the symplectic group \(Sp_{2n}(R)\) at its virtual cohomology dimension \(\nu_n\) is nonzero.
- Previous research has shown that when \(R\) is a Euclidean ring, these cohomology groups are zero. Therefore, the author hopes to explore whether these cohomology groups are still zero in the more general case, that is, when \(R\) is not a PID.
2. **Main results**:
- The main theorem (Theorem 1.1) of the paper shows that: for all \(n\geq1\), if \(R\) is not a PID, then
\[
\dim(H^{\nu_n}(Sp_{2n}(R); \mathbb{Q})) \geq (|\text{cl}(R)| - 1)^n,
\]
where \(\text{cl}(R)\) represents the ideal class group of \(R\).
3. **Proof strategy**:
- By studying the symplectic Steinberg module, that is, the highest - dimensional homology group of the spherical building associated with the symplectic group.
- Using the Borel - Serre duality theorem, transform the problem into studying the invariants of the symplectic Steinberg module.
- Construct a mapping \(\psi\) such that this mapping is surjective at the homology level, thereby proving that the invariants of the symplectic Steinberg module are nonzero.
### Summary:
The core problem of this paper is to explore the nontriviality of the rational cohomology of the symplectic group \(Sp_{2n}(R)\) in its virtual cohomology dimension when the ring of integers \(R\) is not a principal ideal domain, and prove this nontriviality through detailed algebraic and geometric methods. This result reveals the significant differences of the symplectic group on different rings of integers and provides a new perspective for understanding the cohomology properties of the symplectic group.