A universal extension of helicity to topological flows

2025-08-14T12:53:48Z

Helicity is a fundamental conserved quantity in physical systems governed by vector fields whose evolution is described by volume-preserving transformations on a three-manifold. Notable examples include inviscid, incompressible fluid flows, modeled by the three-dimensional Euler equations, and conducting plasmas, described by the magnetohydrodynamics (MHD) equations. A key property of helicity is its invariance under volume-preserving diffeomorphisms. In an influential article from 1973, Arnold, having provided an ergodic interpretation of helicity as the "asymptotic Hopf invariant", posed the question of whether this invariance persists under volume-preserving homeomorphisms. More generally, he asked whether helicity can be extended to topological volume-preserving flows. We answer both questions affirmatively for flows without rest points. Our approach reformulates Arnold's question in the framework of what we call $C^0$ Hamiltonian structures. This perspective enables us to leverage recent developments in $C^0$ symplectic geometry, particularly results concerning the algebraic structure of the group of area-preserving homeomorphisms.

Legendrian non-isotopic unit conormal bundles in high dimensions

2025-08-14T00:38:54Z

For any compact connected submanifold $K$ of $\mathbb{R}^n$, let $Λ_K$ denote its unit conormal bundle, which is a Legendrian submanifold of the unit cotangent bundle of $\mathbb{R}^n$. In this paper, we give examples of pairs $(K_0,K_1)$ of compact connected submanifolds of $\mathbb{R}^n$ such that $Λ_{K_0}$ is not Legendrian isotopic to $Λ_{K_1}$, although they cannot be distinguished by classical invariants. Here, $K_1$ is the image of an embedding $ι_f \colon K_0 \to \mathbb{R}^n$ which is regular homotopic to the inclusion map of $K_0$ and the codimension in $\mathbb{R}^n$ is greater than or equal to $4$. As non-classical invariants, we define the strip Legendrian contact homology and a coproduct on it under certain conditions on Legendrian submanifolds. Then, we give a purely topological description of these invariants for $Λ_K$ when the codimension of $K$ is greater than or equal to $4$. The main examples $Λ_{K_0}$ and $Λ_{K_1}$ are distinguished by the coproduct, which is computed by using an idea of string topology.

More counterexamples to Lagrangian Poincaré recurrence in dimension four

2025-08-13T13:08:29Z

In earlier work, we constructed counterexamples to Lagrangian Poincaré recurrence for many toric symplectic four manifolds. Here we provide a few more examples extending the family of counterexamples to include all non-monotone toric symplectic four manifolds. This work has been incorporated into arXiv:2506.23754v2 Section 3.3

Hypersymplectic Structures Invariant Under an Effective Circle Action

2025-08-13T01:22:09Z

A hypersymplectic structure on a 4-manifold is a triple of symplectic forms for which any non-zero linear combination is again symplectic. In 2006, Donaldson conjectured that on a compact 4-manifold any hypersymplectic structure can be deformed through cohomologous hypersymplectic structures to a hyperkähler triple. We prove this under the assumption that the initial structure is invariant under an effective $S^1$-action. In particular we show that the underlying 4-manifold is diffeomorphic to $\mathbb{T}^4$.

(Non)displaceability in semitoric systems

2025-08-12T22:04:50Z

We adapt and generalize McDuff's method of probes from toric system to so called semitoric integrable systems and apply it to study the (non)displaceability properties of the fibers of $3$ examples of semitoric integrable systems.

Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data

2025-08-12T13:32:50Z

For Hamiltonian circle actions on compact, connected, four-dimensional manifolds, we give a generators and relations description for the even part of the equivariant cohomology, as an algebra over the equivariant cohomology of a point. This description depends on combinatorial data encoded in the decorated graph of the manifold. We then give an explicit combinatorial description of all weak algebra isomorphisms. We use this description to prove that the even parts of the equivariant cohomology algebras are weakly isomorphic and the odd groups have the same ranks if and only if the labeled graphs obtained from the decorated graphs by forgetting the height and area labels are isomorphic. As a consequence, we give an example of an isomorphism of equivariant cohomology algebras that cannot be induced by an equivariant diffeomorphism of manifolds preserving a compatible almost complex structure. We also provide a soft proof that there are finitely many maximal Hamiltonian circle actions on a fixed compact, connected, four-dimensional symplectic manifold.

