Source author record

Yong-Geun Oh

Yong-Geun Oh appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

29works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2025arXiv

Contact triad connection of contact manifolds in almost contact moving frame

The notion of \emph{contact triad connection} on contact triads $(Q,λ,J_ξ)$ was introduced by Wang and the present author in early 2010's from scratch as the contact analog to the canonical connection of an almost Kähler manifolds. The connection facilitates the study of analysis of the contact instanton equation which ranges from local elliptic priori estimates, for both the interior [OW2,OW3] and the boundary [OY], to the generic perturbation theory of the asymptotic operators [KO], which also encompasses the case of pseudoholomorphic curves on noncompact symplectic manifolds with cylindrical ends [OK]. The main purpose of the present paper is to give a simpler and more canonical construction of the contact triad connection by first giving its characterization in terms of the associated \emph{almost contact structure} and then providing its construction using the almost contact moving frame in the framework of contact geometry.

preprint2023arXiv

Contact instantons with Legendrian boundary condition: a priori estimates, asymptotic convergence and index formula

In Part I, we establish nonlinear ellipticity of the equation of contact instantons with Legendrian boundary condition on punctured Riemann surfaces by proving the a priori elliptic coercive estimates for the contact instantons with Legendrian boundary condition, and prove an asymptotic exponential $C^\infty$-convergence result at a puncture under the uniform $C^1$ bound. We prove that the asymptotic charge of contact instantons at the punctures under the Legendrian boundary condition vanishes. This eliminates the phenomenon of the appearance of spiraling cusp instanton along a Reeb core, which removes the only remaining obstacle towards the compactification and the Fredholm theory of the moduli space of contact instantons in the open string case, which plagues the closed string case. In Part II, we derive an index formula which computes the virtual dimension of the moduli space. These results are the analytic basis for the sequels [Oh21a]-[Oh22b] and [OYb] containing applications to contact topology and contact Hamiltonian dynamics.

preprint2022arXiv

Construction of a linear K-system in Hamiltonian Floer theory

The notion of linear K-system is introduced by the present authors as an abstract model arising from the structure of compactified moduli spaces of solutions to Floer's equation in the book [FOOO14]. The purpose of the present article is to provide a geometric realization of the linear K-system associated with solutions to Floer's equation in the Morse-Bott setting. Immediate consequences (when combined with the abstract theory from [FOOO14]) are construction of Floer cohomology for periodic Hamiltonian system on general compact symplectic manifold without any restriction, and construction of an isomorphism over the Novikov ring between the Floer cohomology and the singular cohomology of the underlying symplectic manifold. The present article utilizes various analytical results on pseudo-holomorphic curves established in our earlier papers and books. However the paper itself is geometric in nature, and does not presume the readers' prior knowledge much on Kuranishi structure and its construction but assumes only the elementary part of thereof, and results from [FOOO11] and [FOOO,Chapter 8] on its construction, and the standard knowledge on Hamiltonian Floer theory. We explain the general procedure of the construction of a linear K-system by explaining in detail the inductive steps of ensuring the compatibility conditions for the system of Kuranishi structures leading to a linear K-system for the case of Hamiltonian Floer theory. A certain minor errors are corrected in this version. (to appear in the special volume dedicated to Claude Viterbo of Journal of Fixed Point Theory and Applications.)

preprint2022arXiv

Geometric analysis of perturbed contact instantons with Legendrian boundary conditions

