On the strong Arnold chord conjecture for convex contact forms

2025-12-05T09:52:51Z

The original Arnold chord conjecture states that every closed Legendrian submanifold of the standard contact sphere $S^{2n-1}$ admits a Reeb chord with distinct endpoints with respect to any contact form. In this paper, we prove this conjecture for contact forms induced by strictly convex embeddings into $\mathbb{R}^{2n}$ under the assumption that minimal periodic Reeb orbits are of Morse-Bott type. We also provide a counterexample when the convexity condition is not satisfied.

Vanishing of Rabinowitz Floer homology on negative line bundles

2025-12-05T09:37:18Z

Following [Fra08, AF14] we construct Rabinowitz Floer homology for negative line bundles over symplectic manifolds and prove a vanishing result. In [Rit14] Ritter showed that symplectic homology of these spaces does not vanish, in general. Thus, the theorem $\mathrm{SH}=0\Leftrightarrow\mathrm{RFH}=0$, [Rit13], does not extend beyond the symplectically aspherical situation. We give a conjectural explanation in terms of the Cieliebak-Frauenfelder-Oancea long exact sequence [CFO10].

Strong closing lemmas in Hamiltonian dynamics

2025-12-05T08:33:41Z

This survey focuses on strong closing lemmas in Hamiltonian dynamics that are proved using spectral invariants (also known as action selectors) in symplectic geometry. We review strong closing lemmas in low-dimensional Hamiltonian dynamics (Reeb flows on contact three-manifolds and area-preserving maps on symplectic surfaces) and outline the key ideas behind their proofs. We also discuss results concerning strong closing lemmas in high-dimensional Hamiltonian dynamics, as well as analogous results for minimal hypersurfaces.

Symplectic Weyl Laws

2025-12-05T06:19:46Z

We survey a number of Weyl type laws that have recently been established in low-dimensional symplectic geometry. These have had a number of applications, which we also introduce. We sketch a number of proofs so that the reader can get a sense of how these formulas are proved and how they can be applied.

Markov staircases

2025-12-04T11:00:30Z

Rational homology ellipsoids are certain Liouville domains diffeomorphic to rational homology balls and having Lagrangian pin-wheels as their skeleta. From the point of view of almost toric fibrations, they are a natural generalisation of usual symplectic ellipsoids. We study symplectic embeddings of rational homology ellipsoids into the complex projective plane and we show that for each Markov triple, this problem gives rise to an infinite staircase. A key ingredient in the proof is the result that any two such embeddings are Hamiltonian isotopic. We also prove constraints on sizes for pairs of disjoint embeddings.

Localization and flexibilization in symplectic geometry

2025-12-04T10:28:38Z

We introduce the critical Weinstein infinity-category -- the result of stabilizing the category of Weinstein sectors and inverting subcritical morphisms -- and for every finite collection P of integers, construct a P-flexibilization endofunctor. Our main result is that P-flexibilization is an idempotent localization functor of the critical Weinstein infinity-category, allowing us to characterize the essential image of the endofunctor by a universal property. This localization has the effect of replacing every Weinstein sector with one in which P is invertible in the wrapped Fukaya category and hence is a symplectic analogue of topological localization of Bousfield and Sullivan, answering a question of Abouzaid and Seidel. When P = {0}, our construction recovers Cieliebak and Eliashberg's flexibilization procedure. Moreover, we show that P-flexibilization is symmetric monoidal as a functor of higher categories, and hence gives rise to a new way of constructing E-infinity-commutative algebra objects from symplectic geometry.

Real Heegaard Floer Homology

2025-12-04T01:46:30Z

We define an invariant of three-manifolds with an involution with non-empty fixed point set of codimension $2$; in particular, this applies to double branched covers over knots. Our construction gives the Heegaard Floer analogue of Li's real monopole Floer homology. It is a special case of a real version of Lagrangian Floer homology, which may be of independent interest to symplectic geometers. The Euler characteristic of the real Heegaard Floer homology is the analogue of Miyazawa's invariant, and can be computed combinatorially for all knots.

On Weinstein domains in symplectic manifolds

2025-12-03T21:37:48Z

We prove that a Weinstein domain symplectically embedded in a closed symplectic manifold always admits symplectic hypersurfaces in its complement, possibly after a deformation. As a consequence, we obtain an obstruction for a closed 3-dimensional manifold to arise as the boundary of a Weinstein domain in a class of symplectic 4-manifolds that includes many symplectic rational surfaces. A particular application is that no Brieskorn homology sphere bounds a Weinstein domain symplectically embedded in a rational surface diffeomorphic to $S^2\times S^2$ or to ${\mathbb C} P^2\# k \overline{{\mathbb C}P}^2$, for any $k\leq 7$, despite the fact that many Brieskorn spheres bound Stein domains holomorphically embedded in these rational surfaces. Several families of Brieskorn spheres are obtained that do not bound a Weinstein domain in any 4-manifold with a ``positive'' symplectic structure. Such Weinstein domains do exist in certain positive symplectic rational surfaces when $k\geq 8$, though their topology is significantly constrained.

