Deformations of partially wrapped Fukaya categories of surfaces

2025-12-18T09:47:15Z

We give a complete description of the A$_\infty$ deformation theory of partially wrapped Fukaya categories of graded surfaces. We show that any abstract A$_\infty$ deformation is "geometric", namely it is equivalent to the partially wrapped Fukaya category of an orbifold surface obtained as a partial compactification of the original surface. For certain genus 0 surfaces, these deformations are generically Fukaya categories of compact pillowcases. We introduce the notion of a weak dual and use unbounded twisted complexes to overcome the curvature problem that naturally arises when some of the boundary components are fully wrapped. Our results provide a first account of the relationship between A$_\infty$ deformations of Fukaya categories and partial compactifications, as advocated in P. Seidel's ICM 2002 address, in the presence of stop data. All of our results also hold when the original surface has finitely many order 2 orbifold points.

On the knot types of periodic Reeb orbits of dynamically convex contact forms

2025-12-17T21:59:24Z

We exhibit transverse knot types on the standard contact $3$-sphere that cannot be realized as periodic Reeb orbits of a dynamically convex contact form. In particular, such transverse knot types do not arise as closed characteristics of strictly convex energy levels on a four dimensional symplectic vector space.

Legendrian Non-simple Whitehead Doubles Of The Trefoil

2025-12-17T19:27:56Z

Ozsváth and Stipsicz showed that some Eliashberg-Chekanov twist knots, which are Whitehead doubles of the unknot, are not Legendrian simple. We extend their result by considering some Whitehead doubles of the trefoil: Using properties of knot Floer homology and the distinguished surgery triangle, we show that this family of knots is Legendrian non-simple in the standard contact 3-sphere.

Area formula for spherical polygons via prequantization

2025-12-17T18:33:39Z

We present a formula for the signed area of a spherical polygon via prequantization. In contrast to the traditional formula based on the Gauss-Bonnet theorem that requires measuring angles, the new formula mimics Green's theorem and is applicable to a wider range of degenerate spherical curves and polygons.

Group actions on $p$-adic symplectic manifolds

2025-12-17T16:31:18Z

Let $p$ be a prime number. We introduce symplectic actions of $p$-adic analytic Lie groups on $p$-adic symplectic manifolds. Then we show that any $p$-adic symplectic action $G\times(M,ω)\to(M,ω)$ has a momentum map $μ:M\to\mathfrak{g}^*$, and that a proper $p$-adic symplectic action is Hamiltonian if and only if every orbit is isotropic. We conclude by defining $p$-adic symplectic toric manifolds, by analogy with the real case.

Symplectic Homology and 3-dimensional Besse Manifolds with vanishing first Chern class

2025-12-17T14:47:38Z

In this paper, we will show that certain types of symplectic homology can be used as an invariant of 3-dimensional Besse manifolds, which are strict contact manifolds with periodic Reeb flow. For simplicity, we will assume our Besse structures to be a trivial plane bundle. To identify Besse manifolds with such a condition, we actually compute the first Chern class of each Besse structure and classify the Besse manifolds with vanishing first Chern class. We will also compute Robbin-Salamon indices of periodic Reeb orbits in Besse manifolds, and symplectic homology (of its filling) of certain cases. From its definition, Besse manifolds naturally become Seifert fibration and thus one can extract invariants such as the orbifold Euler characteristic and the Euler number of this Seifert fibration. These invariants will become important in our computation.

Contact geometry in infinite dimensions

2025-12-17T12:41:09Z

We generalise the theories of cosymplectic, contact, and cocontact manifolds to the infinite-dimensional setting and calculate model examples of time-dependent and dissipative Hamiltonian systems.

Quantization in mixed polarization via transverse Poincaré-Birkhoff-Witt theorem

2025-12-17T03:53:33Z

On a prequantizable Kähler manifold $(M, ω, L)$, Chan-Leung-Li constructed a genuine (non-asymptotic) action of a subalgebra of the Berezin-Toeplitz star product on $H^0(M, L^{\otimes k})$ for each level $k$ [14]. We extend their framework to any non-singular polarization $P$ by developing a theory of transverse differential operators associated to $P$: (1) For any pair of locally free $P$-modules $E, E'$, we construct a Poincaré-Birkhoff-Witt isomorphism for the bundle $\widetilde{D}(E, E')$ of transverse differential operators from $E$ to $E'$. When $E, E'$ are trivial rank-$1$ $P$-modules, this recovers the PBW theorem of Laurent-Gengoux-Stiénon-Xu [29] for the Lie pair $(TM_\mathbb{C}, P)$. (2) Using these PBW isomorphisms, we show that the Grothendieck connections on the transeverse jet bundle of $L^{\otimes k}$ give rise to a deformation quantization $(C_M^\infty[[\hbar]], \star)$ together with a sheaf of subalgebras $C_{M, \hbar}^{<\infty}$ that acts on $P$-polarized sections of $L^{\otimes k}$. We obtain a geometric interpretation of $(C_{M, \hbar}^{<\infty}, \star)$ by evaluating at $\hbar = \tfrac{\sqrt{-1}}{k}$, yielding a sheaf $O_k^{(<\infty)}$, and proving that $O_k^{(<\infty)} \cong \widetilde{D}_{L^{\otimes k}}$ as sheaves of filtered algebras, where $\widetilde{D}_{L^{\otimes k}}$ is the sheaf of transverse differential operators on $L^{\otimes k}$. When $P$ is a Kähler polarization, this recovers the result of Chan-Leung-Li [14]. As an application, we study symplectic tori and derive asymptotic expansions for the Toeplitz-type operators in real polarization introduced in [35].

