Computing the Unitary Dual. Jeffrey Adams, David Vogan, Peter Trapa and Marc van Leeuwen

Size: px

Start display at page:

Download "Computing the Unitary Dual. Jeffrey Adams, David Vogan, Peter Trapa and Marc van Leeuwen"

Shanon White
5 years ago
Views:

2 Computing the Unitary Dual Jeffrey Adams, David Vogan, Peter Trapa and Marc van Leeuwen

3 Computing the Unitary Dual Jeffrey Adams, David Vogan, Peter Trapa and Marc van Leeuwen Atlas web site:

4 Computing the Unitary Dual Jeffrey Adams, David Vogan, Peter Trapa and Marc van Leeuwen Atlas web site: Web interface to the Atlas software:

5 Computing the Unitary Dual Jeffrey Adams, David Vogan, Peter Trapa and Marc van Leeuwen Atlas web site: Web interface to the Atlas software: Atlas Workshop:

6 Computing the Unitary Dual Jeffrey Adams, David Vogan, Peter Trapa and Marc van Leeuwen Atlas web site: Web interface to the Atlas software: Atlas Workshop: References: Algorithms for Representation of Real Groups Examples of the Atlas software...

7 Computing the Unitary Dual Jeffrey Adams, David Vogan, Peter Trapa and Marc van Leeuwen Atlas web site: Web interface to the Atlas software: Atlas Workshop: References: Algorithms for Representation of Real Groups Examples of the Atlas software... These slides:

8 Atlas Project Members Jeffrey Adams Dan Barbasch Birne Binegar Bill Casselman Dan Ciubotaru Scott Crofts Fokko du Cloux Tatiana Howard Steven Jackson Alfred Noel Alessandra Pantano Annegret Paul Patrick Polo Siddhartha Sahi Susana Salamanca John Stembridge Peter Trapa Marc van Leeuwen David Vogan Wai-Ling Yee Jiu-Kang Yu Gregg Zuckerman

9 Atlas Project Members, AIM, July 2007

10 COMPUTING THE UNITARY DUAL Problem: Classify the irreducible unitary representations of a real reductive group G (such as GL(n, R), U(p, q), Sp(2n, R), E 8 )

11 COMPUTING THE UNITARY DUAL Problem: Classify the irreducible unitary representations of a real reductive group G (such as GL(n, R), U(p, q), Sp(2n, R), E 8 ) Ĝ u = unitary dual (irreducible representations equipped with a positive definite invariant Hermitian form)

12 COMPUTING THE UNITARY DUAL Problem: Classify the irreducible unitary representations of a real reductive group G (such as GL(n, R), U(p, q), Sp(2n, R), E 8 ) Ĝ u = unitary dual (irreducible representations equipped with a positive definite invariant Hermitian form) Ĝ h : Hermitian dual (invariant Hermitian form, not necessarily positive definite)

13 COMPUTING THE UNITARY DUAL Problem: Classify the irreducible unitary representations of a real reductive group G (such as GL(n, R), U(p, q), Sp(2n, R), E 8 ) Ĝ u = unitary dual (irreducible representations equipped with a positive definite invariant Hermitian form) Ĝ h : Hermitian dual (invariant Hermitian form, not necessarily positive definite) Ĝ u Ĝ h

14 OTHER DUALS Ĝ d : discrete series Ĝ t : tempered dual (Plancherel measure) Ĝ a : admissible dual Ĝ h : Hermitian dual Ĝ u = unitary dual

15 OTHER DUALS Ĝ d : discrete series (Harish-Chandra) Ĝ t : tempered dual (Plancherel measure) (Harish-Chandra) Ĝ a : admissible dual (Langlands/Knapp-Zuckerman/Vogan) Ĝ h : Hermitian dual (Knapp/Zuckerman) Ĝ u = unitary dual

16 OTHER DUALS Ĝ d : discrete series (Harish-Chandra) Ĝ t : tempered dual (Plancherel measure) (Harish-Chandra) Ĝ a : admissible dual (Langlands/Knapp-Zuckerman/Vogan) Ĝ h : Hermitian dual (Knapp/Zuckerman) Ĝ u = unitary dual Ĝ d Ĝ t Ĝ u Ĝ h Ĝ a

