https://arxiv.org/api/MDuajk+6Ra6BqOrZ4gLD4sY0rR4 2026-06-25T16:42:20Z 10198 795 15 http://arxiv.org/abs/2509.19915v1 2025-09-24T09:13:34Z

We study the core of a proper action by a Lie group $G$ on a smooth manifold $M$, extending the construction for $G$ compact by Skjelbred and Straume. Moreover, we show that many properties of a proper $G$-action on $M$ are determined by the action of a group $G'$ on the corresponding core $_cM$. We say that such properties admit a reduction principle. In particular, we prove that a proper isometric $G$-action on $M$ is polar (resp. hyperpolar) if and only if the $G'$-action on $_cM$ is polar (resp. hyperpolar). In the case of a proper action by syplectomorphisms on a symplectic manifold, we show that a reduction principle holds for coisotropic and infinitesimally almost homogeneous actions. We further study the coisotropic condition for the case of a proper Hamiltonian action and its relation with the symplectic stratification described by Lermann and Bates. In particular, we obtain several characterizations for coisotropic actions, some of which extend known results for the action of a compact group of holomorphic automorphisms on a compact Kähler manifold obtained by Huckleberry and Wurzbacher. Finally, we study some applications of the core construction for the action of a compact Lie group on a Kähler manifold by holomorphic isometries.

2025-09-24T09:13:34Z 33 pages Leonardo Biliotti Gustavo May Custodio Alessandro Minuzzo http://arxiv.org/abs/2211.11712v4 2025-09-23T22:20:22Z

On symplectic manifolds, we introduce a Morse-type complex with elements generated by pairs of critical points of a Morse function. The differential of the complex consists of gradient flows and an integration of the symplectic structure over spaces of gradient flow lines. Using the Witten deformation method, we prove that the cohomology of this complex is independent of both the Riemannian metric and the Morse function used to define the complex and is in fact isomorphic to the cohomology of differential forms of Tsai, Tseng and Yau (TTY). We also obtain Morse-type inequalities that bound the dimensions of the TTY cohomologies by the number of Morse critical points and the interaction of symplectic structure with the critical points.

2022-11-21T18:33:27Z v1: 27 pages, 1 figure. v2: 53 pages. Significant changes including title and abstract. The original v1 paper has been greatly expanded and now separated into two papers. One of the two is this replaced version which concerns the symplectic case and uses analytic-based methods. v3: Minor revisions, typos corrected. v4: Sec. 3.2 revised David Clausen Xiang Tang Li-Sheng Tseng http://arxiv.org/abs/2312.11830v3 2025-09-23T19:54:22Z

We consider dynamically convex star-shaped domains in a symplectic vector space of dimension $4$. For such a domain, a ``Hopf orbit'' is a closed characteristic in the boundary which is unknotted and has self-linking number $-1$. We show that the minimum action among Hopf orbits exists and defines a symplectic capacity for dynamically convex star-shaped domains. We further show that this capacity agrees with the first ECH capacity for such domains. Combined with a result of Edtmair, this implies that for dynamically convex star-shaped domains in four dimensions, the first ECH capacity agrees with the cylinder capacity. This also provides a method to show that the first ECH capacity of a dynamically convex star-shaped domain satisfies the axioms of a normalized symplectic capacity without any need for Seiberg-Witten theory.

2023-12-19T03:42:40Z 26 pages, with corrections and updated references Umberto Hryniewicz Michael Hutchings Vinicius G. B. Ramos http://arxiv.org/abs/2509.19211v1 2025-09-23T16:30:18Z