In the present article, we provide analytic foundation of the following nonlinear elliptic system, called the \emph{Hamiltonian-perturbed contact instanton equation}, $$ (du - X_H \otimes γ)^{π(0,1)} = 0, \quad d(e^{g_{H, u}}u^*(λ+ H \otimes γ)\circ j) = 0 $$ associated to a contact triad $(M,λ,J)$ and contact Hamiltonian $H$ and its boundary value problem under the Legendrian boundary condition. (1) We identify the correct choice of the action functional for perturbed contact Hamiltonian trajectories which provides a gradient structure for the system and derive its first variation formula. (2) We identify the correct choice of the energy for the bubbling analysis for the finite energy solutions for the equation. (3) We develop elliptic regularity theory for the solution, called \emph{perturbed contact instantons}: We first establish a global $W^{2,2}$ bound by the Hamiltonian calculus and the harmonic theory of the vector-valued one form $d_Hu : = du - X_H(u)\otimes γ$ and its relevant Weitzenböck formulae utilizing the contact triad connection of the contact triad $(M,λ, J)$. Then we establish $C^{k,α}$-estimates by an alternating boot-strap argument between the $π$-component of $d_Hu$ and the Reeb-component of $d_Hu$. Along the way, we also establish the boundary regularity theorem of $W^{1,4}$-weak solutions of perturbed contact instanton equation under the weak Legendrian boundary condition. (4) Based on this regularity theory, we prove an asymptotic $C^\infty$ convergence result at a puncture under the hypothesis of finite energy.

preprint2022arXiv

Partial collapsing degeneration of Floer trajectories and adiabatic gluing

We study partial collapsing degeneration of Hamiltonian-perturbed Floer trajectories for an adiabatic $\varepsilon$-family and its reversal adiabatic gluing, as the prototype of the partial collapsing degeneration of $2$-dimensional (perturbed) $J$-holomorphic maps to $1$-dimensional gradient segments. We consider the case when the Floer equations are $S^1$-invariant on parts of their domains whose adiabatic limits have positive lengths as $\varepsilon \to 0$, which we call thimble-flow-thimble configurations. The main gluing theorem we prove also applies to the case with Lagrangian boundaries such as in the problem of recovering holomorphic disks out of pearly configurations. In particular, our gluing theorem gives rise to a new direct proof of the chain isomorphism property between the Morse-Bott version of Lagrangian intersection Floer complex of $L$ by Fukaya-Oh-Ohta-Ono and the pearly complex of $L$ by Lalonde and Biran-Cornea (for monotone Lagrangian submanifolds). It also provides another proof of the present authors' earlier proof of the isomorphism property of the PSS map without involving the target rescaling and the scale-dependent gluing. (This is a rewritten version of our previous arXiv posting, arXiv:1103.3525.)

preprint2022arXiv

Pseudoholomoprhic curves on the $\mathfrak{LCS}$-fication of contact manifolds

For each contact diffeomorphism $ϕ: (Q,ξ) \to (Q,ξ)$ of $(Q,ξ)$, we equip its mapping torus $M_ϕ$ with a \emph{locally conformal symplectic} form of Banyaga's type, which we call the \emph{$\text{\rm lcs}$ mapping torus} of contact diffeomorphism $ϕ$. In the present paper, we consider the product $Q \times S^1= M_{id}$ (corresponding to $ϕ= id$) and develop basic analysis of the associated $J$-holomorphic curve equation, which has the form $$ \overline{\partial}^πw = 0, \quad w^*λ\circ j = f^*dθ$$ for the map $u = (w,f): \dot Σ\to Q \times S^1$ for the $λ$-compatible almost complex structure $J$ and a punctured Riemann surface $(\dot Σ, j)$. In particular, $w$ is a \emph{contact instanton} in the sense of [OW2, OW3]. We develop a scheme of treating the non-vanishing charge by introducing the notion of \emph{charge class} in $H^1(\dot Σ,\mathbb Z)$ and develop the geometric framework for the study of pseudoholomorphic curves, a correct choice of energy and the definition of moduli spaces towards the construction of compactification of the moduli space on the $\mathfrak{lcs}$-fication of $(Q,λ)$ (more generally on arbitrary locally conformal symplectic manifolds).

preprint2020arXiv

Smooth constructions of homotopy-coherent actions

We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in smooth topology and symplectic topology yield homotopically coherent group actions of G. This yields a bridge between infinite-dimensional smooth groups and homotopy theory. The result relies on two computations: One showing that the diffeological homotopy groups of the Milnor classifying space BG are naturally equivalent to the (continuous) homotopy groups, and a second showing that a particular strict category localizes to yield the homotopy type of BG. We then prove a result in symplectic geometry: These methods are applicable to the group of Liouville automorphisms of a Liouville sector. The present work is written with an eye toward [OT19], where our constructions show that higher homotopy groups of symplectic automorphism groups map to Fukaya-categorical invariants, and where we prove a conjecture of Teleman from the 2014 ICM in the Liouville and monotone settings.

