{"id":"f8686230-1cc4-4eaf-92bb-4c8ff933771e","arxiv_id":"1909.02328","paper_version":5,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Convolution, duality, and twist morphisms relate etale cohomology of local shtuka moduli spaces, yielding new proofs of the Kottwitz conjecture for GL_3 minuscule weights and GL_2 cuspidal parameters, plus counterexamples in non-minuscule cases.","lead":"This mathematics paper creates new geometric maps between moduli spaces of local shtukas, spaces that package p-adic vector bundles, and uses them to compare the cohomology of different spaces. The results prove new cases of the Kottwitz conjecture for GL_2 and GL_3 and identify corrections needed when the weight is not minuscule.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 7.6(4) promotes a derived-category sum to individual isomorphisms via Proposition 6.2; that compatibility is not fully justified and could hide a contragredient twist.","rationale":"The paper's central claim is conditional on a long chain of very recent v-stack cohomology results. I checked the logical structure: Theorem 2 is Corollary 7.7, which is reduced to Theorem 7.6; the only case requiring real work beyond known results is (4), and there Proposition 5.1 plus Lemma 5.3 give a sum rather than individual summands. The stated separation uses Proposition 6.2. The proof of Proposition 6.2 is a diagrammatic compatibility statement; no explicit verification is given that the involution is compatible with the chain of adjunctions in Lemma 5.3, including the identification pi_{iota(b)}|_iota is isomorphic to pi_b^* from Lemma 7.5. This is exactly the step where a sign or dual twist would change the final representation from pi_b boxtimes (r_{mu2} circ phi) to pi_b^* boxtimes (r_{mu2} circ phi). I am not asserting this happens; I am asserting that it is unverified. The finiteness and stratification issues identified by the reader are also real, but they affect the existence of the convolution formula, which is more upstream and less likely to alter the final formula; the separation step is the one that could turn a correct-looking sum into an incorrect individual claim. Therefore the reader's CONDITIONAL verdict is appropriate; my concern does not force a verdict change but sharpens the verification target.","tokens_in":23091,"tokens_out":15958,"duration_ms":167136,"concrete_test":"Re-derive the compatibility in Proposition 6.2 at the level of RHom after Lemma 5.3: explicitly compute the action of theta_b on RHom_{J_{iota(b)}(F)}(RGamma_c(Sht^{mu1}_{b,1}) tensor RGamma_c(Sht^{mu1}_{1,iota(b)}) tensor_{G(F)} Q_l, pi_{iota(b)}) by tracing theta through the adjunction and the isomorphisms from Theorem 7.6(2). Check whether the resulting involution on pi_b boxtimes (phi otimes phi) is id_{pi_b} boxtimes sigma or id_{pi_b^*} boxtimes sigma. If the latter, the separation in Theorem 7.6(4) yields the contragredient statement and Corollary 7.7 needs a twist correction. Alternatively, verify the commuting diagram in Proposition 6.2 after base change to Spd C_p^flat, using the known compatibility of the geometric Satake equivalence with the Chevalley involution and the commutativity constraint.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The decisive step is not the convolution formula itself, but the upgrade from a sum in the Grothendieck group to individual isomorphisms in Theorem 7.6(4). Proposition 5.1 and Lemma 5.3 only yield an equality of the form (V^{mu2})* tensor RHom(Sht^{mu2}, pi) plus (V^{mu1,1})* tensor RHom(Sht^{mu1,1}, pi), and this is identified with pi_b boxtimes ((r_{mu2} circ phi) oplus (r_{mu1,1} circ phi)). To split this sum, the paper invokes Proposition 6.2, which asserts that the morphism Psi_{b,mu} is compatible with the duality involution theta_b on the source and the permutation sigma on V_mu tensor V_mu. The proof of Proposition 6.2 is a single diagrammatic paragraph; it does not spell out how theta_b acts after applying RHom_{J_{iota(b)}(F)}(-, pi_{iota(b)}) and then Lemma 5.3. If the induced involution on pi_b boxtimes (phi otimes phi) is not literally id_{pi_b} boxtimes sigma, for example if a contragredient pi_b^* appears through Lemma 7.5, then the +1 eigenspace isolates pi_b^* boxtimes (r_{mu2} circ phi), not the claimed pi_b boxtimes (r_{mu2} circ phi). Since this is the only place where a derived-category sum is promoted to an isomorphism, the GL_3 minuscule result depends on this compatibility being exactly as asserted.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops convolution, duality, and twist morphisms between moduli spaces of mixed characteristic local shtukas and uses them to relate the étale cohomology of different moduli spaces. The main structural result is a convolution formula (Proposition 5.1 and Corollary 5.2) expressing a sum of cohomology groups over intermediate σ-conjugacy classes in terms of geometric Satake data. The paper then applies this formalism to prove new cases of the Kottwitz conjecture: for all inner forms of GL₃ with minuscule cocharacters and discrete local L-parameters (Theorem 2 / Corollary 7.7), and for GL₂ in several non-minuscule cases, including a counterexample to the non-minuscule generalization when the L-parameter is not cuspidal. A Harris–Viehmann-type statement is also shown to fail outside Hodge–Newton reducibility. The methods rely on the Fargues–Scholze v-stack cohomology package and on earlier work of Dat, Gaisin–Imai, and Scholze–Weinstein, with several new compatibility and fiber computations supplied in the text.","tokens_in":23341,"tokens_out":5291,"duration_ms":55663,"significance":"If the central arguments are correct, the paper establishes the Kottwitz conjecture in genuinely new settings—notably all inner forms of GL₃ for minuscule μ—and, perhaps more strikingly, produces explicit failures of the conjecture in non-minuscule cuspidal-free cases, thereby refining the expectations in Fargues's geometrization program and in Hansen–Kaletha–Weinstein. The paper is also methodical: it introduces useful convolution and duality morphisms for local shtuka spaces that are likely to be of independent value, and it does not assume the Kottwitz conjecture as an input. The derivation of the main formula from geometric Satake, with no fitted parameters, is a substantial strength. However, the proof as written contains a small number of load-bearing steps that are summarized rather than fully derived; these need to be completed before the advertised theorems can be regarded as established.","major_comments":[{"comment":"The decisive step of the proof is the separation of the two summands in the displayed equality after the application of Proposition 5.1 and Lemma 5.3. The text says only: \"Using Proposition 6.2, we can separate the above equality to obtain the claim.\" This is the only point where a derived-category sum is promoted to individual isomorphisms, and it is precisely where a hidden contragredient twist or an extra scalar could change the conclusion. Please provide a complete derivation of the induced involution on the object R Hom_{J_{ι(b)}(F)}(RΓ_c(Sht^{μ1}_{b,1}) ⊗ RΓ_c(Sht^{μ1}_{1,ι(b)}) ⊗^L_{GL_n(F)} Q_ℓ, π_{ι(b)}) after Lemma 5.3, and identify explicitly the +1 eigenspace. Without this computation, Corollary 7.7 is not verifiable.","section":"§7, proof of Theorem 7.6(4)"},{"comment":"The proof of Proposition 6.2 is a single diagrammatic paragraph asserting that the displayed diagram is compatible with involutions. It does not spell out how the duality involution θ_b acts after applying R Hom_{J_{ι(b)}(F)}(-, π_{ι(b)}), nor does it show that the identification via Lemma 5.3 intertwines θ_b-induced and σ-induced involutions with the factor id_{π_b}. Since Proposition 6.2 is the load-bearing compatibility that makes Theorem 7.6(4) work, the proof should be expanded into a formal argument, or the statement should be restricted to the precise compatibility needed and proved there.","section":"§6, Proposition 6.2"},{"comment":"The finiteness of the index set I^{μ•}_{b0,bm} and the stratification of Sht^{μ•}_{b0,bm} are justified by Lemma 2.6, but Lemma 2.6 is stated under the hypothesis that b' is basic. Proposition 5.1 is stated for arbitrary b0 and bm, and the proof applies Lemma 2.6 to intermediate elements b_i that need not be basic. If a non-basic form of Lemma 2.6 is intended, it should be stated and proved; otherwise the statement of Proposition 5.1 should be restricted to the cases where the required basicity is available, and the consequences for Theorem 1 and its later uses should be reassessed.","section":"§5, Proposition 5.1 and Lemma 2.6"},{"comment":"Several computations in the inductive formulas are asserted without derivation. For example, in the proof of Proposition 8.2 the equality \"the fiber of the natural morphism Sht^{(1,0)}_{b1,b} → Sht^{(1,0)}_{T,b1,b} is isomorphic to B^{φ=...}\" is used to compute an R Hom, and in Proposition 8.4 the reduction to Corollary 7.7 is stated in a single sentence after a display. These fiber computations are load-bearing for Theorem 3 and for the claimed counterexamples. Please supply the missing computations or give precise references to the explicit Hecke-stack descriptions in [GI16], [Han16], or [FS21] where they are derived.","section":"§8, Proposition 8.2 and Proposition 8.4"}],"minor_comments":[{"comment":"There are several typographical errors: \"shtuka s\" in the abstract, \"isomorphim\" in the paragraph after (2.1), and \"ultilt\" in §4. These should be corrected.","section":"Abstract and §2"},{"comment":"The proof refers to \"[Dat07, Tho´ er` eme A]\" and \"[Dat07, Tho´ er` eme 4.1.2]\" with inconsistent accents; the reference formatting should be normalized.","section":"§7, proof of Theorem 7.6"},{"comment":"The cartesian diagrams defining i1, j1, i2, j2 are visually confusing: the placement of the diagonal morphism from Spd Ě to the ambient product is hard to read, and the subscript Δ2 appears to be attached ambiguously. Replacing the diagrams with a precise description of the subdiamonds would improve readability.","section":"§6, diagram preceding Proposition 6.2"},{"comment":"The notation R• Hom and R•Γ c is used interchangeably with R Hom and RΓ c without comment; since these are used in graded and derived settings, a sentence fixing the conventions would avoid ambiguity.","section":"Notation, §8"},{"comment":"The reference [Han16] is listed as a preprint without an arXiv identifier or year of the current version; if it has appeared or been updated, the citation should be completed.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is clearly within the scope of a serious number theory journal and the main results are substantial. My reservations concern the unstated completeness of the proof of Proposition 6.2 and the consequent splitting step in Theorem 7.6(4), as well as the overreach of Proposition 5.1 relative to Lemma 2.6. These are fixable within the manuscript's framework, but they are load-bearing and should be resolved before publication. I did not find evidence of circularity: the Kottwitz conjecture is not assumed, and the use of the author's own earlier papers is confined to technical lemmas."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: this is a real research paper, not a survey. It defines convolution, duality, and twist morphisms for mixed-characteristic local shtukas, proves a cohomological convolution formula, and uses it to prove the Kottwitz conjecture for all inner forms of GL_3 with minuscule cocharacters and for GL_2 with cuspidal parameters. It also produces explicit counterexamples in non-minuscule, non-cuspidal cases. If the proofs hold, that is substantial progress. Hansen's later preprint handles cuspidal parameters for GL_n; Imai's discrete-parameter cases are genuinely new.\n\nThe paper earns credit for structure. Proposition 5.1 is a natural consequence of geometric Satake plus proper base change, and Section 8 gives concrete inductive formulas and a worked counterexample. I found no circularity: the Kottwitz conjecture is not assumed, and self-citations are used only for technical lemmas. The text is honest about where it depends on recent machinery.\n\nThe soft spots are proportional. The whole package rests on the Fargues-Scholze solid-sheaf v-stack formalism, including Lemma 2.6 from Caraiani-Scholze for finiteness and stratification. The stress-test concern about Proposition 6.2 is fair: the proof of the compatibility with the duality involution is one diagrammatic paragraph, and the separation of summands in Theorem 7.6(4) is summarized rather than fully derived. That said, I did not find a concrete failure. If a contragredient twist were hiding there, it would likely show up already in Lemma 7.5, which handles the duality involution on representations. The step is terse and deserves referee scrutiny, but it is not obviously wrong.\n\nThe audience is arithmetic geometers and people working on the local Langlands program. The paper is worth a serious referee: the claims are important, the proofs are mostly detailed, and the remaining checks are technical but doable. I would send it to an expert who can verify the Fargues-Scholze inputs and the Proposition 6.2 compatibility. It should not be desk rejected.","headline":"Serious preprint that proves new cases of the Kottwitz conjecture and gives explicit counterexamples; the argument is transparent in structure, rests on heavy Fargues-Scholze machinery, and deserves expert refereeing.","tokens_in":23960,"tokens_out":1293,"would_cite":true,"duration_ms":14653,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F70","14G35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes the Kottwitz conjecture for all inner forms of GL3 with minuscule cocharacters, by comparing étale cohomology of local shtuka spaces.","keywords":["Kottwitz conjecture","local shtukas","étale cohomology","local Langlands correspondence","geometric Satake equivalence","inner forms of GL_n","Rapoport-Zink spaces","Harris-Viehmann conjecture"],"falsifier":"Compute both sides of the isomorphism in Theorem 7.6(4) for $n=3$: take basic $b,b'$ with $\\kappa(b)=1$, $\\kappa(b')\\equiv -1 \\pmod 3$, the minuscule cocharacter $\\mu=(1,1,0)$, and a discrete L-parameter $\\varphi$. If the $R\\Hom$ complex is not the predicted $J_b(F)\\times W_F$ representation, the theorem is false.","tokens_in":22799,"feed_emoji":"🧮","tokens_out":13406,"duration_ms":124474,"temperature":0.7,"pith_summary":"This paper builds a way to compare étale cohomology of different moduli spaces of mixed characteristic local shtukas, using convolution, duality, and twist morphisms, and applies it to the Kottwitz conjecture. Its central positive result is that the derived version of the conjecture holds for all inner forms of $GL_3$ with minuscule cocharacters and discrete local Langlands parameters: the relevant $R\\Hom$ complex is the predicted representation $\\pi_b \\boxtimes (r_\\mu \\circ \\varphi)$ of $J_b(F) \\times W_F$. For $GL_2$ the same machinery gives inductive formulas, proving the conjecture for cuspidal parameters and for non-quasi-split inner forms, and producing genuine counterexamples when the parameter is non-cuspidal and the cocharacter is non-minuscule. These cases matter because they test the geometric bridge between p-adic geometry and local Langlands and show exactly where the unmodified conjecture breaks.","feed_headline":"Kottwitz conjecture proved for all inner forms of GL3 minuscule cases","feed_subtitle":"It proves new cases, including GL3 minuscule, and finds counterexamples for non-cuspidal parameters.","key_machinery":"The central object is the family of moduli spaces $Sht^{\\mu_\\bullet}_{b,b'}$ of mixed characteristic local shtukas, together with three morphisms between them. The convolution morphism composes successive modifications of $G$-bundles along the legs, and it reduces the cohomology of one shtuka space to a sum, over intermediate $\\sigma$-conjugacy classes, of tensor products of cohomologies of simpler shtuka spaces, with coefficients $V^\\lambda_{\\mu_\\bullet}$ supplied by the geometric Satake equivalence. The duality morphism, coming from a standard duality involution relating representations to contragredients, separates the summands corresponding to different $\\lambda$; the twist morphism by central cocharacters handles central-character bookkeeping. The decomposition is stated as Proposition 5.1, and the compatibility of the duality involution with the geometric Satake commutativity constraint is Proposition 6.2.","core_discovery":"Conjecture 7.3 of the paper—a derived, representation-valued strengthening of the Kottwitz conjecture for moduli spaces of mixed characteristic local shtukas—is true in the cases covered by Theorem 7.6, and in particular for every inner form of $GL_n$ with $n \\le 3$ and minuscule $\\mu$. For basic $b,b'$, a discrete local L-parameter $\\varphi$ with Langlands correspondents $\\pi_b$ and $\\pi_{b'}$, the statement is $$R\\Hom_{J_{b'}(F)}(R\\Gamma_c(Sht^\\mu_{b,b'}), \\pi_{b'}) \\simeq \\pi_b \\boxtimes (r_\\mu \\circ \\varphi)$$ as representations of $J_b(F) \\times W_F$. For $GL_2$, the weaker numerical Conjecture 7.2 holds whenever the L-parameter is cuspidal or the group is not quasi-split, while for non-cuspidal parameters and non-minuscule $\\mu$ the unmodified conjecture fails; the failure terms are invisible to traces on regular elliptic elements, so they are compatible with the earlier weak Kottwitz results. The paper also shows that a naive non-minuscule generalization of the Harris–Viehmann conjecture fails in Hodge–Newton irreducible cases.","pith_inferences":["A natural next step is to test whether the same convolution decomposition yields an inductive proof for higher-rank minuscule cases; because the intermediate strata are automatically non-basic, the non-basic theory built here would be essential.","The $GL_2$ failure terms are invisible to traces on regular elliptic elements, which suggests that the correct non-minuscule formulation may need a modified $r_\\mu$ rather than the usual one.","The failure of the Harris–Viehmann generalization in Hodge–Newton irreducible examples suggests that Hodge–Newton reducibility is not merely a convenient hypothesis but may be necessary for support statements about local shtuka cohomology."],"forward_implications":["For every inner form of $GL_3$, every basic $b$, every minuscule $\\mu$, and every discrete L-parameter $\\varphi$, Conjecture 7.3 holds exactly as stated.","The proof uses moduli spaces for non-minuscule cocharacters even in minuscule statements, so non-basic intermediate contributions cannot be avoided in these cases.","For $GL_2$, Conjecture 7.2 holds for all cuspidal L-parameters and all non-quasi-split inner forms, and the inductive formulas make the remaining cases computable.","The unmodified Kottwitz conjecture fails in general for non-minuscule cocharacters with non-cuspidal L-parameters, and the error terms have zero trace on regular elliptic elements.","A naive non-minuscule generalization of the Harris–Viehmann conjecture fails in Hodge–Newton irreducible examples."],"supporting_citations":[{"why":"Supplies the solid-sheaf v-stack cohomology formalism, the functors $f_\\natural$, and the geometric Satake equivalence used throughout.","marker":"[FS21]"},{"why":"Defines moduli spaces of mixed characteristic local shtukas and establishes the basic geometry of the Fargues–Fontaine curve used to construct them.","marker":"[SW20]"},{"why":"Provides the cited Proposition 3.5.3 that controls which intermediate sigma-conjugacy classes can contribute, giving finiteness of the stratification.","marker":"[CS17]"},{"why":"Supplies the Lubin–Tate non-abelian theory and the base cases for the Kottwitz computation, plus the theorem that certain error terms vanish on regular elliptic elements.","marker":"[Dat07]"},{"why":"Gives the computation of the unipotent-radical contribution used in Lemma 2.7 and the Hodge–Newton framework for non-semi-stable loci.","marker":"[GI16]"},{"why":"Provides the earlier weak Kottwitz conjecture for local shtuka spaces, which the present paper's error terms are shown to be compatible with.","marker":"[HKW17]"},{"why":"Supplies the duality involution and its relation to contragredients, used to construct the duality morphism and Lemma 7.5.","marker":"[Pra19]"},{"why":"Provides the Gelfand–Kazhdan theorem used in Lemma 7.5 to identify contragredients under the duality involution.","marker":"[BZ76]"}],"fun_headline_variants":["Kottwitz conjecture proven for GL3 minuscule, GL2 cuspidal","New cases of Kottwitz proven; counterexamples for GL2 non-cuspidal","GL3 minuscule proven, GL2 cuspidal, counterexamples found","Kottwitz proved for GL3 minuscule, fails for non-cuspidal params"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the cohomology theory for these moduli spaces has the same base-change, finiteness, and stratification behavior as ordinary étale cohomology; a gap in any of those properties would break the GL3 minuscule result.","fun_headline_variants_meta":{"raw":{"variants":["Kottwitz conjecture proven for GL3 minuscule, GL2 cuspidal","New cases of Kottwitz proven; counterexamples for GL2 non-cuspidal","GL3 minuscule proven, GL2 cuspidal, counterexamples found","Kottwitz proved for GL3 minuscule, fails for non-cuspidal params"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001029,"raw_usage":{"total_tokens":4380,"prompt_tokens":1031,"completion_tokens":3349,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":647,"completion_tokens_details":{"reasoning_tokens":3257}},"tokens_in":647,"tokens_out":3349,"duration_ms":23009,"temperature":1.0,"reasoning_tokens":3257,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:53:32.481494+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both sides of the isomorphism in Theorem 7.6(4) for $n=3$: take basic $b,b'$ with $\\kappa(b)=1$, $\\kappa(b')\\equiv -1 \\pmod 3$, the minuscule cocharacter $\\mu=(1,1,0)$, and a discrete L-parameter $\\varphi$. If the $R\\Hom$ complex is not the predicted $J_b(F)\\times W_F$ representation, the theorem is false.","supporting_citations":[],"review_version":1}