• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.755-761
• /
• 2016

Let A be an abelian variety over a global field K. We show that, in "many" cases, Chen-Kuan's invariant M(A[n]), that is the average number of n-torsion points of A over various residue fields of K, has the minimal possible value.

• Communications of the Korean Mathematical Society
• /
• v.10 no.4
• /
• pp.949-961
• /
• 1995

Let f be a smooth G map from a nonsingular real algebraic G variety to an equivariant Grassmann variety. We use some G vector bundle theory to find a necessary and sufficient condition to approximate f by an entire rational G map. As an application we algebraically approximate a smooth G map between G spheres when G is an abelian group.

• Kyungpook Mathematical Journal
• /
• v.56 no.4
• /
• pp.1135-1140
• /
• 2016

Let A be an abelian variety over a global field K. We know [6, 7] that, in many cases, the average number of n-torsion points of A over various residue fields of K, takes the minimal possible value. In this article, we study several defect cases by calculating the number of Galois orbits.

• Journal of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.263-286
• /
• 2016

We discuss relations between Galois coverings of compact Riemann surfaces and their Jacobi varieties. We prove a theorem of a kind of Galois correspondence for Abelian subvarieties of Jacobi varieties. We also prove a theorem on the sets of points in Jacobi varieties fixed by Galois group actions.

• Honam Mathematical Journal
• /
• v.32 no.1
• /
• pp.45-51
• /
• 2010

Let A be an abelian variety defined over a number field K and let L be a cyclic extension of K with Galois group G = <${\sigma}$> of order n. Let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and of A over L. Assume III(A/L) is finite. Let M(x) be a companion matrix of 1+x+${\cdots}$+$x^{n-1}$ and let $A^x$ be the twist of $A^{n-1}$ defined by $f^{-1}{\circ}f^{\sigma}$ = M(x) where $f:A^{n-1}{\rightarrow}A^x$ is an isomorphism defined over L. In this paper we compute [III(A/K)][III($A^x$/K)]/[III(A/L)] in terms of cohomology, where [X] is the order of an finite abelian group X.

• Journal of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.269-331
• /
• 2015

For a fixed positive integer g, we let $\mathcal{P}_g=\{Y{\in}\mathbb{R}^{(g,g)}{\mid}Y=^tY&gt;0\}$ be the open convex cone in the Euclidean space $\mathbb{R}^{g(g+1)/2}$. Then the general linear group GL(g, $\mathbb{R}$) acts naturally on $\mathcal{P}_g$ by $A{\star}Y=AY^tA(A{\in}GL(g,\mathbb{R}),\;Y{\in}\mathcal{P}_g)$. We introduce a notion of polarized real tori. We show that the open cone $\mathcal{P}_g$ parametrizes principally polarized real tori of dimension g and that the Minkowski modular space 𝔗g = $GL(g,\mathbb{Z}){\backslash}\mathcal{P}_g$ may be regarded as a moduli space of principally polarized real tori of dimension g. We also study smooth line bundles on a polarized real torus by relating them to holomorphic line bundles on its associated polarized real abelian variety.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.4
• /
• pp.763-770
• /
• 2006

Let X be a four-dimensional projective variety defined over the field of complex numbers with only terminal singularities. We prove that if the intersection number of the canonical divisor K with every very general curve is positive (K is almost numerically positive) then every very general proper subvariety of X is of general type in ';he viewpoint of geometric Kodaira dimension. We note that the converse does not hold for simple abelian varieties.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.109-115
• /
• 2020

Recently, Lesieutre constructed a 6-dimensional projective variety X over any field of characteristic zero whose automorphism group Aut(X) is discrete but not finitely generated. As an application, he also showed that X is an example of a projective variety with infinitely many non-isomorphic real structures. On the other hand, there are also several finiteness results of real structures of projective varieties. The aim of this short paper is to give a sufficient condition for the finiteness of real structures on a projective manifold in terms of the structure of the automorphism group. To be more precise, in this paper we show that, when X is a projective manifold of any dimension≥ 2, if Aut(X) does not contain a subgroup isomorphic to the non-abelian free group ℤ ∗ ℤ, then there are only finitely many real structures on X, up to ℝ-isomorphisms.

• Kyungpook Mathematical Journal
• /
• v.49 no.3
• /
• pp.419-424
• /
• 2009

Let J be the Jacobian variety of a hyperelliptic curve over $\mathbb{Q}$. Let M be the field generated by all square roots of rational integers over a finite number field K. Then we prove that the Mordell-Weil group J(M) is the direct sum of a finite torsion group and a free $\mathbb{Z}$-module of infinite rank. In particular, J(M) is not a divisible group. On the other hand, if $\widetilde{M}$ is an extension of M which contains all the torsion points of J over $\widetilde{\mathbb{Q}}$, then $J(\widetilde{M}^{sol})/J(\widetilde{M}^{sol})_{tors}$ is a divisible group of infinite rank, where $\widetilde{M}^{sol}$ is the maximal solvable extension of $\widetilde{M}$.

• Communications of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.375-381
• /
• 2019

In this paper, we introduce an operation denoted by [$Br_e$], a bracket operation, which maps an arbitrary groupoid ($X,{\ast}$) on a set X to another groupoid $(X,{\bullet})=[Br_e](X,{\ast})$ which on groups corresponds to sending a pair of elements (x, y) of X to its commutator $xyx^{-1}y^{-1}$. When applied to classes such as d-algebras, BCK-algebras, a variety of results is obtained indicating that this construction is more generally useful than merely for groups where it is of fundamental importance.