Pith. sign in

REVIEW 2 minor 75 references

The algebraic K-theory of $k[\operatorname{SL}_2(\mathbb{F}_q)]$

T0 review · 0 major / 2 minor · reviewed 2026-06-26 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Trace methods compute the higher algebraic K-theory of the group ring k[SL_2(F_q)] for perfect fields k of characteristic p.

desk verdict This paper computes the higher K-theory of k[SL_2(F_q)] and related groups by first settling the Sylow p-subgroup via a reproof of cyclic assembly. read the letter →

arxiv 2606.21421 v1 pith:MDT6XZNL submitted 2026-06-19 math.KT math.ATmath.RT

Isaac Moselle This is my paper · ORCID
classification math.KTmath.ATmath.RT
keywords algebraicK-theorygroupringstopologicalcyclichomologytracemethodsfinitegroupsofLietypeSylowp-subgroupsassemblymaps
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper determines the algebraic K-theory groups of the group ring formed by a perfect field k of characteristic p with the finite group SL_2(F_q), where q equals p to some power. It reduces the problem to the K-theory of the smaller ring k[C_p^r] associated to the Sylow p-subgroup by applying a cyclic assembly theorem to topological cyclic homology, then lifts the result to the full group and its close relatives such as GL_2(F_q). A reader would care because these K-groups encode information about vector bundles and projective modules over rings that appear in representation theory and finite geometry. The work also supplies a proof of the assembly result in a different language and examines how assembly behaves for smaller collections of subgroups.

What carries the argument

The Lück–Reich–Rognes–Varisco theorem on cyclic assembly for topological cyclic homology, which identifies the topological cyclic homology of k[C_p^r] and thereby determines its algebraic K-theory before assembly to the full group ring.

What would settle it

An explicit calculation of the topological cyclic homology or algebraic K-theory of k[C_p^r] for a small prime p and exponent r that fails to match the value predicted by the cyclic assembly map would show the reduction step does not hold.

Watch

Extended reading notes

Core claim

We compute via trace methods the higher algebraic K-theory of the group ring k[SL_2(F_q)], as well as the related groups PSL_2(F_q), PGL_2(F_q), and GL_2(F_q), where k is a perfect field of characteristic p and q=p^r. At the core of the computation is the algebraic K-theory of the group ring of the Sylow p-subgroup, k[C_p^r], which we determine via a theorem of Lück–Reich–Rognes–Varisco on cyclic assembly for topological cyclic homology. In the process, we reprove the cyclic assembly result in the language of Nikolaus–Scholze, analyse assembly for smaller families of subgroups, and develop further tools for computing topological cyclic homology of group rings.

Load-bearing premise

The Lück–Reich–Rognes–Varisco theorem on cyclic assembly for topological cyclic homology applies directly to the group ring k[C_p^r] when k is perfect of characteristic p.

Editorial extensions

If this is right

  • The algebraic K-theory groups of k[GL_2(F_q)] are obtained from those of k[SL_2(F_q)] together with the quotients by centers and determinants.
  • Assembly maps for families of subgroups smaller than the full cyclic family can be controlled by the same methods.
  • New computational tools for topological cyclic homology of arbitrary finite group rings become available once the cyclic case is settled.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The explicit K-theory formulas may be compared with known computations of K-groups for finite fields or for group rings over other rings to test consistency across characteristics.
  • The reproof of assembly in Nikolaus–Scholze language suggests the same technique could simplify similar calculations for other p-groups or for rings with more complicated Sylow structure.
  • Numerical values of the K-groups for small q could be checked by direct matrix computations or by using software for low-dimensional cases.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The manuscript computes the higher algebraic K-theory of the group ring k[SL_2(F_q)] as well as the related groups PSL_2(F_q), PGL_2(F_q), and GL_2(F_q), where k is a perfect field of characteristic p and q = p^r. The computation proceeds via trace methods, with the central step being the algebraic K-theory of k[C_p^r] obtained from the Lück–Reich–Rognes–Varisco theorem on cyclic assembly for topological cyclic homology; the authors reprove this theorem in the Nikolaus–Scholze framework, analyse assembly maps for smaller families of subgroups, and develop additional tools for computing TC of group rings.