17 ADMISSIBLE DUAL First step: compute the admissible dual (Atlas project, Fokko du Cloux) For example, consider the irreducible representations of Sp(4, R):

18 ADMISSIBLE DUAL First step: compute the admissible dual (Atlas project, Fokko du Cloux) For example, consider the irreducible representations of Sp(4, R): 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) 2 5( 5,4): 1 2 [C+,r1] 9 5 ( *, *) ( 1, 3) 2 6( 6,5): 1 1 [r1,c+] 6 7 ( 0, 1) ( *, *) 1 7( 7,2): 2 1 [i2,c-] 7 6 (10,11) ( *, *) 2,1,2 8( 8,3): 2 2 [C-,i1] 4 9 ( *, *) (10, *) 1,2,1 9( 9,3): 2 2 [C-,i1] 5 8 ( *, *) (10, *) 1,2,1 10(10,0): 3 3 [r2,r1] ( 7, *) ( 8, 9) 1,2,1,2 11(10,1): 3 3 [r2,rn] ( 7, *) ( *, *) 1,2,1,2

19 PARAMETRIZING THE ADMISSIBLE DUAL Change of notation: G = G(C), connected reductive

20 PARAMETRIZING THE ADMISSIBLE DUAL Change of notation: G = G(C), connected reductive G(R) is a real form of G, K is a complexified maximal compact subgroup of G(R)

21 PARAMETRIZING THE ADMISSIBLE DUAL Change of notation: G = G(C), connected reductive G(R) is a real form of G, K is a complexified maximal compact subgroup of G(R) Representations of G(R) (g, K)-modules

22 PARAMETRIZING THE ADMISSIBLE DUAL Change of notation: G = G(C), connected reductive G(R) is a real form of G, K is a complexified maximal compact subgroup of G(R) Representations of G(R) (g, K)-modules G = G(C), B = Borel subgroup, θ=involution of G, K = G θ

23 PARAMETRIZING THE ADMISSIBLE DUAL Change of notation: G = G(C), connected reductive G(R) is a real form of G, K is a complexified maximal compact subgroup of G(R) Representations of G(R) (g, K)-modules G = G(C), B = Borel subgroup, θ=involution of G, K = G θ G = dual group, B, K similarly

24 PARAMETRIZING THE ADMISSIBLE DUAL Assume G is simple, simply connected and adjoint (G 2, F 4 or E 8 )

25 PARAMETRIZING THE ADMISSIBLE DUAL Assume G is simple, simply connected and adjoint (G 2, F 4 or E 8 ) Theorem: The irreducible representations of real forms of G, with trivial infinitesimal character, are parametrized by pairs where: (O, O )

26 PARAMETRIZING THE ADMISSIBLE DUAL Assume G is simple, simply connected and adjoint (G 2, F 4 or E 8 ) Theorem: The irreducible representations of real forms of G, with trivial infinitesimal character, are parametrized by pairs where: O is a K-orbit on G/B (some K) (O, O )

27 PARAMETRIZING THE ADMISSIBLE DUAL Assume G is simple, simply connected and adjoint (G 2, F 4 or E 8 ) Theorem: The irreducible representations of real forms of G, with trivial infinitesimal character, are parametrized by pairs where: O is a K-orbit on G/B (some K) (O, O ) O is a K -orbit on G /B (some K ) (satisfying a certain elementary condition)

28 PARAMETRIZING THE ADMISSIBLE DUAL Assume G is simple, simply connected and adjoint (G 2, F 4 or E 8 ) Theorem: The irreducible representations of real forms of G, with trivial infinitesimal character, are parametrized by pairs where: O is a K-orbit on G/B (some K) (O, O ) O is a K -orbit on G /B (some K ) (satisfying a certain elementary condition) [via: O local system on O π by D-modules... ]

