Higher K-theory of forms II. From exact categories to chain complexes

Marco Schlichting

REVIEW 2 major objections 5 minor 17 references

Higher K-theory of forms II. From exact categories to chain complexes

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper proves that for any exact form category with strong duality, the Grothendieck-Witt space is homotopy equivalent to the Grothendieck-Witt space of its bounded chain complexes with quasi-isomorphisms.

desk verdict Foundational second paper in Schlichting's Hermitian K-theory series; genuinely new quadratic-form extension to chain complexes, but the reduction to semi-idempotent completion has a citation gap that needs checking. read the letter →

arxiv 2411.08746 v1 pith:XIC57QVQ submitted 2024-11-13 math.KT

Marco Schlichting This is my paper · ORCID

classification math.KT MSC 19G3819D06

keywords HermitianK-theoryGrothendieck-Wittgroupsquadraticformsexactcategoriesboundedchaincomplexesquasi-isomorphismsBottsequencecofinality

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

This paper aims to put Hermitian K-theory of exact categories on the same footing as algebraic K-theory by moving the quadratic data to chain complexes. It proves that the inclusion of an exact form category with strong duality $E$ into bounded chain complexes concentrated in degree zero induces a homotopy equivalence of Grothendieck-Witt spaces $GW(E,i,Q) \simeq GW(\mathrm{Ch}^b E, \mathrm{quis}, Q)$. The vehicle is a new extension of the quadratic functor $Q$ to all bounded complexes, defined by forms that are compatible with the differential. This gives Hermitian K-theory the standard chain-complex machinery: additivity, fibration, cofinality, and a delooped spectrum with a Bott sequence.

What carries the argument

The load-bearing object is the quadratic functor $Q$ on bounded chain complexes introduced in Definition 10.2. A form on a complex is a pair $(\xi,\varphi)$ consisting of a symmetric chain map $\varphi \colon E \to E^\sharp$ and a quadratic form $\xi$ on the degree-zero object, linked by $d_1^\bullet(\xi)=0$ and $\rho(\xi)=\varphi_0$. This functor is quadratic left exact, so $\mathrm{Ch}^b E$ becomes an exact form category with quasi-isomorphisms as weak equivalences; the paper also uses a strong symmetric cone, a cone/path-object pair that detects quasi-isomorphisms through acyclicity, to run the fibration and Bott-sequence arguments.

What would settle it

Check the surjectivity step of Lemma 10.4 on an exact category that is not semi-idempotent complete, for instance finitely generated free modules over a ring possessing a non-free stably free module. If some nondegenerate quadratic form on a bounded complex cannot be rewritten as a degree-zero form plus hyperbolics, then $GW_0(E,i,Q) \to GW_0(\mathrm{Ch}^b E, \mathrm{quis}, Q)$ is not surjective and Theorem 10.5 is false for that category.

Watch

Extended reading notes

Core claim

The central claim is Theorem 10.5: for any exact form category with strong duality, the degree-zero inclusion $E \subset \mathrm{Ch}^b E$ is a homotopy equivalence of Grothendieck-Witt spaces, $GW(E,i,Q) \simeq GW(\mathrm{Ch}^b E, \mathrm{quis}, Q)$. The proof works by defining, on a bounded complex $(E,d)$, a quadratic form to be a pair $(\xi,\varphi)$ with $\varphi \colon E \to E^\sharp$ symmetric, $\xi \in Q(E_0)$, $d_1^\bullet(\xi)=0$, and $\rho(\xi)=\varphi_0$. This makes $\mathrm{Ch}^b E$ into an exact form category with weak equivalences and a strong symmetric cone. The paper further establishes additivity, fibration and cofinality theorems for exact form categories with weak equivalences, and constructs a Grothendieck-Witt spectrum whose negative homotopy groups are Witt groups, with an algebraic Bott sequence $GW^{[n]} \to K(E,w) \to GW^{[n+1]}$.

Load-bearing premise

The proof depends on the reduction that passes from $E$ to its semi-idempotent completion without changing Grothendieck-Witt spaces; if that reduction failed, acyclic complexes would not be strictly acyclic and the chain of equivalences would collapse.

Editorial extensions

If this is right

