Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf ·...
Transcript of Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf ·...
![Page 1: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/1.jpg)
Computing Unipotent Representations of Real Groupsusing the Atlas Software
JeffreyThe PlumberAdamsOctober 19, 2008
![Page 2: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/2.jpg)
INTRODUCTION
G: real points of connected, reductive algebraic group
![Page 3: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/3.jpg)
INTRODUCTION
G: real points of connected, reductive algebraic group
9 : WR × SL(2, C)→ LG
![Page 4: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/4.jpg)
INTRODUCTION
G: real points of connected, reductive algebraic group
9 : WR × SL(2, C)→ LG
9|C∗ = 1
![Page 5: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/5.jpg)
INTRODUCTION
G: real points of connected, reductive algebraic group
9 : WR × SL(2, C)→ LG
9|C∗ = 1
9 : Z/2Z× SL(2, C)→ LG
Conjecture:(Arthur) Associated to9 is a (finite) set59 ofrepresentations, satisfying (. . . among other things)
![Page 6: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/6.jpg)
INTRODUCTION
G: real points of connected, reductive algebraic group
9 : WR × SL(2, C)→ LG
9|C∗ = 1
9 : Z/2Z× SL(2, C)→ LG
Conjecture:(Arthur) Associated to9 is a (finite) set59 ofrepresentations, satisfying (. . . among other things)
1)∑
π∈59aππ is stablefor some integersaπ ,
![Page 7: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/7.jpg)
INTRODUCTION
G: real points of connected, reductive algebraic group
9 : WR × SL(2, C)→ LG
9|C∗ = 1
9 : Z/2Z× SL(2, C)→ LG
Conjecture:(Arthur) Associated to9 is a (finite) set59 ofrepresentations, satisfying (. . . among other things)
1)∑
π∈59aππ is stablefor some integersaπ ,
2) eachπ ∈ 59 is unitary
![Page 8: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/8.jpg)
INTRODUCTION
9|S L(2,C)←→ O∨C
(complex unipotent orbit)
![Page 9: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/9.jpg)
INTRODUCTION
9|S L(2,C)←→ O∨C
(complex unipotent orbit)
Weaker version (forget theZ/2Z):
5O∨C= ∪959 (9|S L(2,C↔ O
∨C)
![Page 10: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/10.jpg)
INTRODUCTION
9|S L(2,C)←→ O∨C
(complex unipotent orbit)
Weaker version (forget theZ/2Z):
5O∨C= ∪959 (9|S L(2,C↔ O
∨C)
Barbasch/Vogan:gave anexplicitly computabledefinition of5O∨C.
![Page 11: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/11.jpg)
INTRODUCTION
9|S L(2,C)←→ O∨C
(complex unipotent orbit)
Weaker version (forget theZ/2Z):
5O∨C= ∪959 (9|S L(2,C↔ O
∨C)
Barbasch/Vogan:gave anexplicitly computabledefinition of5O∨C.
All of Arthur’s conjectured properties are known to hold,exceptunitarity
![Page 12: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/12.jpg)
INTRODUCTION
Barbasch/Vogan/A:A definition of59 , not explicitly computable.
![Page 13: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/13.jpg)
INTRODUCTION
Barbasch/Vogan/A:A definition of59 , not explicitly computable.
Again all of Arthur’s conjectured properties are known to hold, exceptunitarity
![Page 14: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/14.jpg)
INTRODUCTION
Barbasch/Vogan/A:A definition of59 , not explicitly computable.
Again all of Arthur’s conjectured properties are known to hold, exceptunitarity
Today: an Atlas-based algorithm to compute
5O∨C= ∪959
![Page 15: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/15.jpg)
INTRODUCTION
Barbasch/Vogan/A:A definition of59 , not explicitly computable.
Again all of Arthur’s conjectured properties are known to hold, exceptunitarity
Today: an Atlas-based algorithm to compute
5O∨C= ∪959
and how totry to compute59
![Page 16: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/16.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
[Barbasch/Vogan + Atlas]
![Page 17: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/17.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
[Barbasch/Vogan + Atlas]
Ingredients:
![Page 18: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/18.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
[Barbasch/Vogan + Atlas]
Ingredients:
0) real groupG, dual groupG∨ (type)
![Page 19: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/19.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
[Barbasch/Vogan + Atlas]
Ingredients:
0) real groupG, dual groupG∨ (type)
1) orbitO∨C
(partition, tables)
![Page 20: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/20.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
[Barbasch/Vogan + Atlas]
Ingredients:
0) real groupG, dual groupG∨ (type)
1) orbitO∨C
(partition, tables)
1a) (integral) infinitesimal characterλ = λ(O∨C); only needS =
simple roots such that〈λ, α∨〉 = 01b) Special representationσ (O∨) of W associated toO∨
![Page 21: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/21.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
2) blockB = {π0, . . . , πn} = {0, 1, . . . , n} of representations(block ); carries a representation ofW .
![Page 22: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/22.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
2) blockB = {π0, . . . , πn} = {0, 1, . . . , n} of representations(block ); carries a representation ofW .
2a) For j ∈ B, the tau-invariantτ( j) = τ(π j ), a subset of the simpleroots (block )
![Page 23: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/23.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
2) blockB = {π0, . . . , πn} = {0, 1, . . . , n} of representations(block ); carries a representation ofW .
2a) For j ∈ B, the tau-invariantτ( j) = τ(π j ), a subset of the simpleroots (block )
2a) cell decompositionB = ∪Ci (i = 1, . . . , m) (wcells )
![Page 24: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/24.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
2) blockB = {π0, . . . , πn} = {0, 1, . . . , n} of representations(block ); carries a representation ofW .
2a) For j ∈ B, the tau-invariantτ( j) = τ(π j ), a subset of the simpleroots (block )
2a) cell decompositionB = ∪Ci (i = 1, . . . , m) (wcells )
Each cell carries a representation, with a unique2b) Special representationσi in Ci (i = 1, . . . , m) (wcells +character calculation for W)
![Page 25: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/25.jpg)
VOGAN DUALITY
G,B −→ G∨ = G∨R,B∨ (block for a real form bofG∨(C))
![Page 26: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/26.jpg)
VOGAN DUALITY
G,B −→ G∨ = G∨R,B∨ (block for a real form bofG∨(C))
BijectionB ∋ π → π∨ ∈ B∨
![Page 27: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/27.jpg)
VOGAN DUALITY
G,B −→ G∨ = G∨R,B∨ (block for a real form bofG∨(C))
BijectionB ∋ π → π∨ ∈ B∨
Vogan duality: carries a lot of information betweenB andB∨;essential part of Atlas algorithm.
![Page 28: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/28.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
Recall (associated variety of primitive ideals):
π → AV(Ann(π)) = OC someOC)
![Page 29: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/29.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
Recall (associated variety of primitive ideals):
π → AV(Ann(π)) = OC someOC)
GivenO∨C
:
![Page 30: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/30.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
Recall (associated variety of primitive ideals):
π → AV(Ann(π)) = OC someOC)
GivenO∨C
:
Definition (Barbasch/Vogan):
5O∨C= {π | infinitesimal characterλ(O∨
C), AV (Ann(π∨)) = O∨
C)}
![Page 31: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/31.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
Recall (associated variety of primitive ideals):
π → AV(Ann(π)) = OC someOC)
GivenO∨C
:
Definition (Barbasch/Vogan):
5O∨C= {π | infinitesimal characterλ(O∨
C), AV (Ann(π∨)) = O∨
C)}
Algorithm:GivenO∨
C, λ→ S,B = ∪Ci , σ (O∨), σi ,
![Page 32: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/32.jpg)
COMPUTING 5O∨C
FORO∨C
EVEN
Recall (associated variety of primitive ideals):
π → AV(Ann(π)) = OC someOC)
GivenO∨C
:
Definition (Barbasch/Vogan):
5O∨C= {π | infinitesimal characterλ(O∨
C), AV (Ann(π∨)) = O∨
C)}
Algorithm:GivenO∨
C, λ→ S,B = ∪Ci , σ (O∨), σi ,
For each cellCi such thatσi = σ (O∨C) ⊗ sgn, take all j ∈ Ci such
thatτ( j) ∩ S = ∅. Theseπ j (translated toλ) are the contributions ofB to 5O∨
C. Run over allB (only someB if G is not simply connected).
![Page 33: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/33.jpg)
EXAMPLE: Sp(4, R)
Block (block )
0( 0,6): 0 0 [i1,i1] 1 2 ( 6, * ) ( 4, * )1( 1,6): 0 0 [i1,i1] 0 3 ( 6, * ) ( 5, * )2( 2,6): 0 0 [ic,i1] 2 0 ( * , * ) ( 4, * )3( 3,6): 0 0 [ic,i1] 3 1 ( * , * ) ( 5, * )4( 4,4): 1 2 [C+,r1] 8 4 ( * , * ) ( 0, 2) 25( 5,4): 1 2 [C+,r1] 9 5 ( * , * ) ( 1, 3) 26( 6,5): 1 1 [r1,C+] 6 7 ( 0, 1) ( * , * ) 17( 7,2): 2 1 [i2,C-] 7 6 (10,11) ( * , * ) 2,1,28( 8,3): 2 2 [C-,i1] 4 9 ( * , * ) (10, * ) 1,2,19( 9,3): 2 2 [C-,i1] 5 8 ( * , * ) (10, * ) 1,2,1
10(10,0): 3 3 [r2,r1] 11 10 ( 7, * ) ( 8, 9) 1,2,1,211(10,1): 3 3 [r2,rn] 10 11 ( 7, * ) ( * , * ) 1,2,1,2
![Page 34: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/34.jpg)
EXAMPLE: Sp(4, R)
Cells (wcells ):
// Cells and their vertices.#0={0}#1={1}#2={2,4,8}#3={3,5,9}#4={6,7,11}#5={10}
// Induced graph on cells.#0:.#1:.#2:->#0.#3:->#1.#4:->#0,#1.#5:->#2,#3,#4.
// Individual cells.// cell #0:0[0]: {}
// cell #1:0[1]: {}
// cell #2:0[2]: {1} --> 11[4]: {2} --> 0,22[8]: {1} --> 1
// cell #3:0[3]: {1} --> 11[5]: {2} --> 0,22[9]: {1} --> 1
![Page 35: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/35.jpg)
EXAMPLE: Sp(4, R)
Orbits/Cells andλ
Sp(4,R) SO(3,2)Special SpecialOrbit Cells Dual Orbit Cells #O_R lambda4 0,1 (large DS) 11111 4,5 1 (0,0)22 2,3,4 311 1,2,3 2 (1,0)1111 5 (trivial) 5 0 1 (2,1)
(211 not special 221 not special)
![Page 36: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/36.jpg)
EXAMPLE: Sp(4, R)
Orbits/Cells/Unipotents forSp(4, R) (big block)
Sp(4,R) SO(3,2)Special SpecialOrbit Cells Dual Orbit Cells #O_R lambda Unipotents4 0,1 (large DS) 11111 4,5 1 (0,0) 0,1 (large DS at 0)22 2,3,4 311 1,2,3 2 (1,0) 2,3,6,8,9,111111 5 (trivial) 5 0 1 (2,1) 10 (trivial)
(211 not special 221 not special)
![Page 37: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/37.jpg)
EXAMPLE: F4
Special orbits and cells forF4
![Page 38: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/38.jpg)
EXAMPLE: F4
Special orbits and cells forF4
![Page 39: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/39.jpg)
EXAMPLE: F4
Orbits/Cells/λ for F4 (big block)
Special SpecialOrbit Cells Dual Orbit Cells diagramF4 0 (large DS) 0 24 0000F4(a3) 9,13,14 F4(a3) 9,13,14 0200C3 12 A2˜ 18 0002B3 2,6,7,8 A2 10,15,16,21 2000A2 10,15,16,21 B3 2,6,7,8 2200A1+A1˜ 17,19,20 F4(a2) 4,5,11 0202A1˜ 22,23 F4(a1) 1,3 22020 24(trivial) F4 0 2222
F4(a1) 1,3 A1˜ 22,23 0001F4(a2) 4,5,11 A1+A1˜ 17,19,20 0100A2˜ 18 C3 12 1012
![Page 40: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/40.jpg)
EXAMPLE: F4
Orbits/Cells/λ for split F4 (big block)
Special SpecialOrbit Cells Dual Orbit Cells diagram UnipotentsF4 0 (large DS) 0 24 0000 7 (large DS at 0)F4(a3) 9,13,14 F4(a3) 9,13,14 0200 34,81,98,147,161,191, 192,193
194,225,246,285,295,327C3 12 A2˜ 18 0002 213B3 2,6,7,8 A2 10,15,16,21 2000 68,208,251,324A2 10,15,16,21 B3 2,6,7,8 2200 146,257,293,325A1+A1˜ 17,19,20 F4(a2) 4,5,11 0202 267,309,333A1˜ 22,23 F4(a1) 1,3 2202 291,297,314,3340 24(trivial) F4 0 2222 331 (trivial)
F4(a1) 1,3 A1˜ 22,23 0001F4(a2) 4,5,11 A1+A1˜ 17,19,20 0100A2˜ 18 C3 12 1012
![Page 41: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/41.jpg)
COMPUTING AN ARTHUR PACKET59
9 : Z2× SL(2, C)→ WR
![Page 42: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/42.jpg)
COMPUTING AN ARTHUR PACKET59
9 : Z2× SL(2, C)→ WR
9|S L(2,C)↔ G∨(C)-orbit O∨C⊂ g
∨
![Page 43: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/43.jpg)
COMPUTING AN ARTHUR PACKET59
9 : Z2× SL(2, C)→ WR
9|S L(2,C)↔ G∨(C)-orbit O∨C⊂ g
∨
y = 9(−1)→ int(y) : Cartan involution forG∨(C)
![Page 44: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/44.jpg)
COMPUTING AN ARTHUR PACKET59
9 : Z2× SL(2, C)→ WR
9|S L(2,C)↔ G∨(C)-orbit O∨C⊂ g
∨
y = 9(−1)→ int(y) : Cartan involution forG∨(C)
9 ←→ G∨(R)-orbit O∨R⊂ O∨
C∩ g∨R
![Page 45: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/45.jpg)
COMPUTING AN ARTHUR PACKET59
9 : Z2× SL(2, C)→ WR
9|S L(2,C)↔ G∨(C)-orbit O∨C⊂ g
∨
y = 9(−1)→ int(y) : Cartan involution forG∨(C)
9 ←→ G∨(R)-orbit O∨R⊂ O∨
C∩ g∨R
59 = 5O∨R⊂ 5O∨
C
![Page 46: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/46.jpg)
COMPUTING AN ARTHUR PACKET59
Associated Varieties/Cycles
π → AV(Ann(π)) = OC
![Page 47: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/47.jpg)
COMPUTING AN ARTHUR PACKET59
Associated Varieties/Cycles
π → AV(Ann(π)) = OC
π → AV(π) = O1R∪O2
R∪ · · · ∪Om
R⊂ OC
(via Kostant-Sekiguchi correspondence)
![Page 48: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/48.jpg)
COMPUTING AN ARTHUR PACKET59
Associated Varieties/Cycles
π → AV(Ann(π)) = OC
π → AV(π) = O1R∪O2
R∪ · · · ∪Om
R⊂ OC
(via Kostant-Sekiguchi correspondence)
Also:π → AC(π) =
∑mi=1 a(Oi
R, π)Oi
R
![Page 49: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/49.jpg)
COMPUTING AN ARTHUR PACKET59
Given:O∨R⊂ O∨
C∩ g∨R
![Page 50: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/50.jpg)
COMPUTING AN ARTHUR PACKET59
Given:O∨R⊂ O∨
C∩ g∨R
Recall
5O∨C= {π | infinitesimal characterλ(O∨
C), AV (Ann(π∨)) = O
∨C}
Definition: (ABV):
59 = {π | infinitesimal character= λ(O∨C), O∨
R⊂ AV(π∨)}
![Page 51: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/51.jpg)
COMPUTING AN ARTHUR PACKET59
Given:O∨R⊂ O∨
C∩ g∨R
Recall
5O∨C= {π | infinitesimal characterλ(O∨
C), AV (Ann(π∨)) = O
∨C}
Definition: (ABV):
59 = {π | infinitesimal character= λ(O∨C), O∨
R⊂ AV(π∨)}
5O∨C= ∪i5O∨i
R
(not disjoint)
Problem: No closed algorithm to compute AV(π)
![Page 52: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/52.jpg)
COMPUTING AN ARTHUR PACKET59
Given:O∨R⊂ O∨
C∩ g∨R
Recall
5O∨C= {π | infinitesimal characterλ(O∨
C), AV (Ann(π∨)) = O
∨C}
Definition: (ABV):
59 = {π | infinitesimal character= λ(O∨C), O∨
R⊂ AV(π∨)}
5O∨C= ∪i5O∨i
R
(not disjoint)
Problem: No closed algorithm to compute AV(π)
Not hopeless, lots of cases where it is known. . .
![Page 53: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/53.jpg)
STABILITY
Given:O∨R
Recall:5O∨
R= {π1, . . . , πn}
![Page 54: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/54.jpg)
STABILITY
Given:O∨R
Recall:5O∨
R= {π1, . . . , πn}
RecallAC(π) =
∑mi=1 a(Oi
R, π)Oi
R
![Page 55: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/55.jpg)
STABILITY
Given:O∨R
Recall:5O∨
R= {π1, . . . , πn}
RecallAC(π) =
∑mi=1 a(Oi
R, π)Oi
R
Definition:2(O∨
R) =
∑
i
ǫia(OR, πi)πi
(ǫi = ±1 explicit)
![Page 56: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/56.jpg)
STABILITY
This is the stable virtual character of5O∨R
conjectured by Arthur:
![Page 57: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/57.jpg)
STABILITY
This is the stable virtual character of5O∨R
conjectured by Arthur:
Theorem:(ABV) 2(O∨R) is stable.
![Page 58: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/58.jpg)
STABILITY
This is the stable virtual character of5O∨R
conjectured by Arthur:
Theorem:(ABV) 2(O∨R) is stable.
Problem: Can’t compute5O∨R,2(O∨
R)
![Page 59: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/59.jpg)
STABILITY
This is the stable virtual character of5O∨R
conjectured by Arthur:
Theorem:(ABV) 2(O∨R) is stable.
Problem: Can’t compute5O∨R,2(O∨
R)
Part of the Atlas philosophy: (almost) everything follows from theKazhdan-Lusztig-Vogan polynomials.
![Page 60: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/60.jpg)
STABILITY
This is the stable virtual character of5O∨R
conjectured by Arthur:
Theorem:(ABV) 2(O∨R) is stable.
Problem: Can’t compute5O∨R,2(O∨
R)
Part of the Atlas philosophy: (almost) everything follows from theKazhdan-Lusztig-Vogan polynomials.
Example: wecancompute the space of stable virtual characters.
![Page 61: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/61.jpg)
STABILITY
This is the stable virtual character of5O∨R
conjectured by Arthur:
Theorem:(ABV) 2(O∨R) is stable.
Problem: Can’t compute5O∨R,2(O∨
R)
Part of the Atlas philosophy: (almost) everything follows from theKazhdan-Lusztig-Vogan polynomials.
Example: wecancompute the space of stable virtual characters.
Idea:Use stability to try to compute5O∨R, and therefore also
AV(π), AC(π)
![Page 62: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/62.jpg)
USING STABILITY TO UNDERSTAND59
Algorithm to try to compute5O∨R
![Page 63: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/63.jpg)
USING STABILITY TO UNDERSTAND59
Algorithm to try to compute5O∨R
Input: G, G∨, blockB, dual blockB∨, cell decomposition ofB (asbefore)
![Page 64: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/64.jpg)
USING STABILITY TO UNDERSTAND59
Algorithm to try to compute5O∨R
Input: G, G∨, blockB, dual blockB∨, cell decomposition ofB (asbefore)
Also: O∨C
, special representationσ (O∨C) (as before)
![Page 65: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/65.jpg)
USING STABILITY TO UNDERSTAND59
Algorithm to try to compute5O∨R
Input: G, G∨, blockB, dual blockB∨, cell decomposition ofB (asbefore)
Also: O∨C
, special representationσ (O∨C) (as before)
New: real formO∨R
of O∨C
(signed permutations, tables)
![Page 66: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/66.jpg)
USING STABILITY TO UNDERSTAND59
Algorithm to try to compute5O∨R
Input: G, G∨, blockB, dual blockB∨, cell decomposition ofB (asbefore)
Also: O∨C
, special representationσ (O∨C) (as before)
New: real formO∨R
of O∨C
(signed permutations, tables)
Look for stable sums in5O∨ .
![Page 67: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/67.jpg)
EXAMPLE: E6
Special complex orbits, cells and dual cells for forE6 (split sc/ad quaternionic)
![Page 68: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/68.jpg)
EXAMPLE: E6
Special complex orbits, cells and dual cells for forE6 (split sc/ad quaternionic)
![Page 69: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/69.jpg)
EXAMPLE: E6
E6 split (large block)
split quaternionicspecial specialorbit cells dualorbit cells diagram0 31 (trivial) E6 0 (large DS) 222222 1A1 30 E6(a1) 3 222022 12A1 28,29 D5 1,4 220202 2A2 21,26 E6(a3) 5,11 200202 2A3 18,23 A4 8,14 220002 22A2 22,27 D4 2,9 020200 2D4(a1) 13,14,17 D4(a1) 10,15,16 000200 3D4 8 2A2 23 200002 1E6(a3) 4,5,15 A2 20,26,27 020000 3E6 0 (large FS) 0 31 (trivial) 000000 1
A2+A1 24,25 D5(a1) 6,7 121011A2+2A1 19,20 A4+A1 12,13 121011A4 12,16 A3 19,21 120001A4+A1 9,10,11 A2+2A1 17,18,22 001010D5(a1) 6,7 A2+A1 24,25 110001D5 2,3 2A1 28,29 100001E6(a1) 1 A1 30 010000
![Page 70: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/70.jpg)
In this case (for each even orbit):
![Page 71: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/71.jpg)
In this case (for each even orbit):
number of real forms ofO∨C
=number of cells associated toO∨
C
![Page 72: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/72.jpg)
In this case (for each even orbit):
number of real forms ofO∨C
=number of cells associated toO∨
C
Conclusion:Can compute5OR
![Page 73: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/73.jpg)
EXAMPLE: E6
Arthur packets forE6 split (large block)
split quaternionicspecial specialorbit cells dualorbit cells diagram
0 31 (trivial) E6 0 (large DS) 222222 1 31 (trivial)A1 30 E6(a1) 3 222022 1 18652A1 28,29 D5 1,4 220202 2 1778,1878A2 21,26 E6(a3) 5,11 200202 2 1171+1703, 1503,1867A3 18,23 A4 8,14 220002 2 1574,18612A2 22,27 D4 2,9 020200 2 1540,1873D4(a1) 13,14,17 D4(a1) 10,15,16 000200 3 499+1465, 421+119 3+1851, 981+1538D4 8 2A2 23 200002 1 1027E6(a3) 4,5,15 A2 20,26,27 020000 3 4+820, 18+911, 596+1874E6 0 (large FS) 0 31 (trivial) 000000 1 0 (large FS at 0)
A2+A1 24,25 D5(a1) 6,7 121011A2+2A1 19,20 A4+A1 12,13 121011A4 12,16 A3 19,21 120001A4+A1 9,10,11 A2+2A1 17,18,22 001010D5(a1) 6,7 A2+A1 24,25 110001D5 2,3 2A1 28,29 100001E6(a1) 1 A1 30 010000
![Page 74: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/74.jpg)
EXAMPLE: F4
Special Special #real forms ofOrbit Cells Dual Orbit Cells diagram #(even) dual orbitF4 0(LDS) 0 24 0000 1F4(a1) 1,3 A1˜ 22,23 0001F4(a2) 4,5,11 A1+A1˜ 17,19,20 0100F4(a3) 9,13,14 F4(a3) 9,13,14 0200 3C3 12 A2˜ 18 0002 1B3 2,6,7,8 A2 10,15,16,21 2000 3A2 10,15,16,21 B3 2,6,7,8 2200 2A2˜ 18 C3 12 1012A1+A1˜ 17,19,20 F4(a2) 4,5,11 0202 2A1˜ 22,23 F4(a1) 1,3 2202 20 24(trivial) F4 0 2222 1
![Page 75: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/75.jpg)
EXAMPLE: F4
Special Special #real forms ofOrbit Cells Dual Orbit Cells diagram #(even) dual orbitF4(a3) 9,13,14 F4(a3) 9,13,14 0200 3
Basis of stable characters expressed as sums of irreducible s34,81,98,147,161,191,192,193,194,225,246,285 * ,295 * ,327 * :0 -1 0 1 0 1 0 0 0 0 0 0 0 10 0 0 0 0 1 1 0 0 0 0 0 1 00 0 0 1 0 1 1 0 0 0 0 1 0 01 1 0 0 0 -1 0 0 0 0 1 0 0 01 0 0 0 0 -1 -1 0 0 1 0 0 0 00 1 0 0 0 0 1 0 1 0 0 0 0 0-1 -1 0 1 0 1 0 1 0 0 0 0 0 00 1 0 -1 1 0 0 0 0 0 0 0 0 0-1 -1 1 0 0 0 0 0 0 0 0 0 0 0
( * ): basepoints
![Page 76: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/76.jpg)
Three real forms of orbit, three cells⇒ three disjoint Arthur packets:cell 9: 81,191,192,194,295*:cell 13: 34,147,193,246,327*:cell 14: 98,161,225,285*:(*): basepoint
![Page 77: Computing Unipotent Representations of Real Groups using ...jda/preprints/kalamazoo08.pdf · Computing Unipotent Representations of Real Groups using the Atlas Software Jeffrey The](https://reader034.fdocuments.in/reader034/viewer/2022042401/5f1057d87e708231d448a3c7/html5/thumbnails/77.jpg)
From the data we can conclude for some (a ≥ 1, b ≥ 2):
299 = aπ81+ π191+ (a + 1)π192+ aπ194+ π295∗
2913 = π34+ bπ147+ (b − 1)π193+ bπ246+ π327∗
2914 = π98+ π161+ π225+ π285∗
(*): basepoints (know coefficient =1)