On the new bases attached to families of Weyl groups

G. Lusztig

arxiv: 2403.17746 · v2 · submitted 2024-03-26 · 🧮 math.RT

On the new bases attached to families of Weyl groups

G. Lusztig This is my paper

Pith reviewed 2026-05-24 02:52 UTC · model grok-4.3

classification 🧮 math.RT

keywords Weyl groupsGrothendieck groupunipotent representationsreductive groupsfinite fieldsexceptional typesnew basis

0 comments

The pith

A modified definition of the new basis is used for exceptional Weyl group families in the complexified Grothendieck group of unipotent representations.

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

This paper examines the new basis attached to families of Weyl groups inside the complexified Grothendieck group of unipotent representations for split reductive groups over finite fields. The central effort is to study this basis and, specifically for exceptional types, to adopt a definition that differs from the one used in earlier work. A sympathetic reader cares because the basis is meant to organize the unipotent representations in a useful way. The change in definition is presented as compatible with the needed properties of the group.

Core claim

We study the new basis of the (complexified) Grothendieck group of unipotent representations of a split reductive group over a finite field. For exceptional types we use a definition of the new basis which differs from the earlier one.

What carries the argument

The new basis attached to families of Weyl groups, which carries the structure inside the complexified Grothendieck group of unipotent representations.

If this is right

The Grothendieck group admits a basis indexed by families of Weyl groups that respects the unipotent representation structure.
The modified definition for exceptional types continues to support the same algebraic relations as the original definition.
The basis applies uniformly to all split reductive groups over finite fields once the exceptional cases are handled separately.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Checking the basis elements against known character tables for small exceptional groups would test consistency.
The construction may extend to give explicit formulas for the change-of-basis matrix between the new basis and the standard basis of class functions.
Similar redefinitions could be explored for other non-simply-laced or twisted groups where family structures differ.

Load-bearing premise

That a well-defined new basis attached to families of Weyl groups exists and that altering its definition for exceptional types preserves the key structural properties needed for the study.

What would settle it

An explicit computation for an exceptional type such as E6 or F4 showing that the altered basis fails to satisfy the expected linear relations or positivity properties in the Grothendieck group.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Lusztig adjusts his definition of the new basis for exceptional Weyl groups in this short note, but it adds little beyond that targeted change.

read the letter

Lusztig is updating the definition of the new basis in the complexified Grothendieck group of unipotent representations, but only for exceptional types. The earlier definition apparently does not fit those cases as cleanly, so he switches to a different one while keeping the overall setup tied to families of Weyl groups. That is the concrete move here. The note stays inside the same framework he has used before for split reductive groups over finite fields. It specifies the adjustment without introducing new theorems or large-scale computations. The strength is that it keeps the construction consistent enough to remain usable for organizing representations in those exceptional cases. The limitation is that the text gives no explicit verification that the modified basis still satisfies the key relations or spans the space as required. Everything rests on the prior definitions and results, so the circularity is built in. No independent checks or examples appear to test whether the change preserves the structural properties. This is a narrow technical note aimed at people already working inside Lusztig's theory of unipotent representations and the associated bases. A reader outside that small circle will not get much from it. The work shows clear engagement with the literature it builds on, but the advance is small. I would not bring it to a reading group. I would not cite it in my own papers. It is still worth sending to a referee as a short note rather than desk-rejecting outright, mainly because the author has a track record in this area and the adjustment might matter to the handful of people who use these bases regularly.

Referee Report

2 major / 0 minor

Summary. The manuscript studies the new basis of the (complexified) Grothendieck group of unipotent representations of a split reductive group over a finite field. For exceptional types it uses a definition of the new basis which differs from the earlier one.

Significance. If the modified definition for exceptional types can be shown to preserve the basis properties and key relations in the Grothendieck group, the work could contribute to the study of unipotent representations in exceptional Weyl group families. However, with no explicit definitions, comparisons, or arguments provided, the potential significance cannot be assessed.

major comments (2)

[Abstract] Abstract: The text refers to 'the new basis' and 'the earlier one' without supplying definitions, explicit constructions, or references to prior results within the manuscript. This makes the central claim about studying a modified basis for exceptional types impossible to verify or evaluate for internal consistency.
[Abstract] Abstract: No theorems, propositions, or derivations are stated, so there is no load-bearing mathematical content against which to check whether the modified definition for exceptional types preserves the required structural properties of the basis.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the report. The manuscript is a short note whose purpose is to record a modification to the definition of the new basis in exceptional types. We address the two major comments below and will revise the manuscript to improve clarity and self-containedness.

read point-by-point responses

Referee: [Abstract] Abstract: The text refers to 'the new basis' and 'the earlier one' without supplying definitions, explicit constructions, or references to prior results within the manuscript. This makes the central claim about studying a modified basis for exceptional types impossible to verify or evaluate for internal consistency.

Authors: The note is deliberately brief and assumes familiarity with the author's earlier papers on the same topic (in which the original definition of the new basis appears). We agree that the current version does not repeat those definitions or supply explicit citations inside the manuscript itself. In the revised version we will add a short preliminary section that recalls the relevant definitions from the literature and states the precise modification used for exceptional types. revision: yes
Referee: [Abstract] Abstract: No theorems, propositions, or derivations are stated, so there is no load-bearing mathematical content against which to check whether the modified definition for exceptional types preserves the required structural properties of the basis.

Authors: The manuscript does not claim new theorems; its sole purpose is to announce that, for exceptional types, a different definition of the new basis is adopted. Verification that the modified basis still satisfies the expected relations is left to the earlier papers or to future work. If the referee considers this scope too narrow, we can expand the note to include a brief verification for the exceptional cases, but that would change the character of the note from an announcement to a full proof paper. revision: partial

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The provided abstract and context describe the study of an existing 'new basis' with a modified definition for exceptional types, but contain no equations, predictions, or derivation steps that reduce by construction to inputs, self-citations, or fitted parameters. No load-bearing self-referential definitions or uniqueness claims are exhibited that would require quoting specific reductions. The work is presented as continuing prior definitions without internal circularity in the given material.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, axioms or invented entities.

pith-pipeline@v0.9.0 · 5544 in / 1136 out tokens · 29886 ms · 2026-05-24T02:52:26.922804+00:00 · methodology

On the new bases attached to families of Weyl groups

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)