For any exact form category with strong duality, $GW(E,i,Q) \simeq GW(\mathrm{Ch}^b E, \mathrm{quis}, Q)$, so bounded chain complexes can be used to compute Grothendieck-Witt groups.
The Fibration Theorem produces homotopy cartesian squares when weak equivalences are changed, giving a localisation principle for Hermitian K-theory analogous to algebraic K-theory.
The Cofinality Theorem shows that cofinal duality-closed subcategories induce isomorphisms on positive Grothendieck-Witt groups and a monomorphism on $GW_0$, matching K-theory behaviour.
The Bott sequence $GW^{[n]} \to K(E,w) \to GW^{[n+1]}$ deloops Grothendieck-Witt spaces, and the negative homotopy groups of the spectrum are the Witt groups of shifted categories.
Together with the announced comparison to the infinity-categorical theory, the classical 1-categorical Hermitian K-theory would agree with the infinity-categorical version in full generality, going beyond previously known split-exact, 2-invertible, and Zariski-descent cases.

Reading between the lines

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

A consequence the author leaves implicit is that the same quadratic functor should make Grothendieck-Witt groups invariant under derived equivalences, since quasi-isomorphisms are built into the weak equivalences; testing this on a derived equivalence between rings would be a direct check.
The sign conventions in Definition 10.2 are tied to homological indexing, so extending the construction to cohomological indexing or to unbounded complexes would require a separate verification of quadratic left exactness; this is a natural stress test of the framework.
If the promised comparison with infinity-categorical Hermitian K-theory holds, the 1-categorical additivity, fibration, and cofinality theorems would supply the same results for Poincaré infinity-categories without reproving them, and would give an independent check of the infinity-categorical formalism.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

First thing you should know: this is the paper that makes good on the promise to extend the quadratic functor from an exact form category to bounded chain complexes without changing Grothendieck-Witt spaces (Theorem 10.5). That is genuinely new for arbitrary quadratic forms with values in abelian groups; the symmetric-form case was [Sch10b, Prop 6]. The definition of Q on chain complexes (Definition 10.2) is the main contribution, and the proof of Theorem 10.5 via the filtration by supports and the Fibration/Additivity theorems is a real piece of work. The paper also proves useful general results: Additivity, Fibration, Cofinality for form categories with weak equivalences, and constructs the Grothendieck-Witt spectrum and Bott sequence (Theorems 8.1, 9.3, 9.8, 11.9). These are stated for the quadratic setting and the adaptions are mostly clean.

The soft spots are real but not disqualifying. First, the paper delegates a large fraction of proofs to earlier work with 'mutatis mutandis' (Prop 2.5, Thm 3.2, Cor 3.3, Lemmas 5.6, 8.3, parts of Prop 9.6). That is normal for this author and this series, but it makes independent verification slow. Second, and more concretely, Lemma 10.6 asserts that passing to the semi-idempotent completion does not change GW(E,w,Q), and the proof cites Theorem 4.2 and Example 4.3, which are cofinality statements for exact form categories with isomorphisms as weak equivalences. The w-version of cofinality is not supplied; Theorem 9.8 has a strong symmetric cone hypothesis not assumed in Lemma 10.6. As written, the reduction to semi-idempotent complete categories is not established by the citations. If [Sch10b, Lemma 12] does prove the w-version, a reference with the argument appended fixes it; the present text does not give that argument. This is a proof gap, not a demonstrated counterexample, and it is load-bearing for Theorem 10.5 because the proof uses strict acyclicity of acyclic complexes after the reduction.

The citation pattern is heavily self-referential, but that is appropriate for a series where the prior papers exist and the results are real. There is no code or machine-checked formalization to lean on; this is classical proof-based mathematics, and the reader has to trust the "mutatis mutandis" transfers.

Who is this for? People working in Hermitian K-theory, quadratic forms, and the comparison with the infinity-categorical setup of CDH+. It deserves a serious referee: the main theorem is important and the overall structure is sound, but the referee should demand the Lemma 10.6 repair and probably fuller proofs of the delegated quadratic statements. I would engage with it; it is the right kind of paper to send to a careful referee.

Referee Report

2 major / 5 minor

