Spin norm: combinatorics and representations

Transcription

1 Spin norm: combinatorics and representations Chao-Ping Dong Institute of Mathematics Hunan University September 11, 2018 Chao-Ping Dong (HNU) Spin norm September 11, / 38

2 Overview This talk aims to introduce the following preprints in J. Ding, C.-P. Dong, Unitary representations with Dirac cohomology: a finiteness result, arxiv: C.-P. Dong, Unitary representations with Dirac cohomology for complex E 6, arxiv: C.-P. Dong, Unitary representations with Dirac cohomology: finiteness in the real case, arxiv: For a real reductive Lie group G(R), we report a finiteness theorem for the structure for Ĝ(R)d all the irreducible unitary Harish-Chandra modules (up to equivalence) for G(R) with non-zero Dirac cohomology. Chao-Ping Dong (HNU) Spin norm September 11, / 38

3 Outline 1 Combinatorics 2 Representations Chao-Ping Dong (HNU) Spin norm September 11, / 38

4 Outline 1 Combinatorics 2 Representations Chao-Ping Dong (HNU) Spin norm September 11, / 38

5 A game The following problem was given at the International Olympiad of Mathematics in Five integers with positive sum are arranged on a circle. The following game is played. If there is at least one negative number, the player may pick up one of them, add it to its neighbors, and reverse its sign. The game terminates when all the numbers are nonnegative. Prove that this game must always terminate. Chao-Ping Dong (HNU) Spin norm September 11, / 38

6 Elementary Solution (Demetres Chrisofides) Take T = (a c) 2 + (b d) 2 + (c e) 2 + (d a) 2 + (e b) 2. After replacing a, b, c by a + b, b, b + c, we get T = T + 2b(a + b + c + d + e) < T. Chao-Ping Dong (HNU) Spin norm September 11, / 38

7 Some examples The underlying structure: Coxeter group of Ã4. e.g. consider A 2 : [ 1, 1] [1, 2] [ 1, 2] [1, 1]. The Cartan matrix [ ] Chao-Ping Dong (HNU) Spin norm September 11, / 38

8 The A 2 picture Chao-Ping Dong (HNU) Spin norm September 11, / 38

9 Some examples (continued) e.g. consider G 2 : [ 1, 1] [ 4, 1] [4, 3] [ 5, 3] [5, 2] [ 1, 2] [1, 1]. The Cartan matrix [ ] Chao-Ping Dong (HNU) Spin norm September 11, / 38

10 The G 2 picture Chao-Ping Dong (HNU) Spin norm September 11, / 38

11 The underlying algorithm Given an arbitrary integral weight λ = i λ i ϖ i = [λ 1,..., λ l ]. How to effectively conjugate it to the dominant Weyl chamber? The algorithm: select an arbitrary index i such that λ i < 0, then apply the simple reflection s i ; continue this process when necessary. s i (λ) = λ λ i l j=1 a jiϖ j. It uses the i-th column of the Cartan matrix A. Why is the algorithm effective? See Theorem of A. Björner, F. Brenti, Combinatorics of Coxeter groups, GTM 231, Springer, New York (2005). Chao-Ping Dong (HNU) Spin norm September 11, / 38

12 Spin norm (for complex Lie groups) For any dominant weight µ. The spin norm of µ: µ spin = {µ ρ} + ρ. Here ρ = ϖ ϖ l = [1,..., 1]; and {µ ρ} is the unique dominant weight to which µ ρ is conjugate. e.g. { ρ} = ρ. Thus 0 spin = 2ρ. Moreover, 2ρ spin = 2ρ, and ρ spin = ρ Note that µ spin µ, and equality holds if and only if µ is regular. It becomes subtle and interesting when µ is irregular. This notion was raised in my 2011 thesis. Origin: V µ V ρ. Chao-Ping Dong (HNU) Spin norm September 11, / 38

13 Pencils The pencil starting with µ: where β is the highest root. P(µ) = {µ + nβ n Z 0 }, e.g. P(0) consists of 0, β, 2β,. Reference: D. Vogan, Singular unitary representations, Noncommutative harmonic analysis and Lie groups (Marseille, 1980), Motivation: describe the K -types pattern of an infinite-dimensional representation. Chao-Ping Dong (HNU) Spin norm September 11, / 38

