Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1801.04633

Chain level loop bracket and pseudo-holomorphic disks

Kei Irie
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $L$ be a Lagrangian submanifold in a symplectic vector space which is closed, oriented and spin. Using virtual fundamental chains of moduli spaces of nonconstant pseudo-holomorphic disks with boundaries on $L$, one can define a Maurer-Cartan element of a Lie bracket operation in string topology (the loop bracket) defined at chain level. This observation is due to Fukaya, who also pointed out its important consequences in symplectic topology. The goal of this paper is to work out details of this observation. Our argument is based on a string topology chain model previously introduced by the author, and the theory of Kuranishi structures on moduli spaces of pseudo-holomorphic disks, which has been developed by Fukaya-Oh-Ohta-Ono.

Explore related subjects

math.SGmath.DGmath.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kei Irie. 2023-10-28. Chain level loop bracket and pseudo-holomorphic disks. https://doi.org/10.1112/topo.12140

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Non-unital monoidal category of contact manifolds and Legendrian correspondence

There are two purposes of the present paper which are interrelated. The first goal is to construct the structure of a non-unital monoidal category $\mathfrak{Cont}$ of contact manifolds, not necessarily coorientable, by developing the contact topology \emph{without contact forms}. The non-unital monoidal product is the functorial contact product $\star$, called star product, introduced in \cite{oh:shelukhin-conjecture}. We prove that the product $\star$ is associative and there exist a collection $α= \{α_{X,Y,Z}\}$ of the \emph{associator} isomorphisms $α_{X,Y,Z}: X \star (Y\star Z) \cong (X \star Y) \star Z$ for $X, \, Y, \, Z \in \mathfrak{Cont}$, that satisfy the pentagon axiom, i.e., that the triples $(\mathfrak{Cont}, \star, α)$ form a nonunital monoidal category. The second goal is to develop the calculus of Legendrian correspondences, which are by definition embedded Legendrian submanifolds of the contact product $Q \star Q'$. Legendrian correspondences will play the role of 1-morphisms in the $2$-categorical structure to be equipped with $\mathfrak{Cont}$ whose two morphisms are contact instanton cohomologies $HI(R_{ab},R'_{ab})$ associated to a pair of Legendrian correspondences $R_{ab}, \, R'_{ab} \in \mathfrak{Leg}(Q_a,Q_b)$. With this future application in mind, we define the composition of Legendrian correspondences and prove that the composition of a generic pair is again embedded and hence canonically becomes a Legendrian correspondence.

math.SG↗
arXiv2026

Kodaira fibres and wrapped Floer cohomology

Let $F$ be a singular fibre of a relatively minimal complex elliptic fibration with smooth total space, and let $Ω$ be a nonvanishing holomorphic two-form near $F$. We show that a small neighbourhood of $F$ is a Weinstein domain for $\mathrm{Re}\,Ω$ whose completion is a Legendrian surgery, with cocores obtained by completing holomorphic disks transverse to the components of $F$. For every coefficient field and every multiplicative bulk class, we compute the wrapped Floer cohomology of these cocores and prove that it is concentrated in degree zero. The cocores generate, so the bulk-deformed wrapped Fukaya category is equivalent to the category of perfect modules over an explicit algebra: a multiplicative preprojective algebra of affine type for the normal crossing fibres, and a quiver algebra with relations for types $II$, $III$ and $IV$. Applications include formality of the affine plumbing dg algebras, mirror equivalences with resolved affine surfaces at the trivial bulk class, and with quotient stacks of algebraic tori at root-of-unity bulk classes for the four star-shaped fibres.

math.SG↗
arXiv2026

Darboux's Theorem in $p$-adic symplectic geometry

We prove a non Archimedean Darboux's Theorem: any two symplectic forms on a $p$-adic analytic manifold are locally isomorphic. Understanding local problems such as the existence of flows or the normalization of singularities in the theory of integrable systems, is essential to understand the physics behind these systems. Our result tells us that the phase space defined by a $p$-adic manifold is locally standard, allowing us to concentrate on the equations defining the dynamics rather than on the space itself. Our proof uses a non Archimedean version of Moser's Path Method to push one symplectic form onto another one by a flow. A central technical contribution of the paper is the proof that the flow is given by a power series with non zero radius of convergence, which requires geometric analytic estimates and does not follow from algebraic considerations. The main difficulty of the paper is analytic: an ODE will not have a long-time solution even in a neighborhood of a fixed point but we are able to find a condition for a long-time solution to exist, which allows us to tweak the ODE in Moser's Path Method so that it satifies the condition. As a global application, we derive a classification of second-countable $p$-adic analytic symplectic manifolds in terms of $p$-adic volume, which generalizes a classical theorem of J-P. Serre.

math.SG↗