Some conjectures about the Hilbert series of generic ideals in the exterior algebra (Q1605651): Difference between revisions

Let \(K\) be a field of characteristic \(0\) and \(V_{n}\) be a \(K\)-vector space with basis \(x_{1},\dots ,x_{n}.\) Let \(K[x_{1},\dots ,x_{n}]\) denote the symmetric algebra on \(V_{n}.\) A form \(f\) of degree \(d\) in \(K[x_{1},\dots ,x_{n}]\) is called ``generic'' if the coefficients of the monomials in the form are all irrational and nonzero, and are linearly independent over \(\mathbb{Q}\). Two generic forms of the same degree have the same Hilbert series. There is a more general concept of generic ideal. The object of the present paper is to give a few theorems and make a series of conjectures about the form of the Hilbert series for generic ideals of \(K[x_{1},\dots ,x_{n}]\), and analogous conjectures for the exterior algebra \(\bigwedge V_{n}\) and the square free algebra \(K[x_{1},\dots ,x_{n}]/(x_{1}^{2},\dots ,x_{n}^{2})\). The conjectures are based on extensive computational evidence. As a typical example it is conjectured that, if \(f\) is a generic cubic form in \(\bigwedge V_{n}\), then the Hilbert series for \(\bigwedge V_{n}/(f)\) is \((1+t^{3})^{-1}\left( t^{3}L_{n}(t)+(1+t)^{n}\right) \) where \(L_{n}(t)\) is a precisely specified polynomial. Similarly, if \(I=(f_{1},\dots ,f_{r})\) is a generic ideal in \(K[x_{1},\dots ,x_{n}]\) where \(f_{i}\) is a form of degree \(d_{i}\), then it is conjectured that the Hilbert series of the graded algebra \(K[x_{1} ,\dots ,x_{n}]/I\) is given by \[ \left\langle (1-t)^{-n}\prod_{i=1}^{r}(1-t^{d_{i}})\right\rangle \] where the brackets mean ``truncate before the first non-positive coefficient''.