# Computer Calculations in the Unitary Dual Notes:

## Presentation on theme: "Computer Calculations in the Unitary Dual Notes:"— Presentation transcript:

unitarity@home Computer Calculations in the Unitary Dual Notes: www.math.umd.edu/~jda/singapore

Let G be a real reductive group. Theorem (Vogan) There is a finite algorithm to compute the unitary dual of G. Note: This is much weaker than saying there is a finite algorithm for a single family of groups such as SL(n) or SO(n,C). Proposal: Write a computer program to compute the unitary dual of a fixed real group. Note: There is a big difference between a theorem asserting the existence of a finite algorithm, and a computer program. unitarity@home (mersenne@home, seti@home)

1. To tell us more about the unitary dual. 2. As a way to learn about the unitary dual and the technology involved. 3. Examples are fascinating; computers make more complicated examples accessible. 4. There are many interesting partial problems to be solved. It is not necessary to compute the full unitary dual to be successful. 5. It is fun. A lot of people will be involved (I hope). Best outcome: based on what we learn from the computer we can compute the answer “by hand”. Example: Model orbit in E 8 (Adams, Huang, Vogan), Non-arithmetic groups (Mostow, Deligne) Why do this?

Why not to do this? 1. Maybe we won’t understand about the unitary dual, even if we get the answer. 2. Poor substitute for thinking. 3. Generate lots of data which is hard to interpret. 4. Huge investment of time. 5. Likelihood of failure: it is not clear this can be done. 6. Can’t trust computers How do you know if the answer is correct? Maple test for positive definiteness It is very difficult to implement sgn(x) Example:

What is known: 1.GL(n) (R, C, H) (Vogan) 2.Complex classical groups (Barbasch) 3.SL(2,R), Sp(4,R), SO(5) (Bargmann, ?) 4.G 2 (Vogan) (including non-linear) 5.Spherical unitary dual of Sp(2n, R), SO(n,n), SO(n+1,n), F 4 (R) (Barbasch, unpublished; also p-adic case)

