https://arxiv.org/api/62Wu6PjChPbwHT513eBQwpEgc6k 2026-03-22T21:42:35Z 10037 180 15 http://arxiv.org/abs/2601.02176v2 2026-01-18T21:05:26Z

We show that the Hilbert polynomial of a Calabi-Yau hypersurface $Z$ in a smooth toric variety $M$ associated to a convex polytope $Δ$ is given by a lattice point count in the polytope boundary $\partial Δ,$ just as the Hilbert polynomial of $M$ is known to be given by a lattice point count in the convex polytope $Δ.$ Our main tool is a computation of the Euler class in $K$-theory of the normal line bundle to the hypersurface $Z,$ in terms of the Euler classes of the divisors corresponding to the facets of the moment polytope. We observe a remarkable parallel between our expression for the Euler class and the inclusion-exclusion principle in combinatorics. To obtain our result we combine these facts with the known relation between lattice point counts in the facets of $Δ$ and the Hilbert polynomials of the smooth toric varieties corresponding to these facets.

2026-01-05T14:54:48Z Sharpened statement of Lemma 4.1 and simplified proof of Lemma 4.2. Corrected minor typographical errors in Section 5 Jonathan Weitsman http://arxiv.org/abs/2601.12506v1 2026-01-18T17:35:49Z

This paper introduces a notion of categorical approximability for metric spaces that can be viewed as a categorification of approximability for metric groups, as defined by Turing in 1938. Approximability as introduced here is a property of metric spaces that is more general than precompactness. It is shown that several classes of Lagrangian submanifolds - closed Lagrangian submanifolds in a cotangent disk bundle; equators on the sphere; weakly exact Lagrangians on the torus-endowed with the spectral metric are approximable in this sense. Among other geometric applications, we show that there are such examples of spaces of Lagrangians that are approximable but are not precompact.

2026-01-18T17:35:49Z 155 pages, 13 figures Giovanni Ambrosioni Paul Biran Octav Cornea http://arxiv.org/abs/2601.12408v1 2026-01-18T13:50:58Z

Given $2n \times 2n$ real symmetric positive semidefinite matrix $A$ with symplectic kernel, there exists a real $2n \times 2n$ \emph{symplectic matrix} $M$ such that $M^TAM= D \oplus D$, where $D$ is an $n \times n$ non-negative diagonal matrix which is unique up to permutation of its diagonal entries. The diagonal entries of $D$ are called the \emph{symplectic eigenvalues} or symplectic spectrum of $A$. In this work, we investigate some majorization and weak supermajorization relations between the symplectic spectra of two positive semidefinite matrices. More explicitly, suppose $A$ and $B$ are $2n \times 2n$ real symmetric positive semidefinite matrices with symplectic kernels. We show that if the symplectic spectrum of $A$ is majorized by the symplectic spectrum of $B$, then $A$ lies in the convex hull of the symplectic orbit of $B$. We also establish that only a weak converse of this statement holds; i.e., if $A$ lies in the convex hull of the symplectic orbit of $B$ then the symplectic spectrum of $A$ is \emph{weakly supermajorized} by the symplectic spectrum of $B$. Several consequences of our results are also presented. Our methods make use of well-known connections between the theory of majorization, doubly stochastic, doubly superstochastic, and symplectic matrices.

2026-01-18T13:50:58Z Temjensangba Hemant K. Mishra Niloy Paul http://arxiv.org/abs/2601.08805v2 2026-01-17T18:51:26Z

Given a knot presented as a braid closure, we construct a unified intersection model for the Alexander and Jones polynomials of the knot via what we call quantum Heegaard diagrams. These diagrams are obtained by stabilising the disc model of the first author, which we show are doubly-pointed Heegaard diagrams of the knot together with an additional set of base points. We identify the Alexander grading in the disc model with the Alexander grading in the Heegaard diagram. As the Lagrangian intersection Floer homology of the Heegaard tori in the symmetric power of the Heegaard surface is knot Floer homology, we can view knot Floer homology as a natural categorification of the Alexander polynomial arising from the disc model. The additional base points let us define a new grading on the intersection between the Heegaard tori, which we call quantum Alexander grading. Combining this with the classical Alexander grading, we define a two-variable graded intersection between the Heegaard tori that recovers the Jones and Alexander polynomials as two specialisations of coefficients. The resulting intersection formula for the Jones polynomial opens up a potential avenue to obtaining a new geometric categorification of the Jones polynomial.

