On some partial orders associated to generic initial ideals

MaRDI QIDQ1581439zbMATH OpenFDO

Authors J. E. Snellman

Publication date 19 September 2000

Published in Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9811095, https://eudml.org/doc/120899, http://www.emis.de/journals/SLC/wpapers/s43snellman.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Borel subsetsdivisibility partial ordergeneric initial idealsposetsstrongly stable subsetsYoung lattice

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Polynomial rings and ideals; rings of integer-valued polynomials (13F20)

Abstract: We study two partial orders on $[x_1,\mathrm{...},x_n]$, the free abelian monoid on $x_1,\mathrm{...},x_n$. These partial orders, which we call the ``strongly stable and the ``stable partial order, are defined by the property that their filters are precisely the strongly stable and the stable monoid ideals. These ideals arise in the study of generic initial ideals.

Review text

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.

Recommendations

• A short note on generic initial ideals
• On estimating the number of order ideals in partial orders, with some applications
• scientific article; zbMATH DE number 1404666
• A note on the generic initial ideal for complete intersections
• Order ideals and a generalized Krull height theorem
• scientific article; zbMATH DE number 6963979
• scientific article; zbMATH DE number 1163418
• Generalized ideals in ordered left almost semigroups
• scientific article; zbMATH DE number 1187281
• On a partially ordered set associated to ring morphisms

Cited in

(8)

• Poset ideals of \(P\)-partitions and generalized letterplace and determinantal ideals
• Rooted order on minimal generators of powers of some cover ideals
• On an extension of Galligo's theorem concerning the Borel-fixed points on the Hilbert scheme
• On the posets \((\mathcal W_2^k,<)\) and their connections with some homogeneous inequalities of degree 2
• On sortable intervals of monomials
• Toward a theory of monomial preorders
• Letterplace and co-letterplace ideals of posets
• Generic Initial Ideals and Distractions

This page was built for publication: On some partial orders associated to generic initial ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1581439)