Showing 1–15 of 15 results for author: Kim, M K

Equivariant pointwise clutching maps

Authors: Min Kyu Kim

Abstract: In the paper, we introduce the terminology equivariant pointwise clutching map. By using this, we give details on how to glue an equivariant vector bundle over a finite set so as to obtain a new Lie group representation such that the quotient map from the bundle to the representation is equivariant. Then, we investigate the topology of the set of all equivariant pointwise clutching maps with respe… ▽ More In the paper, we introduce the terminology equivariant pointwise clutching map. By using this, we give details on how to glue an equivariant vector bundle over a finite set so as to obtain a new Lie group representation such that the quotient map from the bundle to the representation is equivariant. Then, we investigate the topology of the set of all equivariant pointwise clutching maps with respect to an equivariant vector bundle over a finite set. Results of the paper play a key role in classifying equivariant vector bundles over two-surfaces in other papers. △ Less

Submitted 1 April, 2015; originally announced April 2015.

Comments: 20 pages, 3 figures

Hamiltonian circle action with self-indexing moment map

Authors: Yunhyung Cho, Min Kyu Kim

Abstract: Let $(M,ω)$ be a $2n$-dimensional smooth compact symplectic manifold equipped with a Hamiltonian circle action with only isolated fixed points and let $μ: M \rightarrow \R$ be a corresponding moment map. Let $Λ_{2k}$ be the set of all fixed points of index $2k$. In this paper, we will show that if $μ$ is constant on $Λ_{2k}$ for each $k$, then $(M,ω)$ satisfies the hard Lefschetz property. In part… ▽ More Let $(M,ω)$ be a $2n$-dimensional smooth compact symplectic manifold equipped with a Hamiltonian circle action with only isolated fixed points and let $μ: M \rightarrow \R$ be a corresponding moment map. Let $Λ_{2k}$ be the set of all fixed points of index $2k$. In this paper, we will show that if $μ$ is constant on $Λ_{2k}$ for each $k$, then $(M,ω)$ satisfies the hard Lefschetz property. In particular, if $(M,ω)$ admits a self-indexing moment map, i.e. $μ(p) = 2k$ for every $p \in Λ_{2k}$ and $k=0,1,\cdots,n,$ then $(M,ω)$ satisfies the hard Lefschetz property. △ Less

Submitted 23 December, 2013; originally announced December 2013.

Comments: 7 pages, 2 figures

Hard Lefschetz Property for Hamiltonian torus actions on 6-dimensional GKM manifolds

Authors: Yunhyung Cho, Min Kyu Kim

Abstract: In this paper, we study the hard Lefschetz property of a symplectic manifold which admits a Hamiltonian torus action. More precisely, let $(M,ω)$ be a 6-dimensional compact symplectic manifold with a Hamiltonian $T^2$-action. We will show that if the moment map image of $M$ is a GKM-graph and if the graph is index-increasing, then $(M,ω)$ satisfies the hard Lefschetz property. In this paper, we study the hard Lefschetz property of a symplectic manifold which admits a Hamiltonian torus action. More precisely, let $(M,ω)$ be a 6-dimensional compact symplectic manifold with a Hamiltonian $T^2$-action. We will show that if the moment map image of $M$ is a GKM-graph and if the graph is index-increasing, then $(M,ω)$ satisfies the hard Lefschetz property. △ Less

Submitted 24 December, 2018; v1 submitted 31 October, 2013; originally announced October 2013.

Comments: 25 pages, final version (to appear in J. Symplectic Geom.)

MSC Class: 53D20

Crystal $\Bla$ in $B(\infty)$ for $G_2$ type Lie Algebra

Authors: Min Kyu Kim, Hyeonmi Lee

Abstract: A previous work gave a combinatorial description of the crystal $B(\infty)$, in terms of certain simple Young tableaux referred to as the marginally large tableaux, for finite dimensional simple Lie algebras. Using this result, we present an explicit description of the crystal $B(λ)$, in terms of the marginally large tableaux, for the $G_2$ Lie algebra type. We also provide a new description of… ▽ More A previous work gave a combinatorial description of the crystal $B(\infty)$, in terms of certain simple Young tableaux referred to as the marginally large tableaux, for finite dimensional simple Lie algebras. Using this result, we present an explicit description of the crystal $B(λ)$, in terms of the marginally large tableaux, for the $G_2$ Lie algebra type. We also provide a new description of $B(\la)$, in terms of Nakajima monomials, that is in natural correspondence with our tableau description. △ Less

Submitted 23 October, 2013; originally announced October 2013.

Comments: 13 pages, submitted

