pith. sign in

arxiv: 2503.20383 · v4 · submitted 2025-03-26 · 🧮 math.KT

Algebraic K-theory of finite algebras over higher local fields

Rixin Fang This is my paper

Pith reviewed 2026-05-22 23:06 UTC · model grok-4.3

classification 🧮 math.KT
keywords algebraic K-theorySegal conjectureLichtenbaum-Quillen propertyredshift conjecturetruncated Brown-Peterson spectrahigher local fieldschromatic homotopy theorytruncated polynomial algebras
0
0 comments X

The pith

Segal conjecture fails for truncated polynomial algebras over higher chromatic local fields, so the Lichtenbaum-Quillen property fails while the weak redshift conjecture holds.

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

The paper extends known results on the algebraic K-theory of truncated polynomial algebras over truncated Brown-Peterson spectra, which serve as rings of integers in chromatic homotopy theory. At lower heights these algebras satisfy the Segal conjecture and the Lichtenbaum-Quillen property, but the work shows that both fail when the height is increased. The weak redshift conjecture nevertheless continues to hold. Additional examples are given in which the Segal conjecture remains valid.

Core claim

For truncated polynomial algebras over the higher-height truncated Brown-Peterson spectra viewed as rings of integers of local fields, the Segal conjecture does not hold; as a direct consequence the Lichtenbaum-Quillen property also fails. The weak redshift conjecture is nevertheless satisfied in this setting.

What carries the argument

Algebraic K-theory of truncated polynomial algebras over truncated Brown-Peterson spectra at higher chromatic heights, used to test the Segal, Lichtenbaum-Quillen, and redshift conjectures.

If this is right

  • The K-theory of these higher-height algebras deviates from the predictions made by the Segal conjecture.
  • The Lichtenbaum-Quillen property does not hold for the K-theory of truncated polynomial algebras at higher heights.
  • The weak redshift conjecture remains valid for the same algebras.
  • There exist other finite algebras over these spectra for which the Segal conjecture continues to hold.

Where Pith is reading between the lines

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

  • The transition from lower to higher chromatic heights marks a qualitative change in the behavior of these K-theory conjectures.
  • It may be possible to isolate a precise height threshold at which the Segal conjecture first fails.
  • The persistence of the weak redshift conjecture suggests that some height-independent structural features of the K-theory remain intact.

Load-bearing premise

The constructions of truncated Brown-Peterson spectra as rings of integers and the statements of the Segal, Lichtenbaum-Quillen, and redshift conjectures carry over unchanged from lower to higher heights.

What would settle it

An explicit computation of the map appearing in the Segal conjecture for a truncated polynomial algebra over a height-3 or higher truncated Brown-Peterson spectrum that is shown to be a non-equivalence.

read the original abstract

It is known that the truncated Brown--Peterson spectra can be equipped with a certain nice algebra structure, by the work of J. Hahn and D. Wilson, and these ring spectra can be viewed as rings of integers of local fields in chromatic homotopy theory. Furthermore, they satisfy both Rognes' redshift conjecture and the Lichtenbaum--Quillen property. For lower-height cases, the K-theory of the truncated polynomial algebras over these ring spectra is well understood through the work of L. Hesselholt, I. Madsen, and others. In this paper, we demonstrate that the Segal conjecture fails for truncated polynomial algebras over higher chromatic local fields, and consequently, the Lichtenbaum--Quillen property fails. However, the weak redshift conjecture remains valid. Additionally, we provide some other examples where Segal conjecture holds.

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.

Referee Report

0 major / 2 minor

Summary. The paper extends results on algebraic K-theory of truncated polynomial algebras over truncated Brown-Peterson spectra (viewed as rings of integers in chromatic homotopy theory) to higher heights. Building on Hahn-Wilson and Hesselholt-Madsen, it claims to demonstrate failure of the Segal conjecture (hence of the Lichtenbaum-Quillen property) for these algebras over higher chromatic local fields, while the weak redshift conjecture holds; it also gives examples where Segal holds.

Significance. If correct, the results supply concrete counterexamples distinguishing full and weak forms of the redshift conjecture at higher chromatic heights and clarify the range of validity of the Lichtenbaum-Quillen property, extending lower-height work in a load-bearing way for the field.

minor comments (2)
  1. The abstract states that the failure is demonstrated, but the main text should include an explicit statement (e.g., in the introduction or §2) confirming that the ring structures and conjecture definitions extend verbatim to the higher-height cases used here.
  2. Notation for the truncated polynomial algebras and the precise heights considered should be introduced uniformly in the first section where the main theorems are stated.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript, recognition of its significance in distinguishing forms of the redshift conjecture, and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper extends prior external results on truncated Brown-Peterson spectra (Hahn-Wilson) and K-theory computations (Hesselholt-Madsen et al.) to higher-height cases, claiming failure of the Segal conjecture (hence LQ) while weak redshift holds. No self-citations appear in the abstract or described claims; the distinctions between full and weak redshift are explicitly noted as building on independent prior work by other authors. The derivation chain relies on cited external constructions without reducing any central prediction or uniqueness statement to a fit, self-definition, or author-overlapping citation chain within the paper itself.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, invented entities, or non-standard axioms are mentioned in the abstract; the work relies on standard background results in chromatic homotopy theory and algebraic K-theory.

