Regular-sequence conjecture for nearly commuting matrices

At least 8 years old · documented by

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 XY−YXXY-YX. Define

θ(s,t)={(s+t) mod n,s+t≠n,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

xst−yt,θ(s,t),x1n,xnn,x11−y2n.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.

References

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.