JOSEPH ALFANO* Department of Mathematics, Assumption s y i P (x; y) = 0 for all r; s 0 (with r + s > 0). Computer explorations by
|
|
- Merilyn Brooks
- 6 years ago
- Views:
Transcription
1 A BASIS FOR THE Y SUBSPACE OF DIAGONAL HARMONIC POLYNOMIALS JOSEPH ALFANO* Department of Mathematics, Assumption College 500 Salisbury Street, Worcester, Massachusetts ABSTRACT. The space DH n of S n diagonal harmonics is the collection of polynomials P (x; y) = P (x ;...; x n ; y ;...; y n ) which satisfy the dierential equations P x s y i P (x; y) = 0 for all r; s 0 (with r + s > 0). Computer explorations by Haiman have revealed that DH n has a number of remarkable combinatorial properties. In particular DH n is an S n module whose conjectured representation, graded by degree in y, is a sign twisted version of the action of S n on the parking function module. This conjecture predicts the character of each of the y-homogeneous subspaces Y j of DH n. The space Y 0 of diagonal harmonics with no y dependence is known in the classical theory. In this article we construct a basis for the subspace Y of diagonal harmonics linear in y. Using this basis we prove that the Y specialization of the Parking Function Conjecture is correct, and we provide a formula for the character of Y graded by degree in x. This last formula matches the Y specialization of a master conjecture of Garsia and Haiman which expresses the bigraded character of DH n.. Introduction Let Q[x; y] be the polynomial ring Q[x ; x ;... ; x n ; y ; y ;...; y n ] over the rationals. The diagonal action of the symmetric group S n on Q[x; y] is dened by setting, for = ( ; ;...; n ) S n and for P = P (x ; x ;... ; x n ; y ; y ;... ; y n ), P = P (x ; x ;...; x n ; y ; y ;... ; y n ) : : A polynomial P Q[x; y] is an S n diagonal invariant if P = P for all S n : Let I n be the ideal in Q[x; y] generated by the S n diagonal invariants, homogeneous of positive degree. Due to a theorem of Weyl [3], P a convenient set of generators for I n is given by the polarized power sum symmetric n functions xr i ys i (for r; s 0; with r + s n). We dene a bilinear form h; i on Q[x; y] by setting hp ; Qi = P (@ x x xn y y ;... yn ) Q(x ; x ;... ; x n ; y ; y ;... ; y n ) j x=y=0 : for monomials P; Q and extending by xi yi denote the dierential i i. This scalar product, known as the apolar form [3], is S n invariant, nondegenerate, and symmetric. It is easily shown that hx i P ; Qi = hp xi Qi and hy i P ; Qi = hp yi Qi : :3 * Work carried out under NSF grant support.
2 Thus multiplication by elements of Q[x; y] is adjoint to dierentiation. Dene DH n = I? n in Q[x; y] with respect to this scalar product. DH n is called the space of S n diagonal harmonic polynomials, since it equals the set fp Q[x; y] r x s y i P = 0 for r; s 0 (with r + s n)g : :4 In this paper we let Y j denote the subspace of elements of DH n which are homogeneous of degree j in y ; y ;... ; y n. In particular, Y 0 denotes the subspace of DH n whose elements depend only on x ; x ;... ; x n. P Now let E k denote the k th n polarization operator y i@ x k i, where k. Note that E k sends Y j into Y j+. To show this we need only verify that given any P DH n, E k P lies in DH n. Letting then Q be any diagonal invariant, we have Q ; E k P = Q ; y k x i P = x k y i Q ; P = 0 ; :5 the last equality due to the S n invariance of ( P n xk y i )Q. Since hq; E k P i = 0 for all nontrivial homogeneous diagonal invariants Q, E k P must lie in the orthogonal complement of I n in Q[x; y], hence it must lie in DH n. Let (x) denote the Vandermonde determinant Q i<jn (x j?x i ): It is easy to check that (x) is a diagonal harmonic. Now it is well known that Y 0 is the linear span of the derivatives of (x). In Section we shall review some basic properties of Y 0 (see [], or [],[7], and [6]). In particular, we recall that Y 0 aords a graded version of the regular representation of S n. We then decompose Y 0 into submodules YS 0 Y 0 S and select a basis for each. These submodules respectively have character " Sn S and " Sn S, where " Sn S denotes the trivial character of the subgroup S induced up to S n, and denotes the sign character. In Section 3 we show that Y breaks into the direct sum of the images of Y 0 S under the polarization operators E ; E ;... ; E n?. This result completes our construction of a basis for Y and provides partial proof of the Operator Conjecture [8], which asserts that Y j is spanned by polarizations E k E k E kj of derivatives of (x). By our construction method in Section 3, it follows that Y has character (n? ) " Sn S. This value agrees with that predicted by the Parking Function Conjecture, which asserts that the S n character aorded by Y j equals (n?;n?;...;0) " Sn S m0 S m S mn? :6? where = (0 m0 m... (n? ) mn? n ) is a partition of P? j with m0 selected so that i m i = n. (See [8] for further details.) In Section 4 we give a formula for the character of Y graded by degree in x. We prove that this formula equals the Y specialization of a master conjecture of Garsia and Haiman [5] which expresses the bigraded character of DH n. The author is grateful to Mark Haiman, Adriano Garsia and Nolan Wallach for fruitful discussions, and assistance with some of the proofs presented herein.. Two subspaces of the S n harmonics Let a = (a ; a ;... ; a n ) be a point of Q n with distinct coordinates, and let [a] denote the orbit of a under the ordinary permutation action of S n. Let J [a] be the ideal in Q[x ; x ;... ; x n ] of
3 polynomials which vanish on [a]. The quotient Q[x ; x ;... ; x n ]=J [a] may be viewed as the coordinate ring of the orbit [a], hence the action of S n on this ring is equivalent to the regular representation. For any ideal J Q[x], we denote by gr J the ideal generated by the homogeneous components of highest degree of each of the elements of J. Observe that if J is invariant under the action of S n, so is gr J. It is easy to show that the actions of S n on the quotients Q[x]=J and Q[x]=(gr J) induce equivalent representations. Hence the action of S n on Q[x]=(gr J [a] ) is a graded version of the regular representation of S n. It develops that the quotients Q[x]=(gr J [a] ) are equivalent as graded S n modules for every a. This is a particular case of a general result concerning groups generated by reections []. In our case this is easy to show. Note that if P is a nontrivial homogeneous symmetric polynomial then P (x)? P (a) vanishes throughout [a], so P itself must belong to the ideal gr J [a]. In particular we have the containment (p ; p ;... ; p n ) gr J [a] : where p i denotes the i th power sum symmetric function. However, it is well known [] that the quotient Q[x ; x ;... ; x n ]=(p ; p ;... ; p n )? has dimension n! and this forces equality in.. Thus in? this case all the orthogonal complements gr J [a] with respect to the scalar product in. are the same. In fact, they coincide with the space Y 0 of solutions P of the dierential k x i P = 0 (k = ; ;...; n) : : For this reason the elements of Y 0 are usually referred to as the harmonics of S n. It is easy to see that the Vandermonde determinant (x) = detkx j? i k i;j=;:::;n :3 belongs to Y 0 and thus all of its derivatives do as well. A leading term argument easily shows that the n! x n n (x) (0 i i? ) :4 are independent, and thus they must give a basis for Y 0. In symbols we may write Y 0 = L [@ x (x)] :5 where L denotes the linear span. We take note that the equality in. may also be written as Y 0? = (p ; p ;... ; p n ) : :6 We are now ready to introduce the decomposition of Y 0 into submodules YS 0 Y 0 S. The subspace YS 0 will be obtained by a construction similar to that which gave us Y 0, and Y 0 S will be constructed after we discuss some of the basic properties of YS 0. Start here with the point b = (0; 0; ; ;...; n? ) and let J [b] and gr J [b] have the same denition as before. This given, we set Y 0 S =? gr J [b]? : :7 Theorem. YS 0 is an (n!=)-dimensional subspace of Y 0 which aords a graded version of the action of S n on the two-element subsets of f; ;...; ng. That is, the character of YS 0 is " Sn S. 3
4 Proof This is a special case of a known result concerning the harmonics of S n orbits (see Bergeron and Garsia [], or Garsia and Haiman [6]). For the sake of completeness we include the proof. Note rst that since all the power sum symmetric functions must belong to gr J [b] we necessarily have (p ; p ;...; p n ) gr J [b] : :8 Taking orthogonal complements gives that YS 0 is indeed a subspace of Y 0 as asserted. The common dimension of the spaces Q[x ; x ;...; x n ]=J [b] and Q[x ; x ;... ; x n ]=(gr J [b] ) and Y 0 S =? gr J [b]? is n!= since it must be equal to the cardinality of the orbit [b]. Note further that since the initial point b has S as a stabilizer, the action of S n on both quotients Q[x ; x ;... ; x n ]=J [b] and Q[x ; x ;... ; x n ]=(gr J [b] ) must be equivalent to the action of S n on the left S cosets. The same must hold true for the orthogonal complement of gr J [b]. Thus the last assertion follows from the fact that the S coset action is the same as the action on two-element subsets. The space Y 0 S can be represented in a manner similar to.5. For r = ; ;...; n let r (x) = detkx j? i k ;...;n;i6=r j=;...;n? : :9 In other words r (x) is the Vandermonde determinant in the variables x ;... ; x r? ; x r+ ;... ; x n. For any graded space V, we denote the Hilbert series by H V (q) = P i0 qi dim(v) i, which is the generating function of the dimensions of the subspaces (V) i homogeneous of degree i. Theorem. Our graded subspace Y 0 S is the linear span of derivatives of the polynomials r (x) for r = ;... ; n. The Hilbert series of Y 0 S is given by the polynomial H Y 0 S (q) = [n? ] q! n? where [k] q denotes the q-analog P k? i=0 qi and [k] q! = [] q [] q [k] q. i q i? :0 Proof Again as in the case of Theorem. a more general result can be found in [] or [6]. We give a sketch of the proof specialized to the present case. Consider the orbit [b] n? of b under the symmetric group S [;3;...;n] acting on the nal n? coordinates of b. It is obvious that the points of [b] n? also lie in [b]. Now let J [b]n? be the ideal of polynomials which vanish on [b] n?, and let gr J [b]n? denote the ideal generated by the homogeneous components of highest degree of elements of J [b]n?. We have the immediate ideal containment gr J [b]n? gr J [b]. Lastly set H [b]n? = (gr J [b]n? )?. We have now that H [b]n? YS 0. Observe that since the last n? coordinates of [b] are distinct, H [b]n? contains the harmonics of the symmetric group S [;3...;n]. In particular, the Vandermonde determinant in the last n? variables must belong to YS 0. But this is our determinant (x). Since YS 0 is S n invariant, all the S n images of (x) must also belong to YS 0. But these are equal (up to a sign change) to the other determinants r (x). Finally since YS 0 is closed under dierentiation, we have L [@ x r (x) : r = ; ;...; n] Y 0 S : : 4
5 To convert. into an equality we shall resort to a dimension argument. To be precise, since from Theorem. we know that dim YS 0 = n!=, we need only exhibit n!= independent derivatives of the determinants r (x). It develops that the following x r? x r+ x n n r (x) 0 i i? for i r? : for r = ; 3;...; n ; 0 i i? 3 for r + i n are an instance in point. In fact, there are altogether r= n(n? ) (r? )!(r? ) (n? ) = (n? )! = n! of them and their leading monomials in the reverse lexicographic order are all distinct. This given, we can obtain the Hilbert series of YS 0 by calculating the generating function of the degrees of the polynomials in.. This computation yields the polynomial in.0 as asserted. :3 Now to construct Y 0 S we need some notation. For a given polynomial P Q[x] let ip P (x ; x ;...; x n ) = P (@ x x ;... xn ) (x) : :4 It is easy to show that ip is an automorphism of Y 0 as a vector space. This given, we set Theorem.3 The space Y 0 S The character of Y 0 S Y 0 S = ip Y 0 S : :5 is a graded S n module whose Hilbert series is given by the polynomial H Y 0 S (q) = [n? ] q! q n? n? is " Sn S. (n? i) q i? : :6 Proof From the denition.5 we derive that the Hilbert series of Y 0 S is related to that of Y 0 S by the identity H Y 0 S (q) = q (n ) HY 0 S (q? ) : :7 Carrying out this computation, using.0, yields.6 as desired. Let then f i (x)g ;;...;n!= be a homogeneous basis of YS 0 (the basis in. would do), and let A() = ka ij ()k ij be the matrix which expresses the action of a permutation on this basis. That is j (x) = n!= i (x) A ij () : :8 Since ip is a nonsingular map, the denition.5 gives that the collection f i (@ x )(x)g n!= must be a basis for Y 0 S. However, from.8 and the alternating property of the Vandermonde determinant, we derive that the action of on this basis is given by? n!=? j (@ x ) (x) = () i (@ x ) (x) A ij () : :9 5
6 Thus the character of the S n representation aorded by Y 0 S satises that char Y 0 S () = () n!= A ii () = () char Y 0 S () ; :0 and this completes our proof. We conclude this section with a proof of the basic fact that Y 0 = Y 0 S Y 0 S : : Since YS 0 and Y 0 S each have dimension n!=, it suces to show that these two subspaces are linearly independent. To achieve this end we shall need one more denition. Recall the operator ip, dened in.4, which is an automorphism of Y 0 as a vector space. This given, we dene the inverse map preip. For polynomials P and Q in Y 0 we set preip (Q) = P if and only if ip (P ) = Q : : It is clear that preip is also an automorphism of Y 0. Applying preip to our subspace Y 0 S, we observe the following inclusion. Lemma.4 preip Y 0 S Y 0 S? \ Y 0 : :3 Proof Recall our basis for YS 0 x n? r (x), we see that given in.. Observing that the element r (x) is a constant multiple f@ r? x x n? r+ x n x n (x)g :4 is another basis for YS 0, where r and i satisfy the conditions given in.. It follows that a basis for preip YS 0 is given by elements of the form x x x r? r? x r n? x r+ r+ x n n + I :5 where I is an element of the kernel of ip in Q[x]. Since the kernel of ip P n is the ideal generated by the S n invariants xk i (k > 0), it is clear that I is orthogonal to YS 0. Now x x x r? r? x n? r x r+ r+ x n n is also orthogonal to every element in YS 0, due to the computation hx x x r? r? x r n? x r+ r+ x n n ; i = hx x x r? r? x r+ r+ x n n n? x r i = 0: :6 In x n? r is identically zero, due to Theorem. and the observation that the degree of x i in s (x) is no greater than n?. In view of Lemma.4, we have that preipy 0 S and Y 0 S are orthogonal subspaces of Y 0. It is immediate that these two subspaces are linearly independent. Now applying the ip operator to 6
7 these subspaces, and recalling that ip acts isomorphically on Y 0, we have that Y 0 S and Y 0 S are linearly independent. 3. Construction of a basis for Y Our goal in this section is to show that the space Y of diagonal harmonics homogeneous of degree one in y ; y ;...; y n breaks into the direct sum of n? copies of Y 0 S. More precisely we shall show that We start with the following. Y = Mn? k= E k Y 0 S : 3: Proposition 3. Each space E k Y 0 S is a graded S n module equivalent to Y 0 S, for k = ; ;...; n?. Proof We need to show that if f Y 0 S So let YS 0 and then we can have E k f = 0 only if f = 0 in the rst place. f = (@ x ) (x) : 3: Then E k f = Now the vanishing of E k f forces the equations y k x i (@ x ) (x) : k x i (@ x ) (x) = 0 (i = ; ;...; n) : 3:4 Dierentiating n?? k times with respect to x i yields that (@ x ) i (x) = 0 (i = ; ;...; n) : 3:5 However, using Theorem. we can derive from this that, as a dierential operator, must kill all the elements of YS 0. In particular it must kill itself. But that can only happen if it is identically zero. This shows that E k maps Y 0 S nonsingularly into Y. The fact that E k Y 0 S is equivalent to Y 0 S as a graded S n module is a simple consequence of the diagonal invariance and homogeneity of E k. To show the linear independence of the summands in 3. we need the following auxiliary fact. Lemma 3. If g = y i g i E k Y 0 S 3:6 then g i is of degree less than or equal to n?? k in the variable x i, and unless g vanishes, equality must hold for at least one i. 7
8 Proof From the expression given in 3.3 we get that, for some Y 0 S, g i = (@ x k x i (x) (i = ; ;...; n) : 3:7 Since (x) is of degree n? in each of the x i we immediately deduce our rst assertion. Assume now that the x i -degree of g i is strictly less than n??k for each i. This implies that the n??k th x i -derivative of g i must be identically zero. That is (@ x ) i (x) = 0 (i = ; ;...; n) : 3:8 In other words we are back in the same situation as in our previous proof. An element YS 0 kills all of the determinants i (x) and therefore by Theorem. must kill itself. This shows that and therefore also g must vanish. Proposition 3.3 E Y 0 S ; E Y 0 S ;...; E n? Y 0 S are independent submodules of Y. Proof Let g (k) E k Y 0 S for k = ; ;...; n? and suppose that Suppose that for some k n? we have g () + g () + + g (n?) = 0 : 3:9 g () = g () = = g (k?) = 0 : 3:0 If g (k) 6= 0 then by Lemma 3. g (k) would contain a monomial divisible by y i x n??k i for some i. Since such a monomial cannot be cancelled by any of the later summands g (k+) ;...; g (n?) (by Lemma 3. again), the whole sum in 3.9 could not vanish. Thus g (k) must vanish as well and by induction all the summands must separately vanish. Q.E.D Propositions 3. and 3.3 yield that the direct sum Mn? k= E k Y 0 S Y 3: has dimension precisely (n? )n!=. Thus to establish 3. and completely identify Y as an S n module we need only establish the following dimension inequality. The proof is due N. Wallach [], who stated it in a slightly dierent form. Theorem 3.4 dim Y (n? ) n! : 3: Before we can proceed with the proof we need to make some denitions and derive two auxiliary results. To begin we let W = y i h i : h i Y 0 ; h i = 0 : 3:3 8
9 It is clear that our space Y is a subspace of W. The following result identies it. Lemma 3.5 Y = y i h i : h i Y 0 x k i h i = 0 for k = 0; ;...; n? : 3:4 Proof Note that by denition an element h of the form h = is a diagonal harmonic if and only if it satises the dierential k x i h = 0 (for all k ) and y i h i k x yi h = 0 (for all k 0) : 3:6 This establishes 3.4. Now recall the operators ip, dened in.4, and preip, dened in.. The action of ip on W is dened by setting, for P n y ih i W, ip y i h i = y i ip h i : 3:7 It is easy to show that ip is an automorphism of W as a vector space. This given, we dene the action of preip on W. For polynomials P and Q in W, we set preip(q) = P if and only if ip (P ) = Q : 3:8 It is clear that preip is also an automorphism of W. Applying preip to our subspace of Y constructed in 3., we observe the following inclusion. Lemma 3.6 preip n? M k= E k Y 0 S Y? \ W : 3:9 Proof It suces to demonstrate that the elements preip E k (@ x ) (x) are orthogonal to Y for all YS 0 and all P k f; ;...; n? g. The element preip E k (@ x ) (x) may be expressed as n the projection of y ix k i (x) onto W in the following sense: preip E k (@ x ) (x) = preip y k x i (@ x ) (x) = y i x k i (x) + I 3:0 where I is an element of the kernel of ip in Q[x; y]. Since the kernel of ip P n is the ideal generated by the S n invariants xk i (k > 0), it is clear that I is orthogonal to Y P n. Similarly since y i x k i (x) is a multiple of the diagonal invariant P n y i x k i, it too is orthogonal to Y. 9
10 In view of Lemma 3.6, we have that preip n? k= E ky 0 S and Y are orthogonal subspaces of W. Since preip acts isomorphically on W, we have that dim preip n? M k= E k Y 0 S = dim n? M k= E k Y 0 S = (n? ) n! : 3: Hence dim Y dim W? (n? )n!= : Finally we observe that dim W P n = (n?)n!. This holds true because the condition h i = 0 in the denition of W gives that dim W = (n? ) dim Y 0. From this consideration follows the inequality dim Y (n? )n!=, and Theorem 3.4 is proved. 4. The graded character of Y The equality in 3. together with Theorem.3 establishes that Y has character (n? ) " Sn S. This value agrees with that given by the Parking Function Conjecture [8], which predicts the character of each of the subspaces Y j. Our developments allow us now to construct an expression for the x-graded character of Y. Let V be a graded S n module and let (V) i denote the submodule of elements of V homogeneous of degree i. The graded character char q of V is dened by setting char q V = i0 q i char (V) i : 4: We let F denote the Frobenius (characteristic) map, which sends the irreducible representation to the Schur function s and extends homomorphically to the ring of symmetric functions [0]. It is easily seen that the Frobenius image of our ungraded character of Y is F char Y = (n? )! h (; n? ) = (n? ) e (; n? ) 4: where! denotes the fundamental involution on symmetric functions. We shall employ the -ring notation [5], a shorthand for q-analog symmetric function computations whereby: ) The alphabet x is written = x + x +..., and ) When dealing with a sum or product of alphabets, the power sum symmetric function p k [] is linear and multiplicative, i.e. p k [A + B] = p k [A] + p k [B] and p k [AB] = p k [A]p k [B]. For our purposes, we need only keep in mind the identities p k [(? q) ] = (? q k ) p k [] and p k [=(? q)] = (? q k ) p k[] 4:3 and extend homomorphically to the ring of symmetric functions Z Q(q). Theorem 4. The Frobenius image of the x-graded character of Y is given by the -ring identity F char q Y = [n? ] q! Q (; n? )[=(? q); q ] 4:4 where Q (x; q) is the Hall-Littlewood polynomial indexed by the partition. 0
11 Proof The graded character of Y 0 S is given by Bergeron and Garsia [] as char q Y 0 S = `n K;(; ~ )(q) = n? q (n? ) K ;(; n? )(q? ) ; 4:5 `n where ~K ; (q) = K ; (q? ) q n() ; 4:6 with K ; (q) denoting the Kostka-Foulkes polynomial and n() denoting the content of partition. Since ip complements degrees and conjugates the partition indexing the character, a simple computation based on 4.5 gives that char q Y 0 S = q n? `n 0 K ;(; n? )(q) : 4:7 Due to the decomposition 3., one sees immediately that char q Y = [n? ] q 0 K ;(; )(q) n? : 4:8 `n Equating Frobenius images of both sides of 4.8 gives F char q Y = [n? ] q s 0(x) K ;(; )(q) n? : 4:9 `n Since s 0 =! s we have (in -ring notation): F char q Y = [n? ] q! `n s [] K ;(; n? )(q) : 4:0 We recall from [0]* that Q (; n? )[; q] = `n s [(? q)] K ;(; n? )(q) : 4: Viewing this equation in terms of the power sum symmetric function basis fp [(? q) ] : ` ng, we apply the -ring identities from 4.3 to obtain Q (; n? )[=(? q); q] = `n s [] K ;(; n? )(q) : 4: Combining 4.0 and 4. completes our proof. Lastly we prove that our Theorem 4. conrms the Y specialization of a master conjecture of Garsia and Haiman. Their conjecture gives an expression for the Frobenius image of the bigraded character char q;t DH n = q i t j (DH n ) i;j 4:3 i;j0 * Although -ring notation is not used in [0], it is easy to translate Macdonald's equations (III.4.) and (III.4.7) to see that his S (x; q) equals our s [(? q)].
12 where (DH n ) i;j denotes the component of DH n homogeneous of degree i in variables x and degree j in y. To introduce the conjecture we shall need some notation. Let be a partition of n depicted in the French convention, i.e. justied along the west and south. Given any cell s in, we denote by l; l 0 ; a; and a 0 the parameters leg, coleg, arm, and coarm of the given cell, which are respectively the number of cells strictly north, south, east, and west of s in. This given, we set the following statistics of our partition. n() = s l 0 ~ h (q; t) = Y s (q a? t l+ ) n( 0 ) = s a 0 ~ h 0 (q; t) = Y s (t l? q a+ ) 4:4 B (q; t) = s q a0 t l0 (q; t) = Y s0;0 (? q a 0 t l0 ) where the product 0;0 is taken over all s in except the southwestern corner cell. Finally let ~ H (x; q; t) denote the Macdonald polynomials* (see [5], and also [4],[9]). We are ready to state the conjecture of Garsia and Haiman [5]. Conjecture 4. The Frobenius image of the x; y-bigraded character of DH n is given by F char q;t DH n = `n ~H (x; q; t) t n() q n(0 ) (? t) (? q) (q; t) B (q; t) ~h (q; t) ~ h 0 (q; t) : 4:5 To specialize this conjecture to Y, we examine the component of the right hand side of 4.5 linear in t. The summand corresponding to a given must be a multiple of t n(), since the denominator term ~ h (q; t) ~ h 0 (q; t) cannot be a multiple of t. Hence it suces to restrict our sum to partitions (n) and (n? ; ). We obtain ~H (n) (x; q; t) q (n ) Q n? (qi? t) + ~ H (n?;) (x; q; t) t q (n? ) (t + P n? i=0 qi ) (q n?? t ) (t? q n? ) Q n?3 (qi? t) 4:6 which equals ~H (n) (x; q; t) Q n? (? t q i )? P t n? ~H (n?;) (x; q; t) t ( q + n? (? t q ) (? n? q i ) t q n? ) Q n?3 (? t q i ) : 4:7 Applying the formal series expansion =(? u) = P j0 uj we see that the component of 4.7 linear in t equals that of n? ~H (n) (x; q; t) + t = ~ H (n) (x; q; t) + t n? q i q?i? ~ H(n?;) (x; q; t) t n? q i ~H (n) (x; q; t)? ~ H (n?;) (x; q; t) * Our notation ~ H (x; q; t) for the Macdonald polynomial follows that of [5]. Take note that the same object is denoted by H (; t; q) in [4]. : 4:8
13 Now it is known [4] that ~H (x; q; t)j t=0 = q n(0 ) `n s (x) K ; 0(q? ) : 4:9 In particular, we have the identities ~H (n) (x; q; t) = q (n ) `n s (x) K ;( n ) (q? ) ~H (n?;) (x; q; t)j t=0 = q (n? ) s (x) K ;(; n? )(q? ) : `n 4:0 The righthand sides of the equations in 4.0 equal F char q Y 0 and F char q Y 0 S by [], so it follows from. and.5 that ~H (n) (x; q; t)? ~ H (n?;) (x; q; t)j t=0 = F char q Y 0 S = q n? `n s 0(x) K ;(; n? )(q) : 4: We now have that the t term in 4.8 equals [n? ] q s 0(x) K ;(; )(q) n? ; 4: `n so this is the Frobenius image of the x-graded character of Y conjectured by 4.5. But this conjecture is immediately conrmed by equation References [] E. Artin, Galois Theory (University of Notre Dame, 944). [] N. Bergeron and A. Garsia, On certain spaces of harmonic polynomials, Contemporary Math. 38 (99) [3] R. Ehrenborg and G.-C. Rota, Apolarity and canonical forms for homogeneous polynomials, Europ. J. Combinatorics 4 (993) [4] A. Garsia and M. Haiman, A graded representation model for Macdonald's polynomials, Proc. Natl. Acad. Sci. USA 90 (993) [5] A. Garsia and M. Haiman, A remarkable q,t-catalan sequence and q-lagrange inversion, J. Alg. Combinatorics, to appear. [6] A. Garsia and M. Haiman, Orbit harmonics and graded representations, in: S. Brlek, ed., Publications du Lab. de Combinatoire et d'informatique Mathematique (Univ. du Quebec a Montreal), to appear. [7] A. Garsia and C. Procesi, On certain graded S n -modules and the q-kostka polynomials, Adv. Math. 94 (99) [8] M. Haiman, Conjectures on the quotient ring by diagonal invariants, J. Alg. Combinatorics 3 (994) [9] I.G. Macdonald, A new class of symmetric functions, Actes du 0 e Seminaire Lotharingien, Publ. I.R.M.A. Strasbourg 37/S-0 (988)
14 [0] I.G. Macdonald, Symmetric Functions and Hall Polynomials, second edition (Clarendon, Oxford, 995). [] R. Steinberg, Dierential equations invariant under nite reection groups, Trans. Amer. Math. Soc. (964) [] N. Wallach, personal communication, 99. [3] H. Weyl, The Classical Groups, Their Invariants and Representations, second edition (Princeton University, 946). 4
q-alg/ Mar 96
Integrality of Two Variable Kostka Functions Friedrich Knop* Department of Mathematics, Rutgers University, New Brunswick NJ 08903, USA knop@math.rutgers.edu 1. Introduction q-alg/9603027 29 Mar 96 Macdonald
More information(for k n and p 1,p 2,...,p k 1) I.1. x p1. x p2. i 1. i k. i 2 x p k. m p [X n ] I.2
October 2, 2002 1 Qsym over Sym is free by A. M. Garsia and N. Wallach Astract We study here the ring QS n of Quasi-Symmetric Functions in the variables x 1,x 2,...,x n. F. Bergeron and C. Reutenauer [4]
More informationA RELATION BETWEEN SCHUR P AND S. S. Leidwanger. Universite de Caen, CAEN. cedex FRANCE. March 24, 1997
A RELATION BETWEEN SCHUR P AND S FUNCTIONS S. Leidwanger Departement de Mathematiques, Universite de Caen, 0 CAEN cedex FRANCE March, 997 Abstract We dene a dierential operator of innite order which sends
More informationA proof of the Square Paths Conjecture
A proof of the Square Paths Conjecture Emily Sergel Leven October 7, 08 arxiv:60.069v [math.co] Jan 06 Abstract The modified Macdonald polynomials, introduced by Garsia and Haiman (996), have many astounding
More informationON AN INFINITE-DIMENSIONAL GROUP OVER A FINITE FIELD. A. M. Vershik, S. V. Kerov
ON AN INFINITE-DIMENSIONAL GROUP OVER A FINITE FIELD A. M. Vershik, S. V. Kerov Introduction. The asymptotic representation theory studies the behavior of representations of large classical groups and
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 informationSCIENCE FICTION. Text Text Text Text Text Text Text Text Text Text Text
SCIENCE FICTION 208 PRELIMINARIES Let X n = {x,...,x n } and Y n = {y,...,y n }. we define the scalar product For hp,qi = P (@ x ; @ y )Q(x; y) For P (x; y),q(x; y) 2 Q[X n ; Y n ] x,y=0 2 S n, and P (x;
More informationA proof of the Square Paths Conjecture
A proof of the Square Paths Conjecture Emily Sergel Leven arxiv:60.069v [math.co] Mar 06 March, 06 Abstract The modified Macdonald polynomials, introduced by Garsia and Haiman (996), have many astounding
More informationThe (q, t)-catalan Numbers and the Space of Diagonal Harmonics. James Haglund. University of Pennsylvania
The (q, t)-catalan Numbers and the Space of Diagonal Harmonics James Haglund University of Pennsylvania Outline Intro to q-analogues inv and maj q-catalan Numbers MacMahon s q-analogue The Carlitz-Riordan
More informationA New Recursion in the Theory of Macdonald Polynomials
A. Garsia and J. Haglund A new recursion in the Theory of Macdonald Polynomials September 3, 2009 1 A New Recursion in the Theory of Macdonald Polynomials by A. M. Garsia and J. Haglund Abstract. The bigraded
More informationABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n
ABSTRACT Title of Thesis: GRÖBNER BASES WITH APPLICATIONS IN GRAPH THEORY Degree candidate: Angela M. Hennessy Degree and year: Master of Arts, 2006 Thesis directed by: Professor Lawrence C. Washington
More informationA Proof of the q, t-square Conjecture
Formal Power Series and Algebraic Combinatorics Séries Formelles et Combinatoire Algébrique San Diego, California 2006 A Proof of the q, t-square Conjecture Mahir Can and Nicholas Loehr Abstract. We prove
More informationAn injection from standard fillings to parking functions
FPSAC 202, Nagoya, Japan DMTCS proc. AR, 202, 703 74 An injection from standard fillings to parking functions Elizabeth Niese Department of Mathematics, Marshall University, Huntington, WV 25755 Abstract.
More informationNON-SYMMETRIC HALL LITTLEWOOD POLYNOMIALS
Séminaire Lotharingien de Combinatoire 54 (2006, Article B54Ar NON-SYMMETRIC HALL LITTLEWOOD POLYNOMIALS FRANÇOIS DESCOUENS AND ALAIN LASCOUX À Adriano Garsia, en toute amitié Abstract. Using the action
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 informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
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 informationIn honor of Manfred Schocker ( ). The authors would also like to acknowledge the contributions that he made to this paper.
ON THE S n -MODULE STRUCTURE OF THE NONCOMMUTATIVE HARMONICS. EMMANUEL BRIAND, MERCEDES ROSAS, MIKE ZABROCKI Abstract. Using the a noncommutative version of Chevalley s theorem due to Bergeron, Reutenauer,
More information294 Meinolf Geck In 1992, Lusztig [16] addressed this problem in the framework of his theory of character sheaves and its application to Kawanaka's th
Doc. Math. J. DMV 293 On the Average Values of the Irreducible Characters of Finite Groups of Lie Type on Geometric Unipotent Classes Meinolf Geck Received: August 16, 1996 Communicated by Wolfgang Soergel
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics GROUP ACTIONS ON POLYNOMIAL AND POWER SERIES RINGS Peter Symonds Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 GROUP ACTIONS ON POLYNOMIAL
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 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 informationYOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP
YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction
More informationAdjoint Representations of the Symmetric Group
Adjoint Representations of the Symmetric Group Mahir Bilen Can 1 and Miles Jones 2 1 mahirbilencan@gmail.com 2 mej016@ucsd.edu Abstract We study the restriction to the symmetric group, S n of the adjoint
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
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 informationEQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms
EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be
More informationTC10 / 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
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 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 informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationPlethystic Formulas 2 and h (q; t) (? q a(s) t l(s)+ ) ; h (q; t)? q s2 s2( a(s)+ t l(s) ) : I: Macdonald sets J (x; q; t) h (q; t) P (x; q; t) h (q;
Plethystic Formulas Plethystic Formulas for Macdonald q; t-kostka Coecients A. M. Garsia y and G. Tesler yy ABSTRACT. This work is concerned with the Macdonald q; t-analogue of the Kostka matrix. This
More informationarxiv: v1 [math.rt] 5 Aug 2016
AN ALGEBRAIC FORMULA FOR THE KOSTKA-FOULKES POLYNOMIALS arxiv:1608.01775v1 [math.rt] 5 Aug 2016 TIMOTHEE W. BRYAN, NAIHUAN JING Abstract. An algebraic formula for the Kostka-Foukles polynomials is given
More informationq-alg/ v2 15 Sep 1997
DOMINO TABLEAUX, SCH UTZENBERGER INVOLUTION, AND THE SYMMETRIC GROUP ACTION ARKADY BERENSTEIN Department of Mathematics, Cornell University Ithaca, NY 14853, U.S.A. q-alg/9709010 v 15 Sep 1997 ANATOL N.
More informationTHE LARGEST INTERSECTION LATTICE OF A CHRISTOS A. ATHANASIADIS. Abstract. We prove a conjecture of Bayer and Brandt [J. Alg. Combin.
THE LARGEST INTERSECTION LATTICE OF A DISCRIMINANTAL ARRANGEMENT CHRISTOS A. ATHANASIADIS Abstract. We prove a conjecture of Bayer and Brandt [J. Alg. Combin. 6 (1997), 229{246] about the \largest" intersection
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationSince 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
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationFROM PARKING FUNCTIONS TO GELFAND PAIRS
FROM PARKING FUNCTIONS TO GELFAND PAIRS KÜRŞAT AKER, MAHİR BİLEN CAN Abstract. A pair (G, K) of a group and its subgroup is called a Gelfand pair if the induced trivial representation of K on G is multiplicity
More informationWeeks 6 and 7. November 24, 2013
Weeks 6 and 7 November 4, 03 We start by calculating the irreducible representation of S 4 over C. S 4 has 5 congruency classes: {, (, ), (,, 3), (, )(3, 4), (,, 3, 4)}, so we have 5 irreducible representations.
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationPolynomial and Inverse Forms
Contemporary Mathematics Polynomial and Inverse Forms D. S. Passman Abstract. In a recent paper, this author studied invariant ideals in abelian group algebras under the action of certain infinite, locally
More informationVector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)
Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational
More informationSymplectic representation theory and the Weyl algebra in positive characteristic
Symplectic representation theory and the Weyl algebra in positive characteristic SPUR Final Paper, Summer 2016 Joseph Zurier Mentor: Augustus Lonergan Project Suggested by Roman Bezrukavnikov 3 August
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
More informationarxiv: v1 [math.rt] 11 Jun 2012
arxiv:1206.2358v1 [math.rt] 11 Jun 2012 Invariant theoretic characterization of subdiscriminants of matrices M. Domokos Rényi Institute of Mathematics, Hungarian Academy of Sciences, 1053 Budapest, Reáltanoda
More informationA combinatorial approach to the q, t-symmetry relation in Macdonald polynomials
A combinatorial approach to the q, t-symmetry relation in Macdonald polynomials Maria Monks Gillespie Department of Mathematics University of California, Berkeley Berkeley, CA, U.S.A. monks@math.berkeley.edu
More informationOn an algebra related to orbit-counting. Peter J. Cameron. Queen Mary and Westeld College. London E1 4NS U.K. Abstract
On an algebra related to orbit-counting Peter J. Cameron School of Mathematical Sciences Queen Mary and Westeld College London E1 4NS U.K. Abstract With any permutation group G on an innite set is associated
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 information1. Introduction
Séminaire Lotharingien de Combinatoire 49 (2002), Article B49a AVOIDING 2-LETTER SIGNED PATTERNS T. MANSOUR A AND J. WEST B A LaBRI (UMR 5800), Université Bordeaux, 35 cours de la Libération, 33405 Talence
More informationPARKING FUNCTIONS. Richard P. Stanley Department of Mathematics M.I.T Cambridge, MA
PARKING FUNCTIONS Richard P. Stanley Department of Mathematics M.I.T. -75 Cambridge, MA 09 rstan@math.mit.edu http://www-math.mit.edu/~rstan Transparencies available at: http://www-math.mit.edu/~rstan/trans.html
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationA PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS. Thomas J. Enright, Markus Hunziker and Nolan R. Wallach
A PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS Thomas J. Enright, Markus Hunziker and Nolan R. Wallach Abstract. Let (G, K) be a Hermitian symmetric pair and let g and k denote the corresponding complexified
More informationMAIN THEOREM OF GALOIS THEORY
MAIN THEOREM OF GALOIS THEORY Theorem 1. [Main Theorem] Let L/K be a finite Galois extension. and (1) The group G = Gal(L/K) is a group of order [L : K]. (2) The maps defined by and f : {subgroups of G}!
More informationON 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,
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 informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Hypersymmetries of Extremal Equations D.P. Zhelobenko Vienna, Preprint ESI 391 (1996) October
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationArithmetic Progressions with Constant Weight
Arithmetic Progressions with Constant Weight Raphael Yuster Department of Mathematics University of Haifa-ORANIM Tivon 36006, Israel e-mail: raphy@oranim.macam98.ac.il Abstract Let k n be two positive
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationTHE LIE ALGEBRA sl(2) AND ITS REPRESENTATIONS
An Şt Univ Ovidius Constanţa Vol 11(1), 003, 55 6 THE LIE ALGEBRA sl() AND ITS REPRESENTATIONS Camelia Ciobanu To Professor Silviu Sburlan, at his 60 s anniversary Abstract In this paper we present same
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 informationKilling Vector Fields of Constant Length on Riemannian Normal Homogeneous Spaces
Killing Vector Fields of Constant Length on Riemannian Normal Homogeneous Spaces Ming Xu & Joseph A. Wolf Abstract Killing vector fields of constant length correspond to isometries of constant displacement.
More informationThe Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras
The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple
More information2 ERIC M. FRIEDLANDER AND ANDREI SUSLIN our functor category is closely related to the category of modules over classical Schur algebras as shown in s
COHOMOLOGY OF FINITE GROUP SCHEMES OVER A FIELD Eric M. Friedlander and Andrei Suslin A nite group scheme G over a eld k is equivalent to its coordinate algebra, a nite dimensional commutative Hopf algebra
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 2.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined
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 information2 PAUL C. ROBERTS (3) If R and S are polynomial rings k[x 1 ; : : : ; x n ] and k[y 1 ; : : : ; y m ], where the x i and y j have degree one, then R#S
LOCAL COHOMOLOGY OF SEGRE PRODUCT TYPE RINGS PAUL C. ROBERTS Dedicated to Hans-Bjrn Foxby on the occasion of his 65th Birthday 1. Introduction The aim of this paper is to investigate properties of the
More informationDemushkin s Theorem in Codimension One
Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und
More informationCommuting nilpotent matrices and pairs of partitions
Commuting nilpotent matrices and pairs of partitions Roberta Basili Algebraic Combinatorics Meets Inverse Systems Montréal, January 19-21, 2007 We will explain some results on commuting n n matrices and
More informationBalanced Labellings and Schubert Polynomials. Sergey Fomin. Curtis Greene. Victor Reiner. Mark Shimozono. October 11, 1995.
Balanced Labellings and Schubert Polynomials Sergey Fomin Curtis Greene Victor Reiner Mark Shimozono October 11, 1995 Abstract We study balanced labellings of diagrams representing the inversions in a
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
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 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 informationLifting to non-integral idempotents
Journal of Pure and Applied Algebra 162 (2001) 359 366 www.elsevier.com/locate/jpaa Lifting to non-integral idempotents Georey R. Robinson School of Mathematics and Statistics, University of Birmingham,
More informationTHREE GENERALIZATIONS OF WEYL'S DENOMINATOR FORMULA. Todd Simpson Tred Avon Circle, Easton, MD 21601, USA.
THREE GENERALIZATIONS OF WEYL'S DENOMINATOR FORMULA Todd Simpson 7661 Tred Avon Circle, Easton, MD 1601, USA todo@ora.nobis.com Submitted: July 8, 1995; Accepted: March 15, 1996 Abstract. We give combinatorial
More informationCanonical systems of basic invariants for unitary reflection groups
Canonical systems of basic invariants for unitary reflection groups Norihiro Nakashima, Hiroaki Terao and Shuhei Tsujie Abstract It has been known that there exists a canonical system for every finite
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 information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More information1. Preliminaries. Given an m-dimensional differentiable manifold M, we denote by V(M) the space of complex-valued vector fields on M, by A(M)
Tohoku Math. Journ. Vol. 18, No. 4, 1966 COMPLEX-VALUED DIFFERENTIAL FORMS ON NORMAL CONTACT RIEMANNIAN MANIFOLDS TAMEHIRO FUJITANI (Received April 4, 1966) (Revised August 2, 1966) Introduction. Almost
More informationPartitions, rooks, and symmetric functions in noncommuting variables
Partitions, rooks, and symmetric functions in noncommuting variables Mahir Bilen Can Department of Mathematics, Tulane University New Orleans, LA 70118, USA, mcan@tulane.edu and Bruce E. Sagan Department
More informationREPRESENTATION 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
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
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 informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationSergey Fomin* and. Minneapolis, MN We consider the partial order on partitions of integers dened by removal of
Rim Hook Lattices Sergey Fomin* Department of Mathematics, Massachusetts Institute of Technology Cambridge, MA 02139 Theory of Algorithms Laboratory St. Petersburg Institute of Informatics Russian Academy
More informationRational Catalan Combinatorics: Intro
Rational Catalan Combinatorics: Intro Vic Reiner Univ. of Minnesota reiner@math.umn.edu AIM workshop Dec. 17-21, 2012 Goals of the workshop 1 Reinforce existing connections and forge new connections between
More informationOn the classication of algebras
Technische Universität Carolo-Wilhelmina Braunschweig Institut Computational Mathematics On the classication of algebras Morten Wesche September 19, 2016 Introduction Higman (1950) published the papers
More information. HILBERT POLYNOMIALS
CLASSICAL ALGEBRAIC GEOMETRY Daniel Plaumann Universität Konstan Summer HILBERT POLYNOMIALS T An ane variety V A n with vanishing ideal I(V) K[,, n ] is completely determined by its coordinate ring A(V)
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More informationUnipotent Brauer character values of GL(n, F q ) and the forgotten basis of the Hall algebra
Unipotent Brauer character values of GL(n, F q ) and the forgotten basis of the Hall algebra Jonathan Brundan Abstract We give a formula for the values of irreducible unipotent p-modular Brauer characters
More information