In contrast to the world-sheet of a fundamental string, the world-volume of stacked D-branes carries an Azumaya noncommutative structure ([L-Y1: Sec.\ 2] (D(1))), allowing it to directly serve as a probe into noncommutative target-spaces. This feature leads to a D-brane fantasy: {\it Noncommutative Mirror Symmetry between noncommutative Calabi-Yau spaces may be realized as different realizations of a supersymmetric D-brane world-volume quantum field theory exactly like the string world-sheet aspect for Mirror Symmetry between (commutative) Calabi-Yau manifolds}. Driven by this fantasy, in the current notes a class of noncommutative ringed spaces shadowing over a $C^\infty$-manifold with corners are constructed from gluing local noncommutative crepant resolutions of Gorenstein isolated singularities. Dynamical D-branes on such noncommutative target-spaces are realized as maps/morphisms from an Azumaya manifold with a fundamental module with a connection $\nabla$ thereto. The notion of $\nabla$-adjusted kinetic energy for such a map is given via the basic noncommutative differential calculus developed earlier in [L-Y4] (D(11.1)). This provides an action functional for dynamical D-branes on such noncommutative spaces in parallel to the Polyakov action functional for fundamental bosonic strings on a commutative target-space. This sets up a basic stage to begin with for the realization of the D-brane fantasy on Noncommutative Mirror Symmetry. Questions beyond are sampled along the discussion.

2025-09-23T16:30:18Z 49+2 pages, 16 figures Chien-Hao Liu Shing-Tung Yau http://arxiv.org/abs/2507.18621v2 2025-09-23T15:46:58Z

We introduce Poisson $C^\infty$-rings and Poisson local $C^\infty$-ringed spaces. We show that the spectrum of a Poisson $C^\infty$-ring is an affine Poisson $C^\infty$-scheme. We then discuss applications that include singular symplectic and Poisson reductions, singular quasi-Poisson reduction, coisotropic reduction and Poisson-Dirac subschemes.

2025-07-24T17:55:45Z 24 pages, v2: reorganization and some typos corrected, comments welcome. arXiv admin note: text overlap with arXiv:2503.19064 Eugene Lerman http://arxiv.org/abs/2509.19095v1 2025-09-23T14:46:41Z

We construct exact Lagrangian fillings of Legendrian torus links $Λ(k, n-k)$ that are fixed by a Legendrian loop that acts by $2π\ell/n$ rotation. Using these rotationally symmetric fillings, we produce fillings of the corresponding Legendrian twist-spun tori. Our construction is combinatorial in nature, relating symmetric weakly separated collections and plabic graphs to symmetric Legendrian weaves via the T-shift procedure of Casals, Le, Sherman-Bennett, and Weng. The main technical ingredient in this process is a necessary and sufficient condition for the existence of maximal weakly separated collections of $k$-element subsets of $\{1, \dots, n\}$ that are fixed by addition of $\ell$ modulo $n$.

2025-09-23T14:46:41Z 20 pages, 7 figures; comments welcome! Vincent Chen Patton Galloway James Hughes Luciana Wei http://arxiv.org/abs/2509.18976v1 2025-09-23T13:27:51Z

We study the Lagrangian isotopy classification of Lagrangian spheres in the Milnor fibre, $B_{d,p,q}$, of the cyclic quotient surface T-singularity $\frac{1}{dp^2} (1,dpq-1)$. We prove that there is a finitely generated group of symplectomorphisms such that the orbit of a fixed Lagrangian sphere exhausts the set of Lagrangian isotopy classes. Previous classifications of Lagrangian spheres have been established in simpler symplectic $4$-manifolds, being either monotone, or simply connected, whilst the family studied here satisfies neither of these properties. We construct Lefschetz fibrations for which the Lagrangian spheres are isotopic to matching cycles, which reduces the problem to a computation involving the mapping class group of a surface. These fibrations are constructed using the techniques of $J$-holomorphic curves and Symplectic Field Theory, culminating in the construction of a $J$-holomorphic foliation by cylinders of $T^*S^2$. Our calculations provide evidence towards the symplectic mapping class group of $B_{d,p,q}$ being generated by Lagrangian sphere Dehn twists and another type of symplectomorphism arising as the monodromy of the $\frac{1}{p^2}(1,pq-1)$ singularity.

2025-09-23T13:27:51Z 101 pages, 26 figures Matthew R. Buck http://arxiv.org/abs/2509.17772v1 2025-09-22T13:36:24Z

