Pith. sign in

REVIEW 5 minor 45 references

Witt K-theory is effective in characteristic 2, completing the Morel structure conjecture for every perfect field.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-13 05:53 UTC pith:QG5ZSR7O

load-bearing objection Clean finish of the char-2 case of Morel's structure conjecture; the new piece is effectivity of HKW via Bachmann-Fasel plus classical Witt vanishing.

arxiv 2607.08905 v1 pith:QG5ZSR7O submitted 2026-07-09 math.KT math.AGmath.AT

On The Morel Structure Conjecture

Giacomo Bertizzolo This is my paper
classification math.KT math.AGmath.AT MSC 14F4219G1211E81
keywords Morel structure conjectureWitt K-theoryeffective motivic spectraMilnor–Witt motivic cohomologycharacteristic 2Bachmann–Fasel criterionhomotopy modules
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper finishes the Morel structure conjecture, which describes how three flavours of motivic cohomology (ordinary, Milnor–Witt, and Witt) sit inside the category of motivic spectra. Bachmann had already proved the two key cartesian squares when the base field has characteristic not 2. The remaining case is characteristic 2. The author first assumes that the spectrum representing Witt K-theory is effective, derives the cartesian squares from that assumption, and then proves the effectivity statement itself by a vanishing argument on semi-local simplices. Once effectivity holds, the squares are cartesian over every perfect field, so the three cohomology theories are related exactly as the conjecture predicts. A sympathetic reader cares because the result supplies the last missing piece of the algebraic analogue of the Postnikov decomposition of real topological K-theory, and because it gives a quadratic version of the classical Geisser–Levine theorem: in characteristic 2 there is no extra Witt motivic cohomology beyond Witt K-theory itself.

Core claim

Over any perfect field of characteristic 2 the motivic spectrum HKW that represents Witt K-theory is effective. Consequently the two Morel squares that relate the effective covers gHZ and HWZ to ordinary motivic cohomology and to the K-theory spectra HKM and HKW are cartesian in the stable motivic homotopy category.

What carries the argument

The Bachmann–Fasel effectivity criterion: a spectrum is effective precisely when its sections on the semi-local simplices ˆ∆•F vanish for every finitely generated field extension F. The paper verifies the vanishing by combining the classical fact that high powers of the fundamental ideal of the Witt ring are zero with an injectivity lemma for those powers on semi-local schemes.

Load-bearing premise

The powers of the fundamental ideal inject from the semi-local simplices into their values on the fraction field, and those values vanish once the power exceeds the degree of imperfection of the field.

What would settle it

Exhibit a perfect field of characteristic 2 and a finitely generated extension F such that the Nisnevich cochain complex of some high power of the fundamental ideal on the semi-local simplices ˆ∆•F is not contractible; that single non-vanishing would make the Bachmann–Fasel criterion fail and the effectivity claim false.

Watch this falsifier — get emailed when new claim-graph text bears on it.

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 / 5 minor

Summary. The paper completes the Morel structure conjecture over perfect fields of characteristic 2. It proves that the Witt K-theory spectrum HKW is effective (Theorem 4.1), and deduces that the two squares relating gHZ, HKM W, HZ, HKM and HWZ, HKW, HZ/2, HKM/2 are cartesian in SH(k) (Theorems 1.1 and 1.3). The argument first reduces the cartesian property of the squares to effectivity of HKW (via the already-known cartesian square of K-theories, Geisser–Levine, and separate mod-2 / 2-inverted cases), then establishes effectivity independently by the Bachmann–Fasel criterion: the relevant Nisnevich cochains on semi-local simplices ˆ∆•_F vanish for high powers of the fundamental ideal by classical vanishing of I^{j+1} on fields of finite imperfection degree together with injectivity on semi-local schemes.

Significance. The result finishes a program initiated by Bachmann and supplies a quadratic analogue of the Geisser–Levine theorem in characteristic 2: there is no Witt motivic cohomology outside Witt K-theory. The logical structure is clean—effectivity is proved from classical inputs (Milnor, Kato, Geisser–Levine) and the Bachmann–Fasel criterion without circular appeal to the Morel squares—and the reduction of the squares to this single statement is exact. The paper therefore supplies a definitive, self-contained completion of the structure conjecture over perfect fields.