29 PARAMETRIZING THE ADMISSIBLE DUAL Assume G is simple, simply connected and adjoint (G 2, F 4 or E 8 ) Theorem: The irreducible representations of real forms of G, with trivial infinitesimal character, are parametrized by pairs where: O is a K-orbit on G/B (some K) (O, O ) O is a K -orbit on G /B (some K ) (satisfying a certain elementary condition) [via: O local system on O π by D-modules... ] (General G: need strong real forms and other infinitesimal characters)

30 PARAMETRIZING THE ADMISSIBLE DUAL So: compute explicit combinatorial sets parametrizing:

31 PARAMETRIZING THE ADMISSIBLE DUAL So: compute explicit combinatorial sets parametrizing: (1) real forms of G (involutions θ, K)

32 PARAMETRIZING THE ADMISSIBLE DUAL So: compute explicit combinatorial sets parametrizing: (1) real forms of G (involutions θ, K) (2) K\G/B (K-orbits on the flag variety): x = 0,...,m

33 PARAMETRIZING THE ADMISSIBLE DUAL So: compute explicit combinatorial sets parametrizing: (1) real forms of G (involutions θ, K) (2) K\G/B (K-orbits on the flag variety): x = 0,...,m (3) G, K, K \G /B : y = 0,...,n

34 PARAMETRIZING THE ADMISSIBLE DUAL So: compute explicit combinatorial sets parametrizing: (1) real forms of G (involutions θ, K) (2) K\G/B (K-orbits on the flag variety): x = 0,...,m (3) G, K, K \G /B : y = 0,...,n (K, K ) Block of representations parametrized by (subset of pairs) (x, y)

35 PARAMETRIZING THE ADMISSIBLE DUAL So: compute explicit combinatorial sets parametrizing: (1) real forms of G (involutions θ, K) (2) K\G/B (K-orbits on the flag variety): x = 0,...,m (3) G, K, K \G /B : y = 0,...,n (K, K ) Block of representations parametrized by (subset of pairs) (x, y) This is (some of) what the Atlas software does.

36 ADMISSIBLE DUAL Block of Sp(4, R): 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) 2 5( 5,4): 1 2 [C+,r1] 9 5 ( *, *) ( 1, 3) 2 6( 6,5): 1 1 [r1,c+] 6 7 ( 0, 1) ( *, *) 1 7( 7,2): 2 1 [i2,c-] 7 6 (10,11) ( *, *) 2,1,2 8( 8,3): 2 2 [C-,i1] 4 9 ( *, *) (10, *) 1,2,1 9( 9,3): 2 2 [C-,i1] 5 8 ( *, *) (10, *) 1,2,1 10(10,0): 3 3 [r2,r1] ( 7, *) ( 8, 9) 1,2,1,2 11(10,1): 3 3 [r2,rn] ( 7, *) ( *, *) 1,2,1,2

37 HERMITIAN DUAL (π, V) = g 0 module (g 0 = real Lie algebra)

38 HERMITIAN DUAL (π, V) = g 0 module (g 0 = real Lie algebra) Definition: A Hermitian form, on V is invariant if π(x)v,w + v,π(x)w = 0 (X g 0 )

39 HERMITIAN DUAL (π, V) = g 0 module (g 0 = real Lie algebra) Definition: A Hermitian form, on V is invariant if π(x)v,w + v,π(x)w = 0 (X g 0 ) i.e. π(x)v,w + v,π(x)w = 0 (X g)

40 HERMITIAN DUAL (π, V) = g 0 module (g 0 = real Lie algebra) Definition: A Hermitian form, on V is invariant if π(x)v,w + v,π(x)w = 0 (X g 0 ) i.e. π(x)v,w + v,π(x)w = 0 (X g) (π, V) = (g, K)-module, G(R) corresponding real group, σ an antiholomorphic involution of G = G(C), G(R) = G(C) σ

41 HERMITIAN DUAL (π, V) = g 0 module (g 0 = real Lie algebra) Definition: A Hermitian form, on V is invariant if π(x)v,w + v,π(x)w = 0 (X g 0 ) i.e. π(x)v,w + v,π(x)w = 0 (X g) (π, V) = (g, K)-module, G(R) corresponding real group, σ an antiholomorphic involution of G = G(C), G(R) = G(C) σ Definition: A Hermitian form, on (π, V) is invariant if π(x)v,w + v,π(σ(x))w = 0 (X g) (and a similar condition for K)

