{"id":"ef5fae63-a7ed-4a2b-b1ce-b0c56f6b227d","arxiv_id":"2504.20029","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Milnor K-theory modulo 2 embeds into the Picard group of invertible Morava K-theory motives, with quadrics providing the construction and with Chow motives recoverable from Morava motives in the low-dimensional case.","lead":"This paper constructs an invertible Morava K-theory motive for every element of Milnor K-theory modulo 2, making those elements visible as objects in a motivic category. It also shows that for small quadrics the Morava motive determines the Chow motive, so a simpler object still carries the same information.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 6.1 inherits its base-change control from [GV18] K(n)-RNP and the deferred geometric RNP (App. A); if either carries a hidden hypothesis, the reflection principle in Prop. 3.23/Ex. 3.25, and with it the construction of L_alpha, fails.","rationale":"The reader's weakest_assumption correctly identifies the Rost Nilpotence Property as the load-bearing external input. My independent reading of Sections 2–5 confirms that the reflection of motivic decompositions and isomorphisms from k(Q) back to k is the mechanism that lets the authors reduce every quadric to the pre-stable case and then construct L_alpha from the Pfister part of the generic splitting tower. Without that reflection, the well-definedness of L_alpha independently of the lift q of alpha, the naturality in the base field, and the uniqueness statement in Theorem 6.1 would all be unsupported. I did not find an independent internal inconsistency in the supplied sections, and the auxiliary computations (e.g. Proposition 4.6 via symmetric operations) appear coherent, though they cannot be verified by machine from the text. The paper's conditional verdict is appropriate: the central argument is plausible and detailed, but decisive weight rests on cited and deferred RNP results rather than on proofs fully contained in the preprint. No change to the reader's verdict is needed.","tokens_in":67153,"tokens_out":19306,"duration_ms":213504,"concrete_test":"Verify the exact hypotheses of the cited RNP results: (i) check whether [GV18] proves Rost Nilpotence for algebraic Morava K-theory K(n) at p=2 as a coherent extended oriented theory, for all direct summands of projective homogeneous G-varieties and for arbitrary field extensions including \\bar{k}/k and k(Q)/\\overline{k(Q)}; (ii) inspect Appendix A, Proposition A.1, to confirm that the geometric RNP used in Proposition 3.3 holds for the relative category CM_{K(n)}(X) with no unstated projectivity or algebraically-closed-base condition. If both checks pass, the concern is resolved. If either fails, recompute Proposition 4.3 in a minimal case, e.g. n=2 and a 7-dimensional anisotropic quadric Q with [q] nonzero in I^3/I^4, and test whether a decomposition of M_{K(2)}(Q_{k(Q)}) that splits off an invertible summand lifts to a decomposition over k.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim depends on the reduction principle of Section 3: for a quadric Q of dimension at least 2^{n+1}-1, the base-change functor CM_{K(n)}(k) to CM_{K(n)}(k(Q)) reflects motivic decompositions and isomorphisms of projective homogeneous varieties (Example 3.25). This is justified by Proposition 3.23, whose proof invokes the Rost Nilpotence Property in the strong form required by the Vishik–Yagita lifting conditions: the objects in the class S must satisfy RNP for \\bar{k}/k and for k(Y)/\\overline{k(Y)}. That RNP is not proved in the supplied text; it is cited to [GV18]. The only internal substitute, Corollary 3.8, supplies RNP for A-universally surjective function-field extensions, which does not cover the algebraic closure. Separately, the geometric RNP used to lift splittings and isomorphisms to the generic point (Proposition 3.3) is deferred to Appendix A and is not visible in the supplied portion. If [GV18] has a hidden hypothesis that excludes algebraic Morava K-theory with F_2[v_n,v_n^{-1}] coefficients, or if Appendix A's proof requires an assumption not met by the relative quadrics used here, then Propositions 4.3, 4.14, 5.13, and ultimately the well-definedness, naturality, and injectivity of the transformation in Theorem 6.1 lose their support. This is a reliance-on-external-machinery concern rather than an observed internal inconsistency, but it is the least secure load-bearing input.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a theory of Grothendieck motives for algebraic Morava K-theory K(n) at the prime 2, focusing on quadrics. Its central claim, stated as Theorem 6.1 in the introduction, is that there is a unique injective natural transformation from the functor K^M_{n+1}(-)/2 into the Picard group of invertible K(n)-motives, i.e. every element of Milnor K-theory modulo 2 is realized by an invertible Morava motive, naturally and additively. To achieve this, the authors establish a reduction principle: for a quadric of dimension at least 2^{n+1}-1, base change to its function field reflects motivic decompositions and isomorphisms of projective homogeneous varieties. For quadrics of dimension less than 2^{n+1}-1, they prove that the Chow motive can be reconstructed from the K(n)-motive, using Vishik's symmetric operations on algebraic cobordism. They also study invertible summands, relate them to Kahn's Descent conjecture, and prove one direction of a 'guiding principle' connecting splitting of Morava motives to vanishing of cohomological invariants.","tokens_in":67492,"tokens_out":5799,"duration_ms":59116,"significance":"If correct, the main theorem gives a motivic categorification of Milnor K-theory modulo 2, a genuinely new structural result. The reflection principle for K(n)-motives of quadrics and the Chow-from-Morava reconstruction theorem are significant technical contributions that go beyond previously known results. The paper is also commendable for being largely self-contained in its main arguments: it gives detailed proofs of the reduction to small quadrics, the outer excellent connections, and the reconstruction theorem, and it states explicit conjectures with unconditional cases for n=1,2,3. The connection to cohomological invariants and Kahn's Descent conjecture provides falsifiable predictions. The main reservations concern the reliance on external Rost Nilpotence Property results and the absence of parts of the manuscript from the submitted text.","major_comments":[{"comment":"The supplied text ends in Section 5.4 and does not contain Sections 6–8 or Appendices A–B. The central Theorem 6.1, the construction of L_alpha for general elements of Milnor K-theory, and the geometric Rost Nilpotence Property (Proposition A.1, used in Proposition 3.3) are therefore not available for verification. Because Theorem 6.1 is the paper's main claim and Proposition 3.3 is load-bearing for the reflection principle, the full manuscript must be provided before a complete assessment is possible.","section":"Sections 6–8, Appendices A–B"},{"comment":"The reduction principle used throughout Sections 4–6 depends on the Rost Nilpotence Property for projective homogeneous varieties in the strong form needed for the Vishik–Yagita lifting conditions, including RNP for the algebraic closure \\(\\bar{k}/k\\) and for \\(k(Y)/\\bar{k(Y)}\\). This is cited to [GV18] and not proved in the supplied text. The authors should state explicitly which theorem of [GV18] applies to the mod-2 Morava K-theory K(n) with coefficients F_2[v_n,v_n^{-1}], and confirm that it covers the algebraic closure base change. If [GV18] has hidden hypotheses excluding this case, then Propositions 4.3, 5.13, and ultimately Theorem 6.1 lose their support.","section":"Proposition 3.23, Example 3.25"},{"comment":"The proof of Proposition 1.20, which describes the possible forms of rational isomorphisms between summands of K(n)-motives of quadrics, ends with 'We leave the computational details to the reader' after reducing to a case analysis in M_2x2(F_2). This classification is used in Lemma 4.18 and hence in the proof of Theorem 4.14(2), so the missing case analysis is load-bearing. The authors should provide the complete computation or a reference where it appears.","section":"Proposition 1.20"},{"comment":"The introduction states that the methods of this paper differ from [SS21] and that the authors 'do not rely on [SS21] in our proofs', but Proposition 1.7, which constructs L_alpha for symbols and proves its basic properties, is explicitly cited from [SS21, Prop. 6.2(2)]. Since this is the base case for the general construction in Theorem 6.1, the paper should accurately state what is imported from [SS21] and what is new. The current wording is misleading and should be corrected.","section":"Introduction and Proposition 1.7"}],"minor_comments":[{"comment":"The notation K(n) is used both for the mod-2 Morava K-theory and for the quotient K(n)/(v_n-1), with the remark that the same symbol is kept in Section 5. This is a potential source of confusion; a distinct notation for the quotient would improve readability.","section":"Section 1.2.7"},{"comment":"In the proof of Proposition 4.6, the notation BP(Q) and BP(Q) appears without explicit definition of the latter; the reader should be told that BP(Q) is the quotient of BP(Q) by negative-degree coefficient elements, as introduced in the proof of Lemma 4.5.","section":"Section 4.3.1"},{"comment":"The statement that for n=1 the same argument gives K0/2-universal bijectivity is plausible via the identification K(1) with K0 modulo 2, but this identification should be stated explicitly at that point.","section":"Example 3.17"},{"comment":"The paper relies on several unpubublished results, notably those of Shinder and the second author in Section 2 and the geometric RNP in Appendix A. Please ensure these are clearly marked as such in the published version, and that all permissions/citations are in place.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is technically ambitious and the portions supplied are largely convincing, but the review is hampered by the absence of Sections 6–8 and the appendices, where the main theorem and the geometric RNP are proved. I recommend asking the authors to submit the complete text before a final decision. Also, the reliance on [SS21] and [Se18c], with author overlap, deserves careful editorial scrutiny; the introduction's disclaimer about not relying on [SS21] should be corrected to reflect the actual use of Proposition 1.7."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's what you should know about Lavrenov–Sechin (arXiv:2504.20029). The main theorem is real: for any field k of characteristic 0 and any n, they construct a unique injective natural transformation K^M_{n+1}(-)/2 -> Pic(CM_{K(n)}(-)) of abelian-group-valued functors. So every mod-2 element of Milnor K-theory becomes an invertible Morava motive, additively and naturally in the base field. That is a genuine categorification of Milnor K-theory mod 2, and it is not a repackaging: the Bachmann–Vishik embedding is non-additive and doesn't factor through the I-adic filtration.\n\nThe technical core is also solid. Section 3's reflection principle for base change along function fields of high-dimensional quadrics, using A-universally surjective extensions, is well executed. Example 3.25 is a clean statement that makes the whole machinery work. Theorem 4.14, recovering Chow motivic decompositions from the smaller K(n)-kernel, is substantial and new to me. The proof with Vishik's symmetric operations is detailed and, as far as I can tell, correct.\n\nThe caveats are mostly about verification, not about observed errors. Several foundational inputs come from the authors' own prior work (Proposition 1.7 from [SS21]) or from unpublished joint work with Shinder (Section 2). That is not a flaw, but it makes independent checking harder. More importantly, the strong form of Rost Nilpotence needed for projective homogeneous varieties over algebraic closures and for relative quadrics is cited to [GV18], and the geometric RNP is deferred to Appendix A, which I have not seen in this version. If either of those has a hidden hypothesis excluding algebraic Morava K-theory with F_2[v_n,v_n^{-1}] coefficients, the reduction principle in Example 3.25 loses support, and with it the well-definedness of the L_alpha construction. I found no internal sign of such a problem, but this external input is the least secure load-bearing piece. There are also small annoyances like Proposition 1.20, where computational details are left to the reader.\n\nWho is this for? Anyone working in motives, quadratic forms, or cohomological invariants. The paper also connects to Kahn's descent conjecture and supports a 'guiding principle' about splitting of Morava motives. It deserves a serious referee: send it to an expert who can check the RNP citations and the symmetric operations. If those pass, this is an important paper.","headline":"A serious, novel construction of invertible Morava motives for Milnor K-theory mod 2; the central argument looks sound, with the main risks in external RNP citations and deferred details.","tokens_in":68046,"tokens_out":3506,"would_cite":true,"duration_ms":36377,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14C15","14C25","14F42","11E04","19E15","55N22"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every element of Milnor K-theory mod 2 is realized as an invertible Morava motive.","keywords":["Morava K-theory","motives","quadrics","Milnor K-theory","cohomological invariants","nilpotence principle","Chow motives","invertible motives"],"falsifier":"For $n=1$, take a field $k$ with a non-zero element $\\alpha \\in H^2(k,\\mathbb{Z}/2)$ (for instance a quaternion algebra class) and compute the invertible $K(1)$-motive $L_\\alpha$ constructed from the $K(1)$-motive of the corresponding quadric. If $L_\\alpha$ is isomorphic to the unit motive $\\mathbf{1}$ in $\\mathrm{CM}_{K(1)}(k)$, the injectivity asserted in Theorem 6.1 fails; the paper predicts instead that $L_\\alpha$ is non-trivial and becomes the unit only over fields that split $\\alpha$.","tokens_in":66942,"feed_emoji":"","tokens_out":13895,"duration_ms":114811,"temperature":0.7,"pith_summary":"The paper's central claim is that every element of the Milnor K-theory of a field modulo 2 is realized as an invertible object in the category of Morava K-theory motives: the assignment $\\alpha \\mapsto L_\\alpha$ is an injective, natural, additive transformation $K^M_{n+1}(-)/2 \\to \\mathrm{Pic}(\\mathrm{CM}_{K(n)}(-))$ on field extensions. The construction proceeds through quadrics: one lifts a class to a quadratic form in $I^{n+1}(k)$, studies the $K(n)$-motive of the associated quadric, and extracts the invertible summand $L_\\alpha$. The authors develop a framework showing that Morava motives can look into the generic splitting tower of a quadratic form without changing the base field, and that for quadrics of dimension below $2^{n+1}-1$ the $K(n)$-motive determines the Chow motive. A reader should care because this is a motivic categorification of a classical cohomology group and a new mechanism for attaching cohomological invariants to Chow motives.","feed_headline":"Milnor K-theory mod 2 becomes invertible Morava motives","feed_subtitle":"New invertible motives turn each Milnor K-theory class into a geometric object over the base field.","key_machinery":"The central objects are algebraic Morava K-theory $K(n)$ at the prime 2 and its category of motives $\\mathrm{CM}_{K(n)}(k)$; the key mechanism is the reduction of $K(n)$-motives of high-dimensional quadrics to small ones. A field extension $K/k$ is called $A$-universally surjective when $A(Y) \\to A(Y_K)$ is surjective for all smooth $Y$; for quadrics of dimension at least $2^{n+1}-1$, $k(Q)/k$ is $K(n)$-universally bijective, so the base-change functor reflects motivic decompositions and isomorphisms of projective homogeneous varieties. Combined with the nilpotence principle for correspondences, this lets the authors descend decompositions from the generic splitting tower. For the remaining quadrics of dimension at most $2^{n+1}-2$, Theorem 4.14 uses the unstable symmetric operations on algebraic cobordism to show the $K(n)$-motive carries the same decomposition information as the Chow motive. The invertible motive $L_\\alpha$ is then extracted from the $K(n)$-motive of a Pfister quadric and is characterized by the property that it becomes the unit exactly over fields that split $\\alpha$.","core_discovery":"This paper establishes Theorem 6.1: for a field $k$ of characteristic 0 and each $n$, there exists a unique injective natural transformation $K^M_{n+1}(-)/2 \\to \\mathrm{Pic}(\\mathrm{CM}_{K(n)}(-))$ of functors of abelian groups on the category of field extensions. The value $L_\\alpha$ at $\\alpha$ is constructed as a direct summand of the $K(n)$-motive of a quadric: one lifts $\\alpha$ to a form $q \\in I^{n+1}(k)$, passes to the term of the generic splitting tower where the anisotropic part is a Pfister form, and uses the decomposition of the $K(n)$-motive of a Pfister quadric, which splits off Tate twists of a single non-Tate invertible summand. The assignment is natural in the base field and additive in $\\alpha$, and $L_\\alpha$ becomes isomorphic to the unit motive over a field extension exactly when $\\alpha$ vanishes there.","pith_inferences":["If the construction extends to odd primes and to $\\mathbb{Z}/p^r$ coefficients as the authors expect, the Picard group of Morava motives would become a systematic home for étale cohomology classes of degree $n+1$, not just for mod 2 classes.","The paper's Conjecture 8.14 predicts that any rationally split Chow motive whose lower Morava motives are split must decompose into Tate twists of the invertible motives $L_\\alpha$; if true, every such motive would carry a canonically associated cohomological invariant, turning $K(n)$-motives into a general invariant-detection machine.","Because numerical Morava motives form a semi-simple category, the occurrence of $L_\\alpha$ in a $K(n)$-motive can in principle be verified by computing $K(n)_{\\mathrm{num}}$ over $k$ and over $k(\\alpha)$, which suggests concrete calculations of motivic measures on the Grothendieck ring of varieties."],"forward_implications":["Each element of $K^M_{n+1}(k)/2$, equivalently of $H^{n+1}_{\\mathrm{ét}}(k,\\mathbb{Z}/2)$, is realized by an invertible Morava motive, giving cohomology classes concrete geometric incarnations and embedding Milnor K-theory mod 2 into the Picard group of $K(n)$-motives.","For quadrics of dimension at least $2^{n+1}-1$, the function field extension $k(Q)/k$ is $K(n)$-universally bijective, so studying the $K(n)$-motive of $Q$ reduces to the corresponding $K(n)$-kernel form of dimension below $2^{n+1}$.","For quadrics of dimension below $2^{n+1}-1$, direct summands of the $K(n)$-kernel motive are in bijection with direct summands of the Chow motive, and isomorphisms between $K(n)$-summands lift to Chow isomorphisms up to Tate twists (Theorem 4.14).","Over a splitting field $k(\\alpha)$, an indecomposable summand of a $K(n)$-motive either stays indecomposable or splits into two isomorphic copies; isomorphisms over $k(\\alpha)$ either already hold over $k$ or hold after tensoring with $L_\\alpha$ (Theorem 5.13, Proposition 5.28).","The kernel of the base-change map $\\mathrm{Pic}(\\mathrm{CM}_{K(n)}(k)) \\to \\mathrm{Pic}(\\mathrm{CM}_{K(n)}(k(\\alpha)))$ is $\\mathbb{Z}/2$ generated by $L_\\alpha$, and the occurrence of $L_\\alpha$ in a $K(n)$-motive can be detected by counting Tate summands over $k$ and over $k(\\alpha)$."],"supporting_citations":[{"why":"Provides the K(n)-specialization of Pfister-quadric motives and the basic splitting criterion used to define L_alpha.","marker":"[SS21]"},{"why":"Proves the Milnor-conjecture isomorphisms identifying $I^{n+1}/I^{n+2}$ with $K^M_{n+1}/2$, which let one lift classes to quadratic forms.","marker":"[OVV07]"},{"why":"Proves the nilpotence principle for oriented cohomology theories, justifying descent of motivic decompositions from function fields to k.","marker":"[GV18]"},{"why":"Provides the specialization framework for Chow motives to arbitrary oriented theories, used to lift projectors and isomorphisms.","marker":"[VY07]"},{"why":"Introduces the unstable symmetric operations whose traces are the key computational tool in Theorem 4.14.","marker":"[Vi16]"},{"why":"Gives the Chow motivic decomposition types and outer connections used to compare K(n)- and Chow decompositions.","marker":"[Vi04]"},{"why":"Computes rational projectors in K(n)-motives of quadrics, defining the kernel summand $\\tilde{M}_{K(n)}(Q)$.","marker":"[GLPS24a]"},{"why":"Proves that below dimension $2^n-1$, K(n)-motive endomorphisms agree with Chow endomorphisms.","marker":"[Se18c]"},{"why":"Constructs the special indecomposable motive of a Pfister quadric whose K(n)-specialization provides the non-Tate invertible summand L_alpha.","marker":"[Ro98]"}],"fun_headline_variants":["Milnor K-theory classes become invertible Morava motives","Categorifying Milnor K-theory via invertible Morava motives","Quadrics give invertible Morava motives from Milnor K-theory","Invertible Morava motives from Milnor K-theory mod 2"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction's load-bearing premise is the nilpotence principle for Morava motives of projective homogeneous varieties: if a correspondence vanishes after base change to a function field, it must be nilpotent over the base field, and without this the liftings of decompositions and isomorphisms from $k(Q)$ back to $k$ used in Propositions 3.25, 4.3, and Theorem 5.13 would fail.","fun_headline_variants_meta":{"raw":{"variants":["Milnor K-theory classes become invertible Morava motives","Categorifying Milnor K-theory via invertible Morava motives","Quadrics give invertible Morava motives from Milnor K-theory","Invertible Morava motives from Milnor K-theory mod 2"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000531,"raw_usage":{"total_tokens":2633,"prompt_tokens":1097,"completion_tokens":1536,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":713,"completion_tokens_details":{"reasoning_tokens":1458}},"tokens_in":713,"tokens_out":1536,"duration_ms":10098,"temperature":1.0,"reasoning_tokens":1458,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:36:48.501381+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $n=1$, take a field $k$ with a non-zero element $\\alpha \\in H^2(k,\\mathbb{Z}/2)$ (for instance a quaternion algebra class) and compute the invertible $K(1)$-motive $L_\\alpha$ constructed from the $K(1)$-motive of the corresponding quadric. If $L_\\alpha$ is isomorphic to the unit motive $\\mathbf{1}$ in $\\mathrm{CM}_{K(1)}(k)$, the injectivity asserted in Theorem 6.1 fails; the paper predicts instead that $L_\\alpha$ is non-trivial and becomes the unit only over fields that split $\\alpha$.","supporting_citations":[],"review_version":1}