An alternating matrix and a vector, with application to Aluffi algebras

详细信息    查看全文

• 作者：Andrew R. Kustin¹ ; ^{kustin@math.sc.edu}
• 关键词：primary ; 13H10 ; secondary ; 13A30
• 刊名：Journal of Algebra
• 出版年：2017
• 出版时间：15 February 2017
• 年：2017
• 卷：472
• 期：Complete
• 页码：115-145
• 全文大小：558 K
• 卷排序：472

文摘

Let X be a generic alternating matrix, t be a generic row vector, and J   be the ideal Pf4(X)+I1(tX)Pf4(X)+I1(tX). We prove that J   is a perfect Gorenstein ideal of grade equal to the grade of Pf4(X)Pf4(X) plus two. This result is used by Ramos and Simis in their calculation of the Aluffi algebra of the module of derivations of the homogeneous coordinate ring of a smooth projective hypersurface. We also prove that J   defines a domain, or a normal ring, or a unique factorization domain if and only if the base ring has the same property. The main object of study in the present paper is the module NN which is equal to the column space of X, calculated mod Pf4(X)Pf4(X). The module NN is a self-dual maximal Cohen–Macaulay module of rank two; furthermore, J   is a Bourbaki ideal for NN. The ideals which define the homogeneous coordinate rings of the Plücker embeddings of the Schubert subvarieties of the Grassmannian of planes are used in the study of the module NN.