42 HERMITIAN DUAL Definition (Knapp/Zuckerman): (K-finite functions) V h = {f : V C f (λv) = λ f (v)}

43 HERMITIAN DUAL Definition (Knapp/Zuckerman): V h = {f : V C f (λv) = λ f (v)} (K-finite functions) σ as before (G(R) = G σ )

44 HERMITIAN DUAL Definition (Knapp/Zuckerman): (K-finite functions) σ as before (G(R) = G σ ) V h = {f : V C f (λv) = λ f (v)} Definition: The Hermitian Dual of (π, V) is the (g, K)-module (π h σ, V h ):

45 HERMITIAN DUAL Definition (Knapp/Zuckerman): (K-finite functions) σ as before (G(R) = G σ ) V h = {f : V C f (λv) = λ f (v)} Definition: The Hermitian Dual of (π, V) is the (g, K)-module (π h σ, V h ): πσ h (X)( f )(v) = f (σ(x)v) π h σ (k)( f )(v) = f (σ(k) 1 v)

46 HERMITIAN DUAL Definition (Knapp/Zuckerman): (K-finite functions) σ as before (G(R) = G σ ) V h = {f : V C f (λv) = λ f (v)} Definition: The Hermitian Dual of (π, V) is the (g, K)-module (π h σ, V h ): πσ h (X)( f )(v) = f (σ(x)v) (σ exponentiated to K) π h σ (k)( f )(v) = f (σ(k) 1 v)

47 HERMITIAN DUAL Proposition: An invariant Hermitian form on (π, V) is the same thing as an intertwining operator T : V V h

48 HERMITIAN DUAL Proposition: An invariant Hermitian form on (π, V) is the same thing as an intertwining operator T : V V h If (π, V) is irreducible then (π, V) (π h σ, V h ) if and only if (π, V) has an invariant Hermitian form.

49 HERMITIAN DUAL Proposition: An invariant Hermitian form on (π, V) is the same thing as an intertwining operator T : V V h If (π, V) is irreducible then (π, V) (π h σ, V h ) if and only if (π, V) has an invariant Hermitian form. φ : V V h v,w = λφ(v)(w)

50 HERMITIAN DUAL Proposition: An invariant Hermitian form on (π, V) is the same thing as an intertwining operator T : V V h If (π, V) is irreducible then (π, V) (π h σ, V h ) if and only if (π, V) has an invariant Hermitian form. φ : V V h v,w = λφ(v)(w) [ λ = 1 to turn sesquilinear into Hermitian]

51 HERMITIAN DUAL Proposition: An invariant Hermitian form on (π, V) is the same thing as an intertwining operator T : V V h If (π, V) is irreducible then (π, V) (π h σ, V h ) if and only if (π, V) has an invariant Hermitian form. φ : V V h v,w = λφ(v)(w) [ λ = 1 to turn sesquilinear into Hermitian] Shorthand: π π h (Hermitian dual operation): involution of the admissible dual

52 HERMITIAN DUAL Proposition: An invariant Hermitian form on (π, V) is the same thing as an intertwining operator T : V V h If (π, V) is irreducible then (π, V) (π h σ, V h ) if and only if (π, V) has an invariant Hermitian form. φ : V V h v,w = λφ(v)(w) [ λ = 1 to turn sesquilinear into Hermitian] Shorthand: π π h (Hermitian dual operation): involution of the admissible dual Problem: Compute π π h in atlas parameters

53 DIGRESSION: C-INVARIANT FORMS Recall: (π h σ, V h ): πσ h (X)( f )(v) = f (σ(x)v) π h σ (k)( f )(v) = f (σ(k) 1 v)

54 DIGRESSION: C-INVARIANT FORMS Recall: (π h σ, V h ): πσ h (X)( f )(v) = f (σ(x)v) π h σ (k)( f )(v) = f (σ(k) 1 v) We could use any anti-holomorphic involution (preserving K). For example σ c, corresponding to a compact real form of G.

