• Bulletin of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.865-872
• /
• 2020

Let X ⊂ ℙ^r be an integral and non-degenerate variety. Set n := dim(X). Let 𝜌(X)" be the maximal integer such that every zero-dimensional scheme Z ⊂ X smoothable in X is linearly independent. We prove that X is linearly normal if 𝜌(X)" ≥ 2⌈(r + 2)/2⌉ and that 𝜌(X)" < 2⌈(r + 1)/(n + 1)⌉, unless either n = r or X is a rational normal curve.

• Kyungpook Mathematical Journal
• /
• v.54 no.2
• /
• pp.203-209
• /
• 2014

We assume that the existence and termination conjecture for flips holds. A complex projective manifold is said to be of almost general type if the intersection number of the canonical divisor with every very general curve is strictly positive. Let f be an algebraic fiber space from X to Y. Then the manifold X is of almost general type if every very general fiber F and the base space Y of f are of almost general type.

• East Asian mathematical journal
• /
• v.38 no.3
• /
• pp.347-355
• /
• 2022

For a nondegenerate projective variety, it is a classical problem to study its defining equations with respect to a given embedding. In this paper, we precisely determine minimal sets of generators of the defining ideals of some curves of maximal regularity in ℙ⁵.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1707-1714
• /
• 2016

Let $C{\subset}{\mathbb{P}}^r$ be a nondegenerate projective curve of degree d > r + 1 and of maximal regularity. Such curves are always contained in the threefold scroll S(0, 0, r - 2). Also some of such curves are even contained in a rational normal surface scroll. In this paper we study the minimal free resolution of the homogeneous coordinate ring of C in the case where $d{\leq}2r-2$ and C is contained in a rational normal surface scroll. Our main result provides all the graded Betti numbers of C explicitly.

• Journal of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.593-609
• /
• 2002

The order of speciality of an ample invertible Sheaf L on a curve is the least integer m so that $L^{ m}$ is nonspecial. There is a reasonable upper bound of the order of speciality for a simple invertible sheaf in terms of its degree and projective dimension. We study the case where it reaches the upper bound. Moreover we for mulate Castelnuovo's genus bound involving the order of speciality.ality.

• Journal of the Korean Mathematical Society
• /
• v.39 no.5
• /
• pp.665-680
• /
• 2002

For a smooth projective irreducible algebraic curve C of odd gonality, the maximal possible dimension of the variety of special linear systems ${W^r}_d$(C) is d－3r by a result of M. Coppens et at. [4]. This bound also holds if C does not admit an involution. Furthermore it is known that if dim ${W^r}_d(C)qeq$ d-3r-1 for a curve C of odd gonality, then C is of very special type of curves by a recent progress made by G. Martens [11] and Kato-Keem [9]. The purpose of this paper is to pursue similar results for curves of even gonality which does not admit an involution.

• 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.

• 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.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.3
• /
• pp.497-508
• /
• 2021

In this paper, we focus on optimizing the performance of CSURF, which uses the tweaked Montgomery curves. The projective version of elliptic curve arithmetic is slower on tweaked Montgomery curves than on Montgomery curves, so that CSURF is slower than the hybrid version of CSIDH. However, as the square-root Velu formula uses less number of ellitpic curve arithmetic than the standard Velu formula, there is room for optimization We optimize the square-root Velu formula and 2-isogeny formula on tweaked Montgomery curves. Our CSURFis 14% faster than the standard CSURF, and 10.8% slower than the CSIDH using the square-root Velu formula. The constant-time CSURF is 6.8% slower than constant-time CSIDH. Compared to the previous implementations, this is a remarkable result.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.10a
• /
• pp.190-192
• /
• 2018

This paper describes a design of an elliptic curve cryptography (ECC) processor that supports five pseudo-random curves and five Koblitz curves over binary field defined by the NIST standard. The ECC processor adopts the Lopez-Dahab projective coordinate system so that scalar multiplication is computed with modular multiplier and XORs. A word-based Montgomery multiplier of $32-b{\times}32-b$ was designed to implement ECCs of various key lengths using fixed-size hardware. The hardware operation of the ECC processor was verified by FPGA implementation. The ECC processor synthesized using a 0.18-um CMOS cell library occupies 10,674 gate equivalents (GEs) and 9 Kbits RAM at 100 MHz, and the estimated maximum clock frequency is 154 MHz.