https://arxiv.org/api/GLte/PW+sA3PuXDwBU4M+CYKemQ 2026-03-31T11:52:42Z 10050 315 15 http://arxiv.org/abs/2506.11213v2 2025-12-11T16:25:28Z

Reflexive dg categories were introduced by Kuznetsov and Shinder to abstract the duality between bounded and perfect derived categories. In particular this duality relates their Hochschild cohomologies, autoequivalence groups, and semiorthogonal decompositions. We establish reflexivity in a variety of settings including affine schemes, simple-minded collections, chain and cochain dg algebras of topological spaces, Ginzburg dg algebras, and Fukaya categories of cotangent bundles and surfaces as well as the closely related class of graded gentle algebras. Our proofs are based on the interplay of reflexivity with gluings, derived completions, and Koszul duality. In particular we show that for certain (co)connective dg algebras, reflexivity is equivalent to derived completeness.

2025-06-12T18:20:28Z 43 pages, 2 figures. Comments welcome! v2: some results generalised, exposition improved Matt Booth Isambard Goodbody Sebastian Opper http://arxiv.org/abs/2512.10491v1 2025-12-11T10:13:39Z

We construct transfer maps in symplectic cohomology for convex symplectic domains under the assumption that the complement of a subdomain is exact. We manipulate the action filtration by Reeb periods introduced by McLean--Ritter for the construction.

2025-12-11T10:13:39Z 15 pages, 2 figures Myeonggi Kwon Takahiro Oba http://arxiv.org/abs/2410.04158v4 2025-12-10T12:08:20Z

We address the following problem: if a Hamiltonian diffeomorphism maps a Lagrangian submanifold $L$ to a small Weinstein neighborhood of $L$, is the image necessarily Hamiltonian isotopic to $L$ inside that neighborhood? On the one hand, we show that the question can have a negative answer in any symplectic manifold of dimension at least six. On the other hand, we answer an a priori weaker form of the question in the positive in various cases when $L$ satisfies a rationality condition: we prove that the image of $L$ is often exact inside the Weinstein neighborhood. We provide applications to the Lagrangian counterpart of the $C^0$ flux conjecture, to $C^0$-rigidity phenomena of Hamiltonian diffeomorphisms, and to topological properties of spaces of Lagrangians with the same rationality constraint. Moreover, we state and prove cases of an analogue of Viterbo's spectral norm conjecture for non-exact Lagrangians; in the process, we make progress on an old question of Viterbo regarding integer difference vectors between points of Lagrangians.

2024-10-05T13:43:34Z 40 pages; v2: metadata correction; v3: two authors added, paper expanded, main results extended to new cases, new applications related to questions of Viterbo; v4: restructuring of sections and title change Marcelo S. Atallah Jean-Philippe Chassé Rémi Leclercq Egor Shelukhin http://arxiv.org/abs/2512.09569v1 2025-12-10T12:02:08Z

We introduce an explicit construction that produces immersions into the pseudosphere $\mathbb{S}^{n,n+1}$ and the pseudohyperbolic space $\mathbb{H}^{n+1,n}$ starting from equiaffine immersions in $\mathbb{R}^{n+1}$, and conversely. We describe how these immersions interact with a para-Sasaki metric defined on $\mathbb{H}^{n+1,n}$ via a principal $\mathbb{R}$-bundle structure over a para-Kähler manifold. In the case where the immersion in $\mathbb{R}^{n+1}$ is an $n$-dimensional hyperbolic affine sphere, we obtain spacelike maximal immersions in $\mathbb{H}^{n+1,n}$ that satisfy a transversality condition with respect to the principal $\mathbb{R}$-bundle structure. As a first application, we show that, given a certain boundary set $Λ_Ω\subset \partial_\infty \mathbb{H}^{n+1,n}$, associated with a properly convex subset $Ω\subset \mathbb{RP}^n$ and homeomorphic to an $(n-1)$-sphere, there exists an $n$-dimensional maximal spacelike submanifold in $\mathbb{H}^{n+1,n}$ whose boundary is precisely $Λ_Ω$. As a second application, we show that the Blaschke lift of the hyperbolic affine sphere, introduced by Labourie for $n=2$, into the symmetric space of $\mathrm{SL}(n+1,\mathbb{R})$ is a harmonic map.

2025-12-10T12:02:08Z Comments welcome! 50 pages Nicholas Rungi http://arxiv.org/abs/2304.13026v5 2025-12-09T20:54:03Z

We construct a filtration by ideals on quantum cohomology for symplectic manifolds with a Hamiltonian $S^1$-action that extends to a pseudoholomorphic $\mathbb{C}^*$-action. These spaces include all Conical Symplectic Resolutions, in particular all Quiver Varieties. In particular, we obtain a family of filtrations on singular cohomology for any Conical Symplectic Resolution, that is sensitive to the choice of $\mathbb{C}^*$-action. The symplectic form is rarely exact at infinity for these spaces, so substantial foundational work is carried out to rigorously define Floer theory, in particular symplectic cohomology. Using Floer theory, we construct a periodic persistence module, giving rise to a graded periodic barcode associated to the $\mathbb{C}^*$-action. This encodes birth-death phenomena of Floer invariants. Our filtrations can be viewed as a Floer-theoretic analogue of Atiyah-Bott filtrations, arising from stratifying a manifold by gradient flowlines of a Morse-Bott function, but they are distinct from those and they can detect non-topological properties of the quantum product.