Homoclinic Floer homology via direct limits

2025-08-11T22:32:41Z

Assume $M$ to be $\mathbb R^2$ or a closed surface of genus $g \geq 1$ and $ω$ a symplectic form on $M$. Let $\varphi: M \to M$ be a symplectomorphism with hyperbolic fixed point $x$ and transversely intersecting stable and unstable manifolds $W^s(\varphi, x)$ and $ W^u(\varphi, x)$. The intersection points $W^s(\varphi, x) \cap\ W^u(\varphi, x)=:{\mathcal H}(\varphi, x)$ are called homoclinic points, and the (un)stable manifolds of a symplectomorphism are Lagrangian submanifolds. For this Lagrangian intersection problem with its wildly oscillating Lagrangian manifolds and infinite number of intersection points, we introduced in earlier works Floer homologies generated by so-called (semi)primary homoclinic points and analysed their dynamical and geometric properties. In this paper, we significantly generalise these earlier results by first defining a Floer homology generated by finite sets of contractible homoclinic points. These Floer homologies nevertheless still consider rather `local' aspects of $W^s(\varphi, x) \cap\ W^u(\varphi, x)$ since their generator sets are finite (but the number of contractible homoclinic points is infinite). To overcome this issue, we construct a direct limit of these `local' homoclinic Floer homologies over suitable index sets. These direct limits accumulate the information gathered by the finitely generated `local' homoclinic Floer homologies.

Heegaard Floer Symplectic homology and Viterbo's isomorphism theorem in the context of multiple particles

2025-08-11T18:38:31Z

Given a Liouville manifold $M$, we introduce an invariant of $M$ that we call the Heegaard Floer symplectic cohomology $SH^*_κ(M)$ for any $κ\ge 1$ that coincides with the symplectic cohomology for $κ=1$. Writing $\hat{M}$ for the completion of $M$, the differential counts pseudoholomorphic curves of arbitrary genus in $\mathbb{R} \times S^1 \times \hat{M}$ that are required to be branched $κ$-sheeted covers when projected to the $\mathbb{R} \times S^1$-direction; this resembles the cylindrical reformulation of Heegaard Floer homology by Lipshitz. These cohomology groups provide a closed-string analogue of higher-dimensional Heegaard Floer homology introduced by Colin, Honda, and Tian. When $\hat{M}=T^*Q$ with $Q$ an orientable manifold, we introduce a Morse-theoretic analogue of Heegaard Floer symplectic cohomology, which we call the free multiloop complex of $Q$. When $Q$ has vanishing relative second Stiefel-Whitney class, we prove a generalized version of Viterbo's isomorphism theorem by showing that the cohomology groups $SH^*_κ(T^*Q)$ are isomorphic to the cohomology groups of the free multiloop complex of $Q$.

Symplectification of Circular Arcs and Arc Splines

2025-08-11T07:57:15Z

In this article, circular arcs are considered both individually and as elements of a piecewise circular curve. The endpoint parameterization proves to be quite advantageous here. The perspective of symplectic geometry provides new vectorial relationships for the circular arc. Curves are considered whose neighboring circular elements each have a common end point or, in addition, a common tangent. These arc splines prove to be a one-parameter curve family, whereby this parameter can be optimized with regard to various criteria.

The rigid-flexible value for symplectic embeddings of four-dimensional ellipsoids into polydiscs

2025-08-08T18:28:14Z