minor comments (5)
  1. Throughout §2–4 the conversion of the manuscript introduces many encoding artefacts (e.g., 1.2, 2.25, 4.10: garbled symbols for π, τ, ≡, ⊗). These should be cleaned in the journal version so that the statements remain readable.
  2. Corollary 4.17: the bound d > m + tr.deg(F/k) + 1 is slightly stronger than needed (Milnor already gives I^{j+1}=0 for j = m + tr.deg). A one-line remark that d ≥ j + 1 suffices would avoid any appearance of off-by-one.
  3. Lemma 4.13: the appeal to the short exact sequence of homotopy modules and to injectivity for KMW and KM is correct, but a parenthetical pointer that the same conclusion follows from the unramified property of I^* alone would make the argument more self-contained.
  4. The epigraph from Aliens is harmless but optional for a pure mathematics journal; the author may wish to drop it.
  5. Definition 2.17 and Remark 2.18: the identification HZ ≃ s0(S) ≃ f0(HKM) is standard, yet a single sentence recalling that the comparison maps are induced by the unit of the slice adjunction would help readers less familiar with the literature.

Circularity Check

0 steps flagged

No significant circularity: effectivity of HKW is proved from classical vanishing and injectivity, then used to deduce the Morel squares.

full rationale

The paper's central claim (Theorem 4.1: HKW is effective in char 2) is established via the Bachmann-Fasel criterion by showing that the Nisnevich cochains RΓ_Nis(·;I^d)(Δ̂^m_F) are contractible for large d (Cor 4.17). This rests on two independent classical inputs: Milnor's vanishing I^{j+1}(F)=0 when the degree of imperfection is j (Thm 4.15 + Rem 4.16), and injectivity of the maps on semi-local schemes into the fraction field (Lemma 4.13), obtained from the short exact sequence of homotopy modules 0 o I^* o KMW_* o KM_* o0 together with known injectivity results for KMW and KM. The Morel squares (Thms 1.1 and 1.3) are then deduced from this effectivity (via the already-established cartesian square of K-theories Cor 2.42, Geisser-Levine, and the mod-2 / 2-inverted reduction of Rem 4.2); they are not used as inputs to prove effectivity. Self-citations (Bachmann, Bachmann-Fasel, etc.) supply prior published machinery that is logically prior and externally available; none of them is a uniqueness theorem or ansatz that forces the target result by construction. The derivation is therefore self-contained against external classical benchmarks and exhibits no definitional loop, fitted-input-as-prediction, or load-bearing self-citation circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The work sits entirely inside the standard foundations of motivic stable homotopy theory. No numerical free parameters appear. All spectra and functors are previously defined; the only load-bearing external inputs are named theorems of Morel, Geisser-Levine, Bachmann-Fasel, Milnor and Kato, which are used as black boxes.

axioms (4)
  • domain assumption Bachmann-Fasel effectivity criterion: a spectrum E is effective iff the mapping spectra !∞(E)(n)(ˆ∆•_F) are contractible for all n≥1 and all finitely generated F/k (Thm 2.31).
    Invoked as the sole criterion that reduces effectivity of HKW to a vanishing statement on semi-local simplices.
  • domain assumption Geisser-Levine: over a perfect field of characteristic p the map HZ/pr → π0(HZ/pr) ≃ HKM/pr is an equivalence (Cor 2.28).
    Used to identify the bottom horizontal arrow of the second Morel square with an equivalence in characteristic 2.
  • standard math Milnor's theorem: if [F:F²]=2^j in characteristic 2 then I^{j+1}(F)=0 (Thm 4.15).
    Supplies the vanishing of high powers of the fundamental ideal that forces the Nisnevich cochains on ˆ∆^m_F to be contractible.
  • standard math Existence and basic properties of the motivic stable homotopy category SH(k), the effective subcategory, the homotopy t-structure, and the unramified sheaves KM W_*, KM_*, KW_* ≃ I_* (Morel et al.).
    Background framework used throughout §§2–4; taken as given from the literature.

pith-pipeline@v1.1.0-grok45 · 27344 in / 2491 out tokens · 40082 ms · 2026-07-13T05:53:50.868515+00:00 · methodology

0 comments
read the original abstract

We prove that Witt K-theory is effective over any perfect field of characteristic $2$ and consequently finish the proof of the Morel structure conjecture initiated by Bachmann.

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

