Structure theory for a class of grade 3 homogeneous ideals defining type 2 compressed rings (Q2154980): Difference between revisions

Let \(k\) be a field, and \(R=k[X,Y,Z]\) a standard graded polynomial ring on three variables. The author studies grade three homogeneous ideals \(I\) of \(R\) defining compressed rings with socle \(k(-s) \oplus k(-2s+1)\) where \(s \geq 3\) is some integer. He proves that all such ideals are obtained by a trimming process introduced by Christensen, Veliche, and Weyman. He also constructs a general resolution for all such ideals which is minimal in sufficiently generic cases. Using this resolution, he gives bounds on the minimal number of generators \(\mu(I)\) of \(I\) depending only on \(s\); moreover, he shows that these bounds are sharp by constructing ideals attaining the upper and lower bounds for all \(s\geq 3\). Finally, he studies the Tor-algebra structure of \(R/I\). It is shown that these rings have Tor algebra class \(G(r)\) for \(s \leq r \leq 2s-1\). Furthermore, he produces ideals \(I\) for all \(s\geq 3\) and all \(r\) with \(s \leq r \leq 2s-1\) such that \(\mathrm{Soc}(R/I) = k(-s) \oplus k(-2s+1)\) and \(R/I\) has Tor-algebra class \(G(r)\), partially answering a question of realizability posed by Avramov.