BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Yong-Geun Oh

Yong-Geun Oh contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.SGmath.DGmath.DSmath.APmath.AT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

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

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.)

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.)

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access