# Solvability, Structure and Analysis for Minimal Parabolic Subgroups

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Solvability, Structure and Analysis for Minimal Parabolic Subgroups Joseph A. Wolf 22 January 2017 Abstract We examine the structure of the Levi component MA in a minimal parabolic subgroup P = MAN of a real reductive Lie group G and work out the cases where M is metabelian, equivalently where p is solvable. When G is a linear group we verify that p is solvable if and only if M is commutative. In the general case M is abelian modulo the center Z G, we indicate the exact structure of M and P, and we work out the precise Plancherel Theorem and Fourier Inversion Formulae. This lays the groundwork for comparing tempered representations of G with those induced from generic representations of P. Contents 1 Introduction 1 2 Lie Algebra Structure 2 3 Structure of the Minimal Parabolic Subgroup 4 3A The Linear Case B The Finite Groups D n and D g C The General Case Stepwise Square Integrable Representations of the Nilradical 7 5 Generic Representations of the Parabolic 9 6 Fourier Inversion on the Parabolic 10 7 Appendix: Explicit Decompositions 12 References 15 1 Introduction Let G be a real reductive Lie group and P = MAN a minimal parabolic subgroup. Later we will be more precise about conditions on the structure of G, but first we recall the unitary principal series representations of G. They are the induced representations π χ,ν,σ = Ind G P (η χ,ν,σ ) defined as follows. First, ν is the highest weight of an irreducible representation η ν of the identity component M 0 of M. Second, χ is an irreducible representation of the M centralizer Z M (M 0 ) that agrees with η ν on the center Z M 0 = Z M (M 0 ) M 0 of M 0. Third, σ is a real linear functional on the Lie algebra a of A, in other words e iσ is a unitary character on A. Write η χ,ν for the representation χ η ν of M, and let η χ,ν,σ denote the representation man e iσ (a)η χ,ν (m) of P. This data defines the principal series representation π χ,ν,σ = Ind G P (η χ,ν,σ ) of G. Now consider a variation in which an irreducible unitary representation of N is incorporated. A few years ago, we described Plancherel almost all of the unitary dual N in terms of strongly orthogonal roots ([16], Research partially supported by a grant from the Simons Foundation 1

2 [17]). Using those stepwise square integrable representations π λ of N we arrive at representations η χ,ν,σ,λ of P and π χ,ν,σ,λ = Ind G P (η χ,ν,σ,λ ) of G. The representations π χ,ν,σ,λ have not yet been studied, at least in terms of their relation to tempered representations and harmonic analysis on G. In this paper we lay some of the groundwork for that study. Clearly this all this is much simpler when M is commutative modulo the center Z G. Then there is a better chance of finding a clear relation between the π χ,ν,σ,λ and the tempered representation theory of G. In this paper we see just when M is commutative mod Z G. That turns out to be equivalent to solvability of P, and leads to a straightforward construction both of the Plancherel Formula and the Fourier Inversion Formula for P and of the principal series representations of G. It would also be interesting to see whether solvability of P simplifies the operator theoretic formulation [1] of stepwise square integrability. It will be obvious to the reader that if any parabolic subgroup of a real Lie group has commutative Levi component, then that parabolic is a minimal parabolic. For this reason we only deal with minimal parabolics. The concept of stepwise square integrable representation is basic to this note and to many of the references after It came out of conversations with Maria Laura Barberis concerning application of square integrability [10] to her work with Isabel Dotti on abelian complex structures. The first developments were [16] and [17], and we follow the notation in those papers. 2 Lie Algebra Structure Let g be a real reductive Lie algebra. In other words g = g z where g = [g, g] is semisimple and z is the center of g. As usual, g C denotes the complexification of g, so g C = g z, direct sum of the C C respective complexifications of g and z. Choose a Cartan involution θ of g and decompose g = k + s into (±1) eigenspaces of θ. Fix a maximal abelian subspace a s and let m denote the k centralizer of a. Let t be a Cartan subalgebra of m, so h := t + a is a maximally split Cartan subalgebra of g. We denote root systems by (g C ), (m C ) and (g, a). Choose consistent positive root subsystems + (g C ), + (m C ) and + (g, a). In other words, if α (g C ) then α + (g C ) if and only if either (i) α a 0 and α a + (g, a), or (ii) α a = 0 and α tc + (m C ). We write Ψ(g C ), Ψ(m C ) and Ψ(g, a) for the corresponding simple root systems. Note that (2.1) Ψ(g, a) = {ψ a ψ Ψ(g C ) and ψ a 0} and Ψ(m C ) = {ψ tc ψ Ψ(g C ) and ψ a = 0}. If g is the underlying structure of a complex simple Lie algebra l then g C = l l and Ψ(gC ) is the union of the simple root systems of the two summands. In that case Ψ(g, a) looks like the simple root system of l, but with every root of multiplicity 2. On the group level, the centralizer Z G (a) = Z G (A) = M A where A = exp(a) and M = Z K (A). Lemma 2.2 The following conditions are equivalent: (1) if α Ψ(g C ) then α a 0, (2) the Lie algebra m of M is abelian, and (3) m is solvable. Proof. If (1) fails we have ψ Ψ(g C ) such that ψ a = 0, so 0 ψ tc Ψ(m C ). Then m C contains the simple Lie algebra with simple root ψ tc, and (3) fails. If (3) fails then (2) fails. Finally suppose that (2) fails. Since m C = t C + α (m C,t C ) m α, the root system (m C ) is not empty. In particular Ψ(m C ), and (2.1) provides ψ Ψ(g C ) with ψ a = 0, so (1) fails. Decompose the derived algebra as a direct sum of simple ideals, g = g i. Then the minimal parabolic subalgebras p = m + a + n of g decompose as direct sums p = z p i where p i = m i + a i + n i is a minimal parabolic subalgebra of g i. Thus m is abelian (resp. solvable) if and only if each of the m i is abelian (resp. 2

3 solvable). The classification of real reductive Lie algebras g with m abelian (resp. solvable) is thus reduced to the case where g is simple. This includes the case where g is the underlying real structure of a complex simple Lie algebra. The Satake diagram for Ψ(g C ) is the Dynkin diagram, using the arrow convention rather than the black dot convention, with the following modifications. If ψ and ψ have the same nonzero restriction to a then the corresponding nodes on the diagram are joined by a two headed arrow. In the case where g is complex this joins two roots that are complex conjugates of each other. If ψ a = 0 then the corresponding node on the diagram is changed from a circle to a black dot. Condition (1) of Lemma 2.2 says that the Satake diagram for Ψ(g C ) has no black dots. Combining the classification with Lemma 2.2 we arrive at Theorem 2.3 Let g be a simple real Lie algebra and let p = m+a+n be a minimal parabolic subalgebra. Let t be a Cartan subalgebra of m, so h := t + a is a maximally split Cartan subalgebra of g. Then the following conditions are equivalent: (i) m is abelian, (ii) m is solvable, (iii) a contains a regular element of g, (iv) g C has a Borel subalgebra stable under complex conjugation of g C over g, and (v) g appears on the following list. 1. Cases h = a and m = 0 (called split real forms or Cartan normal forms): g is one of sl(l + 1; R), so(l, l + 1), sp(l; R), so(l, l), g 2,A1A 1, f 4,A1C 3, e 6,C4, e 7,A7 or e 8,D8. In this case, since h = a, the restricted roots all have multiplicity Cases where g is the underlying real structure of a complex simple Lie algebra: g is one of sl(l + 1; C), so(2l + 1; C), sp(l; C), so(2l; C), g 2, f 4, e 6, e 7 or e 8. Here h = ia + a and m = ia, and the restricted roots all have multiplicity Four remaining cases: (3a) g = su(l, l + 1) with Satake diagram. In this case (g, a) is of type B l, the long indivisible roots have multiplicity 2, the short indivisible roots have multiplicity 1, and the divisible roots also have multiplicity 1. (3b) g = su(l, l) with Satake diagram. In this case (g, a) is of type C l, the long restricted roots have multiplicity 1, and the short ones have multiplicity 2. (3c) g = so(l 1, l + 1) with Satake diagram. In this case (g, a) is of type B l 1, the long restricted roots have multiplicity 1, and the short ones have multiplicity 2. (3d) g = e 6,A1A 5 with Satake diagram. In this case (g, a) is of type F 4, the long restricted roots have multiplicity 1, and the short ones have multiplicity 2. (These real Lie algebras are often called the Steinberg normal forms of their complexifications.) Corollary 2.4 Let g be a simple real Lie algebra and let p = m + a + n be a minimal parabolic subalgebra with m abelian. Let t be a Cartan subalgebra of m, so h := t + a is a maximally split Cartan subalgebra of g. If g su(l, l + 1) then (g, a) is nonmultipliable, in other words if α (g, a) then 2α / (g, a). If g = su(l, l + 1), let α1,..., α 2l be the simple roots of + (g C ) in the usual order and ψ i = α i a. Then the multipliable roots in + (g, a) are just the 1 2 β u = (ψ u +... ψ l ) = (α u + + α l ) a for 1 u l; there β u = 2(ψ u + + ψ l ) = (α u + + α 2l u+1 ) a. 3