Significance. If the result holds, the paper delivers explicit computations of higher K-groups for these group rings, which are of interest in algebraic K-theory and related fields. The reproof of the cyclic assembly theorem in modern language and the development of tools for TC of group rings constitute clear strengths that enhance the reliability and utility of the work. The approach combines established theorems with an internal reproof, avoiding reliance on unverified external results for the key reduction.

minor comments (2)
  1. [Abstract] The abstract refers to 'trace methods' without naming the specific trace (e.g., Dennis trace or cyclotomic trace) used in the main computation; this should be clarified in the introduction or §2.
  2. Notation for the finite groups (SL_2(F_q) versus SL2(F_q)) is not fully standardized; a consistent convention should be adopted in all statements of the main theorems.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition of the explicit K-theory computations, the reproof of the cyclic assembly theorem in the Nikolaus–Scholze framework, and the development of tools for topological cyclic homology of group rings. The recommendation for minor revision is noted. No major comments were provided in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained via reproof

full rationale

The paper's central step determines K-theory of k[C_p^r] by invoking the Lück–Reich–Rognes–Varisco cyclic assembly theorem for TC, but explicitly states that it reproves this result in the Nikolaus–Scholze framework before applying it. This reproof renders the argument self-contained rather than dependent on an external citation alone. No self-definitional reductions, fitted inputs renamed as predictions, load-bearing self-citations, uniqueness theorems imported from the same authors, smuggled ansatzes, or renamings of known results appear in the provided derivation chain. The computation therefore rests on an independent proof step rather than reducing to its own inputs by construction.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The computation depends on the applicability of one external theorem; no free parameters or new entities are mentioned.

assumptions (1)
  • domain assumption Lück–Reich–Rognes–Varisco theorem on cyclic assembly for topological cyclic homology applies to k[C_p^r]
    Stated as the core of the computation in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The algebraic K-theory of $k[\operatorname{SL}_2(\mathbb{F}_q)]$." pith.science (2026). https://pith.science/paper/MDT6XZNL

@misc{pith2026260621421,
  author       = {Pith},
  title        = {Pith review of: The algebraic K-theory of $k[\operatornameSL_2(\mathbbF_q)]$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MDT6XZNL}},
  note         = {Machine review of arXiv:2606.21421}
}
abstract

We compute via trace methods the higher algebraic $K$-theory of the group ring $k[\operatorname{SL}_2(\mathbb{F}_q)]$, as well as the related groups $\operatorname{PSL}_2(\mathbb{F}_q)$, $\operatorname{PGL}_2(\mathbb{F}_q)$, and $\operatorname{GL}_2(\mathbb{F}_q)$, where $k$ is a perfect field of characteristic $p$ and $q=p^r$. At the core of the computation is the algebraic $K$-theory of the group ring of the Sylow $p$-subgroup, $k[C_p^r]$, which we determine via a theorem of L\"uck--Reich--Rognes--Varisco on cyclic assembly for topological cyclic homology. In the process, we reprove the cyclic assembly result in the language of Nikolaus--Scholze, analyse assembly for smaller families of subgroups, and develop further tools for computing topological cyclic homology of group rings.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

75 extracted references · 3 canonical work pages

  1. [1]

    Nikolaus, Thomas and Scholze, Peter , year=

  2. [2]

    1979 , organization=

    Thomason, Robert W , booktitle =. 1979 , organization=

    1979

  3. [3]

    Carmeli, Shachar and Cnossen, Bastiaan and Ramzi, Maxime and Yanovski, Lior , journal=

  4. [4]

    Clausen, Dustin and Mathew, Akhil and Morrow, Matthew , journal=

  5. [5]

    2006 , organization=

    Quillen, Daniel , booktitle =. 2006 , organization=

    2006

  6. [6]

    Rezk, Charles , journal=

  7. [7]

    2020 , publisher=

    Hesselholt, Lars and Nikolaus, Thomas , booktitle =. 2020 , publisher=

    2020

  8. [8]

    Hesselholt, Lars and Madsen, Ib , journal=

