Spherical singularities in compactified Ruijsenaars--Schneider systems

2026-05-06T10:32:01Z

We investigate certain Liouville integrable systems constructed earlier via reduction of the quasi-Hamiltonian double of $\mathrm{SU}(n)$. These systems live on compact connected symplectic manifolds of dimension $2(n-1)$ and can be interpreted as compactified trigonometric Ruijsenaars--Schneider systems. Depending on the value of a parameter $0

Knot Floer homology and fixed points

2026-05-06T08:06:30Z

If $K$ is a fibered knot in a closed, oriented $3$--manifold $Y$ with fiber $F$, and $\widehat{HFK}(Y,K,[F], g(F)-1;\mathbb Z/2\mathbb Z)$ has rank $r$, then the monodromy of $K$ is freely isotopic to a diffeomorphism with at most $r-1$ fixed points. This generalizes earlier work of Baldwin--Hu--Sivek and Ni. We also clarify a misleading formula in Cotton-Clay's computation of the symplectic Floer homology of mapping classes of surfaces.

Godbillon-Vey classes of regular Jacobi manifolds

2026-05-06T06:21:44Z

The notion of a Jacobi manifold is a natural generalization of that of a Poisson manifold. A Jacobi manifold has a natural foliation in which each leaf has either a contact structure or a locally conformal symplectic structure. In this paper, we study a characteristic class called the Godbillon-Vey class for Jacobi manifolds with regular foliation and express it explicitly in terms of Jacobi structures.

De Rham Cohomology of Certain Diffeological Quotients

2026-05-05T11:11:01Z

Hector, Macías-Virgós, and Sanmartín-Carbón identified the complex of diffeological differential forms on the leaf space of a foliation with the complex of basic forms on the foliated manifold, yielding a canonical isomorphism of cochain complexes. In this short note we prove an equivariant version of their theorem: if a group $H$ acts smoothly on a foliated manifold $(M,\mathcal F)$ by foliation-preserving diffeomorphisms, so that the action descends to the leaf space $M/\mathcal F$, then this canonical identification is $H$-equivariant. As an application, we compute the diffeological de Rham cohomology of quotients $M/H$ arising from smooth, locally free actions of Lie groups that are not necessarily connected or second countable. More precisely, let $H$ be a Lie group, not necessarily second countable, acting smoothly and locally freely on a second countable manifold $M$. Let $H_0$ be its identity component, and let $\mathcal F$ be the foliation by $H_0$-orbits. If $H$ is second countable, or, in the non-second-countable case, if the induced component-group action on $M/H_0$ satisfies a natural subduction condition, then pullback by the quotient map $π_H:M\to M/H$ identifies the de Rham complex of diffeological forms on $M/H$ with the complex of $H$-invariant basic forms: \[ Ω^\bullet(M/H)\cong Ω^\bullet(M,\mathcal F)^H . \] This places the recent result on homogeneous spaces $G/H$ for dense subgroups $H\subset G$ in a broader foliation-theoretic framework, from which it follows as a direct consequence.

The $L^p$-diameter of the space of contractible loops

2026-05-05T10:06:53Z

We prove that the space of contractible simple loops of a given fixed area in any compact oriented surface has infinite diameter as a homogeneous space of the group of area-preserving diffeomorphisms endowed with the $L^p$-metric. As a special case, this resolves the $L^p$-metric analogue of the well-known question in symplectic topology regarding the space of equators on the two-sphere. Our methods involve a new class of functionals on a normed group, which are more general than quasi-morphisms.

Open-closed Deligne-Mumford field theories: construction

2026-05-05T08:58:34Z

Open-closed Deligne--Mumford field theories are chain-level field theories based on moduli spaces of stable curves with boundary. We associate to a relatively spin embedded Lagrangian $L \subset (X,ω)$ such an open-closed DMFT. It extends the Fukaya $A_\infty$ algebra to curves of arbitrarily high genus and with arbitrarily many boundary components and is unique up to homotopy. This is the first step in proving Kontsevich's conjecture that the Fukaya category determines the Gromov--Witten invariants of $X$, following a strategy delineated by Costello.

Open-closed Deligne-Mumford field theories: geometric foundations

2026-05-05T08:27:53Z

We construct global Kuranishi charts for moduli spaces of pseudo-holomorphic maps of arbitrary genus with boundary on an embedded Lagrangian submanifold. We then build the geometric foundations required for obtaining compatible chain-level operations, which are employed in follow-up work to construct an open-closed Deligne-Mumford field theory.

Symplectic small covers in dimension four

2026-05-05T04:49:24Z