14 The u-small convex hull (for complex Lie groups) The u-small convex hull: the convex hull of the W -orbit of 2ρ. Reference: S. Salamanca-Riba, D. Vogan, On the classification of unitary representations of reductive Lie groups, Ann. of Math. 148 (1998), Motivation: describe a unifying conjecture on the shape of the unitary dual. Pavle s 2010 Nankai U Lecture: a work joint with Prof. Renard. Chao-Ping Dong (HNU) Spin norm September 11, / 38

15 The complex G 2 case, where β = ϖ 2 Chao-Ping Dong (HNU) Spin norm September 11, / 38

16 Distribution of spin norm along pencils Theorem Let g be any finite-dimensional complex simple Lie algebra. The spin norm increases strictly along any pencil once it goes beyond the u-small convex hull. Reference: C.-P. Dong, Spin norm, pencils, and the u-small convex hull, Proc. Amer. Math. Soc. 144 (2016), Remark Classical groups: two weeks; Exceptional groups: about two years. Chao-Ping Dong (HNU) Spin norm September 11, / 38

17 Outline 1 Combinatorics 2 Representations Chao-Ping Dong (HNU) Spin norm September 11, / 38

18 Dirac operator in physics In 1928, by using matrix algebra, Dirac discovered the later named Dirac operator in his description of the wave function of the spin 1/2 massive particles such as electrons and quarks. Reference: P. Dirac, The quantum theory of the electron, Proc. Roy. Soc. London Ser. A 117 (1928), Atiyah s remark: using Hamilton quaternions H = {±1, ±i, ±j, ±k}, ij = ji, i 2 = 1, we have = 2 x 2 2 y 2 2 z 2 = (i x + j y + k z )2. Chao-Ping Dong (HNU) Spin norm September 11, / 38

19 Paul Dirac Figure 1: Paul Dirac in Chao-Ping Dong (HNU) Spin norm September 11, / 38

20 Dirac operator in Lie theory In 1972, Parthasarthy introduced the Dirac operator for G and successfully used it to construct most of the discrete series. Reference: R. Parthasarathy, Dirac operators and the discrete series, Ann. of Math. 96 (1972), Let {Z i } n i=1 be an o.n.b. of p 0 w.r.t. B. The algebraic Dirac operator is defined as: D := n Z i Z i U(g) C(p). i=1 Note that we have D 2 = (Ω g 1 + ρ 2 ) + (Ω k + ρ c 2 ). Chao-Ping Dong (HNU) Spin norm September 11, / 38

21 Dirac cohomology Let X be a (g, K )-module. Then D : X S X S, and in the 1997 MIT Lie groups seminar, Vogan introduced the Dirac cohomology of X to be H D (X) = Ker D/(Ker D Im D). Moreover, Vogan conjectured that when H D (X) is nonzero, it should reveal the infinitesimal character of X. This conjecture was verified by Huang and Pandžić in Reference: J.-S. Huang, P. Pandžić, Dirac cohomology, unitary representations and a proof of a conjecture of Vogan, J. Amer. Math. Soc. 15 (2002), Chao-Ping Dong (HNU) Spin norm September 11, / 38

22 The classification problem Problem: classify all the equivalence classes of irreducible unitary representations with non-zero Dirac cohomology. For X unitary, we have H D (X) = Ker D = Ker D 2. These representations are extreme ones among the unitary dual in the following sense: they are exactly the ones on which Parthasarathy s Dirac inequality becomes equality. Cohomological induction is an important way of constructing unitary representations. When the inducing module is one-dimensional, we meet A q (λ)-modules. Under the admissible condition, J.-S. Huang, Y.-F. Kang, P. Pandžić, Dirac cohomology of some Harish-Chandra modules, Transform. Groups. 14 (2009), Chao-Ping Dong (HNU) Spin norm September 11, / 38

23 Within the good range The inducing module could be infinite-dimensional. Under the good range condition, C.-P. Dong, J.-S. Huang, Dirac cohomology of cohomologically induced modules for reductive Lie groups, Amer. J. Math. 137 (2015), P. Pandžić, Dirac cohomology and the bottom layer K-types, Glas. Mat. Ser. III 45 (65) (2010), no. 2, What will happen beyond the good range? This point has perplexed us for quite a long time. There could be no unifying formula... Chao-Ping Dong (HNU) Spin norm September 11, / 38

