Homological stability for symplectic groups via algebraic arc complexes

Basic Information

• Paper ID: 2411.07895
• Title: Homological stability for symplectic groups via algebraic arc complexes
• Authors: Ismael Sierra, Nathalie Wahl
• Classification: math.AT (Algebraic Topology)
• Publication Date: November 7, 2025 (arXiv v2: November 6, 2025)
• Paper Link: https://arxiv.org/abs/2411.07895

Abstract

This paper establishes homological stability with slope 2/3 for symplectic groups over rings with finite unitary stable rank using algebraic arc complexes. The symplectic groups are interpreted as automorphism groups of formed spaces with boundary, which are algebraic analogues of surfaces with boundary. The stabilization maps are rank-one stabilizations in the category of formed spaces with boundary, and the results encompass both odd and even symplectic groups.

Research Background and Motivation

Problem Setting

The symplectic group Sp₂ₙ(R) is the automorphism group of the hyperbolic space H⊕ⁿ, where H = (R², λ_H) is equipped with a nondegenerate alternating form. Classically, stability properties of symplectic groups are studied through direct sums with H in the category of formed spaces. The central question is: Over what range of homological dimension do stabilization maps induce isomorphisms on homology groups?

Research Significance

1. Foundations of Algebraic K-Theory: Homological stability of symplectic groups is a central problem in algebraic K-theory, closely related to arithmetic groups and linear group theory
2. Topology-Algebra Correspondence: When R = Z, Sp₂ₙ(Z) relates to mapping class groups of surfaces of genus g, establishing a bridge between topology and algebra
3. Universality Questions: Understanding the stability range is crucial for computing stable homology groups and K-theory groups

Limitations of Existing Methods

• Charney (1987) and Mirzaii-van der Kallen (2002) proved slope 1/2 stability for even symplectic groups
• For finite fields, Sprehn-Wahl (2020) achieved the superior slope 1
• For local rings, Schlichting (2022) recently proved slope 2 results
• Problem with existing methods: Classical rank-two stabilization (⊕H) limits improvements in the stability range

Motivation for This Paper's Innovation

The core innovation of this paper lies in:

