Bounding the degrees of the defining equations of Rees rings for certain determinantal and Pfaffian ideals

Abstract: We consider ideals of minors of a matrix, ideals of minors of a symmetric matrix, and ideals of Pfaffians of an alternating matrix. Assuming these ideals are of generic height, we characterize the condition

G_{s}

for these ideals in terms of the heights of other ideals of minors or Pfaffians of the same matrix. We additionally obtain bounds on the generation and concentration degrees of the Rees rings of a subclass of such ideals via specialization of the Rees rings in the generic case. We do this by proving, given sufficient height conditions on ideals of minors or Pfaffians of the matrix, the specialization of a resolution of the Rees ring in the generic case is an approximate resolution of the Rees ring in question. We end the paper by giving some explicit generation and concentration degree bounds.

Review text

In this paper, the authors study the defining ideals of the Rees algebras of certain classes determinantal ideals. They focus on providing new conditions that characterize the \(G_s\) property for these classes of ideals and determining bounds on the degrees in which the ideals of equations of the Rees algebras are generated. More specifically, the authors focus on three types of ideals. For each type, they refer to the maximal possible height of an ideal of that type as the generic height for that class (based on the fact that a generic matrix of each form achieves the maximal height). They develop their results in parallel for ideals of generic height that are generated by all: \begin{itemize} \item[(a)] \(t \times t\) minors of a matrix; \item[(b)] \(t \times t\) minors of a symmetric matrix; and \item[(c)] \(2t \times 2t\) Pfaffians of an alternating matrix. \end{itemize} Note that the matrices used need not be generic, nor have linear entries, for these ideal classes. For each of these three classes of ideals of generic height, the authors characterize the \(G_s\) property in terms of heights of smaller minors/Pfaffians of the matrix associated to the ideal. Note that the presentation matrix of the ideal is not necessary using this approach. Although the matrices used to form the ideals need not be generic, when they are, the authors determine the maximum \(s\) for which the ideals satisfy \(G_s\) based on the sizes of the generic matrices. The technique central to the results bounding the degrees of generators of the ideal of equations of the Rees algebra of an ideal in one of the three classes is to use the height conditions to control the specialization process when passing from the resolution of a power of a generic determinantal or Pfaffian ideal to the corresponding power of an ideal in one of the three studied classes. Note that under this new approach, the typical assumption that the Rees algebra be Cohen-Macaulay is no longer necessary. The authors apply the specialization technique to recover known results and determine new ones regarding when ideals in the three classes are of linear type or of fiber type.

Recommendations

Cites work

Cited in

(5)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Bounding the degrees of the defining equations of Rees rings for certain determinantal and Pfaffian ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144394)