55 DIGRESSION: C-INVARIANT FORMS Recall: (π h σ, V h ): πσ h (X)( f )(v) = f (σ(x)v) π h σ (k)( f )(v) = f (σ(k) 1 v) We could use any anti-holomorphic involution (preserving K). For example σ c, corresponding to a compact real form of G. Definition: The σ c -Hermitian Dual of (π, V) is the (g, K)-module (π h σ c, V h ): π h σ c (X)( f )(v) = f (σ c (x)v) π h σ c (k)( f )(v) = f (σ c (k) 1 v)

56 DIGRESSION: C-INVARIANT FORMS This defines a σ c -invariant Hermitian form, c : π(x)v,w c + v,π(σ c (X))w c = 0

57 DIGRESSION: C-INVARIANT FORMS This defines a σ c -invariant Hermitian form, c : π(x)v,w c + v,π(σ c (X))w c = 0 Note: The σ and σ c invariant forms differ by something (essentially) inner and easy to compute.

58 DIGRESSION: C-INVARIANT FORMS This defines a σ c -invariant Hermitian form, c : π(x)v,w c + v,π(σ c (X))w c = 0 Note: The σ and σ c invariant forms differ by something (essentially) inner and easy to compute. The c-invariant (shorthand for σ c -invariant) forms have a lot of advantages (later... )

59 ACTION OF HERMITAN DUAL ON PARAMETERS Atlas setup: an inner class of real forms of G

60 ACTION OF HERMITAN DUAL ON PARAMETERS Atlas setup: an inner class of real forms of G Given by an outer automorphism τ of G; (Example: τ = 1 real forms containing a compact Cartan subgroup)

61 ACTION OF HERMITAN DUAL ON PARAMETERS Atlas setup: an inner class of real forms of G Given by an outer automorphism τ of G; (Example: τ = 1 real forms containing a compact Cartan subgroup) Example: G = GL(n, C)

62 ACTION OF HERMITAN DUAL ON PARAMETERS Atlas setup: an inner class of real forms of G Given by an outer automorphism τ of G; (Example: τ = 1 real forms containing a compact Cartan subgroup) Example: G = GL(n, C) τ = 1: {U(p, q) p + q = n}

63 ACTION OF HERMITAN DUAL ON PARAMETERS Atlas setup: an inner class of real forms of G Given by an outer automorphism τ of G; (Example: τ = 1 real forms containing a compact Cartan subgroup) Example: G = GL(n, C) τ = 1: {U(p, q) p + q = n} τ(g) = t g 1 : GL(n, R) (and GL(n/2, H))

64 ACTION OF HERMITAN DUAL ON PARAMETERS Atlas setup: an inner class of real forms of G Given by an outer automorphism τ of G; (Example: τ = 1 real forms containing a compact Cartan subgroup) Example: G = GL(n, C) τ = 1: {U(p, q) p + q = n} τ(g) = t g 1 : GL(n, R) (and GL(n/2, H)) τ acts on G/B, K\G/B

65 ACTION OF HERMITAN DUAL ON PARAMETERS Atlas setup: an inner class of real forms of G Given by an outer automorphism τ of G; (Example: τ = 1 real forms containing a compact Cartan subgroup) Example: G = GL(n, C) τ = 1: {U(p, q) p + q = n} τ(g) = t g 1 : GL(n, R) (and GL(n/2, H)) τ acts on G/B, K\G/B natural transpose τ t on K \G /B

66 ACTION OF HERMITAN DUAL ON PARAMETERS Recall representations are parametrized by a K K -orbit (O, O ) G/B G /B

67 ACTION OF HERMITAN DUAL ON PARAMETERS Recall representations are parametrized by a K K -orbit (O, O ) G/B G /B Assume π has real infinitesimal character (example: discrete series, principal series induced from a real valued character of A):

68 ACTION OF HERMITAN DUAL ON PARAMETERS Recall representations are parametrized by a K K -orbit (O, O ) G/B G /B Assume π has real infinitesimal character (example: discrete series, principal series induced from a real valued character of A): Proposition: Suppose Then π (O, O )

