1 / 28

unitarity@home

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.

barton
Download Presentation

unitarity@home

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  2. 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)

  3. Why do this? 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 E8 (Adams, Huang, Vogan), Non-arithmetic groups (Mostow, Deligne)

  4. 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:

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

  6. Sketch of proof of the Theorem: Uses the notion of K-character and Hermitian representation (see Vogan’s lecture) Standard module: I(G,P,s)=I(P,s), with irreducible quotient I(P,s) Derived functor module: Rq(s) (Huang’s lecture) Real infinitesimal character l (Huang’s lecture) Theorem (Knapp/Vogan) Suppose p is an irreducible unitary representation of G. Then p=I(P,s) for some irreducible unitary representation s with real infinitesimal character (readily computable).

  7. Definition: (Salamanca, Vogan): An infinitesimal character is small if it is real and in the convex hull of Wr. An admissible representation is small if it has small infinitesimal character. Conjecture: (Salamanca, Vogan): Suppose p is an irreducible unitary representation with real infinitesimal character. Then p=Rq(s) where s is small (q,s 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.

  8. 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 p is an irreducible unitary representation with real infinitesimal character. Then p =Rq(s) where s is an irreducible unitary representation with real infinitesimal character in the convex hull of n(G)r. 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.

  9. 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 m to consider 2. for each m a finite number of representations p of G, 3. for each p 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), m is unitarily small iff it is in the convex hull of (2n,2n-2,…,2); pretty hopeless for computational purposes.

  10. Proposition: Suppose p is a small irreducible Hermitian representation. Then: • The lowest K-type of p is unitarily small, • unitarity of p is detected on the unitarily small K-types of p. • Fix a unitarily small K-type m. Associated to m is a parabolic subgroup P=MAN and a representation s of M such that every irreducible representation with this lowest K-type is the unique irreducible quotient I(P, sx n) of I(P, sx n) for some n. • Lemma: Unitarity of I(P, mx n) is constant on “reducibility” regions in the n plane. There are only a finite number of such regions (with small infinitesimal character).

  11. 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,mxn) 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.

  12. Summary: 1. Reduce to small (real) infinitesimal character. 2. Fix a unitarily small K-type. 3. Compute finite number of regions in the n 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

  13. 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,dT,dB) T,B are a Cartan and a Borel subgroup in G, dT,dB similarly in vG y is in LG, y^2 in Z(vG) (for example…) Computing Weyl groups: (Vogan duality) Homework: Read and thoroughly understand Vogan duality (Irreducible Characters 4, Duke ?). Generalize to p-adic groups.

  14. 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(m1)xO(m2)…xO(mr) Requires many “branching” type laws. 3. Kazhdan-Lusztig at any infinitesimal character reduces, via IC4 duality, to infinitesimal character r. 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.

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

  16. Consider real or complex groups. Let A(m,n) be the operator A(n) on the Weyl group representation on the 0-weight space of m. Theorem: X(n) is unitary if and only if A(m,n) is unitary for all unitarily small m. Problem: Compute the operator A(m,n) (this might be hard). There is a notion of “petite” representation (Vogan’s talk next week, possibly) for which A(m,n) is easy to compute. The petite representations come close to detecting unitarity. (p unitary impilies A(m,n) positive semi-definite for all petite m, 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).

  17. 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, F4(p-adic) Should work for E6, maybe E7 , not E8 Good test case. Barbasch: independently has done F4(R, C, p-adic) Computational issues: rational arithmetic, computing positive definiteness, computing an explicit model of any irreducible representation of W

  18. 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}}

  19. 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}}

  20. 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

  21. Example: The spherical unitary dual of F4 over the p-adics (Stembridge, Adams, Barbasch) There are 284 facets in the n 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.

  22. [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

  23. [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

  24. 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):

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

  26. Some partial problems: ** 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 (E8) 3. Compute the operator A for general spherical representations of real groups (non-petite) 4. Kazhdan-Lusztig algorithm (Casselman, Kottwitz) 5. Regions in the n plane (Stembridge)

  27. 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), G2(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 ~

More Related