A filtration on the cohomology rings of regular nilpotent Hessenberg varieties (Q2043077): Difference between revisions

A function \(h:[n]\to [n]\) is a Hessenberg function if \(h(i)\geq i\) for \(i=1,\dots,n\), and \(h(i+1)\geq h(i)\) for \(i=1,\dots,n-1\). Given an \(n\times n\) matrix \(A\) and a Hessenberg function \(h\), the Hessenberg variety \(\mathrm{Hess}(A,h)\) in the flag variety of \(\mathbb C^n\) parametrizes flags \(\{ V_i\}\) such that \(AV_i\subseteq V_{h(i)}\) for all \(i=1,\dots n\). The authors consider the case where \(A\) is regular nilpotent, and study the cohomology ring \(H^*(\mathrm{Hess}(A,h))\) of the associated regular nilpotent Hessenberg varieties. The authors find a new set \(\{f_j,g_j\}\) of explicit generators of the ideal of a presentation of \(H^*(\mathrm{Hess}(A,h))\) as a quotient of \(\mathbb Q[x_1,\dots,x_n]\), which satisfies some recursive properties. The new set of generators determines a natural filtration of \(H^*(\mathrm{Hess}(A,h))\), which points out some interesting aspects of the cohomology ring. Indeed the authors use the filtration to determine recursive formulas for the Poincaré polynomials of regular nilpotent Hessenberg varieties. The authors also provide a natural basis of \(H^*(\mathrm{Hess}(A,h))\) as a \(\mathbb Q\)-vector space, and give an algorithm for deriving a basis for the set of linear relations satisfied by the images of the Schubert classes in the cohomology ring of \(\mathrm{Hess}(A,h)\).