• Communications of the Korean Mathematical Society
• /
• v.11 no.2
• /
• pp.463-469
• /
• 1996

We construct closed orientable four-manifolds which have nontrivial Seiberg-Witten invariants, but do not admit any symplectic structure.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.4
• /
• pp.593-601
• /
• 2003

Let X be a 4-manifold obtained by gluing two symplectic 4-manifolds Xi, i = 1, 2, along embedded surfaces. Using the gradient flow of a functional on 3-dimensional Seiberg-Witten theory along the cylindrical end, we study the Seiberg-Witten equations on X and have a product formula of Seiberg-Witten invariants on X from the ones on Xi, i = 1, 2.

• 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.

• Journal of the Korean Mathematical Society
• /
• v.43 no.4
• /
• pp.691-701
• /
• 2006

In this paper, we construct a new exotic smooth 4-manifold X which is homeomorphic, but not diffeomorphic, to ${\mathbb{C}}\mathbb{P}^2{\sharp}13\overline{\mathbb{C}\mathbb{P}}^2$. Moreover the manifold X has vanishing Seiberg-Witten invariants for all $Spin^c$-structures of X and has no symplectic structure.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.619-629
• /
• 1996

In studying smooth 4-manifolds the Donaldson invariant has played a central role. In [D1] Donaldson showed that non-vanishing Donaldson invariant of a smooth closed oriented 4-manifold X gives rise to the indecomposability of X. For instance, the complex algebraic suface X cannot decompose to a connected sum $X_1 #X_2$ with both $b_2^+(X_i) > 0$.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.403-409
• /
• 1997

Let X be a closed almost complex 4-manifold with $b_2^+(X) > 1$, and have its canonical line bundle as a basic class. Then the pseudo-holomorphic 2-dimensional submanifolds in X with nonnegative self-intersection minimize genus in their homology classes.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.209-216
• /
• 1999

Let X be a minimal symplectic four-manifold with ${b_2}^{+}$=1 and $c_1(K)^2\;\geq\;0$. Then we show that there are no symple tic structures $\omega$ such that $$c_1(K)$\cdot\omega$ > 0, if X contains an embedded symplectic submanifold $\Sigma$ satisfying $\int_\Sigmac_1$(K)<0.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.1
• /
• pp.17-28
• /
• 2003

Let X be a closed, oriented, Riemannian 4-manifold with ${{b_2}^+}(x)\;>\;1$ and of simple type. Suppose that ${\sigma}\;:\;X\;{\rightarrow}\;X$ is an involution preserving orientation with an oriented, connected, compact 2-dimensional submanifold $\Sigma$ as a fixed point set with ${\Sigma\cdot\Sigma}\;{\geq}\;0\;and\;[\Sigma]\;{\neq}\;0\;{\in}\;H_2(X;\mathbb{Z})$. We show that if _X(\Sigma)\;+\;{\Sigma\cdots\Sigma}\;{\neq}\;0$ then the $Spin^{C}$ bundle $\={P}$ is not $\mathbb{Z}_2-equivariant$, where det $\={P}\;=\;L$ is a basic class with $c_1(L)[\Sigma]\;=\;0$.

• 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})$.