2023-04-25T17:55:29Z 68 pages, 4 figures. Minor corrections, shortened some parts Alexander F. Ritter Filip Živanović http://arxiv.org/abs/2304.14384v4 2025-12-09T20:28:00Z

Using Morse-Bott-Floer spectral sequences, we describe a filtration by ideals on quantum cohomology for symplectic manifolds with a Hamiltonian $S^1$-action that extends to a pseudoholomorphic $\mathbb{C}^*$-action. These spaces include all Conical Symplectic Resolutions, in particular all Quiver Varieties. Our spectral sequences give explicit descriptions of birth-death phenomena of the barcode of the persistence module associated to the $\mathbb{C}^*$-action. This paper contains the foundational work to rigorously construct a filtration on Floer complexes from the $\mathbb{C}^*$-action, announced in our earlier paper. A substantial appendix on Morse-Bott-Floer theory deals with several of the technical difficulties of the paper. We compute a plethora of explicit examples, each highlighting various features, for Springer resolutions, ADE resolutions, and several Slodowy varieties of type A. We also consider certain Higgs moduli spaces, for which we compare our filtration with the famous P=W filtration.

2023-04-27T17:51:07Z 87 pages, 28 figures, minor corrections, shortened some parts Alexander F. Ritter Filip Živanović http://arxiv.org/abs/2506.14325v2 2025-12-09T11:40:11Z

We study periodic orbits in the spatial rotating Kepler problem from a symplectic-topological perspective. Our first main result provides a complete classification of these orbits via a natural parametrization of the space of Kepler orbits, using angular momentum and the Laplace-Runge-Lenz vector. We then compute the Conley-Zehnder indices of non-degenerate orbits and the Robbin-Salamon indices of degenerate families, establishing their contributions to symplectic homology via the Morse-Bott spectral sequence. To address coordinate degeneracies in the spatial setting, we introduce a new coordinate system based on the Laplace-Runge-Lenz vector. These results offer a full symplectic-topological profile of the three-dimensional rotating Kepler problem and connect it to generators of symplectic homology.

2025-06-17T09:07:59Z 26 pages, 14 figures Journal of Topology and Analysis (2026) Dongho Lee 10.1142/S1793525326500238 http://arxiv.org/abs/2512.08189v1 2025-12-09T02:39:15Z

We classify all wormhole singularities, i.e. cyclic quotient surface singularities admitting at least two extremal P-resolutions, thereby solving an open problem posed by Urzúa. Our approach introduces a new combinatorial framework based on what we call the coherent graph of a framed triangulated polygon. As an application, we give an alternative proof of the Hacking-Tevelev-Urzúa theorem on the maximum number of extremal P-resolutions of a cyclic quotient singularity.

2025-12-09T02:39:15Z Jaime Negrete http://arxiv.org/abs/2512.08051v1 2025-12-08T21:20:39Z

In a neighborhood of a hyperbolic periodic orbit of a volume-preserving flow on a manifold of dimension 3, we define and show the existence of a normal form for the generator of the flow that encodes the dynamics. If the flow is a contact flow, we show the existence of a normal form for the contact form what results in an improved normal form for its Reeb vector field. Additionally, we present a few rigidity results associated to periodic data for Anosov contact flows derived from the underlying normal form theory. Finally, we establish a new local rigidity result for contact flows on manifolds of dimension 3 in a neighborhood of a hyperbolic periodic point by finding a new link between the roof function and the return map to a section.

2025-12-08T21:20:39Z Alena Erchenko Kurt Vinhage Yun Yang http://arxiv.org/abs/2512.07762v1 2025-12-08T17:44:38Z

For a smooth semi-projective toric Calabi-Yau 3-fold containing no compact surface, we show the count of all-genus holomorphic curves with boundary on a single Aganagic-Vafa brane is annihilated by a skein-valued quantization of the mirror curve, and that this determines the count. We give explicit expressions for the equation and its solution.

2025-12-08T17:44:38Z 25 pages, 14 figures Mingyuan Hu Vivek Shende http://arxiv.org/abs/2509.15831v3 2025-12-08T07:17:54Z

This paper introduces a novel framework for constructing invariants in $G$-equivariant birational geometry by unifying two recent approaches: the theory of atoms recently developed by Katzarkov, Kontsevich, Pantev, and Yu, and the theory of modular symbols due to Kontsevich, Tschinkel, and Pestun. We initiate the theory of Chen-Ruan atoms. Assuming the blowup formula for the quantum Chen-Ruan cohomology, we outline how to extend the theory of atoms to global quotient orbifolds and present some striking applications. In addition, we develop a separate class of purely geometric invariants for $\mathbb{Z}/2$- and $\mathbb{Z}/3$-actions on surfaces and threefolds. We provide many examples of non-$G$-linearizable $G$-actions on projective varieties treated with these new techniques.