We study symplectic structures on four-dimensional small covers. Our main result shows that every symplectic four-dimensional small cover is aspherical. We then classify symplectic small covers over products of two polygons, proving that symplecticity is equivalent to factor-compatibility. We also classify them up to diffeomorphism. Finally, we construct a symplectic four-dimensional small cover whose orbit polytope is not combinatorially equivalent to a product of two polygons.

Neighborhoods of transverse knots and destabilizations

2026-05-04T20:17:04Z

In this note, we show that transverse knots have unique standard neighborhoods and prove a structure theorem about non-loose Legendrian knots. We also prove a finiteness result for transverse knots in a tight contact manifold. The common theme of these two results is a general destabilization result for Legendrian knots. As a byproduct of this work, we find a manifold with an infinite number of distinct tight contact structures, up to contactomoprhism, with no Giroux torsion.

Building homology theories (ala Floer)

2026-05-04T20:05:12Z

These notes are an expanded version of evening talks at the 2025 Georgia International Topology Conference, and an abbreviated version of talks at Georgia Tech, which were aimed at graduate students. The hope was to indicate a common framework that has been used since the late 1980s to construct homology theories in low-dimensional topology and symplectic and contact geometry. In addition to this, we also try to indicate how the specific nature of the situation being studied dictates the algebraic nature of the chain groups used to define the homology.

Invariant measures for Deroin-Tholozan representations

2026-05-04T17:01:03Z

We classify mapping class group invariant probability measures on the character varieties of Deroin-Tholozan representations, namely the compact components of relative $\mathrm{PSL}_2\mathbb{R}$-character varieties. We prove that an ergodic measure is either the counting measure on a finite orbit or agrees with the Liouville measure induced by the Goldman symplectic form. Our approach is based on measure disintegration along transverse Lagrangian tori fibrations.

On the tightness of left-invariant contact structures

2026-05-04T08:45:37Z

We prove that all left-invariant contact structures on three-dimensional Lie groups are tight. The argument is based on Riemannian methods and establishes a unique factorization property for any Lie group admitting a left-invariant contact structure, other than SU(2). We then make use of such factorization property to construct embeddings of left-invariant contact structures into the standard contact structure on $\mathbb R^3$.

Local decomposition and linearization of Loday brackets

2026-05-03T15:18:38Z

We study local splitting-type results for general Loday algebroids and use them to obtain a direct proof of the splitting theorem for Courant algebroids. We also discuss the linearization problem and establish a general linearization principle using Euler-like derivations.

Special Lagrangian webbing

2026-05-01T10:55:15Z

We construct families of imaginary special Lagrangian cylinders near transverse Maslov index $0$ or $n$ intersection points of positive Lagrangian submanifolds in a general Calabi-Yau manifold. Hence, we obtain geodesics of open positive Lagrangian submanifolds near such intersection points. Moreover, this result is a first step toward the non-perturbative construction of geodesics of closed positive Lagrangian submanifolds. Also, we introduce a method for proving $C^{1,1}$ regularity of geodesics of positive Lagrangians at the non-smooth locus. This method is used to show that $C^{1,1}$ geodesics of positive Lagrangian spheres persist under small perturbations of endpoints, improving the regularity of a previous result of the authors. In particular, we obtain the first examples of $C^{1,1}$ solutions to the positive Lagrangian geodesic equation in arbitrary dimension that are not invariant under isometries. Along the way, we study geodesics of positive Lagrangian linear subspaces in a complex vector space, and prove an a priori existence result in the case of Maslov index $0$ or $n.$ Throughout the paper, the cylindrical transform introduced in previous work of the authors plays a key role.

Hamiltonian elements in algebraic K-theory

2026-05-01T03:35:31Z

A Hamiltonian bundle $M \hookrightarrow P \to X$ (with monotone compact fibers) induces via Floer theory a type of ``bundle of $A _{\infty}$ categories'' over $X$, with fiber given by the Fukaya category of $M$. Morita theory of $A _{\infty} $ categories, the above picture for $X=S ^{m}$, and geometric representation theory yield the following: if $G$ is a compact Lie group and $R$ is a commutative ring then there is a natural group homomorphism $π_{m} (BG) \to K ^{Cat}_{m}(R) $, where $K ^{Cat} _{m} (R)$ are a type of categorified algebraic $K$-theory groups of $R$, analogous to Toën's secondary $K$-theory. We also construct underlying maps of this type to classical algebraic $K$-theory of $R$. This framework gives a geometry-powered proof that $K ^{Cat} _{2} (\mathbb{Z} )$ is infinitely generated (with the details to appear in a future work). This is in contrast to Quillen's finite generation result for standard algebraic $K$-theory of $\mathbb{Z} $. Taking the Langlands dual of $G$, we explore a conjectural relationship between the images of the corresponding homomorphisms above.