HOME: | |
BACK: | Vertex operators for standard SFs |
Schur vertex operators
Add a sequence of columns on s_\la[X]
>
CS:=proc(m,k,EX);
tos(s[seq(m,i=1..k)]*EX
+convert([seq(seq((-1)^i*Smtop(m,k,s[op(la)])*
skew(s[op(conjugate(la))],EX),
la=Par(i)), i=1..`SF/stdeg`(EX))],`+`));
end:
>
Smtop:=proc(m,l,EX) option remember;
local degz, PEX, PEXz, rslt,i;
if l<0 then RETURN(0); fi;
if l=0 then RETURN(top(EX)) fi;
degz:=`SF/stdeg`(EX);
PEX:=top(EX);
PEXz:=expand(subs({seq(p.k=p.k-z^k,k=1..degz)},PEX));
rslt:=subs(h0=1,PEX*top(h.m));
for i from 1 to degz do
rslt:=rslt+coeff(PEXz,z,i)*top(h.(m+i));
od;
if l=1 then rslt;
else Smtop(m,l-1,rslt);
fi;
end:
Add a row on s_\la[X] (Bernstein)
>
RS:=proc(m,EX) local degz, PEX, PEXz, rslt,i;
degz:=`SF/stdeg`(EX);
PEX:=top(EX);
PEXz:=expand(subs({seq(p.k=p.k-z^k,k=1..degz)},PEX));
rslt:=subs(h0=1,PEX*top(h.m));
for i from 1 to degz do
rslt:=rslt+coeff(PEXz,z,i)*top(h.(m+i));
od;
tos(rslt);
end: