A survey of character sheaves

G. Lusztig

A survey of character sheaves

T0 review · 0 major / 1 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A survey traces the origins of character sheaves and outlines recent developments in the theory.

desk verdict This is a survey write-up of a 2026 workshop talk with no new results, just Lusztig's overview of character sheaf theory from its start to some recent points. read the letter →

arxiv 2606.13545 v1 pith:XVRXOJPB submitted 2026-06-11 math.RT

G. Lusztig This is my paper · ORCID

classification math.RT

keywords charactersheavesreductivegroupsfinitefieldsperverserepresentationsgeometricconstructionloop

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper presents the content of a talk that surveys the theory of character sheaves. It covers the initial development of the concept as a geometric tool for studying characters of finite groups of Lie type. The survey explains how character sheaves use perverse sheaves on group varieties to encode representation data. It also highlights some newer advances in the area. Understanding this theory matters because it connects algebraic geometry with representation theory in a fundamental way.

What carries the argument

Character sheaves, defined as certain G-equivariant perverse sheaves on the group G that satisfy specific support and eigenvalue conditions, serving to construct characters via their trace functions.

What would settle it

Identification of a significant early result or construction in character sheaves that the survey omits would indicate the description is incomplete.

Watch

Extended reading notes

Core claim

The author presents an overview of the theory of character sheaves, beginning with their introduction to provide a geometric realization of irreducible characters for reductive groups over finite fields, and extending to more recent work including applications involving loop groups.

Load-bearing premise

The summarized talk content accurately reflects the key historical milestones and current directions in character sheaf theory without major gaps or inaccuracies.

Editorial extensions

If this is right

Character sheaves provide a uniform geometric construction for all irreducible characters of finite reductive groups.
The framework extends naturally to settings of positive characteristic.
Recent developments apply the same geometric methods to loop groups.
Trace functions on character sheaves recover the classical character values.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The survey could motivate explicit algorithms that compute characters by realizing the corresponding sheaves on concrete varieties.
The geometric viewpoint may connect to categorified versions of representation theory in adjacent fields.
Extensions to other infinite groups or moduli spaces could follow the pattern described for loop groups.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

This paper is the text of a talk Lusztig gave at a Minnesota workshop on character sheaves. It walks through the early development of the theory and notes some later work, all drawn from existing literature.

Nothing in it is new. There are no theorems, no proofs, no fresh derivations, and no claims that go beyond what Lusztig and others have already published. The value, if any, lies in the author's direct involvement in the subject from the beginning.

Lusztig's account can be useful because he can connect the original ideas to later refinements in a way that might not be obvious from the papers alone. A reader who already knows the main references might pick up context or emphasis that clarifies why certain constructions were introduced when they were.

The obvious limitation is that a survey of this kind does not solve open problems or supply new tools. Its accuracy depends on whether the talk version covers the key points without major gaps, and a short talk format often leaves out technical details. That is not a flaw in execution so much as a feature of the format.

The paper is aimed at people already working in representation theory or algebraic geometry who want a compact historical sketch from the main contributor. Someone looking for new mathematics or a self-contained reference will not find it here.

I would send it to peer review for a journal that explicitly accepts surveys, because the author's standing makes the content worth checking for balance and omissions. For a standard research journal it would be a desk reject.

Referee Report

0 major / 1 minor

Summary. The manuscript is the written version of a talk delivered at the June 2026 workshop on Character Sheaves on Loop Groups at the University of Minnesota. It surveys the early development of the theory of character sheaves and outlines selected recent developments.

Significance. A concise, accessible survey of this specialized topic in geometric representation theory can help consolidate historical context and highlight active directions for researchers and students. If the exposition is faithful to the literature, the manuscript performs a useful service by making the origins and current state of character sheaves more readily available.

minor comments (1)

The abstract states that the text 'describes the early days of the theory and also some recent developments,' but does not list the specific topics or theorems covered; adding a short enumerated outline of the sections would improve navigability for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report contains no major comments requiring a response.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: purely descriptive survey

full rationale

The paper is explicitly a survey of existing work on character sheaves, consisting of the content of a workshop talk that describes early developments and some recent ones. It contains no derivations, equations, predictions, fitted parameters, or load-bearing self-citations. The central claim reduces only to the statement that the manuscript covers those topics, which is self-contained and externally verifiable by reading the sections; no step reduces to its own inputs by construction.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

This is a survey paper summarizing prior work in character sheaves; it introduces no new free parameters, axioms, or invented entities.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A survey of character sheaves." pith.science (2026). https://pith.science/paper/XVRXOJPB

@misc{pith2026260613545,
  author       = {Pith},
  title        = {Pith review of: A survey of character sheaves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XVRXOJPB}},
  note         = {Machine review of arXiv:2606.13545}
}

read the original abstract

This is essentially the content of a talk at the workshop on Character Sheaves on Loop Groups at the University of Minnesota (June 8,2026). It describes the early days of the theory and also some recent developments.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 2 canonical work pages

