The equations defining blowup algebras of height three Gorenstein ideals

Abstract

We find the defining equations of Rees rings of linearly presented height three Gorenstein ideals. To prove our main theorem we use local cohomology techniques to bound the maximum generator degree of the torsion submodule of symmetric powers in order to conclude that the defining equations of the Rees algebra and the special fiber ring have the same image in the symmetric algebra. We show that this image is the unmixed part of the ideal generated by the maximal minors of a matrix of linear forms which is annihilated by a vector of indeterminates, and otherwise has maximal possible grade. An important step of the proof is the calculation of the degree of the variety parametrized by the forms generating the grade three Gorenstein ideal.

Numerous improvements to the exposition have been made

References in corpus (2)

• Rees Algebras and Almost Linearly Presented Ideals
• Equations of Rees algebras of ideals in two variables

Cited by in corpus (6)

• Degree and birationality of multi-graded rational maps
• Blowup algebras of rational normal scrolls
• Rees algebra of maximal order Pfaffians and its diagonal subalgebras
• Algebraic algorithms for even circuits in graphs
• Gröbner bases and equations of the multi-Rees algebras
• Equations of the multi-Rees algebra of fattened coordinate subspaces