English

Basis of Diagonally Alternating Harmonic Polynomials for low degree

Combinatorics 2010-11-04 v2 Commutative Algebra

Abstract

Given a list of nn cells L=[(p1,q1),...,(pn,qn)]L=[(p_1,q_1),...,(p_n, q_n)] where pi,qiZ0p_i, q_i\in \textbf{Z}_{\ge 0}, we let ΔL=det(pj!)1(qj!)1xipjyiqj\Delta_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}\{\Delta_L\} where LL varies among all lists with nn cells. For a>0a>0, the operators Ea=i=1nyixiaE_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_\lambda\Delta_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=detEtmj+1+(ji)F_t=\det\big\|E_{t_{m-j+1}+(j-i)}\big\|. Our first result is to show that FtΔLF_t\Delta_L is a linear combination of ΔL\Delta_{L'} where LL' 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)}}\Delta_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_\lambda\Delta_n :\ell(\lambda)=l, |\lambda|=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\Delta_n where FTF_T is the operator corresponding to the columns of TT and whenever nn is bigger than the weight of TT.

Keywords

Cite

@article{arxiv.0905.0377,
  title  = {Basis of Diagonally Alternating Harmonic Polynomials for low degree},
  author = {Nantel Bergeron and Zhi Chen},
  journal= {arXiv preprint arXiv:0905.0377},
  year   = {2010}
}

Comments

To appear in JCT-A; 21 pages, one PDF figure

R2 v1 2026-06-21T12:57:54.120Z