{"id":"52ed67be-abb8-4746-a079-562b8847bf42","arxiv_id":"1908.05452","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves that the nth alternating power of the group scheme α_{p^n} is isomorphic to α_p over a perfect field of odd characteristic p, and it develops the surrounding tensor theory.","lead":"This paper develops a multilinear algebra for commutative group schemes, including inner Homs, tensor products, and symmetric and alternating powers, with explicit computations over fields of characteristic p. A reader might care because it supplies algebraic tools for studying finite flat group schemes, which are central in arithmetic geometry and p-adic Hodge theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop. 3.17's induction silently assumes every local-local group scheme of order p^n>1 has a proper subgroup scheme; this unsupported step is load-bearing for Prop. 3.26.","rationale":"The reader's conditional verdict is reasonable and identifies both the reliance on Pink's unpublished manuscript and the unproved proper-subgroup premise. I focus on the latter because it is the point where the paper's own proof has an argumentative gap: an assertion with no proof or reference inside a key induction that directly supports Prop. 3.26. The claim is likely true by standard structure theory of local-local group schemes, so this is not a reason to reject the mathematics, but it is a reason the paper cannot currently be considered fully verified. I do not see an internal inconsistency or a counterexample; the explicit Hopf-algebra computations in Prop. 2.24–2.29 are credible and the diagram in Prop. 3.26 is coherent once Prop. 3.17 and Lemma 3.25 are available. The dependence on Pink's unpublished manuscript is a second real concern, but it is external and explicitly flagged in the text. The missing subgroup lemma is internal and should be fixed. Hence the verdict stays conditional, unchanged from the reader.","tokens_in":31259,"tokens_out":18751,"duration_ms":192153,"concrete_test":"Verify the missing structural lemma: prove that every finite local-local commutative group scheme of order p^n>1 over a field of odd characteristic contains a subgroup scheme of order p (or at least a proper nonzero subgroup scheme). A direct route is Dieudonné theory over the perfect closure: every nonzero finite local-local group scheme corresponds to a finite module over k[F,V] with F,V nilpotent, which contains a nonzero element killed by F and V, giving a subgroup α_p; alternatively check Oort's classification. If the lemma holds, insert it before Prop. 3.17; if a counterexample exists for non-perfect fields, restrict Prop. 3.17 to perfect fields or replace the induction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central computation Λ^n α_{p^n} ≅ α_p (Prop. 3.26) is obtained by combining Prop. 3.17, Lemmas 3.21 and 3.25. The proof of Prop. 3.17 is an induction on n over local-local group schemes of order p^n. After the base n=1 it says: 'Take a proper subgroup scheme G′ of G' and uses |G| = |G′|·|G′′| to write n = n′ + n′′ with n′, n′′ < n, then applies the induction hypothesis to G′ and G′′. No proof or citation is given that a nontrivial local-local group scheme of order p^n, n>1, contains a proper subgroup scheme; the same proof also asserts without support that every subgroup of a local-local group scheme is local-local. If some order-p^n local-local group scheme had no nontrivial proper subgroup, the induction cannot start, and both parts of Prop. 3.17, hence the epimorphism α_p^{⊗n} → Λ^n α_{p^n} needed in Prop. 3.26, would be unsupported. The gap is internal: it is not supplied by the cited Pink manuscript, and the paper leaves it as an asserted fact rather than a lemma.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a multilinear algebra formalism for commutative group schemes: inner Hom, multilinear morphism schemes, tensor products, symmetric powers, and alternating powers. The first half establishes adjunction-type isomorphisms for multilinear morphisms and computes explicit examples over fields of characteristic p, including Hom(α_{p^n}, α_{p^m}) and Mult(α_{p^{n_1}}×⋯×α_{p^{n_r}}, G_a). The second half proves structural results about alternating powers, including a short exact sequence analogue of tensor products (Theorem 3.16), and culminates in Proposition 3.26: over a perfect field k of odd characteristic p, Λ^n α_{p^n} ≅ α_p for every n ≥ 1.","tokens_in":31504,"tokens_out":7163,"duration_ms":62174,"significance":"If the gaps are repaired, this would be a useful contribution: it gives a systematic treatment of multilinear constructions for commutative group schemes, with explicit, checkable Hopf-algebra computations, and it establishes a striking analogue of exterior powers over finite local-local group schemes. The explicit formulas for Hom(α_{p^n}, α_{p^m}) and the alternating-power calculation Λ^n α_{p^n} ≅ α_p are concrete and likely to be of independent interest. However, the main theorem currently depends on an unproved structural assertion about local-local group schemes, and the foundational objects are quoted from an unpublished manuscript, so the paper is not yet self-contained enough for the claims as they stand.","major_comments":[{"comment":"The induction step asserts without proof that every local-local commutative group scheme of order p^n with n > 1 contains a proper subgroup scheme G′, and that every subgroup (and quotient) of a local-local group scheme is local-local. This is load-bearing: part (b) of Proposition 3.17, and hence the epimorphism α_p^{⊗n} → Λ^n α_{p^n} used in Proposition 3.26, rely on this induction. Please either prove the existence of such G′ (e.g., via the kernel of Frobenius or Verschiebung) or supply a published reference; as written, the induction cannot start for n > 1.","section":"Proposition 3.17, proof (p. 40)"},{"comment":"The proof invokes the lemma being proved: 'We can therefore apply Lemma 3.14, so there is a multilinear morphism…'. This is circular. The intended reference appears to be Lemma 3.13, which gives the factorization through π when the restriction to G′ is zero. Also, the sentence 'by Lemma 3.13 φ′ is also alternating' should likely cite Lemma 3.11 instead. Because Lemma 3.14 is used in Theorem 3.16(a) and hence in Propositions 3.17 and 3.26, these citations must be corrected before the proof becomes valid.","section":"Lemma 3.14, proof (p. 36)"},{"comment":"The existence of inner Hom, tensor products, and symmetric and alternating powers is quoted from Pink's unpublished notes [6, Theorems 3.10 and 4.3]. Since [6] is listed as 'in preparation' and is not publicly accessible, the paper's foundational objects are not independently verifiable. The author should either include complete statements (or proofs) of the quoted results or arrange for the cited manuscript to be made available; otherwise the main results are conditional on an inaccessible source.","section":"Section 3, foundational results quoted from [6]"}],"minor_comments":[{"comment":"Proposition 2.14 duplicates Proposition 2.12 verbatim; if a different statement was intended (e.g., the underlined version), please provide it, otherwise remove the duplicate.","section":"Proposition 2.14 (p. 13)"},{"comment":"In the displayed formula near the end of the proof, the term s^{p^{n_1}} should be s^{p^{i_1}}; the exponent must match the summation index i_1.","section":"Proof of Proposition 2.27 (p. 22)"},{"comment":"In addition to the incorrect internal references, the line 'by Lemma 3.13 φ′ is also alternating' should probably refer to Lemma 3.11, which establishes that precomposing with an epimorphism preserves the alternating property. Please check all lemma citations in this proof.","section":"Proof of Lemma 3.14 (p. 36)"},{"comment":"The line 'Hom(Λ^n α_{p^n}, G_a) ≅ G_a(k) = k' conflates the group scheme Hom with its k-points; the notation should distinguish the scheme from its value at k, e.g., by writing Hom(Λ^n α_{p^n}, G_a)(k) ≅ k.","section":"Proof of Proposition 3.26 (p. 49)"},{"comment":"There are numerous typographical issues, including 'Qr' instead of 'Q' in the proof of Proposition 2.3, inconsistent spacing in 'G1...,G r,H 1...,H s', and broken hyphenation. A careful proofreading pass is recommended.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper's heavy reliance on Pink's unpublished notes [6] is a genuine concern for public verification; the editor may wish to ask the author to arrange access to the cited manuscript or to include the needed statements. The duplicate Proposition 2.14 and the circular citation in Lemma 3.14 should be straightforward to correct. The central result is interesting, but the gap in Proposition 3.17 is load-bearing and must be addressed before the paper can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the explicit computations and the structural result Λ^n α_{p^n} ≅ α_p are the real content here, and they look right; the main weakness is a load-bearing unproved assertion about subgroup existence in Prop 3.17. The framework is Pink's, and the paper acknowledges that.\n\nWhat is actually new: the explicit Hopf algebra calculations in Section 2 — Hom(α_{p^n}, α_{p^m}), Mult for products of α_{p^{n_i}} into G_a, and the Sym/Alt formulas for G_a — are clean and self-contained, and I checked a couple of them line by line. They give concrete instances of Pink's inner Hom formalism for non-reduced finite group schemes, which is useful. Proposition 3.26 (Λ^n α_{p^n} ≅ α_p over perfect odd-characteristic fields) is a nice structural payoff; the proof strategy via Verschiebung and Lemma 3.21 is sensible.\n\nWhere it gets soft. Proposition 3.17 is the key step for the main theorem. The induction needs to split a local-local group scheme of order p^n (n>1) by a proper subgroup scheme, and also uses that every subgroup of a local-local is local-local. Both facts are asserted without proof or citation. The subgroup-existence fact is probably true (it follows from Dieudonné theory or from existence of order-p subgroup schemes in finite connected group schemes), but the paper does not show it, and the assertion is not in Pink's notes as far as the text says. As written, the induction cannot start for n>1. This gap is internal to the paper, not just a missing reference, and it propagates to Prop 3.26 because that proof uses the epimorphism α_p^{⊗n} → Λ^n α_{p^n} from Prop 3.17. A referee should insist on a lemma here — or at least a precise citation.\n\nSecond, the foundational objects (inner Hom, tensor product, Sym/Alt) come from Pink's unpublished manuscript [6]. That is not a flaw by itself, but it does mean the paper's foundations are not publicly checkable. Combined with the duplicated Prop 2.14 (same statement as Prop 2.12) and the self-citation in Lemma 3.14's proof (should be Lemma 3.13), the manuscript reads as a polished but not final draft.\n\nThe direct tensor calculations for α_p (Examples 3.9 and 3.10) are good, and the fact that tensor product does not commute with base change is honestly flagged.\n\nBottom line: this is the kind of paper I would send to a referee with a request to fix the Prop 3.17 gap and check the subgroup assertions. The computations alone justify the time.","headline":"Useful explicit tensor computations for finite group schemes, with the main structural result Λ^n α_{p^n} ≅ α_p likely true but resting on an unproved subgroup-existence assertion in Prop 3.17.","tokens_in":32018,"tokens_out":3561,"would_cite":true,"duration_ms":37398,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14L15","14L17"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes a multilinear algebra for commutative group schemes and proves that over a perfect field of odd characteristic p, the nth alternating power Λ^n α_{p^n} is isomorphic to α_p for every n ≥ 1.","keywords":["commutative group schemes","multilinear morphisms","tensor product","symmetric powers","alternating powers","local-local group schemes","Verschiebung","characteristic p"],"falsifier":"One could compute the order of $\\Lambda^n\\alpha_{p^n}$ directly, for instance from its Dieudonné module or by classifying alternating multilinear maps $\\alpha_{p^n}^n\\to H$: if the order is not $p$, or if the Verschiebung on $\\Lambda^n\\alpha_{p^n}$ is nonzero, Proposition 3.26 is false. Alternatively, finding a local-local group scheme of order $p^n$ with $n>1$ that has no proper subgroup scheme would break the induction behind Proposition 3.17.","tokens_in":31067,"feed_emoji":"🧮","tokens_out":11856,"duration_ms":100168,"temperature":0.7,"pith_summary":"This paper develops a multilinear algebra for commutative group schemes, constructing inner Hom, tensor products, and symmetric and alternating powers as pro-finite group schemes over a field. It computes these objects explicitly for the infinitesimal groups $\\alpha_{p^n}$: for example, $\\mathrm{Hom}(\\alpha_{p^n},\\alpha_{p^m})$ is a power of $\\mathbb{G}_a$ or a mixed product of $\\alpha$'s and $\\mathbb{G}_a$'s, and $\\mathrm{Alt}(\\alpha_{p^n}^r,\\mathbb{G}_a)\\cong \\mathbb{G}_a^{\\binom{n}{r}}$ when $p>2$. The central result is that over a perfect field of odd characteristic $p$, the $n$-th alternating power satisfies $\\Lambda^n\\alpha_{p^n}\\cong\\alpha_p$, and more generally any local-local group scheme of order $p^n$ has $\\Lambda^m G=0$ for $m>n$ and $\\Lambda^n G$ a quotient of $\\alpha_p^{\\otimes n}$. A sympathetic reader would care because this provides a concrete, computable tensor calculus for finite group schemes in characteristic $p$, where the exponent $n$ plays the role of the length of a module.","feed_headline":"The nth alternating power of α_{p^n} is α_p","feed_subtitle":"A tensor calculus for finite group schemes predicts vanishing above degree n and quotients built from α_p.","key_machinery":"Three constructions carry the argument. The inner Hom $\\underline{\\mathrm{Hom}}(G,H)$ represents $T\\mapsto\\mathrm{Hom}_T(G_T,H_T)$; the tensor product $G_1\\otimes\\cdots\\otimes G_n$ represents multilinear morphisms, with $\\mathrm{Hom}(G_1\\otimes\\cdots\\otimes G_n,H)\\cong\\mathrm{Mult}(G_1\\times\\cdots\\times G_n,H)$; and the symmetric and alternating powers $S^nG$, $\\Lambda^nG$ represent $\\mathrm{Sym}(G^n,H)$ and $\\mathrm{Alt}(G^n,H)$. Their existence over a field is taken from an unpublished manuscript, Theorems 3.10 and 4.3 of [6], which gives pro-finite group schemes and the description $G_1\\otimes\\cdots\\otimes G_n\\cong\\varprojlim G_\\alpha^*$ with $G_\\alpha$ running over the finite subgroup schemes of $\\mathrm{Mult}(G_1\\times\\cdots\\times G_n,\\mathbb{G}_m)$. For the main theorem the decisive mechanism is the Verschiebung, the endomorphism dual to Frobenius, on the pro-finite dual of $\\mathbb{G}_a$: the short exact sequence $G_a^{*(p)}\\to G_a^*\\to\\alpha_p\\to0$ (Lemma 3.21), together with Lemma 3.25 showing that the Verschiebung annihilates $\\Lambda^n\\alpha_{p^n}$, forces $\\Lambda^n\\alpha_{p^n}$ to be a quotient of $\\alpha_p$, and since $\\alpha_p$ is simple, an isomorphism.","core_discovery":"The paper's central claim is that alternating powers of infinitesimal commutative group schemes are controlled by the order exponent. Concretely, Proposition 3.26 asserts that if $k$ is a perfect field of odd characteristic $p$, then for every $n\\ge 1$ there is an isomorphism $\\Lambda^n\\alpha_{p^n}\\cong\\alpha_p$, where $\\Lambda^n$ is defined by the universal property $\\mathrm{Alt}(G^n,H)\\cong\\mathrm{Hom}(\\Lambda^n G,H)$. The supporting structural result is Proposition 3.17: for any local-local commutative group scheme $G$ of order $p^n$ with $p$ odd, $\\Lambda^m G=0$ for all $m>n$ and $\\Lambda^n G$ is a quotient of $\\alpha_p^{\\otimes n}$. Along the way the paper establishes an adjunction for multilinear morphisms, $\\mathrm{Mult}(G_1\\times\\cdots\\times G_r,\\mathrm{Mult}(H_1\\times\\cdots\\times H_s,F))\\cong\\mathrm{Mult}(G_1\\times\\cdots\\times G_r\\times H_1\\times\\cdots\\times H_s,F)$, and explicit formulas such as $\\mathrm{Sym}(\\alpha_{p^n}^r,\\mathbb{G}_a)\\cong\\mathbb{G}_a^{\\binom{n+r-1}{r-1}}$ and $\\mathrm{Alt}(\\alpha_{p^n}^r,\\mathbb{G}_a)\\cong\\mathbb{G}_a^{\\binom{n}{r}}$ for $p>2$.","pith_inferences":["If the main theorem is right, the alternating power functor gives each local-local group scheme of order $p^n$ a canonical 'top exterior power' map to $\\alpha_p$, which could serve as a determinant-like invariant; one could test whether it is compatible with Cartier duality or with composition of group schemes.","Because the tensor product is shown not to commute with arbitrary base change, the isomorphism $\\Lambda^n\\alpha_{p^n}\\cong\\alpha_p$ should be viewed as field-specific; a natural extension is to compute $\\Lambda^n\\alpha_{p^n}$ over non-perfect fields or over rings, where the conclusion may fail.","The vanishing pattern $\\Lambda^mG=0$ for $m>n$ mirrors exterior powers of a length-$n$ module, so a Dieudonné-module interpretation is plausible: under the usual correspondence, $\\Lambda^nG$ should correspond to the $n$-th exterior power of the Dieudonné module; checking this would give a computational route and explain the quotient-by-$\\alpha_p$ structure.","The unproved proper-subgroup premise is likely derivable from the Dieudonné module classification of local-local group schemes; supplying that proof would remove the main gap in the induction."],"forward_implications":["For every local-local group scheme $G$ of order $p^n$ with $p$ odd, $\\Lambda^mG=0$ for $m>n$: alternating powers vanish above the order exponent.","The top alternating power $\\Lambda^nG$ is always a quotient of $\\alpha_p^{\\otimes n}$, so it is built from the simplest infinitesimal group scheme.","For direct sums of local-local group schemes of orders $p^n$ and $p^m$, $\\Lambda^{n+m}(G\\oplus H)\\cong\\Lambda^nG\\otimes\\Lambda^mH$.","The specific calculation $\\Lambda^n\\alpha_{p^n}\\cong\\alpha_p$ gives a family of nonzero alternating powers of unbounded degree, all isomorphic to the same small group scheme $\\alpha_p$.","Multilinear morphisms to $\\mathbb{G}_a$ have explicit dimensions: $\\mathrm{Sym}(\\alpha_{p^n}^r,\\mathbb{G}_a)\\cong\\mathbb{G}_a^{\\binom{n+r-1}{r-1}}$ and $\\mathrm{Alt}(\\alpha_{p^n}^r,\\mathbb{G}_a)\\cong\\mathbb{G}_a^{\\binom{n}{r}}$ for $p>2$."],"supporting_citations":[{"why":"Supplies Theorem 3.10, the existence and affineness/finite-type properties of the inner Hom, which the whole paper uses whenever Hom is written.","marker":"[6]"},{"why":"Supplies Theorem 4.3, the existence of the tensor product and its description as an inverse limit of Cartier duals; the core construction of Section 3.","marker":"[6]"},{"why":"Provides the classification of prime-order group schemes used to construct the non-flat Hom example and to identify α_p with its dual.","marker":"[5]"}],"fun_headline_variants":["Λ^n α_{p^n} = α_p: tensor powers of group schemes","Alternating powers of α_{p^n} collapse to α_p","Group scheme tensors: vanish above degree n, yield α_p","Exponent governs alternating powers of α_{p^n}","Multilinear morphisms give Λ^n α_{p^n} ≅ α_p"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes without justification that every local-local commutative group scheme of order $p^n$ with $n>1$ contains a proper subgroup scheme, and it relies on an unpublished manuscript [6] for the existence of inner Hom and tensor products; if either premise fails, Proposition 3.17 and the main calculation do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Λ^n α_{p^n} = α_p: tensor powers of group schemes","Alternating powers of α_{p^n} collapse to α_p","Group scheme tensors: vanish above degree n, yield α_p","Exponent governs alternating powers of α_{p^n}","Multilinear morphisms give Λ^n α_{p^n} ≅ α_p"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000254,"raw_usage":{"total_tokens":1524,"prompt_tokens":858,"completion_tokens":666,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":474,"completion_tokens_details":{"reasoning_tokens":571}},"tokens_in":474,"tokens_out":666,"duration_ms":5943,"temperature":1.0,"reasoning_tokens":571,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:13:55.878583+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One could compute the order of $\\Lambda^n\\alpha_{p^n}$ directly, for instance from its Dieudonné module or by classifying alternating multilinear maps $\\alpha_{p^n}^n\\to H$: if the order is not $p$, or if the Verschiebung on $\\Lambda^n\\alpha_{p^n}$ is nonzero, Proposition 3.26 is false. Alternatively, finding a local-local group scheme of order $p^n$ with $n>1$ that has no proper subgroup scheme would break the induction behind Proposition 3.17.","supporting_citations":[{"cited_title":"Pink, Multilinear theory of commutative group schemes, in preparation","cited_arxiv_id":null,"evidence_quote":"Supplies Theorem 3.10, the existence and affineness/finite-type properties of the inner Hom, which the whole paper uses whenever Hom is written."},{"cited_title":"Pink, Multilinear theory of commutative group schemes, in preparation","cited_arxiv_id":null,"evidence_quote":"Supplies Theorem 4.3, the existence of the tensor product and its description as an inverse limit of Cartier duals; the core construction of Section 3."},{"cited_title":"Oort and J","cited_arxiv_id":null,"evidence_quote":"Provides the classification of prime-order group schemes used to construct the non-flat Hom example and to identify α_p with its dual."}],"review_version":1}