Spectral Floer theory and tangential structures

2025-08-05T15:34:39Z

In \cite{PS}, for a stably framed Liouville manifold $X$ we defined a Donaldson-Fukaya category $\mathcal{F}(X;\mathbb{S})$ over the sphere spectrum, and developed an obstruction theory for lifting quasi-isomorphisms from $\mathcal{F}(X;\mathbb{Z})$ to $\mathcal{F}(X;\mathbb{S})$. Here, we define a spectral Donaldson-Fukaya category for any `graded tangential pair' $Θ\to Φ$ of spaces living over $BO \to BU$, whose objects are Lagrangians $L\to X$ for which the classifying maps of their tangent bundles lift to $Θ\to Φ$. The previous case corresponded to $Θ= Φ= \{\mathrm{pt}\}$. We extend our obstruction theory to this setting. The flexibility to `tune' the choice of $Θ$ and $Φ$ increases the range of cases in which one can kill the obstructions, with applications to bordism classes of Lagrangian embeddings in the corresponding bordism theory $Ω^{(Θ,Φ),\circ}_*$. We include a self-contained discussion of when (exact) spectral Floer theory over a ring spectrum $R$ should exist, which may be of independent interest.

Planar networks and simple Lie groups beyond type A

2025-08-05T09:09:32Z

The general linear group $GL_{n}$, along with its adjoint simple group $PGL_n$, can be described by means of weighted planar networks. In this paper we give a network description for simple Lie groups of types $B$ and $C$. The corresponding networks are axially symmetric modulo a sequence of cluster mutations along the axis of symmetry. We extend to this setting the result of Gekhtman, Shapiro, and Vainshtein on the Poisson property of Postnikov's boundary measurement map. We also show that $B$ and $C$ type networks with positive weights parametrize the totally nonnegative part of the respective group. Finally, we construct network parametrizations of double Bruhat cells in symplectic and odd-dimensional orthogonal groups, and identify the corresponding face weights with Fock-Goncharov cluster coordinates.

A Graphical Calculus for Classical and Quantum Microformal Morphisms

2025-08-04T18:48:08Z

We develop a graphical calculus for the microformal or thick morphisms introduced by Ted Voronov. This allows us to write the infinite series arising from pullbacks, compositions, and coordinate transformations of thick morphisms as sums over bipartite trees. The methods are inspired by those employed by Cattaneo-Dherin-Felder in their work on formal symplectic groupoids. We also extend this calculus to quantum thick morphisms, which are special types of Fourier integral operators quantizing classical thick morphisms. The relationship between the calculi for classical and quantum thick morphisms resembles the relationship between the semi-classical and full perturbative expansions over Feynman diagrams in quantum field theory.

Pseudo-holomorphic curves with a fixed complex structure in positive symplectic manifolds

2025-08-04T16:39:03Z

We prove a symplectic version of a conjecture of Lian and Pandharipande: in sufficiently high degree, the fixed-domain Gromov-Witten invariants of positive symplectic manifolds are signed counts of pseudo-holomorphic curves. The original conjecture in the complex algebraic setting was recently disproved by Beheshti et al. However, we show that the statement holds when the complex structure is replaced by a generic almost complex structure. The proof relies on showing that the fixed-domain Gromov-Witten pseudocycle can be constructed without the use of inhomogeneous or domain-dependent perturbations, which answers positively a question posed by Ruan and Tian.

On the Lagrangian Hofer geometry of Clifford tori

2025-08-04T15:08:18Z

We show that the space of Lagrangians which are Hamiltonian isotopic to the Clifford torus in a complex projective space or in the four-dimensional quadric, taken with Chekanov's Lagrangian Hofer metric, contains a quasi-isometric copy of the real line, and in particular has infinite diameter.

Quantum spectrum and Gamma structure for standard flips

2025-08-01T16:54:41Z

We investigate the quantum spectrum and Gamma structure for projective bundles, blow-ups, and standard flips. After restricting the quantum multiplication to the exceptional curve direction, we obtain a decomposition of the quantum cohomology of standard flips into asymptotic Gamma classes. We then show that this decomposition is compatible with the semi-orthogonal decompositions for these spaces constructed in work of Orlov and Belmans-Fu-Raedschelders. The proof involves a sequence of reductions to a local model and the asymptotic behavior of Meijer G-functions.

C^0 Lagrangian Monodromy

2025-08-01T09:43:47Z

We prove that (under appropriate orientation assumptions), the action of a Hamiltonian homeomorphism φon the cohomology of a relatively exact Lagrangian fixed by φis the identity. This extends results of Hu-Lalonde-Leclercq and the author in the setting of Hamiltonian diffeomorphisms. We also prove a similar result regarding the action of φon relative cohomology.

Injectivity radius lower bound of convex sum of tame Riemannian metrics and applications to symplectic topology