preprint2017arXiv

Exact Lagrangian submanifolds, Lagrangian spectral invariants and Aubry-Mather theory

We construct graph selectors for compact exact Lagrangians in the cotangent bundle of an orientable, closed manifold. The construction combines Lagrangian spectral invariants developed by Oh and results by Abouzaid about the Fukaya category of a cotangent bundle. We also introduce the notion of Lipschitz-exact Lagrangians and prove that these admit an appropriate generalization of graph selector. We then, following Bernard-Oliveira dos Santos, use these results to give a new characterization of the Aubry and Mane sets of a Tonelli Hamiltonian and to generalize a result of Arnaud on Lagrangians invariant under the flow of such Hamiltonians.

preprint2016arXiv

Canonical connection on contact manifolds

We introduce a canonical affine connection on the contact manifold $(Q,ξ)$, which is associated to each contact triad $(Q,λ,J)$ where $λ$ is a contact form and $J:ξ\to ξ$ is an endomorphism with $J^2 = -id$ compatible to $dλ$. We call it the \emph{contact triad connection} of $(Q,λ,J)$ and prove its existence and uniqueness. The connection is canonical in that the pull-back connection $ϕ^*\nabla$ of a triad connection $\nabla$ becomes the triad connection of the pull-back triad $(Q, ϕ^*λ, ϕ^*J)$ for any diffeomorphism $ϕ:Q \to Q$ satisfying $ϕ^*λ= λ$ (sometimes called a strict contact diffeomorphism). It also preserves both the triad metric $$ g_{(λ,J)} = dλ(\cdot, J\cdot) + λ\otimes λ$$ and $J$ regarded as an endomorphism on $TQ = \mathbb R\{X_λ\}\oplus ξ$, and is characterized by its torsion properties and the requirement that the contact form $λ$ be holomorphic in the $CR$-sense. In particular, the connection restricts to a Hermitian connection $\nabla^π$ on the Hermitian vector bundle $(ξ,J,g_ξ)$ with $g_ξ= dλ(\cdot, J\cdot)|_ξ$, which we call the \emph{contact Hermitian connection} of $(ξ,J,g_ξ)$. These connections greatly simplify tensorial calculations in the sequels \cite{oh-wang1}, \cite{oh-wang2} performed in the authors' analytic study of the map $w$, called contact instantons, which satisfy the nonlinear elliptic system of equations $\overline{\partial}^πw = 0, \, d(w^*λ\circ j) = 0$ in the contact triad $(Q,λ,J)$.

preprint2016arXiv

Lagrangian Floer theory and mirror symmetry on compact toric manifolds

In this paper we study Lagrangian Floer theory on toric manifolds from the point of view of mirror symmetry. We construct a natural isomorphism between the Frobenius manifold structures of the (big) quantum cohomology of the toric manifold and of Saito's theory of singularities of the potential function constructed in \cite{fooo09} via the Floer cohomology deformed by ambient cycles. Our proof of the isomorphism involves the open-closed Gromov-Witten theory of one-loop.

preprint2015arXiv

Continuous Hamiltonian dynamics and area-preserving homeomorphism group of $D^2$

The main purpose of this paper is to propose a scheme of a proof of the nonsimpleness of the group $Homeo^Ω(D^2,\partial D^2)$ of area preserving homeomorphisms of the 2-disc $D^2$. We first establish the existence of Alexander isotopy in the category of Hamiltonian homeomorphisms. This reduces the question of extendability of the well-known Calabi homomorphism ${\rm Cal}:Diff^Ω(D^1,\partial D^2) \to \mathbb R$ to a homomorphism $\overline{\rm Cal}:Hameo(D^2,\partial D^2) \to \mathbb R$ to that of the vanishing of the basic phase function $f_{\underline{\mathbb F}}$, a Floer theoretic graph selector previously constructed by the author, that is associated to the graph of the topological Hamiltonian loop and its normalized Hamiltonian $\underline{F}$ on $S^2$ that is obtained via the natural embedding $D^2 \hookrightarrow S^2$. Here $Hameo(D^2,\partial D^2)$ is the group of Hamiltonian homeomorphisms introduced by Müller and the author. We then provide an evidence of this vanishing conjecture by proving the conjecture for the special class of \emph{weakly graphical} topological Hamiltonian loops on $D^2$ via a study of the associated Hamilton-Jacobi equation.

