BIREP – Representations of finite dimensional algebras at Bielefeld

# Seminar on Schur functors and symmetric functions (Winter 2012/13)

Here one can find some information on the seminar.

The seminar meets Wednesday 10:30 - 12:00 in room V5-227.

Organisers are Andrew Hubery and Henning Krause.

# The subject

The aim of this seminar is to introduce the theory of Schur functors, with an aim of being able to compute these in specific applications.

Let K$K$ be a commutative ring. We recall that the n$n$-th tensor power En$E^{\otimes n}$ of a module E$E$ represents the functor sending a module M$M$ to the set (in fact K$K$-module) of multilinear maps EnM$E^n\to M$. Similarly we can define the n$n$-th exterior power n(E)$\bigwedge^n(E)$ as the module representing the functor of alternating multilinear maps, and the n$n$-th symmetric power Symn(E)$\mathrm{Sym}^n(E)$ as representing the functor of symmetric multilinear maps. The Schur functors generalise these concepts: for each partition λ$\lambda$ one obtains a module Sλ(E)$S^\lambda(E)$ representing a certain class of multilinear maps such that S(1n)(E)n(E)$S^{(1^n)}(E)\cong\bigwedge^n(E)$ and S(n)(E)Symn(E)$S^{(n)}(E)\cong\mathrm{Sym}^n(E)$. We can then regard the map ESλ(E)$E\mapsto S^\lambda(E)$ as a functor on the category of K$K$-modules, even on the category of finitely-generated free K$K$-modules.

Classically the importance of these functors arose from studying polynomial representations of a general linear group over the complex numbers. In particular, given a complex vector space E$E$ of dimension m$m$ and a partition λ$\lambda$ having at most m$m$ rows, then the module Sλ(E)$S^\lambda(E)$ is an irreducible representation of GL(E)$\mathrm{GL}(E)$ having highest weight λ$\lambda$, and all irreducible polynomial representations arise in this way. One can then get any rational representation by tensoring with some power of the determinant representation.

By Schur-Weyl duality there is also a close link with the representation theory of the symmetric group. Over the complex numbers, the irreducible representations of the symmetric group Sn$S_n$ are given by the Specht modules Spλ$\mathrm{Sp}^\lambda$, where λ$\lambda$ ranges over the partitions of n$n$. Moreover, one can naturally identify the representation ring Rn$R_n$ of Sn$S_n$ with the ring of symmetric polynomials in n$n$ variables, under which the Specht module Spλ$\mathrm{Sp}^\lambda$ is sent to the Schur polynomial sλ$s_\lambda$. In fact, one can do better: the direct sum R=nRn$R=\bigoplus_nR_n$ has the structure of a ring whereby the multiplication is given by induction. In other words, if M$M$ is an Sm$S_m$-representation and N$N$ is an Sn$S_n$-representation, then MN$M\otimes N$ is naturally an Sm×Sn$S_m\times S_n$-representation, which we can induce up to get an Sm+n$S_{m+n}$-representation. Then there is a ring isomorphism between R$R$ and the ring of symmetric functions Λ$\Lambda$, which is even an isometry using the natural inner-products on both rings.

Now, if E$E$ is a complex vector space of dimension m$m$ and λ$\lambda$ is a partition of n$n$ having at most m$m$ rows, then the irreducible GL(E)$\mathrm{GL}(E)$-representation Sλ(E)$S^\lambda(E)$ is naturally isomorphic to the representation EnSnSpλ$E^{\otimes n}\otimes_{S_n}\mathrm{Sp}^\lambda$. It follows that the character χλ$\chi_\lambda$ of Sλ(E)$S^\lambda(E)$ satisfies χ(g)=sλ(x1,,xm)$\chi(g)=s_\lambda(x_1,\ldots,x_m)$, where the xi$x_i$ are the eigenvalues of g$g$ on E$E$.