Summary. The paper is the second installment of the author's programme on higher Hermitian K-theory. It develops the theory of exact form categories with weak equivalences and establishes the structural theorems Additivity (Theorem 8.1), Fibration (Theorem 9.3), Cofinality (Theorem 9.8), and an algebraic Bott sequence (Theorem 11.9). Its main new result is Theorem 10.5: for any exact form category with strong duality (E, sharp, can, Q), the inclusion of E into bounded chain complexes Ch^b E as degree-zero complexes induces a homotopy equivalence GW(E,Q) -> GW(Ch^b E, quis, Q). The proof constructs an explicit quadratic functor on chain complexes (Definition 10.2), proves it is quadratic left exact with a strong symmetric cone (Lemma 10.3), reduces to semi-idempotent complete categories via Lemma 10.6, and combines Additivity and Fibration with a GW0-surjectivity argument (Lemma 10.4).

Significance. If the results are correct, Theorem 10.5 is a substantial bridge: it shows that the classical 1-categorical Hermitian K-theory of exact categories is invariant under passage to bounded chain complexes with quasi-isomorphisms, a key step for matching with the infinity-categorical treatment of Calmes-Dotto-Harpaz-Hebestreit-Land-Moi-Nardin-Nikolaus-Steimle. The paper also provides a clean framework of Grothendieck-Witt spectra and Bott sequences for exact form categories with weak equivalences. The construction of the quadratic functor on Ch^b E is explicit and checkable, and several proofs, such as Lemma 10.3 and the presentation of GW0 in Theorem 8.4, are written in detail. The main caveat is that a load-bearing reduction to semi-idempotent complete categories is only cited, not proved in the present text.

major comments (2)

[Section 10, Lemma 10.6] The semi-idempotent completion reduction is not established by the citations given. Lemma 10.6 is stated for GW(E,w,Q) with an arbitrary set of weak equivalences, but its proof invokes Theorem 4.2 and Example 4.3, both of which concern Part 1 Grothendieck-Witt spaces GW(E,Q) with isomorphisms as the weak equivalences. The only cofinality result in Part 2, Theorem 9.8, assumes a strong symmetric cone, and Lemma 10.6 has no such hypothesis. Since the proof of Theorem 10.5 starts with 'By Lemma 10.6 below, we can assume E is semi-idempotent complete', this is a load-bearing gap: the step from E to E~0 changes the category in which the chain-complex acyclicity and strict acyclicity arguments are run. The author should either prove a cofinality statement for GW(-,w,-) without a symmetric cone, or reproduce or quote the precise statement and proof of [Sch10b, Lemma 12] and explain how Theorem 4.2 and Example 4.3 apply in the w-setting.
[Section 10, Theorem 10.5 and Lemma 10.4] The proof of Theorem 10.5 asserts, immediately after invoking Lemma 10.6, that in a semi-idempotent complete exact category acyclic bounded chain complexes are strictly acyclic; Lemma 10.4 uses this to identify the map [d_n; phi_n] as an admissible monomorphism. The implication is not proved and no precise reference is given. If this is a known consequence of semi-idempotent completeness, please provide a citation or a short argument; otherwise the surjectivity proof of GW0 and the construction of the admissible monomorphisms in Lemma 10.4 are incomplete.

minor comments (5)

[Definition 11.5] The word 'spectrum' is misspelled as 'spetrum' in the definition of the Grothendieck-Witt spectrum.
[Proof of Theorem 10.5] There are minor typos: 'contranctible' should be 'contractible' and 'surjectve' should be 'surjective'.
[Abstract] The abstract contains a spacing typo: 'W e prove' should be 'We prove'.
[Lemma 2.10] The phrase 'the obvious one’s' should be 'the obvious ones'.
[Various sections] Several statements are delegated to previous papers with 'mutatis mutandis' (for example Proposition 2.5, Theorem 3.2, Corollary 3.3, Lemma 5.6, Lemma 8.3, and parts of Proposition 9.6). For a sequel this is acceptable, but the paper would be easier to verify if each such passage indicated which quadratic-form inputs need to be checked, especially in Lemma 8.3 and Proposition 9.6.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central homotopy equivalence is proven from additivity, fibration, and cofinality theorems, not assumed; heavy self-citation is to prior independent results.

full rationale

