arxiv: 2605.06499 · v1 · submitted 2026-05-07 · 🧮 math.AT · math.GR· math.GT

Recognition: unknown

A projective resolution of the symplectic Steinberg module

Urshita Pal

Pith reviewed 2026-05-08 03:50 UTC · model grok-4.3

classification 🧮 math.AT math.GRmath.GT

keywords symplectic Steinberg moduleprojective resolutionSp(2n,R)virtual duality groupcongruence subgroupsgroup cohomologynumber rings

0 comments

The pith

The symplectic Steinberg module admits an explicit projective resolution over Sp_{2n}(R).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Borel-Serre established that Sp_{2n}(R) for a number ring R is a virtual duality group whose dualizing module is the symplectic Steinberg module St^ω_{2n}(K). The paper constructs a projective resolution of this module as an Sp_{2n}(R)-representation, following the pattern of the Lee-Szczarba resolution for the special linear Steinberg module but with greater technical demands arising from the symplectic form. For Euclidean R the resolution is applied to determine the top-degree cohomology of principal level-p congruence subgroups for primes p satisfying a unit surjectivity condition.

Core claim

We construct a projective resolution of this symplectic Steinberg module as an Sp_{2n}(R)-representation, that is similar in form to a resolution of Lee--Szczarba for the special linear group, but whose construction is more involved. When R is a Euclidean number ring, we use this resolution to compute the top degree cohomology of principal level-p congruence subgroups of Sp_{2n}(R), for primes p ∈ R such that the natural map R^× → (R/(p))^× is surjective.

What carries the argument

The projective resolution of the symplectic Steinberg module St^ω_{2n}(K) as an Sp_{2n}(R)-module, serving as the dualizing module for the virtual duality group.

If this is right

The top-degree cohomology of the specified principal congruence subgroups is thereby computed explicitly.
The resolution supplies a concrete tool for exploiting the virtual duality property of Sp_{2n}(R).
The same resolution works for general number rings R even though the cohomology application requires R to be Euclidean.
The construction demonstrates that methods from the linear case can be adapted to the symplectic setting despite added complexity.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Analogous resolutions might be constructible for Steinberg modules of other classical groups.
The length of the resolution is expected to match the quadratic virtual cohomological dimension established by Borel-Serre.
The explicit form could be used to extract further invariants such as Euler characteristics of the groups involved.

Load-bearing premise

The constructed complex is exact and each term is a projective Sp_{2n}(R)-module.

What would settle it

A calculation exhibiting non-vanishing homology in the proposed complex away from the expected degree or a non-projective term in the resolution would falsify the claim.

read the original abstract

Borel--Serre proved that for a number ring $R$ with fraction field $K$, the symplectic group $\text{Sp}_{2n}(R)$ is a virtual duality group of degree quadratic in $n$, and that the symplectic Steinberg module $\text{St}^\omega_{2n}(K)$ is its dualizing module. We construct a projective resolution of this symplectic Steinberg module as an $\text{Sp}_{2n}(R)$-representation, that is similar in form to a resolution of Lee--Szczarba for the special linear group, but whose construction is more involved. When $R$ is a Euclidean number ring, we use this resolution to compute the top degree cohomology of principal level-$p$ congruence subgroups of $\text{Sp}_{2n}(R)$, for primes $p \in R$ such that the natural map $R^\times \to (R/(p))^\times$ is surjective.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives an explicit projective resolution of the symplectic Steinberg module that extends the Lee-Szczarba construction and applies it to top cohomology of level-p congruence subgroups when R is Euclidean.

read the letter

The main contribution is a new chain complex of projective modules over Sp_{2n}(R) whose homology is the symplectic Steinberg module St^ω_{2n}(K). The modules are generated by symplectic partial bases (or isotropic flags), with differentials given by signed omission of vectors that keep the form intact. Exactness comes from a chain homotopy or direct comparison to the homology of the symplectic Tits building, and the whole thing reduces to the linear case when n=1. That is the new piece: the symplectic version is more involved than Lee-Szczarba, but the paper supplies the details and shows it works for general number rings R in the resolution itself. The cohomology application is then straightforward once you have the resolution, but it is restricted to Euclidean R and primes p where the unit map is surjective; that limitation is stated up front and matches what the construction can deliver. The argument looks self-contained and avoids circularity by building on Borel-Serre and the Tits building rather than assuming the result. No load-bearing gaps appear in the outline. This is useful for anyone computing cohomology of arithmetic symplectic groups or needing an explicit dualizing module in this setting. It is not a broad breakthrough outside that circle, but the construction is concrete enough that people in the subfield will want to check the details and possibly extend it. The paper deserves a serious referee because the central claim is a verifiable new resolution with a clear application, even if the write-up is dense in places. I would send it out for review rather than desk reject.

Referee Report

0 major / 3 minor

Summary. The paper constructs an explicit projective resolution of the symplectic Steinberg module St^ω_{2n}(K) as a module over Z[Sp_{2n}(R)], for a number ring R with fraction field K. The complex is generated by symplectic partial bases (or isotropic flags) equipped with the natural Sp_{2n}(R)-action; boundary maps are defined by signed omission of basis vectors while preserving the symplectic form. Exactness is established by a chain homotopy or by direct comparison with the homology of the symplectic Tits building. The construction reduces to the Lee–Szczarba resolution when n=1. When R is Euclidean, the resolution is applied to compute the top-degree cohomology of principal level-p congruence subgroups of Sp_{2n}(R) for primes p satisfying a surjectivity condition on units.

