Dear all,
Right now, I am considering the following two open problems:
1. Irreducibility of certain matrix varieties, the motivation comes from
the so call Salmon Conjecture in algebraic statistics. In particular, I'd
like to know the irreducibility of the variety {(A,B,C)| Badj(A)C=Cadj(A)B
} where A,B,C are n by n matrices and adj(A) stands for the adjugate. I
proved the subset where A is nonsingular is irreducible, so the
irreducibility of this variety is equivalent to the statement that this
subset is dense.
2. The Cohen-Macaulay property and minimal free resolution of the
commuting ideals. More explicitly, let X=(x_ij), Y=(y_ij) be n by n
matrices with variable entries. The ideal generated by the entries of the
matrix XY-YX is called the commuting ideal. The variety cut out by this
ideal is called the commuting variety. It is still open that whether the
commuting ideal is the defining ideal of the commuting variety, i.e.,
whether the commuting ideal is radical. There are a lot of conjectures
about this ideal, people (I think by people, I mean M. Artin) conjectured
that this ideal is Cohen-Macaulay), also there are a lot of guesses of
what the free resolution should be look like.
There is a long story between me and the commuting ideal ("who" entertains
me all the time) back to when I was a freshman. I remembered that I wrote
a
write-up trying to find a new criterion when two matrices commute. It
turns out that all the question I had at that time are clear now and these
techniques turn out to be very important.
It is a really long email already, I'd better stop.
Best wishes to all and our teacher Shiu-chun Wong.