• Communications of the Korean Mathematical Society
• /
• v.29 no.4
• /
• pp.569-579
• /
• 2014

We consider a condition under which the projectivization $P(E^k)$ of a complex k-bundle $E^k{\rightarrow}M$ over an even-dimensional manifold M can have the hard Lefschetz property, affected by [10]. It depends strongly on the rank k of the bundle $E^k$. Our approach is purely algebraic by using rational Sullivan minimal models [5]. We will give some examples.

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

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.2043-2051
• /
• 2017

Consider a sequence of compactly supported Hamiltonian diffeomorphisms ${\phi}_k$ of an exact symplectic manifold, all of which are "graphical" in the sense that their graphs are identified by a Darboux-Weinstein chart with the image of a one-form. We show by an elementary argument that if the ${\phi}_k$ $C^0$-converge to the identity, then their Calabi invariants converge to zero. This generalizes a result of Oh, in which the ambient manifold was the two-disk and an additional assumption was made on the Hamiltonians generating the ${\phi}_k$. We discuss connections to the open problem of whether the Calabi homomorphism extends to the Hamiltonian homeomorphism group. The proof is based on a relationship between the Calabi invariant of a $C^0$-small Hamiltonian diffeomorphism and the generalized phase function of its graph.

• Journal of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.341-365
• /
• 2011

In this paper, we establish general stratawise higher jet evaluation transversality of J-holomorphic curves for a generic choice of almost complex structures J (tame to a given symplectic manifold (M, $\omega$)). Using this transversality result, we prove that there exists a subset $\cal{J}^{ram}_{\omega}\;{\subset}\;\cal{J}_{\omega}$ of second category such that for every $J\;{\in}\;\cal{J}^{ram}_{\omega}$, the dimension of the moduli space of (somewhere injective) J-holomorphic curves with a given ramication prole goes down by 2n or 2(n - 1) depending on whether the ramication degree goes up by one or a new ramication point is created. We also derive that for each $J\;{\in}\;\cal{J}^{ram}_{\omega}$ there are only a finite number of ramication profiles of J-holomorphic curves in a given homology class $\beta\;{\in}\;H_2$(M; $\mathbb{Z}$) and provide an explicit upper bound on the number of ramication proles in terms of $c_1(\beta)$ and the genus g of the domain surface.

• Bulletin of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.31-37
• /
• 1987

I want to focus on developments in the areas of general relativity and gauge theory. The topics to be considered are the singularity theorms of Hawking and Penrose, the positivity of mass, instantons on the four-dimensional sphere, and the string picture of quantum gravity. I should mention that I will not have time do discuss either classical mechanics or symplectic structures. This is especially unfortunate, because one of the roots of differential geometry is planted firmly in mechanics, Cf. [GS]. The French geometer Elie Cartan first formulated his invariant approach to geometry in a series of papers on affine connections and general relativity, Cf. [C]. Cartan was trying to recast the Newtonian theory of gravity in the same framework as Einstein's theory. From the historical perspective it is significant that Cartan found relativity a convenient framework for his ideas. As about the same time Hermann Weyl in troduced the idea of gauge theory into geometry for purposes much different than those for which it would ultimately prove successful, Cf. [W]. Weyl wanted to unify gravity with electromagnetism and though that a conformal structure would fulfill thel task but Einstein rebutted this approach.