Unimodality of the Betti numbers for Hamiltonian circle action with isolated fixed points

Authors: Yunhyung Cho, Min Kyu Kim

Abstract: Let $(M,ω)$ be an eight-dimensional closed symplectic manifold equipped with a Hamiltonian circle action with only isolated fixed points. In this article, we will show that the Betti numbers of $M$ are unimodal, i.e. $b_0(M) \leq b_2(M) \leq b_4(M)$. Let $(M,ω)$ be an eight-dimensional closed symplectic manifold equipped with a Hamiltonian circle action with only isolated fixed points. In this article, we will show that the Betti numbers of $M$ are unimodal, i.e. $b_0(M) \leq b_2(M) \leq b_4(M)$. △ Less

Submitted 5 September, 2013; originally announced September 2013.

Comments: 4pages

An example of circle actions on symplectic Calabi-Yau manifolds with non-empty fixed points

Authors: Yunhyung Cho, Min Kyu Kim

Abstract: Let $(X,σ,J)$ be a compact Kähler Calabi-Yau manifold equipped with a symplectic circle action. By Frankel's theorem \cite{F}, the action on $X$ is non-Hamiltonian and $X$ does not have any fixed point. In this paper, we will show that a symplectic circle action on a compact non-Kähler symplectic Calabi-Yau manifold may have a fixed point. More precisely, we will show that the symplectic $S^1$-man… ▽ More Let $(X,σ,J)$ be a compact Kähler Calabi-Yau manifold equipped with a symplectic circle action. By Frankel's theorem \cite{F}, the action on $X$ is non-Hamiltonian and $X$ does not have any fixed point. In this paper, we will show that a symplectic circle action on a compact non-Kähler symplectic Calabi-Yau manifold may have a fixed point. More precisely, we will show that the symplectic $S^1$-manifold constructed by D. McDuff \cite{McD} has the vanishing first Chern class. This manifold has the Betti numbers $b_1 = 3$, $b_2 = 8$, and $b_3 = 12$. In particular, it does not admit any Kähler structure. △ Less

Submitted 2 April, 2013; originally announced April 2013.

Comments: 15 pages

Embedded surfaces for symplectic circle actions

Authors: Yunhyung Cho, Min Kyu Kim, Dong Youp Suh

Abstract: The purpose of this article is to characterize symplectic and Hamiltonian circle actions on symplectic manifolds in terms of symplectic embeddings of Riemann surfaces. More precisely, we will show that (1) if $(M,ω)$ admits a Hamiltonian $S^1$-action, then there exists an $S^1$-invariant symplectic $2$-sphere $S$ in $(M,ω)$ such that $\langle c_1(M), [S] \rangle > 0$, and (2) if the action is no… ▽ More The purpose of this article is to characterize symplectic and Hamiltonian circle actions on symplectic manifolds in terms of symplectic embeddings of Riemann surfaces. More precisely, we will show that (1) if $(M,ω)$ admits a Hamiltonian $S^1$-action, then there exists an $S^1$-invariant symplectic $2$-sphere $S$ in $(M,ω)$ such that $\langle c_1(M), [S] \rangle > 0$, and (2) if the action is non-Hamiltonian, then there exists an $S^1$-invariant symplectic $2$-torus $T$ in $(M,ω)$ such that $\langle c_1(M), [T] \rangle = 0$. As applications, we will give a very simple proof of the following well-known theorem which was proved by Atiyah-Bott \cite{AB}, Lupton-Oprea \cite{LO}, and Ono \cite{O2} : suppose that $(M,ω)$ is a smooth closed symplectic manifold satisfying $c_1(TM)=λ\cdot [ω]$ for some $λ\in \R$ and let $G$ be a compact connected Lie group acting effectively on $M$ preserving $ω$. Then (1) if $λ< 0$, then $G$ must be trivial, (2) if $λ=0$, then the $G$-action is non-Hamiltonian, and (3) if $λ> 0$, then the $G$-action is Hamiltonian. △ Less

Submitted 2 January, 2016; v1 submitted 20 July, 2012; originally announced July 2012.

Comments: 16 pages

MSC Class: 53D05; 53D20

Log-concavity of complexity one Hamiltonian torus actions

Authors: Yunhyung Cho, Min Kyu Kim

Abstract: Let $(M,ω)$ be a closed $2n$-dimensional symplectic manifold equipped with a Hamiltonian $T^{n-1}$-action. Then Atiyah-Guillemin-Sternberg convexity theorem implies that the image of the moment map is an $(n-1)$-dimensional convex polytope. In this paper, we show that the density function of the Duistermaat-Heckman measure is log-concave on the image of the moment map. Let $(M,ω)$ be a closed $2n$-dimensional symplectic manifold equipped with a Hamiltonian $T^{n-1}$-action. Then Atiyah-Guillemin-Sternberg convexity theorem implies that the image of the moment map is an $(n-1)$-dimensional convex polytope. In this paper, we show that the density function of the Duistermaat-Heckman measure is log-concave on the image of the moment map. △ Less