24 Complex Lie groups Let G be a complex connected Lie group, K, H. A powerful reduction: J(λ, sλ), s W is an involution, 2λ is dominant integral. Here µ := {λ + sλ} is the LKT. Reference: D. Barbasch, P. Pandžić, Dirac cohomology and unipotent representations of complex groups, Noncommutative geometry and global analysis, 1 22, Contemp. Math., 546, Amer. Math. Soc., Fix λ (say, = ρ/2), and let s varies. Chao-Ping Dong (HNU) Spin norm September 11, / 38

25 Complex Lie groups (continued) Idea: fix an arbitrary involution s, and let λ varies. We call Λ(s) and the corresponding representations J(λ, sλ) an s-family, where Λ(s) := {λ = [λ 1,..., λ l ] 2λ i P and λ + sλ is integral}. For any involution s W, put I(s) = {i s(ϖ i ) = ϖ i }. i I(s) if and only if s αi does not occur in some reduced expression of s, if and only if s αi does not occur in any reduced expression of s. Thus s s j j / I(s). e.g., I(e) = {1,..., l}, while I(w 0 ) is empty. Chao-Ping Dong (HNU) Spin norm September 11, / 38

26 Complex F 4 There are 140 involutions in W (F 4 ). Among them, 103 involutions have the property that I(s) is empty. F 4 d consists of 10 scattered representations, and 30 strings of representations. Chao-Ping Dong (HNU) Spin norm September 11, / 38

27 Table 1: The scattered part of F d 4 #s λ spin LKT u-small mult 25 [1/2, 1/2, 1/2, 1] [1, 3, 0, 1] Yes 1 38 ρ/2 ρ Yes 1 62 [1, 1, 1/2, 1/2] [0, 0, 1, 4] Yes 1 63 [1/2, 1/2, 1, 1] [7, 1, 0, 0] Yes 1 63 ρ/2 ρ Yes 1 76 [1, 1/2, 1/2, 1] [4, 2, 0, 0] Yes 1 92 [1, 1/2, 1/2, 1/2] [2, 2, 0, 1] Yes ρ/2 ρ Yes [1, 1, 1/2, 1/2] [0, 0, 0, 4] Yes ρ [0, 0, 0, 0] Yes 1 Chao-Ping Dong (HNU) Spin norm September 11, / 38

28 Table 2: The string part of F 4 d (middle part omitted) #s λ spin LKT mult 1 [a, b, c, d] LKT 1 2 [1, b, c, d] LKT 1 3 [a, 1, c, d] LKT 1 4 [a, b, 1, d] LKT 1 5 [a, b, c, 1] LKT [1, 1, 1/2, d] [3, 0, 0, 2d + 3] 1 34 [1, 1/2, 1/2, d] [1, 2, 0, 2d + 1] 1 47 [1, 1, 1, d] LKT 1 50 [a, 1, 1, 1] LKT 1 50 [a, 1, 1/2, 1/2] [2a + 2, 0, 2, 0] 1 Here a, b, c, d run over the set {1/2, 1, 3/2, 2,... }. Chao-Ping Dong (HNU) Spin norm September 11, / 38

29 Understanding the string part C.-P. Dong, On the Dirac cohomology of complex Lie group representations, Transformation Groups 18 (1) (2013), Erratum: Transformation Groups 18 (2) (2013), Vogan s encouragement:...but we are still human, and sometimes we do make mistakes. You feel bad because you are a good mathematician, and that means not accepting errors. Your paper has good mathematics in it..." Chao-Ping Dong (HNU) Spin norm September 11, / 38

30 Understanding the string part (continued) Fix an involution s W such that I(s) is non-empty. P s the θ-stable parabolic subgroup of G corresponding to the simple roots {α i i / I(s)}; L s the Levi factor. We have that J(λ, sλ) = L S (Z λ ), where Z λ is the irreducible unitary representation of L s with Zhelobenko parameters (λ ρ(u s )/2, s(λ ρ(u s )/2)). The good range condition is met since (λ, λ), α > 0, α (u s ). Reference: D. Vogan, Unitarizability of certain series of representations, Ann. of Math. 120 (1) (1984), Chao-Ping Dong (HNU) Spin norm September 11, / 38