2025-09-19T10:01:13Z v3. An imprecision in Lemma 2.9 has been corrected. New reference added Leonardo F. Cavenaghi Ludmil Katzarkov Maxim Kontsevich http://arxiv.org/abs/2407.08512v2 2025-12-08T04:27:15Z

Given two four-dimensional symplectic manifolds, together with knots in their boundaries, we define an ``anchored symplectic embedding'' to be a symplectic embedding, together with a two-dimensional symplectic cobordism between the knots (in the four-dimensional cobordism determined by the embedding). We use techniques from embedded contact homology to determine quantitative critera for when anchored symplectic embeddings exist, for many examples of toric domains. In particular we find examples where ordinarily symplectic embeddings exist, but they cannot be upgraded to anchored symplectic embeddings unless one enlarges the target domain.

2024-07-11T13:52:34Z 30 pages, 3 figures. Revised according to referee report Michael Hutchings Agniva Roy Morgan Weiler Yuan Yao http://arxiv.org/abs/2510.15396v3 2025-12-08T03:55:28Z

We construct an action of the braid group on the bounded derived category of coherent sheaves on hypertoric varieties arising from hyperplane arrangements. Using wall-crossing equivalences associated to paths in the complexified complement of the hyperplane arrangement, we show that these equivalences under certain conditions yield a functor from the Deligne groupoid to the category of triangulated equivalences. This gives rise to a canonical representation of the fundamental group, which recovers the braid group, acting on \(D^b(\mathfrak{M}_η)\). This is a summary of Brad Hannigan-Daley's PhD thesis.

2025-10-17T07:47:34Z Work is done during ANU-FRT program 2025 Trishan Mondal http://arxiv.org/abs/2504.10285v2 2025-12-05T21:23:26Z

The Moore-Tachikawa conjecture is that each connected complex semisimple group $G$ determines a two-dimensional TQFT in a category of Hamiltonian symplectic varieties. While it would be worthwhile to prove this conjecture outright, our objectives are drastically different. We instead view the Moore--Tachikawa conjecture as a first step in systematically assigning new TQFTs to purely Lie-theoretic data. At the same time, one should expect these new TQFTs to bear a close relation to those conjectured by Moore and Tachikawa. Our manuscript aims to integrate these two points of view. Let $\mathfrak{g}$ be the Lie algebra of $G$. Consider a conjugacy class $\mathcal{C}$ of parabolic subalgebras of $\mathfrak{g}$. This class determines partial Grothendieck--Springer resolutions $μ_{\mathcal{C}}:\mathfrak{g}_{\mathcal{C}}\longrightarrow\mathfrak{g}^*=\mathfrak{g}$ and $ν_{\mathcal{C}}:G_{\mathcal{C}}\longrightarrow G$. We construct a canonical symplectic groupoid $(T^*G)_{\mathcal{C}}\substack{\longrightarrow\\[-9pt] \longrightarrow}\mathfrak{g}_{\mathcal{C}}$ and quasi-symplectic groupoid $\mathrm{D}(G)_{\mathcal{C}}\substack{\longrightarrow\\[-9pt] \longrightarrow} G_{\mathcal{C}}$. By considering a Kostant slice $\mathrm{Kos}\subseteq\mathfrak{g}$ and Steinberg slice $\mathrm{Ste}\subseteq G$, we prove that the pairs $(((T^*G)_{\mathcal{C}})_{\text{reg}}\substack{\longrightarrow\\[-9pt] \longrightarrow}(\mathfrak{g}_{\mathcal{C}})_{\text{reg}},μ_{\mathcal{C}}^{-1}(\mathrm{Kos}))$ and $((\mathrm{D}(G)_{\mathcal{C}})_{\text{reg}}\substack{\longrightarrow\\[-9pt] \longrightarrow}(G_{\mathcal{C}})_{\text{reg}},ν_{\mathcal{C}}^{-1}(\mathrm{Ste}))$ determine new and explicit TQFTs in a $1$-shifted Weinstein symplectic category. We then show that certain symplectic varieties arising from our new TQFTs have canonical Lagrangian relations to the open Moore-Tachikawa varieties.

2025-04-14T14:53:01Z Peter Crooks Maxence Mayrand http://arxiv.org/abs/2512.05797v1 2025-12-05T15:22:59Z

In symplectic geometry, Floer theory is the most important tool to prove the existence of time-periodic solutions in Hamiltonian mechanics. The core observation is that the $L^2$-gradient lines of the symplectic action functional are pseudo-holomorphic curves, enabling the use of elliptic PDE methods. Multisymplectic geometry is the geometric framework underlying Hamiltonian field theory, where the time line is replaced by higher-dimensional manifolds. In the case of two dimensions and using complex structures, we introduce a novel multisymplectic framework that is fit for the generalization of the elliptic methods from symplectic geometry. Besides proving a Darboux theorem, we show that the $L^2$-gradient lines of our multisymplectic action functional are now pseudo-Fueter curves defined using a compatible almost hyperkähler structure.

2025-12-05T15:22:59Z Ronen Brilleslijper Oliver Fabert