pith-pipeline@v0.9.0 · 5656 in / 1184 out tokens · 71075 ms · 2026-05-22T23:06:00.935468+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    K -theoretic counterexamples to R avenel's telescope conjecture

    https://arxiv.org/abs/2310.17459. [BnrM22] Haldun Özgür Bayı ndır and Tasos Moulinos. Algebraic K-theory of THH(Fp). Trans. Amer. Math. Soc. , 375(6):4177–4207,

    work page arXiv

  2. [2]

    Schlank, and Alle Yuan, The Chromatic Nullstellensatz , Annals of Mathematics (to appear)

    https://arxiv.org/abs/2207.09929. 38 [Bur22] Robert Burklund. Multiplicative structures on Moore spectra,

    work page arXiv

  3. [3]

    Burklund

    https://arxiv.org/abs/2203.14787. [CMNN24] Dustin Clausen, Akhil Mathew, Niko Naumann, and Justin Noel. Descent and vanishing in chromatic algebraic K-theory via group actions. Ann. Sci. Éc. Norm. Supér. (4) , 57(4):1135– 1190,

    work page arXiv

  4. [4]

    [Hah22] Jeremy Hahn

    A gift to Guido Mislin on the occasion of his retirement from ETHZ June 2006, Collected by Indira Chatterji. [Hah22] Jeremy Hahn. On the Bousfield classes of H∞-ring spectra,

    work page 2006

  5. [5]

    [Hes18] Lars Hesselholt

    https://arxiv.org/abs/1612.04386. [Hes18] Lars Hesselholt. Topological Hochschild homology and the Hasse-Weil zeta function. In An alpine bouquet of algebraic topology , volume 708 of Contemp. Math. , pages 157–180. Amer. Math. Soc., [Providence], RI,

    work page arXiv

  6. [6]

    [HLS24] Jeremy Hahn, Ishan Levy, and Andrew Senger

    ©2018. [HLS24] Jeremy Hahn, Ishan Levy, and Andrew Senger. Crystallinity for reduced syntomic cohomology and the mod (p; vpn−2 1 ) K-theory of Z=pn,

    work page 2018

  7. [7]

    [HM97a] Lars Hesselholt and Ib Madsen

    https://arxiv.org/abs/2409.20543. [HM97a] Lars Hesselholt and Ib Madsen. Cyclic polytopes and the K-theory of truncated polynomial algebras. Invent. Math. , 130(1):73–97,

    work page arXiv

  8. [8]

    [HW22] Jeremy Hahn and Dylan Wilson

    ©2020. [HW22] Jeremy Hahn and Dylan Wilson. Redshift and multiplication for truncated Brown–Peterson spectra. Ann. of Math. (2) , 196(3):1277–1351,

    work page 2020

  9. [9]

    [Lur09] Jacob Lurie

    https://arxiv.org/abs/2410.08029. [Lur09] Jacob Lurie. Higher topos theory , volume 170 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ,

    work page arXiv

  10. [10]

    Higher algebraic K-theory

    [Qui75] Daniel Quillen. Higher algebraic K-theory. In Proceedings of the International Congress of Math- ematicians (Vancouver, B.C., 1974), Vol. 1 , pages 171–176. Canad. Math. Congr., Montreal, QC,

    work page 1974

  11. [11]

    Algebraic K-theory of spaces, localization, and the chromatic filtration of stable homotopy

    [Wal84] Friedhelm Waldhausen. Algebraic K-theory of spaces, localization, and the chromatic filtration of stable homotopy. In Algebraic topology, Aarhus 1982 (Aarhus,

    work page 1982

  12. [12]

    [Yua21] Allen Yuan

    https://arxiv.org/abs/2505.00344. [Yua21] Allen Yuan. Examples of chromatic redshift in algebraic K-theory,

    work page arXiv

  13. [13]

    Email address : rxfang21@m.fudan.edu.cn Shanghai Center for Mathematical Sciences, Fudan University, 2005 Songhu Road 200438, Shanghai, China 40

    https://arxiv.org/abs/2111.10837. Email address : rxfang21@m.fudan.edu.cn Shanghai Center for Mathematical Sciences, Fudan University, 2005 Songhu Road 200438, Shanghai, China 40

    work page arXiv 2005