2026-01-13T18:42:02Z 29 pages, Comments welcome Cristina Ana-Maria Anghel András Juhász http://arxiv.org/abs/2601.12045v1 2026-01-17T13:22:37Z

The type $A_n$-singularity $\mathbb{C}^2/\mathbb{Z}_{n+1}$ can be resolved by hyper-Kähler manifolds $X_ζ$ with underlying smooth manifolds diffeomorphic to the resolution of singularities $X_{\text{res}}$, whose hyper-Kähler structure depends on a parameter $ζ\in H_2(X_{\text{res}};\mathbb{R})$. The structure as a complex manifold of each such hyper-Kähler manifold is equivalent to the resolution of singularities at the poles and the structure of a Milnor fibre with roots determined by $ζ$ elsewhere; the symplectic structure is exact along the equator and is deformed by areas depending on $ζ$ on the exceptional $(-2)$-spheres away from the equator. We show that removing suitable divisors $D_u$ from a fixed $X_ζ$ varying with $u$ in the underlying upper hemisphere of the $S^2$-family of Kähler-structures yields a log Calabi--Yau hyper-Kähler family (in particular a family of log Calabi--Yau submanifolds), and that mirror symmetry is satisfied (partly conjectural in one direction) for this family by hyper-Kähler rotation, in particular by interchanging the structures over the equator and the pole. We furthermore show homological mirror symmetry after adding the missing divisors, which is related to attaching stops and computing singularity categories of certain Landau--Ginzburg potentials on the $A$-side and $B$-side, respectively. More concretely: we compute wrapped Fukaya categories and compare them with (previous and new) computations of derived categories of coherent sheaves and derived categories of singularities in algebraic geometry. We show that the relevant categories (with two exceptions) are triangulated equivalent to module categories over the additive and the multiplicative preprojective algebras of type $\tilde{A}_n$, or to deformations of these algebras depending on the parameters $ζ$.

2026-01-17T13:22:37Z 90 pages, 38 figures Johan Rydholm http://arxiv.org/abs/2511.07602v2 2026-01-16T17:46:15Z

We extend the author's and CPTVV's correspondence between shifted symplectic and Poisson structures to establish a correspondence between exact shifted symplectic structures and non-degenerate shifted Poisson structures with formal derivation, a concept generalising constructions by De Wilde and Lecomte. Our formulation is sufficiently general to encompass derived algebraic, analytic and $\mathcal{C}^{\infty}$ stacks, as well as Lagrangians and non-commutative generalisations. We also show that non-degenerate shifted Poisson structures with formal derivation carry unique self-dual deformation quantisations in any setting where the latter can be formulated. One application is that for (not necessarily exact) $0$-shifted symplectic structures in analytic and $\mathcal{C}^{\infty}$ settings, it follows that the author's earlier parametrisations of quantisations are in fact independent of any choice of associator, and generalise Fedosov's parametrisation of quantisations for classical manifolds. Our main application is to complex $(-1)$-shifted symplectic structures, showing that our unique quantisation of the canonical exact structure, a sheaf of twisted $BD_0$-algebras with derivation, gives rise to BBDJS's perverse sheaf of vanishing cycles, equipped with its monodromy operator.

2025-11-10T20:20:20Z 47pp; v2 minor additions (Verdier duality incorporated in comparison) J. P. Pridham http://arxiv.org/abs/2408.11932v2 2026-01-16T15:02:31Z