2025-07-31T08:56:17Z

Motivated by the aspect of large-scale symplectic topology, we prove that for any pair $g_0, \, g_1$ of complete Riemannian metrics of bounded curvature and \emph{of injectivity radius bounded away from zero}, the convex sum $g_s: = (1-s ) g_0 + s g_1$ also has bounded curvature depending only on the curvature bounds $\|R_{g_i}\|_{C^0}$ of $g_0$ or $g_1$, and that the injectivity radii of $g_s$ have uniform lower bound depending only on the derivative bounds $\|R_{g_i}\|_{C^1} = \|R_{g_i}\|_{C^0} + \|DR_{g_i}\|_{C^0}$. A main technical ingredient to establish the injectivity radius lower bound is an application of the quantitative inverse function theorem. Using these estimates, we prove that each quasi-isometry class of tame metrics is convex and so contractible in strong $C^r$ topology for all finite regularity class of $3 \leq r < \infty$. Using this Riemannian geometry result, we prove that the set of $C^3$-tame almost complex structures inside the same quasi-isometry class associated to the symplectic form $ω$ is contractible.

Wrapped Floer homology and subcritical handle attachment

2025-07-31T07:09:42Z

In this expository article, we present the proof of the invariance of the wrapped Floer homology under the subcritical handle attachment. This is proved by Irie. Here, we fix a minor gap in the proof about the choice of a cofinal family of Hamiltonians. We adapt the arguments from Fauck's PhD thesis, who resolved the gap for the case of handle attachment in symplectic homology. The effect of the handle attachment on the symplectic homology was originally explored by Cieliebak.

Wrapped Floer homology and the circular restricted three-body problem

2025-07-31T07:09:28Z

Using the wrapped Floer homology, we prove the existence of consecutive collisions at the primaries in the circular restricted three-body problem. We also prove the existence of a symmetric periodic orbit. These existence results are obtained for energy hypersurfaces slightly above the first critical value.

Non-Affine Stein Manifolds and Normal Crossing Divisors

2025-07-29T23:51:18Z

We show that there are Stein manifolds that admit normal crossing divisor compactifications despite being neither affine nor quasi-projective. To achieve this, we study the contact boundaries of neighborhoods of symplectic normal crossing divisors via a contact-geometric analog of W. Neumann's plumbing calculus. In particular, we give conditions under which the neighborhood is determined by the contact structure on its boundary.

Spectral selectors and contact orderability

2025-07-29T15:24:13Z

We study the notion of orderability of isotopy classes of Legendrian submanifolds and their universal covers, with some weaker results concerning spaces of contactomorphisms. Our main result is that orderability is equivalent to the existence of spectral selectors analogous to the spectral invariants coming from Lagrangian Floer Homology. A direct application is the existence of Reeb chords between any closed Legendrian submanifolds of a same orderable isotopy class. Other applications concern the Sandon conjecture, the Arnold chord conjecture, Legendrian interlinking, the existence of time-functions and the study of metrics due to Hofer-Chekanov-Shelukhin, Colin-Sandon, Fraser-Polterovich-Rosen and Nakamura.

Tightness of Chekanov's bound on displacement energy for some Lagrangian knots

2025-07-28T19:08:30Z

By a classical theorem of Chekanov, the displacement energy, $e$, of a Lagrangian submanifold is bounded from below by the minimal area of pseudo-holomorphic disks with boundary on the Lagrangian, $\hbar$. We compute $e$ and $\hbar$ for displaceable Chekanov tori in $\mathbb{C}P^n$, and for an infinite family of exotic tori in $\mathbb{C}^3$ constructed by Brendel. In these families, $e=\hbar$. We compare continuity properties of $e$ and $\hbar$ on the space of Lagrangians. This provides an example (suggested by Fukaya, Oh, Ohta, and Ono) where $e>\hbar$. Our calculations have further applications such as a new proof, inspired by work of Auroux, that Brendel's family of exotic tori consists of infinitely many distinct Lagrangians.

Symplectic Elimination

2025-07-28T06:51:13Z

We develop the symplectic elimnation algorithm. This algorithm using simple row operations reduce a symplectic matrix to a diagonal matrix. This algorithm gives rise to a decomposition of an arbitrary matrix into a product of a symplectic matrix and a reduced matrix. This decomposition is similar to the SR decomposition studied for a long time, which is analogous to the QR decomposition.

The space of closed $G2$-structures. II. concavity and hypersymplectic structures

2025-07-28T01:16:55Z

In the space of closed $G_2$-structures equipped with Bryant's Dirichlet-type metric, we continue to utilise the geodesic, constructed in our previous article, to show that, under a normalisation condition Hitchin's volume functional is geodesically concave and the $G_2$ Laplacian flow decreases the length. Furthermore, we also construct various examples of hyper-symplectic manifolds on geodesic concavity.