Pith. sign in

REVIEW 4 major objections 4 minor 1 cited by

Rational contact instantons and Legendrian Fukaya category

T0 review · 4 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper claims every tame contact manifold carries a filtered A-infinity category whose objects are Legendrian submanifolds, whose morphisms are Reeb chords, and whose structure maps count contact instantons.

desk verdict A plausible but unfinished framework for Legendrian Fukaya categories; the analytic core is deferred to sequels, so the main theorem is not proved as written, but the paper deserves a serious referee. read the letter →

arxiv 2411.13830 v1 pith:KJD5QUZD submitted 2024-11-21 math.SG

Yong-Geun Oh This is my paper · ORCID
classification math.SG MSC 53D4258J32
keywords contactinstantonsLegendriansubmanifoldsFukayacategoryA-infinityReebchordshomologyboundingcochainsMaslovindex
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper aims to build a Fukaya-type category for contact manifolds, replacing pseudoholomorphic curves with contact instantons. The central claim is that every tame contact manifold carries a filtered $A_\infty$ category whose objects are Legendrian submanifolds equipped with a bounding cochain and a relative spin structure, whose morphism spaces are generated by Reeb chords (flow lines of the Reeb vector field joining one Legendrian to another), and whose higher structure maps count finite-energy contact instantons on punctured discs with prescribed Reeb chord asymptotics. The $A_\infty$ relations are meant to follow from the boundary structure of the one-dimensional compactified moduli spaces, in direct analogy with the symplectic Fukaya category. If the construction is correct, contact manifolds acquire an algebraic invariant of the same flavor as Lagrangian Floer theory, with Reeb chords playing the role of Lagrangian intersections.

What carries the argument

The load-bearing objects are finite-energy contact instantons: smooth maps $u$ from a punctured bordered Riemann surface into the contact manifold satisfying the contact Cauchy-Riemann equation $\bar\partial_\pi u = 0$ together with $d(u^*\lambda\circ j)=0$, with boundary on a Legendrian link and Reeb chord asymptotics at the punctures. The grading is carried by the polygonal Maslov index $\mu(E,\vec\gamma;B)$, defined as the Maslov index of a loop of Lagrangian subspaces in the contact distribution $\xi$, which enters the virtual dimension formula (15.2). The algebraic packaging is the filtered $A_\infty$ framework: a bar complex, bounding cochains solving the Maurer-Cartan equation, and coherent orientations induced by relative spin structures on the Legendrian submanifolds, with gluing rules that mirror the standard Fukaya category construction.

What would settle it

Enumerate all zero- and one-dimensional moduli spaces of contact instantons for two Legendrian unknots in the standard contact 3-sphere and check whether the $A_\infty$ relation $m_1\circ m_1=0$ (or its curved analogue) holds; a boundary component that is not a broken concatenation of lower moduli spaces, or any moduli space whose dimension differs from $\mu(E,\vec\gamma;B)+n+k-2$, would disprove the construction.

Watch

Extended reading notes

Core claim

The paper's central claim is that the whole filtered $A_\infty$ machinery of Lagrangian Floer theory—curved $A_\infty$ algebras, bounding cochains, energy filtrations, abstract indices, and coherent orientations—can be transplanted to the contact setting by replacing pseudoholomorphic discs with contact instantons and Lagrangian intersections with iso-speed Reeb chords. The morphism complex $CI(R,R')$ is freely generated by Reeb chords from $R$ to $R'$, graded by a polygonal Maslov index $\mu(E,\vec\gamma;B)$, and the structure maps $m_k$ count zero-dimensional moduli spaces $M_{k+1}(E;\vec\gamma;B)$ of contact instantons, with virtual dimension given by $\dim M(E,\vec\gamma;B) = \mu(E,\vec\gamma;B) + n + k - 2$. Theorem 16.3 states that, after strictification using bounding cochains satisfying the Maurer-Cartan equation, this produces a filtered $A_\infty$ category whose homology is claimed to be invariant under Hamiltonian isotopy.