Now let F$F$ be another complex vector space, of dimension n$n$, and set A:=Sym(EF)$A:=\mathrm{Sym}^*(E\otimes F^\vee)$, a polynomial ring in mn$mn$-variables, which we can regard as the co-ordinate algebra of the variety of maps Hom(E,F)$\mathrm{Hom}(E,F)$, or equivalently of all n×m$n\times m$ matrices. The r$r$-th determinantal ideal IrA$I_r\lhd A$ is the ideal generated by all r$r$-minors of matrices, so that A/Ir$A/I_r$ is the co-ordinate algebra of the affine variety of matrices of rank at most r1$r-1$. In this set-up, Lascoux constructed a minimal free resolution of the algebra A/Ir$A/I_r$, and the i$i$-th term of this resolution is a direct sum of modules of the form Sλ(E)Sμ(F)A$S^\lambda(E)\otimes S^\mu(F^\vee)\otimes A$, for certain pairs of partitions (λ,μ)$(\lambda,\mu)$.

Shortly afterwards, Kapranov used these techniques to construct a classical tilting bundle on a Grassmannian in characteristic zero, extending the result of Beilinson for projective space. (For a characteristic-free approach using exterior powers see the article by Buchweitz, Leuschke and van den Bergh.) More precisely, let E$E$ be an m$m$-dimensional complex vector space and let X$X$ be the Grassmannian of l$l$-dimension subspaces of E$E$. The tautological bundle R$\mathcal R$ on X$X$ is the subbundle of the trivial vector bundle X×E$X\times E$ given by taking pairs (U,u)$(U,u)$, where UE$U\leq E$ is an l$l$-dimensional subspace and uU$u\in U$. Let Q$\mathcal Q$ be its dual, yielding the short exact sequence 0RX×EQ0$0\to\mathcal R\to\mathcal X\times E\to\mathcal Q\to 0$. Then T:=Sλ(Q)$\mathcal T:=\bigoplus S^\lambda(\mathcal Q)$ is a classical tilting bundle on X$X$, where the sum is taken over all partitions having at most l$l$ rows and at most ml$m-l$ columns.

# Schedule

Multilinear Algebra
1. Representable functors. Tensor, exterior and symmetric products. (17 Oct, Cosima Aquilino)
2. Tensor, exterior and symmetric algebras. (24 Oct, Rebecca Reischuk)
3. Divided powers. (31 Oct, Henning Krause)
4. Schur and Weyl functors. (7 Nov, Valentin Katter)
5. Formulae of Cauchy, Pieri and Littlewood-Richardson. (14 Nov, Philipp Lampe)
Characteristic Zero Theory
1. Symmetric functions. Representation ring for symmetric groups. (21 Nov, Andrew Hubery)
2. Polynomial functors and plethysm. (28 Nov, Phillip Linke)
3. Schur-Weyl duality. (19 Dec, Yong Jiang)
Koszul Complexes
1. Beilinson's tilting complex for projective space. (16 Jan, Shawn Baland)

# References

1. K. Akin, D. A. Buchsbaum and J. Weyman, Schur functors and Schur complexes, Adv. in Math. 44 (1982), no. 3, 207--278.
2. J. Baez, Schur Functors, The n-Category Café, April 12, 2007.
3. A. A. Beĭlinson, Coherent sheaves on Pn and problems in linear algebra. (Russian) Funktsional. Anal. i Prilozhen. 12 (1978), no. 3, 68--69.
4. N. Bourbaki, Éléments de mathématique. Algèbre. Chapitres 1 à 3. (French) Hermann, Paris 1970 xiii+635 pp.
5. N. Bourbaki, Éléments de mathématique. (French) [Elements of mathematics] Algèbre. Chapitres 4 à 7. [Algebra. Chapters 4–7] Lecture Notes in Mathematics, 864. Masson, Paris, 1981. vii+422 pp.
6. R.-O. Buchweitz, G. J. Leuschke, M. van den Bergh, A characteristic free tilting bundle for Grassmannians, arXiv:1006.1633.
7. W. Fulton, Young Tableaux, with Applications to Representation Theory and Geometry, Cambridge University Press, 1997.
8. W. Fulton and J. Harris, Representation theory. A first course, Springer-Verlag, 1991.
9. M. M. Kapranov, On the derived categories of coherent sheaves on some homogeneous spaces, Invent. Math. 92 (1988), 479--508.
10. A. Lascoux, Syzygies des variétés déterminantales. (French) Adv. in Math. 30 (1978), no. 3, 202--237.
11. I. G. Macdonald, Symmetric functions and Hall polynomials, second edition, Oxford Univ. Press, 1995.
12. J. Weyman, Cohomology of Vector Bundles and Syzygies, Cambridge University Press, 2003.