The paper's main theorem (10.5) is not circular. The quadratic functor on Ch^b E is explicitly constructed in Definition 10.2 in terms of the given Q on E (a quadratic form on the degree-0 object with d_1^* ξ = 0 and ρ(ξ) = φ_0), and the proof of GW(E,i,Q) ≃ GW(Ch^b E, quis,Q) proceeds through Lemma 10.3 (Ch^b E has a strong symmetric cone), Lemma 10.4 (surjectivity on GW_0), the homotopy-cartesian diagram (10.2) built from the Additivity Theorem 8.1, and the Fibration Theorem 9.7/Proposition 9.6. None of these inputs states the conclusion. The w-version reduction to semi-idempotent completion in Lemma 10.6 is cited to Theorem 4.2, Example 4.3, and [Sch10b, Lemma 12]; even if, as the skeptic notes, the cited cofinality statement may not literally cover arbitrary weak equivalences, this is a possible proof gap or missing reference, not circularity: the cited results are prior independent results rather than restatements of Theorem 10.5. The paper is self-citing heavily (Theorem 4.2, Example 4.3, [Sch10a], [Sch10b], [Sch17], [Sch21]), but the core generalization to quadratic forms is carried out with new proofs, and the symmetric-form case is an external benchmark, not the target. Hence score 1.

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

The paper introduces no fitted parameters and no new physical or mathematical entities beyond the quadratic functor on chain complexes, which is a construction rather than an entity. The central premises are the axioms of exact form categories from prior work and the semi-idempotent reduction used in the proof.

assumptions (4)

domain assumption Axioms of exact form categories with strong duality from [Sch21, Def 2.22 and 2.24], including quadratic left exactness (Def 2.1(3)) and ρτ = 1+σ.
The entire paper operates within this framework; Theorem 10.5 is stated for such categories.
standard math Axioms of Quillen exact categories and standard homotopy theory of classifying spaces (as in [Qui73], [Wal85]).
These are background tools used throughout, e.g., Quillen's Theorem A/B in Section 5.
ad hoc to paper Semi-idempotent completeness can be assumed without changing Grothendieck-Witt spaces (Lemma 10.6, via Cofinality Theorem 4.2).
The proof of Theorem 10.5 needs acyclic complexes to be strictly acyclic, which holds in the semi-idempotent completion; this reduction is load-bearing.
ad hoc to paper The quadratic functor on Ch^b E defined in Definition 10.2 is quadratic left exact (Lemma 10.3).
This is the central new construction; if it failed the main theorem would not hold as stated.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Higher K-theory of forms II. From exact categories to chain complexes." pith.science (2026). https://pith.science/paper/XIC57QVQ

@misc{pith2026241108746,
  author       = {Pith},
  title        = {Pith review of: Higher K-theory of forms II. From exact categories to chain complexes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XIC57QVQ}},
  note         = {Machine review of arXiv:2411.08746}
}

read the original abstract

We prove basic statements about the Hermitian K-theory of exact form categories with weak equivalences. Notably, we extend a quadratic functor with values in abelian groups from an exact category to its category of bounded chain complexes in a way that does not change Grothendieck-Witt spaces. This is used in joint work with Marlowe for the comparison of the classical 1-categorical version of the Hermitian K-theory of exact categories with the infinity-categorical version of Calmes-Dotto-Harpaz-Hebestreit-Land-Moi-Nardin-Nikolaus-Steimle.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 12 canonical work pages

[1]

Hermitian K -theory for stable -categories II : C obordism categories and additivity

