Neighborhoods of transverse knots and destabilizations

2025-12-17T18:02:59Z

In this note we show that transverse knots have unique standard neighborhoods and prove a structure theorem about non-loose Legendrian knots. The common theme of these two results is a general destabilization result for Legendrian knots. As a byproduct of this work, we find a manifold with an infinite number of distinct tight contact structures, up to contactomoprhism, with no Giroux torsion.

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

The two-boost problem and the boundedness of Reeb chords

2025-12-15T14:28:04Z

The two-boost problem in space mission design asks whether two points of position space can be connected by a Hamiltonian path on a fixed energy level set. We provide a positive answer for a class of systems having the same behaviour at infinity as the restricted three-body problem by relating it to the Lagrangian Rabinowitz Floer homology computed in [4]. The main technical challenge is to prove the boundedness of the corresponding sets of Reeb chords.

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.

On the $C^2$-local systolic optimality of Zoll odd-symplectic forms

2025-12-12T13:00:43Z

An odd-symplectic form is a closed and maximally non-degenerate $2$-form on a compact odd-dimensional manifold. It describes the dynamics of an autonomous Hamiltonian system on a regular energy level. It is called Zoll if the induced dynamics is a free circle action, up to a global time reparameterization. This article establishes a normal form theorem for odd-symplectic forms close to a Zoll one and cohomologous to it, which is then used to prove that Zoll odd-symplectic forms are the local maximizers of the associated systolic ratio. This generalizes the known systolic optimality of Zoll contact forms in the $C^3$-topology. As an application, local systolic inequalities are established in symplectic manifolds for hypersurfaces close to Zoll ones. In particular, this applies to certain non-exact twisted cotangent bundles of manifolds of dimension greater than two.

A$_\infty$ deformations of extended Khovanov arc algebras and Stroppel's conjecture

2025-12-12T09:56:31Z

Extended Khovanov arc algebras $\mathrm{K}_m^n$ are graded associative algebras which naturally appear in a variety of contexts, from knot and link homology, low-dimensional topology and topological quantum field theory to representation theory and symplectic geometry. C. Stroppel conjectured in her ICM 2010 address that the bigraded Hochschild cohomology groups of $\mathrm{K}_m^n$ vanish in a certain range, implying that the algebras $\mathrm K_m^n$ admit no nontrivial A$_\infty$ deformations, in particular that the algebras are intrinsically formal. Whereas Stroppel's Conjecture is known to hold for the algebras $\mathrm K_m^1$ and $\mathrm K_1^n$ by work of Seidel and Thomas, we show that $\mathrm K_m^n$ does in fact admit nontrivial A$_\infty$ deformations with nonvanishing higher products for all $m, n \geq 2$. We describe both $\mathrm K_m^n$ and its Koszul dual concretely as path algebras of quivers with relations and give an explicit algebraic construction of A$_\infty$ deformations of $\mathrm K_m^n$ by using the correspondence between A$_\infty$ deformations of a Koszul algebra and filtered associative deformations of its Koszul dual. These deformations can also be viewed as A$_\infty$ deformations of Fukaya--Seidel categories associated to Hilbert schemes of surfaces based on recent work of Mak and Smith.