4 3 Structure of the Minimal Parabolic Subgroup As in Section 2, g is a real simple Lie algebra, p = m+a+n is a minimal parabolic subalgebra, and we assume that m is abelian. G is a connected Lie group with Lie algebra g and P = MAN is the minimal parabolic subgroup with Lie algebra p. In this section we work out the detailed structure of M and P, essentially by adapting results of K. D. Johnson ([5], [6]). We move the commutativity criteria of Theorem 2.3 from m to M when G is linear and describe the metabelian (in fact abelian mod Z G ) structure of M for G in general. We use the following notation. G is the connected simply connected Lie group with Lie algebra g, GC is the connected simply connected complex Lie group with Lie algebra g C, G is the analytic subgroup of G C with Lie algebra g, and G and G C are the adjoint groups of G and G C. G is called the algebraically simply connected group for g. We write P = MÃÑ G, P = M A N G, and P = MAN G for the corresponding minimal parabolic subgroups, aligned so that G G maps M M, Ã = A and Ñ = N, G G maps M M, A = A and N = N, and G G maps M M, A = A and N = N. 3A The Linear Case In order to discuss M/M 0 we need the following concept from [5]. (3.1) r = r(g) is the number of white dots in the Satake diagram of g not adjacent to a black dot and not attached to another dot by an arrow. However we only need it for the case where m is abelian, so there are no black dots. In fact, running through the cases of Theorem 2.3 we have the following. Proposition 3.2 Let G be a connected Lie group with Lie algebra g, let P = MAN be a minimal parabolic subgroup of G, and assume that m is abelian. Then r(g) is given by 1. Cases h = a and m = 0: then r(g) = dim h, the rank of g. 2. Cases where g is the underlying real structure of a complex simple Lie algebra: then r(g) = Four remaining cases: (3a) Case g = su(l, l + 1): then r(g) = 0. (3b) Case g = su(l, l): then r(g) = 1. (3c) Case g = so(l 1, l + 1): then r(g) = l 2. (3d) Case g = e 6,A1A 5 : then r(g) = 2. The first and second assertions in the following Proposition are mathematical folklore; we include their proofs for continuity of exposition. The third part is from [5]. Recall that g satisfies the conditions of Theorem 2.3. Proposition 3.3 Let G be a connected Lie group with Lie algebra g, let P = MAN be a minimal parabolic subgroup of G, and assume that m is abelian. Let G be the algebraically simply connected group for g. (1) G is linear if and only if G G factors into G G G, (2) if G is linear with minimal parabolic P = MAN, then M = F M 0 where F (exp(ia) K) is an elementary abelian 2 group, and (3) M = F M 0 where F = Z l 2, and if G is linear then F is a quotient of F. 4

5 Proof. If G is linear it is contained in its complexification, which is covered by G C ; (1) follows. Let G be linear. The Cartan involution θ of G extends to is complexification G c and defines the compact real forms g u := k + is and G u of g C and G c. Here the complexification M c A c of MA is the centralizer of a in G c. Its maximal compact subgroup is the centralizer of the torus exp(ia) in the compact connected group G u, so it is connected. Thus M 0 exp(ia) is the centralizer of exp(ia) in G u. Now the centralizer M of a in K is (M 0 exp(ia)) K = M 0 (exp(ia) K). Thus M = (exp(ia) K) M 0. By construction, θ preserves exp(ia) K. If x (exp(ia) K) then θ(x) = x because x K and θ(x) = x 1 because x exp(a C ), so x = x 1. Now exp(ia) K is an elementary abelian 2 group, so exp(ia) K = F (exp(ia) M 0 ) for an elementary abelian 2 subgroup F, and (2) follows. Statement (3) is Theorem 3.5 in Johnson s paper [5]. Now we have a chacterization of the linear case. Theorem 3.4 Let G be a connected real reductive Lie group and P = MAN a minimal parabolic subgroup. If G is linear, then M is abelian if and only if m is abelian, and the following conditions are equivalent: (1) M is abelian, (2) M is solvable, and (3) P is solvable. Proof. Since G is linear it has form G /Z where G is its algebraically simply connected covering group, the analytic subgroup of G C for g. If M is abelian then its Lie algebra m is abelian. Conversely suppose that m is abelian. Then M 0 is abelian and Proposition 3.3(2) ensures that M is abelian. We have proved that if G is linear then M is abelian if and only if m is abelian. Statements (1) (2) (3) are immediate so we need only prove (3) (1). If P is solvable then M is solvable so m is abelian by Theorem 2.3, and M is abelian as proved just above. 3B The Finite Groups D n and D g In order to deal with the nonlinear cases we need certain finite groups that enter into the description of the component groups of minimal parabolics. Those are the D n for g classical or of type g 2, and D g for the other exceptional cases. Let {e 1,..., e n } be an orthonormal basis of R n. Consider the multiplicative subgroup (3.5) D n = {±e i1... e i2l 1 i 1 < < i 2l n} of decomposable even invertible elements in the Clifford algebra of R n. It is contained in Spin(n) and has order 2 n, and we need it for g classical. Denote D n = {diag(±1,..., ±1) det diag(±1,..., ±1) = 1} = Z n 1 2. Then D n is the image of D n in SO(n) under the usual map (vector representation) v : Spin(n) SO(n). Here {±1} is the center and also the derived group of D n, and D n = Dn /{±1}. Also, D n is related to the 2 tori of Borel and Serre [3] and to 2 torsion in integral cohomology [2]. Note that D 3 is isomorphic to the quaternion group {±1, ±i, ±j, ±k}. As usual we write D n for the unitary dual of D n. It contains the 2 n 1 characters that factor through D n. Those are the 1 dimensional representations (3.6) ε i1,...,i 2l : diag(a 1,..., a n ) a i1 a i2... a i2l. There are also representations of degree > 1: (3.7) If n = 2k even let σ ± denote the restriction of the half spin representations from Spin(n) to D n. If n = 2k + 1 odd let σ denote the restriction of the spin representation from Spin(n) to D n. Note that deg σ ± = 2 k 1 for n = 2k and deg σ = 2 k for n = 2k + 1. These representations enumerate D n, as follows. We will need this for the Plancherel formula for P. 5