Baptiste Calm\`es, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, and Wolfgang Steimle. Hermitian K -theory for stable -categories II : C obordism categories and additivity. arXiv:2009.07224v4

arXiv 2009
[2]

Hermitian K -theory for stable -categories I : F oundations

Baptiste Calm\`es, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, and Wolfgang Steimle. Hermitian K -theory for stable -categories I : F oundations. Selecta Math. (N.S.) , 29(1):Paper No. 10, 269, 2023

work page 2023
[3]

Calmes, Y

B. Calmes, Y. Harpaz, and D. Nardin. A motivic spectrum representing hermitian K -theory. arXiv:2402.15136

arXiv
[4]

Higher algebraic K -theory

Daniel Grayson. Higher algebraic K -theory. II (after D aniel Q uillen). In Algebraic K -theory ( P roc. C onf., N orthwestern U niv., E vanston, I ll., 1976) , Lecture Notes in Math., Vol. 551, pages 217--240. Springer, Berlin-New York, 1976

work page 1976
[5]

Hebestreit and W

F. Hebestreit and W. Steimle. Stable moduli spaces of hermitian forms. arXiv:2103.13911

arXiv
[6]

Chain complexes and stable categories

Bernhard Keller. Chain complexes and stable categories. Manuscripta Math. , 67(4):379--417, 1990

work page 1990
[7]

Marlowe and M

D. Marlowe and M. Schlichting. Higher K -theory of forms III . F rom chain complexes to derived categories. In preparation

work page
[8]

Higher algebraic K -theory

Daniel Quillen. Higher algebraic K -theory. I . pages 85--147. Lecture Notes in Math., Vol. 341, 1973

work page 1973

Show all 17 references

[9]

Higher K -theory of forms II

Marco Schlichting. Higher K -theory of forms II . from exact categories to chain complexes. This paper
[10]

Delooping the K -theory of exact categories

Marco Schlichting. Delooping the K -theory of exact categories. Topology , 43(5):1089--1103, 2004

2004
[11]

Hermitian K -theory of exact categories

Marco Schlichting. Hermitian K -theory of exact categories. J. K-Theory , 5(1):105--165, 2010

2010
[12]

The M ayer- V ietoris principle for G rothendieck- W itt groups of schemes

Marco Schlichting. The M ayer- V ietoris principle for G rothendieck- W itt groups of schemes. Invent. Math. , 179(2):349--433, 2010

2010
[13]

Hermitian K -theory, derived equivalences and K aroubi's fundamental theorem

Marco Schlichting. Hermitian K -theory, derived equivalences and K aroubi's fundamental theorem. J. Pure Appl. Algebra , 221(7):1729--1844, 2017

2017
[14]

Symplectic and orthogonal K -groups of the integers

Marco Schlichting. Symplectic and orthogonal K -groups of the integers. C. R. Math. Acad. Sci. Paris , 357(8):686--690, 2019

2019
[15]

Higher K -theory of forms I

Marco Schlichting. Higher K -theory of forms I . F rom rings to exact categories. J. Inst. Math. Jussieu , 20(4):1205--1273, 2021

2021
[16]

Corrigendum to `` S ymplectic and orthogonal K -groups of the integers''

Marco Schlichting. Corrigendum to `` S ymplectic and orthogonal K -groups of the integers''. C. R. Math. Acad. Sci. Paris , 362:307--308, 2024

2024
[17]

Algebraic K -theory of spaces

Friedhelm Waldhausen. Algebraic K -theory of spaces. In Algebraic and geometric topology ( N ew B runswick, N . J ., 1983) , volume 1126 of Lecture Notes in Math. , pages 318--419. Springer, Berlin, 1985

1983

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

Hermitian K -theory for stable -categories II : C obordism categories and additivity

Baptiste Calm\`es, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, and Wolfgang Steimle. Hermitian K -theory for stable -categories II : C obordism categories and additivity. arXiv:2009.07224v4

arXiv 2009

[2] [2]

Hermitian K -theory for stable -categories I : F oundations

Baptiste Calm\`es, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, and Wolfgang Steimle. Hermitian K -theory for stable -categories I : F oundations. Selecta Math. (N.S.) , 29(1):Paper No. 10, 269, 2023

work page 2023

[3] [3]

Calmes, Y

B. Calmes, Y. Harpaz, and D. Nardin. A motivic spectrum representing hermitian K -theory. arXiv:2402.15136

arXiv

[4] [4]

Higher algebraic K -theory

Daniel Grayson. Higher algebraic K -theory. II (after D aniel Q uillen). In Algebraic K -theory ( P roc. C onf., N orthwestern U niv., E vanston, I ll., 1976) , Lecture Notes in Math., Vol. 551, pages 217--240. Springer, Berlin-New York, 1976

work page 1976

[5] [5]

Hebestreit and W

F. Hebestreit and W. Steimle. Stable moduli spaces of hermitian forms. arXiv:2103.13911

arXiv

[6] [6]

Chain complexes and stable categories

Bernhard Keller. Chain complexes and stable categories. Manuscripta Math. , 67(4):379--417, 1990

work page 1990

[7] [7]

Marlowe and M

D. Marlowe and M. Schlichting. Higher K -theory of forms III . F rom chain complexes to derived categories. In preparation

work page

[8] [8]

Higher algebraic K -theory

Daniel Quillen. Higher algebraic K -theory. I . pages 85--147. Lecture Notes in Math., Vol. 341, 1973

work page 1973