Derived sheaves in locally conformally symplectic geometry

2026-05-24T04:18:22Z

In this paper, we use derived sheaves to study rigidity phenomena in the cotangent bundles of manifolds endowed with some locally conformally symplectic ($\frak{lcs}$) structure. Taking inspiration from the work of Guillermou, Kashiwara and Shapira, we define a quantization for ``$\frak{lcs}$'' Hamiltonian isotopies, as well as new quantities: the asymptotic Betti numbers of a sheaf. We then show that those quantities are ``well behaved'' with respect of said quantization and use this to give a sheaf-theoretical proof of the Chantraine-Murphy theorem. We also consider the quantization in light of the Tamarkin morphism and the displacement energy of sheaves. This allows us to derive a non-squeezing theorem for $\frak{lcs}$ geometry that is similar, although not identical, to the one recently proven by Bertelson, Chakravarthy, and Sandon. Indeed, the result shown in this paper is more in line with the contact non-squeezing theorem shown by Eliashberg, Kim and Polterovich in 2006.

Embedding more than 8 symplectic balls in $\mathbb{C}\mathrm{P}^2$

2026-05-22T19:32:21Z

We prove that the space of symplectic embeddings of $n\geq 1$ standard balls into the standard complex projective plane $\mathbb{C}\mathrm{P}^2$ is homotopy equivalent to the configuration space of $n$ points in $\mathbb{C}\mathrm{P}^2$, provided that the sum of the capacities of the balls is strictly less than the symplectic area of a line. Moreover, our techniques suggest that, for $n=9$, there are infinitely many homotopy types of spaces of symplectic ball embeddings, depending on the capacities of the balls.

Two-boost problem for the Newtonian potential at the infinity

2026-05-22T12:32:09Z

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.

SYZ mirror of Hirzebruch surface $\mathbb{F}_k$ and Morse homotopy

2026-05-22T09:43:16Z

We study homological mirror symmetry for Hirzebruch surface $\mathbb{F}_k$ as a complex manifold by using the Strominger-Yau-Zaslow construction of mirror pair and Morse homotopy. For the toric Fano surfaces, Futaki-Kajiura and the author proved homological mirror symmetry by using Morse homotopy in arXiv:2008.13462, arXiv:2012.06801, and arXiv:2303.07851. In this paper, we extend Futaki-Kajiura's result of Hirzebruch surface $\mathbb{F}_1$ to $\mathbb{F}_k$. We discuss Morse homotopy and show homological mirror symmetry in the sense above holds true.

Homological mirror symmetry of toric Fano surfaces via Morse homotopy

2026-05-22T09:42:49Z

Strominger-Yau-Zaslow (SYZ) proposed a way of constructing mirror pairs as pairs of torus fibrations. We apply this SYZ construction to toric Fano surfaces as complex manifolds, and discuss the homological mirror symmetry, where we consider Morse homotopy of the moment polytope instead of the Fukaya category.

Multi-valued Morse homotopy for the SYZ mirror of the complex projective plane

2026-05-22T09:15:01Z

We propose a definition of the category $\mathit{Mo}^{\mathrm{mult}}(P)$ of multi-valued Morse homotopy on $P$ consisting of multi-valued functions associated to Lagrangian multi-sections. We then show that a full subcategory $\mathit{Mo}^{\mathrm{mult}}_{\mathcal{E}}(P)$ of $\mathit{Mo}^{\mathrm{mult}}(P)$ is $A_\infty$-equivalent to a full subcategory $\mathit{DG}_{\mathcal{E}}^{\mathrm{vect}}(\mathbb{C}P^2)$ of the category $\mathit{DG}^{\mathrm{vect}}(\mathbb{C}P^2)$ consisting of holomorphic vector bundles over the complex projective plane $\mathbb{C}P^2$. As an application, we study the mirror description for global sections of the holomorphic tangent bundle over $\mathbb{C}P^2$.

The nearby Lagrangian conjecture for pinwheels

2026-05-22T05:30:15Z

The Lagrangian skeleton of the rational homology ball $B_{p,q}$, for $0

Relative Langlands duality and Koszul duality

2026-05-21T17:20:34Z

Consider a pair of $S$-dual hyperspherical varieties $G\circlearrowright X$ and $G^\vee\circlearrowright X^\vee$ equipped with equivariant quantizations $Q(X)$, $Q(X^\vee)$. Assume that the local conjecture of Ben-Zvi, Sakellaridis and Venkatesh holds for this pair, and also that $X\simeq T^*_ψ(Y)$ is polarized, so that $Q(X)=D_ψ(Y)$. Let $B\subset G$ (resp. $B^\vee\subset G^\vee$) be Borel subgroups. Then using a variant of the $S^1$-equivariant localization of arxiv:0706.0322, we deduce an equivalence between the ${\mathbb Z}/2$-graded $B$-equivariant category $(D_ψ(Y)\operatorname{-mod}^B)^{{\mathbb Z}/2}$ and the ${\mathbb Z}/2$-graded unipotent $B^\vee$-monodromic category $(Q(X^\vee)\operatorname{-mod}^{B^\vee,\operatorname{mon}})^{{\mathbb Z}/2}$.

Symplectic and projective small covers over products of polygons

2026-05-21T14:38:32Z

