{"id":"ae9532af-f7a5-4493-8081-8d1c7c93c789","arxiv_id":"2508.00064","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Duality for KH-theory modules in motivic homotopy theory is proven over all quasi-excellent characteristic zero schemes, with G-theory as dualizing object.","lead":"This mathematics paper proves a duality theorem for modules over a spectrum called KH-theory, using G-theory as the dualizing object. The result covers all quasi-excellent schemes in characteristic zero and could change how algebraic K-theory dualities are organized.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified from the available text; the claimed duality cannot be checked because the full proof is unreadable, and the abstract alone does not reveal a concrete mathematical flaw.","rationale":"The reader's UNVERDICTED verdict is appropriate because the full text is unreadable and the mathematical argument cannot be checked. My stress test does not uncover a concrete mathematical error: the assertion is plausible and sits naturally in the motivic homotopy framework, but no proof text is legible to confirm or refute it. The reader's weakest assumption concerns hidden technical conditions on quasi-excellent schemes; that is a legitimate verification requirement, but it is not a demonstrated flaw. I therefore do not elevate it to a load-bearing objection, and I keep the reader's verdict unchanged. The single most valuable next step is to inspect a clean version of the manuscript with attention to the descent and localization steps used for KH-modules over singular quasi-excellent bases.","tokens_in":15460,"tokens_out":3002,"duration_ms":33113,"concrete_test":"Obtain the uncorrupted source of arXiv:2508.00064 and locate the main theorem's proof. Then check specifically whether the proof of the duality invokes cdh descent or a localization sequence for KH on arbitrary quasi-excellent characteristic-zero schemes; if such invocations are not justified by cited references or are only proved for schemes of finite type over a field, the claimed universal base is unsupported. Also verify the explicit construction of the G-theory dualizing object and the unit and counit maps of the duality.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing mathematical concern can be established from the submitted material. The full text is mojibake and contains an embedded header from arXiv:2508.00067, so the theorem's proof, definitions, and hypotheses are inaccessible. The central claim is a universal statement over quasi-excellent characteristic-zero schemes; proving it would require (i) a KH-module category with a closed symmetric monoidal structure over such bases, (ii) localization and descent properties for KH, likely involving cdh descent and a localization sequence relating KH to G-theory, and (iii) identification of G-theory as a dualizing object. Each of these is plausible in outline, but their detailed verification over arbitrary singular quasi-excellent schemes is where a hidden failure could live. Since none of (i)-(iii) can be inspected from the provided text, there is no basis to either accept or reject the central claim on mathematical grounds. This is an unverifiability finding, not an identified flaw.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":15613,"tokens_out":3689,"duration_ms":34745,"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":[{"comment":"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.","section":"Full text (as supplied)"},{"comment":"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.","section":"Abstract"}],"minor_comments":[{"comment":"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.","section":"Abstract"},{"comment":"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.","section":"Abstract"},{"comment":"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.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"To the editor: The uploaded source is severely corrupted and includes text from a different arXiv paper (2508.00067), which strongly suggests an erroneous submission. I recommend returning the paper to the authors to request a clean resubmission before any technical evaluation. I found no concrete mathematical flaw in the abstract, but the proof is wholly inaccessible, so an 'uncertain' verdict is the only honest recommendation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The one thing you should know: the abstract is the only readable part of this submission. It states a precise, plausible theorem—duality on modules over KH-theory in the stable motivic homotopy category, with G-theory as the dualizing object, over any quasi-excellent characteristic-zero scheme. The full text is corrupted beyond use, and it even contains an embedded arXiv header from 2508.00067, an astro-ph paper. That is a serious submission defect, not a mathematical flaw, but it makes any substantive review impossible.\n\nWhat is genuinely good here: the theorem statement is broad and clean. If the proof goes through, this would be a natural structural result for singular schemes, and the abstract suggests no curve-fitting or manufactured machinery. The choice of G-theory as a dualizing object over KH-modules is the kind of statement that fits the existing motivic framework—KH has cdh descent properties and localization, and G-theory is the standard dualizing candidate. I see no red flag in the abstract itself.\n\nThe soft spots are entirely on the submission side, but they are load-bearing. I cannot check hypotheses, the closed symmetric monoidal structure on KH-modules, the localization/descent step, or the comparison to prior work—the bibliography is also unreadable. The embedded foreign header suggests a corrupted arXiv build; the authors should be asked to resubmit a clean source.\n\nWho is this for? Readers in motivic homotopy theory and algebraic K-theory who care about duality phenomena on singular schemes. The statement is interesting enough to warrant referee time, but only after the manuscript is physically readable. My recommendation: ask the authors for a readable version, then send it to a serious referee. Do not desk-reject the theorem on the merits; desk-reject this corrupted file and invite a resubmission.","headline":"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.","tokens_in":16135,"tokens_out":1833,"would_cite":false,"duration_ms":19844,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19E08","14F42","55P42"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["KH-theory","G-theory","KGL-modules","stable motivic homotopy category","duality","quasi-excellent schemes","homotopy algebraic K-theory"],"falsifier":"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.","tokens_in":15260,"feed_emoji":"🔄","tokens_out":9104,"duration_ms":87286,"temperature":0.7,"pith_summary":"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.","feed_headline":"Every KH-module has a dual via G-theory","feed_subtitle":"Over all quasi-excellent schemes of characteristic zero, the duality extends K-theory to singular varieties.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[],"fun_headline_variants":["KH-modules dualize via G-theory over quasi-excellent schemes","G-theory is the dualizing object for KH-modules","Duality for KH-modules: G-theory acts as dual","Every KH-module has a G-theory dual","Motivic duality for KH-modules with G-theory"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["KH-modules dualize via G-theory over quasi-excellent schemes","G-theory is the dualizing object for KH-modules","Duality for KH-modules: G-theory acts as dual","Every KH-module has a G-theory dual","Motivic duality for KH-modules with G-theory"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00017,"raw_usage":{"total_tokens":1134,"prompt_tokens":675,"completion_tokens":459,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":291,"completion_tokens_details":{"reasoning_tokens":372}},"tokens_in":291,"tokens_out":459,"duration_ms":4202,"temperature":1.0,"reasoning_tokens":372,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T10:23:01.602873+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}