Special Values without Semi-Simplicity Via K-Theory

Logan Hyslop

arxiv: 2404.18367 · v4 · submitted 2024-04-29 · 🧮 math.AG · math.KT· math.NT

Special Values without Semi-Simplicity Via K-Theory

Logan Hyslop This is my paper

Pith reviewed 2026-05-24 02:27 UTC · model grok-4.3

classification 🧮 math.AG math.KTmath.NT

keywords arithmetic K-theoryzeta functionsetale cohomologysyntomic cohomologyEuler characteristicfinite field schemessemi-simplicityMilne formula

0 comments

The pith

A category of arithmetic modules lets one define multiplicative Euler characteristics for zeta values without Tate's semi-simplicity conjecture.

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

The paper constructs a category of arithmetic C(S^1, R)-modules for any Dedekind ring R and computes its zeroth K-group. Specializing to R equal to Z_l for l not equal to p or to Z_p, it produces natural functorial maps from etale cohomology or syntomic cohomology into this K-group. These maps are compatible with the definition of multiplicative Euler characteristic, so the characteristic can be formed without assuming semi-simplicity. As a direct result, Milne's cohomological formula for zeta values of smooth proper schemes over finite fields holds without that assumption, and the same method yields partial extensions to finite type schemes.

Core claim

The zeroth K-group of the category of arithmetic C(S^1, R)-modules admits a natural functorial map from etale cohomology of perfect etale Z_l-sheaves (when R = Z_l, l ≠ p) or from syntomic cohomology of perfect prismatic F-gauges (when R = Z_p) that is compatible with the multiplicative Euler characteristic; this map exists without any semi-simplicity hypothesis and therefore supplies the missing step in Milne's formula for zeta values of smooth proper F_p-schemes.

What carries the argument

The category of arithmetic C(S^1, R)-modules attached to a Dedekind ring R, whose K_0 receives a functorial lift of cohomology that defines the multiplicative Euler characteristic.

If this is right

Milne's cohomological formula for zeta values now applies to smooth proper F_p-schemes without assuming semi-simplicity.
Zeta-value formulae extend to some finite type F_p-schemes via the same K_0 construction.
Motivic homotopy theory yields some of these formulae without resolution of singularities or semi-simplicity assumptions.

Where Pith is reading between the lines

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

The same K_0 lift may supply Euler characteristics for other cohomology theories on schemes over finite fields.
The construction suggests a route to special-value statements in settings where semi-simplicity is known to fail.
Compatibility of the map with base change could allow inductive arguments on dimension for non-proper schemes.

Load-bearing premise

There exists a map from etale or syntomic cohomology to the K_0 of arithmetic C(S^1, R)-modules that is functorial and compatible with the definition of multiplicative Euler characteristic.

What would settle it

An explicit smooth proper scheme over F_p for which the natural map from its etale cohomology to the K_0 of arithmetic C(S^1, Z_l)-modules fails to exist or fails to preserve the multiplicative Euler characteristic.

read the original abstract

In this paper, motivated by studying special values of zeta functions attached to finite type F_p-schemes, we introduce a category of ``arithmetic C(S^1,R)-modules'' attached to any Dedekind ring R, and compute the 0th K-group of this category. Specializing to the case of R=Z_l for some prime l neq p (resp. R=Z_p), we prove that there is a natural functorial lift of the etale cohomology of perfect etale Z_l sheaves (resp. syntomic cohomology of perfect prismatic F-gauges) on a point to arithmetic C(S^1,Z_l)-modules (resp. arithmetic C(S^1,Z_p)-modules). This allows us to define a notion of the multiplicative Euler characteristic via a map from the K_0-group which makes sense without assuming Tate's semi-simplicity conjecture. In particular, we can remove this hypothesis from a theorem of Milne proving a cohomological formula for zeta values attached to smooth proper F_p-schemes. We also discuss extensions of these zeta value formulae to finite type F_p-schemes, and how recent progress in motivic homotopy theory allows us to prove some results without any assumptions on resolution of singularities or Tate's semi-simplicity conjecture.

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

The paper claims a K-theoretic bypass of Tate semi-simplicity in Milne's zeta formula via a new module category, but the central computations need direct checking.

read the letter