We develop an affine scheme-theoretic version of Hamiltonian reduction by symplectic groupoids. It works over $\Bbbk=\mathbb{R}$ or $\Bbbk=\mathbb{C}$, and is formulated for an affine symplectic groupoid $\mathcal{G}\rightrightarrows X$, an affine Hamiltonian $\mathcal{G}$-scheme $μ:M\longrightarrow X$, a coisotropic subvariety $S\subseteq X$, and a stabilizer subgroupoid $\mathcal{H}\rightrightarrows S$. Our first main result is that the Poisson bracket on $\Bbbk[M]$ induces a Poisson bracket on the subquotient $\Bbbk[μ^{-1}(S)]^{\mathcal{H}}$. The Poisson scheme $\mathrm{Spec}(\Bbbk[μ^{-1}(S)]^{\mathcal{H}})$ is then declared to be a Hamiltonian reduction of $M$. Other main results include sufficient conditions for $\mathrm{Spec}(\Bbbk[μ^{-1}(S)]^{\mathcal{H}})$ to inherit a residual Hamiltonian scheme structure. Our main results are best viewed as affine scheme-theoretic counterparts to an earlier paper, where we simultaneously generalize several Hamiltonian reduction processes. In this way, the present work yields scheme-theoretic analogues of Marsden-Ratiu reduction, Mikami-Weinstein reduction, Śniatycki-Weinstein reduction, and symplectic reduction along general coisotropic submanifolds. The initial impetus for this work was its utility in formulating and proving generalizations of the Moore-Tachikawa conjecture.

2024-08-21T18:35:14Z Peter Crooks Maxence Mayrand http://arxiv.org/abs/2507.16747v2 2026-01-15T23:00:06Z

We determine when a Legendrian quasipositive 3-braid closure in standard contact $\mathbb{R}^3$ admits an orientable or non-orientable exact Lagrangian filling. Our main result provides evidence for the orientable fillability conjecture of Hayden and Sabloff, showing that a 3-braid closure is orientably exact Lagrangian fillable if and only if it is quasipositive and the HOMFLY bound on its maximum Thurston-Bennequin number is sharp. Of possible independent interest, we construct explicit Legendrian representatives of quasipositive 3-braid closures with maximum Thurston-Bennequin number.

2025-07-22T16:35:49Z 20 pages, 21 figures. Accepted for publication in Bulletin of the LMS James Hughes Jiajie Ma http://arxiv.org/abs/2601.09662v1 2026-01-14T17:53:12Z

For oriented surfaces $Σ$ with boundary, we consider the infinite-dimensional deformation space of projective structures on $Σ$ with nondegenerate boundary, up to isotopies fixing the boundary. We show that this space carries a natural symplectic structure, and is a Hamiltonian space for the symplectic groupoid integrating the Adler-Gelfand-Dikii-space of the boundary.

2026-01-14T17:53:12Z Ahmadreza Khazaeipoul Eckhard Meinrenken http://arxiv.org/abs/2202.09117v2 2026-01-14T06:35:39Z

In a previous work, we constructed a planar Lefschetz fibration on each Stein filling of any lens space equipped with its canonical contact structure. Here we describe an algorithm to draw an unbraided wiring diagram whose associated planar Lefschetz fibration obtained by the method of Plamenevskaya and Starkston, where the lens space with its canonical contact structure is viewed as the contact link of a cyclic quotient singularity, is equivalent to the Lefschetz fibration we constructed on each Stein filling of the lens space at hand. Coupled with the work of Plamenevskaya and Starkston, we obtain the following result as a corollary: The wiring diagram we describe can be extended to an arrangement of symplectic graphical disks in $\mathbb{C}^2$ with marked points, including all the intersection points of these disks, so that by removing the proper transforms of these disks from the blowup of $\mathbb{C}^2$ along those marked points one recovers the Stein filling along with the Lefschetz fibration. Moreover, the arrangement is related to the decorated plane curve germ representing the cyclic quotient singularity by a smooth graphical homotopy. As another application, we set up an explicit bijection between the Stein fillings of any lens space with its canonical contact structure, and the Milnor fibers of the corresponding cyclic quotient singularity, which was first obtained by Némethi and Popescu-Pampu, using different methods.

