pith. sign in

arxiv: 1410.1910 · v3 · pith:UQN2SCRNnew · submitted 2014-10-07 · 🧮 math.AC

Ideals Generated by Principal Minors

classification 🧮 math.AC
keywords mathfrakwhenminorsprincipalringcodimensioncomponentdefined
0
0 comments X
read the original abstract

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

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.