The main point is that this paper defines a category of arithmetic C(S^1,R)-modules for Dedekind rings R, computes its K_0, and uses that to produce a multiplicative Euler characteristic from etale or syntomic cohomology without assuming Tate semi-simplicity. Specializing to R = Z_l (l ≠ p) and R = Z_p gives functorial lifts that let them drop the hypothesis from Milne's formula for zeta values of smooth proper F_p-schemes. They also sketch extensions to finite type schemes and note some results that avoid resolution of singularities via motivic homotopy.

Referee Report

0 major / 3 minor

Summary. The paper introduces a category of arithmetic C(S^1,R)-modules for any Dedekind ring R and computes its 0th K-group. For R = Z_l (l ≠ p) and R = Z_p, it establishes natural functorial lifts from etale cohomology of perfect etale Z_l-sheaves and syntomic cohomology of perfect prismatic F-gauges on a point to this K_0 group. This construction allows defining a multiplicative Euler characteristic without assuming Tate's semi-simplicity conjecture, thereby removing this hypothesis from Milne's theorem on cohomological formulas for zeta values of smooth proper F_p-schemes. The paper also discusses extensions to finite type F_p-schemes and the use of motivic homotopy theory to obtain results without resolution of singularities assumptions.

Significance. If the K_0 computation and the functorial lifts hold as stated, this work is significant for providing a K-theoretic framework that circumvents the semi-simplicity conjecture in the study of special values of zeta functions. It explicitly credits the computation of K_0 and the compatibility with etale and syntomic cohomology as enabling the removal of a key hypothesis from Milne's result. The integration with recent motivic homotopy theory for unconditional results on some cases is a notable strength. The stress-test concern on functoriality of the cohomology-to-K_0 maps does not land as a load-bearing gap, since the manuscript presents these as proven constructions internal to the new category.

minor comments (3)

Include a precise citation to the specific theorem of Milne whose hypothesis is being removed, including paper title, year, and theorem number.
The definition of the category of arithmetic C(S^1,R)-modules should include an explicit explanation of the role of the circle S^1 in the construction, as this notation is not standard.
Add a reference or brief definition for 'perfect prismatic F-gauges' on first appearance to aid readers unfamiliar with prismatic cohomology.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript and for recommending minor revision. The referee's summary accurately captures the main contributions, including the construction of arithmetic C(S^1,R)-modules, the computation of K_0, the functorial lifts from étale and syntomic cohomology, and the removal of the Tate semi-simplicity hypothesis from Milne's cohomological zeta-value formula. We appreciate the recognition of the integration with motivic homotopy theory for unconditional results.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper introduces the category of arithmetic C(S^1,R)-modules as a new construction, computes its K_0 group directly, and establishes functorial lifts from etale/syntomic cohomology to this category. These steps are presented as independent of the target Euler characteristic and of Milne's semi-simplicity hypothesis; the removal of that hypothesis follows from the new definition rather than any self-referential fit, renaming, or load-bearing self-citation. No equation or claim reduces by construction to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Abstract-only; the ledger is populated from the stated objects and maps. The central claim rests on the existence of the category, the K_0 computation, and the functoriality of the lifts from etale/syntomic cohomology.

axioms (2)

domain assumption The category of arithmetic C(S^1,R)-modules is well-defined for any Dedekind ring R and its K_0 can be computed explicitly.
Invoked when the paper states it computes the 0th K-group and uses the result to define the Euler characteristic map.
domain assumption There exist natural functorial lifts from etale cohomology of perfect etale Z_l-sheaves (l ≠ p) and from syntomic cohomology of perfect prismatic F-gauges to the arithmetic C(S^1,R)-modules.
Stated directly in the abstract as the mechanism that allows the Euler characteristic to be defined without semi-simplicity.

invented entities (1)

arithmetic C(S^1,R)-module no independent evidence
purpose: New category whose K_0 supplies a target for cohomology that does not require semi-simplicity.
Introduced in the abstract as the central new object; no independent evidence outside the paper is supplied.

pith-pipeline@v0.9.0 · 5758 in / 1781 out tokens · 21238 ms · 2026-05-24T02:27:17.499725+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery; equivNat; embed_injective echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Theorem 2.14. We have that K₀(Arith_{S¹}(R)) ≃ (⊕_{p∈Spec(R)(0)} Z) ⊕ Z, where the extra copy of Z is the image of a canonical splitting K₀(C(S¹,F)) → K₀(Arith_{S¹}(R)). Each copy of Z indexed by a height 1 prime p ... generated by the class of R/p.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel; Jcost_pos_of_ne_one echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Definition 2.15. Let χ(-,e): K₀(Arith_{S¹}(Z)) → Q× be the group homomorphism which takes the class of the unit to 1, and takes the class represented by F_p to p.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages · 3 internal anchors

