Pith. sign in

REVIEW 2 major objections 3 minor 22 references

Duality for KGL-modules in motivic homotopy theory

T0 review · 2 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read The paper proves that, over every quasi-excellent scheme of characteristic zero, KH-theory modules in the stable motivic homotopy category carry a duality whose dualizing object is G-theory.

desk verdict The abstract states a clean, plausible duality theorem for KH-modules with G-theory dualizing, but the supplied full text is mojibake and contains an embedded header from another arXiv paper, so no proof is inspectable in this version. read the letter →

arxiv 2508.00064 v1 pith:6Y46IUV5 submitted 2025-07-31 math.KT math.AG

Christian Dahlhausen , Jeroen Hekking , Storm Wolters This is my paper · ORCID
classification math.KTmath.AG MSC 19E0814F4255P42
keywords KH-theoryG-theoryKGL-modulesstablemotivichomotopycategorydualityquasi-excellentschemesalgebraicK-theory
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 establishes a duality on the category of modules over KH-theory in the stable motivic homotopy category, for every quasi-excellent scheme of characteristic zero. The dualizing object is G-theory, the algebraic K-theory of coherent sheaves, which agrees with KH-theory on regular schemes but is the better-behaved invariant on singular ones. The duality gives a canonical contravariant "dual module" construction that returns to the original module up to natural equivalence, making KH-theory and G-theory two poles of a single self-dual structure. A sympathetic reader should care because it extends a Grothendieck-style local duality from derived categories of sheaves to the motivic homotopy category, where it can support transfers, trace maps, and duality statements on singular varieties.

What carries the argument

The load-bearing construction is the duality functor $\mathbb{D}(M)=\underline{\operatorname{Hom}}_{KGL}(M,G)$ on the module category of the motivic spectrum $KGL$, where $G$ stands for the G-theory spectrum and the internal Hom is taken in the stable motivic homotopy category. $KH$-theory is homotopy algebraic K-theory, represented by $KGL$; $G$-theory is the K-theory of coherent sheaves. The paper's content is the proof that $\mathbb{D}$ is a duality: applying it twice recovers the original module up to natural isomorphism, so $G$ plays the role for $KGL$-modules that a dualizing complex plays for coherent sheaves.

What would settle it

Calculate $\mathbb{D}(\mathbb{D}(KGL))$ in the KH-module category over a singular quasi-excellent characteristic-zero scheme, such as a cuspidal curve over $\mathbb{Q}$; a failure of natural isomorphism with $KGL$ would falsify the claimed duality.

Watch

Extended reading notes

Core claim

Over any quasi-excellent scheme of characteristic zero, the paper proves that the category of modules over the motivic spectrum $KGL$ — the object representing $KH$-theory in the stable motivic homotopy category — carries a contravariant duality. The dual of a module $M$ is formed by mapping $M$ internally into the G-theory spectrum, and this operation is an involution up to natural isomorphism. G-theory, not ordinary K-theory, is therefore the dualizing object of the theory, and the statement covers singular schemes, where G-theory and K-theory genuinely differ.

Load-bearing premise

The proof depends on the stable motivic homotopy category over every quasi-excellent characteristic-zero scheme being strong enough for KH-modules to satisfy the localization and descent identities it invokes; if a singular quasi-excellent scheme breaks those identities, the duality statement would not follow.

Editorial extensions

If this is right

  • On regular quasi-excellent schemes, where G-theory coincides with K-theory, the duality specializes to a self-duality of KH-theory modules.
  • Every KH-module gains a well-defined dual object, so constructions such as K-theoretic duality and trace pairings on singular schemes can be formulated inside the module category.
  • The duality passes through the localization long exact sequence relating KH-theory of an open subscheme and G-theory of its closed complement, controlling how the invariants behave under open-closed decompositions and blow-ups.
  • Because G-theory is the dualizing object, schemes with equivalent KH-module categories will carry matched dualities, making the result a structural invariant that connects singular and regular geometry.
  • If the internal-Hom duality is compatible with the six-functor formalism of motivic homotopy theory, it supplies a canonical interface between KH-theory and G-theory along which further descent properties can be proved.