Sketch of proof of the Theorem: Uses the notion of K-character and Hermitian representation (see Vogan’s lecture) Standard module: I(G,P,  )=I(P  with irreducible quotient I(P,  Derived functor module: R q (  ) (Huang’s lecture) Real infinitesimal character  Huang’s lecture) Theorem (Knapp/Vogan) Suppose  is an irreducible unitary representation of G. Then  I(P,  ) for some irreducible unitary representation  with real infinitesimal character (readily computable).

Definition: (Salamanca, Vogan): An infinitesimal character is small if it is real and in the convex hull of W . An admissible representation is small if it has small infinitesimal character. Conjecture: (Salamanca, Vogan): Suppose  is an irreducible unitary representation with real infinitesimal character. Then  =R q (  ) where  is small (q,  are readily computable). Proposition: There is a finite algorithm to compute the small unitary representations. (The proof will be sketched below). By the Conjecture it is enough to compute the small unitary representations, and by the Proposition there is a finite algorithm to do this: Corollary: Assuming the conjecture, there is a finite algorithm to compute the unitary dual.

In the absence of the Corollary we still have the following version. Proposition * : For every group G there is a non-negative integer n(G) with the following property. Suppose  is an irreducible unitary representation with real infinitesimal character. Then  =R q (  ) where  is an irreducible unitary representation with real infinitesimal character in the convex hull of n(G) . Corollary * : There is a finite algorithm to compute the unitary dual of G. Note: This version is essentially useless for computations. The proof of Proposition* is a variant of the proof of the Proposition, which we now sketch.

Sketch of the proof of the Proposition: (there is a finite algorithm to compute the small unitary representations): Basic point: 1. there is a finite number of minimal K-types  to consider 2. for each  a finite number of representations  of G, 3. for each  a finite number of K-types to check for unitarity. Definition: A K-type is unitarily small if its highest weight is in the convex hull of the weights of the exterior algebra of the weights of Lie(G)/Lie(K). Remark: In spite of its name, this is a fairly large set. Example: Sp(2n,C),  is unitarily small iff it is in the convex hull of (2n,2n-2,…,2); pretty hopeless for computational purposes.

Proposition: Suppose  is a small irreducible Hermitian representation. Then: 1.The lowest K-type of  is unitarily small, 2. unitarity of  is detected on the unitarily small K-types of  Fix a unitarily small K-type  Associated to  is a parabolic subgroup P=MAN and a representation  of M such that every irreducible representation with this lowest K-type is the unique irreducible quotient I(P,  x  ) of I(P,  x  ) for some. Lemma: Unitarity of I(P,  x  ) is constant on “reducibility” regions in the plane. There are only a finite number of such regions (with small infinitesimal character).

Example: Spherical unitary representations of Sp(4) The left hand picture shows the regions in question. The right hand picture shows the unitary dual of Sp(4,R) and Sp(4,F) for F p-adic. The picture for Sp(4,C) is the same with the line segments deleted (Lefschetz principle). Theorem: I(P,  x  ) is unitary if and only if it is unitary on all unitarily small K- types. Serious problem: find a smaller set of K-types which detect unitarity.

Summary: 1. Reduce to small (real) infinitesimal character. 2. Fix a unitarily small K-type. 3. Compute finite number of regions in the plane. 4. Pick a representative point in each such region. Compute the signature of the Hermitian form on every unitarily small K- type. Computational Ingredients: 1. Encoding of all of the objects: Cartan subgroups, standard modules, Weyl groups 2. Multiplicity of K-types in standard modules (“easy”) 3. Kazhdan-Lusztig algorithm, at all infinitesimal characters 4. Computation of Hermitian form on all unitarily small K-types

More details on the computational ingredients: 1. List the Cartan subgroups. Parmetrize characters of them. Proposal: use the parameters of [A, Bowdoin conference]: (x,T,B,y, d T, d B) T,B are a Cartan and a Borel subgroup in G, d T, d B similarly in v G y is in L G, y^2 in Z( v G) (for example…) Computing Weyl groups: (Vogan duality) Homework: Read and thoroughly understand Vogan duality (Irreducible Characters 4, Duke ?). Generalize to p-adic groups.

2. Multiplicity of K-types in standard modules This is in principal known: restriction from M to M intersect K. GL(n): O(n), O(p)xO(q) O(n), O(m 1 )xO(m 2 )…xO(m r ) Requires many “branching” type laws. 3. Kazhdan-Lusztig at any infinitesimal character reduces, via IC4 duality, to infinitesimal character . Even this is very hard. 4. Computing the Hermitian form on K-types: use the step algebra of Mikkelson.There is serious work to be done here to apply the step algebra, and to implement it computationally.

Spherical unitary representations of real, complex and p-adic groups (Vogan, Salamanca, Barbasch) X( )=irreducible spherical representation with (real) parameter Assume w 0 ( )=- (iff Hermitian) Theorem: For each K-type  there is a Hermitian operator A( ) on Hom(  X( )) such that X( ) is unitary if and only if A( ) is positive semi-definite. Theorem (Barbasch,Moy): In the p-adic case X( ) is unitary if and only if A( ) is positive semi-definite for all irreducible representations of W. Note: It is enough to take  to be the regular representation: the positive definiteness of this size Order(W) matrix A( ) is equivalent to unitarity. Example/Test Case:

Consider real or complex groups. Let A(  be the operator A( ) on the Weyl group representation on the 0-weight space of  Theorem: X( ) is unitary if and only if A(  is unitary for all unitarily small  Problem: Compute the operator A(  (this might be hard). There is a notion of “petite” representation (Vogan’s talk next week, possibly) for which A(  is easy to compute. The petite representations come close to detecting unitarity. (  unitary impilies A(  positive semi-definite for all petite , but not quite conversely. You get too many representations.) Important Problem: Find a nice set of K-types which is enough to detect unitarity in the real and complex cases (bigger than petite, smaller than the set of unitarily small).

Computations of Stembridge (and Adams) John Stembridge has written software to compute the spherical unitary dual of any split p-adic group, and also gives some information for real or complex groups, by computing the operator A. Complete answer: small classical groups, F 4 (p-adic) Should work for E 6, maybe E 7, not E 8 Good test case. Barbasch: independently has done F 4 (R, C, p-adic) Computational issues: rational arithmetic, computing positive definiteness, computing an explicit model of any irreducible representation of W

G2: nu {9/4, -1, -5/4} A:{{15795/1024, 15795/1024}, {15795/1024, 47385/1024}} F4: nu:{1, 0, 0, 0} A:{{26208,14496,8736,2976}, {14496,8288,4832,1376}, {8736,4832,2912,992}, {2976,1376,992,608}}

F4: nu: (7/12, 7/24, 7/24, 0) A:{{179084422223504289318018271/27262293279626489757696, 2848741016732394535581473/1009714565912092213248, 43933519598549036670413563/27262293279626489757696, 2048262588525300005047721/3029143697736276639744}, {2848741016732394535581473/1009714565912092213248, 1588707472675380417781223/1009714565912092213248, 2107274845436801783022007/3029143697736276639744, 805420891824960442145471/3029143697736276639744}, {43933519598549036670413563/27262293279626489757696, 2107274845436801783022007/3029143697736276639744, 10953541816452899251348189/27262293279626489757696, 169635969006910190915221/1009714565912092213248}, {2048262588525300005047721/3029143697736276639744, 805420891824960442145471/3029143697736276639744, 169635969006910190915221/1009714565912092213248, 218511037306943908817039/3029143697736276639744}}

E6: nu:{-1/2, -1/2, -1/2, -1/2, -7/4, 7/4, 7/4, -7/4} A:{{982395137153185359999759/68719476736,-20850987491744852733291/274877906944, 10073444656144035484773/549755813888,43059688863198320010789/549755813888, 8264291795402448737295/137438953472,-11717920847247966119223/137438953472, -20850987491744852733291/27487790694,982395137153185359999759/68719476736, -10073444656144035484773/549755813888,-43059688863198320010789/549755813888, -8264291795402448737295/137438953472,11717920847247966119223/137438953472, 10073444656144035484773/549755813888,-10073444656144035484773/549755813888, 971142753722908463324901/68719476736,-73984121011087208228853/274877906944, -7967446205378905631295/34359738368,9018849422928050751591/34359738368, 43059688863198320010789/549755813888,-43059688863198320010789/549755813888, -73984121011087208228853/274877906944,948637986862354669975185/68719476736, -24199184206160259999885/68719476736,29755619693104067622405/68719476736, 8264291795402448737295/137438953472,-8264291795402448737295/137438953472, -7967446205378905631295/34359738368,-24199184206160259999885/68719476736, 7449655607761561550811/536870912,1675409748973525632249/4294967296, -11717920847247966119223/137438953472,11717920847247966119223/137438953472,…many more lines

Example: The spherical unitary dual of F 4 over the p-adics (Stembridge, Adams, Barbasch) There are 284 facets in the plane. Precisely 59 of these are unitary. These are the union of the closure of 18 facets. There are 2, 0, 11, 3, 2 of these of dimension 4, 3, 2, 1, 0, respectively.

[new number](old number), facet, dimension, signature in reflection rep (+,0,-), nu(wt), nu(standard), Levi [1](59) -,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,- 4 (4,0,0) (0,0,0,0) (0,0,0,0) T4 [2](51) -,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,+,-,+,- 4 (4,0,0) (0,7/16,0,0) (21/32,7/32,7/32,7/32) A2T2 [3](58) -,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,1,- 3 (3,1,0) (1/4,0,0,1/4) (1/2,1/4,0,0) A1T3 [4](54) -,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,1,-,+,- 3 (3,1,0) (1/4,1/4,0,0) (5/8,1/8,1/8,1/8) A2T2 [5](50) -,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,1,-,+,-,+,- 3 (3,1,0) (0,1/8,3/16,0) (9/16,1/4,1/4,1/16) A3T1 [6](56) -,-,-,-,-,-,-,-,-,-,-,-,-,1,-,-,+,-,+,-,+,1,+,+ 2 (2,2,0) (1/8,1/8,1/8,1/4) (13/16,7/16,3/16,1/16) F4 [7](21) -,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,1,-,1,-,+,-,+,1 2 (3,1,0) (0,1/4,0,1/4) (5/8,3/8,1/8,1/8) B4 [8](37) -,-,-,-,-,-,-,-,+,1,1,-,+,+,+,-,+,+,+,+,+,+,+,+ 2 (2,2,0) (3/4,0,1/4,1/4) (3/2,1/2,1/4,0) F4 [9](55) -,-,-,-,-,-,-,-,-,1,-,-,-,+,-,-,+,-,+,-,+,1,+,+ 2 (2,2,0) (1/8,1/12,1/8,1/3) (5/6,1/2,1/6,1/24) F4 [10](53) -,-,-,-,-,-,-,-,-,-,-,-,-,1,-,-,+,-,+,1,+,+,+,+ 2 (2,2,0) (1/8,5/24,1/8,5/24) (43/48,7/16,11/48,5/48) F4 [11](33) -,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,1,-,1,- 2 (3,1,0) (0,1/4,0,1/8) (1/2,1/4,1/8,1/8) A2T2 [12](52) -,-,-,-,-,-,-,-,-,1,-,-,-,+,-,-,+,-,+,1,+,+,+,+ 2 (2,2,0) (1/8,1/6,1/8,7/24) (11/12,1/2,5/24,1/12) F4 [13](57) -,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,1,-,+,-,+,1,+,+ 2 (2,2,0) (0,1/8,3/16,3/16) (3/4,7/16,1/4,1/16) F4 [14](38) -,-,-,-,-,-,-,-,+,1,-,-,+,+,1,-,+,+,+,+,+,+,+,+ 2 (2,2,0) (3/8,1/4,1/4,1/8) (11/8,1/2,3/8,1/8) F4 [15](30) -,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,1,-,1,-,+,- 2 (3,1,0) (1/8,0,7/32,0) (9/16,7/32,7/32,0) A3T1 [16](49) -,-,-,-,-,-,-,-,-,1,-,-,-,+,-,-,+,1,+,+,+,+,+,+ 2 (2,2,0) (1/4,1/8,3/16,1/4) (17/16,1/2,1/4,1/16) F4 [17](46) -,-,-,-,-,-,-,-,+,+,-,-,+,+,1,1,+,+,+,+,+,+,+,+ 2 (2,2,0) (1/4,3/8,1/4,1/8) (23/16,9/16,7/16,3/16) F4 [18](43) -,-,-,-,-,-,-,-,-,1,-,-,-,+,1,-,+,+,+,+,+,+,+,+ 2 (2,2,0) (11/24,1/12,1/8,1/3) (7/6,1/2,1/6,1/24) F4 [19](45) -,-,-,-,-,-,-,-,-,+,-,-,-,+,1,1,+,+,+,+,+,+,+,+ 2 (2,2,0) (1/4,0,1/4,1/2) (5/4,3/4,1/4,0) F4 [20](4) -,-,-,-,-,-,-,-,-,-,-,-,1,-,-,-,1,-,1,1,+,1,+,1 1 (2,2,0) (0,1/2,0,0) (3/4,1/4,1/4,1/4) F4 [21](6) -,-,-,-,-,-,-,-,1,-,-,-,1,1,-,-,1,1,+,1,+,+,+,+ 1 (2,2,0) (1/4,0,3/8,0) (1,3/8,3/8,0) F4 [22](7) -,-,-,-,-,1,-,-,+,1,1,-,+,+,1,1,+,+,+,+,+,+,+,+ 1 (2,2,0) (1/4,1/2,1/4,0) (3/2,1/2,1/2,1/4) F4 [23](11) -,-,-,-,-,-,-,-,-,-,-,-,-,1,-,-,1,-,1,-,1,-,+,1 1 (3,1,0) (1/4,0,0,3/8) (5/8,3/8,0,0) B4 [24](15) -,-,-,-,-,-,-,-,-,+,-,1,-,+,1,1,+,1,+,+,+,+,+,+ 1 (2,2,0) (0,1/4,0,3/4) (9/8,7/8,1/8,1/8) F4 [25](18) -,-,-,-,1,-,-,-,1,1,1,-,+,+,+,-,+,+,+,+,+,+,+,+ 1 (2,2,0) (1/2,1/2,0,1/4) (3/2,1/2,1/4,1/4) F4 [26](20) -,-,-,-,-,-,-,-,-,1,-,-,-,+,1,-,+,1,+,+,+,+,+,+ 1 (2,2,0) (3/8,1/4,0,3/8) (9/8,1/2,1/8,1/8) F4 [27](22) -,-,-,-,-,-,-,-,-,1,-,-,-,+,-,-,+,-,+,1,+,1,+,+ 1 (2,2,0) (1/8,1/4,0,3/8) (7/8,1/2,1/8,1/8) F4 [28](23) -,-,-,-,-,-,-,-,-,-,-,-,-,1,-,-,+,-,+,1,+,1,+,+ 1 (2,2,0) (1/4,1/4,0,1/4) (7/8,3/8,1/8,1/8) F4 [29](24) -,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,-,1,-,1,-,1,- 1 (3,1,0) (0,0,1/4,0) (1/2,1/4,1/4,0) A3T1 [30](29) -,-,-,-,-,-,-,-,-,1,-,-,-,+,-,-,+,1,+,1,+,+,+,+ 1 (2,2,0) (1/4,0,1/4,1/4) (1,1/2,1/4,0) F4 [31](31) -,-,-,-,-,-,-,-,-,-,-,-,-,1,-,-,1,-,+,-,+,1,+,+ 1 (2,2,0) (1/8,0,7/32,7/32) (25/32,7/16,7/32,0) F4

[32](32) -,-,-,-,-,-,-,-,-,1,-,-,-,1,-,-,+,-,+,1,+,+,+,+ 1 (2,2,0) (0,1/8,5/16,1/8) (15/16,1/2,3/8,1/16) F4 [33](34) -,-,-,-,-,-,-,-,-,1,-,-,-,1,-,-,+,-,+,-,+,1,+,+ 1 (2,2,0) (0,1/8,5/32,9/32) (25/32,1/2,7/32,1/16) F4 [34](36) -,-,-,-,1,1,-,1,+,+,+,+,+,+,+,+,+,+,+,+,+,+,+,+ 1 (1,3,0) (1/2,1/2,1/4,3/4) (5/2,5/4,1/2,1/4) F4 [35](39) -,-,-,-,-,-,-,-,1,1,-,-,+,+,1,-,+,+,+,+,+,+,+,+ 1 (1,3,0) (1/4,1/2,1/8,1/8) (11/8,1/2,3/8,1/4) F4 [36](40) -,-,-,1,-,1,-,+,+,+,1,+,+,+,+,+,+,+,+,+,+,+,+,+ 1 (1,3,0) (1/4,1/2,1/4,1) (5/2,3/2,1/2,1/4) F4 [37](41) 1,-,-,-,+,1,-,-,+,+,+,1,+,+,+,+,+,+,+,+,+,+,+,+ 1 (1,3,0) (1,1/2,1/4,1/4) (5/2,3/4,1/2,1/4) F4 [38](42) -,-,-,-,-,-,-,-,-,1,-,-,1,+,1,-,+,+,+,+,+,+,+,+ 1 (1,3,0) (5/12,1/6,1/8,7/24) (29/24,1/2,5/24,1/12) F4 [39](44) -,-,-,-,-,-,-,-,-,+,-,-,1,+,1,1,+,+,+,+,+,+,+,+ 1 (1,3,0) (1/8,5/16,1/8,7/16) (41/32,23/32,9/32,5/32) F4 [40](47) -,-,-,-,-,-,-,-,1,+,-,-,+,+,1,1,+,+,+,+,+,+,+,+ 1 (1,3,0) (1/4,1/4,1/4,1/4) (11/8,5/8,3/8,1/8) F4 [41](48) -,-,-,-,-,-,-,-,-,1,-,-,1,+,-,-,+,1,+,+,+,+,+,+ 1 (1,3,0) (1/8,1/8,5/16,1/8) (17/16,1/2,3/8,1/16) F4 [42](26) 1,-,-,-,1,1,-,1,+,+,+,1,+,+,+,+,+,+,+,+,+,+,+,+ 0 (1,3,0) (1,0,1/2,1/2) (5/2,1,1/2,0) F4 [43](25) -,-,-,-,-,-,-,-,-,1,-,-,-,1,-,-,1,-,+,-,+,1,+,+ 0 (2,2,0) (0,0,1/4,1/4) (3/4,1/2,1/4,0) F4 [44](35) 1,1,1,1,+,+,+,+,+,+,+,+,+,+,+,+,+,+,+,+,+,+,+,+ 0 (0,4,0) (1,1,1,1) (11/2,5/2,3/2,1/2) F4 [45](19) -,-,-,-,-,-,-,-,-,1,-,-,1,+,1,-,+,1,+,+,+,+,+,+ 0 (1,3,0) (1/3,1/3,0,1/3) (7/6,1/2,1/6,1/6) F4 [46](17) 1,1,-,1,+,1,1,1,+,+,+,+,+,+,+,+,+,+,+,+,+,+,+,+ 0 (1,3,0) (1,1,0,1) (7/2,3/2,1/2,1/2) F4 [47](28) -,-,-,-,-,-,-,-,1,+,-,-,1,+,1,1,+,+,+,+,+,+,+,+ 0 (1,3,0) (1/3,0,1/3,1/3) (4/3,2/3,1/3,0) F4 [48](27) -,-,-,-,-,-,-,-,1,1,-,-,1,+,1,-,+,+,+,+,+,+,+,+ 0 (1,3,0) (1/2,0,1/4,1/4) (5/4,1/2,1/4,0) F4 [49](16) -,-,-,-,-,-,-,-,-,1,-,-,-,1,-,-,+,-,+,1,+,1,+,+ 0 (2,2,0) (0,1/3,0,1/3) (5/6,1/2,1/6,1/6) F4 [50](14) -,-,-,-,-,-,-,-,-,+,-,1,1,+,1,1,+,1,+,+,+,+,+,+ 0 (1,3,0) (0,1/2,0,1/2) (5/4,3/4,1/4,1/4) F4 [51](13) -,1,-,1,1,1,1,1,1,+,1,+,+,+,+,+,+,+,+,+,+,+,+,+ 0 (1,3,0) (0,1,0,1) (5/2,3/2,1/2,1/2) F4 [52](12) -,-,-,-,-,-,-,-,-,1,-,-,-,+,1,-,+,1,+,1,+,1,+,+ 0 (2,2,0) (1/2,0,0,1/2) (1,1/2,0,0) F4 [53](10) 1,-,-,-,1,-,-,-,1,1,1,-,1,+,+,-,+,+,+,+,+,+,+,+ 0 (2,2,0) (1,0,0,1/2) (3/2,1/2,0,0) F4 [54](9) -,-,-,-,-,-,-,-,-,1,-,-,-,1,-,-,1,-,1,-,1,-,1,1 0 (3,1,0) (0,0,0,1/2) (1/2,1/2,0,0) B4 [55](8) -,-,-,1,-,-,-,1,-,+,-,1,-,+,1,1,+,1,+,1,+,1,+,+ 0 (2,2,0) (0,0,0,1) (1,1,0,0) F4 [56](5) -,-,-,-,-,1,-,-,1,1,-,-,1,1,-,1,1,1,+,1,+,+,+,+ 0 (1,3,0) (0,0,1/2,0) (1,1/2,1/2,0) F4 [57](3) 1,1,-,-,+,1,1,-,+,1,+,1,+,+,+,1,+,+,+,+,+,+,+,+ 0 (1,3,0) (1,1,0,0) (5/2,1/2,1/2,1/2) F4 [58](2) -,1,-,-,1,1,1,-,1,1,1,1,+,1,1,1,+,1,+,+,+,+,+,+ 0 (1,3,0) (0,1,0,0) (3/2,1/2,1/2,1/2) F4 [59](1) 1,-,-,-,1,-,-,-,1,-,1,-,1,1,1,-,1,1,1,1,1,1,+,1 0 (2,2,0) (1,0,0,0) (1,0,0,0) F4

Closed Regions (old numbering/dimension): Closure of facet (59/4): (58/3),(33/2),(24/1),(9/0) Closure of facet (51/4): (54/3),(50/3),(21/2),(33/2),(30/2),(4/1),(11/1),(24/1),(9/0),(1/0) Closure of facet (56/2): (23/1),(31/1),(34/1),(25/0),(16/0),(1/0) Closure of facet (37/2): (7/1),(18/1),(10/0),(2/0) Closure of facet (55/2): (22/1),(34/1),(25/0),(16/0),(12/0) Closure of facet (53/2): (6/1),(23/1),(32/1),(16/0),(5/0),(1/0) Closure of facet (52/2): (22/1),(29/1),(32/1),(16/0),(12/0),(5/0) Closure of facet (57/2): (4/1),(31/1),(25/0),(1/0) Closure of facet (38/2): (7/1),(39/1),(27/0),(2/0) Closure of facet (49/2): (20/1),(29/1),(48/1),(19/0),(12/0),(5/0) Closure of facet (46/2): (7/1),(47/1),(28/0),(2/0) Closure of facet (43/2): (20/1),(42/1),(19/0),(27/0),(12/0) Closure of facet (45/2): (15/1),(44/1),(28/0),(14/0),(8/0) Closure of facet (36/1): (26/0),(13/0) Closure of facet (40/1): (13/0) Closure of facet (41/1): (26/0),(3/0) Closure of facet (35/0): Closure of facet (17/0):

1. Mathematica, Matlab, Maple John Stembridge has a Coxeter group package for Matla 2.LiE: free, Finite dimensional representations of complex classical Lie algebras 3.Magma: General algebra package, including character theory of finite groups, matrix groups over arbitrary rings 4.Gap: free, Group Algebra Package, finite groups, including the Atlas of finite groups and other goodies 5.Java, C++ 6.Perl: free, the “glue” Software:

** Construct the computational framework (encoding for standard representations, Weyl groups, orbits, …) 1. Representation theory library: Web based, compute lots of information about representations, dictionary, … Make an Atlas of Reductive Groups 2. Spherical unitary dual of p-adic exceptional groups (E 8 ) 3. Compute the operator A for general spherical representations of real groups (non-petite) 4. Kazhdan-Lusztig algorithm (Casselman, Kottwitz) 5. Regions in the plane (Stembridge) Some partial problems:

Conjecture: Let G be a simple split group over R, C or a p-adic field. Assume one root length. Let G ~ be an n-fold cover of G. Then the spherical unitary dual of G and the quasi-spherical unitary dual of G ~ are the same when scaled by a factor of n. Examples: GL(n) (Huang), G 2 (R) (Vogan), GL(n,C) (Tadic) Perhaps it is possible to prove this in some cases by looking at the computation, without explicitly computing the unitarity set for G or G ~

Similar presentations