English

Ideals Generated by Principal Minors

Commutative Algebra 2015-08-04 v3

Abstract

A minor is principal means it is defined by the same row and column indices. Let XX be a square generic matrix, K[X]K[X] the polynomial ring in entries of XX, over an algebraically closed field, KK. For fixed tnt\leq n, let Pt\mathfrak P_t denote the ideal generated by the size tt principal minors of XX. When t=2t=2 the resulting quotient ring K[X]/P2K[X]/\mathfrak P_2 is a normal complete intersection domain. When t>2t>2 we break the problem into cases depending on a fixed rank, rr, of XX. We show when r=nr=n for any tt, the respective images of Pt\mathfrak P_t and Pnt\mathfrak P_{n-t} in the localized polynomial ring, where we invert detX\det X, are isomorphic. From that we show the algebraic set given by Pn1\mathfrak P_{n-1} has a codimension nn component, plus a codimension 4 component defined by the determinantal ideal (which is given by all the submaximal minors of XX). When n=4n=4 the two components are linked, and we prove some consequences.

Keywords

Cite

@article{arxiv.1410.1910,
  title  = {Ideals Generated by Principal Minors},
  author = {Ashley K. Wheeler},
  journal= {arXiv preprint arXiv:1410.1910},
  year   = {2015}
}
R2 v1 2026-06-22T06:15:41.579Z