Unipotent groups with trivial mathbb{L}-packets are easy
Pith reviewed 2026-05-16 21:54 UTC · model grok-4.3
The pith
Unipotent algebraic groups over algebraic closures of finite fields have singleton L-packets of character sheaves exactly when every geometric point lies in the neutral component of its centralizer.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a unipotent algebraic group over the algebraic closure of a finite field, its L-packets of character sheaves are singletons if and only if every geometric point of the group is contained in the neutral connected component of its centralizer. The paper proves the direction that was not yet established, thereby completing the conjecture in this setting, and along the way examines the Asai twisting operator for groups satisfying the centralizer condition.
What carries the argument
The Asai twisting operator, which relates the L-packets and the centralizer property for algebraic groups.
If this is right
- The conjecture of Boyarchenko and Drinfeld holds for unipotent groups over the algebraic closure of a finite field.
- Groups satisfying the neutral centralizer condition have trivial L-packets.
- The Asai twisting operator can be used to study groups with this property.
- Character sheaves on these groups form singleton packets under the stated geometric condition.
Where Pith is reading between the lines
- This characterization may allow explicit descriptions of character sheaves for many unipotent groups.
- Similar results could be pursued for unipotent groups over other fields of positive characteristic.
- The connection via Asai twisting suggests a way to reduce questions about general groups to twisted versions.
Load-bearing premise
The groups in question are unipotent and the base field is the algebraic closure of a finite field.
What would settle it
A counterexample would be an explicit unipotent group over the algebraic closure of a finite field in which some geometric point lies outside the neutral connected component of its centralizer, yet the L-packet of the corresponding character sheaf is a singleton.
read the original abstract
In 2006, Boyarchenko and Drinfeld conjectured that for a unipotent algebraic group over a field of positive characteristic, every geometric point is contained in the neutral connected component of its centralizer if and only if its $\mathbb{L}$-packets of character sheaves are singletons. In 2013, Boyarchenko proved the "only if" direction for $\overline{\mathbb{F}}_q$. In this paper, we complete the proof of the conjecture in this case. Along the way, we explore the relationship between general algebraic groups satisfying this property and their Asai twisting operator.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper completes the proof of the Boyarchenko-Drinfeld conjecture for unipotent algebraic groups over the algebraic closure of a finite field. It establishes the missing 'if' direction: if every geometric point lies in the neutral connected component of its centralizer, then the L-packets of character sheaves are singletons. The argument builds directly on Boyarchenko's 2013 'only if' result and employs the Asai twisting operator to relate groups satisfying the centralizer condition to their L-packets.
Significance. If correct, this resolves the conjecture in the case of unipotent groups over F_q-bar, providing a clean characterization of groups with trivial L-packets. The explicit use of the Asai twisting operator to reduce to the known direction is a useful technical contribution that may extend to related questions in character sheaf theory and geometric representation theory in positive characteristic.
minor comments (2)
- [§2.3] §2.3: the definition of the Asai twisting operator T would be clearer if accompanied by an explicit computation for the additive group G_a, showing how it acts on the relevant character sheaves.
- [Theorem 1.1] The statement of the main theorem (Theorem 1.1) repeats the centralizer condition verbatim from the abstract; a short parenthetical reference to the precise formulation in Boyarchenko 2013 would improve readability.
Simulated Author's Rebuttal
We thank the referee for their positive report and recommendation to accept the manuscript. The summary accurately reflects that we have completed the 'if' direction of the Boyarchenko-Drinfeld conjecture for unipotent groups over the algebraic closure of a finite field, building on Boyarchenko's earlier 'only if' result via the Asai twisting operator.
Circularity Check
No significant circularity; derivation self-contained via external prior result
full rationale
The paper proves the missing 'if' direction of the Boyarchenko-Drinfeld conjecture for unipotent groups over the algebraic closure of a finite field, explicitly building on Boyarchenko's 2013 independent 'only if' result. No load-bearing self-citations exist (authors do not overlap), no fitted inputs are renamed as predictions, and no equations reduce by construction to the paper's own inputs. The argument relies on standard character sheaf techniques and the Asai twisting operator applied to groups satisfying the centralizer condition, remaining externally supported and non-circular.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard properties of unipotent algebraic groups and character sheaves over fields of positive characteristic
Reference graph
Works this paper leans on
-
[1]
Mitya Boyarchenko and Vladimir Drinfeld. A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic. arXiv , math.RT/0609769, 2010
-
[2]
Character sheves on unipotent groups in positive characteristic: foundations
Mitya Boyarchenko and Vladimir Drinfeld. Character sheves on unipotent groups in positive characteristic: foundations. Sel. Math. New Ser. , 20:125--135, 2014
work page 2014
-
[3]
Characters of unipotent groups over finite fields
Mitya Boyarchenko. Characters of unipotent groups over finite fields. Sel. Math. New Ser. , 16:857--933, 2010
work page 2010
-
[4]
Character sheaves and characters of unipotent groups over finite fields
Mitya Boyarchenko. Character sheaves and characters of unipotent groups over finite fields. Amer. J. Math. , 135(3):663--719, 2013
work page 2013
-
[5]
Shintani descent for algebraic groups and almost characters of unipotent groups
Tanmay Deshpande. Shintani descent for algebraic groups and almost characters of unipotent groups. Compositio Mathematica , 152(8):1697–1724, 2016
work page 2016
-
[6]
Character sheaves and generalizations
George Lusztig. Character sheaves and generalizations. The Unity of Mathematics: In Honor of the Ninetieth Birthday of I.M. Gelfand , 17(3):443--455, 2006
work page 2006
-
[7]
Shintani descent for algebraic groups over a finite field, i
Toshiaki Shoji. Shintani descent for algebraic groups over a finite field, i. Journal of Algebra , 145(2):468--524, 1992
work page 1992
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.