{"id":"ecfc64ff-dec9-45d0-87a3-69eb7c9b3586","arxiv_id":"2506.12918","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For q ≥ c_Λ with 2 ≤ c_Λ ≤ 4, the geometric representation κ_Λ from cohomology of higher Deligne-Lusztig varieties equals κ(Λ)⊗ϵ_Λ, giving an explicit irreducible decomposition of elliptic higher Deligne-Lusztig representations.","lead":"This mathematics paper compares two different ways of building representations of p-adic groups: one from the cohomology of higher Deligne-Lusztig varieties, the other from the algebraic Yu-type construction with the Fintzen-Kaletha-Spice quadratic character. It proves the two agree once the residue field is large enough, making an earlier non-explicit decomposition explicit and linking supercuspidal representations to this geometry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.4 applies Proposition 3.2's very-regular trace formula to all of S^F; without a stated extension argument, the proof that ψ=1 is incomplete.","rationale":"The reader's weakest_assumption identifies precisely the same load-bearing concern: the trace comparison in Theorem 5.4 is the sole mechanism establishing ψ=1, and it relies on Proposition 3.2 beyond its stated hypotheses. My review of the full text confirms that Proposition 3.2 explicitly restricts to unramified very regular elements, while Theorem 5.4 applies it to arbitrary γ∈S^F without additional justification. Moreover, the same overreach appears in the proof of Proposition 4.3, where the assertion \\bar{H}^{γ_s}_Λ = \\bar{S}^{0+} is only valid for very-regular semisimple parts; for an element with α(γ_s)=1 for some root, the centralizer in H_Λ/K^+_Λ is larger, so the fixed-point cardinality and the parity formula would need modification. This strengthens the reader's concern rather than weakening it.\n\nThe consequence is direct: if the trace identity does not extend to all γ∈S^F, then ψ(γ)=1 is established only on the very-regular locus, and Proposition 5.3's generation by S^F_0 and the commutator subgroup would not force ψ to be trivial on the whole group. Thus Corollary 1.3's explicit decomposition and Corollary 1.7's application, both of which depend on ψ=1, would lack a complete proof. The first half of Theorem 1.1 (existence of some character ψ) is independent of this gap, as the reader notes, because it follows from Proposition 5.2 alone.\n\nI do not see a more fundamental flaw. The structural logic of the paper is coherent, the cited results from [22] and [1,12] are appropriate, and the secondary concern about the unshown Dynkin-diagram case check in Proposition 5.3 is a routine verification that does not threaten the main argument. The p≠2 versus condition (*) discrepancy in Theorem 1.1's hypotheses is worth the authors' attention but does not affect the main applications, which already assume (*). Therefore the reader's CONDITIONAL verdict is appropriate: accept once the trace-formula extension is supplied, either by a polynomiality argument or by a direct verification for all γ∈S^F.","tokens_in":12610,"tokens_out":14782,"duration_ms":147568,"concrete_test":"Verify the extension by checking polynomiality: determine whether the right-hand side of Proposition 3.2 and the analogous expression in Proposition 4.3 are polynomial class functions on S^F in the DeBacker-Spice sense. If they are, the equality on the very-regular locus extends to all γ∈S^F by polynomiality, closing the gap. If not, compute a small explicit example (e.g., G_0 of type A_2, γ with α(γ)=1 for exactly one simple root, nontrivial depth datum Λ) and compare the formula's value with a direct computation of tr(γ;κ(Λ)⊗ϵ_Λ) and tr(γ;κ_Λ) using [12] and [22, Theorem 6.2]. A mismatch for such γ would invalidate the proof of Theorem 5.4 as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 3.2 is stated only for unramified very regular γ ∈ S^F, yet in the proof of Theorem 5.4 it is applied to every γ ∈ S^F to conclude ψ(γ)=1 on the full maximally split torus, and hence ψ=1 via Proposition 5.3. No lemma or citation supplies the missing extension. The issue is not merely cosmetic: Proposition 4.3's proof already assumes a very-regular property when it asserts \\bar{H}^{γ_s}_Λ = \\bar{S}^{0+}; for non-very-regular γ_s the centralizer of γ_s in H_Λ/K^+_Λ can be strictly larger, changing the fixed-point factor and the parity r(S,Λ,γ). Unless both trace formulas are polynomial class functions in the DeBacker-Spice sense and agree on the Zariski-dense very-regular locus, the equality of traces on all S^F is unsupported. This equality is the only mechanism forcing ψ to be trivial, so the second half of Theorem 1.1, and with it Corollaries 1.3 and 1.7, do not follow from the text as written. The softer existence statement (first half of Theorem 1.1) is unaffected by this gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper compares two objects attached to an unramified generic datum Λ: the geometrically defined higher Deligne-Lusztig representation κ_Λ (cohomology of the variety Y_Λ) and the algebraic Weil-Heisenberg representation κ(Λ) twisted by the Fintzen-Kaletha-Spice quadratic character ϵ_Λ. The main result (Theorem 1.1) asserts that these differ by a character ψ of Z_G(k)K(O_k), and that under a mild condition q ≥ c_Λ with 2 ≤ c_Λ ≤ 4 this character is trivial. Combining with the second author's prior decomposition theorem [22], the paper derives an explicit irreducible decomposition of elliptic higher Deligne-Lusztig representations (Corollary 1.3) and applications to unramified Yu types and regular supercuspidal representations (Theorem 1.5, Corollary 1.7). The proof strategy is to show that both representations extend the same Heisenberg module ω_Λ, so Proposition 5.2 yields a character ψ; the remaining task is to prove ψ is trivial by comparing trace formulas on a maximally split torus.","tokens_in":12709,"tokens_out":6450,"duration_ms":64588,"significance":"If the comparison is correct, the paper gives a fully explicit algebraic characterization of elliptic higher Deligne-Lusztig representations, identifying the geometric κ_Λ with κ(Λ)⊗ϵ_Λ up to a character that vanishes under a mild hypothesis on q. The approach is conceptually clean and the trace formulas are explicit and nonzero. The paper also gives concrete applications relating unramified Yu types and Kaletha's regular supercuspidal representations to higher Deligne-Lusztig cohomology. The reliance on prior work [22] and the relation to concurrent work [8] are acknowledged honestly. The main unresolved issue is the extension of the trace identity from the very regular locus to the full torus, which is load-bearing for the triviality of ψ and hence for the explicit decomposition.","major_comments":[{"comment":"The proof applies Proposition 3.2 to an arbitrary element γ∈S^F, although Proposition 3.2 is stated only for unramified very regular γ. No argument is given that the identity tr(γ;κ(Λ)⊗ϵ_Λ)=(-1)^{r(S,Λ)}tr(γ;κ_Λ) extends from the very regular locus to all of S^F, for instance by showing both sides are polynomial class functions in the sense of DeBacker-Spice. This extension is the only mechanism in the proof that forces ψ(γ)=1 for every γ, so the conclusion ψ=1, and with it Corollary 1.3 and Corollary 1.7, does not follow from the text as written. The first half of Theorem 1.1, which relies only on Proposition 5.2, is not affected.","section":"§5.2, Theorem 5.4"},{"comment":"The proof asserts that \\bar{H}^{γ_s}_Λ = \\bar{S}^{0+} for the semisimple part γ_s of an arbitrary γ∈S^F. For a non-very-regular γ_s, the centralizer of γ_s in H_Λ/K^+_Λ can be strictly larger than \\bar{S}^{0+}, which would change both the dimension factor |((H_Λ/K^+_Λ)^γ)^F|^{1/2} and the parity r(S,Λ,γ). The proposition therefore appears to require a very-regular hypothesis that is not stated; either justify the equality for all γ_s or restrict Proposition 4.3 and adjust the proof of Theorem 5.4 accordingly.","section":"§4.2, Proposition 4.3"},{"comment":"The proof asserts, via a 'direct case-by-case analysis on the irreducible Dynkin diagrams,' that the condition α(z)≠1 for all roots α is satisfied for q≥4, and hence c_Λ≤4. This case analysis is not displayed, and the second part of Theorem 1.1 as well as Corollaries 1.3 and 1.7 depend on the resulting threshold q≥c_Λ. Please include the case analysis, or replace it with a uniform verifiable argument; even the uniform bound q≥4 would suffice if proved.","section":"§5.2, Proposition 5.3"}],"minor_comments":[{"comment":"There are several typos: 'Deligne-Lsuztig' should be 'Deligne-Lusztig'; 'differs' should be 'differ'; 'paly' should be 'play'; 'sytandard' should be 'standard'; 'cupidal' should be 'cuspidal'; 'shcemes' should be 'schemes'.","section":"Abstract and title"},{"comment":"The phrase 'attached to attached to elliptic tori' is duplicated, and the sentence beginning 'ϕ:T(k)→ Q_ℓ^× of depth ⩽ r ∈ Z_≥0' is grammatically incomplete.","section":"§1.1"},{"comment":"The term 'unramified very regular' is not defined in this paper; please add a definition or a precise reference to [1] or [12] so that the scope of the trace formula is unambiguous.","section":"§3.3, Proposition 3.2"},{"comment":"The notation for the opposite maximal unipotent subgroups V_0 and \\bar{V}_0 is introduced without explaining how they are chosen to be F-stable and normalized by S_0; a brief justification or citation would improve readability.","section":"§5.2, Proposition 5.3"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a concise research announcement that leans heavily on [22] and [15]. The central comparison theorem is elegant, but the missing extension off the very regular locus needs to be addressed before the explicit decomposition results can be considered established. I would be inclined to accept after a substantive revision that either proves the extension or restricts the statements accordingly. The authors should also clarify the overlap with the concurrent work [8] beyond the brief remark."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a short note that does exactly what it says: it identifies the geometric representation κ_Λ appearing in Nie's decomposition with the algebraic Yu-type construction κ(Λ)⊗ϵ_Λ, up to a character that vanishes for q ≥ c_Λ ≤ 4. The main result, Theorem 1.1, is genuinely new: prior work left κ_Λ geometric, while the algebraic side was built without the comparison. The trace-level agreement in Propositions 3.2 and 4.3 is the core technical step, and the displayed formulas do match term by term. The applications (Corollary 1.3, Theorem 1.5, Corollary 1.7) are clean consequences and represent a real step toward making higher Deligne-Lusztig induction explicit enough for supercuspidal constructions. The paper is honest about overlap with Chan–Oi and about its own open questions, which I appreciate.\n\nThat said, I share the reader's concern about the proof of Theorem 5.4. Proposition 3.2 is stated for unramified very regular γ, but it is applied to every γ in S^F to conclude ψ is trivial on the full torus. The text gives no extension argument, and the proof of Proposition 4.3 already assumes a very-regular-type property when it identifies the fixed-point variety. This is not a cosmetic gap: without an argument that both trace functions are polynomial class functions in the DeBacker–Spice sense, or some other density argument, the equality of traces on all of S^F is unsupported. The first half of Theorem 1.1 (existence of some character ψ) does not depend on this, so the paper's main structural claim is safe, but the stronger statement ψ=1 and the corollaries rest on this step. The bound c_Λ ∈ {2,3,4} in Proposition 5.3 is also asserted via an undisplayed Dynkin diagram case check; that is more likely to be routine, but it should be written or cited.\n\nThese are genuine gaps in the written proof, but they look plausible to fill. The deductive skeleton is coherent and the paper is clearly the work of people who know the machinery. If I were refereeing, I would ask for the extension argument and the Dynkin check, then accept. The paper deserves serious referee time and is worth citing once the gaps are addressed.","headline":"A strong, useful note that makes Nie's higher Deligne-Lusztig decomposition fully explicit, modulo two genuine proof gaps that are likely fixable.","tokens_in":13455,"tokens_out":813,"would_cite":true,"duration_ms":10833,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["22E50","20C33"],"pacs":[],"model":"deepseek-v4-flash","headline":"Under $p\\ne 2$ and $q>3$, the geometric module $\\kappa_\\Lambda$ equals, up to a sign, the algebraic type twisted by the quadratic character $\\epsilon_\\Lambda$, making elliptic higher Deligne-Lusztig decompositions explicit.","keywords":["higher Deligne-Lusztig representations","parahoric Deligne-Lusztig induction","Yu types","Weil-Heisenberg representation","quadratic character","supercuspidal representations","elliptic tori","p-adic groups"],"falsifier":"Take a residue field with $q=2$ or $q=3$, choose a torus element $\\gamma$ that is not generic, and compute the two traces $\\operatorname{tr}(\\gamma;(-1)^{d_\\Lambda}\\kappa_\\Lambda)$ and $\\operatorname{tr}(\\gamma;\\kappa(\\Lambda)\\otimes\\epsilon_\\Lambda)$ from the displayed formulas; if they differ while the generic traces still agree, then $\\psi$ is nontrivial and the conclusion $\\psi=1$, together with Corollary 1.3, fails.","tokens_in":12193,"feed_emoji":"🧮","tokens_out":13467,"duration_ms":133939,"temperature":0.7,"pith_summary":"Higher Deligne-Lusztig representations are cohomological objects attached to parahoric subgroups of $p$-adic groups, and the paper aims to identify the geometric pieces inside them with the algebraic pieces used to build supercuspidal representations. The main theorem states that the geometric module $\\kappa_\\Lambda$ obtained from a higher Deligne-Lusztig variety differs from the algebraic Weil-Heisenberg module $\\kappa(\\Lambda)$ by only a character; once the residue field is large enough ($q>3$ always suffices), that character is trivial after multiplication by the quadratic character $\\epsilon_\\Lambda$. The result turns a structural decomposition from previous work into an explicit formula whose summands are compact inductions of $\\kappa(\\Lambda)\\otimes\\epsilon_\\Lambda\\otimes\\rho$, each irreducible and pairwise non-isomorphic. The same equality is then used to show that unramified Yu types occur in higher Deligne-Lusztig cohomology and that unramified regular supercuspidal representations are compact inductions of explicit higher Deligne-Lusztig representations up to a sign.","feed_headline":"For large residue fields, geometric and algebraic constructions agree","feed_subtitle":"A character twist vanishes once q exceeds 3, giving explicit supercuspidal decompositions.","key_machinery":"The comparison runs on the Heisenberg representation. Both $(-1)^{d_\\Lambda}\\kappa_\\Lambda$ and $\\kappa(\\Lambda)\\otimes\\epsilon_\\Lambda$ restrict to the same irreducible Heisenberg module $\\omega_\\Lambda$ on $H_\\Lambda^F$, with the same central character $\\chi_\\Lambda$; a general lemma then forces the two modules to differ by a one-dimensional character $\\psi$ of the finite reductive quotient $K_\\Lambda^F/H_\\Lambda^F\\cong (L_\\Lambda)^F_0$. The remaining burden is to show $\\psi$ is trivial, which is done by checking that $(L_\\Lambda)^F_0$ is generated by its commutator subgroup and a maximally split torus $S_0^F$, and then comparing the trace formulas of Propositions 3.2 and 4.3 on $S_0^F$. The threshold $c_\\Lambda\\in\\{2,3,4\\}$ comes from a Dynkin-diagram case check that ensures such a torus generates up to commutators.","core_discovery":"The central claim is that the geometric representative $\\kappa_\\Lambda$ — defined as the alternating cohomology of the higher Deligne-Lusztig variety $Y_\\Lambda$ cut by a character — is governed by the same Heisenberg representation that underlies the algebraic construction. Theorem 1.1 asserts that under $p\\ne 2$ there is a character $\\psi$ of $K_\\Lambda^F$ such that $(-1)^{d_\\Lambda}\\kappa_\\Lambda \\cong \\kappa(\\Lambda)\\otimes\\epsilon_\\Lambda\\otimes\\psi$, and that $\\psi=1$ whenever $q\\ge c_\\Lambda$, with $2\\le c_\\Lambda\\le4$. Since earlier work had already reduced an elliptic higher Deligne-Lusztig representation to an induction of $\\kappa_\\Lambda$, the case $\\psi=1$ produces the explicit decomposition $R^G_{T,r}(\\phi)=(-1)^{d_\\Lambda}\\sum_\\rho m_\\rho \\operatorname{ind}^{G(O_k)}_{K(O_k)} \\kappa(\\Lambda)\\otimes\\epsilon_\\Lambda\\otimes\\rho$, with every displayed summand irreducible and pairwise non-isomorphic. The paper also derives that each unramified Yu type appears in the cohomology of a higher Deligne-Lusztig variety, and that each unramified regular supercuspidal representation is the compact induction of a specified higher Deligne-Lusztig representation up to a sign.","pith_inferences":["The uniform bound $c_\\Lambda\\le4$ implies the main equality is unconditional for every residue field of size at least $5$; only $q=2,3$ can require case-by-case checks, so the theorem's true domain may be wider than the stated thresholds.","The unproved extension of Proposition 3.2 off the generic torus elements is the one place a counterexample could hide; checking the trace identity on a single non-generic element for $q=2$ or $q=3$ would test whether the full decomposition survives there.","Carrying the same character comparison to modular coefficients, as the paper suggests in Remark 1.2, would turn the explicit decomposition into a modular decomposition, with the sign $d_\\Lambda$ and the quadratic twist $\\epsilon_\\Lambda$ controlling what happens under reduction modulo $\\ell$.","The sign and quadratic twist likely record the difference between geometric compact induction and the packet normalization of the algebraic construction, so the equality may also serve as a bridge for endoscopic character identities."],"forward_implications":["Corollary 1.3 gives a fully explicit irreducible decomposition of every elliptic higher Deligne-Lusztig representation once $q\\ge c_\\Lambda$, with summands indexed by the irreducible constituents of a classical Deligne-Lusztig representation.","Theorem 1.5 shows that every unramified Yu-type supercuspidal representation appears in the cohomology of a higher Deligne-Lusztig variety, and that suitable elliptic tori and depth-zero characters always exist.","Corollary 1.7 realizes each unramified regular supercuspidal representation as the compact induction of a specified higher Deligne-Lusztig representation, up to an explicit sign and the character twist $\\epsilon[\\phi]$.","For toral characters the threshold is $c_\\Lambda=2$, so the explicit decomposition holds with no restriction on $q$ beyond $p\\ne2$ and the standing hypotheses on $p$.","The identification $\\kappa_\\Lambda\\cong\\kappa(\\Lambda)\\otimes\\epsilon_\\Lambda$ lets one transfer computations between the cohomology of higher Deligne-Lusztig varieties and the explicit algebraic formulas of the type construction."],"supporting_citations":[{"why":"Supplies the prior decomposition of an elliptic higher Deligne-Lusztig representation into an induction of $\\kappa_\\Lambda$, plus the concentration and dimension results used to compute traces of $\\kappa_\\Lambda$.","marker":"[22]"},{"why":"Defines the generic data, the Heisenberg and Weil representations, and the type-theoretic construction that the paper compares with geometry.","marker":"[23]"},{"why":"Constructs the quadratic character $\\epsilon_\\Lambda$ used to twist the algebraic module to match the geometric one.","marker":"[15]"},{"why":"Provides the character formula for the Weil-Heisenberg representation that enters the trace computation for $\\kappa(\\Lambda)$ in Proposition 3.2.","marker":"[1]"},{"why":"Supplies the root-counting notation and the formula used to rewrite the trace on $\\kappa(\\Lambda)$ in terms of the quadratic character and root sets.","marker":"[12]"},{"why":"Defines Howe factorizations and regular supercuspidal representations, giving the parameterization used in Corollary 1.7 and Theorem 6.3.","marker":"[19]"},{"why":"Gives the classical Deligne-Lusztig representations that form the depth-zero factor in the decomposition.","marker":"[11]"},{"why":"Supplies the Heisenberg $p$-group structure of $H_\\Lambda^F/\\ker\\chi_\\Lambda$ used to define the common irreducible module $\\omega_\\Lambda$.","marker":"[20]"}],"fun_headline_variants":["When q>3, geometric and algebraic twists vanish","Large residue fields yield explicit DL decompositions","q>3: explicit higher Deligne-Lusztig decompositions","For q>3, DL constructions agree exactly"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that the character $\\psi$ is trivial assumes that a trace identity established only for generic torus elements extends to every torus element, yet no lemma or cited result in the paper states that extension.","fun_headline_variants_meta":{"raw":{"variants":["When q>3, geometric and algebraic twists vanish","Large residue fields yield explicit DL decompositions","q>3: explicit higher Deligne-Lusztig decompositions","For q>3, DL constructions agree exactly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000988,"raw_usage":{"total_tokens":4225,"prompt_tokens":1017,"completion_tokens":3208,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":633,"completion_tokens_details":{"reasoning_tokens":3154}},"tokens_in":633,"tokens_out":3208,"duration_ms":24272,"temperature":1.0,"reasoning_tokens":3154,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T00:39:25.571420+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a residue field with $q=2$ or $q=3$, choose a torus element $\\gamma$ that is not generic, and compute the two traces $\\operatorname{tr}(\\gamma;(-1)^{d_\\Lambda}\\kappa_\\Lambda)$ and $\\operatorname{tr}(\\gamma;\\kappa(\\Lambda)\\otimes\\epsilon_\\Lambda)$ from the displayed formulas; if they differ while the generic traces still agree, then $\\psi$ is nontrivial and the conclusion $\\psi=1$, together with Corollary 1.3, fails.","supporting_citations":[{"cited_title":"Decomposition of higher Deligne-Lusztig representations","cited_arxiv_id":"2406.06430","evidence_quote":"Supplies the prior decomposition of an elliptic higher Deligne-Lusztig representation into an induction of $\\kappa_\\Lambda$, plus the concentration and dimension results used to compute traces of $\\kappa_\\Lambda$."},{"cited_title":"Yu,Construction of tame supercuspidal representations, J","cited_arxiv_id":null,"evidence_quote":"Defines the generic data, the Heisenberg and Weil representations, and the type-theoretic construction that the paper compares with geometry."},{"cited_title":"Fintzen, T","cited_arxiv_id":null,"evidence_quote":"Constructs the quadratic character $\\epsilon_\\Lambda$ used to twist the algebraic module to match the geometric one."},{"cited_title":"Adler, L","cited_arxiv_id":null,"evidence_quote":"Provides the character formula for the Weil-Heisenberg representation that enters the trace computation for $\\kappa(\\Lambda)$ in Proposition 3.2."},{"cited_title":"DeBacker, L","cited_arxiv_id":null,"evidence_quote":"Supplies the root-counting notation and the formula used to rewrite the trace on $\\kappa(\\Lambda)$ in terms of the quadratic character and root sets."},{"cited_title":"Kaletha,Regular supercuspidal representations, J","cited_arxiv_id":null,"evidence_quote":"Defines Howe factorizations and regular supercuspidal representations, giving the parameterization used in Corollary 1.7 and Theorem 6.3."},{"cited_title":"Deligne and G","cited_arxiv_id":null,"evidence_quote":"Gives the classical Deligne-Lusztig representations that form the depth-zero factor in the decomposition."},{"cited_title":"Kim,Supercuspidal representations: an exhaustion theorem, J","cited_arxiv_id":null,"evidence_quote":"Supplies the Heisenberg $p$-group structure of $H_\\Lambda^F/\\ker\\chi_\\Lambda$ used to define the common irreducible module $\\omega_\\Lambda$."}],"review_version":1}