• 제목/요약/키워드: Codimension

Search Result 113, Processing Time 0.019 seconds

A GORENSTEIN IDEAL OF CODIMENSION 4

  • Shin, Yong-Su
    • Journal of the Korean Mathematical Society
    • /
    • v.34 no.1
    • /
    • pp.135-147
    • /
    • 1997
  • Let k be an infinite field and let $X = {P_1, \cdots, P_s}$ be a set of s-distinct points in $P^n$. We denote by $I(X)$ the defining ideal of $X$ in the polynomial ring $R = k[x_0, \cdots, x_n]$ and by A the homogeneous coordinate ring of $X, A = \sum_{t = 0}^{\infty} A_t$.

  • PDF

SOME HILBERT FUNCTIONS FROM k-CONFIGURATIONS ONLY

  • SHIN DONG-SOO
    • Journal of applied mathematics & informatics
    • /
    • v.18 no.1_2
    • /
    • pp.685-689
    • /
    • 2005
  • We find some Hilbert functions of codimension 4, which are obtained from only k-configurations in $\mathbb{P}^{3}$ and support the $3^{rd}$ linear syzygy.

A GLOBAL STUDY ON SUBMANIFOLDS OF CODIMENSION 2 IN A SPHERE

  • Hyun, Jong-Ik
    • The Pure and Applied Mathematics
    • /
    • v.3 no.2
    • /
    • pp.173-179
    • /
    • 1996
  • M be an ($n\geq3$)-dimensional compact connected and oriented Riemannian manifold isometrically immersed on an (n + 2)-dimensional sphere $S^{n+2}$(c). If all sectional curvatures of M are not less than a positive constant c, show that M is a real homology sphere.

  • PDF

SEMI-INVARIANT SUBMANIFOLDS OF CODIMENSION 3 IN A COMPLEX SPACE FORM WITH 𝜉-PARALLEL STRUCTURE JACOBI OPERATOR

  • U-Hang KI;Hyunjung SONG
    • East Asian mathematical journal
    • /
    • v.40 no.1
    • /
    • pp.1-23
    • /
    • 2024
  • Let M be a semi-invariant submanifold of codimension 3 with almost contact metric structure (𝜙, 𝜉, 𝜂, g) in a complex space form Mn+1(c). We denote by A, K and L the second fundamental forms with respect to the unit normal vector C, D and E respectively, where C is the distinguished normal vector, and by R𝜉 = R(𝜉, ·)𝜉 the structure Jacobi operator. Suppose that the third fundamental form t satisfies dt(X, Y) = 2𝜃g(𝜙X, Y) for a scalar 𝜃(≠ 2c) and any vector fields X and Y , and at the same time R𝜉K = KR𝜉 and ∇𝜙𝜉𝜉R𝜉 = 0. In this paper, we prove that if it satisfies ∇𝜉R𝜉 = 0 on M, then M is a real hypersurface of type (A) in Mn(c) provided that the scalar curvature $\bar{r}$ of M holds $\bar{r}-2(n-1)c{\leq}0$.

INVERSE SYSTEM AND ARTINIAN O-SEQUENCES OF CODIMENSION 4

  • Shin, Dong-Soo
    • Journal of applied mathematics & informatics
    • /
    • v.25 no.1_2
    • /
    • pp.513-518
    • /
    • 2007
  • There is a one to one correspondence between Artinian algebras $k[x_1,...,x_n]/Ann(M)$ and finitely generated $k[x_1,...,x_n]-submodules$ M of $k[y_1,...,y_n]$ by Inverse System. In particular, any Artinian level algebra $k[x_1,...,x_n]/Ann(M)$ can be obtained when M is finitely generated by only maximal degree generators. We prove that H = (1, 4, 8, 13,..., 27, 8, 2) is not a level Artinian O-sequence using this inverse system.

SOCLE ELEMENTS OF NON-LEVEL ARTINIAN ALGEBRAS

  • SHIN YONG SU
    • Journal of applied mathematics & informatics
    • /
    • v.17 no.1_2_3
    • /
    • pp.605-614
    • /
    • 2005
  • We show that an Artinian O-sequence $h_0,h_1,{\cdots},h_{d-1},h_d\;=\;h_{d-1},h_{d+l}\;>\;h_d$ of codimension 3 is not level when $h_{d-1}\;=\;h_d\;=\;d + i\;and\;h{d+1}\;=\;d+(i+1)\;for\;i\;=\;1,\;2,\;and\;3$, which is a partial answer to the question in [9]. We also introduce an algorithm for finding noncancelable Betti numbers of minimal free resolutions of all possible Artinian O-sequences based on the theorem of Froberg and Laksov in [2].