• Communications of the Korean Mathematical Society
• /
• v.23 no.1
• /
• pp.11-18
• /
• 2008

For a nef and big divisor D on a smooth projective surface S, the inequality $h^{0}$(S;$O_{s}(D)$) ${\leq}\;D^2\;+\;2$ is well known. For a nef and big canonical divisor KS, there is a better inequality $h^{0}$(S;$O_{s}(K_s)$) ${\leq}\;\frac{1}{2}{K_{s}}^{2}\;+\;2$ which is called the Noether inequality. We investigate an inequality $h^{0}$(S;$O_{s}(D)$) ${\leq}\;\frac{1}{2}D^{2}\;+\;2$ like Clifford theorem in the case of a curve. We show that this inequality holds except some cases. We show the existence of a counter example for this inequality. We prove also the base-locus freeness of the linear system in the exceptional cases.

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1431-1443
• /
• 2016

Let k be a global field of characteristic unequal to two. Let $C:y^2=f(x)$ be a nonsingular projective curve over k, where f(x) is a quartic polynomial over k with nonzero discriminant, and K = k(C) be the function field of C. For each prime spot p on k, let ${\hat{k}}_p$ denote the corresponding completion of k and ${\hat{k}}_p(C)$ the function field of $C{\times}_k{\hat{k}}_p$. Consider the map $$h:Br(K){\rightarrow}{\prod\limits_{\mathfrak{p}}}Br({\hat{k}}_p(C))$$, where p ranges over all the prime spots of k. In this paper, we explicitly describe all the constant classes (coming from Br(k)) lying in the kernel of the map h, which is an obstruction to the Hasse principle for the Brauer groups of the curve. The kernel of h can be expressed in terms of quaternion algebras with their prime spots. We also provide specific examples over ${\mathbb{Q}}$, the rationals, for this kernel.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.352-354
• /
• 2012

본 논문에서는 웹캠 카메라 어레이(camera array)로 얻은 여러 장의 이미지를 빠른 속도로 봉합(stitching)하여 고해상도 이미지를 얻기 위해 그래픽스 하드웨어를 이용하는 병렬 알고리즘을 제시한다. 고정된 레이아웃의 카메라 어레이를 이용하여 평면 혹은 원경을 촬영하는 경우, 기존에 널리 쓰이던 평면 사영 이미지 봉합(planar projective image stitching)과 선형 혼합(linear blending)을 통해 만족스런 결과를 얻을 수 있다. 본 논문에서는 이러한 연산을 그래픽스 하드웨어에서 병렬처리 함으로써 추후 실시간 고해상도 동영상 스트리밍 이미지 병합에 활용할 수 있을 정도로 빠른 속도로 처리하는 방법을 제시한다.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.387-419
• /
• 2019

A fullness conjecture of Kuznetsov says that if a smooth projective variety X admits a full exceptional collection of line bundles of length l, then any exceptional collection of line bundles of length l is full. In this paper, we show that this conjecture holds for X as the blow-up of ${\mathbb{P}}^3$ at a point, a line, or a twisted cubic curve, i.e., any exceptional collection of line bundles of length 6 on X is full. Moreover, we obtain an explicit classification of full exceptional collections of line bundles on such X.

• Journal for History of Mathematics
• /
• v.32 no.3
• /
• pp.97-108
• /
• 2019

This paper is an outgrowth of a study on recent papers and presentations of Hong Sung Sa, Hong Young Hee and/or Lee Seung On on Gugo Wonlyu which is believed to be written by the famous Joseon scholar Jeong Yag-yong. Most of what is discussed here is already explained in these papers and presentations but due to brevity of the papers it is not understood by most of us. Here we present them in more explicit and mathematical ways which, we hope, will make them more accessible to those who have little background in history of classical Joseon mathematics. We also explain them using elementary projective geometry which allow us to visualize Pythagorean polynomials geometrically.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1285-1307
• /
• 2019

For a multiplication R-module M we consider the Zariski topology in the set Spec (M) of prime submodules of M. We investigate the relationship between the algebraic properties of the submodules of M and the topological properties of some subspaces of Spec (M). We also consider some topological aspects of certain frames. We prove that if R is a commutative ring and M is a multiplication R-module, then the lattice Semp (M/N) of semiprime submodules of M/N is a spatial frame for every submodule N of M. When M is a quasi projective module, we obtain that the interval ${\uparrow}(N)^{Semp}(M)=\{P{\in}Semp(M){\mid}N{\subseteq}P\}$ and the lattice Semp (M/N) are isomorphic as frames. Finally, we obtain results about quantales and the classical Krull dimension of M.

• Journal of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1463-1474
• /
• 2019

Let C be a nonsingular projective curve of genus ${\geq}2$ over an algebraically closed field of characteristic 0. For a point P in C, the Weierstrass semigroup H(P) is defined as the set of non-negative integers n for which there exists a rational function f on C such that the order of the pole of f at P is equal to n, and f is regular away from P. A point P in C is referred to as a weak Galois-Weierstrass point if P is a Weierstrass point and there exists a Galois morphism ${\varphi}:C{\rightarrow}{\mathbb{p}}^1$ such that P is a total ramification point of ${\varphi}$. In this paper, we investigate the number of weak Galois-Weierstrass points of which the Weierstrass semigroups are generated by two positive integers.

• The Pure and Applied Mathematics
• /
• v.28 no.2
• /
• pp.143-153
• /
• 2021

In this paper, we study some curvature properties of Sasakian 3-manifolds associated to Ƶ-tensor. It is proved that if a Sasakian 3-manifold (M, g) satisfies one of the conditions (1) the Ƶ-tensor is of Codazzi type, (2) M is Ƶ-semisymmetric, (3) M satisfies Q(Ƶ, R) = 0, (4) M is projectively Ƶ-semisymmetric, (5) M is Ƶ-recurrent, then (M, g) is of constant curvature 1. Several consequences are drawn from these results.

• Journal of the Chungcheong Mathematical Society
• /
• v.36 no.1
• /
• pp.1-8
• /
• 2023

Let C be a smooth projective curve and W a symplectic bundle over C of degree w. Let π : 𝕃𝔾(W) → C be the relative Lagrangian Grassmannian over C and S_d(W) be the space of Lagrangian subbundles of degree w -d. Then Kontsevich's space ${\bar{\mathcal{M}}}_g$(𝕃𝔾(W), β_d) of stable maps to 𝕃𝔾(W) is a compactification of S_d(W). In this article, we give an upper bound on the dimension of ${\bar{\mathcal{M}}}_g$(𝕃𝔾(W), β_d), which is an analogue of a result in [8] for the relative Lagrangian Grassmannian.

• Honam Mathematical Journal
• /
• v.45 no.1
• /
• pp.146-159
• /
• 2023

In this paper, we define ⊕_δ-co-coatomically supplemented and co-coatomically δ-semiperfect modules as a strongly notion of ⊕-co-coatomically supplemented and co-coatomically semiperfect modules with the help of Zhou's radical. We say that a module A is ⊕_δ-co-coatomically supplemented if each co-coatomic submodule of A has a δ-supplement in A which is a direct summand of A. And a module A is co-coatomically δ-semiperfect if each coatomic factor module of A has a projective δ-cover. Also we define co-coatomically amply δ-supplemented modules and we examined the basic properties of these modules. Furthermore, we give a ring characterization for our modules. In particular, a ring R is δ-semiperfect if and only if each free R-module is co-coatomically δ-semiperfect.