• Title/Summary/Keyword: perfect ideals of grade 3

Search Result 7, Processing Time 0.025 seconds

STRUCTURE THEOREMS FOR SOME CLASSES OF GRADE FOUR GORENSTEIN IDEALS

  • Cho, Yong Sung;Kang, Oh-Jin;Ko, Hyoung June
    • Bulletin of the Korean Mathematical Society
    • /
    • v.54 no.1
    • /
    • pp.99-124
    • /
    • 2017
  • The structure theorems [3, 6, 21] for the classes of perfect ideals of grade 3 have been generalized to the structure theorems for the classes of perfect ideals linked to almost complete intersections of grade 3 by a regular sequence [15]. In this paper we obtain structure theorems for two classes of Gorenstein ideals of grade 4 expressed as the sum of a perfect ideal of grade 3 (except a Gorenstein ideal of grade 3) and an almost complete intersection of grade 3 which are geometrically linked by a regular sequence.

ON THE STRUCTURE OF THE GRADE THREE PERFECT IDEALS OF TYPE THREE

  • Choi, Eun-Jeong;Kang, Oh-Jin;Ko, Hyoung-June
    • Communications of the Korean Mathematical Society
    • /
    • v.23 no.4
    • /
    • pp.487-497
    • /
    • 2008
  • Buchsbaum and Eisenbud showed that every Gorenstein ideal of grade 3 is generated by the submaximal order pfaffians of an alternating matrix. In this paper, we describe a method for constructing a class of type 3, grade 3, perfect ideals which are not Gorenstein. We also prove that they are algebraically linked to an even type grade 3 almost complete intersection.

PERFECT IDEALS OF GRADE THREE DEFINED BY SKEW-SYMMETRIZABLE MATRICES

  • Cho, Yong-Sung;Kang, Oh-Jin;Ko, Hyoung-June
    • Bulletin of the Korean Mathematical Society
    • /
    • v.49 no.4
    • /
    • pp.715-736
    • /
    • 2012
  • Brown provided a structure theorem for a class of perfect ideals of grade 3 with type ${\lambda}$ > 0. We introduced a skew-symmetrizable matrix to describe a structure theorem for complete intersections of grade 4 in a Noetherian local ring. We construct a class of perfect ideals I of grade 3 with type 2 defined by a certain skew-symmetrizable matrix. We present the Hilbert function of the standard $k$-algebras R/I, where R is the polynomial ring $R=k[v_0,v_1,{\ldots},v_m]$ over a field $k$ with indeterminates $v_i$ and deg $v_i=1$.

HILBERT FUNCTIONS OF STANDARD k-ALGEBRAS DEFINED BY SKEW-SYMMETRIZABLE MATRICES

  • Kang, Oh-Jin
    • Journal of the Korean Mathematical Society
    • /
    • v.54 no.5
    • /
    • pp.1379-1410
    • /
    • 2017
  • Kang and Ko introduced a skew-symmetrizable matrix to describe a structure theorem for complete intersections of grade 4. Let $R=k[w_0,\;w_1,\;w_2,\;{\ldots},\;w_m]$ be the polynomial ring over an algebraically closed field k with indetermiantes $w_l$ and deg $w_l=1$, and $I_i$ a homogeneous perfect ideal of grade 3 with type $t_i$ defined by a skew-symmetrizable matrix $G_i(1{\leq}t_i{\leq}4)$. We show that for m = 2 the Hilbert function of the zero dimensional standard k-algebra $R/I_i$ is determined by CI-sequences and a Gorenstein sequence. As an application of this result we show that for i = 1, 2, 3 and for m = 3 a Gorenstein sequence $h(R/H_i)=(1,\;4,\;h_2,\;{\ldots},\;h_s)$ is unimodal, where $H_i$ is the sum of homogeneous perfect ideals $I_i$ and $J_i$ which are geometrically linked by a homogeneous regular sequence z in $I_i{\cap}J_i$.

A CLASS OF GRADE THREE DETERMINANTAL IDEALS

  • Kang, Oh-Jin;Kim, Joo-Hyung
    • Honam Mathematical Journal
    • /
    • v.34 no.2
    • /
    • pp.279-287
    • /
    • 2012
  • Let $k$ be a field containing the field $\mathbb{Q}$ of rational numbers and let $R=k[x_{ij}{\mid}1{\leq}i{\leq}m,\;1{\leq}j{\leq}n]$ be the polynomial ring over a field $k$ with indeterminates $x_{ij}$. Let $I_t(X)$ be the determinantal ideal generated by the $t$-minors of an $m{\times}n$ matrix $X=(x_{ij})$. Eagon and Hochster proved that $I_t(X)$ is a perfect ideal of grade $(m-t+1)(n-t+1)$. We give a structure theorem for a class of determinantal ideals of grade 3. This gives us a characterization that $I_t(X)$ has grade 3 if and only if $n=m+2$ and $I_t(X)$ has the minimal free resolution $\mathbb{F}$ such that the second dierential map of $\mathbb{F}$ is a matrix defined by complete matrices of grade $n+2$.