preprint2015arXiv

Kuranishi structure, Pseudo-holomorphic curve, and Virtual fundamental chain: Part 1

This is the first part of the article we promised at the end of [FOOO13, Section 1]. We discuss the foundation of the virtual fundamental chain and cycle technique, especially its version appeared in [FOn] and also in [FOOO4, Section A1, Section 7.5], [FOOO7, Section 12], [Fu2]. In Part 1, we focus on the construction of the virtual fundamental chain on a single space with Kuranishi structure. We mainly discuss the de Rham version and so work over $\mathbb R$-coefficients, but we also include a self-contained account of the way how to work over $\mathbb Q$-coefficients in case the dimension of the space with Kuranishi structure is $\le 1$. Part 1 of this document is independent of our earlier writing [FOOO13]. We also do not assume the reader have any knowledge on the pseudo-holomorphic curve, in Part 1. Part 2 (resp. Part 3), which will appear in the near future, discusses the case of a system of Kuranishi structures and its simultaneous perturbations (resp. the way to implement the abstract story in the study of moduli spaces of pseudo-holomorphic curves).

preprint2015arXiv

Shrinking good coordinate systems associated to Kuranishi structures

The notion of good coordinate system was introduced by Fukaya and Ono in [FOn] in their construction of virtual fundamental chain via Kuranishi structure which was also introduced therein. This notion was further clarified in [FOOO1] in some detail. In those papers no explicit ambient space was used and hence the process of gluing local Kuranishi charts in the given good coordinate system was not discussed there. In our more recent writing [FOOO2, FOOO3] we use an ambient space obtained by gluing the Kuranishi charts. In this note we prove in detail that we can always shrink the given good coordinate system so that the resulting `ambient space' becomes Hausdorff. This note is self-contained and uses only standard facts in general topology.

preprint2013arXiv

Geometry of generating functions and Lagrangian spectral invariants

Partially motivated by the study of topological Hamiltonian dynamics, we prove various $C^0$-aspects of the Lagrangian spectral invariants and the basic phase functions $f_H$, that is, a natural graph selector constructed by Lagrangian Floer homology of $H$ (relative to the zero section $o_N$). In particular, we prove that $$ γ^{lag}(ϕ_H^1(o_N)): = ρ^{lag}(H;1) - ρ^{lag}(H;[pt]^\#) \to 0 $$ as $ϕ_H^1 \to id$, \emph{provided} $H$'s satisfy $\supp X_H \subset D^R(T^*N) \setminus o_B$ for some $R > 0$ and a closed subset $B \subset N$ with nonempty interior. We also study the relationship between $f_H$ and $ρ^{lag}(H;1)$ and prove a structure theorem of the micro-support of the singular locus $\Sing(σ_H)$ of the function $f_H$. Based on this structure theorem and a classification theorem of generic Lagrangian singularity in $\dim N = 2$ obtained by Arnold's school, we define the notion of cliff-wall surgery when $\dim N = 2$: the surgery replaces a multi-valued Lagrangian graph $ϕ_H^1(o_N)$ by a piecewise-smooth Lagrangian cycle that is canonically constructed out of the single valued branch $Σ_H: = \Graph df_H \subset ϕ_H^1(o_N)$ defined on an open dense subset of $N \setminus \Sing(σ_H)$ of codimension 1.

preprint2013arXiv

Lagrangian Floer theory over integers: spherically positive symplectic manifolds

In this paper we study the Lagrangian Floer theory over $\Z$ or $\Z_2$. Under an appropriate assumption on ambient symplectic manifold, we show that the whole story of Lagrangian Floer theory in \cite{fooo-book} can be developed over $\Z_2$ coefficients, and over $\Z$ coefficients when Lagrangian submanifolds are relatively spin. The main technical tools used for the construction are the notion of the sheaf of groups, and stratification and compatibility of the normal cones applied to the Kuranishi structure of the moduli space of pseudo-holomorphic discs.

preprint2013arXiv

Localization of Floer homology of engulfable topological Hamiltonian loop

Localization of Floer homology is first introduced by Floer \cite{floer:fixed} in the context of Hamiltonian Floer homology. The author employed the notion in the Lagrangian context for the pair $(ϕ_H^1(L),L)$ of compact Lagrangian submanifolds in tame symplectic manifolds $(M,ω)$ in \cite{oh:newton,oh:imrn} for a compact Lagrangian submanifold $L$ and $C^2$-small Hamiltonian $H$. In this article, motivated by the study of topological Hamiltonian dynamics, we extend the localization process for any engulfable Hamiltonian path $ϕ_H$ whose time-one map $ϕ_H^1$ is sufficiently $C^0$-close to the identity (and also to the case of triangle product), and prove that the value of local Lagrangian spectral invariant is the same as that of global one. Such a Hamiltonian path naturally occurs as an approximating sequence of engulfable topological Hamiltonian loop. We also apply this localization to the graphs $\Graph ϕ_H^t$ in $(M\times M, ω\oplus -ω)$ and localize the Hamiltonian Floer complex of such a Hamiltonian $H$. We expect that this study will play an important role in the study of homotopy invariance of the spectral invariants of topological Hamiltonian.

preprint2012arXiv

Deformations of coisotropic submanifolds in locally conformal symplectic manifolds

In this paper, we study deformations of coisotropic submanifolds in a locally conformal symplectic manifold. Firstly, we derive the equation that governs $C^\infty$ deformations of coisotropic submanifolds and define the corresponding $C^\infty$-moduli space of coisotropic submanifolds modulo the Hamiltonian isotopies. Secondly, we prove that the formal deformation problem is governed by an $L_\infty$-structure which is a $\frak b$-deformation of strong homotopy Lie algebroids introduced in Oh and Park (2005) in the symplectic context. Then we study deformations of locally conformal symplectic structures and their moduli space, and the corresponding bulk deformations of coisotropic submanifolds. Finally we revisit Zambon's obstructed infinitesimal deformation (Zambon, 2002) in this enlarged context and prove that it is still obstructed.

preprint2012arXiv

Technical details on Kuranishi structure and virtual fundamental chain

This is an expository article on the theory of Kuranishi structure and is based on a series of pdf files we uploaded for the discussion of the google group named `Kuranishi' (with its administrator H. Hofer). There we replied to several questions concerning Kuranishi structure raised by K. Wehrheim. At this stage we submit this article to the e-print arXiv, all the questions or objections asked in that google group were answered, supplemented or confuted by us. We first discuss the abstract theory of Kuranishi structure and virtual fundamental chain/cycle. This part can be read independently from other parts. We then describe the construction of Kuranishi structure on the moduli space of pseudoholomorphic curves, including the complete analytic detail of the gluing construction as well as the smoothness of the resulting Kuranishi structure. The case of S^1 equivariant Kuranishi structure which appears in the study of time independent Hamiltonian and the moduli space of Floer's equation is included.