Hofer-Wysocki-Zehnder and Bourgeois proved that a finite energy punctured pseudoholomorphic curve in the symplectization of a Morse-Bott contact manifold either has a removable singularity or asymptotes to a Reeb orbit. We give an alternate proof of this result.

2025-09-22T13:36:24Z 17 pages Manav Gaddam Sushmita Venugopalan http://arxiv.org/abs/2509.17656v1 2025-09-22T11:59:57Z

In this paper we review the quantization procedure employed by Jeffrey and Weitsman in their formalization of Witten's three manifold invariants. In so doing, we formalize the stratification of the Lagrangian leaf which corresponds to the flat connections of a bounding surface which extend into the handlebody. The smooth structure of this space motivates a procedure for a stratified quantization: use volumes and corresponding half-densities on the stratified tangent bundle. The pairing is then defined such that the proposed BKS pairing still yields the torsion in the integrand of the Jeffrey-Weitsman-Witten invariant. The stratification yields a natural covariant constant half-density which results in a reduction of the structure group for reducible connections. The conditions of their integral are refined in the context of the stratification and this change reproduces the invariant exactly for a plethora of 3-manifolds and extends the invariant for some.

2025-09-22T11:59:57Z Adrian Chitan http://arxiv.org/abs/2408.03279v2 2025-09-19T22:15:22Z

We define a new class of plane billiards - the `pensive billiard' - in which the billiard ball travels along the boundary for some distance depending on the incidence angle before reflecting, while preserving the billiard rule of equality of the angles of incidence and reflection. This generalizes so called `puck billiards' proposed by M.Bialy, as well as a `vortex billiard', i.e. the motion of a point vortex dipole in 2D hydrodynamics on domains with boundary. We prove the variational origin and invariance of a symplectic structure for pensive billiards, as well as study their properties including conditions for a twist map, the existence of periodic orbits, etc. We also demonstrate the appearance of both the golden and silver ratios in the corresponding hydrodynamical vortex setting. Finally, we introduce and describe basic properties of pensive outer billiards.

2024-08-06T16:21:37Z to appear in Forum of Mathematics, Sigma Theodore D. Drivas Daniil Glukhovskiy Boris Khesin http://arxiv.org/abs/2412.03823v2 2025-09-19T20:38:52Z

We show that Legendrian pre-quantization lifts of many non-exact Lagrangian submanifolds in $\mathbb{C}^n$ retain some quantitative rigidity from the symplectic base. In particular, they cannot be moved by Legendrian isotopy into an arbitrarily small pre-quantized cylinder. This is a high dimensional generalization of results of Dimitroglou Rizell--Sullivan in dimension 3. In this setting, we give a new proof of non-squeezing using normal rulings, and in high dimension, we obtain our results using a category of (micro)sheaves associated to a Legendrian submanifold of pre-quantizations.

2024-12-05T02:37:44Z Fixed some typos, minor updates for submission. 47 pages Eric Kilgore http://arxiv.org/abs/2509.16327v1 2025-09-19T18:12:36Z

A fundamental result of Banyaga states that the Hamiltonian diffeomorphism group of a closed symplectic manifold is perfect. We refine this result by proving that, locally in the $C^\infty$ topology, the number of commutators needed to express a Hamiltonian diffeomorphism is bounded, and the commutators can be chosen to depend smoothly on the diffeomorphism. As a corollary, we show that any homogeneous quasimorphism on the Hamiltonian diffeomorphism group is continuous in the $C^\infty$ topology. We establish an analogous smooth perfectness result for compactly supported Hamiltonian diffeomorphisms of open symplectic manifolds, where Banyaga proved that the kernel of the Calabi homomorphism is perfect. For symplectic manifolds with boundary, we define a natural group of Hamiltonian diffeomorphisms that need not restrict to the identity on the boundary. We extend the Calabi homomorphism to this setting and prove a corresponding refined perfectness result. These results are motivated by our work on symplectic packing stability for symplectic manifolds with boundary, where they play a key role in our symplectic embedding constructions.