[1]

188 (2012), 589-620

[BFO12] R.Bezrukavnikov,M.Finkelberg,V.Ostrik, Character D-modules via Drinfeld center of Harish-Chandra bimodules , Inv.Math. 188 (2012), 589-620. [BC24] R.Bezrukavnikov,C.Chan, Generic character sheaves on parahoric subgroups , arxiv:2401.07189. [BD13] M.Boyarchenko, V. Drinfeld, Character sheaves on unipotent groups in positive char- acteristic: founda...

work page arXiv 2012
[2]

75 (1984), 205-272

[L84a] G.Lusztig, Intersection cohomology complexes on a reductive group , Inv.Math. 75 (1984), 205-272. [L85] G.Lusztig, Character sheaves I , Adv.Math. 56 (1985), 193-237. [L85a] G.Lusztig, Character sheaves II , Adv.Math. 57 (1985), 226-265. [L85b] G.Lusztig, Character sheaves III , Adv.Math. 57 (1985), 266-315. [L86] G.Lusztig, Character sheaves IV , ...

1984
[3]

8 (2004), 72-

[L04a] G.Lusztig, Character sheaves on disconnected groups II , Represent.Th. 8 (2004), 72-

2004
[4]

8 (2004), 125-

[L04b] G.Lusztig, Character sheaves on disconnected groups III , Represent.Th. 8 (2004), 125-

2004
[5]

8 (2004), 145-

[L04c] G.Lusztig, Character sheaves on disconnected groups IV , Represent.Th. 8 (2004), 145-

2004
[6]

8 (2004), 346-

[L04d] G.Lusztig, Character sheaves on disconnected groups V , Represent.Th. 8 (2004), 346-

2004
[7]

8 (2004), 377-

[L04e] G.Lusztig, Character sheaves on disconnected groups VI , Represent.Th. 8 (2004), 377-

2004
[8]

4 (2004), 153-179

[L04f] G.Lusztig, Parabolic character sheaves I , Moscow Math.J. 4 (2004), 153-179. [L04g] G.Lusztig, Parabolic character sheaves II , Moscow Math.J. 4 (2004), 869-896. A SUR VEY OF CHARACTER SHEA VES 7 [L05] G.Lusztig, Character sheaves on disconnected groups VII , Represent.Th. 9 (2005), 209-266. [L06] G.Lusztig, Character sheaves and generalizations , ...

work page arXiv 2004

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.

[1] [1]

188 (2012), 589-620

[BFO12] R.Bezrukavnikov,M.Finkelberg,V.Ostrik, Character D-modules via Drinfeld center of Harish-Chandra bimodules , Inv.Math. 188 (2012), 589-620. [BC24] R.Bezrukavnikov,C.Chan, Generic character sheaves on parahoric subgroups , arxiv:2401.07189. [BD13] M.Boyarchenko, V. Drinfeld, Character sheaves on unipotent groups in positive char- acteristic: founda...

work page arXiv 2012

[2] [2]

75 (1984), 205-272

[L84a] G.Lusztig, Intersection cohomology complexes on a reductive group , Inv.Math. 75 (1984), 205-272. [L85] G.Lusztig, Character sheaves I , Adv.Math. 56 (1985), 193-237. [L85a] G.Lusztig, Character sheaves II , Adv.Math. 57 (1985), 226-265. [L85b] G.Lusztig, Character sheaves III , Adv.Math. 57 (1985), 266-315. [L86] G.Lusztig, Character sheaves IV , ...

1984

[3] [3]

8 (2004), 72-

[L04a] G.Lusztig, Character sheaves on disconnected groups II , Represent.Th. 8 (2004), 72-

2004

[4] [4]

8 (2004), 125-

[L04b] G.Lusztig, Character sheaves on disconnected groups III , Represent.Th. 8 (2004), 125-

2004

[5] [5]

8 (2004), 145-

[L04c] G.Lusztig, Character sheaves on disconnected groups IV , Represent.Th. 8 (2004), 145-

2004

[6] [6]

8 (2004), 346-

[L04d] G.Lusztig, Character sheaves on disconnected groups V , Represent.Th. 8 (2004), 346-

2004

[7] [7]

8 (2004), 377-

[L04e] G.Lusztig, Character sheaves on disconnected groups VI , Represent.Th. 8 (2004), 377-

2004

[8] [8]

4 (2004), 153-179

[L04f] G.Lusztig, Parabolic character sheaves I , Moscow Math.J. 4 (2004), 153-179. [L04g] G.Lusztig, Parabolic character sheaves II , Moscow Math.J. 4 (2004), 869-896. A SUR VEY OF CHARACTER SHEA VES 7 [L05] G.Lusztig, Character sheaves on disconnected groups VII , Represent.Th. 9 (2005), 209-266. [L06] G.Lusztig, Character sheaves and generalizations , ...

work page arXiv 2004