Some conjectures about the Hilbert series of generic ideals in the exterior algebra (Q1605651)

From MaRDI portal
Revision as of 19:43, 18 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Some conjectures about the Hilbert series of generic ideals in the exterior algebra
scientific article

    Statements

    Some conjectures about the Hilbert series of generic ideals in the exterior algebra (English)
    0 references
    0 references
    1 August 2002
    0 references
    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''.
    0 references
    exterior algebra
    0 references
    generic ideals
    0 references
    Hilbert series
    0 references
    0 references

    Identifiers