Rigid ideals by deforming quadratic letterplace ideals (Q724286)

Quadratic Letterplace ideals \(L(2,P)\) are the edge ideals of Cohen-Macaulay bipartite graphs. The generators of such an ideal are the monomials \(x_{1,p} x_{2,q}\) where \(p \leq q\) in a finite poset \(P\). The authors consider the case where the Hasse diagram of \(P\) is a rooted tree. In this case they get a complete algebraic understanding of all ideals which are deformations of \(L(2,P)\). In particular the ideals \(L(2,P)\) are unobstructed. The deformed family has a polynomial ring as the base ring. The full family of deformations over this polynomial ring is defined by a rigid ideal \(J(2,P)\), so deformations of \(L(2,P)\) come from a coordinate change in the ideal \(J(2,P)\) followed by mapping the ideal to a quotient polynomial ring. The authors explicitly compute the ideal \(J(2,P)\) by recursion. The authors give examples where \(J(2,P)\) is the ideal of maximal minors of a generic matrix, the Pfaffians of a skew-symmetric matrix, and a ladder determinantal ideal.