Load-bearing premise

The existence of a well-behaved compactified moduli space of finite-energy contact instantons on punctured discs, with prescribed Reeb chord asymptotics, the virtual dimension formula, coherent orientations, and the gluing laws needed for the $A_\infty$ relations, is assumed rather than proved here, with the compactification explicitly deferred to a sequel.

Editorial extensions

If this is right

  • Every tame contact manifold carries a filtered $A_\infty$ category generated by its Legendrian submanifolds, with Reeb chords as morphisms and contact instantons as the higher operations.
  • Dualizing the $A_\infty$ algebra yields a Legendrian contact instanton DGA (LCI-DGA) whose differential counts contact instantons, and whose augmentations define linearized contact instanton contact homology.
  • Bounding cochains on the objects deform the structure maps, and the strictified category's homology groups are claimed to be invariant under Hamiltonian isotopy of the Legendrian submanifolds.
  • For the 1-jet bundle of a closed manifold with the zero section as the Legendrian, the construction recovers the de Rham cohomology of the base manifold.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper leaves implicit that, once the deferred compactification is supplied, this category should serve as the common home for previously studied invariants: the planned sequel explicitly ties it to Rabinowitz Fukaya categories and Lagrangian cobordism Floer theory on Liouville manifolds.
  • Because the action of a Reeb chord is single-valued, the energy filtration here is simpler than in the symplectic case; this suggests the category could support quantitative invariants of contact dynamics, such as spectral invariants, without Novikov ring complications.
  • A testable extension is to compute the category explicitly for the standard contact 3-sphere with Legendrian unknots, where Reeb chord counts are concrete and the $A_\infty$ relations can be checked by hand.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper claims to construct a filtered A-infinity category, called the Legendrian contact instanton (CI) Fukaya category, associated to any tame contact manifold. Objects are oriented Legendrian submanifolds equipped with a bounding cochain and a relative spin structure; morphism spaces are the chain complexes CI(R,R') generated by iso-speed Reeb chords; and the structure maps m_k are defined in (16.1) by counts of finite-energy contact instantons on punctured disc-type domains with prescribed Reeb chord asymptotics. The construction follows the FOOO blueprint: graded bridged Legendrian links provide gradings via a polygonal Maslov index, relative spin structures give coherent orientations, and abstract indices encode the gluing rules. The paper also defines a Legendrian CI DGA and its augmentations in Part 1, and then moves to the categorical construction in Part 2, culminating in Theorem 16.3.

Significance. If the construction were fully established, it would provide a Fukaya-type category generated by Legendrian submanifolds on every tame contact manifold, with morphisms given by Reeb chords and higher operations by contact instantons. This would be a substantial new structure unifying and extending contact instanton cohomology, Legendrian contact homology, and symplectic Fukaya categories. The paper is genuinely useful for its algebraic and combinatorial scaffolding: the abstract index formalism (Section 12), the polygonal Maslov index (Section 13), and the orientation package (Section 14) are carefully developed, and the paper is explicit about what it delegates to other sources. However, the central existence theorem is conditional on analytic compactness and gluing results that are not proved or cited from existing literature; the paper itself states that the genus-zero compactification is deferred to a sequel. As written, the category is not known to exist, and the main theorem is therefore not established.

major comments (4)
  1. [§5.1, §16] Theorem 16.3, the main result, asserts the existence of a filtered A-infinity category whose structure maps are the operators in (16.1). These maps are counts of moduli spaces of contact instantons on punctured discs, and the A-infinity relation (16.2) is asserted to follow from the boundary structure of the compactified moduli spaces. However, the genus-zero compactification is not constructed in this paper. Section 5.1 states that the energy introduced there 'will be used in our construction of the compactification of moduli space of contact instantons of genus 0 in a sequel.' Until that compactification — including the codimension-one strata and gluing laws — is supplied, the counts in (16.1) are not known to be well-defined and the relation (16.2) has no geometric basis. This is a load-bearing gap in the central claim.
  2. [§10, Proposition 10.2 and §16, Theorem 16.1] The proof of the A-infinity relation is delegated: Proposition 10.2 says that the compactification from [Oh21b] and 'exactly the same proof as [FOOO09a]' prove that m-circumflex composed with m-circumflex vanishes, and Theorem 16.1 says the same 'in the same way as the symplectic analog was proved in [FOOO10]'. The FOOO proof relies on a gluing analysis for pseudoholomorphic polygons with Lagrangian boundary conditions that produces the boundary of the one-dimensional moduli space as a union of fiber products of lower-dimensional moduli spaces. No such gluing theorem for contact instantons with Reeb chord asymptotics, disc bubbles, and sphere bubbles is proved or cited from an existing source. Lemma 15.1 cites [Oh21b] for compactness, but the paper itself describes [Oh21b] as the small-energy, no-bubbling case. This is not a harmless reference to a standard result; it is the missing analytical core of the construction.
  3. [§15, Eq. (15.2) and §7, Theorem 7.9] The virtual dimension formula (15.2), quoted from [OY24, Section 11.3], and the index formula Theorem 7.9 are used to identify the dimension-zero moduli spaces whose counts define m_k. Even granting these index formulas, the well-definedness of the counts requires that the relevant moduli spaces be compact, oriented, and cut out transversely for the full multi-puncture, genus-zero configuration space with prescribed Reeb chord asymptotics. The paper does not establish these properties; it refers to [Oha] and [Oh21b] for transversality and compactness, but those references do not cover the stable-map compactification with the boundary marked points and evaluation maps used in (16.1). Theorems 14.3 and 14.4, which supply coherent orientations, are likewise stated with proofs 'in the same way' as FOOO, without presenting the contact-specific argument needed for signs in the counts over Z.
  4. [§9, Definition 9.6 and §15, Lemma 15.1] The gapped condition and the filtration used in the construction of CI(R,R') depend on the assertion in Lemma 15.1 that the set Γ_RR' is a (Γ,Γ')-set, which the lemma derives from the compactness theorem of [Oh21b]. Since the full compactified moduli spaces — including those with bubbles and with arbitrary numbers of positive and negative punctures — are not established in this paper, the gappedness of the structure maps is also not established. The abstract index framework of Section 12 is coherent on its own, but its applicability to the geometric counts in (16.1) is conditional on the same missing compactness and gluing input.
minor comments (4)
  1. [Throughout] There are several typos and small errors that should be corrected: 'Legencrianl' in Theorem 15.2, 'obatin' in the conclusion, 'dimension' for 'dimension' in Theorem 15.3, and the missing closing parenthesis in the expression 'C(R,R';ℓ;K[q,q^{-1})' at the start of Section 15.
  2. [§5.1] The statement that the newly defined energy will be used in a sequel for the genus-zero compactification should be moved to a prominent place in the introduction, since it is a central limitation of the present paper's main theorem.
  3. [§14, Remark 14.6] Remark 14.6 says that the moduli parameters of marked points and the automorphism group action are handled as in [FOOO09b, Section 8.3], but no explanation is given for why the contact case, with its Reeb chord asymptotics and the PSL(2,R) quotient on the disc, follows the same argument. A brief justification or a precise statement of the adapted result would help.
  4. [§11, Definition 11.2] The definition of the LCI-DGA differential in (11.1) implicitly assumes that the dimension-zero moduli spaces are compact, oriented, and carry a count over the chosen coefficient ring. Since the compactification is deferred to a sequel, the definition should be presented as conditional, or the missing analytic hypothesis should be stated explicitly.

Circularity Check

1 steps flagged · score 4.0 of 10

No fitted parameter or tautological count, but the A-infinity relations (16.2) rest on a genus-zero compactification that the paper defers to a sequel and cites to the author's own [Oh21b]; this is a load-bearing self-citation gap rather than a definitional circle.

  1. self citation load bearing [Section 5.1 (p. 14), Proposition 10.2 (pp. 29-30), Theorem 16.1 (p. 42)]
    "This energy will be used in our construction of the compactification of moduli space of contact instantons of genus 0 in a sequel. ... Then by the compactification of moduli spaces of bordered punctu red contact instantons with prescribed asymptotics given in [Oh21b], exactly th e same proof as that of [FOOO09a] for the Fukaya algebra of a compact Lagrangian submanifold proves that ˆm◦ˆm = 0, i.e., the curved A∞-relation holds. This finishes the proof."

    The A∞ relation in (16.2) is the central output. Its only geometric justification is the boundary structure of a compactified genus-zero moduli space. The paper does not construct that compactification: Section 5.1 explicitly postpones it to a sequel, and Proposition 10.2 and Theorem 16.1 instead cite the author's own [Oh21b] and the FOOO proof pattern. If the cited compactification does not cover the required multi-puncture, bubbling case, the counts in (16.1) are not known to be well-defined and (16.2) has no geometric basis. This is not a tautology or fitted-parameter circle—the target relation is not assumed as an input—but the decisive analytic input is an unverified self-citation chain, making the claim load-bearing on the author's prior and preprint work.

full rationale

The construction is not circular by definition: CI(R,R') is the free module on Reeb chords, and m_k in (16.1) is defined by counting contact-instanton moduli spaces; no count is adjusted to force the A∞ identities, and no generator is defined in terms of the target category. The grading, index formula (15.2), and coherent orientation sections are quoted from prior published or preprint work ([OY24], [FOOO09b]) and, where stated, contain independent content. The genuine concern is support, not circularity: Section 5.1 says the genus-zero compactification 'will be used in our construction ... in a sequel', while Proposition 10.2 and Theorem 16.1 invoke 'exactly the same proof' as FOOO and compactness from [Oh21b]. Since [Oh21b] was developed for the small-energy/strip-like case, the decisive boundary-gluing requirement for the A∞ relations remains a deferred, self-cited input. This is flagged as an omitted proof and weighed as a correctness/completeness risk; it is not a reduction of the result to its own assumptions. Score 4 reflects the load-bearing self-citation chain while acknowledging the substantial independent algebraic and index-theoretic content.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No numerical parameters are fitted: the construction depends on structural choices such as graded bridges, relative spin structures, and bounding cochains rather than constants. The principal input from outside the paper is the analytic theory of contact instantons developed in the author's prior works, to which the paper adds the categorical assembly. No new physical or ontological entities are postulated.

assumptions (5)
  • domain assumption Tame contact manifold and tame Legendrian conditions ensure the maximum principle for contact instantons (Definitions 6.1 to 6.4).
    Invoked in Theorem 6.5 and assumed throughout; the category is constructed for tame objects only.
  • domain assumption Nondegeneracy of Reeb chords and general position of Legendrian links: ZR_i transversely intersects R_j and no triple intersections occur.
    Hypothesis 2.7 and Hypothesis 12.3 assume these conditions so that Reeb chords are discrete, gradings can be defined, and moduli spaces are cut out transversally. Genericity is cited to [Oha, Appendix B].
  • domain assumption Compactness, transversality, gluing, and exponential convergence for moduli spaces of finite-energy contact instantons, including bubbled configurations.
    Cited to [Oh21b], [Oha], [OY24], and [Oh23]. Section 5.1 defers the genus-zero compactification construction to a sequel, making this the load-bearing analytic assumption.
  • domain assumption The abstract index and Maslov index formalism of [FOOO10] applies to the contact instanton setting, with coherent orientations for relatively spin Legendrian links.
    Theorems 14.3 and 14.4 are proven in the same way as in [FOOO09b], using relative spin structures and determinant line bundles.
  • standard math Existence of minimal area metrics on punctured discs and the stable map compactification of bordered domain curves.
    Theorem 5.1 cites Zwiebach and Wolf for minimal area metrics, and the moduli dimension formula in Section 7 uses the standard compactification of bordered stable curves.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rational contact instantons and Legendrian Fukaya category." pith.science (2026). https://pith.science/paper/KJD5QUZD

@misc{pith2026241113830,
  author       = {Pith},
  title        = {Pith review of: Rational contact instantons and Legendrian Fukaya category},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KJD5QUZD}},
  note         = {Machine review of arXiv:2411.13830}
}
abstract

This is the first of a series of papers in preparation on the Fukaya-type $A_\infty$ category generated by tame Legendrian submanifolds, called the Legendrian contact instanton Fukaya category (abbreviated as the Legendrian CI Fukaya category) and its applications to contact dynamics and topology. In the present paper, we give the construction of an $A_\infty$ category whose objects are Legendrian links and whose structure maps are defined by the moduli spaces of finite energy contact instantons on tame contact manifolds in the sense of [Oh21b]. In a sequel [KO], jointed by Jongmyeong Kim, we will explain the relationships with various previous results in the literature concerning Rabinowitz Fukaya categories [CF09, CFO10], [GGV], [BJK] on the Liouville manifolds with ideal boundary of contact manifolds, and the Floer theory of Lagrangian cobordism [CDRGG20], [EES05].

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Quantitative contact Hamiltonian dynamics

    math.SG 2025-07 conditional novelty 7.0 of 10

    Contact spectral invariants are constructed from contact Hamiltonian Floer homology and used to prove rigidity theorems for contact manifolds.

Reference graph

Works this paper leans on

64 extracted references · 52 canonical work pages · cited by 1 Pith paper

  1. [1]

    Peter Albers, Barney Bramham, and Chris Wendl, On nonseparating contact hypersurfaces in symplectic 4-manifolds, Algebr. Geom. Topol. 10 (2010), no. 2, 697--737

    work page 2010

  2. [2]

    Oh, Hiroshi Ohta, and Kaoru Ono, Quantum cohomology and split generation in lagrangian F loer theory , in preparation

    Mohammed Abouzaid, Kenji Fukaya, Y.-G. Oh, Hiroshi Ohta, and Kaoru Ono, Quantum cohomology and split generation in lagrangian F loer theory , in preparation

    work page

  3. [3]

    Bourgeois, Y

    F. Bourgeois, Y. Eliashberg, Wysocki K. Hofer, H., and E. Zehnder, Compactness results in symplectic field theory, Geom. Topol. 7 (2003), 799--888

    work page 2003

  4. [4]

    Hanwool Bae, Wonbo Jeong, and Jongmyeong Kim, Calabi-yau structures on R abinowitz F ukaya categories , preprint, arXiv:2304.02561v3

    work page Pith review arXiv

  5. [5]

    Bourgeois, A M orse- B ott approach to contact homology , Ph D Dissertation, Stanford University, 2002

    F. Bourgeois, A M orse- B ott approach to contact homology , Ph D Dissertation, Stanford University, 2002

    work page 2002

  6. [6]

    Differential Geom

    Baptiste Chantraine, Georgios Dimitroglou Rizell, Paolo Ghiggini, and Roman Golovko, Floer theory for L agrangian cobordisms , J. Differential Geom. 114 (2020), no. 3, 393--465

    work page 2020

  7. [7]

    Kai Cieliebak and Urs Adrian Frauenfelder, A F loer homology for exact contact embeddings , Pacific J. Math. 239 (2009), no. 2, 251--316

    work page 2009

  8. [8]

    Kai Cieliebak, Urs Frauenfelder, and Alexandru Oancea, Rabinowitz F loer homology and symplectic homology , Ann. Sci. \'Ec. Norm. Supér. (4) 43 (2010), no. 6, 957--1015

    work page 2010

Show all 64 references
  1. [9]

    Manuel de Le\'on and Manuel Lainz Valc\'azar, Contact H amiltonian systems , J. Math. Phys. 60 (2019), no. 10, 102902, 18 pp

    2019

  2. [10]

    Tobias Ekholm, John Etnyre, and Michael Sullivan, Orientations in L egendrian contact homology and exact L agrangian immersions , Internat. J. Math. 16 (2005), no. 5, 453--532

    2005

  3. [11]

    296, Springer Science+Business Media, LLC, 2012

    Tobias Ekholm, Rational SFT , linearized L egendrian contact homology, and L agrangian F loer cohomology , Progress in Mathematics, vol. 296, Springer Science+Business Media, LLC, 2012

    2012

  4. [12]

    Fukaya and Y.-G

    K. Fukaya and Y.-G. Oh, Zero-loop open strings in the cotangent bundle and M orse homotopy , Asian J. Math. 1 (1997), 96--180

    1997

  5. [13]

    Fukaya, Y.-G

    K. Fukaya, Y.-G. Oh, H. Ohta, and K. Ono, Lagrangian intersection F loer theory: anomaly and obstruction. part i. , AMS/IP Studies in Advanced Mathematics, 46.1 & 46.2., American Mathematical Society, Providence, RI; International Press, Somerville, MA, 2009

    2009

  6. [14]

    , Lagrangian intersection F loer theory: anomaly and obstruction. part ii. , AMS/IP Studies in Advanced Mathematics, 46.1 & 46.2., American Mathematical Society, Providence, RI; International Press, Somerville, MA, 2009

    2009

  7. [15]

    Oh, Hiroshi Ohta, and Kaoru Ono, Anchored L agrangian submanifolds and their F loer theory , Mirror symmetry and tropical geometry (Providence, RI), Contemp

    Kenji Fukaya, Y.-G. Oh, Hiroshi Ohta, and Kaoru Ono, Anchored L agrangian submanifolds and their F loer theory , Mirror symmetry and tropical geometry (Providence, RI), Contemp. Math., vol. 527, Amer. Math. Soc., 2010, pp. 15--54

    2010

  8. [16]

    Fukaya, Unobstructed immersed L agrangian correspondence and filtered A_ functor , preprint, 2017, arXiv:1706.02131

    K. Fukaya, Unobstructed immersed L agrangian correspondence and filtered A_ functor , preprint, 2017, arXiv:1706.02131

    2017 arXiv

  9. [17]

    Ganatra, Y

    S. Ganatra, Y. Gao, and S. Venkatesh, Rabinowitz F ukaya categories and the categorical formal punctured neighborhood of infinity , preprint, arXiv:2212.14863

    arXiv

  10. [18]

    Hofer, Pseudoholomorphic curves in symplectizations with applications to the W einstein conjecture in dimension three , Invent

    H. Hofer, Pseudoholomorphic curves in symplectizations with applications to the W einstein conjecture in dimension three , Invent. Math. 114 (1993), 515--563

    1993

  11. [19]

    Liu, Enumerative geometry of stable maps with L agrangian boundary conditions and multiple covers of the disc , Adv

    Sheldon Katz and C.C. Liu, Enumerative geometry of stable maps with L agrangian boundary conditions and multiple covers of the disc , Adv. Theor. Math. Phys. 5 (2001), 1--49

    2001

  12. [20]

    Oh, in preparation

    Jongmyeong Kim and Y.-G. Oh, in preparation

  13. [21]

    Y.-G. Oh, Bordered contact instantons and their F redholm theory and generic transversalities , to appear in the proceedgings of Bumsig Kim's Memorial Conference, October 2021, KIAS, arXiv:2209.03548(v2)

    2021 arXiv

  14. [23]

    Math., (to appear), arXiv:2111.06112

    , Geometry of Li ouville sectors and the maximum principle , Asian J. Math., (to appear), arXiv:2111.06112

    arXiv

  15. [24]

    Math., (to appear), Part 2 of arXiv:2205.12351(v2)

    , Monoid of gradient-sectorial L agrangians in L iouville sectors with corners , Asian J. Math., (to appear), Part 2 of arXiv:2205.12351(v2)

    arXiv

  16. [25]

    , Symplectic T opology and F loer H omology. vol. 1. , New Mathematical Monographs, 28., Cambridge University Press, Cambridge., 2015

    2015

  17. [26]

    , Contact H amiltonian dynamics and perturbed contact instantons with L egendrian boundary condition , preprint, arXiv:2103.15390(v2), 2021

    2021 arXiv

  18. [28]

    , Contact instantons, anti-contact involution and proof of S helukhin's conjecture , preprint, arXiv:2212.03557, 2022

    2022 arXiv

  19. [29]

    , Gluing theories of contact instantons and of pseudoholomorphic curves in SFT , preprint, arXiv:2205.00370, 2022

    2022 arXiv

  20. [30]

    , Analysis of contact C auchy- R iemann maps III : energy, bubbling and F redholm theory , Bulletin of Math. Sci. 13 (2023), no. 1, Paper No. 2250011, 61 pp

    2023

  21. [31]

    Math., vol

    , Lagrangian F loer theory and its deformations--an introduction to filtered F ukaya category , KIAS Springer Ser. Math., vol. 2, Springer, Singapore, 2024, xvii+416 pp

    2024

  22. [32]

    Oh and Taesu Kim, Analysis of pseudoholomorphic curves on symplectization: revisit via contact instantons, MATRIX Book Series, vol

    Y.-G. Oh and Taesu Kim, Analysis of pseudoholomorphic curves on symplectization: revisit via contact instantons, MATRIX Book Series, vol. 5, pp. 635--732, Springer, Cham, 2024, the proceedings for the IBS-CGP and MATRIX Workshop on Symplectic Topology, December 2022

    2024

  23. [33]

    Oh and Y

    Y.-G. Oh and Y. Savelyev, Pseudoholomoprhic curves on the LCS -fication of contact manifolds , Advances in Geometry (2023), no. 2, 153–190

    2023

  24. [34]

    Oh and R

    Y.-G. Oh and R. Wang, Analysis of contact C auchy- R iemann maps I : A priori C^k estimates and asymptotic convergence , Osaka J. Math. 55 (2018), no. 4, 647--679

    2018

  25. [35]

    , Analysis of contact C auchy- R iemann maps II : Canonical neighborhoods and exponential convergence for the M orse- B ott case , Nagoya Math. J. 231 (2018), 128--223

    2018

  26. [36]

    Oh and Seungook Yu, Legendrian spectral invariants on the one jet bundle via perturbed contact instantons, preprint, 2023, arXiv:2301.06704

    Y.-G. Oh and Seungook Yu, Legendrian spectral invariants on the one jet bundle via perturbed contact instantons, preprint, 2023, arXiv:2301.06704

    2023 arXiv

  27. [37]

    , Contact instantons with L egendrian boundary condition: a priori estimates, asymptotic convergence and index formula , International J. Math. 35 (2024), no. 7, Paper No. 2450019, 60 pp

    2024

  28. [38]

    Wolf, M., The plumbing of minimal area surfaces, J

    Zwiebach B. Wolf, M., The plumbing of minimal area surfaces, J. Geom. Phys. 15 (1994), 23--56

    1994

  29. [39]

    Zwiebach, How covariant closed string theory solves a minimal area problem, Commun

    B. Zwiebach, How covariant closed string theory solves a minimal area problem, Commun. Math. Phys. 136 (1991), 83--118

    1991

  30. [40]

    I., Mathematical Methods of Classical Mechanics, Second edition,

    Arnold, V. I., Mathematical Methods of Classical Mechanics, Second edition,

  31. [41]

    Arnold, V., Givental, A., Symplectic Geometry, Enbyclopedia of Mathematical

  32. [42]

    Bhupal, M., A partial order on the group of contactomorphisms of ^ 2n+1 via

  33. [43]

    Bourgeois, F., Eliashberg, Y., hofer:invent , H., Wysocki, K., Zehnder, E.,

  34. [44]

    Ekholm, T., Etnyre, J., Sullivan, M.,

  35. [45]

    I & II , AMS/IP Studies in Advanced Math

    Fukaya, K., Oh, Y.-G., Ohta, H., Ono, K., Lagrangian Intersection Floer Theory - anomaly and obstruction, vol. I & II , AMS/IP Studies in Advanced Math. 46, International Press, 2009

    2009

  36. [46]

    Math., vol

    Fukaya, K., Oh, Y.-G., Ohta, H., Ono, K., Anchored Lagrangian submanifolds and their Floer theory , Mirror symmetry and tropical geometry, Contemp. Math., vol. 527, Amer. Math. Soc., Providence, RI, 2010, pp. 15--54. MR 2681791

    2010

  37. [47]

    and Trudinger, N

    Gilbarg, D. and Trudinger, N. S., Elliptic Partial Differential Equations of

  38. [48]

    Oh, Y.-G., Symplectic topology as the geometry of action functional. I. Relative Floer theory on the cotangent bundle , J. Differential Geom. 46 (1997), no. 3, 499--577

    1997

  39. [49]

    Oh, Y.-G., Symplectic topology as the geometry of action functional. II

  40. [50]

    1, New Mathematical

    Oh, Y.-G., Symplectic Topology and Floer Homology vol. 1, New Mathematical

  41. [51]

    Oh, Y.-G., Analysis of contact Cauchy-Riemann maps III: energy, bubbling and

  42. [52]

    Oh, Y.-G., Geometry and analysis of contact instantons and entanglement of Legendrian links I , preprint, 2021, arXiv:2111.02597

    2021 arXiv

  43. [53]

    Oh, Y.-G., Bordered contact instantons and

  44. [54]

    Oh, Y.-G., Geometry and analysis of contact instantons and entanglement of Legendrian links II , in preparation

  45. [55]

    Savelyev, Pseudoholomorphic curves on the

    Oh, Y.-G., Y. Savelyev, Pseudoholomorphic curves on the

  46. [56]

    Oh, Y.-G., Wang, R., Canonical connection on contact manifolds , Real and

  47. [57]

    Oh, Y.-G., Wang, R., Analysis of contact Cauchy-Riemann maps I:

  48. [58]

    Analysis of contact Cauchy-Riemann maps II: Canonical neighborhoods

    Oh, Y.-G., Wang, R. Analysis of contact Cauchy-Riemann maps II: Canonical neighborhoods

  49. [59]

    Oh, Y.-G., Yu, Seungook.,

  50. [60]

    Sandon, S., Contact homology, capacity and non-squeezing in ^ 2n S^1

  51. [61]

    Sandon, S., On iterated translated points for contactomorphisms of R ^ 2n+1 and

  52. [62]

    Symplectic Geom.,

    Shelukhin, E., The hofer:invent norm of a contactomorphism , J. Symplectic Geom.,

  53. [63]

    Th\'eret D., Th\'ese de doctorat, Universit\'e Denis Diderot (Paris 7), 1995

    1995

  54. [64]

    Viterbo, C., Symplectic topology as the geometry of generating functions ,

  55. [65]

    Weinstein, A., A graduate course in University of California, Berkeley, 1987

    1987

  56. [66]

    Witten, E., Supersymmery and Morse theory , J. Differ. Geom. 17 (1982),

    1982

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.