Determinantal schemes and pure O-sequences (Q2349931)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Determinantal schemes and pure O-sequences
scientific article

    Statements

    Determinantal schemes and pure O-sequences (English)
    0 references
    0 references
    18 June 2015
    0 references
    Let \(k\) be an infinite field and \(S = k[x_0,\ldots,x_n]\) be the polynomial ring over \(k\). Let \(M=(f_{ij})\) be a homogeneous \(t\times (t+c-1)\) matrix, i.e., a matrix with polynomial entries such that all its minors are homogeneous polynomials. Assume that \(A=(a_{i,j})\) be the degree matrix of \(M\) with \(a_{ij}=-\text{deg}\;f_{ji}\). Let \(I_{\max}(M)\) be the ideal generated by the maximal minors of \(M\). The authors assume that \(I_{\max}(M)\) is a standard determinantal ideal, i.e., its height is \(c\). Then they prove that if all the rows in the degree matrix \(A\) are equal, the \(h\)-vector of \(I_{\max}(M)\) is a log-concave pure O-sequence. They show that such matrices correspond to level standard determinantal ideals. They interpret the \(h\)-vectors of such ideals as \(h\)-vectors of some representable matroids, and then apply the results of \textit{J. Huh} [Adv. Math. 270, 49--59 (2015; Zbl 1304.05013)] for log-concavity to prove that they are pure O-sequences, i.e., they can be described as the \(f\)-vector of a pure order ideal. They conjecture that the strong converse of their main theorem holds, i.e., if the \(h\)-vector of a standard determinantal ideal is a pure O-sequence, then all the rows in the degree matrix are equal.
    0 references
    determinantal ideals
    0 references
    pure O-sequences
    0 references
    Hilbert series
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references