Submitted 14 September, 2011; originally announced September 2011.

Comments: 5 pages, 1 figure

MSC Class: 53D05; 53D20

Journal ref: C. R. Math. Acad. Sci. Paris 350 (2012), no. 17-18, 845-848

Classification of equivariant vector bundles over real projective plane

Authors: Min Kyu Kim

Abstract: We classify equivariant topological complex vector bundles over real projective plane under a compact Lie group (not necessarily effective) action. It is shown that nonequivariant Chern classes and isotropy representations at (at most) three points are sufficient to classify equivariant vector bundles over real projective plane except one case. To do it, we relate the problem to classification on… ▽ More We classify equivariant topological complex vector bundles over real projective plane under a compact Lie group (not necessarily effective) action. It is shown that nonequivariant Chern classes and isotropy representations at (at most) three points are sufficient to classify equivariant vector bundles over real projective plane except one case. To do it, we relate the problem to classification on two-sphere through the covering map because equivariant vector bundles over two-sphere have been already classified. △ Less

Submitted 12 March, 2011; originally announced March 2011.

MSC Class: Primary 57S25; 55P91; Secondary 20C99

Classification of equivariant vector bundles over two-torus

Authors: Min Kyu Kim

Abstract: We exhaustively classify topological equivariant complex vector bundles over two-torus under a compact Lie group (not necessarily effective) action. It is shown that inequivariant Chern classes and isotropy representations at (at most) six points are sufficient to classify equivariant vector bundles except a few cases. To do it, we calculate homotopy of the set of equivariant clutching maps. And,… ▽ More We exhaustively classify topological equivariant complex vector bundles over two-torus under a compact Lie group (not necessarily effective) action. It is shown that inequivariant Chern classes and isotropy representations at (at most) six points are sufficient to classify equivariant vector bundles except a few cases. To do it, we calculate homotopy of the set of equivariant clutching maps. And, classification on real projective plane, Klein bottle will appear soon △ Less

Submitted 9 July, 2010; v1 submitted 5 May, 2010; originally announced May 2010.

Comments: 45pages

MSC Class: 57S25; 55P91; 20C99; 19L47

Classification of equivariant vector bundles over two-sphere

Authors: Min Kyu Kim

Abstract: We exhaustively classify topological equivariant complex vector bundles over two-sphere under a compact Lie group (not necessarily effective) action. It is shown that inequivariant Chern classes and isotropy representations at (at most) three points are sufficient to classify equivariant vector bundles except a few cases. To do it, we calculate equivariant homotopy of the set of equivariant clutch… ▽ More We exhaustively classify topological equivariant complex vector bundles over two-sphere under a compact Lie group (not necessarily effective) action. It is shown that inequivariant Chern classes and isotropy representations at (at most) three points are sufficient to classify equivariant vector bundles except a few cases. To do it, we calculate equivariant homotopy of the set of equivariant clutching maps. Holomorphic version of this will be treated in other paper. Classification on two-torus, real projective plane, Klein bottle will appear soon. △ Less

Submitted 10 March, 2011; v1 submitted 5 May, 2010; originally announced May 2010.

Comments: 48pages

MSC Class: 57S25; 55P91; 20C99

On dimension folding of matrix- or array-valued statistical objects

Authors: Bing Li, Min Kyung Kim, Naomi Altman

Abstract: We consider dimension reduction for regression or classification in which the predictors are matrix- or array-valued. This type of predictor arises when measurements are obtained for each combination of two or more underlying variables--for example, the voltage measured at different channels and times in electroencephalography data. For these applications, it is desirable to preserve the array s… ▽ More We consider dimension reduction for regression or classification in which the predictors are matrix- or array-valued. This type of predictor arises when measurements are obtained for each combination of two or more underlying variables--for example, the voltage measured at different channels and times in electroencephalography data. For these applications, it is desirable to preserve the array structure of the reduced predictor (e.g., time versus channel), but this cannot be achieved within the conventional dimension reduction formulation. In this paper, we introduce a dimension reduction method, to be called dimension folding, for matrix- and array-valued predictors that preserves the array structure. In an application of dimension folding to an electroencephalography data set, we correctly classify 97 out of 122 subjects as alcoholic or nonalcoholic based on their electroencephalography in a cross-validation sample. △ Less

