• 대한수학회보
• /
• 제55권4호
• /
• pp.1023-1035
• /
• 2018

We strengthen a result of Michiel Kosters by proving the following theorems: (*) Let ${\phi}:W{\rightarrow}V$ be a finite surjective morphism of algebraic varieties over an ample field K. Suppose V has a simple K-rational point a such that $a{\not\in}{\phi}(W(K_{ins}))$. Then, card($V(K){\backslash}{\phi}(W(K))$ = card(K). (**) Let K be an infinite field of positive characteristic and let $f{\in}K[X]$ be a non-constant monic polynomial. Suppose all zeros of f in $\tilde{K}$ belong to $K_{ins}{\backslash}K$. Then, card(K \ f(K)) = card(K).

• 대한수학회지
• /
• 제44권5호
• /
• pp.1079-1092
• /
• 2007

This paper studies the deformation theory of a holomorphic surjective map from a normal compact complex space X to a compact $K\"{a}hler$ manifold Y. We will show that when the target has non-negative Kodaira dimension, all deformations of surjective holomorphic maps $X{\rightarrow}Y$ come from automorphisms of an unramified covering of Y and the underlying reduced varieties of associated components of Hol(X, Y) are complex tori. Under the additional assumption that Y is projective algebraic, this was proved in [7]. The proof in [7] uses the algebraicity in an essential way and cannot be generalized directly to the $K\"{a}hler$ setting. A new ingredient here is a careful study of the infinitesimal deformation of orbits of an action of a complex torus. This study, combined with the result for the algebraic case, gives the proof for the $K\"{a}hler$ setting.

• 대한수학회보
• /
• 제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.

• 대한수학회지
• /
• 제49권1호
• /
• pp.17-30
• /
• 2012

Let D be an arbitrary domain in $\mathbb{C}^n$, n > 1, and $M{\subset}{\partial}D$ be an open piece of the boundary. Suppose that M is connected and ${\partial}D$ is smooth real-analytic of finite type (in the sense of D'Angelo) in a neighborhood of $\bar{M}$. Let f : $D{\rightarrow}\mathbb{C}^n$ be a holomorphic correspondence such that the cluster set $cl_f$(M) is contained in a smooth closed real-algebraic hypersurface M' in $\mathbb{C}^n$ of finite type. It is shown that if f extends continuously to some open peace of M, then f extends as a holomorphic correspondence across M. As an application, we prove that any proper holomorphic correspondence from a bounded domain D in $\mathbb{C}^n$ with smooth real-analytic boundary onto a bounded domain D' in $\mathbb{C}^n$ with smooth real-algebraic boundary extends as a holomorphic correspondence to a neighborhood of $\bar{D}$.

• Journal of applied mathematics & informatics
• /
• 제32권1_2호
• /
• pp.17-26
• /
• 2014

In this paper, we present an algorithm for computing the number of points on the Jacobian varieties of genus 3 hyperelliptic curves of type $y^2=x^7+ax$ over finite prime fields. The problem of determining the group order of the Jacobian varieties of algebraic curves defined over finite fields is important not only arithmetic geometry but also curve-based cryptosystems in order to find a secure curve. Based on this, we provide the explicit formula of the characteristic polynomial of the Frobenius endomorphism of the Jacobian variety of hyperelliptic curve $y^2=x^7+ax$ over a finite field $\mathbb{F}_p$ with $p{\equiv}1$ modulo 12. Moreover, we also introduce some implementation results by using our algorithm.

• 호남수학학술지
• /
• 제19권1호
• /
• pp.21-27
• /
• 1997

We shall define three kinds of points for algebraic varieties associated to the center 3 of U(L) which is the universal enveloping algebra of a finite-dimensional modular Lie algebra over an algebraically closed field F of prime characteristic p. We announce here that $sp_4$(F) with p = 2 has a subregular point.

• 대한수학회지
• /
• 제47권1호
• /
• pp.41-62
• /
• 2010

In this article, we discuss a Grobner basis algorithm related to the stability of algebraic varieties in the sense of Geometric Invariant Theory. We implement the algorithm with Macaulay 2 and use it to prove the stability of certain curves that play an important role in the log minimal model program for the moduli space of curves.

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

We give an alternative proof of a recent result by B. Pasquier stating that for a generalized flag variety X = G/P and an effective ${\mathbb{Q}}-divisor$ D stable with respect to a Borel subgroup the pair (X, D) is Kawamata log terminal if and only if ${\lfloor}D{\rfloor}=0$.

• 대한수학회지
• /
• 제58권2호
• /
• pp.419-437
• /
• 2021

We prove that every minimal symplectic filling of the link of a quotient surface singularity can be obtained from its minimal resolution by applying a sequence of rational blow-downs and symplectic antiflips. We present an explicit algorithm inspired by the minimal model program for complex 3-dimensional algebraic varieties.

• 충청수학회지
• /
• 제32권1호
• /
• pp.15-21
• /
• 2019

Let X be a reduced closed subscheme in ${\mathbb{P}}^n$ and $${\pi}_q:X{\rightarrow}Y={\pi}_q(X){\subset}{\mathbb{P}}^{n-1}$$ be an isomorphic projection from the center $q{\in}{\mathbb{P}}^n{\backslash}X$. Suppose that the minimal free presentation of $I_X$ is of the following form $$R(-3)^{{\beta}2,1}{\oplus}R(-4){\rightarrow}R(-2)^{{\beta}1,1}{\rightarrow}I_X{\rightarrow}0$$. In this paper, we prove that $H^1(I_X(k))=H^1(I_Y(k))$ for all $k{\geq}3$. This implies that Y is k-normal if and only if X is k-normal for $k{\geq}3$. Moreover, we also prove that reg(Y) ${\leq}$ max{reg(X), 4} and that $I_Y$ is generated by homogeneous polynomials of degree ${\leq}4$.