Regular-sequence conjecture for nearly commuting matrices

Let X=(xst)X=(x_{st}) and Y=(yst)Y=(y_{st}) be n×nn\times n matrices of indeterminates, let R=K[X,Y]R=K[X,Y], and let II be generated by the off-diagonal entries of XYYXXY-YX. Define

θ(s,t)={(s+t)modn,s+tn,n,s+t=n.\theta(s,t)=\begin{cases}(s+t)\bmod n,&s+t\neq n,\\ n,&s+t=n.\end{cases}

Consider the elements

xstyt,θ(s,t),x1n,xnn,x11y2n.x_{st}-y_{t,\theta(s,t)},\quad x_{1n},\quad x_{nn},\quad x_{11}-y_{2n}.

Regular-sequence conjecture. The displayed collection is a regular sequence on R/IR/I and hence is part of a system of parameters on R/JR/J and R/QR/Q.

The source reports verification by Macaulay2 for n=3,4n=3,4 over K=QK=\mathbb{Q} and in some small prime characteristics. The general assertion remains open in the supplied account.

Sources & referencesView supporting material

Primary source

Zhibek Kadyrsizova, “Nearly Commuting Matrices”, arXiv:1705.10957 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.