2022-02-18T10:44:33Z 48 pages, 32 figures. This is the final version to appear in Algebraic and Geometric Topology Mohan Bhupal Burak Ozbagci http://arxiv.org/abs/2601.08632v1 2026-01-13T15:07:44Z

The Adler-Gelfand-Dikii Poisson structure arises naturally in the study of $n$-th order differential operators on the circle and plays a central role in Poisson geometry and integrable systems. Let $G$ be one of the Lie groups $\mathrm{PSL}(n)$, $\mathrm{PSp}(n)$ (for even $n$), or $\mathrm{PSO}(n)$ (for odd $n$). In this paper, we construct the symplectic groupoid integrating the Adler-Gelfand-Dikii Poisson structure associated to $G$ and prove that it is Morita equivalent to the quasi-symplectic groupoid integrating the Dirac structure on $Y_n(\mathbf{C})$, where $Y_n(\mathbf{C})$ denotes the quotient of the space of quasi-periodic non-degenerate curves by homotopies preserving the monodromy.

2026-01-13T15:07:44Z 19 pages Ahmadreza Khazaeipoul http://arxiv.org/abs/2601.08506v1 2026-01-13T12:42:16Z

We spectrally lift Ganatra-Pomerleano's low-energy log PSS morphism to compute the associated graded of Floer homotopy types of ample smooth divisor complements. Moreover, we show the obstruction to splitting into the associated graded is encoded in a stable homotopy class defined via (higher-dimensional) genus 0 relative Gromov-Witten moduli spaces. We compute numerous examples of splittings, including the affine part of all smooth projective hypersurfaces of degree at least 2.

2026-01-13T12:42:16Z 70 pages, 13 figures, comments welcome! Kenneth Blakey http://arxiv.org/abs/2601.08195v1 2026-01-13T03:52:07Z

The McKay correspondence establishes a bijection between the cohomology of a minimal resolution and the irreducible representations of a finite subgroup $Γ\subset \text{SU}(2)$. While traditional proofs rely on static algebraic isomorphisms, we propose a dynamical framework grounded in gauge theory and Morse-Bott theory. We analyze an $S^1$-invariant Morse-Bott function on the minimal resolution, interpreting its gradient flow lines as $1$-parameter families of holonomy representations of flat connections from $Γ$ to $GL(R)$. We conjecture that the flow emanating from a critical submanifold converges asymptotically at the boundary to a specific irreducible representation of $Γ$. This dynamical process explicitly constructs the identification between the cohomology basis and the irreducible representations of $Γ$ prescribed by the McKay correspondence. We prove this conjecture for cyclic cases.

2026-01-13T03:52:07Z 37 pages, 9 figures; comments welcome! Jiajun Yan http://arxiv.org/abs/2510.17666v4 2026-01-12T18:41:43Z

The wild de Rham spaces parameterize isomorphism classes of (stable) meromorphic connections, defined on principal bundles over wild Riemann surfaces. Working on the Riemann sphere, we will deformation-quantize the standard open part of de Rham spaces, which corresponds to the moduli of linear ordinary differential equations with meromorphic coefficients. We treat the general untwisted/unramified case with nonresonant semisimple formal residue, for any polar divisor and reductive structure group. The main ingredients are: (i) constructing the quantum Hamiltonian reduction of a (tensor) product of quantized coadjoint orbits in dual truncated-current Lie algebras, involving the corresponding category-O Verma modules; and (ii) establishing sufficient conditions on the coadjoint orbits, so that generically all meromorphic connections are stable, and the (semiclassical) moment map for the gauge-group action is faithfully flat.

2025-10-20T15:38:58Z v4: sharper version (please refer to v3 for more comments/notes/appendices etc.), 51 pp.; comments welcome! Matthew Chaffe Gabriele Rembado Daisuke Yamakawa http://arxiv.org/abs/2601.07776v1 2026-01-12T17:53:38Z

We relate Bruhat numbers in real Morse theory to cluster variables in braid varieties. This provides instances of wall-crossing coordinates in the study of Cerf diagrams.

2026-01-12T17:53:38Z 10 pages, 2 figures Roger Casals