• Journal of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.403-419
• /
• 1999

We introduce a Hamiltonian system which consists of two balls in the vertical line colliding elastically with each other and the floor. Wojtkowski proved that for the system of two linear balls with a linear potential (with gravity), there is a periodic orbit which becomes linearly stable if m1

• Journal of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.363-447
• /
• 2009

The author previously defined the spectral invariants, denoted by $\rho(H;\;a)$, of a Hamiltonian function H as the mini-max value of the action functional ${\cal{A}}_H$ over the Novikov Floer cycles in the Floer homology class dual to the quantum cohomology class a. The spectrality axiom of the invariant $\rho(H;\;a)$ states that the mini-max value is a critical value of the action functional ${\cal{A}}_H$. The main purpose of the present paper is to prove this axiom for nondegenerate Hamiltonian functions in irrational symplectic manifolds (M, $\omega$). We also prove that the spectral invariant function ${\rho}_a$ : $H\;{\mapsto}\;\rho(H;\;a)$ can be pushed down to a continuous function defined on the universal (${\acute{e}}tale$) covering space $\widetilde{HAM}$(M, $\omega$) of the group Ham((M, $\omega$) of Hamiltonian diffeomorphisms on general (M, $\omega$). For a certain generic homotopy, which we call a Cerf homotopy ${\cal{H}}\;=\;\{H^s\}_{0{\leq}s{\leq}1}$ of Hamiltonians, the function ${\rho}_a\;{\circ}\;{\cal{H}}$ : $s\;{\mapsto}\;{\rho}(H^s;\;a)$ is piecewise smooth away from a countable subset of [0, 1] for each non-zero quantum cohomology class a. The proof of this nondegenerate spectrality relies on several new ingredients in the chain level Floer theory, which have their own independent interest: a structure theorem on the Cerf bifurcation diagram of the critical values of the action functionals associated to a generic one-parameter family of Hamiltonian functions, a general structure theorem and the handle sliding lemma of Novikov Floer cycles over such a family and a family version of new transversality statements involving the Floer chain map, and many others. We call this chain level Floer theory as a whole the Floer mini-max theory.

• 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.45 no.5
• /
• pp.1427-1442
• /
• 2008

We provide another proof that the signed count of the real J-holomorphic spheres (or J- holomorphic discs) passing through a generic real configuration of k points is independent of the choice of the real configuration and the choice of J, if the dimension of the Lagrangian submanifold L (fixed point set of involution) is two or three, and also if we assume L is orient able and relatively spin. We also assume that M is strongly semi-positive. This theorem was first proved by Welschinger in a more general setting, and we provide more natural approach using the signed degree of an evaluation map.

• Journal of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.1-28
• /
• 2024

In this article, we associate a contact structure to the conjugacy class of a periodic surface homeomorphism, encoded by a combinatorial tuple of integers called a marked data set. In particular, we prove that infinite families of these data sets give rise to Stein fillable contact structures with associated monodromies that do not factor into products to positive Dehn twists. In addition to the above, we give explicit constructions of symplectic fillings for rational open books analogous to Mori's construction for honest open books. We also prove a sufficient condition for the Stein fillability of rational open books analogous to the positivity of monodromy for honest open books due to Giroux and Loi-Piergallini.