The antichain obstruction conjecture for projectively unique order polytopes
Antichain obstruction conjecture. If O(P)\operatorname{\mathcal{O}}(\operatorname{\mathscr{P}})O(P) is projectively unique, then P\operatorname{\mathscr{P}}P has no antichain of size 333…