69 ACTION OF HERMITAN DUAL ON PARAMETERS Recall representations are parametrized by a K K -orbit (O, O ) G/B G /B Assume π has real infinitesimal character (example: discrete series, principal series induced from a real valued character of A): Proposition: Suppose Then π (O, O ) π h (τ(o),τ t (O ))

70 ACTION OF HERMITAN DUAL ON PARAMETERS Recall representations are parametrized by a K K -orbit (O, O ) G/B G /B Assume π has real infinitesimal character (example: discrete series, principal series induced from a real valued character of A): Proposition: Suppose Then π (O, O ) (elementary to compute) π h (τ(o),τ t (O ))

71 ACTION OF HERMITAN DUAL ON PARAMETERS Recall representations are parametrized by a K K -orbit (O, O ) G/B G /B Assume π has real infinitesimal character (example: discrete series, principal series induced from a real valued character of A): Proposition: Suppose Then π (O, O ) (elementary to compute) π h (τ(o),τ t (O )) Corollary: If G is equal rank every irreducible representation (with real infinitesimal character) is Hermitian.

72 PROGRAM TO COMPUTE HERMITIAN FORMS Basic idea: Kazhdan-Lusztig-Vogan theory expresses irreducible representation as formal sums of standard modules

73 PROGRAM TO COMPUTE HERMITIAN FORMS Basic idea: Kazhdan-Lusztig-Vogan theory expresses irreducible representation as formal sums of standard modules Program: Develop Kazhdan-Lusztig-Vogan theory for representations with Hermitian forms

74 PROGRAM TO COMPUTE HERMITIAN FORMS Basic idea: Kazhdan-Lusztig-Vogan theory expresses irreducible representation as formal sums of standard modules Program: Develop Kazhdan-Lusztig-Vogan theory for representations with Hermitian forms (1) Express irreducible (π,, ) as a formal of standard modules equipped with Hermitian forms

75 PROGRAM TO COMPUTE HERMITIAN FORMS Basic idea: Kazhdan-Lusztig-Vogan theory expresses irreducible representation as formal sums of standard modules Program: Develop Kazhdan-Lusztig-Vogan theory for representations with Hermitian forms (1) Express irreducible (π,, ) as a formal of standard modules equipped with Hermitian forms (2) Compute Hermitian forms on standard modules

76 PROGRAM TO COMPUTE HERMITIAN FORMS Basic idea: Kazhdan-Lusztig-Vogan theory expresses irreducible representation as formal sums of standard modules Program: Develop Kazhdan-Lusztig-Vogan theory for representations with Hermitian forms (1) Express irreducible (π,, ) as a formal of standard modules equipped with Hermitian forms (2) Compute Hermitian forms on standard modules (3) 1+2 computation of Hermitian forms on irreducible representations

77 PROGRAM TO COMPUTE HERMITIAN FORMS Basic idea: Kazhdan-Lusztig-Vogan theory expresses irreducible representation as formal sums of standard modules Program: Develop Kazhdan-Lusztig-Vogan theory for representations with Hermitian forms (1) Express irreducible (π,, ) as a formal of standard modules equipped with Hermitian forms (2) Compute Hermitian forms on standard modules (3) 1+2 computation of Hermitian forms on irreducible representations (4) For each irreducible Hermitian representation, check if its Hermitian form is positive definite

78 KLV POLYNOMIALS Recall: Verma modules:

79 KLV POLYNOMIALS Recall: Verma modules: Parameter set: W M(w): Verma module with highest weight wρ ρ L(w): unique irreducible quotient of M(w)

80 KLV POLYNOMIALS Recall: Verma modules: Parameter set: W M(w): Verma module with highest weight wρ ρ L(w): unique irreducible quotient of M(w) (g, K)-modules: Parameter set: {γ = (x, y)} (pair of orbits) I(γ ) = standard module (full induced from discrete series) J(γ ) = unique irreducible quotient of I(γ )