2025-09-19T18:12:36Z 41 pages, 12 figures Oliver Edtmair http://arxiv.org/abs/2306.06439v3 2025-09-19T16:16:57Z

Given a complex algebraic group $G$ and complex $G$-variety $X$, one can study the affine Hamiltonian Lagrangian (AHL) $G$-bundles over $X$. Lisiecki indexes the isomorphism classes of such bundles in the case of a homogeneous $G$-variety $X=G/H$; the indexing set is the set of $H$-fixed points $(\mathfrak{h}^*)^H\subset\mathfrak{h}^*$, where $\mathfrak{h}$ is the Lie algebra of $H$. In very rough terms, one may regard $ψ\in(\mathfrak{h}^*)^H$ as labeling the isomorphism class of a $ψ$-twisted cotangent bundle of $G/H$. These twisted cotangent bundles feature prominently in geometric representation theory and symplectic geometry. We introduce and examine the notion of a universal family of AHL $G$-bundles over a $G$-variety $X$, as part of a broader program on Lie-theoretic and incidence-theoretic constructions of regular Poisson varieties. This family is defined to be a flat family $π:\mathcal{U}\longrightarrow Y$, in which $\mathcal{U}$ is a Poisson variety, the fibers of $π$ form a complete list of representatives of the isomorphism classes of AHL $G$-bundles over $X$, and other pertinent properties are satisfied. Our first main result is the construction of a universal family of AHL $G$-bundles over a homogeneous base $X=G/H$, for connected $H$. In our second main result, we take $X$ to be a conjugacy class $\mathcal{C}$ of self-normalizing closed subgroups of $G$. We associate to $\mathcal{C}$ a regular Poisson variety $\mathcal{U}_{\mathcal{C}}$, defined in incidence-theoretic terms. Attention is paid to the case of conjugacy classes of normalizers of symmetric subgroups. In the case of a connected semisimple group $G$ and conjugacy class $\mathcal{C}$ of parabolic subgroups, our third main result relates $\mathcal{U}_{\mathcal{C}}$ to the partial Grothendieck-Springer resolution for $\mathcal{C}$.

2023-06-10T13:28:03Z Peter Crooks http://arxiv.org/abs/2509.15390v1 2025-09-18T19:55:03Z

We prove that symplectic ball packing stability holds for every compact, connected symplectic $4$-manifold with smooth boundary. This follows from a stronger result: the full volume of any such manifold can be filled by a single symplectic ellipsoid. As an application, we obtain estimates - with sharp exponents - for the error terms in the symplectic Weyl laws for embedded contact homology capacities, periodic Floer homology spectral invariants, and link spectral invariants. We also construct an example of a star-shaped domain in $\mathbb{R}^4$, arbitrarily $C^1$ close to the unit ball and with boundary of regularity just below $C^2$ and smooth away from a single point, for which packing stability fails. Our proofs reveal a close connection between symplectic packing stability in the presence of smooth boundary and the algebraic structure of Hamiltonian diffeomorphism groups, particularly Banyaga's simplicity results.

2025-09-18T19:55:03Z 62 pages, 21 figures Oliver Edtmair http://arxiv.org/abs/2509.14996v1 2025-09-18T14:29:38Z

Link spectral invariants were introduced by Cristofaro-Gardiner, Humilière, Mak, Seyfaddini, and Smith. They induce Hofer-Lipschitz quasimorphisms on the group of Hamiltonian diffeomorphisms of the two-dimensional sphere. We prove that some linear combinations of those quasimorphisms vanish on the stabiliser of the equator. As a consequence, at least one of the following statements holds: there are non-trivial linear relations between the link quasimorphisms, or the space of equators of the sphere has infinite Hofer diameter. The proof relies on an `almost' Künneth formula in Link Floer Homology for some specific type of connected sums.

2025-09-18T14:29:38Z 43 pages, 5 figures. Comments are welcome! Baptiste Serraille Ibrahim Trifa