arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.39991

Double Steinberg coinvariants for special linear groups

Tatiana Abdelnaim·David Chan·Alexander Kupers·Robin J. Sroka·Matthew Scalamandre
View original source ↗Read source document ↗Export metadata ↓

Abstract

For a field $F$ we study the coinvariants for the $SL_n(F)$-action on the double Steinberg module $St_n(F) \otimes St_n(F)$ and show they have a rich algebraic structure: for $n = 2$ it is the Grothendieck-Witt group of $F$, and for all $n$ they assemble to a graded nonunital $\mathbb{Z}[F^\times]$-algebra, whose rational (underived) indecomposables may be expressed in terms of the augmentation ideal of the Grothendieck-Witt group. We then explain, building on work of Galatius-Kupers-Randal-Williams, that the special linear groups $SL_n(F)$ assemble to an $E_\infty$-algebra in a suitable functor category, whose $E_2$-homology groups have a vanishing line of slope 2 and on the critical line are given by the double Steinberg coinvariants.

Explore related subjects

math.ATmath.KT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tatiana Abdelnaim, David Chan, Alexander Kupers, Robin J. Sroka, Matthew Scalamandre. 2026-09-30. Double Steinberg coinvariants for special linear groups. https://arxiv.org/abs/2609.39991

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the structure of abelian Hopf algebras

We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct sum of explicitly given indecomposables. This gives rise to a similar classification of not necessarily $p$-torsion objects that are either free as commutative algebras or cofree as cocommutative coalgebras. We also completely classify those objects that are indecomposable modulo $p$.

math.AT↗
arXiv2026

Galois and separable extensions of Tambara functors

For a map of Tambara functors $R \rightarrow T$ we define when $T$ is separable over $R$ and if $T$ carries an action by some finite group $H$ that fixes $R$ we also define when $R \rightarrow T$ is an $H$-Galois extension of Tambara functors. We show that flat and separable extensions are (formally) étale in the sense of Hill and that Galois extensions are separable. We prove that the Burnside Tambara functor is separably closed and we express Nullstellensatzian Tambara functors as filtered colimits of Galois extensions.

math.AT↗
arXiv2026

From configuration spaces to graph complexes via FA-modules

Work of Gadish and Hainaut (after Petersen) models the compactly supported cohomology of a wedge of circles as a polynomial functor. We identify the coefficients of this functor, $Φ[n,m]$, via a cobar construction of $\mathbf{FA}$-modules. This identification formally implies that these coefficients will arise in computations of graph homology, and we use this result to give examples of graph complexes whose homology may be embedded in $H_c^\ast(F(S^1\vee S^1,n))$. This includes the Payne-Willwacher marked graph complex in genus 2, for which we give a new, explicit decomposition in terms of $\mathbf{FA}$-modules. This allows us to describe $\mathsf{gr}_{11}H_c^{\ast}(\mathcal{M}_{2,n})$ as the cohomology of a complex of decorated trees and to show, for example, $\mathsf{gr}_{11}H_c^{n+1}(\mathcal{M}_{2,n})=0$.

math.AT↗