Lattice Stanley projective dimension inequalities conjecture

About 12 years old · traced to

Let LL be a finite atomistic lattice. Choose a monomial ideal I⊂S=K[X1,…,Xn]I\subset S={\mathbb K}[X_1,\ldots,X_n] whose lcm-lattice is isomorphic to LL, and define

pdim⁡1L:=pdim⁡I,pdim⁡2L:=pdim⁡S/I,\operatorname{pdim}_1 L:=\operatorname{pdim} I,\qquad \operatorname{pdim}_2 L:=\operatorname{pdim} S/I, spdim⁡1L:=spdim⁡I,spdim⁡2L:=spdim⁡S/I.\operatorname{spdim}_1 L:=\operatorname{spdim} I,\qquad \operatorname{spdim}_2 L:=\operatorname{spdim} S/I.

Here spdim⁡SM:=n−sdepth⁡SM\operatorname{spdim}_S M:=n-\operatorname{sdepth}_S M.

Lattice Stanley projective dimension conjecture. For all finite lattices LL, the following inequalities hold:

  1. spdim⁡1L≤pdim⁡1L\operatorname{spdim}_1 L\leq\operatorname{pdim}_1 L;
  2. spdim⁡2L≤pdim⁡2L\operatorname{spdim}_2 L\leq\operatorname{pdim}_2 L;
  3. spdim⁡1L≤spdim⁡2L−1\operatorname{spdim}_1 L\leq\operatorname{spdim}_2 L-1.

These inequalities are lattice-theoretic formulations of conjectures concerning Stanley depth for monomial ideals and their quotients. The source presents them as a conjecture from the cited earlier work; no resolution is supplied here.

References

Primary source

Bogdan Ichim, Lukas Katthän and Julio José Moyano-Fernández, “Lcm-lattices and Stanley depth: a first computational approach”, arXiv:1408.4255 (2015).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.