Submitted 25 February, 2010; originally announced February 2010.

Comments: Published in at http://dx.doi.org/10.1214/09-AOS737 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS737 MSC Class: 62H12; 62G08; 62-09 (Primary)

Journal ref: Annals of Statistics 2010, Vol. 38, No. 2, 1094-1121

On Homoclinic points, Recurrences and Chain recurrences of volume-preserving diffeomorphisms without genericity

Authors: Jaeyoo Choy, Hahng-Yun Chu, Min Kyu Kim

Abstract: Let $M$ be a manifold with a volume form $ω$ and $f : M \to M$ be a diffeomorphism of class $\mathcal{C}^1$ that preserves $ω$. In this paper, we do \textit{not} assume $f$ is $\mathcal{C}^1$-generic. We have two main themes in the paper: (1) the chain recurrence; (2) relations among recurrence points, homoclinic points, shadowability and hyperbolicity. For (1) (without assuming $M$ is compact),… ▽ More Let $M$ be a manifold with a volume form $ω$ and $f : M \to M$ be a diffeomorphism of class $\mathcal{C}^1$ that preserves $ω$. In this paper, we do \textit{not} assume $f$ is $\mathcal{C}^1$-generic. We have two main themes in the paper: (1) the chain recurrence; (2) relations among recurrence points, homoclinic points, shadowability and hyperbolicity. For (1) (without assuming $M$ is compact), we have the theorem: if $f$ is Lagrange stable, then $M$ is a chain recurrent set. If $M$ is compact, then the Lagrange-stability is automatic. For (2) (assuming the compactness of $M$), we prove some various implications among notions, such as: (i) the $\mathcal{C}^1$-stable shadowability equals to the hyperbolicity of $M$; (ii) if a point $p\in M$ has a recurrence point in the unstable manifold $W^u (p, f)$ and there is no homoclinic point of $p,$ then $f$ is nonshadowable; (iii) if $f$ has the shadowing property and $p$ has a recurrence point in $W^u (p, f),$ then the recurrent point is in the limit set of homoclinic points of $p$. △ Less

Submitted 7 April, 2009; originally announced April 2009.

Comments: 17 pages

MSC Class: 37C50 (Primary) 37C29; 37D05 (Secondary)

Frankel's theorem in the symplectic category

Authors: Min Kyu Kim

Abstract: We prove that if an (n-1)-dimensional torus acts symplectically on a 2n-dimensional manifold, then the action has a fixed point if and only if the action is Hamiltonian. One may regard it as a symplectic version of Frankel theorem. The case of n=2 is the well known theorem of McDuff. From the well known example of McDuff (a six dimensional symplectic non-Hamiltonian circle action with fixed tori… ▽ More We prove that if an (n-1)-dimensional torus acts symplectically on a 2n-dimensional manifold, then the action has a fixed point if and only if the action is Hamiltonian. One may regard it as a symplectic version of Frankel theorem. The case of n=2 is the well known theorem of McDuff. From the well known example of McDuff (a six dimensional symplectic non-Hamiltonian circle action with fixed tori) and its products with copies of a two dimensional sphere with the usual rotation, the condition on the dimension of the acting torus is optimal to obtain the result. △ Less

Submitted 6 September, 2004; v1 submitted 1 April, 2002; originally announced April 2002.

Comments: 13 pages, includes some figures. Accepted by Transactions AMS

MSC Class: 53D35

On extensions of representations for compact Lie groups

Authors: Jin-Hwan Cho, Min Kyu Kim, Dong Youp Suh

Abstract: Let $H$ be a closed normal subgroup of a compact Lie group $G$ such that $G/H$ is connected. This paper provides a necessary and sufficient condition for every complex representation of $H$ to be extendible to $G$, and also for every complex $G$-vector bundle over the homogeneous space $G/H$ to be trivial. In particular, we show that the condition holds when the fundamental group of $G/H$ is tor… ▽ More Let $H$ be a closed normal subgroup of a compact Lie group $G$ such that $G/H$ is connected. This paper provides a necessary and sufficient condition for every complex representation of $H$ to be extendible to $G$, and also for every complex $G$-vector bundle over the homogeneous space $G/H$ to be trivial. In particular, we show that the condition holds when the fundamental group of $G/H$ is torsion free. △ Less

Submitted 1 May, 2003; v1 submitted 22 December, 1999; originally announced December 1999.

Comments: 10 pages, AMS-LaTeX v1.2

MSC Class: 20C99 (Primary) 22E99 (Secondary)

Journal ref: J. Pure Appl. Algebra 178 (2003), no. 3, 245-254