Recognition: unknown
Characteristic-free approaches around Yu's construction
Pith reviewed 2026-05-07 12:40 UTC · model grok-4.3
The pith
A characteristic-free construction allows twisted Yu's method to extend to residual characteristic 2 for root systems lacking symmetric and ramified roots.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We give a direct characteristic-free construction of twisted Heisenberg-Weil representations when there are no symmetric and ramified roots. This shows that twisted Yu's construction naturally extends to residual characteristic 2. We also give a geometric realization via the Deligne-Lusztig construction for Heisenberg group schemes and an explicit description of positive-depth parahoric Deligne-Lusztig induction in the generic case.
What carries the argument
The direct characteristic-free construction of twisted Heisenberg-Weil representations, which carries the argument by enabling the extension of Yu's construction in all characteristics under the given root system condition.
If this is right
- Twisted Yu's construction applies in residual characteristic 2.
- A geometric realization of the twisted Heisenberg-Weil representations is obtained using Deligne-Lusztig methods for Heisenberg group schemes.
- Positive-depth parahoric Deligne-Lusztig induction receives an explicit description in the generic case.
Where Pith is reading between the lines
- This approach may facilitate the study of representations in positive characteristic without relying on lifting to characteristic zero.
- Connections between algebraic and geometric constructions in representation theory could be strengthened for other types of groups.
- The restriction to root systems without symmetric and ramified roots suggests investigating whether similar constructions exist when those roots are present.
Load-bearing premise
The root system has no symmetric and ramified roots.
What would settle it
A concrete counterexample in residual characteristic 2 for a reductive group whose root system has no symmetric and ramified roots where the twisted Heisenberg-Weil representation fails to be constructed as described.
read the original abstract
We give a direct characteristic-free construction of twisted Heisenberg-Weil representations when there are no symmetric and ramified roots. As a consequence, we show that twisted Yu's construction naturally extends to residual characteristic $2$. Moreover, we give a geometric realization of such twisted Heisenberg-Weil representations via the Deligne-Lusztig construction for Heisenberg group schemes. As an application, we give an explicit description of positive-depth parahoric Deligne-Lusztig induction in the generic case.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript gives a direct characteristic-free construction of twisted Heisenberg-Weil representations, restricted to root systems containing no symmetric and ramified roots. As a direct consequence it extends twisted Yu's construction to residual characteristic 2. It further supplies a geometric realization of the representations via the Deligne-Lusztig construction applied to Heisenberg group schemes and, as an application, an explicit description of positive-depth parahoric Deligne-Lusztig induction in the generic case.
Significance. If the derivations hold, the work removes a long-standing odd-residual-characteristic restriction from Yu's construction, thereby enlarging the range of p-adic groups and representations to which the method applies. The characteristic-free algebraic construction, completed before any appeal to Deligne-Lusztig geometry, and the explicit inductive description constitute concrete strengths that could facilitate further computations and comparisons with other approaches in the representation theory of reductive groups over local fields.
minor comments (3)
- The abstract states that the construction is 'restricted to root systems with no symmetric and ramified roots' but does not indicate where in the manuscript the necessity of this hypothesis is proved or motivated; a forward reference to the relevant section would improve readability.
- The phrase 'generic case' in the final sentence of the abstract is not defined; a one-sentence clarification of the genericity condition (e.g., in terms of the depth or the residue-field cardinality) would help readers assess the scope of the application.
- Notation for the twisted Heisenberg-Weil representation (e.g., the cocycle or the central extension) is introduced only after the construction begins; moving a concise definition to the introduction or a preliminary section would aid navigation.
Simulated Author's Rebuttal
We thank the referee for their positive and accurate summary of our manuscript, as well as for recognizing its significance in providing a characteristic-free construction that extends Yu's work to residual characteristic 2 and supplies a Deligne-Lusztig geometric realization. We appreciate the recommendation for minor revision. No major comments were raised in the report, so we have no specific points to address point-by-point. We will incorporate any minor editorial adjustments in the revised version.
Circularity Check
No significant circularity detected
full rationale
The paper states its key hypothesis (no symmetric and ramified roots) explicitly at the outset and derives the twisted Heisenberg-Weil representations via a direct algebraic construction that is asserted to be characteristic-free. The extension of twisted Yu's construction to residual characteristic 2 is presented strictly as a consequence of this construction, with the Deligne-Lusztig realization invoked only afterward. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional equivalence within the paper; the central argument remains independent of the excluded root cases and does not smuggle in ansatzes or rename prior results as new derivations.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of root systems, Heisenberg group schemes, and Deligne-Lusztig constructions in algebraic groups.
Reference graph
Works this paper leans on
-
[1]
arXiv: 2506.04449 [math.RT]. [Del74] Pierre Deligne. “La conjecture de Weil. I”. In:Inst. Hautes Études Sci. Publ. Math.43 (1974), pp. 273–307.issn: 0073-8301,1618-1913. [DL76] Pierre Deligne and George Lusztig. “Representations of reductive groups over finite fields”. In: Ann. of Math. (2)103.1 (1976), pp. 103–161.issn: 0003-486X. [Fin21] Jessica Fintzen...
-
[2]
Construction of tame supercuspidal representations
Springer-Verlag, Berlin, 1977, pp. iv+312.isbn: 3-540-08066- X; 0-387-08066-X. [Tak25] Yuta Takaya. On depth-zero integral models of local Shimura varieties. 2025. arXiv:2505.10000 [math.NT]. [Yu01] Jiu-Kang Yu. “Construction of tame supercuspidal representations”. In: J. Amer. Math. Soc. 14.3 (2001), pp. 579–622.issn: 0894-0347,1088-6834. [Zhu17] Xinwen ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.