[1]

url: https://arxiv.org/abs/2403

arXiv:2403.01561 [math.AG]. url: https://arxiv.org/abs/2403. 01561. [AP25] ToniAnnalaandPiotrPstrągowski. A note on weight filtrations at the characteristic

work page arXiv
[2]

url: https://arxiv.org/abs/2502

arXiv:2502.19626 [math.KT]. url: https://arxiv.org/abs/2502. 19626. [BHS22] RobertBurklund,JeremyHahn,andAndrewSenger. Galois reconstruction of Artin-TateR-motivic spectra

work page arXiv
[3]

[BL21] Robert Burklund and Ishan Levy

arXiv:2010.10325 [math.AT]. [BL21] Robert Burklund and Ishan Levy. On the K-theory of regular coconnective rings

work page arXiv 2010
[4]

PrismaticF-gauges

arXiv:2112.14723 [math.KT]. url: https://arxiv.org/abs/2112. 14723. [BL22] BhargavBhattandJacobLurie.“PrismaticF-gauges”.In: Lecture notes available at https://www. math. ias. edu/˜ bhatt/teaching/mat549f22/lectures. pdf (2022). [BMS19] BhargavBhatt,MatthewMorrow,andPeterScholze. Topological Hochschild homology and integral𝑝-adic Hodge theory

work page arXiv 2022
[5]

Topological Hochschild homology and integral $p$-adic Hodge theory

arXiv:1802.03261 [math.AG]. [BO15] PierreBerthelotandArthurOgus. Notes on crystalline cohomology.Vol.21.Prince- ton University Press, 2015. [Cis13] Denis-Charles Cisinski. “Descente par éclatements en K-théorie invariante par homotopie”. In:Annals of Mathematics 177.2 (Mar. 2013), 425–448.issn: 0003- 486X. doi: 10.4007/annals.2013.177.2.2. url: http://dx....

work page internal anchor Pith review Pith/arXiv arXiv doi:10.4007/annals.2013.177.2.2 2015
[6]

url: https: //www.sciencedirect.com/science/article/pii/S0022404919300854

doi: https://doi.org/10.1016/j.jpaa.2019.03.022 . url: https: //www.sciencedirect.com/science/article/pii/S0022404919300854. [EM23] EldenElmantoandMatthewMorrow. Motivic cohomology of equicharacteristic schemes

work page doi:10.1016/j.jpaa.2019.03.022 2019
[7]

Elmanto and M

arXiv:2309.08463 [math.KT]. [ESS25] VeronikaErtl,AtsushiShiho,andJohannesSprang. Integral p-adic cohomology theories for open and singular varieties

work page arXiv
[8]

url: https://arxiv.org/abs/2105

arXiv:2105.11009 [math.NT]. url: https://arxiv.org/abs/2105. 11009. [Elm+20] EldenElmanto,MarcHoyois,RyomeiIwasa,andShaneKelly. Cdh descent, cdarc descent, and Milnor excision

work page arXiv
[9]

url: https://arxiv.org/abs/2002

arXiv:2002.11647 [math.AG]. url: https://arxiv.org/abs/2002. 11647. [Gei05] ThomasH.Geisser. Arithmetic cohomology over finite fields and special values of zeta-functions

work page arXiv 2002
[10]

Arithmetic cohomology over finite fields and special values of zeta-functions

arXiv:math/0405164 [math.NT]. [Gro64] AlexanderGrothendieck.“FormuledeLefschetzetrationalitédesfonctionsL”.In: Séminaire Bourbaki 9 (1964), pp. 41–55. 35 [HKK18] AnnetteHuber-KlawitterandShaneKelly.“Differentialformsinpositivecharacter- istic,II:cdh-descentviafunctorialRiemann–Zariskispaces”.In: Algebra and; Number Theory 12.3 (June 2018), 649–692.issn: 1...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/ant.2018.12.649 1964
[11]

Homotopy theory of simplicial presheaves in completely decomposable topologies

arXiv:0805.4578 [math.AG]. url: https://arxiv.org/abs/0805. 4578. [Wei49] André Weil. “Numbers of solutions of equations in finite fields”. In: (1949). 37

