• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1539-1553
• /
• 2023

We show the asymptotics of the volume density function in the class of central harmonic manifolds can be specified arbitrarily and do not determine the geometry.

• Journal of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.383-399
• /
• 2020

Following Matsumoto's definition of continuous orbit equivalence for one-sided subshifts of finite type, we introduce the notion of orbit equivalence to canonically associated dynamical systems, called the limit dynamical systems, of self-similar groups. We show that the limit dynamical systems of two self-similar groups are orbit equivalent if and only if their associated Deaconu groupoids are isomorphic as topological groupoids. We also show that the equivalence class of Cuntz-Pimsner groupoids and the stably isomorphism class of Cuntz-Pimsner algebras of self-similar groups are invariants for orbit equivalence of limit dynamical systems.

• East Asian mathematical journal
• /
• v.37 no.1
• /
• pp.87-95
• /
• 2021

Let K be an imaginary quadratic field with ��K its ring of integers. For a positive integer N, let K(N) be the ray class field of K modulo N��K, and let ��N be the field of meromorphic modular functions of level N whose Fourier coefficients lie in the Nth cyclotomic field. For each h ∈ ��N, we construct a ray class invariant as its special value in terms of the extended form class group, and show that the invariant satisfies the natural transformation formula via the Artin map in the sense of Siegel and Stark. Finally, we establish an isomorphism between the extended form class group and Gal(K(N)/K) without any restriction on K.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.375-384
• /
• 2008

Let $k={\mathbb{F}}_q(T)$ and ${\mathbb{A}}={\mathbb{F}}_q[T]$. Fix a prime divisor ${\ell}$ q-1. In this paper, we consider a ${\ell}$-cyclic real function field $k(\sqrt[{\ell}]P)$ as a subfield of the imaginary bicyclic function field K = $k(\sqrt[{\ell}]P,\;(\sqrt[{\ell}]{-Q})$, which is a composite field of $k(\sqrt[{\ell}]P)$ wit a ${\ell}$-cyclic totally imaginary function field $k(\sqrt[{\ell}]{-Q})$ of class number one. und give various conditions for the class number of $k(\sqrt[{\ell}]{P})$ to be one by using invariants of the relatively cyclic unramified extensions $K/F_i$ over ${\ell}$-cyclic totally imaginary function field $F_i=k(\sqrt[{\ell}]{-P^iQ})$ for $1{\leq}i{\leq}{\ell}-1$.

• Communications of the Korean Mathematical Society
• /
• v.31 no.3
• /
• pp.549-565
• /
• 2016

A Hilbert space operator $T{\in}{\mathfrak{B}}(\mathfrak{H})$ is said to be n-*-paranormal, $T{\in}C(n)$ for short, if ${\parallel}T^*x{\parallel}^n{\leq}{\parallel}T^nx{\parallel}\;{\parallel}x{\parallel}^{n-1}$ for all $x{\in}{\mathfrak{H}}$. We proved some properties of class C(n) and we proved an asymmetric Putnam-Fuglede theorem for n-*-paranormal. Also, we study some invariants of Weyl type theorems. Moreover, we will prove that a class n-* paranormal operator is finite and it remains invariant under compact perturbation and some orthogonality results will be given.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.101-109
• /
• 2002

In this paper, multiple object tracking system in a known environment is proposed. It extracts moving areas shaped on objects in video sequences and detects racks of moving objects. Color invariant co-occurrence matrices are exploited to extract the plausible object blocks and the correspondences between adjacent video frames. The measures of class separability derived from the features of co-occurrence matrices are used to improve the performance of tracking. The experimented results are presented.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1311-1327
• /
• 2010

We introduce the concept of cyclic morphisms with respect to a morphism in the category of pairs as a generalization of the concept of cyclic maps and we use the concept to obtain certain sets of homotopy classes in the category of pairs. For these sets, we get complete or partial answers to the following questions: (1) Is the concept the most general concept in the class of all concepts of generalized Gottlieb subsets introduced by many authors until now? (2) Are they homotopy invariants in the category of pairs? (3) When do they have a group structure?.

• Communications of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.31-43
• /
• 2022

In his notebooks, Srinivasa Ramanujan recorded several modular equations that are useful in the computation of class invariants, continued fractions and the values of theta functions. In this paper, we prove some new modular equations of signature 2 by well-known and useful theta function identities of composite degrees. Further, as an application of this, we evaluate theta function identities.

• Korean Journal of Mathematics
• /
• v.6 no.2
• /
• pp.221-229
• /
• 1998

Let $k$ be a real abelian field and $k_{\infty}$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. Let $A_n$ be the Sylow $p$-subgroup of the ideal class group of $k_n$, the $nth$ layer of the $\mathbb{Z}_p$-extension. By using the main conjecture of Iwasawa theory, we have the following: If $p$ does not divide $\prod_{{{\chi}{\in}\hat{\Delta}_k},{\chi}{\neq}1}B_{1,{\chi}{\omega}^{-1}$, then $A_n$ = {0} for all $n{\geq}0$, where ${\Delta}_k=Gal(k/\mathbb{Q})$ and ${\omega}$ is the Teichm$\ddot{u}$ller character for $p$. The converse of this statement does not hold in general. However, we have the following when $k$ is of prime conductor $q$: Let $q$ be an odd prime different from $p$. and let $k$ be a real subfield of $\mathbb{Q}({\zeta}_q)$. If $p{\mid}{\prod}_{{\chi}{\in}\hat{\Delta}_{k,p},{\chi}{\neq}1}B_{1,{\chi}{\omega}}-1$, then $A_n{\neq}\{0\}$ for all $n{\geq}1$, where ${\Delta}_{k,p}$ is the $Gal(k_{(p)}/\mathbb{Q})$ and $k_{(p)}$ is the decomposition field of $k$ for $p$.

• Journal of the Korean Mathematical Society
• /
• v.55 no.3
• /
• pp.623-669
• /
• 2018

In Donaldson-Thomas theory, moduli spaces are locally the critical locus of a holomorphic function defined on a complex manifold. In this paper, we develop a theory of critical virtual manifolds which are the gluing of critical loci of holomorphic functions. We show that a critical virtual manifold X admits a natural semi-perfect obstruction theory and a virtual fundamental class $[X]^{vir}$ whose degree $DT(X)=deg[X]^{vir}$ is the Euler characteristic ${\chi}_{\nu}$(X) weighted by the Behrend function ${\nu}$. We prove that when the critical virtual manifold is orientable, the local perverse sheaves of vanishing cycles glue to a perverse sheaf P whose hypercohomology has Euler characteristic equal to the Donaldson-Thomas type invariant DT(X). In the companion paper, we proved that a moduli space X of simple sheaves on a Calabi-Yau 3-fold Y is a critical virtual manifold whose perverse sheaf categorifies the Donaldson-Thomas invariant of Y and also gives us a mathematical theory of Gopakumar-Vafa invariants.