31 A finiteness result Theorem (with J. Ding, 2017, arxiv: ) The set Ĝd for a connected complex simple Lie group consists of two parts: a) finitely many scattered modules (the scattered part); and b) finitely many strings of modules (the string part). Moreover, modules in the string part of G are all cohomologically induced from the scattered part of L d ss tensored with unitary characters of Z (L), and they are all in the good range. Here L runs over the proper θ-stable Levi subgroups of G, Z (L) is the center of L, and L ss denotes the semisimple factor of L. In particular, there are at most finitely many modules of Ĝd beyond the good range. Chao-Ping Dong (HNU) Spin norm September 11, / 38

32 Some remarks To classify Ĝd for G complex, it suffices to consider finitely many candidate representations. Later, we classified Ĝd for complex E 6 (arxiv: ). The distribution of spin norm along a pencil is very efficient in actual computation. For instance, it reduces the candidate representation in an s-familiy of E 6 from to 3, where s = s 4 s 5 s 6 s 5 s 1 s 3 s 2 s 4 s 1. Another important tool: atlas, version 1.0, January 2017, see for more. Reference: J. Adams, M. van Leeuwen, P. Trapa and D. Vogan, Unitary representations of real reductive groups, preprint, 2012 (arxiv: ). Chao-Ping Dong (HNU) Spin norm September 11, / 38

33 Barbasch-Pandžić Conjecture The following is Conjecture 1.1 of [Barbasch-Pandžić, 2010]. Let G be a complex Lie group viewed as a real group, and π be an irreducible unitary representation such that twice the infinitesimal character of π is regular and integral. Then π has nonzero Dirac cohomology if and only if π is cohomologically induced from an essentially unipotent representation with nonzero Dirac cohomology. Here by an essentially unipotent representation we mean a unipotent representation tensored with a unitary character. Chao-Ping Dong (HNU) Spin norm September 11, / 38

34 Finiteness in the real case Theorem (2017, arxiv: ) Let G(R) be a real reductive Lie group. For all but finitely many exceptions, any member π in Ĝ(R)d is cohomologically induced from a member π L(R) in L d which is in the good range. Here L(R) is a proper θ-stable Levi subgroup of G(R). We call the finitely many exceptions the scattered part of Ĝ(R)d. The scattered part is the "kernel" of Ĝ(R)d. By [DH-AJM-2015] and cohomological induction in stages, to classify Ĝ(R)d for G real reductive, it suffices to consider finitely many candidate representations. Chao-Ping Dong (HNU) Spin norm September 11, / 38

35 A few remarks We have benefited a lot from the 2017 Atlas workshop held at U of Utah, July The powerful reduction due to Barbasch Pandžić is unavailable for real reductive Lie groups yet. We adopted another approach. atlas parameter (x, λ, ν), infinitesimal character 1 2 (1 + θ)λ + ν h. Chao-Ping Dong (HNU) Spin norm September 11, / 38

36 A few conjectures Conjecture 1. Let G(R) be a real reductive Lie group. Then any spin-lowest K -type of any π in the scattered part of Ĝ(R)d must be u-small. Conjecture 2. Let G be a connected complex Lie group. The set Ĝ d consists exactly of the unitary representations J(λ, sλ), where s is an involution, and λ is a weight such that 2λ is dominant integral and regular; λ + sλ is an integral weight; λ sλ is a non-negative integer combination of simple roots. Once the Barbasch-Pandžić reduction has been worked out for real Lie groups, an analogue of Conj. 2 should be immediate. Chao-Ping Dong (HNU) Spin norm September 11, / 38

37 Possible applications Automorphic forms: Chapter 8 [Huang Pandžić-2006] sharpened the results of [Langlands-1963-AJM] and [Hotta-Parthasarathy-1974-InventMath]. Dirac index polynomial: S. Mehdi, P. Pandžić, D. Vogan, Translation principle for Dirac index, Amer. J. Math. 139 (6) (2017), Other settings. Chao-Ping Dong (HNU) Spin norm September 11, / 38

38 Thank you for listening! Chao-Ping Dong (HNU) Spin norm September 11, / 38