Reading between the lines

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

  • An extension the paper leaves implicit: if the duality is compatible with the six-functor formalism, it yields a nondegenerate trace pairing between KH-theory and G-theory on any quasi-excellent characteristic-zero scheme, a motivic version of Grothendieck–Serre duality.
  • A testable corollary of the same structure is that on singular curves the dual of the KH-module of the curve should compute the G-theory of its normalization and boundary in a way that recovers conductor-type formulas; explicit examples could be checked directly.
  • The characteristic-zero assumption suggests a boundary of validity: over positive characteristic, altered localization or descent behavior would likely force a weaker statement, and testing whether the duality survives modulo $p$ would indicate how essential the hypothesis is.
  • The statement that G-theory is the dualizing object may also have a purely categorical reading: KH-module duality is controlled by the coherent-sheaf K-theory spectrum, so any future model of singular schemes in motivic homotopy theory should reproduce the same dualizing object to have the same duality.
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.

Referee Report

2 major / 3 minor

Summary. The manuscript (arXiv:2508.00064) states a duality theorem: over any quasi-excellent scheme of characteristic zero, the category of modules over KH-theory in the stable motivic homotopy category admits a duality whose dualizing object is G-theory. The full text supplied to the referee is corrupted: the body is mojibake and includes a header from an unrelated arXiv submission (2508.00067, astro-ph.GA). Only the abstract is legible, so the proof, definitions, and technical hypotheses cannot be inspected. This report therefore can assess only the abstract and must flag the corruption as an obstacle to verification.

Significance. If the theorem is correct, it is a substantial contribution: it would give a canonical duality on KH-module categories with G-theory as the dualizing object for all quasi-excellent characteristic-zero schemes, including singular ones, and it would unify and extend existing duality statements in motivic homotopy theory. The claim is ambitious and falsifiable, and the abstract involves no free parameters or fabricated entities. However, because the proof is not accessible, the significance cannot be confirmed beyond plausibility; the statement depends on substantial motivic machinery (e.g., KH-module categories, localization/descent properties, identification of G-theory as dualizing) that the abstract does not describe.

major comments (2)
  1. [Full text (as supplied)] The body of the manuscript is unreadable: it consists of corrupted characters and includes an embedded header 'arXiv:2508.00067v1 [astro-ph.GA] 31 Jul 2025' from an unrelated astrophysics paper. This prevents the referee from checking the proof, definitions, and technical hypotheses, so the submitted material does not support the claimed theorem. The authors must provide a clean, correctly converted version of the paper.
  2. [Abstract] The abstract asserts the theorem for 'any quasi-excellent scheme of characteristic zero' but does not state the technical conditions needed for the proof, such as a closed symmetric monoidal structure on the KH-module category over such bases, descent or localization properties for KH (e.g., cdh descent), and the precise definition of 'dualizing object' and of the duality itself. These are load-bearing because the duality may fail if any of these properties fails for singular schemes; without the full text, the statement is not formally verifiable.
minor comments (3)
  1. [Abstract] The term 'modules over KH-theory' is not defined; presumably it means module objects over the motivic spectrum KH in the stable motivic homotopy category, but this should be stated explicitly.
  2. [Abstract] The phrase 'duality statement' is imprecise: does it assert a contravariant self-equivalence of the module category, an anti-equivalence to some other category, or a duality with respect to the dualizing object G-theory? Please specify the exact categorical statement in the abstract.
  3. [Abstract] The role of the characteristic-zero hypothesis is not indicated; a sentence on where it is used (e.g., resolution of singularities or cdh descent) would help orient the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identified: the only legible content is the abstract, and the proof text is unreadable mojibake, so no derivation step can be exhibited as reducing to its own input.

full rationale

