Conjectures on the ring of commuting matrices

Abstract: Let

X = (x_{i j})

and

Y = (y_{i j})

be generic

n

by

n

matrices and

Z = X Y - Y X

. Let

S = k [x_{11}, ..., x_{n n}, y_{11}, ..., y_{n n}]

, where

k

is a field, let

I

be the ideal generated by the entries of

Z

and let

R = S / I

. We give a conjecture on the first syzygies of

I

, show how these can be used to give a conjecture on the canonical module of

R

. Using this and the Hilbert series of

I

we give a conjecture on the Betti numbers of

I

in the

4 i m e s 4

case. We also give some guesses on the structure of the resolution in general.

This page was built for publication: Conjectures on the ring of commuting matrices