Plethystic Notation
( \newcommand{\kernel}{\mathrm{null}\,}\)
We have seen that the symmetric functions pλ with λ a partition of n form a basis for Λn Recall that each pλ is a product of the power functions pn where
pn=∑ixn We can say that the ring of symmetric functions Λ is freely generated as an algebra by p1,p2,⋯ in other words
Λ=K[p1,p2,⋯] Technically, we don't need variables to represent each symmetric function: each one can be expressed as a polynomial combination of the power symmetric functions and we can regard them as abstract symbols without further meaning. The plethystic notation is a very flexible way of handling different sets of variables to evaluate.
To specify an algebra homomorphism from Λ it suffices to specify it on each pn Consider a Laurent series A in some indeterminates a1,a2,a3⋯ Given a symmetric function f the plethystic substitution f[A] is the image of f under the homomorphism sending pn to pn[A] where pn[A] is obtained by changing every indeterminate ai by ani Lets make sense of this with some examples
- If A=a1+a2+...+ak then for each n pn[A]=an1+an2+⋯ank so that f[A] is simply f(a1,a2,⋯,ak) Recovering the notion of variables that we had in mind. In general we denote the sum of indeterminates by their capital letter. For example Z=z1+z2+z3+⋯ so that f[Z] is the usual evaluation f(z1,z2,⋯)
- The same arguments work for any expression that has a series expansion as a sum of monomials. If A=1/(1−t)=1+t+t2+t3+⋯ then f[1/(1−t)]=f(1,t,t2,t3,⋯) In this notation we have the following extension of the hook length formula sλ[1/(1−t)]=tn(λ)∏x∈λ(1−th(x)) where h(x) is the hook length of the cell x in the diagram of λ
- The substitution f[Z+a] means simply that we add a new variable a to the set of variables. Sometimes this new a is special and we want to keep track of it. For instance we have the following formula, the dual Pieri rule sλ[Z+a]=∑kak∑λ/υsυ For an explicit proof using jeu du taquin, consider each semi standard filling of the tableau using the variable a k times, and forward slide all the a entries. The fact that it was a semi standard filling ensures that the positions of the a 's after forward sliding them to the border is a horizontal strip of length k
- In the same train of thought the substitution f[Z−zi] means we are kicking out the variable zi Also note that f[Z−(1−t)zi] first kick out zi but then replace it by tzi
- One of the simplest substitution is A=1 This sends pn→1 for every n Now recall the expansion sλ=1n!∑w∈Snχλ(w)pτ(w) Which means sλ[1]=1n!∑w∈Snχλ(w)1 and that's precisely the inner product of the character χλ with the trivial character. Then the above expression is zero in all cases except when λ=(n) where it is equal to 1. This substitution is simply giving the coefficient of s(n) in the expansion, in other words f[1]=⟨f,s(n)⟩
- The substitution f[−Z] is very interesting. It sends pn→−pn for every n so it sends pλ→(−1)l(λ)pλ where l(λ) is the length, or number of parts. Applying it to the power symmetric function of a partition of m we get pλ=(−1)l(λ)pλ=(−1)m(−1)m+l(λ)pλ=(−1)mωpλ so in general, for f of degree d f[−Z]=(−1)dω(f) where ω is the involution
An important thing to keep in mind is the difference between indeterminates and actual values, because the plethystic just affects the indeterdeminates. For example, it is easy to see that if f is a symmetric function of degree d then
f[tZ]=tdf[Z]but it is not true that f[−Z]=(−1)df[Z] as the last example showed.
There is another important player in this theory. Define Ω=exp(∞∑k=1pk/k) the obvious identities pk[A+B]=pk[A]+pk[B] and pk[−A]=−pk[A] translates into Ω[A+B]=Ω[A]Ω[B],Ω[−A]=1/Ω[A] plus the single variable evaluation Ω[x]=exp(∞∑k=1xk/k)=1/(1−x) we have Ω[Z]=∏11−xi
The cauchy identity can be reformulated as: two bases u and v are dual with respect to the hall inner product if and only if
∑λuλ[X]vλ[Y]=Ω[XY]
so the bases u and v[AY] are dual for any Laurent series A if and only if ∑λuλ[X]vλ[AY]=Ω[XY], and doing Y→AY gives ∑λuλ[X]vλ[Y]=Ω[XY/A] a condition which is symmetric in u and v So the following identity holds for dual bases
⟨u[AZ],v⟩=⟨u,v[AZ]⟩
and it implies that the following holds for any f,g
⟨f[AZ],g⟩=⟨f,g[AZ]⟩
The substitution Z→Z/(1−t) which is one of the most used, has the explicit inverse Z→Z(1−t) This substitutions means that the variables changing are the zi but not t In other words, the operator Π(1−t) which sends Z→Z(1−t) has the inverse Π−1(1−t) which is Z→Z(1−t) Moreover, by the above discussion Π(1−t) is self adjoint in the hall inner product.