The submitted full text is almost entirely unreadable mojibake, and it contains an embedded header for a different paper, arXiv:2508.00067v1 [astro-ph.GA], in the middle of the math.KT manuscript. That inserted header is an indication of text corruption rather than a mathematical assertion; it does not itself claim a limitation or a circular step. The only legible mathematical content is the abstract: "We prove a duality statement on modules over KH-theory in the stable motivic homotopy category whose dualizing object is given by G-theory, over any quasi-excellent scheme of characteristic zero." No equations, definitions, theorem statements, or proof steps are readable, so there is no way to exhibit the kind of concrete reduction required for a circularity finding: no fitted parameter renamed as a prediction, no self-definitional identification of the dualizing object with the input, and no load-bearing self-citation chain that can be inspected. The absence of a readable derivation is an unverifiability problem, not evidence of circularity. Under the hard rule that circularity may be claimed only when the paper can be quoted and the specific reduction exhibited, the honest finding is that no significant circularity is identifiable from the available text.

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

No free parameters or invented entities are evident in the abstract. The theorem rests on the domain assumptions of motivic homotopy theory and the quasi-excellent characteristic zero base class. The proof itself is unavailable, so deeper axioms could not be audited.

assumptions (3)
  • domain assumption Quasi-excellent characteristic zero schemes form the base class.
    The theorem is stated only for this class of schemes, and the proof must use their structural properties such as resolution or alteration behavior.
  • domain assumption The stable motivic homotopy category contains KH-theory and G-theory as spectra with module and dualizing structures.
    The duality is formulated inside the stable motivic homotopy category, so this background framework is inherited from prior literature.
  • standard math Standard duality formalism for the motivic stable category is valid.
    The notion of a dualizing object and the duality statement presuppose the usual six-functor or tensor-triangulated formalism of motivic homotopy theory.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Duality for KGL-modules in motivic homotopy theory." pith.science (2026). https://pith.science/paper/6Y46IUV5

@misc{pith2026250800064,
  author       = {Pith},
  title        = {Pith review of: Duality for KGL-modules in motivic homotopy theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6Y46IUV5}},
  note         = {Machine review of arXiv:2508.00064}
}
read the original abstract

We prove a duality statement on modules over KH-theory in the stable motivic homotopy category whose dualizing object is given by G-theory, over any quasi-excellent scheme of characteristic zero.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 19 canonical work pages

  1. [1]

    (I, II) , Ast\' e risque (2007), no

    Joseph Ayoub, Les six op\' e rations de G rothendieck et le formalisme des cycles \' e vanescents dans le monde motivique. (I, II) , Ast\' e risque (2007), no. 314, 315

    work page 2007

  2. [2]

    Mikhail Bondarko and Fr\'ed\'eric D\'eglise, Dimensional homotopy t-structures in motivic homotopy theory, Adv. Math. 311 (2017), 91--189

    work page 2017

  3. [3]

    Denis-Charles Cisinski and Fr\'ed\'eric D\'eglise, Integral mixed motives in equal characteristic, Doc. Math. (2015), 145--194

    work page 2015

  4. [4]

    Denis-Charles Cisinski and Fr\' e d\' e ric D\' e glise, Triangulated categories of mixed motives, Springer Monographs in Mathematics, Springer, Cham, 2019

    work page 2019

  5. [5]

    Denis-Charles Cisinski, Descente par \'eclatements en K -th\'eorie invariante par homotopie , Ann. of Math. (2) 177 (2013), no. 2, 425--448

    work page 2013

  6. [6]

    Khan, Fundamental classes in motivic homotopy theory, Journal of the European Mathematical Society 23 (2021), no

    Fr \'e d \'e ric D \'e glise, Fangzhou Jin, and Adeel A. Khan, Fundamental classes in motivic homotopy theory, Journal of the European Mathematical Society 23 (2021), no. 12, 3935--3993

    work page 2021

  7. [7]

    Elden Elmanto, Marc Hoyois, Ryomei Iwasa, and Shane Kelly, Cdh descent, cdarc descent, and M ilnor excision , Math. Ann. 379 (2021), no. 3-4, 1011--1045

    work page 2021

  8. [8]

    Khan, Vladimir Sosnilo, and Maria Yakerson, Modules over algebraic cobordism, Forum Math

    Elden Elmanto, Marc Hoyois, Adeel A. Khan, Vladimir Sosnilo, and Maria Yakerson, Modules over algebraic cobordism, Forum Math. Pi 8 (2020), e14, 44

    work page 2020