preprint2011arXiv

Displacement of polydisks and Lagrangian Floer theory

There are two purposes of the present article. One is to correct an error in the proof of Theorem 6.1.25 in \cite{fooo:book}, from which Theorem J \cite{fooo:book} follows. In the course of doing so, we also obtain a new lower bound of the displacement energy of polydisks in general dimension. The results of the present article are motivated by the recent preprint of Hind \cite{hind} where the 4 dimensional case is studied. Our proof is different from Hind's even in the 4 dimensional case and provides stronger result, and relies on the study of torsion thresholds of Floer cohomology of Lagrangian torus fiber in simple toric manifolds associated to the polydisks.

preprint2011arXiv

Lagrangian Floer theory on compact toric manifolds II : Bulk deformations

This is a continuation of part I in the series of the papers on Lagrangian Floer theory on toric manifolds. Using the deformations of Floer cohomology by the ambient cycles, which we call bulk deformations, we find a continuum of non-displaceable Lagrangian fibers on some compact toric manifolds. We also provide a method of finding all fibers with non-vanishing Floer cohomology with bulk deformations in arbitrary compact toric manifolds, which we call bulk-balanced Lagrangian fibers.

preprint2010arXiv

Floer trajectories with immersed nodes and scale-dependent gluing

We define an enhanced compactification of Floer trajectories under Morse background using the adiabatic degeneration and the scale-dependent gluing techniques. The compactification reflects the 1-jet datum of the smooth Floer trajectories nearby the limiting nodal Floer trajectories arising from adiabatic degeneration of the background Morse function. This paper studies the gluing problem when the limiting gradient trajectories has length zero through a renomalization process. The case with limiting gradient trajectories of non-zero length will be treated elsewhere. An immediate application of our result is a proof of the isomorphism property of the PSS map : A proof of this isomorphism property was first outlined by Pünihikin-Salamon-Schwarz \cite{PSS} in a way somewhat different from the current proof in its details. This kind of scale-dependent gluing techniques was initiated in [FOOO07] in relation to the metamorphosis of holomorphic polygons under Lagrangian surgery and is expected to appear in other gluing and compactification problem of pseudo-holomorphic curves that involves `adiabatic' parameters or rescales the targets.

preprint2010arXiv

Lagrangian Floer theory on compact toric manifolds: survey

This article is a survey of a series of papers [FOOO3,FOOO4,FOOO5] in which we developed the method of calculation of Floer cohomology of Lagrangian torus orbits in compact toric manifolds, and its applications to symplectic topology and to mirror symmetry. In this article we summarize the main ingredients of calculation and illustrate them by examples. The second half of the survey is devoted to discussion of the most recent result from [FOOO5] (arXiv:1009.1648) where the mirror symmetry between the two Frobenius manifolds arising from the big quantum cohomology and from the K. Saito theory of singularities was established.

preprint2010arXiv

Seidel's long exact sequence on Calabi-Yau manifolds

In this paper, we generalize construction of Seidel's long exact sequence of Lagrangian Floer cohomology to that of compact Lagrangian submanifolds with vanishing Malsov class on general Calabi-Yau manifolds. We use the framework of anchored Lagrangian submanifolds developed in \cite{fooo:anchor} and some compactness theorem of \emph{smooth} $J$-holomorphic sections of Lefschetz Hamiltonian fibration for a generic choice of $J$. The proof of the latter compactness theorem involves a study of proper pseudoholomorphic curves in the setting of noncompact symplectic manifolds with cylindrical ends.

preprint2009arXiv

Embedding property of $J$-holomorphic curves in Calabi-Yau manifolds for generic $J$

In this paper, we prove that for a generic choice of tame (or compatible) almost complex structures $J$ on a symplectic manifold $(M^{2n},ω)$ with $n \geq 3$ and with its first Chern class $c_1(M,ω) = 0$, all somewhere injective $J$-holomorphic maps from any closed smooth Riemann surface into $M$ are \emph{embedded}. We derive this result as a consequence of the general optimal 1-jet evaluation transversality result of $J$-holomorphic maps in general symplectic manifolds that we also prove in this paper.

preprint2009arXiv

Higher jet evaluation transversality of $J$-holomorphic curves

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,ω)$. Using this transversality result, we prove that there exists a subset $\CJ_ω^{ram} \subset \CJ_ω$ of second category such that for every $J \in \CJ_ω^{ram}$, the dimension of the moduli space of (somewhere injective) $J$-holomorphic curves with a given ramification profile goes down by $2n$ or $2(n-1)$ depending on whether the ramification degree goes up by one or a new ramification point is created. We also derive that for each $J \in \CJ_ω^{ram}$ there are only a finite number of ramification profiles of $J$-holomorphic curves in a given homology class $β\in H_2(M;\Z)$ and provide an explicit upper bound on the number of ramification profiles in terms of $c_1(β)$ and the genus $g$ of the domain surface.