2011/06/05 by Kuei-Nuan Lin, Lin, Kuei-Nuan
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Algebraic structures and combinatorial models #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Mathematics #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.1106.0742
openalex publication_date 2011/06/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
There is a natural epimorphism from the symmetric algebra to the Rees algebra of an ideal. When this epimorphism is an isomorphism, we say that the ideal is of linear type. Given two determinantal rings over a field, we consider the diagonal ideal, the kernel of the multiplication map. We prove that the diagonal ideal is of linear type and recover the defining ideal of the Rees algebra in some special cases. The special fiber ring of the diagonal ideal is the homogeneous coordinate ring of the join variety.