{"id":"b1dee218-7ff1-4d10-a1a7-1f6819d15fc0","arxiv_id":"2607.10660","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Aubert and Bernstein dualities extend to disconnected reductive p-adic groups, with uniqueness, irreducibility preservation, character formulas, and a Steinberg representation for twisted endoscopy.","lead":"The paper extends Aubert duality and Bernstein cohomological duality from connected reductive p-adic groups to arbitrary disconnected ones, proving uniqueness, irreducibility preservation, and compatibility with induction/restriction. This yields a Steinberg representation for disconnected groups with an explicit character formula and twisted endoscopic properties.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The paper’s strongest claim is a clean, fully checked extension of Aubert and Bernstein dualities to arbitrary disconnected reductive p-adic groups, together with uniqueness and a usable Steinberg character formula. The only external dependence is the connected-case package (especially (D_A)^2 ≅ id from Che26b and second adjointness), which the authors import transparently via restriction and equivariance. That dependence is already the reader’s weakest_assumption; it does not constitute an internal flaw. The disconnected constructions, character formula (Prop. 3.2.1 / Cor. 3.3.3), and endoscopic sign discussion are self-contained once the inputs are granted. No further load-bearing concern surfaces, so the ACCEPT verdict stands.","tokens_in":47481,"tokens_out":534,"duration_ms":7390,"concrete_test":"Independently re-derive the key intertwining of differentials under Ad(n) (the equality \theta_I ∘ ψ^J_I = ψ^{aJ}_{aI} ∘ \theta_J used in Prop. 2.7.2(2) and Lem. 2.7.1) for a concrete non-abelian component group, e.g. G = SL_2 \times SL_2 with an order-2 swap automorphism; if the signed exterior-power maps fail to commute with the differentials, the extension of the complex would be inconsistent.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims rest on importing the connected-case dualities (including the recent result that (D_A)^2 ≅ id) via restriction and Ad(n)-equivariance for n normalizing a fixed minimal parabolic pair. That dependence is correctly flagged by the reader, but it is not a soft spot internal to this paper: the constructions (Ỹ_t via the complex of §3.1, the cohomological D̃_B via RHom, the reinterpretation via disconnected parabolics in §3.6) are explicit, the equivariance diagrams (Prop. 2.7.2, 2.7.4, Lem. 3.7.12) are checked, and uniqueness (Props. 3.8.5–3.8.6) follows from the lifting-isomorphism lemma once the connected inputs are granted. No hidden gap in the disconnected arguments themselves appears.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper extends Aubert duality D_A and Bernstein cohomological duality D_B from connected reductive p-adic groups G to arbitrary disconnected affine algebraic groups Ĝ with reductive identity component G. It constructs covariant D̃_A (via an equivariant lift of Aubert’s complex Y_t, and equivalently via disconnected parabolic induction/restriction) and contravariant D̃_B (via RHom with the big Hecke algebra of Ĝ), proves that both are involutions, commute with contragredient, satisfy D̃_A∘(−)∨≅D̃_B, are compatible with normalized parabolic induction and restriction relative to opposite parabolics, preserve irreducibility, act as id (resp. contragredient) on supercuspidal blocks, and restrict to the classical dualities on G. Uniqueness characterizations via Frobenius reciprocity and Bernstein decomposition are given (Props. 3.8.5–3.8.6). A character formula for D̃_A is derived, a sign character ε̃_G is introduced, and the construction is applied to define a Steinberg representation St̃ of Ĝ(F), compute its character, and discuss twisted endoscopic transfer and Kottwitz-type signs.","tokens_in":47729,"tokens_out":779,"duration_ms":10349,"significance":"The extension fills a genuine gap needed for the local Langlands program for disconnected groups (as formulated in Kaletha’s conjectures) and for twisted endoscopy. The constructions are explicit, the equivariance and restriction-compatibility diagrams are carefully checked, and the uniqueness statements via the lifting-isomorphism lemma give a clean axiomatic characterization. The sample application to the Steinberg representation, its character formula, and the appearance of the sign ε̃_G as a component of a twisted Kottwitz sign are concrete and immediately usable. The paper correctly imports the recent connected-case result (D_A)^{2}≅id and second adjointness; once those inputs are granted, the disconnected arguments appear self-contained and load-bearing.","major_comments":[],"minor_comments":[{"comment":"In §2.7 and again in §3.1 the notation for the equivariance maps Y_t(a,θ_a) and the induced action of n∈Ñ(F) is dense; a short summary diagram of the two constructions of D̃_A (complex lift vs. disconnected parabolics) would help the reader keep track of which maps are being used.","section":null},{"comment":"The comparison with Xu’s inv_θ (Corollary 3.2.4) is useful but the precise sign factor (−1)^{(r−t)+dim(A_G^θ)} could be highlighted more prominently, since it reappears in the endoscopic discussion of §4.5.","section":null},{"comment":"A few typographical inconsistencies remain (e.g., occasional missing tildes on functors, slight variation between “wide parabolic” and “standard wide parabolic”). These do not affect correctness but should be cleaned in production.","section":null},{"comment":"The dependence on the connected-case result of [Che26b] is correctly acknowledged; a one-sentence pointer in the introduction to the precise statements imported would make the logical structure even clearer for readers who have not yet seen that preprint.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technical but the central constructions are solid and the application to Steinberg/endoscopy is timely. I see no reason to delay acceptance; the minor presentational points can be handled in production or a short revision if the editor prefers."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper does exactly what the title says: it builds the Aubert and Bernstein involutions for disconnected reductive p-adic groups (arbitrary finite component group) and proves the expected package of properties. The constructions are explicit—one by lifting the classical complex with Ad(n)-equivariance for n normalizing a fixed minimal parabolic, one via disconnected parabolic induction/restriction, and a signed Borel–Serre variant that produces the character ε̃_G. They show the two agree up to that sign, that both restrict to the connected dualities, that they are involutions, preserve irreducibility, commute with contragredient, interchange with opposite parabolic induction/restriction, act as id/contragredient on supercuspidals, and are uniquely characterized by those axioms plus Frobenius reciprocity. The character formula and the Steinberg application (with its twisted endoscopic sign) are clean and immediately usable for the Kaletha conjectures.\n\nWhat is new is the systematic treatment for non-abelian components and the two equivalent constructions; the connected inputs (including the recent (D_A)^{2} ≅ id) are imported correctly via restriction and the equivariance diagrams, which are checked carefully. The uniqueness proofs via the lifting-isomorphism lemma are standard once those inputs are granted. No circularity, no hidden gaps in the disconnected arguments themselves. The dependence on the connected case is real but not a soft spot internal to this work—it is the natural foundation.\n\nMinor soft spots: the paper is long and technical, and the choice of which signed Steinberg to call “the” one is a convention (they pick the one matching Whittaker extension and the classical character formula). Citation pattern is appropriate; self-cites are to the necessary connected results. Math looks solid.\n\nThis is for people working on local Langlands for disconnected groups or twisted endoscopy. It deserves a serious referee and will be cited. I would bring it to reading group and accept it for peer review without hesitation.","headline":"Solid, careful extension of Aubert–Bernstein dualities to arbitrary disconnected p-adic groups, with usable Steinberg and twisted Kottwitz sign for endoscopy.","tokens_in":48326,"tokens_out":483,"would_cite":true,"duration_ms":7036,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["22E50","20G25","11F70"],"pacs":[],"model":"grok-4.5","headline":"Aubert and Bernstein dualities extend to disconnected reductive p-adic groups, with uniqueness, irreducibility, and a character formula.","keywords":["Aubert duality","Bernstein duality","disconnected reductive groups","p-adic groups","parabolic induction","Steinberg representation","twisted endoscopy","Kottwitz sign"],"falsifier":"Exhibit a disconnected reductive p-adic group and a finite-length representation for which either (D̃_A)^{2} is not isomorphic to the identity, or D̃_A fails to preserve irreducibility, or the character formula of Proposition 3.2.1 disagrees with direct computation of the character of the Steinberg representation.","tokens_in":48391,"feed_emoji":"∞","tokens_out":684,"duration_ms":6389,"temperature":0.7,"pith_summary":"The paper constructs two dualities—Aubert’s covariant involution and Bernstein’s cohomological contravariant involution—on the category of finite-length smooth complex representations of an arbitrary disconnected reductive p-adic group. These functors restrict to the classical dualities on the identity component, square to the identity, preserve irreducibility, commute with the contragredient, and are compatible with parabolic induction and restriction relative to opposite parabolic subgroups. They are uniquely characterized by those properties together with a Frobenius-reciprocity compatibility. As a sample application the authors produce a natural Steinberg representation for the disconnected group, compute its character on regular semisimple elements, and relate it to twisted endoscopic transfer via a sign character that generalizes the classical Kottwitz sign.","feed_headline":"Dualities for p-adic groups work when the group is disconnected","feed_subtitle":"Aubert and Bernstein involutions extend, stay unique, and yield a Steinberg character with endoscopic signs","key_machinery":"The complex of endofunctors built from parabolic induction and restriction (the Aubert complex Y_t, or its Borel–Serre variant), equipped with a natural action of Ĝ(F) via equivariance under automorphisms that preserve a fixed minimal parabolic pair; after taking the appropriate cohomology or cokernel one obtains D̃_A and D̃_B.","core_discovery":"The Aubert and Bernstein dualities on finite-length smooth representations of a connected reductive p-adic group G extend to functors D̃_A and D̃_B on the corresponding category for any disconnected reductive group Ĝ whose identity component is G; the extensions satisfy the same list of formal properties (involution, compatibility with induction/restriction, preservation of irreducibility, identity/contragredient on supercuspidals) and are uniquely determined by them.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Aubert-Bernstein dualities extend to disconnected p-adic groups","Duality functors work for any disconnected reductive p-adic group","Aubert and Bernstein involutions hold beyond connected groups","Unique dualities yield Steinberg character for disconnected groups","Involutions preserve irreducibility on disconnected p-adic groups"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"Everything rests on the corresponding dualities and second-adjointness already being known for the connected identity component; if those fail, the disconnected extension fails with them.","fun_headline_variants_meta":{"raw":{"variants":["Aubert-Bernstein dualities extend to disconnected p-adic groups","Duality functors work for any disconnected reductive p-adic group","Aubert and Bernstein involutions hold beyond connected groups","Unique dualities yield Steinberg character for disconnected groups","Involutions preserve irreducibility on disconnected p-adic groups"]},"model":"grok-4.5","effort":"low","cost_usd":0.00628,"raw_usage":{"total_tokens":1542,"prompt_tokens":647,"num_sources_used":0,"completion_tokens":87,"cost_in_usd_ticks":62800000,"prompt_tokens_details":{"text_tokens":647,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":808,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":647,"tokens_out":87,"duration_ms":5817,"temperature":1.0,"reasoning_tokens":808,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T10:08:46.017764+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a disconnected reductive p-adic group and a finite-length representation for which either (D̃_A)^{2} is not isomorphic to the identity, or D̃_A fails to preserve irreducibility, or the character formula of Proposition 3.2.1 disagrees with direct computation of the character of the Steinberg representation.","supporting_citations":[],"review_version":1}