Basis of Diagonally Alternating Harmonic Polynomials for low degree

preprint2010arXivOpen access

Abstract

Given a list of nn cells L=[(p1,q1),...,(pn,qn)]L=[(p_1,q_1),...,(p_n, q_n)] where pi,qi∈Z≥0p_i, q_i\in \textbf{Z}_{\ge 0}, we let ΔL=det⁡∣(pj!)−1(qj!)−1xipjyiqj∣Δ_L=\det |{(p_j!)^{-1}(q_j!)^{-1} x^{p_j}_iy^{q_j}_i} |. The space of diagonally alternating polynomials is spanned by {ΔL}\{Δ_L\} where LL varies among all lists with nn cells. For a>0a>0, the operators Ea=∑i=1nyi∂xiaE_a=\sum_{i=1}^{n} y_i\partial_{x_i}^a act on diagonally alternating polynomials and Haiman has shown that the space AnA_n of diagonally alternating harmonic polynomials is spanned by {EλΔn}\{E_λΔ_n\}. For t=(tm,...,t1)∈Z>0mt=(t_m,...,t_1)\in \textbf{Z}_{> 0}^m with tm>...>t1>0t_m>...>t_1>0, we consider here the operator Ft=det⁡∥Etm−j+1+(j−i)∥F_t=\det\big\|E_{t_{m-j+1}+(j-i)}\big\|. Our first result is to show that FtΔLF_tΔ_L is a linear combination of ΔL′Δ_{L'} where L′L' is obtained by {\sl moving} ℓ(t)=m\ell(t)=m distinct cells from LL in some determined fashion. This allows us to control the leading term of some elements of the form Ft(1)...Ft(r)ΔnF_{t_{(1)}}... F_{t_{(r)}}Δ_n. We use this to describe explicit bases of some of the bihomogeneous components of An=⨁Ank,lA_n=\bigoplus A_n^{k,l} where Ank,l=Span{EλΔn:ℓ(λ)=l,∣λ∣=k}A_n^{k,l}=\hbox{Span}\{E_λΔ_n :\ell(λ)=l, |λ|=k\}. More precisely we give an explicit basis of Ank,lA_n^{k,l} whenever k<nk<n. To this end, we introduce a new variation of Schensted insertion on a special class of tableaux. This produces a bijection between partitions and this new class of tableaux. The combinatorics of those tableaux TT allows us to know exactly the leading term of FTΔnF_TΔ_n where FTF_T is the operator corresponding to the columns of TT and whenever nn is bigger than the weight of TT.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.