{"id":"24c8917c-000b-44ee-9208-6f6a18671186","arxiv_id":"2606.03062","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Establishes bijection from parahoric J-strata in basic affine DL varieties to small cocharacters with equal cardinality to a Weyl orbit subset of μ, plus link to Hodge-Newton decomposability.","lead":"This paper parametrizes J-strata with parahoric stabilizers in basic affine Deligne-Lusztig varieties for minuscule cocharacters via a bijection to small cocharacters and proves a cardinality match with a Weyl group orbit subset. It may offer a combinatorial handle on basic loci in Shimura varieties.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's assessment is limited to the abstract in a specialized area, correctly leaving the paper unverdicted. The load-bearing step is the construction of the bijection itself; absent the full text no concrete failure mode can be isolated, so the reader's verdict requires no adjustment.","tokens_in":1679,"tokens_out":300,"duration_ms":14821,"concrete_test":"Extract the precise statement of the main theorem (likely Theorem 1.1 or equivalent in the introduction) and compare its hypotheses on μ, the group, and the J-strata directly against the abstract; if they match and the theorem asserts the bijection plus cardinality without additional unstated restrictions, the claim is at least internally consistent with the summary.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a parametrization of certain J-strata by small cocharacters together with a cardinality equality to a subset of the Weyl orbit of μ. The reader's weakest assumption correctly flags reliance on the Chen-Viehmann J-stratification for basic affine Deligne-Lusztig varieties with minuscule μ and standard parahoric behavior of the twisted centralizer. No internal inconsistency, hidden assumption in a displayed equation, or unsupported step is visible from the provided abstract and claim description; the paper states it constructs the bijection and proves the count, which would be the natural place for any failure but cannot be inspected here.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper studies the J-stratification of basic affine Deligne-Lusztig varieties for a minuscule cocharacter μ, introduced by Chen-Viehmann. It parametrizes the J-strata whose stabilizers in the Frobenius-twisted centralizer group are parahoric by constructing a natural bijection to combinatorial invariants called small cocharacters. It further proves that the cardinality of these sets equals that of a certain subset of the Weyl group orbit of μ, and discusses a relationship with the weakly fully Hodge-Newton decomposability of Chen-Tong.","tokens_in":1787,"tokens_out":390,"duration_ms":16378,"significance":"If the bijection and cardinality equality hold, the results supply a combinatorial parametrization of selected J-strata that may serve as a tool for studying basic loci in Shimura varieties, extending the Chen-Viehmann framework. The explicit link to a subset of the Weyl orbit of μ and the connection to Hodge-Newton decomposability are potentially useful for explicit computations in the theory of affine Deligne-Lusztig varieties.","major_comments":[],"minor_comments":[{"comment":"The abstract introduces 'small cocharacters' as combinatorial invariants without indicating whether this notion is defined in the paper or drawn from prior literature; a clear definition or reference in §1 or §2 would improve readability.","section":null},{"comment":"The relationship with Chen-Tong's weakly fully Hodge-Newton decomposability is mentioned but not detailed in the abstract; specifying the precise statement or theorem number where this is discussed would clarify the contribution.","section":null}],"recommendation":"uncertain","confidential_remarks":"The provided abstract contains no displayed equations, lemmas, or verification steps, making it impossible to assess the soundness of the claimed bijection or cardinality proof from the summary alone. The full manuscript text referenced in the query was not supplied in the input, preventing section-specific technical evaluation."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for summarizing our results on the J-stratification of basic affine Deligne-Lusztig varieties and for noting their potential utility in studying basic loci in Shimura varieties. The significance assessment is appreciated. No major comments appear in the report, so we have no individual points requiring response or revision.","responses":[],"tokens_in":1166,"tokens_out":82,"duration_ms":9264,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point is a parametrization of the J-strata whose stabilizers are parahoric, via a natural bijection to small cocharacters, plus a proof that their number equals the size of a certain subset of the Weyl group orbit of μ. This is done for basic affine Deligne-Lusztig varieties attached to a minuscule cocharacter.\n\nThe work sits on top of the Chen-Viehmann J-stratification and brings in Chen-Tong's decomposability results. The explicit combinatorial description is presented as new, and if the bijection respects the group actions in a straightforward way it could make it easier to handle these strata when studying basic loci in Shimura varieties.\n\nThe abstract states the claims cleanly without obvious internal contradictions or hidden fitting. The assumptions line up with standard setups for minuscule μ and parahoric behavior in p-adic groups, so the weakest assumption flagged in the report does not look like a load-bearing problem. The main limitation is that the abstract supplies no sample maps, lemmas, or small-case checks, which makes it impossible to judge the technical execution from the summary alone.\n\nThis is narrow material aimed at people already working on affine Deligne-Lusztig varieties and their applications to arithmetic geometry. A reader outside that circle would need substantial background to extract value. It is an incremental but concrete step rather than a broad advance.\n\nI would send it to referees. The claims are specific enough that peer review can check whether the bijection and count actually hold up in the proofs.","headline":"The paper gives a bijection from J-strata with parahoric stabilizers to small cocharacters in basic affine Deligne-Lusztig varieties and shows the count matches a subset of the Weyl orbit of μ.","tokens_in":2275,"tokens_out":397,"would_cite":false,"duration_ms":17968,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"J-strata with parahoric stabilizers in basic affine Deligne-Lusztig varieties are parametrized by small cocharacters, with cardinality matching a Weyl group orbit subset of μ.","keywords":["affine Deligne-Lusztig varieties","J-stratification","parahoric stabilizers","small cocharacters","Weyl group orbit","minuscule cocharacter"],"falsifier":"An explicit J-stratum whose parahoric stabilizer does not map to any small cocharacter, or a direct count showing the two sets have different sizes, would refute the parametrization and cardinality claim.","tokens_in":2559,"feed_emoji":"","tokens_out":571,"duration_ms":18953,"temperature":0.7,"pith_summary":"The paper examines the J-stratification on basic affine Deligne-Lusztig varieties for a minuscule cocharacter μ. It builds a natural bijection that identifies the J-strata whose stabilizers in the Frobenius-twisted centralizer are parahoric with combinatorial objects called small cocharacters. It further establishes that the number of these strata equals the size of a designated subset inside the Weyl group orbit of μ. This supplies a combinatorial handle on the strata inside the setup of p-adic reductive groups.","feed_headline":"Parahoric J-strata biject with small cocharacters","feed_subtitle":"Their count equals a subset of the Weyl group orbit of μ in basic affine Deligne-Lusztig varieties.","key_machinery":"Natural bijection from J-strata with parahoric stabilizers to small cocharacters.","core_discovery":"We construct a natural bijection between the J-strata with parahoric stabilizers and small cocharacters, and prove that the cardinality of these sets equals that of a certain subset of the Weyl group orbit of μ.","pith_inferences":["The bijection may supply a counting tool for points in the basic locus of associated Shimura varieties.","The same combinatorial reduction could be tested on non-minuscule cocharacters or on other stratifications of the affine Grassmannian."],"forward_implications":["The parahoric J-strata admit a complete combinatorial classification via small cocharacters.","Their total number is governed by the Weyl group action on the cocharacter μ.","A link exists to the weakly fully Hodge-Newton decomposability condition studied by Chen-Tong."],"fun_headline_variants":["Small cocharacters parametrize parahoric J-strata","Parahoric J-strata biject to small cocharacters","J-strata parahoric count equals Weyl orbit subset","Natural bijection maps parahoric J-strata to small cocharacters","Parahoric stabilizers match small cocharacter invariants"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The J-stratification of Chen-Viehmann applies to basic affine Deligne-Lusztig varieties for minuscule μ, with the Frobenius-twisted centralizer group and parahoric stabilizers following standard behavior.","fun_headline_variants_meta":{"raw":{"variants":["Small cocharacters parametrize parahoric J-strata","Parahoric J-strata biject to small cocharacters","J-strata parahoric count equals Weyl orbit subset","Natural bijection maps parahoric J-strata to small cocharacters","Parahoric stabilizers match small cocharacter invariants"]},"model":"grok-4.3","cost_usd":0.004316,"raw_usage":{"total_tokens":2106,"prompt_tokens":544,"num_sources_used":0,"completion_tokens":81,"cost_in_usd_ticks":43162000,"prompt_tokens_details":{"text_tokens":544,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1481,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":544,"tokens_out":81,"duration_ms":8995,"temperature":1.0,"reasoning_tokens":1481,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T08:31:06.378375+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit J-stratum whose parahoric stabilizer does not map to any small cocharacter, or a direct count showing the two sets have different sizes, would refute the parametrization and cardinality claim.","supporting_citations":[],"review_version":1}