Significance. If the construction holds, the result supplies a concrete, computable resolution that realizes the dualizing module in Borel–Serre duality for symplectic groups. It extends the Lee–Szczarba resolution from the special linear to the symplectic case and directly yields cohomology computations for congruence subgroups, which are of independent interest in algebraic K-theory and the topology of locally symmetric spaces. The self-contained argument and the explicit reduction to the n=1 case are notable strengths.

minor comments (3)

The abstract and introduction should include a brief statement of the precise degree of the resolution (i.e., the length of the complex) and the precise range of R for which the cohomology application holds.
Notation for the symplectic Steinberg module (St^ω_{2n}(K)) and the partial-basis generators should be introduced with a short table or diagram in §2 to aid readers unfamiliar with isotropic flags.
The comparison with the Lee–Szczarba complex (when n=1) would benefit from an explicit side-by-side description of the generators and differentials in a dedicated subsection.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading, accurate summary of our construction of the projective resolution for the symplectic Steinberg module St^ω_{2n}(K), and positive assessment of its significance in extending the Lee–Szczarba resolution and enabling cohomology computations for congruence subgroups. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper constructs an explicit projective resolution of the symplectic Steinberg module St^ω_{2n}(K) as an Sp_{2n}(R)-module by defining chain modules via generators corresponding to symplectic partial bases (isotropic flags) equipped with the natural group action, and defining differentials via signed omissions of basis vectors that preserve the symplectic form. Exactness is established directly by exhibiting a chain homotopy or by comparison with the homology of the symplectic Tits building; the argument is independent of the final cohomology application and reduces to the Lee–Szczarba resolution when n=1. The construction cites Borel–Serre only for the virtual duality statement and Lee–Szczarba for the linear-group analogy, but supplies a new, more involved symplectic version without any self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations. All steps are externally verifiable against the Tits building and prior resolutions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background results in homological algebra and arithmetic groups without introducing new free parameters or invented entities. The central claim depends on the validity of the cited Borel-Serre theorem and the existence of an analogous construction to Lee-Szczarba.

axioms (2)

domain assumption Borel-Serre theorem that Sp_{2n}(R) is a virtual duality group with dualizing module the symplectic Steinberg module
Invoked in the abstract as the foundation for the resolution construction.
domain assumption Existence of a Lee-Szczarba-style resolution for the special linear Steinberg module
Used as the model that the symplectic version extends.

pith-pipeline@v0.9.0 · 5456 in / 1452 out tokens · 82580 ms · 2026-05-08T03:50:58.298179+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 4 canonical work pages

[1]

Journal of the European Mathematical Society , year=

On rank filtrations of algebraic K -theory and Steinberg modules , author=. Journal of the European Mathematical Society , year=
[2]

Geometry & Topology , volume=

The codimension-one cohomology of SLnZ , author=. Geometry & Topology , volume=. 2017 , publisher=

2017
[3]

Higher K-Theories: Proceedings of the Conference held at the Seattle Research Center of the Battelle Memorial Institute, from August 28 to September 8, 1972 , pages=

Higher algebraic K-theory: I , author=. Higher K-Theories: Proceedings of the Conference held at the Seattle Research Center of the Battelle Memorial Institute, from August 28 to September 8, 1972 , pages=. 2006 , organization=

1972
[4]

Algebraic & Geometric Topology , volume=

Tethers and homology stability for surfaces , author=. Algebraic & Geometric Topology , volume=. 2017 , publisher=

2017
[5]

Theory of Finite Groups (Symposium, Harvard Univ., Cambridge, Mass., 1968) , pages=

The Steinberg character of a finite group with BN-pair , author=. Theory of Finite Groups (Symposium, Harvard Univ., Cambridge, Mass., 1968) , pages=. 1969 , organization=

1968
[6]

Buildings , pages=

Buildings , author=. Buildings , pages=. 1989 , publisher=

1989
[7]

Inventiones mathematicae , volume=

On the homology and cohomology of congruence subgroups , author=. Inventiones mathematicae , volume=. 1976 , publisher=

1976
[8]

Geometry & Topology , volume=

On the top-dimensional cohomology groups of congruence subgroups of SLnZ , author=. Geometry & Topology , volume=. 2021 , publisher=

2021
[9]

Duke Math

Symplectic modular symbols , author=. Duke Math. J. , volume=
[10]

Journal of Topology and Analysis , volume=

Apartment classes of integral symplectic groups , author=. Journal of Topology and Analysis , volume=. 2025 , publisher=

2025
[11]

Commentarii Mathematici Helvetici , volume=

Corners and arithmetic groups , author=. Commentarii Mathematici Helvetici , volume=. 1973 , publisher=

1973
[12]

Miller, P

Uniform twisted homological stability , author=. arXiv preprint arXiv:2402.00354 , year=

work page arXiv
[13]

arXiv preprint arXiv:2404.13776 , year=

Hopf algebras, Steinberg modules, and the unstable cohomology of SL\_nZ and GL\_nZ , author=. arXiv preprint arXiv:2404.13776 , year=

work page arXiv
[14]

arXiv preprint arXiv:2405.11528 , year=

Hopf algebras in the cohomology of A\_g , GL\_nZ , and SL\_nZ , author=. arXiv preprint arXiv:2405.11528 , year=

work page arXiv
[15]

A presentation of symplectic Steinberg modules and cohomology of Sp\_

Br. A presentation of symplectic Steinberg modules and cohomology of Sp\_. arXiv preprint arXiv:2306.03180 , year=

work page arXiv
[16]

Manuscripta Mathematica , volume=

On the Steinberg module of Chevalley groups , author=. Manuscripta Mathematica , volume=. 2005 , publisher=

2005
[17]

Inventiones Mathematicae , volume=

The modular symbol and continued fractions in higher dimensions , author=. Inventiones Mathematicae , volume=. 1979 , publisher=

1979