Show all 22 references
  1. [9]

    Khan, Perfection in motivic homotopy theory, Proc

    Elden Elmanto and Adeel A. Khan, Perfection in motivic homotopy theory, Proc. Lond. Math. Soc. (3) 120 (2020), no. 1, 28--38

    2020

  2. [10]

    Martin Gallauer, An introduction to six-functor formalisms, 2021, http://arXiv.org/abs/2112.10456v1 arXiv:2112.10456v1

    2021 arXiv

  3. [11]

    Pure Appl

    Ofer Gabber and Shane Kelly, Points in algebraic geometry, J. Pure Appl. Algebra 219 (2015), no. 10, 4667--4680

    2015

  4. [12]

    Fangzhou Jin, Algebraic G -theory in motivic homotopy categories , 2019, http://arXiv.org/abs/1806.03927v3 arXiv:1806.03927v3

    2019 arXiv

  5. [13]

    Khan, Voevodsky's criterion for constructible categories of coefficients, Date: 2021-01-25 (some revisions on 2023-03-17) https://www.preschema.com/papers/six.pdf, 2021

    Adeel A. Khan, Voevodsky's criterion for constructible categories of coefficients, Date: 2021-01-25 (some revisions on 2023-03-17) https://www.preschema.com/papers/six.pdf, 2021

    2021

  6. [14]

    Khan, K-theory and G -theory of derived algebraic stacks , Jpn

    Adeel A. Khan, K-theory and G -theory of derived algebraic stacks , Jpn. J. Math. 17 (2022), no. 1, 1--61

    2022

  7. [15]

    Jacob Lurie, Higher A lgebra , (version dated September 18, 2017) https://www.math.ias.edu/ lurie/papers/HA.pdf, 2017

    2017

  8. [16]

    Yifeng Liu and Weizhe Zheng, Enhanced six operations and base change theorem for higher A rtin stacks , 2024, http://arXiv.org/abs/1211.5948 arXiv:1211.5948

    2024 arXiv

  9. [17]

    Jun-ichi Nishimura, A few examples of local rings, I , Kyoto J. Math. 52 (2012), no. 1, 51--87

    2012

  10. [18]

    Homotopy Relat

    Niko Naumann, Markus Spitzweck, and Paul Arne stv r, Existence and uniqueness of E_ structures on motivic K -theory spectra , J. Homotopy Relat. Struct. 10 (2015), no. 3, 333--346

    2015

  11. [19]

    The Stacks Project Authors , Stacks Project , http://stacks.math.columbia.edu

  12. [20]

    Michael Temkin, Desingularization of quasi-excellent schemes in characteristic zero, Adv. Math. 219 (2008), no. 2, 488--522

    2008

  13. [21]

    Weibel, Homotopy algebraic K -theory , Algebraic K -theory and algebraic number theory ( H onolulu, HI , 1987), Contemp

    Charles A. Weibel, Homotopy algebraic K -theory , Algebraic K -theory and algebraic number theory ( H onolulu, HI , 1987), Contemp. Math., vol. 83, Amer. Math. Soc., Providence, RI, 1989, pp. 461--488

    1987

  14. [22]

    Bogdan Zavyalov, Poincar\'e duality in abstract 6-functor formalisms, 2023, http://arXiv.org/abs/2301.03821v2 arXiv:2301.03821v2

    2023

Pith tools

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