Representations of Coxeter groups of Lusztig's a-function value 1

Titel: Representaties van Coxeter-groepen met de waarde 1 van Lusztigs a-functie

Auteur: Hongsheng Hu
Tijdschrift/Preprint: arXiv:2309.00593v3 (2026)

---

1. Probleemstelling en Context

In de representatietheorie van Coxeter-groepen $(W, S)$ spelen de cellen van Kazhdan-Lusztig en de bijbehorende cell-representaties een centrale rol. Lusztig introduceerde een functie $a: W \to \mathbb{N}$ die constant is op tweezijdige cellen. Deze functie is een krachtig hulpmiddel om de structuur van cellen en representaties te analyseren.

Een specifieke tweezijdige cel, genoteerd als $C_1$, bestaat uit de elementen van $W$ (behalve het eenheidselement) die een unieke gereduceerde uitdrukking hebben. Voor irreducibele Coxeter-groepen is $C_1$ de op één na hoogste cel in de cel-orde, en de waarde van de $a$-functie hierop is $a(w) = 1$.

Het centrale probleem van dit artikel is het karakteriseren en classificeren van irreducibele representaties van de Coxeter-groep $W$ (of de bijbehorende Hecke-algebra) die een $a$-functiewaarde van 1 hebben.

• De cell-representatie geleverd door $C_1$ is vaak te "groot" en kan oneindig veel niet-isomorfe eenvoudige quotiënten hebben, of zelfs oneindig-dimensionale quotiënten.
• Het is niet triviaal om te bepalen welke irreducibele representaties precies deze $a$-waarde van 1 bezitten, vooral omdat de geometrische representatie (die bekend is om $a=1$ te hebben) slechts één voorbeeld is.

2. Methodologie

De auteur hanteert een combinatie van structurele analyse van de Hecke-algebra, eigenschappen van de Kazhdan-Lusztig-basis, en de studie van restricties naar dihedrale ondergroepen.

• Specialisatie: De representaties worden beschouwd over het complexe getallenveld $\mathbb{C}$ met de specialisatie $q^{1/2} = 1$. Hierdoor correspondeert een representatie van de Hecke-algebra direct met een representatie van de Coxeter-groep $W$.
• Karakterisatie via Eigenwaarden: De kern van de methode is het analyseren van de actie van de generatoren $s \in S$ op de representatieruimte. Specifiek wordt gekeken naar de gemeenschappelijke eigenvectoren met eigenwaarde $-1$ voor paren generatoren.
• Dihedrale Restricties: De auteur gebruikt de structuur van eindige dihedrale ondergroepen $D_m = \langle r, t \rangle$ om de werking van de elementen $C_{w_{rt}}$ (de Kazhdan-Lusztig-basis-elementen geassocieerd met de langste elementen van deze ondergroepen) te analyseren.
• Inductie en Graph-Structuur: Voor de classificatie wordt gebruik gemaakt van de inductie op de lengte van elementen en de topologische structuur van het Coxeter-grafiek (boom versus grafieken met cycli).

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert twee hoofdbijdragen: een algemene karakterisatie en een volledige classificatie voor een specifieke klasse van Coxeter-groepen.

A. Algemene Karakterisatie (Stelling 3.4)

De auteur bewijst een noodzakelijke en voldoende voorwaarde voor een niet-triviale representatie $V$ om een $a$-functiewaarde van 1 te hebben:

• Stelling: Een niet-nul representatie $V$ heeft $a(V)=1$ dan en slechts dan als er geen niet-nul vector $v \in V$ bestaat zodanig dat $r \cdot v = t \cdot v = -v$ voor een paar generatoren $r, t \in S$ met $r \neq t$ en eindige orde $m_{rt} < \infty$.
• Interpretatie: Dit betekent dat irreducibele representaties met $a=1$ geen gemeenschappelijke eigenvector met eigenwaarde $-1$ mogen hebben voor enige paar generatoren die een eindige dihedrale ondergroep genereren.
• Gevolg: Dit bevestigt dat de veralgemeende geometrische representaties (zoals gedefinieerd in eerdere werken) en de zogenaamde $R$-representaties aan deze voorwaarde voldoen.

B. Classificatie voor Simpel Gelaste Coxeter-groepen (Stelling 4.3)

Voor irreducibele simpel gelaste Coxeter-groepen (waar $m_{st} \in \{2, 3\}$ voor alle $s,t$) waarvan het Coxeter-grafiek maximaal één cyclus bevat, wordt een volledige classificatie gegeven:

• Resultaat: Elke irreducibele representatie met $a$-waarde 1 is een $R$-representatie.
• Definitie van $R$-representatie: Een representatie $(V, \rho)$ is een $R$-representatie als:
  1. De som van de $-1$-eigensubruimtes van alle generatoren de hele ruimte opspant: $\sum_{s \in S} V^-_s = V$.
  2. De doorsnede van de $-1$-eigensubruimtes van twee verschillende generatoren triviaal is: $V^-_r \cap V^-_t = \{0\}$.
  3. De dimensie van elke $-1$-eigensubruimte 1 is: $\dim V^-_s = 1$.
• Dimensie: Deze representaties zijn altijd eindig-dimensionaal (met dimensie $\leq |S|$).
• Constructie:
  • Als het grafiek een boom is, is er precies één dergelijke representatie (de eenvoudige quotiënt van de standaard geometrische representatie).
  • Als het grafiek één cyclus heeft, worden deze representaties geparametriseerd door $\mathbb{C}^\times$ (de niet-nul complexe getallen). De auteur geeft een expliciete constructie voor deze familie.

C. Oneindig-dimensionale Representaties

Het artikel merkt op dat voor Coxeter-groepen met twee of meer cycli (of niet-simpel gelaste groepen met cycli), er oneindig-dimensionale irreducibele representaties met $a=1$ bestaan. Dit suggereert dat een volledige classificatie voor de algemene geval zeer complex is.

4. Significatie en Impact

1. Verbinding tussen Celtheorie en Lineaire Algebra: Het artikel legt een scherp verband tussen de abstracte theorie van Kazhdan-Lusztig-cellen (via de $a$-functie) en concrete lineaire algebra-eigenschappen (gemeenschappelijke eigenvectoren met eigenwaarde $-1$).
2. Oplossing van een Specifiek Classificatieprobleem: Het biedt een volledige oplossing voor het vinden van alle irreducibele quotiënten van de cel-representatie $J_{C_1}$ voor een belangrijke klasse van Coxeter-groepen (bomen en grafieken met één cyclus).
3. Bevestiging van Vermoedens: Het bevestigt dat de $a$-waarde van een representatie direct gerelateerd is aan de "patronen" waarin generatoren gemeenschappelijke eigenvectoren delen.
4. Toekomstige Richtingen: De resultaten suggereren dat de classificatie van $a=1$ representaties voor groepen met meerdere cycli veel moeilijker is en mogelijk oneindig-dimensionale objecten omvat, wat een nieuwe richting voor onderzoek opent.

Samenvatting van de Conclusie

Hongsheng Hu toont aan dat voor irreducibele representaties van Coxeter-groepen, de voorwaarde $a(V)=1$ equivalent is aan het ontbreken van gemeenschappelijke $-1$-eigenvectoren voor paren generatoren. Voor simpel gelaste groepen met een "simpele" grafiekstructuur (bomen of één cyclus) zijn alle dergelijke representaties eindig-dimensionale $R$-representaties, die expliciet kunnen worden geconstrueerd. Dit verduidelijkt de structuur van de cell-representatie $J_{C_1}$ en biedt een dieper inzicht in de relatie tussen de $a$-functie en de lineaire actie van de groep.