{"id":"5d6367b5-1472-4feb-b566-ad27411120f0","arxiv_id":"2507.04122","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Frobenius-Hecke trace on the cohomology of two-slope Newton strata of compact unitary Kottwitz varieties is expressed as an explicit finite sum over type I and type II automorphic representations.","lead":"This paper derives explicit formulas for Frobenius and Hecke operator traces on the cohomology of certain subvarieties, called Newton strata, inside unitary Shimura varieties. The formulas express these traces through automorphic representations and explicit polynomials, extending known results for the basic stratum to intermediate two-slope strata.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 6.1 applies Theorem 2 of Kret [18] to conclude contributing local representations are semi-stable rigid, but the hypotheses of that basic-stratum theorem are not verified for the two-slope stratum; if it does not apply, the type I/II summation is unjustified.","rationale":"The central claim is a plausible extension of Kret's basic-stratum result, and the local trace reductions in §3–§5 appear coherent: Proposition 3.4's Iwahori-fixed conclusion follows from Corollary 3.1, and the equality (Cλ f_{nαs})^{(P)}=Cλ f_{nαs}^{(P)} used there is valid because Cλ depends only on eigenvalues, which are unchanged by unipotent factors in the constant-term integral. The main unresolved point is the black-box invocation of Theorem 2 of [18]. The reader's weakest_assumption identifies the same issue, and I agree that it is the most load-bearing. The additional concern about extending from large α to all positive integers by 'repeating the proof of Theorem 5.2.1 in [24]' is secondary: if the trace is polynomial in q^α, the large-α case implies all α, but the present text does not spell this out. The paper also contains typos (e.g., 'By Proposition 3.4' in the proof of Proposition 3.4 should be 'Corollary 3.1', and 'c∈(1/2,1/2)' in Proposition 5.3 should be '(-1/2,1/2)'), which obscure but do not by themselves invalidate the argument. A CONDITIONAL verdict remains appropriate pending verification of [18, Thm 2] and the α-extension.","tokens_in":27204,"tokens_out":20755,"duration_ms":221460,"concrete_test":"Locate the statement of Theorem 2 in Kret [18] and check whether its hypotheses are exactly 'π^I≠0 and π is a local component of a discrete automorphic representation of GL_n(A)' (in which case the application in §6 is valid) or whether it additionally involves the basic stratum (e.g., a specific basic truncation function or a condition that the representation contributes to the basic stratum). If the latter, verify that condition for the two-slope stratum, or else re-run the classification in §5 without invoking [18, Thm 2]: test a non-semi-stable-rigid unitarizable representation with a nonzero Iwahori-fixed vector, such as Ind_{P_{(y_1,y_2)}}(Speh(1,y_1)⊗Speh(1,y_2)) with y_1≠y_2, against Tr(Cλ f_{nαs},·); if any such trace is nonzero, the type I/II summation is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 6.1's summation over type I/type II representations rests on the claim (end of §6 proof) that every contributing ρπ,p is semi-stable rigid, which the paper obtains solely by invoking Theorem 2 of [18]. The only hypotheses checked in the text are ρπ,p^I_n≠0 (from Proposition 3.4) and that ρπ,p is the local component of a discrete automorphic representation of GL_n(A) (by 'repeating the proof of Proposition 11 in [18]'). Since [18] concerns the basic stratum, its Theorem 2 may carry additional assumptions tied to the basic Newton slope or to the specific truncation function used there. Those assumptions are not stated, verified, or adapted to the two-slope vector (s, λ1^{p1}, λ2^{p2}). If Theorem 2 does not apply, other unitarizable Iwahori-fixed local components could have nonvanishing Tr(Cλ f_{nαs},·), and the central formula would omit them. This is load-bearing because the entire explicit trace formula depends on the restricted summation; the local trace computations in Proposition 5.3 only apply once semi-stable rigidity has been established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives explicit formulas for the Frobenius-Hecke traces of the étale cohomology of certain two-slope Newton strata S_b of Kottwitz varieties (compact PEL unitary Shimura varieties), where the Newton vector is (s, λ1^{p1}, λ2^{p2}) with gcd conditions. The main result, Theorem 6.1, expresses the trace as |ker^1(Q,G)| times a finite sum over automorphic representations π whose local p-component is of type I or type II, with the local traces Tr(Cλ f_{nαs}, ρπ,p) computed in Proposition 5.3 as explicit products of Satake transforms. The proof follows Kret's method for the basic stratum: a geometric trace formula, reduction to orbital integrals, a classification of the contributing local representations of GL_n(Q_p) via semi-stable rigidity, and a combinatorial analysis of Jacquet modules and double cosets of symmetric groups.","tokens_in":27392,"tokens_out":21103,"duration_ms":216608,"significance":"If correct, the result is a substantial extension of Kret's basic-stratum formulas to intermediate two-slope strata, giving completely explicit automorphic and polynomial expressions for the cohomology traces. The local representation-theoretic results in Propositions 5.2 and 5.3 are of independent interest, and the paper is structured around standard tools (Kottwitz's trace formula, Fujiwara's theorem, and the Zelevinsky–Tadić classification). The main concerns are the unverified applicability of a theorem imported from the basic-stratum setting and the too-brief justification of the extension from large α to all α.","major_comments":[{"comment":"After establishing that Tr(Cλfnαs, ρπ,p) can be nonzero only when ρπ,p has a nonzero Iwahori-fixed vector, the proof invokes 'Theorem 2 in [18]' to conclude that ρπ,p is semi-stable rigid. The hypotheses of that theorem are not stated, and since [18] concerns the basic stratum, the reader cannot verify that the two-slope setting satisfies them. This step is load-bearing: Proposition 5.2 and the type I/II summation in Theorem 6.1 are valid only for semi-stable rigid representations. Please state Theorem 2 of [18] explicitly and verify its hypotheses here, or prove the required rigidity of the contributing ρπ,p directly.","section":"§6, proof of Theorem 6.1"},{"comment":"The theorem is asserted for every α∈Z>0, but the proof concludes the result 'when α is big enough' and then delegates the extension to arbitrary α to 'repeating the proof of Theorem 5.2.1 in [24]'. Since [24] treats the basic stratum, the carry-over to the two-slope intermediate strata is not automatic and should be explained; otherwise Theorem 6.1 should be stated only for α sufficiently large.","section":"§6, end of proof of Theorem 6.1"},{"comment":"The constant cπ in Theorem 6.1 is defined with the sum Σ_{i=1}^∞ (-1)^i dim H^i(g,K∞;π∞⊗ζ), whereas Kottwitz's Euler–Poincaré formula for the trace of f_{ζ,∞} uses the sum over i≥0. Unless the i=0 term vanishes for every contributing π, the displayed constant is incorrect; for example, when ζ is trivial and π∞ is the trivial representation, the i=0 term is nonzero. Please justify the omission of the i=0 term or correct the range of summation.","section":"Theorem 6.1 and §6, item 14"}],"minor_comments":[{"comment":"The proof begins 'By Proposition 3.4, we have...' which is a self-reference; the intended reference is Corollary 3.1.","section":"§3, proof of Proposition 3.4"},{"comment":"The first displayed equality cites Proposition 3.3, but the trace identity being used is Corollary 3.1; please correct the reference.","section":"§5, proof of Proposition 5.2"},{"comment":"The statement of Proposition 5.3(3) says 'we take the minus sign if y=1', but the proof of Proposition 5.2 indicates the minus sign should be taken when y=3; please correct this typo.","section":"§5, Proposition 5.3"},{"comment":"The paper contains several typos, including 'unramifed' for 'unramified' and 'Jaquet' for 'Jacquet'.","section":"Throughout"},{"comment":"The functions χ̂ used in the formulas of Proposition 5.3 are not defined in the paper, only referenced to [18, pp.492–493]. For a self-contained statement of the main local computation, please recall their definition.","section":"§5, Proposition 5.3"},{"comment":"The proof applies Proposition 5.1 in the ν=(n) case, but Proposition 5.1 is stated under the hypothesis (s,n)=1, which is not among the standing assumptions of §5 (only gcd(s_i,p_i)=1 for i=1,2 are assumed). Please clarify why the vanishing argument still applies, or state a modified version of Proposition 5.1 with the weaker hypothesis.","section":"§5, proof of Proposition 5.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is a direct continuation of the author's previous work [24] and of Kret's [18]. The referee finds the central strategy sound, but the manuscript needs a careful revision to state and verify the imported results from [18] and [24], and to fix the Euler–Poincaré summation range. The paper's audience will be able to assess the local computations once the missing hypotheses are supplied."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First: this is a genuine new result — the first explicit Frobenius-Hecke trace formulas for two-slope intermediate Newton strata of compact unitary Kottwitz varieties — and the local computation in Section 5 is the heart of the paper. The structure is sound: geometric trace to orbital integrals, then to automorphic traces, then to local traces, following Kret's framework. Sections 4 and 5 are honest work; the double-coset combinatorics is clean and the Satake evaluations in Proposition 5.3 are explicit and checkable. The reader's report is right that the argument is not circular.\n\nThe soft spots, in order. First and most important: Theorem 6.1 rests on the claim that every contributing local representation is semi-stable rigid, which the proof obtains by invoking Theorem 2 of Kret [18]. Kret proved that for the basic stratum, and this paper does not state the theorem's hypotheses or verify them for the two-slope truncation (s, λ1^{p1}, λ2^{p2}). The proof only establishes an Iwahori-fixed vector and discrete automorphic origin, then jumps to semi-stable rigidity. If Theorem 2 of [18] is a purely local statement about discrete automorphic components with Iwahori-fixed vectors, the jump is fine; but as written, the reader cannot check this, and the entire type I/type II summation depends on it. This needs to be made explicit.\n\nSecond, the passage from α sufficiently large to all positive integers α is delegated to Theorem 5.2.1 of the author's own previous paper [24], again without reproducing the argument. Acceptable practice for a follow-up, but it should be stated as a dependence.\n\nThird, the exposition has genuine typos: the proof of Proposition 3.4 cites Proposition 3.4 itself; Proposition 5.3(3) says \"minus sign if y = 1\" when the proof requires y = 3; the inequalities in Proposition 3.2 have garbled indices. None look load-bearing, but they will cost the referee time.\n\nWho it is for: specialists in Shimura varieties, Newton strata, and p-adic representation theory. It deserves a serious referee. My verdict is conditional: the referee's main job is to check whether Theorem 2 of [18] applies to the two-slope setting; if it does, this is a solid paper after a careful revision.","headline":"First explicit trace formulas for two-slope intermediate Newton strata, with solid local computations; the open question is whether Kret's semi-stable rigidity theorem applies unchanged to the two-slope truncation.","tokens_in":703,"tokens_out":692,"would_cite":true,"duration_ms":80564,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11G18","11F70","22E50"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes explicit Frobenius-Hecke traces for two-slope Newton strata of Kottwitz varieties.","keywords":["Shimura varieties","Kottwitz varieties","Newton strata","Frobenius-Hecke trace","automorphic representations","Jacquet modules","semi-stable rigid representations","Satake transforms"],"falsifier":"Test the rigidity input directly: find a two-slope stratum and an automorphic contribution whose local representation at $p$ has no Iwahori-fixed vector yet has non-zero $\\operatorname{Tr}(C_\\lambda f_{n\\alpha s}, \\pi)$, or check whether the hypotheses of Theorem 2 of [18] actually hold for the intermediate-stratum case. A concrete calculation would be to take the smallest exceptional even case and compare Proposition 5.3's explicit formula for a Speh representation with an independent Jacquet-module computation.","tokens_in":26948,"feed_emoji":"🧮","tokens_out":8453,"duration_ms":87143,"temperature":0.7,"pith_summary":"This paper derives explicit formulas for the Frobenius-Hecke trace on the compactly supported étale cohomology of a two-slope Newton stratum of a Kottwitz variety. If $\\nu(b) = (s, \\lambda_1^{p_1}, \\lambda_2^{p_2})$ with coprime slope conditions, the trace is shown to equal $|\\ker^1(Q,G)|$ times a finite sum over automorphic representations $\\pi$ whose $p$-adic component is one of a short list of explicit types, with each term an explicit product of Satake transforms. This turns a geometric invariant of the stratum into an automorphic and combinatorial expression. The result extends the previously known basic-stratum computation to intermediate strata, where the cohomology had not been described explicitly.","feed_headline":"Two-slope Newton strata get explicit automorphic trace formulas","feed_subtitle":"The Frobenius-Hecke trace reduces to a finite automorphic sum of Satake products on intermediate Kottwitz strata.","key_machinery":"The load-bearing object is the local truncated trace $\\operatorname{Tr}(C_\\lambda f_{n\\alpha s}, \\pi)$ for admissible representations $\\pi$ of $\\mathrm{GL}_n(F)$. Corollary 3.1 reduces it to a compact trace against the normalized Jacquet module for the parabolic subgroup of type $(p_1,p_2)$, and Proposition 3.4 shows a non-zero trace forces an Iwahori-fixed vector. With the rigidity theorem from [18], $\\pi$ is a semi-stable rigid representation, a unitarizable induced representation built from Speh representations; Theorem VI.5.1 of [29] then describes its Jacquet module through minimal-length double-coset representatives, which Proposition 4.3 recasts combinatorially as row semi-standard Young tableaux. Proposition 5.2 shows the truncated trace vanishes unless $\\pi$ is the trivial representation, a Steinberg representation, a $(p_1,p_2)$-type induction, or, in the exceptional parity cases, one of two Speh representations.","core_discovery":"The central claim is Theorem 6.1: for a two-slope Newton stratum $S_b$ with Newton vector $(s, \\lambda_1^{p_1}, \\lambda_2^{p_2})$ satisfying the stated coprime conditions, the trace $\\operatorname{Tr}(\\mathrm{Frob}_q^\\alpha \\times f^{p\\infty}, \\sum_i H^i_{et,c}(S_b, \\iota^*L))$ equals $|\\ker^1(Q,G)|$ times a finite sum over automorphic representations $\\pi \\subset A(G)$ with $\\rho_{\\pi,p}$ of type I (in the non-exceptional parity case) or type II (in the exceptional even case) of $c_\\pi \\operatorname{Tr}(C_\\lambda f_{n\\alpha s}, \\rho_{\\pi,p})$. The local traces $\\operatorname{Tr}(C_\\lambda f_{n\\alpha s}, \\rho_{\\pi,p})$ are computed explicitly in Proposition 5.3 as products of Satake transforms of Hecke operators evaluated at the Hecke matrix of the representation, so the entire formula is explicit in automorphic data and polynomials.","pith_inferences":["The same double-coset and Jacquet-module machinery is not specific to two slopes, so the method likely extends to Newton strata with more than two slopes, with the surviving local representation types determined by the same vanishing analysis.","If the rigidity input from [18] fails for some intermediate stratum, the likely outcome is a longer list of contributing local representation types rather than a breakdown of the overall automorphic-sum structure.","A numerical check for small $n$ (for instance $n=2$ or $3$) with the trivial Hecke operator and trivial local system would yield explicit point counts for these strata, which could be compared with direct geometry, but such a check is not carried out in the paper."],"forward_implications":["The Frobenius-Hecke trace of a two-slope stratum becomes a finite sum over automorphic representations, so it can be analysed with automorphic and combinatorial tools rather than by direct point counting.","Only a short list of local representation types contributes: in the non-exceptional case these are trivial, Steinberg, and $(p_1,p_2)$-type representations, while exceptional even strata additionally require two Speh representations.","Specialising the Hecke operator and the local system gives explicit expressions for point counts of the stratum over $\\mathbb{F}_{q^\\alpha}$, and Remark 6.1 indicates the formula can be used to compute its dimension.","When combined with the stable trace formula, the result gives a Langlands-style decomposition of the cohomology of intermediate strata analogous to the basic-stratum case."],"supporting_citations":[{"why":"Kret's basic-stratum paper supplies the truncated Langlands-Kottwitz method and Theorem 2, which forces contributing local representations to be semi-stable rigid.","marker":"[18]"},{"why":"Kret's trace-formula paper for PEL abelian varieties supplies the truncation of Kottwitz's point-counting formula used to express the stratum trace as an orbital integral.","marker":"[19]"},{"why":"Kottwitz's construction of the specific unitary-type Shimura varieties (Kottwitz varieties) and of the Euler-Poincaré function at the infinite place.","marker":"[15]"},{"why":"Kottwitz's point-counting formula over finite fields, which the paper truncates to isolate the Newton stratum.","marker":"[16]"},{"why":"Renard's textbook provides Theorem VI.5.1, the description of Jacquet modules of induced representations via minimal-length double-coset representatives.","marker":"[29]"},{"why":"Rodier's character formula for Steinberg representations is used in the explicit trace computation of Proposition 5.3.","marker":"[30]"},{"why":"Tadić's classification of unitary representations of general linear groups fixes the form of semi-stable rigid representations and constrains the exponents.","marker":"[31]"},{"why":"The author's previous paper supplies Theorem 5.2.1, which extends the formula from sufficiently large α to all positive integers α.","marker":"[24]"}],"fun_headline_variants":["Explicit Frobenius-Hecke traces on two-slope Kottwitz strata","Automorphic sums give explicit traces on Kottwitz strata","Two-slope strata: cohomology traces via automorphic representations","Trace formulas for intermediate Kottwitz strata made explicit","Kottwitz strata: finite automorphic sums for Frobenius-Hecke traces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on Kret's theorem that every contributing local representation has an Iwahori-fixed vector and is therefore semi-stable rigid, a result proved for the basic stratum whose hypotheses are asserted rather than verified for these two-slope strata, together with the previous paper's theorem that the formula extends from sufficiently large α to all positive integers α.","fun_headline_variants_meta":{"raw":{"variants":["Explicit Frobenius-Hecke traces on two-slope Kottwitz strata","Automorphic sums give explicit traces on Kottwitz strata","Two-slope strata: cohomology traces via automorphic representations","Trace formulas for intermediate Kottwitz strata made explicit","Kottwitz strata: finite automorphic sums for Frobenius-Hecke traces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000631,"raw_usage":{"total_tokens":2864,"prompt_tokens":847,"completion_tokens":2017,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":463,"completion_tokens_details":{"reasoning_tokens":1925}},"tokens_in":463,"tokens_out":2017,"duration_ms":16374,"temperature":1.0,"reasoning_tokens":1925,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T19:55:13.347489+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test the rigidity input directly: find a two-slope stratum and an automorphic contribution whose local representation at $p$ has no Iwahori-fixed vector yet has non-zero $\\operatorname{Tr}(C_\\lambda f_{n\\alpha s}, \\pi)$, or check whether the hypotheses of Theorem 2 of [18] actually hold for the intermediate-stratum case. A concrete calculation would be to take the smallest exceptional even case and compare Proposition 5.3's explicit formula for a Speh representation with an independent Jacquet-module computation.","supporting_citations":[{"cited_title":"Kottwitz","cited_arxiv_id":null,"evidence_quote":"Kret's basic-stratum paper supplies the truncated Langlands-Kottwitz method and Theorem 2, which forces contributing local representations to be semi-stable rigid."},{"cited_title":"The basic stratum of some Simple Shimura Varieties","cited_arxiv_id":null,"evidence_quote":"Kret's trace-formula paper for PEL abelian varieties supplies the truncation of Kottwitz's point-counting formula used to express the stratum trace as an orbital integral."},{"cited_title":"Kottwitz","cited_arxiv_id":null,"evidence_quote":"Kottwitz's construction of the specific unitary-type Shimura varieties (Kottwitz varieties) and of the Euler-Poincaré function at the infinite place."},{"cited_title":"On the λ-adic representations associated to some simple Shimura varieties","cited_arxiv_id":null,"evidence_quote":"Kottwitz's point-counting formula over finite fields, which the paper truncates to isolate the Newton stratum."},{"cited_title":"On the Newton stratification","cited_arxiv_id":null,"evidence_quote":"Renard's textbook provides Theorem VI.5.1, the description of Jacquet modules of induced representations via minimal-length double-coset representatives."},{"cited_title":"Repr´ esentations des groupes r´ eductifs p-adiques","cited_arxiv_id":null,"evidence_quote":"Rodier's character formula for Steinberg representations is used in the explicit trace computation of Proposition 5.3."},{"cited_title":"Sur le caract` ere de Steinberg.Compositio Mathematica, 59(2):147– 149, 1986","cited_arxiv_id":null,"evidence_quote":"Tadić's classification of unitary representations of general linear groups fixes the form of semi-stable rigid representations and constrains the exponents."},{"cited_title":"Moduli of supersingular abelian varieties","cited_arxiv_id":null,"evidence_quote":"The author's previous paper supplies Theorem 5.2.1, which extends the formula from sufficiently large α to all positive integers α."}],"review_version":1}