45 extracted references · 12 canonical work pages

  1. [1]

    Hopkins , year=

    Aravind Asok and Tom Bachmann and Michael J. Hopkins , year=. On. 2306.04631 , archivePrefix=

    arXiv

  2. [2]

    Bachmann, Tom , TITLE =. J. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/topo.12032 , URL =

    work page doi:10.1112/topo.12032 2017

  3. [3]

    Bachmann, Tom and Calm\`es, Baptiste and D\'. Milnor-. Mem. Amer. Math. Soc. , FJOURNAL =. 2025 , NUMBER =. doi:10.1090/memo/1572 , URL =

    doi:10.1090/memo/1572 2025

  4. [4]

    Strongly

    Tom Bachmann , year=. Strongly. 2406.11526 , archivePrefix=

    Pith/arXiv arXiv

  5. [5]

    2508.09915 , archivePrefix=

    Tom Bachmann and Elden Elmanto and Matthew Morrow , year=. 2508.09915 , archivePrefix=

    Pith/arXiv arXiv

  6. [6]

    2025 , eprint=

    A motivic spectrum representing hermitian K-theory , author=. 2025 , eprint=

    2025

  7. [7]

    2023 , eprint=

    Milnor-Witt K-theory and Witt K-theory of a field , author=. 2023 , eprint=

    2023

  8. [8]

    Clausen, Dustin and Mathew, Akhil , TITLE =. Invent. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00222-021-01043-3 , URL =

    doi:10.1007/s00222-021-01043-3 2021

  9. [9]

    Colliot-Th\'. The. Algebraic. 1997 , ISBN =. doi:10.1090/fic/016/02 , URL =

    doi:10.1090/fic/016/02 1997

  10. [10]

    2025 , eprint=

    Notes on Milnor-Witt K-theory , author=. 2025 , eprint=

    2025

  11. [11]

    Delzant, Antoine , TITLE =. C. R. Acad. Sci. Paris , FJOURNAL =. 1962 , PAGES =

    1962

  12. [12]

    2008 , PAGES =

    Elman, Richard and Karpenko, Nikita and Merkurjev, Alexander , TITLE =. 2008 , PAGES =. doi:10.1090/coll/056 , URL =

    doi:10.1090/coll/056 2008

  13. [13]

    2026 , eprint=

    Motivic cohomology of equicharacteristic schemes , author=. 2026 , eprint=

    2026

  14. [14]

    Garkusha, Grigory and Panin, Ivan , TITLE =. Camb. J. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.4310/CJM.2020.v8.n1.a1 , URL =

    work page doi:10.4310/cjm.2020.v8.n1.a1 2020

  15. [15]

    Geisser, Thomas and Levine, Marc , TITLE =. Invent. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002220050014 , URL =

    work page doi:10.1007/s002220050014 2000

  16. [16]

    Gille, Stefan and Scully, Stephen and Zhong, Changlong , TITLE =. Adv. Math. , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.aim.2015.09.014 , URL =

    work page doi:10.1016/j.aim.2015.09.014 2016

  17. [17]

    Publications Math\'ematiques de l'IH\'ES , pages =

    Grothendieck, Alexander , title =. Publications Math\'ematiques de l'IH\'ES , pages =. 1966 , publisher =. doi:10.1007/BF02684343 , zbl =

    doi:10.1007/bf02684343 1966

  18. [18]

    Hoyois, Marc , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2014 , NUMBER =. doi:10.2140/agt.2014.14.3603 , URL =

    doi:10.2140/agt.2014.14.3603 2014

  19. [19]

    Hoyois, Marc , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1515/crelle-2013-0038 , URL =

    doi:10.1515/crelle-2013-0038 2015

  20. [20]

    Topology , FJOURNAL =

    Hornbostel, Jens , TITLE =. Topology , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.top.2004.10.004 , URL =

    work page doi:10.1016/j.top.2004.10.004 2005

  21. [21]

    , TITLE =

    Izhboldin, O. , TITLE =. Algebraic. 1991 , ISBN =

    1991

  22. [22]

    Kato, Kazuya , TITLE =. Invent. Math. , FJOURNAL =. 1982 , NUMBER =. doi:10.1007/BF01389226 , URL =

    work page doi:10.1007/bf01389226 1982

  23. [23]

    Kerz, Moritz , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S1056-3911-09-00514-1 , URL =

    work page doi:10.1090/s1056-3911-09-00514-1 2010

  24. [24]

    Hermitian K -theory and Milnor-Witt motivic cohomology over

    Håkon Kolderup and Oliver Röndigs and Paul Arne Østvær , year=. Hermitian K -theory and Milnor-Witt motivic cohomology over. 2509.16404 , archivePrefix=

    arXiv

  25. [25]

    Lam, T. Y. , TITLE =. 2005 , PAGES =. doi:10.1090/gsm/067 , URL =

    doi:10.1090/gsm/067 2005

  26. [26]

    Levine, Marc , TITLE =. J. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.1112/jtopol/jtm004 , URL =

    doi:10.1112/jtopol/jtm004 2008

  27. [27]

    2002 , PAGES =

    Liu, Qing , TITLE =. 2002 , PAGES =

    2002

  28. [28]

    2008 , PAGES =

    Lorenz, Falko , TITLE =. 2008 , PAGES =

    2008

  29. [29]

    Lurie, Jacob , TITLE =

  30. [30]

    2009 , PAGES =

    Lurie, Jacob , TITLE =. 2009 , PAGES =. doi:10.1515/9781400830558 , URL =

    doi:10.1515/9781400830558 2009

  31. [31]

    Milnor, John , TITLE =. Invent. Math. , FJOURNAL =. 1970 , PAGES =. doi:10.1007/BF01425486 , URL =

    work page doi:10.1007/bf01425486 1970

  32. [32]

    Prospects in mathematics (

    Milnor, John , TITLE =. Prospects in mathematics (. 1971 , MRCLASS =

    1971

  33. [33]

    Contemporary developments in algebraic

    Morel, Fabien , TITLE =. Contemporary developments in algebraic. 2004 , ISBN =

    2004

  34. [34]

    Axiomatic, enriched and motivic homotopy theory , SERIES =

    Morel, Fabien , TITLE =. Axiomatic, enriched and motivic homotopy theory , SERIES =. 2004 , ISBN =. doi:10.1007/978-94-007-0948-5\ _ 7 , URL =

    work page doi:10.1007/978-94-007-0948-5 2004

  35. [35]

    K -Theory , FJOURNAL =

    Morel, Fabien , TITLE =. K -Theory , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s10977-005-1562-7 , URL =

    doi:10.1007/s10977-005-1562-7 2005

  36. [36]

    2012 , PAGES =

    Morel, Fabien , TITLE =. 2012 , PAGES =. doi:10.1007/978-3-642-29514-0 , URL =

    doi:10.1007/978-3-642-29514-0 2012

  37. [37]

    Nesterenko and Andrei A

    Yuri P. Nesterenko and Andrei A. Suslin , TITLE =. Math. USSR-Izv. , YEAR =. doi:10.1070 / IM1990v034n01ABEH000610 , URL =

  38. [38]

    Ojanguren, Manuel and Panin, Ivan , TITLE =. Ann. Sci. \'. 1999 , NUMBER =. doi:10.1016/S0012-9593(99)80009-3 , URL =

    work page doi:10.1016/s0012-9593(99)80009-3 1999

  39. [39]

    and Vishik, A

    Orlov, D. and Vishik, A. and Voevodsky, V. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2007 , NUMBER =. doi:10.4007/annals.2007.165.1 , URL =

    doi:10.4007/annals.2007.165.1 2007

  40. [40]

    Slices of hermitian

    R\". Slices of hermitian. Geom. Topol. , FJOURNAL =. 2016 , NUMBER =. doi:10.2140/gt.2016.20.1157 , URL =

    work page doi:10.2140/gt.2016.20.1157 2016

  41. [41]

    Spitzweck, Markus and stv r, Paul Arne , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2012 , NUMBER =. doi:10.2140/agt.2012.12.565 , URL =

    doi:10.2140/agt.2012.12.565 2012

  42. [42]

    K -Theory , FJOURNAL =

    Totaro, Burt , TITLE =. K -Theory , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF01771011 , URL =

    work page doi:10.1007/bf01771011 1992

  43. [43]

    Motives, polylogarithms and

    Voevodsky, Vladimir , TITLE =. Motives, polylogarithms and. 2002 , ISBN =

    2002

  44. [44]

    2006 , PAGES =

    Mazza, Carlo and Voevodsky, Vladimir and Weibel, Charles , TITLE =. 2006 , PAGES =

    2006

  45. [45]

    The Stacks Project , URL =

    The. The Stacks Project , URL =