MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


I have a $m \times 2m$ matrix of linear forms over $\mathbb{C}[x,y,z,w]$. It is of the form $M = ( x I - A z -B w | y I - C z - D w$. Here $A,B,C$ and $D$ are $m \times m$ scalar matrices. Let $I$ be the ideal of maximal minors of $M$. I believe that the CM-regularity of this ideal is $m$. However I havve no idea how to show it.

This is not a generic determinantal ideal, so many results for them do not apply in this case. However maybe there is a way to specialize and still keep the CM-regularity.

In general I want to show that for matrices of different size the closed subschemes of $\mathbb{P}^3$ defined by the ideals are non-isomorphic. Under certain assumptions the subscheme will be one dimensional.

I'm not very familiar with results about the CM-regularity (outside Eisenbud's "Commutative Algebra"), so a reference of something will be appreciated as well.


share|cite|improve this question

One possible explanation for what you are claiming is that the ideal of m-minors is equal to the m-th power of the maximal ideal (x,y,z,w). Did you check if this is the case?

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.