We consider the embedding function $c_b(a)$ describing the problem of symplectically embedding an ellipsoid $E(1,a)$ into the smallest scaling of the polydisc $P(1,b)$. Previous work suggests that determining the entirety of $c_b(a)$ for all $b$ is difficult, as infinite staircases can appear for many sequences of irrational $b$. In contrast, we show that for every polydisc $P(1,b)$ with $b>2$, there is an explicit formula for the minimum $a$ such that the embedding problem is determined only by volume. That is, when the ellipsoid is sufficiently stretched, there is a symplectic embedding of $E(1,a)$ fully filling an appropriately scaled polydisc $P(λ,λb)$. Denoted $RF(b)$, this rigid-flexible ($RF$) value is piecewise smooth with a discrete set of discontinuities for $b>2$. At the same time, by exhibiting a sequence of obstructive classes for $b_n = \frac{n+1}{n}$ at $a=8$, we show % that $c_{b_n}(8)$ is above the volume constraint. So, in combination with the Frenkel-Müller result, it follows that $RF$ is also discontinuous at $b=1$.

Rigid-flexible values for symplectic embeddings of four-dimensional ellipsoids into almost-cubes

2025-08-08T16:43:32Z

We consider the embedding function $c_b(a)$ describing the problem of symplectically embedding an ellipsoid $E(1,a)$ into the smallest possible scaling by $λ>1$ of the polydisc $P(1,b)$. In particular, we calculate rigid-flexible values, i.e. the minimum $a$ such that for $E(1,a')$ with $a'>a$, the embedding problem is determined only by volume. For $12$, our results complete the story outside of a discrete set.

Embedded contact homology of the unit cotangent bundle of the Klein bottle

2025-08-08T15:37:05Z

We give a combinatorial description of the embedded contact homology chain complex of the unit cotangent bundle of the Klein bottle with the standard flat Riemannian metric. Using pseudoholomorphic curves coming from the associated differential, we find an obstruction theorem for symplectic embeddings of toric domains $X_Ω\subset \mathbb{C}^2$ into the unit disk cotangent bundle $D^*K$. As an application we compute the Gromov width of $D^*K$.

Symplectically self-polar polytopes of minimal capacity

2025-08-06T12:26:17Z

In this paper we continue the study of symplectically self-polar convex bodies started in arXiv:2211.14630. We construct symplectically self-polar convex bodies of the minimal Ekeland-Hofer-Zehnder capacity. This in turn proves that the lower bound for the Ekeland-Hofer-Zehnder capacity for centrally symmetric convex bodies obtained in arXiv:1801.00242 cannot be improved. We also make some numerical experiments and speculations regarding the minimal volume of symplectically self-polar convex bodies.

Cluster algebras and monotone Lagrangian tori

2025-08-06T07:09:03Z

Motivated by the construction of Newton--Okounkov bodies and toric degenerations via cluster algebras in [GHKK18, FO25], we consider a family of Newton--Okounkov polytopes of a complex smooth Fano variety $X$ related by a composition of tropicalized cluster mutations. According to the work of [HK15], the toric degeneration associated with each Newton--Okounkov polytope $Δ$ in the family produces a completely integrable system of $X$ over $Δ$. We investigate circumstances in which each completely integrable system possesses a monotone Lagrangian torus fiber. We provide a sufficient condition, based on the data of tropical integer points and exchange matrices, for the family of constructed monotone Lagrangian tori to contain infinitely many monotone Lagrangian tori, no two of which are related by any symplectomorphism. By employing this criterion and exploiting the correspondence between the tropical integer points and the dual canonical basis elements, we generate infinitely many distinct monotone Lagrangian tori on flag manifolds of arbitrary type except in a few cases.

Comparing cluster algebras on braid varieties

2025-08-05T18:04:16Z

Braid varieties parametrize linear configurations of flags with transversality conditions dictated by positive braids. They include and generalize reduced double Bruhat cells, positroid varieties, open Bott-Samelson varieties, and Richardson varieties, among others. Recently, two cluster algebra structures were independently constructed in the coordinate rings of braid varieties: one using weaves and the other using Deodhar geometry. The main result of the article is that these two cluster algebras coincide. More generally, our comparative study matches the different concepts and results from each approach to the other, both on the combinatorial and algebraic geometric aspects.