A matrix of linear forms which is annihilated by a vector of indeterminates

详细信息    查看全文

• 作者：Andrew R. Kustin^a ; ^{kustin@math.sc.edu" class="auth_mail" title="E-mail the corresponding author} ; Claudia Polini^b ; ^{cpolini@nd.edu" class="auth_mail" title="E-mail the corresponding author} ; Bernd Ulrich^c ; ^{ulrich@math.purdue.edu" class="auth_mail" title="E-mail the corresponding author}
• 关键词：primary ; 13D02 ; secondary ; 13C40 ; 13A30
• 刊名：Journal of Algebra
• 出版年：2017
• 出版时间：1 January 2017
• 年：2017
• 卷：469
• 期：Complete
• 页码：120-187
• 全文大小：884 K

文摘

Let 9316302708&_mathId=si1.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=da33e040a2a67cab0d86a0551e241aaa" title="Click to view the MathML source">R=k[T₁,…,T_f]$R=k[T_1,\dots ,T_{\mathfrak{f}}]$ be a standard graded polynomial ring over the field k   and Ψ be an 9316302708&_mathId=si17.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=d837ebf25b79345f1f0758fe51975dcf" title="Click to view the MathML source">f×g$\mathfrak{f}\times \mathfrak{g}$ matrix of linear forms from R  , where 9316302708&_mathId=si3.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=9f6d19d415df51087d17bbd6fde17af4" title="Click to view the MathML source">1≤g<f$1\le \mathfrak{g}<\mathfrak{f}$. Assume 9316302708&_mathId=si4.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=bd7f97c23acbb889517dcc166518dcdf">9316302708-si4.gif">$\left[\begin{array}{ccc}\hfill T_1\hfill & \hfill \cdots \hfill & \hfill T_{\mathfrak{f}}\hfill \end{array}\right]\mathrm{\Psi }$ is 0 and that 9316302708&_mathId=si21.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=df71cd7ce3d4e8236e6d60803c8d81e4">9316302708-si21.gif">$\mathrm{grade}{I}_{\mathfrak{g}}(\mathrm{\Psi })$ is exactly one short of the maximum possible grade. We resolve 9316302708&_mathId=si6.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=08fee340632b4bd4f0c63d7ab5435dd2">9316302708-si6.gif">$\bar{R}=R/I_{\mathfrak{g}}(\mathrm{\Psi })$, prove that 9316302708&_mathId=si151.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=55cf7177acd17daabddc0907f1fa708b">9316302708-si151.gif">$\bar{R}$ has a 9316302708&_mathId=si186.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=a42d4c1f99ce9716017e4934ce635a44" title="Click to view the MathML source">g$\mathfrak{g}$-linear resolution, record explicit formulas for the h  -vector and multiplicity of 9316302708&_mathId=si151.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=55cf7177acd17daabddc0907f1fa708b">9316302708-si151.gif">$\bar{R}$, and prove that if 9316302708&_mathId=si9.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=767bee6afcef3d4dcbaf6d992b896bd2" title="Click to view the MathML source">f−g$\mathfrak{f}-\mathfrak{g}$ is even, then the ideal 9316302708&_mathId=si10.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=a0c5f1cf3205f50b662e9d4d73bbaa62" title="Click to view the MathML source">I_g(Ψ)$I_{\mathfrak{g}}(\mathrm{\Psi })$ is unmixed. Furthermore, if 9316302708&_mathId=si9.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=767bee6afcef3d4dcbaf6d992b896bd2" title="Click to view the MathML source">f−g$\mathfrak{f}-\mathfrak{g}$ is odd, then we identify an explicit generating set for the unmixed part, 9316302708&_mathId=si11.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=ca7b776a8eef666ba672c758d7de8245" title="Click to view the MathML source">I_g(Ψ)^unm$I_{\mathfrak{g}}{(\mathrm{\Psi })}^{\text{unm}}$, of 9316302708&_mathId=si10.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=a0c5f1cf3205f50b662e9d4d73bbaa62" title="Click to view the MathML source">I_g(Ψ)$I_{\mathfrak{g}}(\mathrm{\Psi })$, resolve 9316302708&_mathId=si13.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=c922511c33b1157a15298174313ccbbb" title="Click to view the MathML source">R/I_g(Ψ)^unm$R/I_{\mathfrak{g}}{(\mathrm{\Psi })}^{\text{unm}}$, and record explicit formulas for the h  -vector of 9316302708&_mathId=si13.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=c922511c33b1157a15298174313ccbbb" title="Click to view the MathML source">R/I_g(Ψ)^unm$R/I_{\mathfrak{g}}{(\mathrm{\Psi })}^{\text{unm}}$. (The rings 9316302708&_mathId=si14.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=d4edb59f81e78f7be3171bfe270d7f12" title="Click to view the MathML source">R/I_g(Ψ)$R/I_{\mathfrak{g}}(\mathrm{\Psi })$ and 9316302708&_mathId=si13.gif&_user=111111111&_pii=S0021869316302708&_rdoc=1&_issn=00218693&md5=c922511c33b1157a15298174313ccbbb" title="Click to view the MathML source">R/I_g(Ψ)^unm$R/I_{\mathfrak{g}}{(\mathrm{\Psi })}^{\text{unm}}$ automatically have the same multiplicity.) These results have applications to the study of the blow-up algebras associated to linearly presented grade three Gorenstein ideals.