work page internal anchor Pith review Pith/arXiv arXiv 1949

[1] [1]

url: https://arxiv.org/abs/2403

arXiv:2403.01561 [math.AG]. url: https://arxiv.org/abs/2403. 01561. [AP25] ToniAnnalaandPiotrPstrągowski. A note on weight filtrations at the characteristic

work page arXiv

[2] [2]

url: https://arxiv.org/abs/2502

arXiv:2502.19626 [math.KT]. url: https://arxiv.org/abs/2502. 19626. [BHS22] RobertBurklund,JeremyHahn,andAndrewSenger. Galois reconstruction of Artin-TateR-motivic spectra

work page arXiv

[3] [3]

[BL21] Robert Burklund and Ishan Levy

arXiv:2010.10325 [math.AT]. [BL21] Robert Burklund and Ishan Levy. On the K-theory of regular coconnective rings

work page arXiv 2010

[4] [4]

PrismaticF-gauges

arXiv:2112.14723 [math.KT]. url: https://arxiv.org/abs/2112. 14723. [BL22] BhargavBhattandJacobLurie.“PrismaticF-gauges”.In: Lecture notes available at https://www. math. ias. edu/˜ bhatt/teaching/mat549f22/lectures. pdf (2022). [BMS19] BhargavBhatt,MatthewMorrow,andPeterScholze. Topological Hochschild homology and integral𝑝-adic Hodge theory

work page arXiv 2022

[5] [5]

Topological Hochschild homology and integral $p$-adic Hodge theory

arXiv:1802.03261 [math.AG]. [BO15] PierreBerthelotandArthurOgus. Notes on crystalline cohomology.Vol.21.Prince- ton University Press, 2015. [Cis13] Denis-Charles Cisinski. “Descente par éclatements en K-théorie invariante par homotopie”. In:Annals of Mathematics 177.2 (Mar. 2013), 425–448.issn: 0003- 486X. doi: 10.4007/annals.2013.177.2.2. url: http://dx....

work page internal anchor Pith review Pith/arXiv arXiv doi:10.4007/annals.2013.177.2.2 2015

[6] [6]

url: https: //www.sciencedirect.com/science/article/pii/S0022404919300854

doi: https://doi.org/10.1016/j.jpaa.2019.03.022 . url: https: //www.sciencedirect.com/science/article/pii/S0022404919300854. [EM23] EldenElmantoandMatthewMorrow. Motivic cohomology of equicharacteristic schemes

work page doi:10.1016/j.jpaa.2019.03.022 2019

[7] [7]

Elmanto and M

arXiv:2309.08463 [math.KT]. [ESS25] VeronikaErtl,AtsushiShiho,andJohannesSprang. Integral p-adic cohomology theories for open and singular varieties

work page arXiv

[8] [8]

url: https://arxiv.org/abs/2105

arXiv:2105.11009 [math.NT]. url: https://arxiv.org/abs/2105. 11009. [Elm+20] EldenElmanto,MarcHoyois,RyomeiIwasa,andShaneKelly. Cdh descent, cdarc descent, and Milnor excision

work page arXiv

[9] [9]

url: https://arxiv.org/abs/2002

arXiv:2002.11647 [math.AG]. url: https://arxiv.org/abs/2002. 11647. [Gei05] ThomasH.Geisser. Arithmetic cohomology over finite fields and special values of zeta-functions

work page arXiv 2002

[10] [10]

Arithmetic cohomology over finite fields and special values of zeta-functions

arXiv:math/0405164 [math.NT]. [Gro64] AlexanderGrothendieck.“FormuledeLefschetzetrationalitédesfonctionsL”.In: Séminaire Bourbaki 9 (1964), pp. 41–55. 35 [HKK18] AnnetteHuber-KlawitterandShaneKelly.“Differentialformsinpositivecharacter- istic,II:cdh-descentviafunctorialRiemann–Zariskispaces”.In: Algebra and; Number Theory 12.3 (June 2018), 649–692.issn: 1...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/ant.2018.12.649 1964

[11] [11]

Homotopy theory of simplicial presheaves in completely decomposable topologies

arXiv:0805.4578 [math.AG]. url: https://arxiv.org/abs/0805. 4578. [Wei49] André Weil. “Numbers of solutions of equations in finite fields”. In: (1949). 37

work page internal anchor Pith review Pith/arXiv arXiv 1949