On some partial orders associated to generic initial ideals (Q1581439)

In the development of ``poset theory'' as well as elsewhere it is quite important to have available for consideration well-studied families of such posets whose detailed properties are thoroughly understood; even more so when these families can be nicely related to well-known or at least interesting different structures via some comprehensible relationship beyond that of implied existence. Using this as a criterion, the paper under review passes the posed test in every way. Thus, if \([x_1,\dots,x_n]_d\) is the set of all monomials of degree \(d\) in the variables \(\{x_1,\dots,x_n\}\), then \(V \subseteq [x_1,\dots, x_n]_d\) is strongly stable (Borel) if \(m\in V\Rightarrow {x_i\over x_j}m\in V\), when \(1\leq i<j\leq n\) and \(x_j|m\). If \(A_{n,d}\) is the reflexive transitive closure of the anti-symmetric binary relation \(({x_i \over x_j} m,m)\), \(m\in V\subseteq [x_1,\dots,x_n]_d\), then \(V\) is strongly stable for all \(d\). Letting \(A_n\) be the reflexive transitive closure of the union of the divisibility partial order \(D\) and the \(A_{n,d}\) for all \(d\) produce the right poset, which has the Borel monoid ideals as filters. From a detailed study of the \(A_{n,d}\) and the \(A_n\) a variety of results, including counts and recursive formulas upon which then counts are based, is obtained to provide very useful additions to the literature.