Show all 75 references
  1. [9]

    2020 , publisher=

    Speirs, Martin , journal=. 2020 , publisher=

    2020

  2. [10]

    Geometry & Topology , volume=

    Blumberg, Andrew J and Gepner, David and Tabuada, Gon. Geometry & Topology , volume=. 2013 , publisher=

    2013

  3. [11]

    Journal f

    L. Journal f. 2019 , publisher=

    2019

  4. [12]

    1997 , publisher=

    Hesselholt, Lars and Madsen, Ib , journal=. 1997 , publisher=

    1997

  5. [13]

    1976 , publisher=

    Dennis, R Keith and Keating, Michael E and Stein, Michael R , journal=. 1976 , publisher=

    1976

  6. [14]

    2012 , publisher=

    Dundas, Bj. 2012 , publisher=

    2012

  7. [15]

    2014 , publisher=

    Angeltveit, Vigleik and Gerhardt, Teena and Hill, Michael A and Lindenstrauss, Ayelet , journal=. 2014 , publisher=

    2014

  8. [16]

    Lurie, Jacob , year=

  9. [17]

    1995 , publisher=

    Madsen, Ib , journal=. 1995 , publisher=

    1995

  10. [18]

    Antieau, Benjamin and Nikolaus, Thomas , journal=

  11. [19]

    McCandless, Jonas , journal=

  12. [20]

    Krause, Achim and McCandless, Jonas and Nikolaus, Thomas , journal=

  13. [21]

    Krause, Achim and Nikolaus, Thomas , journal=

  14. [22]

    2022 , publisher=

    Krause, Achim and Nikolaus, Thomas , journal=. 2022 , publisher=

    2022

  15. [23]

    Transactions of the American Mathematical Society , volume=

    Bay. Transactions of the American Mathematical Society , volume=

  16. [24]

    Bokstedt, Marcel and Carlsson, Gunnar and Cohen, Ralph and Goodwillie, T and Hsiang, Wu Chung and Madsen, Ib , year=

  17. [25]

    2007 , publisher=

    Hesselholt, Lars , journal=. 2007 , publisher=

    2007

  18. [26]

    2021 , publisher=

    Speirs, Martin , journal=. 2021 , publisher=

    2021

  19. [27]

    1995 , issn =

    Journal of Algebra , volume =. 1995 , issn =. doi:https://doi.org/10.1006/jabr.1995.1352 , url =

    1995 doi

  20. [28]

    1971 , issn =

    Journal of Algebra , volume =. 1971 , issn =. doi:https://doi.org/10.1016/0021-8693(71)90006-8 , url =

    1971 doi

  21. [29]

    2016 , publisher=

    Webb, Peter , volume=. 2016 , publisher=

    2016

  22. [30]

    Advances in Mathematics , volume=

    Blumberg, Andrew J and Gepner, David and Tabuada, Gon. Advances in Mathematics , volume=. 2014 , publisher=

    2014

  23. [31]

    Transactions of the American Mathematical Society , volume=

    Blumberg, Andrew and Gepner, David and Tabuada, Gon. Transactions of the American Mathematical Society , volume=

  24. [32]

    arXiv preprint arXiv:2009.07224 , year=

    Calm. arXiv preprint arXiv:2009.07224 , year=

    2009

  25. [33]

    2017 , publisher=

    Hoyois, Marc and Scherotzke, Sarah and Sibilla, Nicolo , journal=. 2017 , publisher=

    2017

  26. [34]

    Nikolaus, Thomas , journal=

  27. [35]

    Ramzi, Maxime , year=

  28. [36]

    1986 , publisher=

    Goodwillie, Thomas G , journal=. 1986 , publisher=

    1986

  29. [37]

    Inventiones mathematicae , volume=

    B. Inventiones mathematicae , volume=. 1993 , publisher=

    1993

  30. [38]

    McCarthy, Randy , year=

  31. [39]

    1974 , publisher=

    Almkvist, Gert , journal=. 1974 , publisher=

    1974

  32. [40]

    Raskin, Sam , journal=

  33. [41]

    1972 , publisher=

    Quillen, Daniel , journal=. 1972 , publisher=

    1972

  34. [42]

    2006 , organization=

    Waldhausen, Friedhelm , booktitle =. 2006 , organization=

    2006

  35. [43]

    2013 , publisher=

    Thomason, Robert W and Trobaugh, Thomas , booktitle =. 2013 , publisher=

    2013

  36. [44]

    preprint, Bielefeld , volume=

    B. preprint, Bielefeld , volume=

  37. [45]

    Antieau, Benjamin and Krause, Achim and Nikolaus, Thomas , journal=

  38. [46]

    2013 , publisher=

    Weibel, Charles A , volume=. 2013 , publisher=

    2013

  39. [47]

    1988 , publisher=

    Oliver, Robert , volume=. 1988 , publisher=

    1988

  40. [48]

    2006 , publisher=

    Swan, Richard G , volume=. 2006 , publisher=

    2006

  41. [49]

    1997 , publisher=

    Dwyer, William G , journal=. 1997 , publisher=

    1997

  42. [50]

    2019 , publisher=

    Barwick, Clark and Glasman, Saul and Shah, Jay , journal=. 2019 , publisher=

    2019

  43. [51]

    Vogeli, Chase , journal=

  44. [52]

    2017 , publisher=

    Barwick, Clark , journal=. 2017 , publisher=

    2017

  45. [53]

    2017 , publisher=

    Mathew, Akhil and Naumann, Niko and Noel, Justin , journal=. 2017 , publisher=

    2017

  46. [54]

    Webb, Peter J , journal=

  47. [55]

    1975 , organization=

    Dress, Andreas , booktitle =. 1975 , organization=

    1975

  48. [56]

    2006 , organization=

    Dress, Andreas WM , booktitle =. 2006 , organization=

    2006

  49. [57]

    2024 , publisher=

    Guillou, Bertrand J and May, J Peter , journal=. 2024 , publisher=

    2024

  50. [58]

    2017 , publisher=

    Glasman, Saul , journal=. 2017 , publisher=

    2017

  51. [59]

    Clausen, Dustin and Mathew, Akhil and Naumann, Niko and Noel, Justin , journal=

  52. [60]

    1994 , organization=

    Madsen, Ib , booktitle =. 1994 , organization=

    1994

  53. [61]

    1987 , publisher=

    Webb, Peter J , journal=. 1987 , publisher=

    1987

  54. [62]

    1971 , publisher=

    Green, James Alexander , journal=. 1971 , publisher=

    1971

  55. [63]

    2019 , publisher=

    Mathew, Akhil and Naumann, Niko and Noel, Justin , journal=. 2019 , publisher=

    2019

  56. [64]

    1978 , publisher=

    Quillen, Daniel , journal=. 1978 , publisher=

    1978

  57. [65]

    Brown, Kenneth S , journal=

  58. [66]

    1991 , publisher=

    Adem, Alejandro and Maginnis, John and Milgram, R James , journal=. 1991 , publisher=

    1991

  59. [67]

    Journal of the American Mathematical Society , volume=

    On relative and bi-relative algebraic K-theory of rings of finite characteristic , author=. Journal of the American Mathematical Society , volume=

  60. [68]

    Algebraic K-theory, II: ``Classical'' algebraic K-theory and connections with arithmetic , series =

    Contributions to the theory of induced representations , author =. Algebraic K-theory, II: ``Classical'' algebraic K-theory and connections with arithmetic , series =. 1973 , publisher =

    1973

  61. [69]

    Journal of Pure and Applied Algebra , volume=

    Explicit K1 of some modular group rings , author=. Journal of Pure and Applied Algebra , volume=. 2006 , publisher=

    2006

  62. [70]

    Journal of Pure and Applied Algebra , volume=

    Explicit K2 of some finite group rings , author=. Journal of Pure and Applied Algebra , volume=. 2007 , publisher=

    2007

  63. [71]

    Journal of Pure and Applied Algebra , volume=

    K-theory of finite dimensional division algebras , author=. Journal of Pure and Applied Algebra , volume=. 1978 , publisher=

    1978

  64. [72]

    Inventiones mathematicae , volume=

    The K-theory of fields in characteristic p , author=. Inventiones mathematicae , volume=. 2000 , publisher=

    2000

  65. [73]

    1994 , publisher=

    Character theory of finite groups , author=. 1994 , publisher=

    1994

  66. [74]

    Journal of pure and applied algebra , volume=

    -rings and algebraic K-theory , author=. Journal of pure and applied algebra , volume=. 1981 , publisher=

    1981

  67. [75]

    Annals of mathematics , volume=

    Higher limits via subgroup complexes , author=. Annals of mathematics , volume=. 2002 , publisher=

    2002

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.