Plethysm and Kronecker Products
|
|
- Osborn Johns
- 5 years ago
- Views:
Transcription
1 Plethysm and Kronecker Products p. 1 Plethysm and Kronecker Products Richard P. Stanley University of Miami and M.I.T.
2 Plethysm and Kronecker Products p. 2 Intended audience Talk aimed at those with a general knowledge of symmetric functions but no specialized knowledge of plethysm and Kronecker product.
3 Plethysm and Kronecker Products p. 3 Introduction plethysm and Kronecker product: the two most important operations in the theory of symmetric functions that are not understood combinatorially Plethysm due to D. E. Littlewood Internal product of symmetric functions: the symmetric function operation corresponding to Kronecker product, due to J. H. Redfield and D. E. Littlewood We will give a survey of their history and basic properties.
4 Plethysm and Kronecker Products p. 4 Dudley Ernest Littlewood 7 September October 1979 tutor at Trinity College: J. E. Littlewood (no relation) : chair of mathematics at University College of North Wales, Bangor
5 Plethysm and Kronecker Products p. 5
6 Plethysm and Kronecker Products p. 6 Plethysm introduced by D. E. Littlewood in 1936 name suggested by M. L. Clark in 1944 after Greek plethysmos (πληθυσµóς) for multiplication
7 Plethysm and Kronecker Products p. 7 Polynomial representations V, W : finite-dimensional vector spaces/c polynomial representation ϕ: GL(V) GL(W)(example) : [ ] a 2 2ab b 2 a b ϕ = ac ad+bc bd. c d c 2 2cd d 2
8 Plethysm and Kronecker Products p. 8 Definition of plethysm V, W, X: vector spaces/c of dimensions m, n, p ϕ: GL(V) GL(W): polynomial representation with character f Λ n, so trϕ(a) = f(x 1,...,x m ) if A has eigenvalues x 1,...,x m ψ: GL(W) GL(X): polynomial representation with character g Λ m
9 Plethysm and Kronecker Products p. 8 Definition of plethysm V, W, X: vector spaces/c of dimensions m, n, p ϕ: GL(V) GL(W): polynomial representation with character f Λ n, so trϕ(a) = f(x 1,...,x m ) if A has eigenvalues x 1,...,x m ψ: GL(W) GL(X): polynomial representation with character g Λ m ψϕ: GL(V) GL(X) is a polynomial representation. Let g[f] (or g f) denote its character, the plethysm of f and g.
10 Plethysm and Kronecker Products p. 8 Definition of plethysm V, W, X: vector spaces/c of dimensions m, n, p ϕ: GL(V) GL(W): polynomial representation with character f Λ n, so trϕ(a) = f(x 1,...,x m ) if A has eigenvalues x 1,...,x m ψ: GL(W) GL(X): polynomial representation with character g Λ m ψϕ: GL(V) GL(X) is a polynomial representation. Let g[f] (or g f) denote its character, the plethysm of f and g. if f = u I u (I = set of monomials) then g[f] = g(u: u I).
11 Plethysm and Kronecker Products p. 9 Extension of defintions Can extend definition of g[f] to any symmetric functions f, g using f[p n ] = p n [f] = f(x n 1,x n 2,...) (af +bg)[h] = af[h]+bg[h], a,b Q (fg)[h] = f[h] g[h], where p n = x n 1 +xn 2 +.
12 Plethysm and Kronecker Products p. 10 Examples Note. Can let m,n and define g[f] in infinitely many variables x 1,x 2,... (stabilization). h 2 = i j x ix j, so f[h 2 ] = f(x 2 1,x 1 x 2,x 1 x 3,...).
13 Plethysm and Kronecker Products p. 10 Examples Note. Can let m,n and define g[f] in infinitely many variables x 1,x 2,... (stabilization). h 2 = i j x ix j, so f[h 2 ] = f(x 2 1,x 1 x 2,x 1 x 3,...). By RSK, (1 x i x j ) 1 = s 2λ. Since i j λ (1 x i ) 1 = 1+h 1 +h 2 +, we get i h n [h 2 ] = λ n s 2λ, i.e., the character of S n (S 2 V).
14 Plethysm and Kronecker Products p. 11 Schur positivity ϕ: GL(V) GL(W): polynomial representation with character f Λ n ψ: GL(W) GL(X): polynomial representation with character g Λ m g[f]: character of ψ ϕ
15 Plethysm and Kronecker Products p. 11 Schur positivity ϕ: GL(V) GL(W): polynomial representation with character f Λ n ψ: GL(W) GL(X): polynomial representation with character g Λ m g[f]: character of ψ ϕ Theorem. If f,g are any Schur-positive symmetric functions, then g[f] is Schur-positive.
16 Plethysm and Kronecker Products p. 11 Schur positivity ϕ: GL(V) GL(W): polynomial representation with character f Λ n ψ: GL(W) GL(X): polynomial representation with character g Λ m g[f]: character of ψ ϕ Theorem. If f,g are any Schur-positive symmetric functions, then g[f] is Schur-positive. No combinatorial proof known, even for f = h m, g = h n.
17 Plethysm and Kronecker Products p. 12 Schur-Weyl duality for plethysm N(S m k ): normalizer of Sm k in S km, the wreath product S k S m, or order k! m m! ch(ψ): the Frobenius characteristic of the class function ψ of S n, i.e., ch(ψ) = λ n ψ,χ λ s λ.
18 Plethysm and Kronecker Products p. 12 Schur-Weyl duality for plethysm N(S m k ): normalizer of Sm k in S km, the wreath product S k S m, or order k! m m! ch(ψ): the Frobenius characteristic of the class function ψ of S n, i.e., ch(ψ) = λ n ψ,χ λ s λ. Theorem (Specht). Special case: ( ) ch 1 S km N(S m k ) = h m [h k ]
19 Plethysm and Kronecker Products p. 13 Main open problem Find a combinatorial interpretation of s λ [s µ ],s ν, especially the case h m [h n ],s ν. E.g., h 2 [h n ] = n/2 k=0 s 2(n k),2k. h 3 [h n ] known, but quickly gets more complicated.
20 Plethysm and Kronecker Products p. 14 Plethystic inverses Note p 1 = s 1 = x i and g[s 1 ] = s 1 [g] = g. We say that f and g are plethystic inverses, denoted f = g [ 1], if f[g] = g[f] = s 1. Note. f[g] = s 1 g[f] = s 1.
21 Plethysm and Kronecker Products p. 15 Lyndon symmetric function L n C n : cyclic subgroup of S n generated by (1,2,...,n) ζ: character of C n defined by ζ(1,2,...,n) = e 2πi/n Lyndon symmetric function: L n = 1 n d n µ(d)p n/d d = chind S n C n e 2πi/n
22 Plethysm and Kronecker Products p. 16 Cadogan s theorem f = e 1 e 2 +e 3 e 4 + g = L 1 +L 2 +L 3 + Theorem (Cadogan, 1971). g = f [ 1]
23 Plethysm and Kronecker Products p. 17 Lyndon basis Extend L n to a basis {L λ } for the ring Λ of symmetric functions: Let m,k 1, and k m = (k,k,...,k) (m times). Define L km = h m [L k ] L 1 m 1,2 m 2,... = L 1 m 1 L 2 m 2. Equivalently, for fixed m, k 0 L km t k = exp n 1 1 n L n(p i p mi )t i.
24 Plethysm and Kronecker Products p. 18 Cycle type Fix n 1. Let S [n 1]. F S : Gessel fundamental quasisymmetric function Example. n = 6,S = {1,3,4}: F S = x i1 x i6. 1 i 1 <i 2 i 3 <i 4 <i 5 i 6 Theorem (Gessel-Reutenauer, 1993). We have F D(w) = L λ. w S n type(w)=λ
25 Plethysm and Kronecker Products p. 19 An example Example. λ = (2,2): w D(w) , ,2,3
26 Plethysm and Kronecker Products p. 19 An example Example. λ = (2,2): w D(w) , ,2,3 L (2,2) = s (2,2) +s (1,1,1,1) = (F 1,3 +F 2 )+F 1,2,3
27 Plethysm and Kronecker Products p. 20 Free Lie algebras A: the alphabet x 1,...,x n C A : free associative algebra over C generated by A L[A]: smallest subalgebra of C A containing x 1,...,x n and closed under the Lie bracket [u,v] = uv vu (free Lie algebra)
28 Plethysm and Kronecker Products p. 21 Lie n Lie n : multilinear subspace of C A (degree one in each x i ) basis: [x 1,[x w(2),[x w(3),[ ] ]], w S [2,n] dimlie n = (n 1)!
29 Plethysm and Kronecker Products p. 21 Lie n Lie n : multilinear subspace of C A (degree one in each x i ) basis: [x 1,[x w(2),[x w(3),[ ] ]], w S [2,n] dimlie n = (n 1)! Theorem (Brandt, 1944). Action of S n on Lie n has Frobenius characteristic L n.
30 Plethysm and Kronecker Products p. 21 Lie n Lie n : multilinear subspace of C A (degree one in each x i ) basis: [x 1,[x w(2),[x w(3),[ ] ]], w S [2,n] dimlie n = (n 1)! Theorem (Brandt, 1944). Action of S n on Lie n has Frobenius characteristic L n. Note. Can be extended to L λ (decomposition of C A )
31 Plethysm and Kronecker Products p. 22 Partition lattices Π n : poset (lattice) of partitions of {1,...,n}, ordered by refinement Π n : Π n {ˆ0,ˆ1} (Π n ): set of chains of Π n (a simplicial complex) H i (Π n ): ith reduced homology group of (Π n ), say over C
32 Plethysm and Kronecker Products p. 23 Homology ands n -action Theorem. (a) H i (Π n ) = 0 unless i = n 3, and dim H n 3 (Π n ) = (n 1)!. (b) Action of S n on H n 3 (Π n ) has Frobenius characteristic ωl n.
33 Plethysm and Kronecker Products p. 24 Lower truncations of Π n Π n (r): top r levels of Π n
34 Plethysm and Kronecker Products p. 24 Lower truncations of Π n Π n (r): top r levels of Π n Π = Π (2) 4 4 Π (1) 4
35 Plethysm and Kronecker Products p. 25 S n -action on lower truncations Theorem (Sundaram, 1994) The Frobenius characteristic of the action of S n on the top homology of Π n (r) is the degree n term in the plethysm (ω(l r+1 L r + +( 1) r L 1 ))[h 1 + +h n ].
36 Plethysm and Kronecker Products p. 26
37 Plethysm and Kronecker Products p. 27 Tensor product of characters χ,ψ: characters (or any class functions) of S n χ ψ (or χψ): tensor (or Kronecker) product of χ and ψ, i.e., (χ ψ)(w) = χ(w)ψ(w).
38 Tensor product of characters χ,ψ: characters (or any class functions) of S n χ ψ (or χψ): tensor (or Kronecker) product of χ and ψ, i.e., (χ ψ)(w) = χ(w)ψ(w). f: S n GL(V): representation with character χ g: S n GL(W): representation with character ψ χ ψ is the character of the representation f g: S n GL(V W) given by (f g)(w) = f(w) g(w). Plethysm and Kronecker Products p. 27
39 Plethysm and Kronecker Products p. 28 Kronecker coefficients Let λ,µ,ν n. g λµν = χ λ χ µ,χ ν = 1 χ λ (w)χ µ (w)χ ν (w) n! w S n
40 Plethysm and Kronecker Products p. 28 Kronecker coefficients Let λ,µ,ν n. g λµν = χ λ χ µ,χ ν = 1 χ λ (w)χ µ (w)χ ν (w) n! w S n Consequences: g λµν N = {0,1,...} g λµν is symmetric in λ, µ, ν.
41 Plethysm and Kronecker Products p. 29 Internal product Recall for λ,µ,ν n, g λµν = χ λ χ µ,χ ν. Define the internal product s λ s µ by s λ s µ,s ν = g λµν. Extend to any symmetric functions by bilinearity.
42 Plethysm and Kronecker Products p. 30 Tidbits (a) s λ s n = s λ, s λ s 1n = ωs λ
43 Plethysm and Kronecker Products p. 30 Tidbits (a) s λ s n = s λ, s λ s 1n = ωs λ (b) Conjecture (Saxl, 2012). Let δ n = (n 1,n 2,...,1) and λ ( n 2). Then s δn s δn,s λ > 0.
44 Plethysm and Kronecker Products p. 30 Tidbits (a) s λ s n = s λ, s λ s 1n = ωs λ (b) Conjecture (Saxl, 2012). Let δ n = (n 1,n 2,...,1) and λ ( n 2). Then s δn s δn,s λ > 0. (d) λ,µ,ν n g2 λµν = µ n z µ. Hence max logg λµν n λ,µ,ν n 2 logn. What λ,µ,ν achieve the maximum?
45 Plethysm and Kronecker Products p. 31 Generating function Theorem (Schur). i,j,k(1 x i y j z k ) 1 = λ,µ,ν g λµν s λ (x)s µ (y)s ν (z).
46 Plethysm and Kronecker Products p. 31 Generating function Theorem (Schur). i,j,k(1 x i y j z k ) 1 = λ,µ,ν g λµν s λ (x)s µ (y)s ν (z). Equivalent formulation: Write xy for the alphabet {x i y j } i,j 1. Thus f(xy) = f[s 1 (x)s 1 (y)]. Then f,g h = f(xy),g(x)h(y).
47 Plethysm and Kronecker Products p. 31 Generating function Theorem (Schur). i,j,k(1 x i y j z k ) 1 = λ,µ,ν g λµν s λ (x)s µ (y)s ν (z). Equivalent formulation: Write xy for the alphabet {x i y j } i,j 1. Thus f(xy) = f[s 1 (x)s 1 (y)]. Then f,g h = f(xy),g(x)h(y). What if we replace s 1 by s n, for instance?
48 Plethysm and Kronecker Products p. 32 Vanishing Vanishing of g λµν not well-understood. Sample result: Theorem (Dvir, 1993). Fix µ, ν n. Then max{l(λ) : g λµν 0} = µ ν (intersection of diagrams).
49 Plethysm and Kronecker Products p. 33 Example of Dvir s theorem s 41 s 32 = s 41 +s 32 +s 311 +s 221. Intersection of (4,1) and (3,2) = (2,2,1):
50 Plethysm and Kronecker Products p. 34 Combinatorial interpretation A central open problem: find a combinatorial interpretation of g λµν.
51 Plethysm and Kronecker Products p. 34 Combinatorial interpretation A central open problem: find a combinatorial interpretation of g λµν. Example. Let λ n. Then s j,1 n j s k,1 n k,s λ is the number of (u,v,w) S 3 n such that uvw = 1, D(u) = {j}, D(v) = {k}, and if w is inserted into λ from right to left and from bottom to top, then a standard Young tableau results.
52 Plethysm and Kronecker Products p. 35 Conjugation action S n acts on itself by conjugation, i.e., w u = w 1 uw. The Frobenius characteristic of this action is K n := λ n (s λ s λ ) = µ n p µ.
53 Plethysm and Kronecker Products p. 35 Conjugation action S n acts on itself by conjugation, i.e., w u = w 1 uw. The Frobenius characteristic of this action is K n := λ n (s λ s λ ) = µ n p µ. Combinatorial interpretation of K n,s ν not known. All known proofs that K n is Schur-positive use representation theory.
54 Plethysm and Kronecker Products p. 36 Stability Example. For n 8, s n 2,2 s n 2,2 = s n +s n 3,1,1,1 +2s n 2,2 +s n 1,1 +s n 2,1,1 +2s n 3,2,1 +s n 4,2,2 +s n 3,3 +s n 4,3,1 +s n 4,4.
55 Plethysm and Kronecker Products p. 36 Stability Example. For n 8, s n 2,2 s n 2,2 = s n +s n 3,1,1,1 +2s n 2,2 +s n 1,1 +s n 2,1,1 +2s n 3,2,1 +s n 4,2,2 +s n 3,3 +s n 4,3,1 +s n 4,4. λ[n] := (n λ,λ 1,λ 2,...) Theorem (Murnaghan, 1937). For any partitions α,β,γ, the Kronecker coefficient g α[n],β[n],γ[n] stabilizes. Vast generalization proved by Steven Sam and Andrew Snowden, 2016.
56 Plethysm and Kronecker Products p. 37 Reduced Kronecker coefficient ḡ αβγ : the stable value ḡ αβγ is called a reduced Kronecker coefficient. Combinatorial interpretation is not known.
57 Plethysm and Kronecker Products p. 37 Reduced Kronecker coefficient ḡ αβγ : the stable value ḡ αβγ is called a reduced Kronecker coefficient. Combinatorial interpretation is not known. Example. Recall that for n 8, s n 2,2 s n 2,2 = s n +s n 3,1,1,1 +2s n 2,2 +s n 1,1 +s n 2,1,1 +2s n 3,2,1 +s n 4,2,2 +s n 3,3 +s n 4,3,1 +s n 4,4. Hence ḡ 2,2, = 1, ḡ 2,2,111 = 1, ḡ 2,2,2 = 2, etc.
58 V P ws = V NP? Plethysm and Kronecker Products p. 38
59 Plethysm and Kronecker Products p. 39 Algebraic complexity Flagship problem: V P ws V NP. Determinantal complexity of f C[x 1,...,x n ]: smallest n N such that f is the determinant of an n n matrix whose entries are affine linear forms in the x i. Theorem (Valiant 1979, Toda 1992). TFAE: Determinantal complexity of an n n permanant is superpolynomial in n. V P ws V NP
60 Plethysm and Kronecker Products p. 40 Mulmuley and Sohoni 2001 Ω n : closure of the orbit of GL n 2 det n in Sym n C n2. padded permanent: x n m 11 per m Sym n C n2. Conjecture. For all c > 0 and infinitely many m, there exists a partition λ (i.e., an irreducible polynomial representation of GL n 2) occurring in the coordinate ring C[Z mc,m] but not in C[Ω m c].
61 Plethysm and Kronecker Products p. 41 Bürgisser, Ikenmeyer, and Panova Theorem (BIP 2016) The conjecture of Mulmuley and Sohoni is false.
62 Plethysm and Kronecker Products p. 41 Bürgisser, Ikenmeyer, and Panova Theorem (BIP 2016) The conjecture of Mulmuley and Sohoni is false. Proof involves Kronecker product coefficients g λµν in an essential way.
63 The last slide Plethysm and Kronecker Products p. 42
64 The last slide Plethysm and Kronecker Products p. 42
KRONECKER POWERS CHARACTER POLYNOMIALS. A. Goupil, with C. Chauve and A. Garsia,
KRONECKER POWERS AND CHARACTER POLYNOMIALS A. Goupil, with C. Chauve and A. Garsia, Menu Introduction : Kronecker products Tensor powers Character Polynomials Perspective : Duality with product of conjugacy
More informationarxiv: v1 [math.gr] 23 Oct 2009
NONVANISHING OF KRONECKER COEFFICIENTS FOR RECTANGULAR SHAPES arxiv:0910.4512v1 [math.gr] 23 Oct 2009 PETER BÜRGISSER, MATTHIAS CHRISTANDL, AND CHRISTIAN IKENMEYER Abstract. We prove that for any partition
More informationarxiv: v3 [cs.cc] 17 Sep 2018
NO OCCURRENCE OBSTRUCTIONS IN GEOMETRIC COMPLEXITY THEORY PETER BÜRGISSER1, CHRISTIAN IKENMEYER 2, GRETA PANOVA 3 arxiv:1604.06431v3 [cs.cc] 17 Sep 2018 Abstract. The permanent versus determinant conjecture
More information(Uniform) determinantal representations
1 (Uniform) determinantal representations Jan Draisma Universität Bern October 216, Kolloquium Bern Determinantal representations 2 R := C[x 1,..., x n ] and R d := {p R deg p d} Definition A determinantal
More informationAppendix to: Generalized Stability of Kronecker Coefficients. John R. Stembridge. 14 August 2014
Appendix to: Generalized Stability of Kronecker Coefficients John R. Stembridge 14 August 2014 Contents A. Line reduction B. Complementation C. On rectangles D. Kronecker coefficients and Gaussian coefficients
More informationPlethysm of Schur Functions and Irreducible Polynomial Representations of the Complex General Linear Group
Plethysm of Schur Functions and Irreducible Polynomial Representations of the Complex General Linear Group Rediet Abebe Harvard College Department of Mathematics March 25, 2013 Contents 1 Irreducible Polynomial
More informationPOLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS
POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS DINUSHI MUNASINGHE Abstract. Given two standard partitions λ + = (λ + 1 λ+ s ) and λ = (λ 1 λ r ) we write λ = (λ +, λ ) and set s λ (x 1,..., x t ) := s λt (x 1,...,
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 informationNOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS
NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS MARK WILDON Contents 1. Definition of polynomial representations 1 2. Weight spaces 3 3. Definition of the Schur functor 7 4. Appendix: some
More informationThe Waring rank of the Vandermonde determinant
The Waring rank of the Vandermonde determinant Alexander Woo (U. Idaho) joint work with Zach Teitler(Boise State) SIAM Conference on Applied Algebraic Geometry, August 3, 2014 Waring rank Given a polynomial
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 informationA Murnaghan-Nakayama Rule for k-schur Functions
A Murnaghan-Nakayama Rule for k-schur Functions Anne Schilling (joint work with Jason Bandlow, Mike Zabrocki) University of California, Davis October 31, 2012 Outline History The Murnaghan-Nakayama rule
More informationOeding (Auburn) tensors of rank 5 December 15, / 24
Oeding (Auburn) 2 2 2 2 2 tensors of rank 5 December 15, 2015 1 / 24 Recall Peter Burgisser s overview lecture (Jan Draisma s SIAM News article). Big Goal: Bound the computational complexity of det n,
More informationVertex Operator Algebra Structure of Standard Affine Lie Algebra Modules
Vertex Operator Algebra Structure of Standard Affine Lie Algebra Modules p. 1/4 Vertex Operator Algebra Structure of Standard Affine Lie Algebra Modules Christopher Sadowski Rutgers University Department
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 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 informationOn the growth of the Kronecker coefficients.
On the growth of the Kronecker coefficients. May 15, 2017 Algebraic Combinatorixx, Banff 2017 Summary What are the Kronecker coefficients? The representation theory of the general lineal group. The representation
More informationUNIMODALITY OF EULERIAN QUASISYMMETRIC FUNCTIONS
UNIMODALITY OF EULERIAN QUASISYMMETRIC FUNCTIONS ANTHONY HENDERSON 1 AND MICHELLE L. WACHS 2 Abstract. We prove two conjectures of Shareshian and Wachs about Eulerian quasisymmetric functions and polynomials.
More informationLecture 6 : Kronecker Product of Schur Functions Part I
CS38600-1 Complexity Theory A Spring 2003 Lecture 6 : Kronecker Product of Schur Functions Part I Lecturer & Scribe: Murali Krishnan Ganapathy Abstract The irreducible representations of S n, i.e. the
More informationWreath Product Symmetric Functions
International Journal of Algebra, Vol. 3, 2009, no. 1, 1-19 Wreath Product Symmetric Functions Frank Ingram Mathematics Department, Winston-Salem State University Winston-Salem, NC 27110, USA ingramfr@wssu.edu
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 informationThe Kronecker Product of Schur Functions Indexed by Two-Row Shapes or Hook Shapes
Journal of Algebraic Combinatorics 4 (00), 53 73 c 00 Kluwer Academic Publishers. Manufactured in The Netherlands. The Kronecker Product of Schur Functions Indexed by Two-Row Shapes or Hook Shapes MERCEDES
More informationREPRESENTATION THEORY FOR FINITE GROUPS
REPRESENTATION THEORY FOR FINITE GROUPS SHAUN TAN Abstract. We cover some of the foundational results of representation theory including Maschke s Theorem, Schur s Lemma, and the Schur Orthogonality Relations.
More informationREPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012
REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre
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 informationStandard Young Tableaux Old and New
Standard Young Tableaux Old and New Ron Adin and Yuval Roichman Department of Mathematics Bar-Ilan University Workshop on Group Theory in Memory of David Chillag Technion, Haifa, Oct. 14 1 2 4 3 5 7 6
More informationCombinatorics for algebraic geometers
Combinatorics for algebraic geometers Calculations in enumerative geometry Maria Monks March 17, 214 Motivation Enumerative geometry In the late 18 s, Hermann Schubert investigated problems in what is
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 informationThe Littlewood-Richardson Rule
REPRESENTATIONS OF THE SYMMETRIC GROUP The Littlewood-Richardson Rule Aman Barot B.Sc.(Hons.) Mathematics and Computer Science, III Year April 20, 2014 Abstract We motivate and prove the Littlewood-Richardson
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationCounting matrices over finite fields
Counting matrices over finite fields Steven Sam Massachusetts Institute of Technology September 30, 2011 1/19 Invertible matrices F q is a finite field with q = p r elements. [n] = 1 qn 1 q = qn 1 +q n
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationBoolean Product Polynomials and the Resonance Arrangement
Boolean Product Polynomials and the Resonance Arrangement Sara Billey University of Washington Based on joint work with: Lou Billera and Vasu Tewari FPSAC July 17, 2018 Outline Symmetric Polynomials Schur
More informationCombinatorial bases for representations. of the Lie superalgebra gl m n
Combinatorial bases for representations of the Lie superalgebra gl m n Alexander Molev University of Sydney Gelfand Tsetlin bases for gln Gelfand Tsetlin bases for gl n Finite-dimensional irreducible representations
More informationToshiaki Shoji (Nagoya University) Character sheaves on a symmetric space and Kostka polynomials July 27, 2012, Osaka 1 / 1
Character sheaves on a symmetric space and Kostka polynomials Toshiaki Shoji Nagoya University July 27, 2012, Osaka Character sheaves on a symmetric space and Kostka polynomials July 27, 2012, Osaka 1
More informationarxiv: v2 [math.rt] 28 Aug 2018
arxiv:1808.08679v2 [math.rt] 28 Aug 2018 Tableau Correspondences and Representation Theory DIGJOY PAUL AND AMRITANSHU PRASAD The Institute of Mathematical Sciences (HBNI) Chennai ARGHYA SADHUKHAN University
More informationREPRESENTATION THEORY WEEK 5. B : V V k
REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +
More informationCharacters, Derangements and Descents for the Hyperoctahedral Group
Characters, Derangements and Descents for the Hyperoctahedral Group Christos Athanasiadis joint with Ron Adin, Sergi Elizalde and Yuval Roichman University of Athens July 9, 2015 1 / 42 Outline 1 Motivation
More informationRow-strict quasisymmetric Schur functions
Row-strict quasisymmetric Schur functions Sarah Mason and Jeffrey Remmel Mathematics Subject Classification (010). 05E05. Keywords. quasisymmetric functions, Schur functions, omega transform. Abstract.
More informationUC Berkeley Summer Undergraduate Research Program 2015 July 9 Lecture
UC Berkeley Summer Undergraduate Research Program 205 July 9 Lecture We will introduce the basic structure and representation theory of the symplectic group Sp(V ). Basics Fix a nondegenerate, alternating
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 informationEigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups
Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue
More informationINTRODUCTION TO TWISTED COMMUTATIVE ALGEBRAS
INTRODUCTION TO TWISTED COMMUTATIVE ALGEBRAS STEVEN V SAM AND ANDREW SNOWDEN Abstract. This article is an expository account of the theory of twisted commutative algebras, which simply put, can be thought
More informationSkew row-strict quasisymmetric Schur functions
Journal of Algebraic Combinatorics manuscript No. (will be inserted by the editor) Skew row-strict quasisymmetric Schur functions Sarah K. Mason Elizabeth Niese Received: date / Accepted: date Abstract
More information(Permutations Arising from) Hook Coefficients of Chromatic Symmetric Functions
(Permutations Arising from) Hook Coefficients of Chromatic Symmetric Functions Ryan Kaliszewski Drexel University rlk72@drexel.edu July 17, 2014 Ryan Kaliszewski (Drexel University) Hook Coefficients July
More informationCHARACTERS OF FINITE GROUPS.
CHARACTERS OF FINITE GROUPS. ANDREI YAFAEV As usual we consider a finite group G and the ground field F = C. Let U be a C[G]-module and let g G. Then g is represented by a matrix [g] in a certain basis.
More informationGeometric Complexity Theory and Matrix Multiplication (Tutorial)
Geometric Complexity Theory and Matrix Multiplication (Tutorial) Peter Bürgisser Technische Universität Berlin Workshop on Geometric Complexity Theory Simons Institute for the Theory of Computing Berkeley,
More informationRepresentations Are Everywhere
Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.
More informationWitt vectors and total positivity
Witt vectors and total positivity James Borger Australian National University January 10, 2013 San Diego Semirings basic definitions 1. N = {0, 1, 2,... } 2. N-module = commutative monoid (written additively)
More informationCOMBINATORIAL LAPLACIAN OF THE MATCHING COMPLEX
COMBINATORIAL LAPLACIAN OF THE MATCHING COMPLEX XUN DONG AND MICHELLE L. WACHS Abstract. A striking result of Bouc gives the decomposition of the representation of the symmetric group on the homology of
More informationGeneralized Foulkes Conjecture and Tableaux Construction
Generalized Foulkes Conjecture and Tableaux Construction Thesis by Rebecca Vessenes In Partial Fulfillment of the Requirements for the egree of octor of Philosophy California Institute of Technology Pasadena,
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationThe plethysm s λ [s µ ] at hook and near-hook shapes
The plethysm s λ [s µ ] at hook and near-hook shapes T.M. Langley Department of Mathematics Rose-Hulman Institute of Technology, Terre Haute, IN 47803 thomas.langley@rose-hulman.edu J.B. Remmel Department
More informationA talk given at the Institute of Mathematics (Beijing, June 29, 2008)
A talk given at the Institute of Mathematics (Beijing, June 29, 2008) STUDY COVERS OF GROUPS VIA CHARACTERS AND NUMBER THEORY Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093, P.
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 information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationLocal Langlands correspondence and examples of ABPS conjecture
Local Langlands correspondence and examples of ABPS conjecture Ahmed Moussaoui UPMC Paris VI - IMJ 23/08/203 Notation F non-archimedean local field : finite extension of Q p or F p ((t)) O F = {x F, v(x)
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationStability of Kronecker products of irreducible characters of the symmetric group
Stability of Kronecker products of irreducible characters of the symmetric group Ernesto Vallejo 1 Instituto de Matemáticas Universidad Nacional Autónoma de México Area de la Inv. Cient. 04510 México,
More informationCharacter tables for some small groups
Character tables for some small groups P R Hewitt U of Toledo 12 Feb 07 References: 1. P Neumann, On a lemma which is not Burnside s, Mathematical Scientist 4 (1979), 133-141. 2. JH Conway et al., Atlas
More informationRecent developments on chromatic quasisymmetric functions. Michelle Wachs University of Miami
Recent developments on chromatic quasisymmetric functions Michelle Wachs University of Miami Chromatic symmetric functions 6 23 5 7 8 35 15 15 2 3 4 7 23 7 1 23 Let C(G) be set of proper colorings of graph
More informationON KRONECKER PRODUCTS OF CHARACTERS OF THE SYMMETRIC GROUPS WITH FEW COMPONENTS
ON KRONECKER PRODUCTS OF CHARACTERS OF THE SYMMETRIC GROUPS WITH FEW COMPONENTS C. BESSENRODT AND S. VAN WILLIGENBURG Abstract. Confirming a conjecture made by Bessenrodt and Kleshchev in 1999, we classify
More informationSCHUR-WEYL DUALITY FOR U(n)
SCHUR-WEYL DUALITY FOR U(n) EVAN JENKINS Abstract. These are notes from a lecture given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in December 2009.
More informationCompatibly split subvarieties of Hilb n (A 2 k)
Compatibly split subvarieties of Hilb n (A 2 k) Jenna Rajchgot MSRI Combinatorial Commutative Algebra December 3-7, 2012 Throughout this talk, let k be an algebraically closed field of characteristic p
More informationThe symmetric group action on rank-selected posets of injective words
The symmetric group action on rank-selected posets of injective words Christos A. Athanasiadis Department of Mathematics University of Athens Athens 15784, Hellas (Greece) caath@math.uoa.gr October 28,
More informationRefined Cauchy/Littlewood identities and partition functions of the six-vertex model
Refined Cauchy/Littlewood identities and partition functions of the six-vertex model LPTHE (UPMC Paris 6), CNRS (Collaboration with Dan Betea and Paul Zinn-Justin) 6 June, 4 Disclaimer: the word Baxterize
More informationAdditional notes on group representations Hjalmar Rosengren, 30 September 2015
Additional notes on group representations Hjalmar Rosengren, 30 September 2015 Throughout, group means finite group and representation means finitedimensional representation over C. Interpreting the character
More information1 Homework 8 Solutions
1 Homework 8 Solutions (1) Let G be a finite group acting on a finite set S. Let V be the vector space of functions f : S C and let ρ be the homomorphism G GL C (V ) such that (ρ(g)f)(s) = f(g 1 s) g G,
More informationMultiplicity free actions of simple algebraic groups
Multiplicity free actions of simple algebraic groups D. Testerman (with M. Liebeck and G. Seitz) EPF Lausanne Edinburgh, April 2016 D. Testerman (with M. Liebeck and G. Seitz) (EPF Lausanne) Multiplicity
More informationq xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both
More informationDiscrete tomography, RSK correspondence and Kronecker products
Discrete tomography, RSK correspondence and Kronecker products Instituto de Matemáticas, Unidad Morelia Universidad Nacional Autónoma de México Joint work with Diana Avella-Alaminos Mathematical Foundations
More informationINTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS
INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in
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 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 informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationSolutions to Example Sheet 1
Solutions to Example Sheet 1 1 The symmetric group S 3 acts on R 2, by permuting the vertices of an equilateral triangle centered at 0 Choose a basis of R 2, and for each g S 3, write the matrix of g in
More informationSCHUR-WEYL DUALITY JAMES STEVENS
SCHUR-WEYL DUALITY JAMES STEVENS Contents Introduction 1 1. Representation Theory of Finite Groups 2 1.1. Preliminaries 2 1.2. Group Algebra 4 1.3. Character Theory 5 2. Irreducible Representations of
More informationDiagonal Invariants of the symmetric group and products of linear forms
Diagonal Invariants of the symmetric group and products of linear forms CRM, May 29, 2007 Emmanuel Briand. Universidad de Sevilla Products of linear forms= Decomposable forms K: algebraically closed field.
More informationTHREE CASES AN EXAMPLE: THE ALTERNATING GROUP A 5
THREE CASES REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE LECTURE II: DELIGNE-LUSZTIG THEORY AND SOME APPLICATIONS Gerhard Hiss Lehrstuhl D für Mathematik RWTH Aachen University Summer School Finite Simple
More informationNOTES FOR MATH 740 (SYMMETRIC FUNCTIONS)
NOTES FOR MATH 740 (SYMMETRIC FUNCTIONS) STEVEN V SAM Contents 1. Definition and motivation 1 2. Bases 5 3. Schur functions and the RSK algorithm 14 4. Representation theory of the symmetric groups 27
More informationarxiv:math/ v2 [math.rt] 6 Nov 2005
RECIPROCITY ALGEBRAS AND BRANCHING FOR CLASSICAL SYMMETRIC PAIRS ROGER E. HOWE, ENG-CHYE TAN, AND JEB F. WILLENBRING arxiv:math/0407467v2 [math.rt] 6 Nov 2005 Abstract. We study branching laws for a classical
More informationRepresentation theory & the Hubbard model
Representation theory & the Hubbard model Simon Mayer March 17, 2015 Outline 1. The Hubbard model 2. Representation theory of the symmetric group S n 3. Representation theory of the special unitary group
More informationIMMANANTS, TENSOR NETWORK STATES AND THE GEOMETRIC COMPLEXITY THEORY PROGRAM. A Dissertation KE YE
IMMANANTS, TENSOR NETWORK STATES AND THE GEOMETRIC COMPLEXITY THEORY PROGRAM A Dissertation by KE YE Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements
More informationLittlewood Richardson polynomials
Littlewood Richardson polynomials Alexander Molev University of Sydney A diagram (or partition) is a sequence λ = (λ 1,..., λ n ) of integers λ i such that λ 1 λ n 0, depicted as an array of unit boxes.
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationSCHUR-WEYL DUALITY QUANG DAO
SCHUR-WEYL DUALITY QUANG DAO Abstract. We will switch gears this week and talk about the relationship between irreducible representations of the symmetric group S k and irreducible finite-dimensional representations
More informationOutline. 1 Geometry and Commutative Algebra. 2 Singularities and Resolutions. 3 Noncommutative Algebra and Deformations. 4 Representation Theory
Outline Geometry, noncommutative algebra and representations Iain Gordon http://www.maths.ed.ac.uk/ igordon/ University of Edinburgh 16th December 2006 1 2 3 4 1 Iain Gordon Geometry, noncommutative algebra
More informationSuppose A h is a flat family of non-commutative algebras, such that A 0 is commutative.
Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Then A 0 has an additional
More informationLie Superalgebras and Sage
1/19 Lie Superalgebras and Sage Daniel Bump July 26, 2018 With the connivance of Brubaker, Schilling and Scrimshaw. 2/19 Lie Methods in Sage Lie methods in WeylCharacter class: Compute characters of representations
More informationALGEBRAIC GEOMETRY I - FINAL PROJECT
ALGEBRAIC GEOMETRY I - FINAL PROJECT ADAM KAYE Abstract This paper begins with a description of the Schubert varieties of a Grassmannian variety Gr(k, n) over C Following the technique of Ryan [3] for
More informationThe complexity of computing Kronecker coefficients
FPSAC 2008 DMTCS proc. (subm.), by the authors, 1 12 The complexity of computing Kronecker coefficients Peter Bürgisser 1 and Christian Ikenmeyer 1 1 Institute of Mathematics, University of Paderborn,
More informationMultiplicity-Free Products of Schur Functions
Annals of Combinatorics 5 (2001) 113-121 0218-0006/01/020113-9$1.50+0.20/0 c Birkhäuser Verlag, Basel, 2001 Annals of Combinatorics Multiplicity-Free Products of Schur Functions John R. Stembridge Department
More informationKostka multiplicity one for multipartitions
Kostka multiplicity one for multipartitions James Janopaul-Naylor and C. Ryan Vinroot Abstract If [λ(j)] is a multipartition of the positive integer n (a sequence of partitions with total size n), and
More informationSmith Normal Form and Combinatorics
Smith Normal Form and Combinatorics p. 1 Smith Normal Form and Combinatorics Richard P. Stanley Smith Normal Form and Combinatorics p. 2 Smith normal form A: n n matrix over commutative ring R (with 1)
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 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 informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More informationOutline. The Distance Spectra of Cayley Graphs of Coxeter Groups. Finite Reflection Group. Root Systems. Reflection/Coxeter Groups.
The Distance Spectra of of Coxeter Groups Paul Renteln 1 Department of Physics California State University San Bernardino 2 Department of Mathematics California Institute of Technology ECNU, Shanghai June
More informationOn certain family of B-modules
On certain family of B-modules Piotr Pragacz (IM PAN, Warszawa) joint with Witold Kraśkiewicz with results of Masaki Watanabe Issai Schur s dissertation (Berlin, 1901): classification of irreducible polynomial
More informationMIT Algebraic techniques and semidefinite optimization May 9, Lecture 21. Lecturer: Pablo A. Parrilo Scribe:???
MIT 6.972 Algebraic techniques and semidefinite optimization May 9, 2006 Lecture 2 Lecturer: Pablo A. Parrilo Scribe:??? In this lecture we study techniques to exploit the symmetry that can be present
More information