1. New Category: Introduction of the category F_∂ of formed spaces with boundary, rather than the traditional category F
2. Rank-One Stabilization: Replacement of rank-two stabilization ⊕H with rank-one stabilization #X of the object X = (R, 0, id)
3. Geometric Inspiration: Development of an algebraic version inspired by geometric arguments of Harr-Vistrup-Wahl (2024) on surface mapping class groups
4. Unified Framework: Simultaneous treatment of odd and even symplectic groups, where Sp₂ₙ₋₁(R) := Aut(X^{#2n}) is a parabolic subgroup of Sp₂ₙ(R)

Core Contributions

1. Improved Stability Theorem (Theorem A): For commutative rings R with finite unitary stable rank, homological stability with slope 2/3 is established:
   • For i ≤ (n-c)/3, the map H_i(Sp_n(R);Z) → H_i(Sp_{n+1}(R);Z) is surjective
   • For i ≤ (n-c-3)/3 (n odd) or all i (n even), the map is injective
   • where c = 0 (R a PID) or c = 2usr(R) + 2 (general case)
2. Algebraic Arc Complex Theory:
   • Definition of algebraic non-separating arc complex B(M,λ,∂) and unordered arc complex D(M,λ,∂)
   • Proof of high connectivity of D(M,λ,∂) (Theorem 3.16)
   • Establishment of isomorphism with destabilization complex W_n(A,X) (Proposition 4.4)
3. Category of Formed Spaces with Boundary:
   • Construction of the braided monoidal category F_{∂,X} with X as generator
   • Establishment of a monoidal functor from the category of doubly-decorated surfaces M₂ to F_∂ (Proposition 2.6)
   • Relationship between X^{#n} and hyperbolic spaces (Proposition 2.16)
4. Finite-Degree Coefficient Systems (Theorem B): Generalization of stability results to finite-degree coefficient systems with stability range i ≤ (n-c-3r-2)/3
5. Improvements for PIDs:
   • Superior stability bounds for principal ideal domains (c=0)
   • Proof of complete cancellation theorem (Theorem B.1)
   • Classification theorem for formed spaces with boundary (Theorem B.3)

Detailed Methods

Task Definition

Core Task: Prove that the stabilization map $\sigma_n: \text{Aut}_{F_\partial}(A\#X^{\#n}) \xrightarrow{-\#\text{id}_X} \text{Aut}_{F_\partial}(A\#X^{\#n+1})$ induces isomorphisms/surjections on homology in an appropriate range.

Inputs:

• Formed space with boundary (M, λ, ∂), where M is a finitely generated free R-module, λ is an alternating form, ∂: M → R is a boundary map
• Stabilization object X = (R, 0, id)

Outputs: Stability range for homology groups H_i(Aut(M);Z)

Constraints:

• R is a commutative ring with finite unitary stable rank
• Arc genus g_X(M,λ,∂) is sufficiently large

Core Concepts and Structures

1. Category of Formed Spaces with Boundary F_∂

Definition: Objects are triples (M, λ, ∂) where:

• M is a finitely generated free R-module
• λ: M ⊗ M → R is an alternating form
• ∂: M → R is a linear map (the "boundary")

Monoidal Structure: $(M_1, λ_1, ∂_1) \# (M_2, λ_2, ∂_2) = (M_1 ⊕ M_2, λ_1 \# λ_2, ∂_1 + ∂_2)$ where $λ_1 \# λ_2 = \begin{pmatrix} λ_1 & ∂_1^T ∂_2 \\ -∂_2^T ∂_1 & λ_2 \end{pmatrix}$

This definition is geometrically inspired: it corresponds to gluing doubly-decorated surfaces along marked intervals.

2. Arcs and Arc Genus

Arc Definition: An element a ∈ M satisfying ∂(a) = 1

Non-Separating Arc: An arc a such that {a•-, ∂} is unimodular in M^∨, where a•- := λ(a,-)

Arc Genus: $g_X(M,λ,∂) := \max\{g ∈ \mathbb{N} \mid M \cong M' \# X^{\#g} \text{ in } F_\partial\}$

Key Relationship (Proposition 2.26): Under appropriate conditions, $g_X(M,λ,∂) = 1 + g_H(M,λ) + g_H(\ker ∂, λ|_{\ker ∂})$ where g_H denotes hyperbolic genus.

3. Algebraic Arc Complexes

Non-Separating Arc Complex B(M,λ,∂):

• Vertices: non-separating arcs
• p-simplices: {a₀,...,a_p} such that {a₀•-,...,a_p•-, ∂} is unimodular in M^∨

Unordered Arc Complex D(M,λ,∂): Subcomplex of B where simplices {a₀,...,a_p} can be ordered so that a_i•a_j = 1 for all i < j

Connectivity Theorem (Theorem 3.16): $D(M,λ,∂) \text{ is } \left\lfloor \frac{g_X(M,λ,∂) - 2\text{usr}(R) - 6}{3} \right\rfloor\text{-connected}$ (For PIDs: (g_X - 5)/3-connected)

Technical Innovation Points

1. Arc Cutting Operation

For a simplex σ = {a₀,...,a_p}, define the cut formed space: $M \backslash σ := \bigcap_{i=0}^p \ker(∂ + a_i \bullet -)$

Key Lemma (Lemma 3.13):

• rk(M\σ) = rk(M) - (p+1)
• g_X(M\σ) ≥ g_X(M) - (2p+1) (under appropriate conditions)

This result is crucial for algebraizing geometric arguments, modeling the behavior of cutting surfaces along arcs.

2. Braided Monoidal Structure

Twist Map β: X^{#2} → X^{#2} corresponds to the inverse of geometric Dehn twist. Explicitly, for standard basis, $β_{n,m} = \begin{pmatrix} A_{m,n} & I_m \\ (-1)^m I_n & 0 \end{pmatrix}$ where (A_{m,n})_ = (-1)^{i+1}2.

Naturality (Proposition 2.9): Unlike the classical case, β is natural in F_∂, making F_{∂,X} a braided monoidal category.

3. Identification of Destabilization Complex

Destabilization Complex W_n(A,X) has p-simplices: $(N_k, f), \text{ where } f: N_k \# X^{\#p+1} \xrightarrow{\cong} A \# X^{\#n}$

Main Isomorphism (Proposition 4.4): $\text{sk}_{\leq n-2\text{usr}(R)-6} D(M,λ,∂) \cong \text{sk}_{\leq n-2\text{usr}(R)-6} W_n(A,X)$ when M = A#X^{#n}.

This identification relies on:

• Cancellation theorem (Theorem 4.1): When arc genus is sufficiently large, M₁#X ≅ M₂#X ⇒ M₁ ≅ M₂
• Geometric interpretation of the braided action

Proof Strategy

Overall Framework: Application of the stability machinery of Randal-Williams-Wahl 15 and Krannich 9:

1. E₂-Module Structure: Proof that BF_∂ is an E₁-module over the E₂-algebra BF_{∂,X}
2. Connectivity Estimates:
   • Via connectivity of unimodular vector sequences (Theorem 3.7)
   • Derivation of connectivity of B(M,λ,∂) (Proposition 3.10)
   • Use of "bad simplex argument" to obtain connectivity of D(M,λ,∂)
3. Cancellation Properties: Proof of local cancellation to apply the stability machinery
4. Coefficient Generalization: Use of the same framework for finite-degree coefficient systems

Origin of Slope 2/3:

• Cutting p arcs reduces arc genus by 2p+1 (Lemma 3.13)
• Connectivity dimension k must satisfy k ≤ (g_X - 2p - 1 - c)/3
• For maps from k-dimensional spheres, need k+1 arcs, i.e., p = k
• Solving yields k ≤ (g_X - c)/3 - 1, giving slope 2/3

Experimental Setup

Note: As a pure mathematics theoretical paper, this work does not include experimental verification but rather establishes results through rigorous mathematical proof. The following summarizes key mathematical verifications:

Key Instances of Theoretical Verification

1. Small Rank Case Verification

• X^{#1} = (R, 0, id): Minimal non-trivial example
• X^{#2} ≅ (H, ∂ = λ(e,-)) of relationship with hyperbolic space
• X^{#3} ≅ H#X: Foundation for odd case

2. Applications to Specific Rings

• Principal Ideal Domains (PIDs): usr(R) ≤ 2, yielding optimal bounds
• Dedekind Domains: usr(R) ≤ 2
• Polynomial Rings kt₁,...,t_n: usr ≤ n+1
• Semi-local Rings: usr(R) = 1

Comparison with Known Results

Experimental Results

Main Theorem Statements

Theorem A (Main Result): Let R be a commutative ring with finite unitary stable rank, and let c = 0 (R a PID) or c = 2usr(R) + 2. Then the map $H_i(\text{Sp}_n(R);\mathbb{Z}) \to H_i(\text{Sp}_{n+1}(R);\mathbb{Z})$ is:

• Surjective for i ≤ (n-c)/3
• Injective for i ≤ (n-c-3)/3 (n odd); for all i (n even)

In particular, for even symplectic groups: $H_i(\text{Sp}_{2g}(R);\mathbb{Z}) \to H_i(\text{Sp}_{2g+2}(R);\mathbb{Z})$ is:

• Surjective for i ≤ (2g-c)/3
• Isomorphic for i ≤ (2g-c-2)/3

Key Intermediate Results

1. Arc Complex Connectivity (Theorem 3.16)

$\text{conn}(D(M,λ,∂)) \geq \left\lfloor \frac{g_X(M,λ,∂) - 2\text{usr}(R) - 6}{3} \right\rfloor$

PID Improvement: $\text{conn}(D(M,λ,∂)) \geq \left\lfloor \frac{g_X(M,λ,∂) - 5}{3} \right\rfloor$

2. Destabilization Complex Connectivity (Corollary 4.5)

$\text{conn}(W_n(A,X)) \geq \left\lfloor \frac{n - 2\text{usr}(R) - 7}{3} \right\rfloor$

3. Relationship Between Arc Genus and Hyperbolic Genus (Proposition 2.26)

Under appropriate conditions: $g_X(M,λ,∂) = 1 + g_H(M,λ) + g_H(\ker ∂, λ|_{\ker ∂})$

Coefficient System Generalization

Theorem B: For a degree-r coefficient system {M_n}, the map $H_i(\text{Sp}_n(R);M_n) \to H_i(\text{Sp}_{n+1}(R);M_{n+1})$ is:

• Surjective for i ≤ (n-c-3r+1)/3
• Isomorphic for i ≤ (n-c-3r-2)/3

Examples:

• r=0 (constant coefficients): Recovers Theorem A
• r=1 (defining representation ker(∂: R^n → R)): Isomorphic for i ≤ (n-c-5)/3

Special Results for PIDs

Complete Cancellation Theorem (Theorem B.1): For PIDs, $M_1 \# X \cong M_2 \# X \Rightarrow M_1 \cong M_2$ (without lower bound on arc genus)

Classification Theorem (Theorem B.3): Formed spaces with boundary over PIDs are completely classified by formal data: $D(M,λ,∂) = (n, l, d_1,...,d_k, δ_1,...,δ_{k+1})$ where:

• (d₁,...,d_k) are invariant factors of the Smith normal form of λ
• δ_i = ∂(M_i), M_i = {m : d_i|λ(m,m') ∀m'}

Related Work

Classical Results on Homological Stability

1. Linear Groups:
   • van der Kallen (1980): Stability of GLn
   • Charney (1984): Stability of congruence subgroups
2. Symplectic and Orthogonal Groups:
   • Charney (1987): Slope 1/2 over Dedekind domains
   • Mirzaii-van der Kallen (2002): Slope 1/2 for finite usr case
   • Sprehn-Wahl (2020): Slope 1 for finite fields
   • Schlichting (2022): Slope 2 for local rings
3. Mapping Class Groups:
   • Harer (1985): Stability of surface mapping class groups
   • Harr-Vistrup-Wahl (2024): Unordered arc complex method, geometric prototype of this paper

Algebraic K-Theory Methods

• Quillen (1973): Stability in K-theory
• Suslin (1984): Computation of K₃
• Schlichting-Sarwar (2021): Third homology of symplectic groups

Arc Complexes and Simplicial Complexes

1. Geometric Arc Complexes:
   • Hatcher-Thurston (1980): Curve complexes
   • Hatcher-Vogtmann (2017): Loops and stability
2. Algebraic Analogues:
   • van der Kallen-Looijenga (2011): Sphere complexes on symplectic lattices
   • Friedrich (2017): Automorphism groups of quadratic modules
   • This paper: First systematic development of algebraic arc complex theory

Stability Machinery

• Randal-Williams-Wahl (2017): Framework for homological stability of automorphism groups
• Krannich (2019): Generalization to topological moduli spaces
• This paper: Application to verify E₂-module structure and destabilization complex connectivity

Relative Advantages of This Paper

1. Improved Slope: 2/3 > 1/2 (for general finite usr rings)
2. Unified Framework: Simultaneous treatment of odd and even symplectic groups
3. Rank-One Stabilization: More natural than rank-two, closer to geometry
4. Algebraic Arc Complexes: New computational tool
5. Broad Applicability: No restriction on characteristic (including characteristic 2)

Conclusions and Discussion

Main Conclusions

1. Improved Stability: For rings with finite unitary stable rank, homological stability of symplectic groups achieves slope 2/3, improving upon the previous 1/2
2. Methodological Innovation:
   • Formed spaces with boundary provide new perspective for studying symplectic groups
   • Rank-one stabilization is more flexible than traditional rank-two
   • Algebraic arc complexes are powerful computational tools
3. Theoretical Contributions:
   • Establish new bridges between geometry and algebra
   • Develop algebraic arc complex theory
   • Provide complete classification for PIDs
4. Technical Breakthroughs:
   • Precise relationship between arc genus and hyperbolic genus
   • Algebraization of arc cutting
   • Connectivity of unordered arc complexes

Limitations

1. Restrictions on Stability Range

Non-Optimal Cases:

• Finite Fields: This paper's 2/3 < Sprehn-Wahl's 1
• Local Rings: This paper's 2/3 < Schlichting's 2
• Rational Coefficients over Z: Known exact slope is 1

Reason Analysis:

• Method inherently limited by fact that cutting p arcs reduces arc genus by 2p+1
• Special algebraic properties of certain rings not fully exploited

2. Ring Restrictions

Finite usr Assumption:

• Some rings (e.g., certain function rings) do not satisfy this
• Computing usr itself can be difficult

Specificity to PIDs:

• Many improved results hold only for PIDs
• General Dedekind domains do not achieve same bounds

3. Inapplicability to Other Classical Groups

Orthogonal and Unitary Groups (Remark 2.19):

• This paper's methods do not directly generalize
• X^{#n} does not maintain large hyperbolic genus under symmetric/Hermitian forms
• Essentially different methods required

Reason: Monoidal structure # definition depends on special properties of alternating forms

4. Computational Complexity

Practical Computation:

• Arc genus computation can be difficult
• Concrete homology of destabilization complex not provided
• Lack of complete calculations for non-trivial examples

Future Directions

1. Improving Stability Range

Question: Can slope 1 be achieved for general finite usr rings?

Possible Approaches:

• More refined arc complex analysis
• Exploit additional algebraic structure of rings
• Develop new stabilization objects

2. Generalization to Other Groups

Orthogonal and Unitary Groups:

• Find appropriate "with boundary" analogues
• May require completely different stabilization strategies

Other Chevalley Groups:

• Exceptional Lie types
• Mixed characteristic cases

3. Explicit Homology Computation

Goals:

• Compute stable homology H_*(Sp_∞(R))
• Understand structure in unstable range
• Relationship with algebraic K-theory

4. Geometric Applications

Mapping Class Groups:

• Reverse application of this paper's methods to geometry
• Possible improvement of surface mapping class group results

3-Manifolds:

• Extension to higher-dimensional mapping class groups

5. Theoretical Deepening

Algebraic Arc Complexes:

• Develop more complete theory
• Study homology and cohomology
• Relationships with other simplicial complexes

Formal Data Classification:

• Generalize beyond PIDs
• Understand moduli of invariants

In-Depth Evaluation

Strengths

1. Methodological Innovation

Conceptual Innovation:

• Formed Spaces with Boundary: Elegantly unifies geometry and algebra
• Rank-One Stabilization: More natural than traditional methods, closer to geometric intuition
• Algebraic Arc Complexes: First systematic development, strong tool

Technical Innovation:

• Naturality of braided monoidal structure (differs from geometric case)
• Algebraization of arc cutting operation
• Precise relationship between arc genus and hyperbolic genus

2. Importance of Results

Theoretical Significance:

• Improves best known result over 30 years (from 1/2 to 2/3)
• Unified treatment of odd and even symplectic groups
• Establishes new geometry-algebra bridge

Universality:

• Applies to broad class of rings
• No restriction on characteristic (including characteristic 2)
• Generalization to finite-degree coefficient systems

3. Rigor of Proof

Clear Structure:

• Complete logical chain: arc complex connectivity → destabilization complex → stability
• Detailed proofs of key lemmas
• Special treatment of PIDs

Technical Details:

• Careful distinction between semi-simplicial sets and simplicial complexes
• Special handling of characteristic 2
• Multiple proofs of cancellation properties

4. Writing Quality

Good Organization:

• Clear motivation exposition (geometric analogy)
• Main results presented early
• Technical details organized hierarchically

Readability:

• Abundant remarks and examples
• Sufficient explanation of geometric intuition
• Detailed comparison with existing work

Weaknesses

1. Theoretical Limitations

Non-Optimality:

• For special rings (finite fields, local rings), not as good as specialized methods
• Slope 2/3 may not be essentially optimal

Method Limitations:

• Does not apply to orthogonal/unitary groups
• No results for non-commutative rings

2. Computational Difficulties

Practical Issues:

• Arc genus computation is complex
• Lack of explicit homology group calculations
• usr computation itself can be difficult

Insufficient Examples:

• Lack of complete calculations for non-trivial examples
• Insufficient verification for small rank cases

3. Technical Complexity

High Entry Barrier:

• Requires background in algebraic topology, algebraic K-theory, geometric topology
• Stability machinery itself is abstract
• Technical details of braided monoidal structure are intricate

Proof Length:

• Main proofs span multiple chapters
• Some technical lemmas have lengthy proofs

4. Unresolved Questions

Open Problems:

• Exact stability range (for general rings)
• Structure in unstable range
• Precise relationship with K-theory

Impact

1. Contribution to Field

Algebraic Topology:

• Provides new tools for studying linear group homology
• Enriches arc complex theory
• Deepens understanding of geometry-algebra correspondence

Algebraic K-Theory:

• Improves fundamental stability results
• Provides new approaches to K-group computation

Geometric Topology:

• Algebraic methods may benefit geometry
• Provides new perspective for mapping class group research

2. Practical Value

Theoretical Applications:

• Compute homology of symplectic groups
• Study properties of arithmetic groups
• Algebraic K-theory computation

Methodology:

• Algebraic arc complexes applicable to other problems
• New application example of stability machinery

3. Reproducibility

Proof Verifiability:

• Logic is complete, steps are clear
• Referenced results explicitly cited
• Technical details sufficiently provided

Potential Issues:

• Some computations are intricate, requiring careful verification
• Application of stability machinery requires understanding framework of 15, 9

Applicable Scenarios

1. Direct Applications

Symplectic Group Homology Computation:

• When R has finite usr
• Particularly optimal for PID case
• Homology groups within stability range

Coefficient Systems:

• Homology with finite-degree representations
• Natural examples like defining representation

2. Method Borrowing

Other Linear Groups:

• Possible generalization to certain Chevalley groups
• Requires appropriate modification of stabilization objects

Related Categories:

• Other categories with monoidal structure
• Automorphism group stability problems

3. Theoretical Research

Algebraic K-Theory:

• Understand K-group stability
• Compute higher K-groups like K₃

Representation Theory:

• Study symplectic group representations
• Modular representation homological properties

Selected References

Key Background Literature

1. Randal-Williams & Wahl (2017): "Homological stability for automorphism groups" - Stability machinery framework applied in this paper
2. Krannich (2019): "Homological stability of topological moduli spaces" - Generalization of E₂-module theory
3. Harr, Vistrup & Wahl (2024): "Disordered arcs and Harer stability" - Geometric prototype of this paper

Previous Work on Symplectic Group Stability

4. Charney (1987): "A generalization of a theorem of Vogtmann" - Classical slope 1/2 result
5. Mirzaii & van der Kallen (2002): "Homology stability for unitary groups" - Slope 1/2 for finite usr case
6. Schlichting (2022): "On the homology stability range for symplectic groups" - Slope 2 for local rings

Algebraic K-Theory and Arc Complexes

7. van der Kallen & Looijenga (2011): "Spherical complexes attached to symplectic lattices" - Connectivity of unimodular vector complexes
8. Friedrich (2017): "Homological stability of automorphism groups of quadratic modules and manifolds" - Quadratic module methods

Overall Assessment: This is a high-quality theoretical paper achieving substantial progress on the classical problem of homological stability for symplectic groups. Through introduction of formed spaces with boundary and algebraic arc complexes, the authors not only improve numerical bounds but more importantly provide new conceptual frameworks and technical tools. The paper is rigorous and complete; while technically complex, it is clearly organized and represents an important contribution at the intersection of algebraic topology and algebraic K-theory. Main limitations are non-optimality for special ring classes and inapplicability to orthogonal/unitary groups, but these also point to future research directions.