• 대한수학회지
• /
• 제53권2호
• /
• pp.461-473
• /
• 2016

Let C be a projective plane curve of degree d whose singularities are all isolated. Suppose C is not concurrent lines. P loski proved that the Milnor number of an isolated singlar point of C is less than or equal to $(d-1)^2-{\lfloor}\frac{d}{2}{\rfloor}$. In this paper, we prove that the Milnor sum of C is also less than or equal to $(d-1)^2-{\lfloor}\frac{d}{2}{\rfloor}$ and the equality holds if and only if C is a P loski curve. Furthermore, we find a bound for the Milnor sum of projective plane curves in terms of GIT.

• 대한수학회논문집
• /
• 제30권3호
• /
• pp.253-267
• /
• 2015

Given a complex submanifoldM of the projective space $\mathbb{P}$(T), the hyperplane system R on M characterizes the projective embedding of M into $\mathbb{P}$(T) in the following sense: for any two nondegenerate complex submanifolds $M{\subset}\mathbb{P}$(T) and $M^{\prime}{\subset}\mathbb{P}$(T'), there is a projective linear transformation that sends an open subset of M onto an open subset of M' if and only if (M,R) is locally equivalent to (M', R'). Se-ashi developed a theory for the differential invariants of these types of systems of linear differential equations. In particular, the theory applies to systems of linear differential equations that have symbols equivalent to the hyperplane systems on nondegenerate equivariant embeddings of compact Hermitian symmetric spaces. In this paper, we extend this result to hyperplane systems on nondegenerate equivariant embeddings of homogeneous spaces of the first kind.

• 대한수학회보
• /
• 제53권3호
• /
• pp.779-791
• /
• 2016

Transfer of homological properties under base change is a classical field of study. Let $R{\rightarrow}S$ be a ring homomorphism. The relations of Gorenstein projective (or Gorenstein injective) dimensions of unbounded complexes between $U{\otimes}^L_RX$(or $RHom_R(X,U)$) and X are considered, where X is an R-complex and U is an S-complex. In addition, some sufficient conditions are given under which the equalities $G-dim_S(U{\otimes}^L_RX)=G-dim_RX+pd_SU$ and $Gid_S(RHom_R(X,U))=G-dim_RX+id_SU$ hold.

• 대한수학회지
• /
• 제51권3호
• /
• pp.509-525
• /
• 2014

Let R be a commutative ring with identity. An R-module M is said to be w-projective if $Ext\frac{1}{R}$(M,N) is GV-torsion for any torsion-free w-module N. In this paper, we define a ring R to be w-semi-hereditary if every finite type ideal of R is w-projective. To characterize w-semi-hereditary rings, we introduce the concept of w-injective modules and study some basic properties of w-injective modules. Using these concepts, we show that R is w-semi-hereditary if and only if the total quotient ring T(R) of R is a von Neumann regular ring and $R_m$ is a valuation domain for any maximal w-ideal m of R. It is also shown that a connected ring R is w-semi-hereditary if and only if R is a Pr$\ddot{u}$fer v-multiplication domain.

• 대한수학회논문집
• /
• 제35권2호
• /
• pp.469-480
• /
• 2020

Let R be a commutative ring with identity and M a unital R-module. We give a new generalization of exact sequences called e-exact sequences. A sequence $0{\rightarrow}A{\longrightarrow[20]^f}B{\longrightarrow[20]^g}C{\rightarrow}0$ is said to be e-exact if f is monic, Imf ≤_e Kerg and Img ≤_e C. We modify many famous theorems including exact sequences to one includes e-exact sequences like 3 × 3 lemma, four and five lemmas. Next, we prove that for torsion-free module M, the contravariant functor Hom(-, M) is left e-exact and the covariant functor M ⊗ - is right e-exact. Finally, we define e-projective module and characterize it. We show that the direct sum of R-modules is e-projective module if and only if each summand is e-projective.

• 대한수학회논문집
• /
• 제21권1호
• /
• pp.185-191
• /
• 2006

This paper observes that the induced homomorphisms on cohomology groups by a cyclic map are trivial. For a CW-complex X, we use the fact to obtain some conditions of X so that the n-th Gottlieb group $G_n(X)$ is trivial for an even positive integer n. As corollaries, for any positive integer m, we obtain $G_{2m}(S^{2m})\;=\;0\;and\;G_2(CP^m)\;=\;0$ which are due to D. H. Gottlieb and G. Lang respectively, where $S^{2m}$ is the 2m- dimensional sphere and $CP^m$ is the complex projective m-space. Moreover, we show that $G_4(HP^m)\;=\;0\;and\;G_8(II)\;=\;0,\;where\;HP^m$ is the quaternionic projective m-space for any positive integer m and II is the Cayley projective space.

• 제어로봇시스템학회논문지
• /
• 제5권2호
• /
• pp.228-236
• /
• 1999

In this paper, we propose visual-based self-localization and obstacle detection algorithms for indoor mobile robots. The algorithms do not require calibration, and can be worked with only single image by using the projective invariant relationship between natural landmarks. We predefine a risk zone without obstacles for a robot, and update the image of the risk zone, which will be used to detect obstacles inside the zone by comparing the averaging image with the current image of a new risk zone. The positions of the robot and the obstacles are determined by relative positioning. The method does not require the prior information for positioning robot. The robustness and feasibility of our algorithms have been demonstrated through experiments in hallway environments.

• 호남수학학술지
• /
• 제41권4호
• /
• pp.799-812
• /
• 2019

We introduce flat e-covers of modules and define e-perfect rings as a generalization of perfect rings. We prove that a ring is right perfect if and only if it is semilocal and right e-perfect which generalizes a result due to N. Ding and J. Chen. Moreover, in the light of the fact that a ring R is right perfect if and only if flat covers of any R-module are projective covers, we study on the rings over which flat covers of modules are (generalized) locally projective covers, and obtain some characterizations of (semi) perfect, A-perfect and B-perfect rings.

• 대한수학회보
• /
• 제54권5호
• /
• pp.1743-1755
• /
• 2017

Let B be a simply-connected projective variety such that the first cohomology groups of all line bundles on B are zero. Let E be a vector bundle over B and $X={\mathbb{P}}(E)$. It is easily seen that a power of any endomorphism of X takes fibers to fibers. We prove that if X admits an endomorphism which is of degree greater than one on the fibers, then E splits into a direct sum of line bundles.

• 대한수학회지
• /
• 제37권3호
• /
• pp.359-369
• /
• 2000

Let X be an integral Gorenstein projective curve with g:=pa(X) $\geq$ 3. Call $G^r_d$ (X,**) the set of all pairs (L,V) with L$\epsilon$Pic(X), deg(L) = d, V $\subseteq$ H^0$(X,L), dim(V) =r+1 and V spanning L. Assume the existence of integers d, r with 1 $\leq$ r$\leq$ d $\leq$ g-1 such that there exists an irreducible component, , of $G^r_d$(X,**) with dim($\Gamma$) $\geq$ d - 2r and such that the general L$\geq$$\Gamma$ is spanned at every point of Sing(X). Here we prove that dim( ) = d-2r and X is hyperelliptic.