COHEN-MACAULAYNESS OF REES ALGEBRAS OF DIAGONAL IDEALS

摘要

Given two determinantal rings over a field k, we consider the Rees algebra of the diagonal ideal, the kernel of the multiplication map. The special fiber ring of the diagonal ideal is the homogeneous coordinate ring of the secant variety. When the Rees algebra and the symmetric algebra coincide, we show that the Rees algebra is Cohen-Macaulay.