6 Proposition 3.8 ([6, Section 3]) The representations σ ± of D 2k and σ of D 2k+1 are irreducible, and (3.9) If n = 2k even then D n = {σ +, σ, ε i1,...,i 2l 1 i 1 < < i 2l n and 0 l < k}. If n = 2k + 1 odd then D n = {σ, ε i1,...,i 2l 1 i 1 < < i 2l n and 0 l k}. Now we describe the analogs of the D n for the split exceptional Lie algebras of types f 4, e 6, e 7, or e 8. Following [6, Section 8] the natural inclusions f 4 e 6 e 7 e 8 exponentiate to inclusions Z E8,D8 F 4,C1C 3 Ẽ6,C 4 K E7,A7 Ẽ8,D 8 where Z E8,D8 is the center of Ẽ8,D 8 and the others are split real simply connected exceptional Lie groups. For the first inclusion, note that the maximal compact subgroups satisfy K F4,C1 C 3 K E6,C4 K E7,A7 K E8,D8 given by (Sp(1) Sp(3)) Sp(4) SU(8) Spin(16) and Z E8,D8 = {1, e 1 e 2 e 16 } = Z 2 in the spin group using Clifford multiplication. Let U 7 denote the group of permutations of {1, 2,..., 8} generated by products of 4 commuting transpositions, e.g. by τ := (12)(34)(56)(78) and its conjugates in the permutation group, viewed as a subgroup = Z 3 2 of SU(8). Let V 7 be the group generated by ω 1 := ii, ω 2 := diag( 1, 1, 1, 1, 1, 1, 1, 1), ω 3 := diag( 1, 1, 1, 1, 1, 1, 1, 1) and ω 4 := diag( 1, 1, 1, 1, 1, 1, 1, 1), viewed as a subgroup = Z 4 Z 3 2 of SU(8). Now let U 6 denote the subgroup {1, (13)(24)(57)(68), (15)(26)(37)(48), (17)(28)(37)(48)} U 7, so U 6 = Z 2 2 and let V 6 denote the subgroup of V 7 generated by ω 1 ω 4, ω 2 and ω 3. Finally let W 4 denote the group generated by {τω 1, ω 2, ω 3, τω 4 }. Proposition 3.10 ([6, Section 9] Define W 6 = U 6 V 6 τω 1 U 6 V 6, W 7 = U 7 V 7 and W 8 = W 7 τw 7. Then 1. W 4 is a group of order 2 5 with [W 4, W 4 ] = {±1} = Z 2, W 4 /[W 4, W 4 ] = Z 4 2, and W 4 has center Z W4 = {±1, ±ω 2, ±ω 3, ±ω 2 ω 3 }. The action of W 4 on C 8, as a subgroup of Sp(4), breaks into the sum of 4 irreducible inequivalent 2 dimensional subspaces C 2 j, distinguished by the action of Z W 4. Thus the unitary dual Ŵ 4 = {w 4,1, w 4,2, w 4,3, w 4,4, ɛ 1,..., ɛ 16 } where the w 4,j are the representations on the C 2 j and the ɛ j are the (1 dimensional) representations that annihilate [W 4, W 4 ]. 2. W 6 is a group of order 2 7 with [W 6, W 6 ] = {±1} = Z 2 and W 6 /[W 6, W 6 ] = Z 6 2. Let w 6 = w W6 where w is the (vector) representation of Sp(4) on C 8. Then w 6 is irreducible and Ŵ6 = {w 6, ε 1,..., ε 64 } where the ε j are the (1 dimensional) representations that annihilate [W 6, W 6 ]. 3. W 7 is a group of order 2 8 with derived group [W 7, W 7 ] = Z E8,D8, and W 7 /[W 7, W 7 ] = Z 7 2. Let w 7 = w W7 where w is the (vector) representation of SU(8) on C 8. Then w 7 and w7 are inequivalent irreducible representations of W 7, and the unitary dual Ŵ 7 = {w 7, w7, ε 1,..., ε 128} where the ε j are the (1 dimensional) representations that annihilate [W 7, W 7 ]. 4. W 8 is a group of order 2 9 with [W 8, W 8 ] = Z E8,D8 and W 8 /[W 8, W 8 ] = Z 8 2. Let w 8 = w W8 where w is the (vector) representation of Spin(16) on C 16. Then w 8 is irreducible and Ŵ8 = {w 8, ε 1,..., ε 256} where the ε j are the (1 dimensional) representations that annihilate [W 8, W 8 ]. 3C The General Case As before, G is a connected real simple Lie group with minimal parabolic P = MAN such that m is abelian. Recall that G is the universal covering group of G, G is the algebraically simply connected Lie group with Lie algebra g, and G is the adjoint group. Also, P, P, P and P are the respective minimal parabolics. We specialize the summary section of [6] to our setting. (a) M = F M 0 where F is discrete, and if g is the split real form of g C then M = F discrete, 6

7 (b) F is infinite if and only if G/K is a tube domain (hermitian symmetric space of tube type), (c) r(g) = 0 M is connected M is connected, (d) if r(g) = 1 then G/K is a tube domain and F = Z, (e) if r(g) > 1 and G/K is a tube domain then G = Sp(n; R) and M = F = Z r(g) 1 2 Z, and (f) if r(g) > 1 and G/K is not a tube domain then F is a nonabelian group of order 2 r(g)+1. Now we combine this information with Theorems 2.3 and 3.2, as follows. We use su(1, 1) = sp(1; R) = sl(2; R), and so(2, 3) = sp(2; R). Proposition 3.11 Let G be a connected simple Lie group with Lie algebra g, let P = MAN be a minimal parabolic subgroup of G, and assume that m is abelian. Retain the notation G, P and M = F M 0 as above. 1. Cases h = a, where G is a split real Lie group and r(g) = rank g. Then M = F. (1a) If M is infinite then g = sp(n; R), where n 1 and r(g) = n. In that case M = Z n 1 2 Z. (1b) If M is finite then F is a nonabelian (but metabelian) group of order 2 r(g)+1. In those cases sl(n; R), n = 3 or n > 4: M = D n from [6, Proposition 17.1]. so(l, l + 1) and so(l, l), l 3: M = D l from [6, Proposition 17.5]. g 2,A1A 1 : K = Sp(1) Sp(1) and M = D3 from [6, Proposition 10.4]. f 4,A1C 3 : K = Sp(1) Sp(3) and M = W4 (Proposition 3.10 above) from [6, Proposition 9.6]. e 6,C4 : K = Sp(4) and M = W6 (Proposition 3.10 above) from [6, Proposition 9.5]. e 7,A7 : K = SU(8) and M = W7 (Proposition 3.10 above) from [6, Proposition 9.3]. e 8,D8 : K = Spin(16) and M = W8 (Proposition 3.10 above) from [6, Proposition 9.4]. 2. Cases where g is the underlying real structure of a complex simple Lie algebra. Then r(g) = 0, F = {1}, G = G (so G is linear), and M = M is a torus group. 3. The four remaining cases: (3a) g = su(l, l + 1): r(g) = 0, F = {1} and M = U(1) l 1 R from [6, Proposition 17.3]. (3b) g = su(l, l): r(g) = 1, F = Z and M = U(1) l 1 Z from [6, Proposition 17.4]. (3c) g = so(l 1, l + 1), l 1: r(g) = l 2, and if l 3 then F = D l 1 and M = D l 1 R from [6, Proposition 17.5], if l = 3 and then F = Z and M = Z R from [6, Proposition 17.6]. (3d) g = e 6,A1A 5 : r(g) = 2, F = D 3 and M = D 3 Spin(8) from [6, 16] and [5, Theorem 3.5] 4 Stepwise Square Integrable Representations of the Nilradical In this section we recall the background for Fourier Inversion on connected simply connected nilpotent Lie groups, and its application to nilradicals of minimal parabolics. In Section 5 we use it to describe generic representations and the Plancherel Formula on the minimal parabolic. Then in Section 6 we come to the Fourier Inversion Formula on the parabolic. In the last section (the Appendix) we will run through the cases of Theorem 2.3 making explicit the Plancherel Formula and Fourier Inversion Formula for those nilradicals. 7

8 The basic decomposition is (4.1) N =L 1 L 2... L m where (a) each factor L r has unitary representations that are square integrable modulo its center Z r, (b) each L r = L 1 L 2... L r is a normal subgroup of N with N r = N r 1 L r semidirect, (c) decompose l r = z r + v r and n = s + v as vector direct sums where s = z r and v = v r ; then [l r, z s ] = 0 and [l r, l s ] v for r > s. We will need the notation (a) d r = 1 2 dim(l r/z r ) so 1 2 dim(n/s) = d d m, and c = 2 d1+ +dm d 1!d 2!... d m! (b) b λr : (x, y) λ([x, y]) viewed as a bilinear form on l r /z r (4.2) (c) S = Z 1 Z 2... Z m = Z 1 Z m where Z r is the center of L r (d) P : polynomial P (λ) = Pf(b λ1 )Pf(b λ2 )... Pf(b λm ) on s (e) t = {λ s P (λ) 0} (f) π λ N where λ t : irreducible unitary rep. of N = L 1 L 2... L m. As exp : n N is a polynomial diffeomorphism, the Schwartz space C(N) consists of all C functions f on N such that f exp C(n), the classical Schwartz space of all rapidly decreasing C functions on the real vector space n. The general result, which we will specialize, is [16] Theorem 4.3 Let N be a connected simply connected nilpotent Lie group that satisfies (4.1). Then Plancherel measure for N is concentrated on {[π λ ] λ t } where [π λ ] denotes the unitary equivalence class of π λ. If λ t, and if u and v belong to the representation space H πλ of π λ, then the coefficient f u,v (x) = u, π ν (x)v satisfies (4.4) f u,v 2 L 2 (N/S) = u 2 v 2. P (λ) The distribution character Θ πλ of π λ satisfies (4.5) Θ πλ (f) = c 1 P (λ) 1 O(λ) f 1 (ξ)dν λ (ξ) for f C(N) where c is given by (4.2)(a), C(N) is the Schwartz space, f 1 is the lift f 1 (ξ) = f(exp(ξ)), f 1 is its classical Fourier transform, O(λ) is the coadjoint orbit Ad (N)λ = v + λ, and dν λ is the translate of normalized Lebesgue measure from v to Ad (N)λ. The Plancherel Formula on N is (4.6) L 2 (N) = H πλ Hπ λ P (λ) dλ where H πλ is the representation space of π λ t and the Fourier Inversion Formula is (4.7) f(x) = c Θ πλ (r x f) P (λ) dλ for f C(N) with c as in (4.2)(a). t Definition 4.8 The representations π λ of (4.2(f)) are the stepwise square integrable representations of N relative to (4.1). Nilradicals of minimal parabolics fit this pattern as follows. Start with the Iwasawa decomposition G = KAN. Here we use the root order of (2.1) so n is the sum of the positive a root spaces in g. Since 8

10 Fix λ t. By Proposition 5.3 its Ad (M) stabilizer is all of M in cases (1) and (3) of Theorem 2.3, and in case (2) it has form (5.4) M = F M 0 where M 0 = {x M 0 Ad(x) s = 1}. This is independent of the choice of λ t. Thus the kernel of the action of Ad(M 0 ) on s is the codimension m subtorus of M 0 with Lie algebra m = 1{ξ a every β r (ξ) = 0}. Since Ad (A) acts on g βr by positive real scalars, given by the real character e βr, we have a similar result for A: the Ad (A) stabilizer of any λ t is (5.5) A = {exp(ξ) ξ a and every β r (ξ) = 0}. Its Lie algebra is a = {ξ a every β r (ξ) = 0}. Combining (5.4) and (5.5) we arrive at Lemma 5.6 The stepwise square integrable representations π λ of N all have the same MA stabilizer M A on the unitary dual N. Specialize [17, Lemma 3.8] and [17, Lemma 5.4] to π λ and M A N. The Mackey obstruction ([7], [9], or see [8]) vanishes as in [11] and [13]. Now π λ extends to an irreducible unitary representation π λ of M A N on the representation space H πλ of π λ. Compare [4]. Consider the unitarily induced representations (5.7) π χ,α,λ := Ind MAN M A N (χ e iα π λ ) for χ M, α a and λ t. Note that χ is a (finite dimensional) unitary representation of the metabelian group M and that the representation space of χ e iα π λ is H χ C H πλ. So the representation space of π χ,α,λ is (5.8) H πχ,α,λ ={L 2 functions f : MAN H χ H πλ f(xman) = δ(a) 1/2 e iα(log a) (χ(m) 1 π λ (man) 1 )(f(x)), x MAN, man M A N}. Unitarity of π χ,α,λ requires the δ(a) 1/2 term, as we ll see when we discuss Dixmier Pukánszky operators. Definition 5.9 The π χ,α,λ of (5.7) are the generic irreducible unitary representations of MAN. Now, specializing [17, Theorem 5.12], Theorem 5.10 Let G be a connected real reductive Lie group and P = MAN a minimal parabolic subgroup. Suppose that P is solvable. Then the Plancherel measure for MAN is concentrated on the set of all generic unitary representation classes [π χ,α,λ ] MAN, and ( ( ) ) L 2 (MAN) = H πχ,α,λ Hπ χ,α,λ P (λ) dλ dα deg(χ)dχ. λ t χ M α a 6 Fourier Inversion on the Parabolic In this section, as before, G is a connected 1 real reductive Lie group whose minimal parabolic subgroup P = MAN is solvable. We work out an explicit Fourier Inversion Formula for MAN. It uses the generic representations of Definition 5.9 and an operator to compensate non unimodularity. That operator is the Dixmier-Pukánszky Operator on MAN and its domain is the Schwartz space C(MAN) of rapidly decreasing C functions. The kernel of the modular function δ of MAN contains MN and is given on A as follows. 1 These results extend mutatis mutandis to all real reductive Lie groups G such that (a) the minimal parabolic subgroup of G 0 is solvable, (b) if g G then Ad(g) is an inner automorphisms of g C and (c) G has a closed normal abelian subgroup U such that (c1) U centralizes the identity component G 0, (c2) UG 0 has finite index in G and (c3) U G 0 is co compact in the center of G 0. The extension is relatively straightforward using the methods of [12] as described in [12, Introduction] and [12, Section 1]. For continuity of exposition we the leave details on that to the interested reader. 10

12 7 Appendix: Explicit Decompositions One can see the decompositions of Section 2 explicitly. This is closely related to the computations in [15, Section 8]. As noted in Corollary 2.4, the only case of Theorem 2.3 where there is any divisibility is g = su(l, l + 1), and in that case the only divisibility is given by the { 1 2 β } r, β r + (g, a). For ease of terminology we say that (g, a) is nonmultipliable if α (g, a) implies 2α / (g, a), multipliable otherwise. We first consider the multipliable case g = su(l, l + 1) Here ψ i = α i a where {α 1,..., α 2l } are the simple roots of + (g C ) in the usual order. The multipliable roots in + (g, a) are just the 1 2 β r = (α r + + α l ) a, 1 r l, where β r = 2(ψ r + + ψ l ) = (α r + + α 2l r+1 ) a. If α + α = β r then, either α = α = 1 2 β r, or one of α, α has form γ r,u = ψ r + ψ r ψ u while the other is γ r,u = ψ r + ψ r ψ u + 2(ψ u ψ l ). Now l r = g βr + g 1 2 βr r u n (g γ r,u + g γ r,u ). The conditions of (4.1) follow by inspection. For the rest of this section we assume that g su(l, l + 1), in other words, following Corollary 2.4, that (g, a) is nonmultipliable. First suppose that (g, a) is of type A l 1 : ψ 1 ψ 2 ψ l 2 ψ l 1 Then m = [l/2] and β r = ψ r +ψ r+1 + +ψ l r. If α, α + (g, a) with α+α = β r then one of α, α must have form γ r,s := ψ r + +ψ s and the other must be γ r,s := ψ s ψ l r. Thus l r = g βr + r s<l r (g γ r,s + g γ r,s ). The conditions of (4.1) follow by inspection. Next suppose that (g, a) is of type B n : ψ 1 ψ 2 ψ n 1 ψ n Then β 1 = ψ 1 + 2(ψ ψ n ), β 2 = ψ 1, β 3 = ψ 3 + 2(ψ ψ n ), β 4 = ψ 3, etc. If r is even, β r = ψ r 1 and l r = g βr. Now let r be odd, β r = ψ r +2(ψ r+1 + +ψ n ). If α, α + (g, a) with α+α = β r then one possibility is that one of α, α has form γ r,u := ψ r +ψ r+1 + +ψ u and the other is γ r,u := ψ r+1 + +ψ u +2(ψ u+1 + +ψ n ) with r < u < n. Another possibility is that one of α, α is γ r,u ψ r while the other is γ r,u + ψ r. A third is that one of α, α is γ r,n := ψ r + ψ r ψ n while the other is γ r,n := ψ r ψ n. Then l r is the sum of g βr with the sum of all these possible g α + g α, and the conditions of (4.1) follow by inspection. ψ 1 ψ 2 ψ n 1 ψ n Let (g, a) be of type C n : Then β r = 2(ψ r +... ψ n 1 ) + ψ n for 1 r < n, and β n = ψ n. If α + α = β r with r < n then one of α, α has form γ r,u = ψ r + ψ r ψ u while the other is γ r,u = ψ r + ψ r ψ u + 2(ψ u ψ n 1 ) + ψ n, r u < n. Note that γ r,n 1 = ψ r + ψ r ψ n 1 and γ r,n 1 = ψ r + ψ r ψ n. Now l r = g βr + r u<n (g γ r,u + g γ r,u ). The conditions of (4.1) follow by inspection. ψ n 2 ψ 1 ψ 2 ψ n 1 Let (g, a) be of type D n : ψ n Then β 1 = ψ 1 + 2(ψ ψ n 2 ) + ψ n 1 + ψ n, β 2 = ψ 1, β 3 = ψ 3 + 2(ψ ψ n 2 ) + ψ n 1 + ψ n, β 4 = ψ 3, etc., until r = n 3. If n is even then m = n, β n 3 = ψ n 3 + 2ψ n 2 + ψ n 1 + ψ n, β n 2 = ψ n 3, β n 1 = ψ n 1 and β n = ψ n. Then, if r n 2 is even we have β r = ψ r 1. Thus l r = g βr for n even and either r even or r = n 1. If n is odd then m = n 1, β n 2 = ψ n 2 + ψ n 1 + ψ n and β n 1 = ψ n 2. Thus β r = ψ r 1 and l r = g βr for n odd and r even. That leaves the cases where r is odd and r n 1, so β r = ψ r + 2(ψ r ψ n 2 ) + ψ n 1 + ψ n. If α + α = β r, one possibility is that one of α, α is of the form γ r,u := ψ r + (ψ r ψ u ) with r + 1 u n 2 while the other is γ r,u := (ψ r ψ u ) + 2(ψ u ψ n 2 ) + ψ n 1 + ψ n, or that one of α, α is of the form γ r,u ψ r while the other is γ r,u + ψ r. A third possibility is that one of α, α is γ r,n 1 := ψ r + ψ r ψ n 1 while the other is γ r,n 1 := ψ r ψ n 2 + ψ n. The fourth possibility is that one of α, α is γ r,n 1 ψ n 1 + ψ n while the other is γ r,n 1 + ψ n 1 ψ n. Then l r is the sum of g βr with the sum of all these possible g α + g α, and the conditions of (4.1) follow by inspection. 12

13 ψ1 ψ 2. Then β 1 = 3ψ 1 + 2ψ 2 and β 2 = ψ 1. If α + α = β 1 then either Let (g, a) be of type G 2 one of α, α is 3ψ 1 + ψ 2 and the other is ψ 2, or one of α, α is 2ψ 1 + ψ 2 and the other is ψ 1 + ψ 2. Thus l 1 = g β1 + (g 3ψ1+ψ 2 + g ψ2 ) + (g 2ψ1+ψ 2 + g ψ1+ψ 2 ) and l 2 = g β2. The conditions of (4.1) follow. Suppose that (g, a) is of type F 4 ψ 1 ψ 2 ψ 3 ψ. Then β 1 = 2ψ 1 + 3ψ 2 + 4ψ 4 + 2ψ 4, 4 β 2 = ψ 2 + 2ψ 3 + 2ψ 4, β 3 = ψ 2 + 2ψ 3 and β 4 = ψ 2. Thus l r = g βr + (γ,γ ) S r (g γ + g γ ) where S 1 = {(ψ 1, ψ 1 + 3ψ 2 + 4ψ 3 + 2ψ 4 ), (ψ 1 + ψ 2, ψ 1 + 2ψ 2 + 4ψ 3 + 2ψ 4 ), (ψ 1 + ψ 2 + ψ 3, ψ 1 + 2ψ 2 + 3ψ 3 + 2ψ 4 ), (ψ 1 + ψ 2 + 2ψ 3, ψ 1 + 2ψ 2 + 2ψ 3 + 2ψ 4 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4, ψ 1 + 2ψ 2 + 3ψ 3 + ψ 4 ), (ψ 1 + 2ψ 2 + 2ψ 3, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 ), (ψ 1 + ψ 2 + 2ψ 3 + ψ 4, ψ 1 + 2ψ 2 + 2ψ 3 + ψ 4 ); S 2 = {{ψ 4, ψ 2 + 2ψ 3 + ψ 4 }, {ψ 3 + ψ 4, ψ 2 + ψ 3 + ψ 4 }}; S 3 = {ψ 3, ψ 2 + ψ 3 } and S 4 = The conditions of (4.1) follow. ψ 1 ψ 3 ψ 4 ψ 5 ψ 6 Suppose that (g, a) is of type E 6 ψ 2 Then the strongly orthogonal roots β i are given by β 1 = ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6, β 2 = ψ 1 + ψ 3 + ψ 4 + ψ 5 + ψ 6,, β 3 = ψ 3 + ψ 4 + ψ 5 and β 4 = ψ 4. Now l r = g βr + (γ,γ ) S r (g γ + g γ ) where S 1 = {(ψ 2, ψ 1 + ψ 2 + 2ψ 2 + 3ψ 4 + 2ψ 5 + ψ 6 ), (ψ 2 + ψ 4, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 ), (ψ 2 + ψ 3 + ψ 4, ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 ), (ψ 2 + ψ 4 + ψ 5, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + ψ 5 + ψ 6 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4, ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 ), (ψ 2 + ψ 3 + ψ 4 + ψ 5, ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6 ), (ψ 2 + ψ 4 + ψ 5 + ψ 6, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + ψ 5 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4 + ψ 5, ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6 ), (ψ 2 + ψ 3 + 2ψ 4 + ψ 5, ψ 1 + ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6 ), (ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6, ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + ψ 5 )}; S 2 = {(ψ 1, ψ 3 + ψ 4 + ψ 5 + ψ 6, ψ 6, ψ 1 + ψ 3 + ψ 4 + ψ 5 ), (ψ 1 + ψ 3, ψ 4 + ψ 5 + ψ 6, ψ 5 + ψ 6, ψ 1 + ψ 3 + ψ 4 )}; S 3 = {(ψ 3, ψ 4 + ψ 5 ), (ψ 5, ψ 3 + ψ 4 )} and S 4 =. The conditions of (4.1) follow. Next, suppose that (g, a) is of type E 7 ψ 1 ψ 3 ψ 4 ψ 5 ψ 6 ψ 7 ψ 2. Then the strongly orthogonal roots are β 1 = 2ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7, β 2 = ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7, β 3 = ψ 7, β 4 = ψ 2 + ψ 3 + 2ψ 4 + ψ 5, β 5 = ψ 2, β 6 = ψ 3 and β 7 = ψ 5. Now l r = g βr + (γ,γ ) S r (g γ + g γ ) where S 1 = {(ψ 1, ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 3, ψ 1 + 2ψ 2 + 2ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 3 + ψ 4, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4, ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 3 + ψ 4 + ψ 5, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4 + ψ 5, ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 3 + ψ 4 + ψ 5 + ψ 6, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + ψ 5, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6, ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6 + ψ 7 ), (ψ 1 + ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6 ), (ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + ψ 5, ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7, ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6 ), (ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + ψ 5 + ψ 6, ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + ψ 5 + ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6 + ψ 7, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 )} 13

14 while S 2 = {(ψ 6, ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 + ψ 7 ), (ψ 5 + ψ 6, ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6 + ψ 7 ), (ψ 6 + ψ 7, ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 ), (ψ 4 + ψ 5 + ψ 6, ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7 ), (ψ 5 + ψ 6 + ψ 7, ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6 ), (ψ 2 + ψ 4 + ψ 5 + ψ 6, ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7 ), (ψ 3 + ψ 4 + ψ 5 + ψ 6, ψ 2 + ψ 4 + ψ 5 + ψ 6 + ψ 7 ), (ψ 4 + ψ 5 + ψ 6 + ψ 7, ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6 )} S 4 = {(ψ 4, ψ 2 + ψ 3 + ψ 4 + ψ 5 ), (ψ 2 + ψ 4, ψ 3 + ψ 4 + ψ 5 ), (ψ 3 + ψ 4, ψ 2 + ψ 4 + ψ 5 ), (ψ 4 + ψ 5, ψ 2 + ψ 3 + ψ 4 )} and S 3 = S 5 = S 6 = S 7 =. The conditions of (4.1) follow. ψ 1 ψ 3 ψ 4 ψ 5 ψ 6 ψ 7 ψ 8 Finally suppose that (g, a) is of type E 8 ψ. Then β 2 1 = 2ψ 1 + 3ψ 2 + 4ψ 3 + 6ψ 4 + 5ψ 5 + 4ψ 6 + 3ψ 7 +2ψ 8, β 2 = 2ψ 1 +2ψ 2 +3ψ 3 +4ψ 4 +3ψ 5 +2ψ 6 +ψ 7, β 3 = ψ 2 +ψ 3 +2ψ 4 +2ψ 5 +2ψ 6 +ψ 7, β 4 = ψ 7, β 5 = ψ 2 +ψ 3 +2ψ 4 +ψ 5, β 6 = ψ 2, β 7 = ψ 3, and β 8 = ψ 5. Now l r = g βr + (γ,γ ) S r (g γ + g γ ) where S 4 = S 6 = S 7 = S 8 = S 5 = {(ψ 4, ψ 2 + ψ 3 + ψ 4 + ψ 5 ), (ψ 2 + ψ 4, ψ 3 + ψ 4 + ψ 5 ), (ψ 3 + ψ 4, ψ 2 + ψ 4 + ψ 5 ), (ψ 4 + ψ 5, ψ 2 + ψ 3 + ψ 4 )}; S 3 = {(ψ 6, ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 + ψ 7 ), (ψ 5 + ψ 6, ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6 + ψ 7 ), (ψ 6 + ψ 7, ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 ), (ψ 4 + ψ 5 + ψ 6, ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7 ), (ψ 5 + ψ 6 + ψ 7, ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6 ), (ψ 2 + ψ 4 + ψ 5 + ψ 6, ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7 ), (ψ 3 + ψ 4 + ψ 5 + ψ 6, ψ 2 + ψ 4 + ψ 5 + ψ 6 + ψ 7 ), (ψ 4 + ψ 5 + ψ 6 + ψ 7, ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6 )}; S 1 = {(ψ 8, 2ψ 1 + 3ψ 2 + 4ψ 3 + 6ψ 4 + 5ψ 5 + 4ψ 6 + 3ψ 7 + ψ 8 ), (ψ 7 + ψ 8, 2ψ 1 + 3ψ 2 + 4ψ 3 + 6ψ 4 + 5ψ 5 + 4ψ 6 + 2ψ 7 + ψ 8 ), (ψ 6 + ψ 7 + ψ 8, 2ψ 1 + 3ψ 2 + 4ψ 3 + 6ψ 4 + 5ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 5 + ψ 6 + ψ 7 + ψ 8, 2ψ 1 + 3ψ 2 + 4ψ 3 + 6ψ 4 + 4ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 4 + ψ 5 + ψ 6 + ψ 7 + ψ 8, 2ψ 1 + 3ψ 2 + 4ψ 3 + 5ψ 4 + 4ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 2 + ψ 4 + ψ 5 + ψ 6 + ψ 7 + ψ 8, 2ψ 1 + 2ψ 2 + 4ψ 3 + 5ψ 4 + 4ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7 + ψ 8, 2ψ 1 + 3ψ 2 + 3ψ 3 + 5ψ 4 + 4ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7 + ψ 8, ψ 1 + 3ψ 2 + 3ψ 3 + 5ψ 4 + 4ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7 + ψ 8, 2ψ 1 + 2ψ 2 + 3ψ 3 + 5ψ 4 + 4ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 3ψ 3 + 5ψ 4 + 4ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6 + ψ 7 + ψ 8, 2ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 4ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6 + ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 4ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 + ψ 7 + ψ 8, 2ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 3ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + ψ 5 + ψ 6 + ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 2ψ 3 + 4ψ 4 + 4ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 + ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 3ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 + ψ 8, 2ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 + ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 2ψ 3 + 4ψ 4 + 3ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + 2ψ 7 + ψ 8 ), (ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + 2ψ 7 + ψ 8, 2ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6 + ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 3ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 2ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + 2ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 + ψ 8 ), (ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6 + ψ 7 + ψ 8, ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 3ψ 5 + 3ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 3ψ 5 + 2ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + 2ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 2ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 + ψ 8 ), (ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 + ψ 8, ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 3ψ 5 + 2ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + 2ψ 6 + 2ψ 7 + ψ 8 ), (ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + 2ψ 6 + 2ψ 7 + ψ 8, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 + ψ 8 )}; 14

15 while S 2 = {(ψ 1, ψ 1 + 2ψ 2 + 3ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 3, ψ 1 + 2ψ 2 + 2ψ 3 + 4ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 3 + ψ 4, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4, ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 3ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 3 + ψ 4 + ψ 5, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4 + ψ 5, ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 3 + ψ 4 + ψ 5 + ψ 6, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + ψ 5, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6, ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6 + ψ 7 ), (ψ 1 + ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7, ψ 1 + 2ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6 ), (ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + ψ 5, ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + 2ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + ψ 4 + ψ 5 + ψ 6 + ψ 7, ψ 1 + ψ 2 + 2ψ 3 + 3ψ 4 + 2ψ 5 + ψ 6 ), (ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + ψ 5 + ψ 6, ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + ψ 5 + ψ 6 + ψ 7 ), (ψ 1 + ψ 2 + ψ 3 + 2ψ 4 + ψ 5 + ψ 6 + ψ 7, ψ 1 + ψ 2 + 2ψ 3 + 2ψ 4 + 2ψ 5 + ψ 6 )}. References [1] I. Beltita & D. Beltita, Coadjoint orbits of stepwise square integrable representations, Proc. Amer. Math. Soc. 144 (2016), [2] A. Borel, Sous groupes commutatifs et torsion des groupes de Lie compacts connexes, Tôhoku Math. J. 13 (1961), [3] A. Borel & J.-P. Serre, Sur certains sous groupes des groupes de Lie compacts, Comment. Math. Helv. 27 (1953), [4] M. Duflo, Sur les extensions des représentations irréductibles des groupes de Lie nilpotents, Ann. Sci. École Norm. Sup. 5 (1972), [5] K. D. Johnson, A strong generalization of Helgason s theorem, Trans. Amer. Math. Soc. 304 (1987), [6] K. D. Johnson, The structure of parabolic subgroups, J. Lie Theory 14 (2004) [7] G. W. Mackey, Induced representations of locally compact groups, I, Ann. of Math. 55 (1952), [8] G. W. Mackey, Theory of Group Representations, University of Chicago lecture notes, [9] G. W. Mackey, Unitary representations of group extensions, I, Acta Math. 99 (1958), [10] C. C. Moore & J. A. Wolf, Square integrable representations of nilpotent groups, Trans. Amer. Math. Soc. 185 (1973), [11] I. Satake, Unitary representations of a semidirect product on cohomology spaces, Math. Ann. 190 (1971), [12] J. A. Wolf, The action of a real semisimple group on a complex flag manifold, II: Unitary representations on partially holomorphic cohomology spaces. Memoirs Amer. Math. Soc., Number 138, [13] J. A. Wolf, Representations of certain semidirect product groups, J. Funct. Anal. 19 (1975), [14] J. A. Wolf, Spaces of Constant Curvature, Sixth Edition, American Mathematical Society, The result referenced in this paper is the same in all editions. [15] J. A. Wolf, Plancherel Formulae associated to Filtrations of nilpotent Lie groups, {arxiv: }. [16] J. A. Wolf, Stepwise square integrable representations of nilpotent Lie groups, Math. Annalen 357 (2013), [17] J. A. Wolf, The Plancherel Formula for minimal parabolic subgroups, J. Lie Theory 24 (2014),

### Weyl Group Representations and Unitarity of Spherical Representations.

Weyl Group Representations and Unitarity of Spherical Representations. Alessandra Pantano, University of California, Irvine Windsor, October 23, 2008 β ν 1 = ν 2 S α S β ν S β ν S α ν S α S β S α S β ν

### Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

### ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,

### Notes 10: Consequences of Eli Cartan s theorem.

Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation

### TRANSLATION-INVARIANT FUNCTION ALGEBRAS ON COMPACT GROUPS

PACIFIC JOURNAL OF MATHEMATICS Vol. 15, No. 3, 1965 TRANSLATION-INVARIANT FUNCTION ALGEBRAS ON COMPACT GROUPS JOSEPH A. WOLF Let X be a compact group. \$(X) denotes the Banach algebra (point multiplication,

### The Grothendieck-Katz Conjecture for certain locally symmetric varieties

The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-

### CHAPTER 6. Representations of compact groups

CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive

### Peter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.

and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra

### Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for

### Subquotients of Minimal Principal Series

Subquotients of Minimal Principal Series ν 1 = ν 2 Sp(4) 0 1 2 ν 2 = 0 Alessandra Pantano, UCI July 2008 1 PART 1 Introduction Preliminary Definitions and Notation 2 Langlands Quotients of Minimal Principal

### THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

### Math 210C. The representation ring

Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let

### Highest-weight Theory: Verma Modules

Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,

### These notes are incomplete they will be updated regularly.

These notes are incomplete they will be updated regularly. LIE GROUPS, LIE ALGEBRAS, AND REPRESENTATIONS SPRING SEMESTER 2008 RICHARD A. WENTWORTH Contents 1. Lie groups and Lie algebras 2 1.1. Definition

### A CHARACTERIZATION OF DYNKIN ELEMENTS

A CHARACTERIZATION OF DYNKIN ELEMENTS PAUL E. GUNNELLS AND ERIC SOMMERS ABSTRACT. We give a characterization of the Dynkin elements of a simple Lie algebra. Namely, we prove that one-half of a Dynkin element

### Math 249B. Tits systems

Math 249B. Tits systems 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ + Φ, and let B be the unique Borel k-subgroup

### The Cartan Decomposition of a Complex Semisimple Lie Algebra

The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with

### Geometric Structure and the Local Langlands Conjecture

Geometric Structure and the Local Langlands Conjecture Paul Baum Penn State Representations of Reductive Groups University of Utah, Salt Lake City July 9, 2013 Paul Baum (Penn State) Geometric Structure

### An introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109

An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups

### Exercises on chapter 1

Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

### The Contragredient. Spherical Unitary Dual for Complex Classical Groups

The Contragredient Joint with D. Vogan Spherical Unitary Dual for Complex Classical Groups Joint with D. Barbasch The Contragredient Problem: Compute the involution φ φ of the space of L-homomorphisms

### DUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE

DUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE C. RYAN VINROOT Abstract. We prove that the duality operator preserves the Frobenius- Schur indicators of characters

### Large automorphism groups of 16-dimensional planes are Lie groups

Journal of Lie Theory Volume 8 (1998) 83 93 C 1998 Heldermann Verlag Large automorphism groups of 16-dimensional planes are Lie groups Barbara Priwitzer, Helmut Salzmann Communicated by Karl H. Hofmann

### Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

### REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

### Kirillov Theory. TCU GAGA Seminar. Ruth Gornet. January University of Texas at Arlington

TCU GAGA Seminar University of Texas at Arlington January 2009 A representation of a Lie group G on a Hilbert space H is a homomorphism such that v H the map is continuous. π : G Aut(H) = GL(H) x π(x)v

### Talk at Workshop Quantum Spacetime 16 Zakopane, Poland,

Talk at Workshop Quantum Spacetime 16 Zakopane, Poland, 7-11.02.2016 Invariant Differential Operators: Overview (Including Noncommutative Quantum Conformal Invariant Equations) V.K. Dobrev Invariant differential

### Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture

Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck-

### Representation theory and quantum mechanics tutorial Spin and the hydrogen atom

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition

### (www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap

The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups

### LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O

LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn

### 1 Fields and vector spaces

1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

### VARIATIONS ON THE BAER SUZUKI THEOREM. 1. Introduction

VARIATIONS ON THE BAER SUZUKI THEOREM ROBERT GURALNICK AND GUNTER MALLE Dedicated to Bernd Fischer on the occasion of his 75th birthday Abstract. The Baer Suzuki theorem says that if p is a prime, x is

### AN EXTENSION OF YAMAMOTO S THEOREM ON THE EIGENVALUES AND SINGULAR VALUES OF A MATRIX

Unspecified Journal Volume 00, Number 0, Pages 000 000 S????-????(XX)0000-0 AN EXTENSION OF YAMAMOTO S THEOREM ON THE EIGENVALUES AND SINGULAR VALUES OF A MATRIX TIN-YAU TAM AND HUAJUN HUANG Abstract.

### Conjugacy Classes in Semisimple Algebraic Groups (Revisions)

Conjugacy Classes in Semisimple Algebraic Groups (Revisions) Subtract 4 from each page number in the Index. (This production error seems to be corrected in the paperback reprint.) 7 In line 3 replace M

### arxiv: v5 [math.rt] 9 May 2016

A quick proof of the classification of real Lie superalgebras Biswajit Ransingh and K C Pati arxiv:205.394v5 [math.rt] 9 May 206 Abstract This article classifies the real forms of Lie Superalgebra by Vogan

### Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

### ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS

ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition

### On the Notion of an Automorphic Representation *

On the Notion of an Automorphic Representation * The irreducible representations of a reductive group over a local field can be obtained from the square-integrable representations of Levi factors of parabolic

### Algebra Exam Syllabus

Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate

### Lectures on the Orbit Method

Lectures on the Orbit Method A. A. Kirillov Graduate Studies in Mathematics Volume 64 American Mathematical Society Providence, Rhode Island Preface Introduction xv xvii Chapter 1. Geometry of Coadjoint

### The coincidence Nielsen number for maps into real projective spaces

F U N D A M E N T A MATHEMATICAE 140 (1992) The coincidence Nielsen number for maps into real projective spaces by Jerzy J e z i e r s k i (Warszawa) Abstract. We give an algorithm to compute the coincidence

### Exercises Lie groups

Exercises Lie groups E.P. van den Ban Spring 2009 Exercise 1. Let G be a group, equipped with the structure of a C -manifold. Let µ : G G G, (x, y) xy be the multiplication map. We assume that µ is smooth,

### Subcomplexes in Curved BGG Sequences

ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Subcomplexes in Curved BGG Sequences Andreas Čap Vladimír Souček Vienna, Preprint ESI 1683

### New York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group

New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in

### The Classical Groups and Domains

September 22, 200 The Classical Groups and Domains Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The complex unit disk D { C : < has four families of generaliations to bounded open

### Cartan s Criteria. Math 649, Dan Barbasch. February 26

Cartan s Criteria Math 649, 2013 Dan Barbasch February 26 Cartan s Criteria REFERENCES: Humphreys, I.2 and I.3. Definition The Cartan-Killing form of a Lie algebra is the bilinear form B(x, y) := Tr(ad

### TRILINEAR FORMS AND TRIPLE PRODUCT EPSILON FACTORS WEE TECK GAN

TRILINAR FORMS AND TRIPL PRODUCT PSILON FACTORS W TCK GAN Abstract. We give a short and simple proof of a theorem of Dipendra Prasad on the existence and non-existence of invariant trilinear forms on a

### Linear Algebra. Workbook

Linear Algebra Workbook Paul Yiu Department of Mathematics Florida Atlantic University Last Update: November 21 Student: Fall 2011 Checklist Name: A B C D E F F G H I J 1 2 3 4 5 6 7 8 9 10 xxx xxx xxx

### SOME GOOD-FILTRATION SUBGROUPS OF SIMPLE ALGEBRAIC GROUPS CHUCK HAGUE AND GEORGE MCNINCH

SOME GOOD-FILTRATION SUBGROUPS OF SIMPLE ALGEBRAIC GROUPS CUCK AGUE AND GEORGE MCNINC ABSTRACT. Let G be a connected and reductive algebraic group over an algebraically closed field of characteristic p

### MAXIMALLY NON INTEGRABLE PLANE FIELDS ON THURSTON GEOMETRIES

MAXIMALLY NON INTEGRABLE PLANE FIELDS ON THURSTON GEOMETRIES T. VOGEL Abstract. We study Thurston geometries (X, G) with contact structures and Engel structures which are compatible with the action of

### Determinant Functions and the Geometry of the Flag Manifold for SU(p,q)

Journal of Lie Theory Volume 6 1996 191 206 C 1996 Heldermann Verlag Determinant Functions and the Geometry of the Flag Manifold for SUp,q L. Barchini, S. G. Gindikin, H. W. Wong Communicated by J. Hilgert

### A Leibniz Algebra Structure on the Second Tensor Power

Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any

### arxiv: v2 [math.at] 2 Jul 2014

TOPOLOGY OF MODULI SPACES OF FREE GROUP REPRESENTATIONS IN REAL REDUCTIVE GROUPS A. C. CASIMIRO, C. FLORENTINO, S. LAWTON, AND A. OLIVEIRA arxiv:1403.3603v2 [math.at] 2 Jul 2014 Abstract. Let G be a real

### Thus we get. ρj. Nρj i = δ D(i),j.

1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :

### arxiv: v1 [math.rt] 11 Sep 2009

FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of

### ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS

ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS JOHN R. BRITNELL AND MARK WILDON Abstract. It is known that that the centralizer of a matrix over a finite field depends, up to conjugacy,

### is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a

### SOME PROPERTIES OF CHARACTER SHEAVES. Anne-Marie Aubert. Dedicated to the memory of Olga Taussky-Todd. 1. Introduction.

pacific journal of mathematics Vol. 181, No. 3, 1997 SOME PROPERTIES OF CHARACTER SHEAVES Anne-Marie Aubert Dedicated to the memory of Olga Taussky-Todd 1. Introduction. In 1986, George Lusztig stated

### Annals of Global Analysis and Geometry 18: , Kluwer Academic Publishers. Printed in the Netherlands.

Annals of Global Analysis and Geometry 18: 331 340, 2000. 2000 Kluwer Academic Publishers. Printed in the Netherlands. 331 Flag Duality Dedicated to the memory of Alfred Gray ALAN T. HUCKLEBERRY 1 and

### Stable complex and Spin c -structures

APPENDIX D Stable complex and Spin c -structures In this book, G-manifolds are often equipped with a stable complex structure or a Spin c structure. Specifically, we use these structures to define quantization.

### TOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C :

TOEPLITZ OPERATORS EFTON PARK 1. Introduction to Toeplitz Operators Otto Toeplitz lived from 1881-1940 in Goettingen, and it was pretty rough there, so he eventually went to Palestine and eventually contracted

### TITS SYSTEMS, PARABOLIC SUBGROUPS, PARABOLIC SUBALGEBRAS. Alfred G. Noël Department of Mathematics Northeastern University Boston, MA

TITS SYSTEMS, PARABOLIC SUBGROUPS, PARABOLIC SUBALGEBRAS Alfred G. Noël Department of Mathematics Northeastern University Boston, MA In this paper we give a brief survey of the basic results on B-N pairs

### Lie Groups, Lie Algebras and the Exponential Map

Chapter 7 Lie Groups, Lie Algebras and the Exponential Map 7.1 Lie Groups and Lie Algebras In Gallier [?], Chapter 14, we defined the notion of a Lie group as a certain type of manifold embedded in R N,

### e j = Ad(f i ) 1 2a ij/a ii

A characterization of generalized Kac-Moody algebras. J. Algebra 174, 1073-1079 (1995). Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge CB2 1SB, England. Generalized Kac-Moody algebras can be

### UNITARY REPRESENTATIONS AND HEISENBERG PARABOLIC SUBGROUP

1 2 UNITARY REPRESENTATIONS AND HEISENBERG PARABOLIC SUBGROUP HONGYU HE Abstract. In this paper, we study the restriction of an irreducible unitary representation π of the universal covering Sp 2n (R)

### Gelfand Pairs and Invariant Distributions

Gelfand Pairs and Invariant Distributions A. Aizenbud Massachusetts Institute of Technology http://math.mit.edu/~aizenr Examples Example (Fourier Series) Examples Example (Fourier Series) L 2 (S 1 ) =

### Representation Theory and Orbital Varieties. Thomas Pietraho Bowdoin College

Representation Theory and Orbital Varieties Thomas Pietraho Bowdoin College 1 Unitary Dual Problem Definition. A representation (π, V ) of a group G is a homomorphism ρ from G to GL(V ), the set of invertible

### arxiv:dg-ga/ v3 21 Oct 1999

An Obstruction to Quantizing Compact Symplectic Manifolds arxiv:dg-ga/9706001v3 21 Oct 1999 Mark J. Gotay Department of Mathematics University of Hawai i 2565 The Mall Honolulu, HI 96822 USA Janusz Grabowski

### On the centralizer of a regular, semi-simple, stable conjugacy class. Benedict H. Gross

On the centralizer of a regular, semi-simple, stable conjugacy class Benedict H. Gross Let k be a field, and let G be a semi-simple, simply-connected algebraic group, which is quasi-split over k. The theory

### Invariant Distributions and Gelfand Pairs

Invariant Distributions and Gelfand Pairs A. Aizenbud and D. Gourevitch http : //www.wisdom.weizmann.ac.il/ aizenr/ Gelfand Pairs and distributional criterion Definition A pair of groups (G H) is called

### What is the Tits index and how to work with it

What is the Tits index and how to work with it December 10th,11th of 2012 Workshop on Groups and Geometries Indian Statistical Institute Bangalore, India Layout Recall: A connected, reductive group G over

### arxiv: v1 [math.ap] 6 Mar 2018

SCHRÖDINGER EQUATIONS ON NORMAL REAL FORM SYMMETRIC SPACES arxiv:803.0206v [math.ap] 6 Mar 208 ANESTIS FOTIADIS AND EFFIE PAPAGEORGIOU Abstract. We prove dispersive and Strichartz estimates for Schrödinger

### TitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)

TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights

### Colette Mœglin and Marko Tadić

CONSTRUCTION OF DISCRETE SERIES FOR CLASSICAL p-adic GROUPS Colette Mœglin and Marko Tadić Introduction The goal of this paper is to complete (after [M2] the classification of irreducible square integrable

### Trace Class Operators and Lidskii s Theorem

Trace Class Operators and Lidskii s Theorem Tom Phelan Semester 2 2009 1 Introduction The purpose of this paper is to provide the reader with a self-contained derivation of the celebrated Lidskii Trace

### THE ADJOINT GROUP OF LIE GROUPS

PACIFIC JOURNAL OF MATHEMATICS Vol. 32, No. 1, 1970 THE ADJOINT GROUP OF LIE GROUPS DONG HOON LEE Let G be a Lie group and let Aut(G) denote the group of automorphisms of G. If the subgroup ϊnt(g) of innerautomorphisms

### Graded modules over classical simple Lie algebras

Graded modules over classical simple Lie algebras Alberto Elduque Universidad de Zaragoza (joint work with Mikhail Kochetov) Graded modules. Main questions Graded Brauer group Brauer invariant Solution

### Group Theory - QMII 2017

Group Theory - QMII 017 Reminder Last time we said that a group element of a matrix lie group can be written as an exponent: U = e iαaxa, a = 1,..., N. We called X a the generators, we have N of them,

### ABSTRACT ALGEBRA WITH APPLICATIONS

ABSTRACT ALGEBRA WITH APPLICATIONS IN TWO VOLUMES VOLUME I VECTOR SPACES AND GROUPS KARLHEINZ SPINDLER Darmstadt, Germany Marcel Dekker, Inc. New York Basel Hong Kong Contents f Volume I Preface v VECTOR

### VINCENT PECASTAING. University of Luxembourg, Mathematics Research Unit Maison du nombre, 6 avenue de la Fonte L-4364 Esch-sur-Alzette, Luxembourg 1

CONFORMAL ACTIONS OF REAL-RANK 1 SIMPLE LIE GROUPS ON PSEUDO-RIEMANNIAN MANIFOLDS VINCENT PECASTAING University of Luxembourg, Mathematics Research Unit Maison du nombre, 6 avenue de la Fonte L-4364 Esch-sur-Alzette,

### THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS

THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS AILANA FRASER AND JON WOLFSON Abstract. In this paper we study the topology of compact manifolds of positive isotropic

### Problems in Linear Algebra and Representation Theory

Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific

### The Omega-Regular Unitary Dual of the Metaplectic Group of Rank 2

Contemporary Mathematics The Omega-Regular Unitary Dual of the Metaplectic Group of Rank Alessandra Pantano, Annegret Paul, and Susana A. Salamanca-Riba This paper is dedicated to the dear memory of Professor

### GALOIS GROUPS AS PERMUTATION GROUPS

GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can

### Representation Theory. Ricky Roy Math 434 University of Puget Sound

Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.

### Cartan sub-c*-algebras in C*-algebras

Plan Cartan sub-c*-algebras in C*-algebras Jean Renault Université d Orléans 22 July 2008 1 C*-algebra constructions. 2 Effective versus topologically principal. 3 Cartan subalgebras in C*-algebras. 4

### TORI INVARIANT UNDER AN INVOLUTORIAL AUTOMORPHISM II

Advances of Mathematics All Right Reserved by Academic Press Volume 3, Number, October 5 997, Pages 9 S 000-8707(97) \$5.00 TORI INVARIANT UNDER AN INVOLUTORIAL AUTOMORPHISM II A.G. HELMINCK Abstract. The

### ON THE CONSTRUCTIVE INVERSE PROBLEM IN DIFFERENTIAL GALOIS THEORY #

Communications in Algebra, 33: 3651 3677, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500243304 ON THE CONSTRUCTIVE INVERSE PROBLEM IN DIFFERENTIAL

### Lectures on Lie groups and geometry

Lectures on Lie groups and geometry S. K. Donaldson March 25, 2011 Abstract These are the notes of the course given in Autumn 2007 and Spring 2011. Two good books (among many): Adams: Lectures on Lie groups

### Reproducing formulas associated with symbols

Reproducing formulas associated with symbols Filippo De Mari Ernesto De Vito Università di Genova, Italy Modern Methods of Time-Frequency Analysis II Workshop on Applied Coorbit space theory September

### 5 Quiver Representations

5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )

### NOTES ON CENTRAL EXTENSIONS

NOTES ON CENTRAL EXTENSIONS DIPENDRA PRASAD Abstract. These are the notes for some lectures given by this author at Harish- Chandra Research Institute, Allahabad in March 2014 for a workshop on Schur multipliers.

### TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

### CONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP

Uno, K. Osaka J. Math. 41 (2004), 11 36 CONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP Dedicated to Professor Yukio Tsushima on his sixtieth birthday KATSUHIRO UNO 1. Introduction (Received

### A NOTE ON INVARIANT FINITELY ADDITIVE MEASURES

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 93, Number 1, January 1985 A NOTE ON INVARIANT FINITELY ADDITIVE MEASURES S. G. DANI1 ABSTRACT. We show that under certain general conditions any

### Notes on Lie Algebras

NEW MEXICO TECH (October 23, 2010) DRAFT Notes on Lie Algebras Ivan G. Avramidi Department of Mathematics New Mexico Institute of Mining and Technology Socorro, NM 87801, USA E-mail: iavramid@nmt.edu 1

### BRUHAT-TITS BUILDING OF A p-adic REDUCTIVE GROUP

Trends in Mathematics Information Center for Mathematical Sciences Volume 4, Number 1, June 2001, Pages 71 75 BRUHAT-TITS BUILDING OF A p-adic REDUCTIVE GROUP HI-JOON CHAE Abstract. A Bruhat-Tits building

### VERLINDE ALGEBRA LEE COHN. Contents

VERLINDE ALGEBRA LEE COHN Contents 1. A 2-Dimensional Reduction of Chern-Simons 1 2. The example G = SU(2) and α = k 5 3. Twistings and Orientations 7 4. Pushforward Using Consistent Orientations 9 1.

### 1. Plurisubharmonic functions and currents The first part of the homework studies some properties of PSH functions.

MATH 263: PROBLEM SET 2: PSH FUNCTIONS, HORMANDER S ESTIMATES AND VANISHING THEOREMS 1. Plurisubharmonic functions and currents The first part of the homework studies some properties of PSH functions.