Representations with Iwahori-fixed vectors Paul Garrett garrett/ 1. Generic algebras
|
|
- Griselda Dawson
- 5 years ago
- Views:
Transcription
1 (February 19, 2005) Representations with Iwahori-fixed vectors Paul Garrett garrett/ Generic algebras Strict Iwahori-Hecke algebras Representations with Iwahori-fixed vectors Proof of the Borel-Matsumoto theorem Irreducibility criteria Using the ideas of [Casselman 1980] descended from the Borel-Matsumoto theorem on admissible representations of p-adic reductive groups containing Iwahori-fixed vectors, it is possible to give an easily verifiable sufficient criterion for irreducibility of degenerate principal series. This result is not comparable to irreducibility results such as [Muić-Shahidi 1998], but is easily proven and easily applied. Let G be a p-adic reductive group, P a minimal parabolic, N its unipotent radical, B the Iwahori subgroup matching P, and K a maximal compact subgroup containing B. As usual, a character χ : P/N C is unramified if it is trivial on P K. Let δ = δ P be the modular function on P, and ρ = ρ P = δ 1/2 P the square root of this modular function. 1. Generic algebras Let (W, S) be a Coxeter system, and fix a commutative ring R. We consider S-tuples of pairs (a s, b s ) of elements of R, subject to the requirement that if s 1 = ws 2 w 1 for w W and s 1, s 2 S, then a s1 = a s2 and b s1 = b s2. Refer to the constants a s, b s as structure constants. Let A be a free R-module with R-basis {T w : w W }. Theorem: Given a Coxeter system (W, S) and structure constants a s, b s (s S) there is exactly one associative algebra structure on A so that T s T w = T sw for l(sw) > l(w) T 2 s = a s T s + b s T 1 for all s S and with the requirement that T 1 is the identity in A. With this associative algebra structure, we also have T s T w = a s T w + b s T sw for l(sw) < l(w) Further, the right-handed version of these identities hold T w T s = T ws for l(ws) > l(w) T w T s = a s T w + b s T ws for l(ws) < l(w) Granting the theorem, for given structure constants define the generic algebra A = A(W, S, {(a s, b s ) : s S}) to be the associative R-algebra determined by the theorem. Remark: If all a s = 0 and b s = 1 then the associated generic algebra is the group algebra of the group W over the ring R. When (W, S) is affine suitable structure constants yield the Iwahori-Hecke algebra of associated p-adic groups. Most often, this is a s = q 1 b s = q 1
2 where q is the residue field cardinality of a discrete valuation ring. Proof: First, we see that the right-handed versions of the statements follow from the left-handed ones. Let l(wt) > l(w) for w W and t S. Since l(wt) > l(w), there is s S such that l(sw) < l(w). Then l(sw) + 1 = l(w) = l(wt) 1 l(swt) = l(swt) l(sw) + 1 Thus, l(w) = l(swt) > l(sw) Then T w = T s T sw and T w T t = (T s T sw )T t = T s T swt = T wt where the first equality follows from l(w) = l(ssw) > l(sw), the second follows by induction on length, and the third follows from l(sswt) > l(swt). This gives the desired result. If l(wt) < l(w), then by the result just proven T wt T t = T w. Multiplying both sides by T t on the right yields T w T t = T wt T 2 t = T wt (a t T t + b t T 1 ) = a t T wt T t + b t T wt = a t T w + b t T wt where we computed T 2 t by the defining relation. Thus, the right-handed versions follow from the left-handed. Next, suppose that l(sw) < l(w) and prove that T s T w = a s T w + b s T sw If l(w) = 1, then w = s, and the desired equality is the assumed equality T 2 s = a s T s + b s T 1 Generally, from l(s(sw)) = l(w) > l(sw) follows T s T sw = T w. Then T s T w = T 2 s T sw = (a s T s + b s T 1 )T sw = a s T s T sw + b s T sw = a s T w + b s T sw as asserted. Thus, the multiplication rule for l(sw) < l(w) follows from the rule for l(sw) > l(w) and from the formula for T 2 s. Uniqueness is easy. If w = s 1... s n is reduced, then T w = T s1... T sn Therefore, A is generated as an R-algebra by the T s (for s S) and by T 1. The relations yield the rule for multiplication of any two T w1 and T w2. Now prove existence of this associative algebra for given data. Let A denote the free R-module on elements T w for w W. In the ring End R (A) we have slleft multiplications λ s and right multiplications ρ s for s S given by λ s (T w ) = T sw for l(sw) > l(w) λ s (T w ) = a s T w + b s T sw for l(sw) < l(w) ρ s (T w ) = T ws for l(ws) > l(w) ρ s (T w ) = a s T w + b s T ws for l(ws) < l(w) Grant for the moment that the λ s commute with the ρ t. Let λ be the subalgebra of E generated by the λ s. Let ϕ : λ A by ϕ(λ) = λ(t 1 ). Thus, for example, ϕ(1) = T 1 and, for all s S, ϕ(λ s ) = T s. Certainly ϕ is a surjective R-module map, since for every reduced expression w = s 1... s n ϕ(λ s1... λ sn ) = (λ s1... λ sn )(1) = λ s1... λ sn 1 T sn = λ s1... λ sn 2 T sn 1s n =... = T s1...s n = T w 2
3 To prove injectivity of ϕ, suppose ϕ(λ) = 0. We will prove, by induction on l(w), that λ(t w ) = 0 for all w W. By definition, ϕ(λ) = 0 means λ(t 1 ) = 0. Now suppose l(w) > 0. Then there is t S so that l(wt) < l(w). We are assuming that we already know that ρ t commutes with λ, so by induction on length. λ(t w ) = λ(t (wt)t ) = λρ t T wt = ρ t λt wt = 0 Thus, λ is a free R-module with basis {λ w : w W }. This R-module isomorphism also implies that λ w = λ s1... λ sn for any reduced expression w = s 1... s n. The natural R-algebra structure on λ can be transported to A, leaving only the checking of the relations. To check the relations suppose that l(sw) > l(w). For a reduced expression w = s 1... s n the expression ss 1... s n is a reduced expression for sw. Thus, That is, we have the desired relation λ s λ w = λ sw. λ s λ w = λ s λ s1... λ sn = λ sw We check the other relation λ 2 s = a s λ s + b s λ 1 by evaluating at T w A. For l(sw) > l(w), λ 2 s(t w ) = λ s (λ s T w ) = λ s (T sw ) = a s T sw + b s T w = If l(sw) < l(w), then = a s λ s T w + b s λ 1 T w = (a s λ s + b s λ 1 )T w λ 2 s(t w ) = λ s (λ s T w ) = λ s (a s T w + b s T sw ) = This proves that λ 2 s = a s λ s + b s λ 1, as desired. = a s λ s T w + b s T s T sw = a s λ s T w + b s λ 1 T w = (a s λ s + b s λ 1 )T w The argument is complete except for the fact that the left and right multiplication operators λ s and ρ t commute with each other. A little exercise on Coxeter groups prepares for this. Proposition: Let (W, S) be a Coxeter system, w W, and s, t S. If both l(swt) = l(w) and l(sw) = l(wt), then swt = w (and s = wtw 1.) In particular, a s = a t and b s = b t, since s and t are conjugate. Proof: Let w = s 1... s n be a reduced expression. On one hand, for l(sw) > l(w) l(w) = l(s(wt)) < l(sw) so the Exchange Condition applies. Namely, there is v W such that sw = vt and such that either v = ss 1... ŝ i... s n or v = w. But v = ss 1... ŝ i... s n is not possible, since this would imply that l(wt) = l(s 1... ŝ i... s n ) < l(w) contradicting the present hypothesis l(wt) = l(sw) > l(w) On the other hand, for l(sw) < l(w) = l(s(sw)), the hypotheses are met by sw in place of w, so the previous argument applies. Thus s(sw) = (sw)t, which gives w = swt. Now the commutativity of the operators λ s and ρ t. Lemma: For s, t S, the operators λ s, ρ t commute. Proof: Prove that λ s ρ t ρ t λ s = 0 by evaluating the left-hand side on T w. There are few possibilities for the relative lengths of w, sw, wt, swt, and in each case the result follows by direct computation, although we need to use the proposition from above in two of them: 3
4 If l(w) < l(wt) = l(sw) < l(swt), then by the definitions of the operators λ s, ρ t we have In the opposite case l(w) > l(wt) = l(sw) > l(swt), λ s ρ t T w = λ s T wt = T swt λ s ρ t T w = λ s (a t T w + b t T wt ) = a t (a s T w + b s T sw ) + b t (a s T wt + b s T swt ) which, by rearranging and reversing the argument with s and t interchanged and left and right interchanged, is a s (a t T w + b t T wt ) + b s (a t T sw + b t T swt ) = ρ t λ s T w In the case that l(wt) = l(sw) < l(swt) = l(w) invoke the proposition just above. We have a s = a t and b s = b t and sw = wt. Then compute directly as desired. When l(wt) < l(w) = l(swt) < l(sw) λ s ρ t T w = λ s (a t T w + b t T wt ) = a t (a s T w + b s T sw ) + b t T swt = a s (a t T w + b t T wt ) + b s T swt = ρ t (a s T w + b s T sw ) = ρ t λ s T w λ s ρ t T w = λ s (a t T w + b t T wt ) = a t T sw + b t T swt = ρ t (λ s T w ) A corresponding argument applies in the case opposite to the previous one wherein l(sw) < l(w) = l(swt) < l(wt). When l(w) = l(swt) < l(sw) = l(wt) again invoke the proposition above to obtain a s = a t and b s = b t and also sw = wt. Then λ s ρ t T w = λ s T wt = a s T wt + b s T swt = a t T sw + b t T swt = ρ t T sw = ρ t λ s T w This finishes the proof of commutativity, and of the theorem on generic algebras. 2. Strict Iwahori-Hecke algebras This section demonstrates that Iwahori-Hecke algebras attached to groups acting suitably on buildings are generic algebras in the sense above. The argument depends only upon the local finiteness of the building. Let G be a group acting strongly transitively on a thick building X, preserving a labelling. (The strong transitivity means that G is transitive upon pairs C A where C is a chamber in an apartment A in the given apartment system.) Let (W, S) be the Coxeter system associated to the apartments: each apartment is isomorphic to the Coxeter complex of (W, S). Conversely, a choice of apartment and chamber within it specifies (W, S). We assume always that S is finite. The subgroup B is the stabilizer of C. The local finiteness hypothesis is that we assume that for all s S the cardinality q s = card(bsb/b) = card(b\bsb) is finite. Recall that the subgroup of G stabilizing the facet F s of C of type {s} for s S is P = P s = B{1, s}b = B BsB The subgroup B is the subgroup of P additionally stabilizing C, so BsB is the subset of B s B mapping C to another chamber s-adjacent to C (that is, with common facet F s of type {s}.) Therefore, BsB/B is in bijection with the set of chambers s-adjacent to C (other than C itself) by g gc. 4
5 That is, the local finiteness hypothesis is that every facet is the facet of only finitely-many chambers. Equivalently, since S is finite, each chamber is adjacent to only finitely-many other chambers. Fix a field k of characteristic zero. Let H = H k (G, B) be the Iwahori-Hecke algebra in G over the field k, that is, the collection of left and right B-invariant k-valued functions on G supported on finitely-many cosets Bg in G. The convolution product on H is (f ϕ)(g) = h B\G f(gh 1 )ϕ(h) The hypothesis that ϕ is supported on finitely-many cosets Bx implies that the sum in the previous expression is finite. Since ϕ is left B-invariant and f is right B-invariant the summands are constant on cosets Bg, so summing over B\G makes sense. Nevertheless, we must prove that the product is again in H. We do this in the course of the theorem. Generally, let ch E be the characteristic function of a subset E of G. By the Bruhat-Tits decomposition, if indeed they are in H(G, B), the functions ch BwB form a k-basis for H(G, B). This Hecke algebra is visibly a free k-module. Theorem: Each BgB is a finite union of cosets Bx, the algebra H is closed under convolution products, and ch BsB ch BwB = ch BswB for l(sw) > l(w) with ch BsB ch BsB = a s ch BsB + b s ch B a s = q s 1 and b s = q s That is, these Iwahori-Hecke operators form a generic algebra with the indicated structure constants. Further, for a reduced expression w = s 1... s n (that is, with n = l(w) and all s i S), we have q w = q s1... q sn Proof: First prove that double cosets BwB are finite unions of cosets Bx at the same time that we study one of the requisite identities for the generic algebra structure. This also will prove that H is closed under convolution products. Do induction on the length of w W. Take s S so that l(sw) > l(w). At g G where ch BsB ch BwB does not vanish, there is h G so that ch BsB (gh 1 )ch BwB (h) 0. For such h, we have gh 1 BsB and h BwB. Thus, by the Bruhat cell multiplication rules, g = (gh 1 )h BsB BwB = BswB Since this convolution product is left and right B-invariant ch BsB ch BwB = c ch BswB for some positive rational number c = c(s, w). Compute the constant c = c(s, w) by summing the previous equality over B\G c q sw = c card(b\bswb) = c ch BswB (g) = g B\G = c (ch BsB ch BwB )(g) = ch BsB (gh 1 )ch BwB (h) = g B\G g B\G h B\G 5
6 = ch BsB (g)ch BwB (h) = q s q w (the latter by replacing g by gh, interchanging order of summation.) Thus, c = q s q w /q sw and for l(sw) > l(w) ch BsB ch BwB = q s q w q 1 sw ch BswB This shows incidentally that the cardinality q sw of B\BwB is finite for all w W, and therefore that the Hecke algebra is closed under convolution. Now consider the other identity required of a generic algebra. Since BsB BsB = B BsB we need evaluate (T s T s )(g) only at g = 1 and g = s. For g = 1 the sum defining the convolution is For g = s (ch BsB ch BsB )(1) = h B\G ch BsB (h 1 )ch BsB (h) = q s = = (q s 1) 0 + q s 1 = (q s 1)ch BsB (1) + q s ch B (1) (ch BsB ch BsB )(s) = h B\G = card(b\(bsb BsBs)) ch BsB (sh 1 )ch BsB (h) = Let P be the parabolic subgroup P = B BsB. This is the stabilizer of the facet F s. The innocent fact that P is a group gives BsB BsBs = (P B) (P B)s = (P B) (P s Bs) = = (P B) (P Bs) = P (B Bs) Therefore, BsB BsBs consists of [P : B] 2 left B-cosets. This number is (q s + 1) 2 = q s 1. Thus, Therefore, with T w = q 1 w b s = q 1 s ch BsB ch BsB = (q s 1)ch BsB + q s ch B ch BwB we obtain a generic algebra with structure constants a s = (1 qs 1. However, this is a weaker conclusion than desired, as we wish to prove that for l(sw) > l(w) If so, then our earlier computation would show that q s q w = q sw ) and ch BsB ch BwB = ch BswB Then taking simply T w = ch BwB would yield a generic algebra with structure constants a s = q s 1 and b s = q s. On one hand, (with l(sw) > l(w)) evaluate both sides of at sw. The left-hand side is h B\G ch BsB ch BwB = q s q w q 1 sw ch BswB ch BsB (swh 1 )ch BwB (h) = card(b\(bsb(sw) BwB)) = 6
7 = card(b\(bsbs BwBw 1 )) card(b\(bss Bww 1 )) = card(b\b) = 1 The right-hand side is q s q w q 1 sw, so q s q w q sw On the other hand, invoking the theorem on generic algebras (with l(sw) > l(w)) This gives qs 1 ch BsB qsw 1 ch BswB = (1 qs 1 Evaluate both sides at w. The right side is q sw q 1 w )q 1 sw ch BswB + qs 1 qw 1 ch BwB ch BsB ch BswB = (q s 1)ch BswB + q sw qw 1 ch BwB and the left is card(b\(bsbw BswB)) = card(b\(bsb BswBw 1 )) = = card(b\(bsb BsBBwB w 1 )) card(b\(bsb BsBww 1 )) = card(b\bsb) = q s by the cell multiplication rules. That is, q sw q s q w Combining these two computations yields q sw = q s q w. Induction on length gives the assertion q s1...s n = q s1... q sn for a reduced expression s 1... s n W. Thus, we obtain the generic algebra as claimed. 3. Representations with Iwahori-fixed vectors Here we prove the Borel-Matsumoto theorem. The structure of the Iwahori-Hecke algebras is the essential ingredient in this proof. Again, G is a p-adic reductive group and B an Iwahori subgroup. More specifically, let G o be the label-preserving subgroup of G, and take B to be the subgroup in G o stabilizing a chosen chamber in a chosen apartment in the associated (affine) building. Theorem: (Borel, Matsumoto, Casselman) Let G be a reductive p-adic group with Iwahori subgroup B (unique up to conjugation) and corresponding minimal parabolic subgroup P. Let M o = B M be a maximal compact subgroup of a chosen Levi component M = M P of P. Let π be a smooth representation of G with dim π B < (Admissibility of π would assure the latter condition.) Under the quotient map q : π π N from π to its Jacquet module π N with respect to P, the B-fixed vectors π B in π map complex-linear isomorphically to the M o -fixed vectors (π N ) Mo in π N. Proof: (See [Casselman 1980]) Let P be a minimal parabolic subgroup of G matching B. We grant the general fact that for any parabolic Q and matching parahoric B Q, the B Q -fixed vectors surject to the B Q - fixed vectors in the Q-Jacquet module. Thus, the strength of the present assertion is the injectivity. Let π(n) be the kernel of the quotient mapping to the P -Jacquet module. If v π B π(n), then there is a large-enough compact open subgroup N 1 of N such that N 1 n v dn = 0 Take a M P such that an 1 a 1 N o, where B has Iwahori factorization B = N opp 1 M o N o. (The notation is potentially misleading: N 1 is large while N opp 1 is relatively small.) Further, we may take a to lie inside the label-preserving subgroup G o of G. Then 0 = a 0 = anv dn = ana 1 av dn = n av dn N 1 N 1 an 1a 1 7
8 Then Paul Garrett: Representations with Iwahori-fixed vectors (February 19, 2005) n av dn = N o N o/an 1a 1 Normalize the measure of B to be 1. Then 0 = 0 dm dn opp = M o N opp 1 an 1a 1 N o/an 1a 1 n o n av dn dn o = n o 0 dn o = 0 N opp 1 M o n opp m n av dn dm dn opp = N o B b av db Further, since v π B, Thus, from just above. That is, BaB b v db = v B x v dx = ba v db db = B B B ch BaB v = 0 ba v db = 0 For some reflections s i there is a reduced expression s 1... s n such that BaB = Bs 1... s n B By the structural results for the Iwahori-Hecke algebra, ch BaB = ch Bs1B... ch BsnB Each of the functions ch BsiB acting on π stabilizes the finite-dimensional complex vector space π B. For s S, the structural assertion ch 2 BsB = q s ch BsB + (q s 1) ch B says that any eigenvalue λ of ch BsB on π B must satisfy so λ = q s ± q 2 s 4(q s 1) 2 λ 2 = q s λ + (q s 1) = q s ± (q s 2) 2 = 1, q s 1 That is, no eigenvalue can be 0. Thus, each ch BsB gives an invertible operator on π B, and ch BaB is necessarily invertible, contradicting our earlier conclusion unless v = 0. That is, π B π(n) = 0 after all. 4. Imbeddings to unramified principal series The Borel-Matsumoto theorem on representations with Iwahori-fixed vectors gives several important corollaries about admissible spherical representations and the structure of unramified principal series. Corollary: An irreducible admissible representation π with non-zero B-fixed vector imbeds into an unramified principal series representation. Proof: Since the set π B of B-fixed vectors in π is non-trivial, by the theorem the space of M o -fixed vectors π Mo N in the Jacquet module π N is non-trivial. Since the Jacquet-module functor preserves admissibility, 8
9 π Mo N is finite-dimensional. Since P is minimal, M/M o is an abelian group. Thus, π Mo N has an irreducible P -quotient χ which is a complex one-dimensional space upon which M/M o acts. That is, M acts on χ by an unramified character (that is, a character trivial on M o ). By Frobenius Reciprocity, we obtain a non-zero G-map π Ind G P χ, which must be an isomorphism since π is irreducible. Corollary: Every G-subrepresentation and every G-quotient of an unramified principal series representation of G is generated by its B-fixed vectors. Proof: Let π be a subrepresentation of an unramified principal series I χ = Ind G P ρ χ where ρ is the square root of the modular function for P. From Frobenius Reciprocity 0 Hom G (π, I χ ) Hom M (π N, ρχ) Since π Mo N πb as complex vector spaces (from above), π B 0. That is, any subrepresentation π of an unramified principal series contains a non-zero B-fixed vector. Taking contragredients, the inclusion give rise to a surjection π I χ I ˇχ Ǐχ ˇπ Let H be the kernel. We have shown that H B is non-trivial. Corollary: If an unramified principal series representation I χ = i P χ is not generated by its unique (up to constant multiples) spherical vector ϕ (for fixed choice K of maximal compact), then there is a non-zero intertwining T : I χ I χ from I χ to another unramified principal series I χ such that T ϕ = 0. Proof: (Following Casselman) Let V be the proper submodule generated by the spherical vector. Then I χ /V 0, so is still admissible (since an unramified principal series representation is admissible, and admissibility is preserved in quotients). And it is generated by its B-fixed vectors (I χ /V ) B, by the theorem, which then necessarily form a finite-dimensional subspace. Thus, I χ /V is finitely-generated, so has an irreducible quotient σ, which (by the corollary) still has a non-zero B-fixed vector. Thus, σ imbeds into an unramified principal series I χ. That is, we have a non-zero intertwining I χ I χ /V σ I χ This proves the corollary. 5. Irreducibility criteria First recall some relatively elementary standard facts about principal series representations. Let W be the (spherical) Weyl group of G, acting on P/N by conjugation, where N is the unipotent radical of the minimal parabolic P. Let W act on one-dimensional group homomorphisms χ : P/N C by (wχ)(x) = χ(w 1 xw) 9
10 As usual, say that χ is regular if wχ = χ only for w = 1. Let I χ = i P χ denote the (smooth) normalized unramified principal series I χ = i P χ = Ind G P ρ P χ Let ϕ χ be the unique K-spherical vector in I χ such that ϕ χ (1) = 1. Theorem: Let χ be an unramified character. If T : I χ I χ is a non-zero intertwining, then χ = wχ for some w W. If χ is regular, then for all w W dim Hom G (I χ, I wχ ) = 1 In particular, for fixed regular χ and w W, the non-zero map T χ,w : I χ I wχ defined (for suitable inequalities imposed upon χ to ensure convergence, and then by analytic continuation) by T χ,w f(g) = f(w 1 ng) dn is the only such intertwining, up to a constant. N w 1 Nw\N Theorem: The holomorphically parametrized family χ T χ,w (for fixed w W ) of intertwining operators I χ I wχ has a holomorphic continuation to all regular χ. The holomorphically continued intertwining is not the zero intertwining. Theorem: ([Casselman 1980]) Let χ be a regular character, let ϕ χ be the spherical vector in Ind G P χ normalized so that ϕ χ (1) = 1. There is an explicit not-identically-zero rational function λ w (χ) of χ so that T χ,w (ϕ χ ) = λ w (χ) ϕ wχ Corollary: ([Casselman 1980]) Let λ(χ) = λ wo (χ) be the function attached to the longest Weyl element w o in the spherical Weyl group. For regular characters χ, the spherical vector ϕ χ generates I χ if and only if λ(χ) 0. Proof: Let V be the subrepresentation generated by the spherical vector. If V is not all of I χ, then the quotient I χ /V is non-zero. By the corollary of the Borel-Matsumoto theorem, this quotient has a non-zero intertwining to an unramified principal series I χ. Necessarily χ = wχ for some w W. Either by looking at the rational functions λ w (χ) directly, or by realizing that in a finite Coxeter group W for any w there is w such that the longest element w o is expressible as w o = w w with Thus, and therefore l(w o ) = l(w ) + l(w) T w,χ T w,χ = T wo,χ λ wo,χ = λ w (χ ) λ w (χ) = λ w (χ ) 0 = 0 Thus, when the spherical vector fails to generate I χ, λ wo (χ) = 0. On the other hand, if λ wo (χ) = 0, the spherical vector is in the kernel of the non-zero intertwining operator T wo (χ), so the spherical vector cannot generate I χ. Remark: These intertwining operators are well understood. A conceptual proof of meromorphic continuation can be given by some form of Bernstein s continuation principle. One version is in [Garrett 1997]. 10
11 In fact, since the compositions of these intertwinings must fall back into the same class, one can make a stronger assertion about the relationships among the intertwinings and among the λ w s for w 1 w 2 = w 3, etc. Corollary: (Casselman) For regular χ, the unramified principal series I χ λ(χ) 0 and λ(χ 1 ) 0. is irreducible if and only if Proof: Suppose V is a proper G-submodule of I χ. On one hand, if V contains ϕ χ, then ϕ χ fails to generate all of I χ, so λ(χ) = 0. On the other hand, if V does not contain ϕ χ, then the (smooth) contragredient Ǐ χ I χ 1 has a proper submodule X = {x Ǐχ : x(v ) = 0} which necessarily contains the spherical vector ϕ χ 1. That is, Ǐχ is not generated by its spherical vector, so λ(χ 1 ) = 0. Now let Q be any other parabolic subgroup containing P, with unipotent radical N Q. Let σ : Q/N Q C be an unramified character. Let i Q σ = Ind G Q ρ Q σ be the normalized degenerate principal series. By restriction, such σ gives an unramified character on P and we have an injection i Q σ = Ind G Q ρ Q σ Ind G P ρ Q σ = Ind G P ρ P ρ 1 P ρ Q σ = i P (ρ 1 P ρ Q σ) The following is an obvious extension to degenerate principal series of Casselman s results for unramified principal series, though the condition we obtain ceases to be provably necessary for irreducibility. Corollary: For an unramified character σ of Q, if ρ 1 P ρ Q σ is regular, and if λ(ρ 1 P ρ Q σ) 0 and ρ Q σ 1 ) 0, then the (normalized) degenerate principal series i Q σ is irreducible. λ(ρ 1 P Proof: First, we verify that if the spherical vector ϕ σ in i Q σ generates i Q σ, and if the same is true for the contragredient ǐ Q σ i Qˇσ, then i Q σ is irreducible. Indeed, suppose that i Q σ had a proper submodule V. On one hand, if V contains the spherical vector, then the spherical vector fails to generate i Q σ. On the other hand, if V does not contain the spherical vector, then in the contragredient the submodule X = {x ǐ Q σ : x(v ) = 0} is proper and contains the spherical vector, so the spherical vector fails to generate ǐ Q σ. Now we relate this to the generation of unramified principal series by the spherical vector. From the obvious inclusion ǐ Q σ i Qˇσ i P (ρ 1 P ρ Q ˇσ) by dualizing we obtain a surjection of the contragredients, which (by choice of the normalizations) gives a surjection i P (ρ P ρ 1 Q σ) i Qσ If the spherical vector in i Q σ fails to generate i Q σ, then surely the same is true of i P (ρ P ρ 1 Q σ). The obvious parallel remark applies to the contragredient. If ρ P ρ 1 Q σ is regular, then we may invoke Casselman s criterion for generation of unramified principal series by the spherical vector. 11
12 6. Bibliography [Casselman 1980] W. Casselman, The unramified principal series of p-adic groups. I. The spherical function, Compositio Math. 40 (1980), no. 3, [Garrett 1997] P. Garrett, Euler factorization of global integrals, in Euler Products and Eisenstein Series, Proc. Symp. Pure Math. vol. 66. [Muić-Shahidi 1998] G. Muić, F. Shahidi, Irreducibility of standard representations for Iwahori-spherical representations, Math. Ann. 312 (1998), no. 1, pp
Primer of Unramified Principal Series Paul Garrett garrett/
(February 19, 2005) Primer of Unramified Principal Series Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ indispensable stuff with few prerequisites Recollection of some definitions
More informationEssays on representations of p-adic groups. Smooth representations. π(d)v = ϕ(x)π(x) dx. π(d 1 )π(d 2 )v = ϕ 1 (x)π(x) dx ϕ 2 (y)π(y)v dy
10:29 a.m. September 23, 2006 Essays on representations of p-adic groups Smooth representations Bill Casselman University of British Columbia cass@math.ubc.ca In this chapter I ll define admissible representations
More informationReducibility of generic unipotent standard modules
Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric
More informationBuildings, Bruhat decompositions, unramified principal series
(July 2, 2005) Buildings, Bruhat decompositions, unramified principal series Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [ ] [ ] [ ] [ ] EDIT:... draft... Buildings are special
More informationLECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O
LECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O IVAN LOSEV Introduction In this and the next lecture we will describe an entirely different application of Hecke algebras, now to the category O. In the
More informationTraces, Cauchy identity, Schur polynomials
June 28, 20 Traces, Cauchy identity, Schur polynomials Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Example: GL 2 2. GL n C and Un 3. Decomposing holomorphic polynomials over GL
More informationAHAHA: Preliminary results on p-adic groups and their representations.
AHAHA: Preliminary results on p-adic groups and their representations. Nate Harman September 16, 2014 1 Introduction and motivation Let k be a locally compact non-discrete field with non-archimedean valuation
More informationFactorization of unitary representations of adele groups Paul Garrett garrett/
(February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in
More informationU = 1 b. We fix the identification G a (F ) U sending b to ( 1 b
LECTURE 11: ADMISSIBLE REPRESENTATIONS AND SUPERCUSPIDALS I LECTURE BY CHENG-CHIANG TSAI STANFORD NUMBER THEORY LEARNING SEMINAR JANUARY 10, 2017 NOTES BY DAN DORE AND CHENG-CHIANG TSAI Let L is a global
More informationON 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,
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol
More informationProof of a simple case of the Siegel-Weil formula. 1. Weil/oscillator representations
(March 6, 2014) Proof of a simple case of the Siegel-Weil formula Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ First, I confess I never understood Siegel s arguments for his mass
More informationMarko Tadić. Introduction Let F be a p-adic field. The normalized absolute value on F will be denoted by F. Denote by ν : GL(n, F ) R the character
ON REDUCIBILITY AND UNITARIZABILITY FOR CLASSICAL p-adic GROUPS, SOME GENERAL RESULTS Marko Tadić Abstract. The aim of this paper is to prove two general results on parabolic induction of classical p-adic
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(September 17, 010) Quadratic reciprocity (after Weil) Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields (characteristic not ) the quadratic norm residue
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationBRUHAT-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
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 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
More informationThe Casselman-Shalika Formula for a Distinguished Model
The Casselman-Shalika ormula for a Distinguished Model by William D. Banks Abstract. Unramified Whittaker functions and their analogues occur naturally in number theory as terms in the ourier expansions
More informationON THE STANDARD MODULES CONJECTURE. V. Heiermann and G. Muić
ON THE STANDARD MODULES CONJECTURE V. Heiermann and G. Muić Abstract. Let G be a quasi-split p-adic group. Under the assumption that the local coefficients C defined with respect to -generic tempered representations
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationON THE RESIDUAL SPECTRUM OF HERMITIAN QUATERNIONIC INNER FORM OF SO 8. Neven Grbac University of Rijeka, Croatia
GLASNIK MATEMATIČKI Vol. 4464)2009), 11 81 ON THE RESIDUAL SPECTRUM OF HERMITIAN QUATERNIONIC INNER FORM OF SO 8 Neven Grbac University of Rijeka, Croatia Abstract. In this paper we decompose the residual
More informationREPRESENTATION THEORY. WEEK 4
REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationCategory O and its basic properties
Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α
More information11. Finitely-generated modules
11. Finitely-generated modules 11.1 Free modules 11.2 Finitely-generated modules over domains 11.3 PIDs are UFDs 11.4 Structure theorem, again 11.5 Recovering the earlier structure theorem 11.6 Submodules
More informationLECTURE 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
More informationInduced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations
Induced Representations Frobenius Reciprocity Math G4344, Spring 2012 1 Generalities about Induced Representations For any group G subgroup H, we get a restriction functor Res G H : Rep(G) Rep(H) that
More informationSPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS
SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the
More informationRepresentations of semisimple Lie algebras
Chapter 14 Representations of semisimple Lie algebras In this chapter we study a special type of representations of semisimple Lie algberas: the so called highest weight representations. In particular
More informationThe 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
More informationLECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationHom M (J P (V ), U) Hom M (U(δ), J P (V )),
Draft: October 10, 2007 JACQUET MODULES OF LOCALLY ANALYTIC RERESENTATIONS OF p-adic REDUCTIVE GROUS II. THE RELATION TO ARABOLIC INDUCTION Matthew Emerton Northwestern University To Nicholas Contents
More informationCOHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II
COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II LECTURES BY JOACHIM SCHWERMER, NOTES BY TONY FENG Contents 1. Review 1 2. Lifting differential forms from the boundary 2 3. Eisenstein
More informationGeometric 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
More informationOn 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
More informationA note on trilinear forms for reducible representations and Beilinson s conjectures
A note on trilinear forms for reducible representations and Beilinson s conjectures M Harris and A J Scholl Introduction Let F be a non-archimedean local field, and π i (i = 1, 2, 3) irreducible admissible
More informationColette 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
More informationIVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =
LECTURE 7: CATEGORY O AND REPRESENTATIONS OF ALGEBRAIC GROUPS IVAN LOSEV Introduction We continue our study of the representation theory of a finite dimensional semisimple Lie algebra g by introducing
More information0 A. ... A j GL nj (F q ), 1 j r
CHAPTER 4 Representations of finite groups of Lie type Let F q be a finite field of order q and characteristic p. Let G be a finite group of Lie type, that is, G is the F q -rational points of a connected
More informationON RESIDUAL COHOMOLOGY CLASSES ATTACHED TO RELATIVE RANK ONE EISENSTEIN SERIES FOR THE SYMPLECTIC GROUP
ON RESIDUAL COHOMOLOGY CLASSES ATTACHED TO RELATIVE RANK ONE EISENSTEIN SERIES FOR THE SYMPLECTIC GROUP NEVEN GRBAC AND JOACHIM SCHWERMER Abstract. The cohomology of an arithmetically defined subgroup
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture I
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture I Set-up. Let K be an algebraically closed field. By convention all our algebraic groups will be linear algebraic
More informationPrimitive Ideals and Unitarity
Primitive Ideals and Unitarity Dan Barbasch June 2006 1 The Unitary Dual NOTATION. G is the rational points over F = R or a p-adic field, of a linear connected reductive group. A representation (π, H)
More informationMath 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
More informationis 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
More informationRepresentations 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
More informationDraft: July 15, 2007 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES
Draft: July 15, 2007 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of p-adic analytic
More informationSemistable Representations of Quivers
Semistable Representations of Quivers Ana Bălibanu Let Q be a finite quiver with no oriented cycles, I its set of vertices, k an algebraically closed field, and Mod k Q the category of finite-dimensional
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More information1. Statement of the theorem
[Draft] (August 9, 2005) The Siegel-Weil formula in the convergent range Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ We give a very simple, mostly local, argument for the equality
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationCENTRAL CHARACTERS FOR SMOOTH IRREDUCIBLE MODULAR REPRESENTATIONS OF GL 2 (Q p ) Laurent Berger
CENTRAL CHARACTERS FOR SMOOTH IRREDUCIBLE MODULAR REPRESENTATIONS OF GL 2 (Q p by Laurent Berger To Francesco Baldassarri, on the occasion of his 60th birthday Abstract. We prove that every smooth irreducible
More informationarxiv: v1 [math.rt] 14 Nov 2007
arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationarxiv: v1 [math.rt] 23 Nov 2009
PARABOLIC CHARACTER SHEAVES, III arxiv:0911.4318v1 [math.rt] 23 Nov 2009 G. Lusztig 1. A decomposition of G δ /U P 1.1. Let k be an algebraically closed field. In this paper an algebraic variety (or algebraic
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationRepresentations of Totally Disconnected Groups
Chapter 5 Representations of Totally Disconnected Groups Abstract In this chapter our goal is to develop enough of the representation theory of locally compact totally disconnected groups (or td groups
More informationA correction to Conducteur des Représentations du groupe linéaire
A correction to Conducteur des Représentations du groupe linéaire Hervé Jacquet December 5, 2011 Nadir Matringe has indicated to me that the paper Conducteur des Représentations du groupe linéaire ([JPSS81a],
More informationNOTES ON REPRESENTATIONS OF GL(r) OVER A FINITE FIELD. by Daniel Bump
NOTES ON REPRESENTATIONS OF GL(r) OVER A FINITE FIELD by Daniel Bump 1 Induced representations of finite groups Let G be a finite group, and H a subgroup Let V be a finite-dimensional H-module The induced
More informationBuildings. Brian Lehmann Cambridge University Part III May Graduate Research Fellowship.
Buildings Brian Lehmann Cambridge University Part III May 2005 1 1 This material is based upon work supported under a National Science Foundation Graduate Research Fellowship. Introduction The concept
More informationMath 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
More informationTRILINEAR 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
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationA classification of commutative parabolic Hecke algebras
A classification of commutative parabolic Hecke algebras Peter Abramenko James Parkinson Hendrik Van Maldeghem Abstract Let (W, S) be a Coxeter system with I S such that the parabolic subgroup W I is finite.
More informationNOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS
NOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS VICTOR REINER Abstract. There are two famous formulae relating the Poincaré series of a finite/affine Weyl group to the degrees of fundamental
More informationInertial types and automorphic representations with prescribed ramification. William Conley
Inertial types and automorphic representations with prescribed ramification William Conley May, 2010 Contents 1 Introduction 3 1.1 Notation.............................. 5 2 Types and K-types for p-adic
More informationDraft: February 26, 2010 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES
Draft: February 26, 2010 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of p-adic analytic
More informationMath 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
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationTWO SIMPLE OBSERVATIONS ON REPRESENTATIONS OF METAPLECTIC GROUPS. In memory of Sibe Mardešić
TWO IMPLE OBERVATION ON REPREENTATION OF METAPLECTIC GROUP MARKO TADIĆ arxiv:1709.00634v1 [math.rt] 2 ep 2017 Abstract. M. Hanzer and I. Matić have proved in [8] that the genuine unitary principal series
More informationZeta functions of buildings and Shimura varieties
Zeta functions of buildings and Shimura varieties Jerome William Hoffman January 6, 2008 0-0 Outline 1. Modular curves and graphs. 2. An example: X 0 (37). 3. Zeta functions for buildings? 4. Coxeter systems.
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationInfinite generation of non-cocompact lattices on right-angled buildings
Infinite generation of non-cocompact lattices on right-angled buildings ANNE THOMAS KEVIN WORTMAN Let Γ be a non-cocompact lattice on a locally finite regular right-angled building X. We prove that if
More informationarxiv:math/ v1 [math.co] 7 Jan 2005
GENERALIZED DESCENT ALGEBRAS arxiv:math/0501099v1 [math.co] 7 Jan 2005 CÉDRIC BONNAFÉ AND CHRISTOPHE HOHLWEG1 Abstract. If A is a subset of the set of reflections of a finite Coxeter group W, we define
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological
More informationOn the Self-dual Representations of a p-adic Group
IMRN International Mathematics Research Notices 1999, No. 8 On the Self-dual Representations of a p-adic Group Dipendra Prasad In an earlier paper [P1], we studied self-dual complex representations of
More informationBruhat Tits buildings and representations of reductive p-adic groups
Bruhat Tits buildings and representations of reductive p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen joint work with Ralf Meyer 26 November 2013 Starting point Let G be a reductive p-adic
More information9 Artin representations
9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation
More informationInduced representations
Induced representations Frobenius reciprocity A second construction of induced representations. Frobenius reciprocity We shall use this alternative definition of the induced representation to give a proof
More informationON THE MODIFIED MOD p LOCAL LANGLANDS CORRESPONDENCE FOR GL 2 (Q l )
ON THE MODIFIED MOD p LOCAL LANGLANDS CORRESPONDENCE FOR GL 2 (Q l ) DAVID HELM We give an explicit description of the modified mod p local Langlands correspondence for GL 2 (Q l ) of [EH], Theorem 5.1.5,
More informationA CLASSIFICATION OF IRREDUCIBLE ADMISSIBLE MOD p REPRESENTATIONS OF p-adic REDUCTIVE GROUPS
A CLASSIFICATION OF IRREDUCIBLE ADMISSIBLE MOD p REPRESENTATIONS OF p-adic REDUCTIVE GROUPS N. ABE, G. HENNIART, F. HERZIG, AND M.-F. VIGNÉRAS Abstract. Let F be a locally compact non-archimedean field,
More informationLECTURE 2: LANGLANDS CORRESPONDENCE FOR G. 1. Introduction. If we view the flow of information in the Langlands Correspondence as
LECTURE 2: LANGLANDS CORRESPONDENCE FOR G J.W. COGDELL. Introduction If we view the flow of information in the Langlands Correspondence as Galois Representations automorphic/admissible representations
More informationDECOMPOSITION OF TENSOR PRODUCTS OF MODULAR IRREDUCIBLE REPRESENTATIONS FOR SL 3 (WITH AN APPENDIX BY C.M. RINGEL)
DECOMPOSITION OF TENSOR PRODUCTS OF MODULAR IRREDUCIBLE REPRESENTATIONS FOR SL 3 (WITH AN APPENDIX BY CM RINGEL) C BOWMAN, SR DOTY, AND S MARTIN Abstract We give an algorithm for working out the indecomposable
More informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationA GEOMETRIC JACQUET FUNCTOR
A GEOMETRIC JACQUET FUNCTOR M. EMERTON, D. NADLER, AND K. VILONEN 1. Introduction In the paper [BB1], Beilinson and Bernstein used the method of localisation to give a new proof and generalisation of Casselman
More information1 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
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More information