We study symplectic and projective structures on small covers over products of polygons. We introduce the factor-compatible class for small covers over products of polygons and prove that every factor-compatible small cover admits a smooth projective model as a finite quotient of a product of curves. Furthermore, we show that the graded mod~$2$ cohomology ring determines the Hodge diamond of the associated projective model. We also prove that every factor-compatible small cover admits an iterated equivariant bundle structure.

Algebroid Desingularizable Poisson Structures

2026-05-21T14:12:36Z

We introduce algebroid desingularizable Poisson manifolds, a class of Poisson manifolds induced by symplectic Lie algebroids with almost-injective anchors, generalizing structures including log-symplectic, $b^m$-symplectic, $E$-symplectic manifolds, and hypersurface algebroids. We show that the dual of real, finite-dimensional, non-abelian, reductive Lie algebras never admit such algebroids. We finish by giving two infinite families of $2$-step nilpotent Lie algebras, one of which is desingularizable, and one of which is not.

Categorical Lusztig cycles and weave schobers

2026-05-21T13:10:35Z

We establish the foundations of categorical weave calculus, developing the diagrammatic calculus of weaves and braid varieties within the study of Calabi-Yau triangulated categories and cluster tilting theory. This is achieved by associating a perverse sheaf of triangulated categories to each Demazure weave. A central contribution is the construction and study of the categorical Lusztig cycles and their duals, which we show form simple-minded and silting collections in the category of global sections of such a sheaf of categories. These categorical collections are built using the diagrammatics of weaves and we study their behavior under changes of weaves. For instance, we show that they undergo tilts under weave mutations. En route, we develop the study of categorical weighted braid words, as canonical rigid filtered dg modules over derived preprojective algebras, and the categorical incarnation of the tropical Lusztig rules, as a gluing mechanism for such filtered objects. Appendix A contains homological results, providing a novel construction of simple-minded and silting collections from full exceptional collections, and characterizing when these arise from a highest weight structure on an abelian category.

Chern Characteristics and Todd-Hirzebruch Identities for Transpolar Pairs of Toric Spaces

2026-05-21T00:10:09Z

Standard toric geometry methods used to construct Calabi-Yau varieties may be extended to complete intersections in non-Fano varieties encoded by star triangulating non-convex polytopes. Similarly, mirror symmetry is conjectured to hold in terms of a transpolar duality generalizing the original construction of Batyrev and Borisov. The associated mirror pairs naturally include certain flip-folded, multi-layered multihedral objects, inclusively named VEX multitopes, and a correspondingly generalized transpolar duality. These self-overlaying VEX multitopes, long since known in pre-symplectic geometry, are found to correspond to certain non-algebraic but smooth toric spaces with Chern classes that satisfy the standard Todd-Hirzebruch identities. The computation of diffeomorphism invariants, including characteristic submanifold intersection numbers, corroborates their recent inclusion in the connected web of Calabi-Yau spaces and associated string compactifications: They arise together with the standard (Fano/reflexive polytope) constructions, within deformation families of generalized complete intersections in products of projective spaces.

A Serre type vanishing property of the twisted primitive cohomology

2026-05-20T17:08:18Z

We prove a Serre type vanishing property for the twisted primitive cohomology of a symplectic manifold. It is based on Tseng and Zhou's vanishing property under the symplectic flatness. These vanishing properties emphasizes the necessity of the symplectic flatness when generalizing certain results from the sheaf cohomology in complex geometry to the primitive cohomology in symplectic geometry.

Flow loops and quantum groups

2026-05-20T16:41:37Z

This paper connects two seemingly different ways of studying knots: quantum group invariants and the dynamics of Morse flows. For fibered knots, we define a two-variable series invariant by counting Morse flow loops in the complement. This dynamical series is conjectured to agree with the BPS $q$-series of the knot complement, which arises from Verma modules for quantum groups and encodes all colored Jones polynomials. We prove this correspondence for all braid-homogeneous knots.

Symplectic log Kodaira dimension $-\infty$, affine-ruledness and unicuspidal rational curves

2026-05-20T14:48:14Z

Given a closed symplectic $4$-manifold $(X,ω)$, a collection $D$ of embedded symplectic submanifolds satisfying certain normal crossing conditions is called a symplectic divisor. In this paper, we consider the pair $(X,ω,D)$ with symplectic log Kodaira dimension $-\infty$ in the spirit of Li-Zhang. We introduce the notion of symplectic affine-ruledness, which characterizes the divisor complement $X\setminus D$ as being foliated by symplectic punctured spheres. We establish a symplectic analogue of a theorem by Fujita-Miyanishi-Sugie-Russell in the algebraic settings which describes smooth open algebraic surfaces with $\overlineκ=-\infty$ as containing a Zariski open subset isomorphic to the product between a curve and the affine line. When $X$ is a rational manifold, the foliation is given by certain unicuspidal rational curves of index one with cusp singularities located at the intersection point in $D$. We utilize the correspondence between such singular curves and embedded curves in its normal crossing resolution recently highlighted by McDuff-Siegel, and also a criterion for the existence of embedded curves in the relative settings by McDuff-Opshtein. Another main technical input is Zhang's curve cone theorem for tamed almost complex $4$-manifolds, which is crucial in reducing the complexity of divisors. We also investigate the symplectic deformation properties of divisors and show that such pairs are deformation equivalent to Kähler pairs. As a corollary, the restriction of the symplectic structure $ω$ on an open dense subset in the divisor complement $X\setminus D$ is deformation equivalent to the standard product symplectic structure.