Khovanov homology and Lagrangian cobordisms

2025-12-03T19:10:10Z

We provide a partial answer to a question of Ekholm, Honda, and Kálmán about the relationship between Khovanov homology and decomposable Lagrangian cobordisms. We also utilize previously defined filtered invariants to give obstructions to decomposable Lagrangian cobordisms from Khovanov homology.

Relative Thom Conjectures, symplectic and beyond

2025-12-02T21:40:40Z

We establish a criterion that ensures a bounded almost complex curve in a bounded almost complex 4-manifold minimizes genus amongst all smooth surfaces that share its homology class and the transverse link on its boundary. An immediate corollary affirms the relative symplectic Thom conjecture and, moreover, yields obstructions coming from knot Floer homology to a link bounding a symplectic surface in a symplectic filling. Our results are applicable to knots in manifolds equipped with plane fields that admit no symplectic fillings; for instance, we show that symplectic surfaces in a thickening of any contact 3-manifold with non-zero Ozsvath-Szabo invariant minimize slice genus for their boundary. We conjecture that this phenomenon occurs precisely when the contact structure is tight, which would imply that tightness can be viewed as a symplecto-geometric notion.

A Mathematical Introduction to Geometric Quantization

2025-12-02T19:15:38Z

These notes are based on a series of lectures by Kadri İlker Berktav from May 2024 to November 2024, providing a detailed exposition of geometric quantization formalism and its essential components. They are organized into three parts: background in symplectic geometry, basics of geometric quantization formalism, and an application related to Edward Witten's work in knot theory and topology.

Maximal symplectic torus actions

2025-12-02T19:07:07Z

There are several different notions of maximal torus actions on smooth manifolds, in various contexts: symplectic, Riemannian, complex. In the symplectic context, for the so-called isotropy-maximal actions, as well as for the weaker notion of almost isotropy-maximal actions, we give classifications up to equivariant symplectomorphism. These classification results give symplectic analogues of recent classifications in the complex and Riemannian contexts. Moreover, we deduce that every almost isotropy-maximal symplectic torus action is equivariantly diffeomorphic to a product of a symplectic toric manifold and a torus, answering a question of Ishida. The classification theorems are consequences of Duistermaat and Pelayo's classification of symplectic torus actions with coisotropic orbits.

A remark on Continuous K-theory and Fourier-Sato transform

2025-12-02T16:44:37Z

In this note, we prove a generalization of Efimov's computation for the universal localizing invariant of categories of sheaves with certain microsupport constraints. The proof is based on certain categorical equivalences given by the Fourier-Sato transform, which is different from the original proof. As an application, we compute the universal localizing invariant of the category of almost quasi-coherent sheaves on the Novikov toric scheme introduced by Vaintrob.

A remark on deformation of Gromov non-squeezing

2025-12-02T14:34:46Z

Let $R,r$ be as in the classical Gromov non-squeezing theorem, and let $ε= (πR ^{2} - πr ^{2})/ πr ^{2} $. We first conjecture that the Gromov non-squeezing phenomenon persists for deformations of the symplectic form on the range $C ^{0}$ (w.r.t. the standard metric) $ε$-nearby to the standard symplectic form. We prove this in some special cases, in particular when the dimension is four and when $R < \sqrt 2 r$. Given such a perturbation, we can no longer compactify the range and hence the classical Gromov argument breaks down. Our main method consists of a certain trap idea for holomorphic curves, analogous to traps in dynamical systems.

Smooth simplicial sets and universal Chern-Weil for infinite dimensional groups

2025-12-02T01:08:03Z

We give the construction of the universal, natural up to homotopy Chern-Weil differential graded algebra homomorphism: $$cw: \mathcal{I} (G) \to Ω^{\bullet } (BG, \mathbb{R})$$ for infinite dimensional Milnor regular Lie groups $G$, where $Ω^{\bullet}(BG, \mathbb{R})$ is a certain de Rham algebra of $BG$ (Milnor $BG$ up to a natural weak homotopy equivalence) and where $\mathcal{I} (G)$ is the algebra of continuous, $Ad _{G}$ invariant, symmetric multilinear functionals on the Lie algebra. In particular, this applies to the group of compactly generated Hamiltonian symplectomorphisms, using which we verify a conjecture of Reznikov. For the construction of $cw$ we introduce a basic geometric-categorical notion of a smooth simplicial set. Loosely, this is to Chen spaces as simplicial sets are to spaces. We then give a new construction of the classifying space of $G$ as a smooth Kan complex, with the geometric realization weakly equivalent to the Milnor $BG$.