English

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

Commutative Algebra 2015-12-29 v1

Abstract

Let X\mathbf X be a generic alternating matrix, t\mathbf t be a generic row vector, and JJ be the ideal Pf4(X)+I1(tX)\operatorname{Pf}_4({\mathbf X})+I_1({\mathbf {t X}}). We prove that JJ is a perfect Gorenstein ideal of grade equal to the grade of Pf4(X)\operatorname{Pf}_4({\mathbf 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 JJ 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 N\mathcal N which is equal to the column space of X\mathbf X, calculated mod Pf4(X)\operatorname{Pf}_4({\mathbf X}). The module N\mathcal N is a self-dual maximal Cohen-Macaulay module of rank two; furthermore, JJ is a Bourbaki ideal for N\mathcal N. The ideals which define the homogeneous coordinate rings of the Pl\"ucker embeddings of the Schubert subvarieties of the Grassmannian of planes are used in the study of the module N\mathcal N.

Keywords

Cite

@article{arxiv.1512.08287,
  title  = {An alternating matrix and a vector, with application to Aluffi algebras},
  author = {Andrew R. Kustin},
  journal= {arXiv preprint arXiv:1512.08287},
  year   = {2015}
}