81 KLV POLYNOMIALS Verma modules M(w) = v w m(v,w)l(v) (m(v,w) Z 0) L(w) = v w M(v,w)M(v) (M(v,w) = ±P v,w (1) Z)

82 KLV POLYNOMIALS Verma modules M(w) = v w m(v,w)l(v) (m(v,w) Z 0) L(w) = v w M(v,w)M(v) (M(v,w) = ±P v,w (1) Z) P v,w = Kazhdan-Lusztig polynomial (for B\G/B)

83 KLV POLYNOMIALS Verma modules M(w) = v w m(v,w)l(v) (m(v,w) Z 0) L(w) = v w M(v,w)M(v) (M(v,w) = ±P v,w (1) Z) P v,w = Kazhdan-Lusztig polynomial (for B\G/B) Harish-Chandra modules (working in a fixed block): I(γ ) = δ γ m(δ,γ)j(δ) (m(δ,γ) Z 0) J(γ ) = δ γ M(δ,γ)I(δ) (M(δ,γ) = ±P γ,δ (1) Z)

84 KLV POLYNOMIALS Verma modules M(w) = v w m(v,w)l(v) (m(v,w) Z 0) L(w) = v w M(v,w)M(v) (M(v,w) = ±P v,w (1) Z) P v,w = Kazhdan-Lusztig polynomial (for B\G/B) Harish-Chandra modules (working in a fixed block): I(γ ) = δ γ m(δ,γ)j(δ) (m(δ,γ) Z 0) J(γ ) = δ γ M(δ,γ)I(δ) (M(δ,γ) = ±P γ,δ (1) Z) P δ,γ = Kazhdan-Lusztig-Vogan polynomial (for K\G/B), (computed by Atlas software)

85 KLV POLYNOMIALS FOR HERMITIAN FORMS Goal: Find formulas for the form:, J(γ) = δ γ H γ,δ, I(γ)

86 KLV POLYNOMIALS FOR HERMITIAN FORMS Goal: Find formulas for the form:, J(γ) = δ γ H γ,δ, I(γ) This is a refinement of: J(γ ) = δ γ M(δ,γ)I(δ)

87 KLV POLYNOMIALS FOR HERMITIAN FORMS Goal: Find formulas for the form:, J(γ) = δ γ H γ,δ, I(γ) This is a refinement of: J(γ ) = δ γ M(δ,γ)I(δ) in the language of signature characters: J(γ ) = ( δ γ H + δ,γ I(δ), δ γ H δ,γ I(δ)) H + δ,γ + H δ,γ = M(δ,γ)

88 KLV POLYNOMIALS FOR HERMITIAN FORMS Problems:

89 KLV POLYNOMIALS FOR HERMITIAN FORMS Problems: (1) I(γ ) may not be Hermitian (in unequal rank case)

90 KLV POLYNOMIALS FOR HERMITIAN FORMS Problems: (1) I(γ ) may not be Hermitian (in unequal rank case) (2) No canonical choice of Hermitian forms, I(γ),, J(γ).

91 KLV POLYNOMIALS FOR HERMITIAN FORMS Problems: (1) I(γ ) may not be Hermitian (in unequal rank case) (2) No canonical choice of Hermitian forms, I(γ),, J(γ). BIG IDEA: These go away if you use c-invariant forms: these always exist and can be made canonical.

92 KLV POLYNOMIALS FOR HERMITIAN FORMS Problems: (1) I(γ ) may not be Hermitian (in unequal rank case) (2) No canonical choice of Hermitian forms, I(γ),, J(γ). BIG IDEA: These go away if you use c-invariant forms: these always exist and can be made canonical. Continued...

Atlas Project Members. Funded by the National Science Foundation American Institute of Mathematics

Atlas Project Members. Funded by the National Science Foundation American Institute of Mathematics E8 Atlas Project Members Jeffrey Adams (Maryland) Dan Barbasch (Cornell) Birne Binegar (Oklahoma) Bill Casselman (British Columbia) Dan Ciubotaru (Utah) Scott Crofts (Utah) Fokko du Cloux (Lyon) Alfred