The Path-product in Morse Homology with differential graded coefficients

2025-12-16T10:26:01Z

We will use the tools developed in [Rie24] to give a Morse-theoretic description of a string topology product on the homology of the space of paths in a manifold Y with endpoints in a submanifold X and a module structure on this homology over the Chas-Sullivan ring of Y . These operations have been defined and studied by Stegemeyer in [Ste25] in singular homology.

Perverse Microsheaves

2025-12-16T06:29:51Z

On a complex contact manifold, or complex symplectic manifold with weight-1 circle action, we construct a sheaf of stable categories carrying a t-structure which is locally equivalent to a microlocalization of the perverse t-structure.

Positive paths in diffeomorphism groups of manifolds with a contact distribution

2025-12-15T15:43:32Z

Given a cooriented contact manifold $(M,ξ)$, it is possible to define a notion of positivity on the group $\mathrm{Diff}(M)$ of diffeomorphisms of $M$, by looking at paths of diffeomorphisms that are positively transverse to the contact distribution $ξ$. We show that, in contrast to the analogous notion usually considered on the group of diffeomorphisms preserving $ξ$, positivity on $\mathrm{Diff}(M)$ is completely flexible. In particular, we show that for the standard contact structure on $\mathbb{R}^{2n+1}$ any two diffeomorphisms are connected by a positive path. This result generalizes to compactly supported diffeomorphisms on a large class of contact manifolds. As an application we answer a question about Legendrians in thermodynamic phase space posed by Entov, Polterovich and Ryzhik in the context of thermodynamic processes.

Stratified manifolds with corners

2025-12-15T15:30:36Z

We define categories of stratified manifolds (s-manifolds) and stratified manifolds with corners (s-manifolds with corners). An s-manifold $\bf X$ of dimension $n$ is a Hausdorff, locally compact topological space $X$ with a stratification $X=\coprod_{i\in I}X^i$ into locally closed subsets $X^i$ which are smooth manifolds of dimension $\le n$, satisfying some conditions. S-manifolds can be very singular, but still share many good properties with ordinary manifolds, e.g. an oriented s-manifold $\bf X$ has a fundamental class $[\bf X]_{\rm fund}$ in Steenrod homology $H_n^{St}(X,\mathbb Z)$, and transverse fibre products exist in the category of s-manifolds. S-manifolds are designed for applications in Symplectic Geometry. In future work we hope to show that after suitable perturbations, the moduli spaces $\mathcal M$ of $J$-holomorphic curves used to define Gromov-Witten invariants, Lagrangian Floer cohomology, Fukaya categories, and so on, can be made into s-manifolds or s-manifolds with corners, and their fundamental classes used to define Gromov-Witten invariants, Lagrangian Floer cohomology, ....

Two-dimensional equivariant symplectic submanifolds in toric manifolds

2025-12-14T15:56:05Z

To find all two-dimensional equivariant symplectic submanifolds in symplectic toric manifolds, we combine the convex geometry of Delzant polytopes with local equivariant symplectic models and obtain a criterion for determining when a two-dimensional submanifold is an equivariant symplectic submanifold in a toric manifold.

WDVV-based recursion for open Gromov-Witten invariants

2025-12-14T15:06:26Z

We give a computability result for open Gromov-Witten invariants based on open WDVV equations. This is analogous to the result of Kontsevich-Manin for closed Gromov-Witten invariants. For greater generality, we base the argument on a formal object, the Frobenius superpotential, that generalizes several different definitions of open Gromov-Witten invariants. As an application, we prove vanishing properties for open Gromov-Witten invariants on products of projective spaces.

Complexity of Hofer's geometry in higher dimensional manifolds

2025-12-13T00:03:12Z

This paper establishes robust obstructions to representing Hamiltonian diffeomorphisms as $k$-th powers ($k \geq 2$) or embedding them in flows for certain higher-dimensional symplectic manifolds $(M,ω)$, including surface bundles. We prove that in the Hamiltonian group $(\mathrm{Ham}(M,ω), d_H)$ equipped with the Hofer metric, there exist arbitrarily large balls that are disjoint from the set of $k$-th powers. Furthermore, we demonstrate that the free group on two generators embeds into every asymptotic cone of $(\mathrm{Ham}(M,ω), d_H)$, revealing the large-scale geometric complexity of the Hamiltonian group.