• Journal of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.757-766
• /
• 2007

In this note we construct an anti-symplectic involution on the non-$K\ddot{a}hler$, symplectic 4-manifold which is constructed by Thurston and show that the quotient of the Thurston's 4-manifold is not symplectic. Also we construct a non-$K\ddot{a}hler$, symplectic 4-manifold using the Gomph's symplectic sum method and an anti-symplectic involution on the non-$K\ddot{a}hler$, symplectic 4-manifold.

• Journal of the Korean Mathematical Society
• /
• v.46 no.4
• /
• pp.859-893
• /
• 2009

In this article, we will characterize structures of geometric quotient orbifolds of G-manifold of genus two where G is a finite group of orientation preserving diffeomorphisms using the idea of handlebody orbifolds. By using the characterization, we will deduce the candidates of possible non-hyperbolic geometric quotient orbifolds case by case using W. Dunbar's work. In addition, if the G-manifold is compact, closed and the quotient orbifold's geometry is hyperbolic then we can show that the fundamental group of the quotient orbifold cannot be in the class D.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.1297-1302
• /
• 2013

We prove that the mapping class group of a non-Haken orientable irreducible 3-manifold is finite and we show that the quotient group of the mapping class group by the rotation group is virtually torsion-free if the manifold does not have 2-sphere boundary components.

• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.103-117
• /
• 2002

We consider the situation that ${\mathbb{Z}_p}\;=\;{\mathbb{Z}/p\mathbb{Z}}$ acts freely on a closed oriented 4-manifold X with ${b_2}^{+}\;{\geq}\;2$. In this situation, we study the relation between the Seiberg-Witten invariants of X and those of the quotient manifold $X/{\mathbb{Z}}_p$. We prove that the invariants of X are equal to those of $X/{\mathbb{Z}}_p$ modulo p.

• Journal of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.609-614
• /
• 1995

Let (M, g) be a complete Riemannian manifold and G be a closed (connected) subgroup of the group of isometries of M. Then the union ${\MM}$ of all principal orbits is an open dense subset of M and the quotient map ${\MM} \longrightarrow {\BB} := {\MM}/G$ becomes a Riemannian submersion for the restriction of g to ${\MM}$ which gives the quotient metric on ${\BB}$. Namely, B is a singular (complete) Riemannian space such that $\partialB$ consists of non-principal orbits.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.4
• /
• pp.817-828
• /
• 2005

In this note we show that there is an anti-symplectic involution $\sigma\;:\;X\;\to\;X$ on a simply-connected, closed, non-Kahler and symplectic 4-manifold X with a disjoint union of Riemann surfaces ${\amalg}^n_{i=1}{\Sigma}_i,\;n\;{\ge}\;2$ as a fixed point set. Also we show that its quotient X/$\sigma$ is homeomorphic to $\mathbb{CP}^2{\sharp}r\mathbb{CP}^2$ but not diffeomorphic to $\mathbb{CP}^2{\sharp}r\mathbb{CP}^2,\;r\;=\;b_2^-(X/{\sigma})$.

• Journal of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.675-689
• /
• 2010

For a closed symplectic 4-manifold X, let $Diff_0$(X) be the group of diffeomorphisms of X smoothly isotopic to the identity, and let Symp(X) be the subgroup of $Diff_0$(X) consisting of symplectic automorphisms. In this paper we show that for any finitely given collection of positive integers {$n_1$, $n_2$, $\ldots$, $n_k$} and any non-negative integer m, there exists a closed symplectic (or K$\ddot{a}$hler) 4-manifold X with $b_2^+$ (X) > m such that the homologies $H_i$ of the quotient space $Diff_0$(X)/Symp(X) over the rational coefficients are non-trivial for all odd degrees i = $2n_1$ - 1, $\ldots$, $2n_k$ - 1. The basic idea of this paper is to use the local invariants for symplectic 4-manifolds with contact boundary, which are extended from the invariants of Kronheimer for closed symplectic 4-manifolds, as well as the symplectic compactifications of Stein surfaces of Lisca and Mati$\acute{c}$.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.3
• /
• pp.505-521
• /
• 2011

We present a duality between the category of compact Riemannian spin manifolds (equipped with a given spin bundle and charge conjugation) with isometries as morphisms and a suitable "metric" category of spectral triples over commutative pre-$C^*$-algebras. We also construct an embedding of a "quotient" of the category of spectral triples introduced in [5] into the latter metric category. Finally we discuss a further related duality in the case of orientation and spin-preserving maps between manifolds of fixed dimension.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.347-355
• /
• 2001

Let ($X, \omega$) be a closed symplectic 4-manifold. Let a finite cyclic group G act semifreely, holomorphically on X as isometries with fixed point set $\Sigma$(may be empty) which is a 2-dimension submanifold. Then there is a smooth structure on the quotient X'=X/G such that the projection $\pi$:X$\rightarrow$X' is a Lipschitz map. Let L$\rightarrow$X be the Spin$^c$ -structure on X pulled back from a Spin$^c$-structure L'$\rightarrow$X' and b_2^$+(X')>1. If the Seiberg-Witten invariant SW(L')$\neq$0 of L' is non-zero and $L=E\bigotimesK^-1\bigotimesE$ then there is a G-invariant pseudo-holomorphic curve u:$C\rightarrowX$,/TEX> such that the image u(C) represents the fundamental class of the Poincare dual $c_1$(E). This is an equivariant version of the Taubes' Theorem.

• Kyungpook Mathematical Journal
• /
• v.62 no.2
• /
• pp.363-388
• /
• 2022

In two previous papers the author presented a general construction of finite, fiber- and orientation-preserving group actions on orientable Seifert manifolds. In this paper we restrict our attention to elliptic 3-manifolds. For illustration of our methods a constructive proof is given that orientation-reversing and fiber-preserving diffeomorphisms of Seifert manifolds do not exist for nonzero Euler class, in particular elliptic 3-manifolds. Each type of elliptic 3-manifold is then considered and the possible group actions that fit the given construction. This is shown to be all but a few cases that have been considered elsewhere. Finally, a presentation for the quotient space under such an action is constructed and a specific example is generated.