SearcharxivSearch

arXiv subjects

Matthew Strom Borman

Publications and source records attributed to Matthew Strom Borman.

11 recordsLinked to original sources

An $L_\infty$ structure on symplectic cohomology

We construct the $L_\infty$ structure on symplectic cohomology of a Liouville domain, together with an enhancement of the closed--open map to an $L_\infty$ homomorphism from symplectic cochains to Hochschild cochains on the wrapped Fukaya category. Features of our construction are that it respects a modified action filtration (in contrast to Pomerleano--Seidel's construction); it uses a compact telescope model (in contrast to Abouzaid--Groman--Varolgunes' construction); and it is adapted to the purposes of our follow-up work where we construct Maurer--Cartan elements in symplectic cochains which are associated to a normal-crossings compactification of the Liouville domain.

math.SG

Quantum cohomology as a deformation of symplectic cohomology

We prove that under certain conditions, the quantum cohomology of a positively monotone compact symplectic manifold is a deformation of the symplectic cohomology of the complement of a simple crossings symplectic divisor. We also prove rigidity results for the skeleton of the divisor complement.

math.SG

Existence and classification of overtwisted contact structures in all dimensions

We establish a parametric extension $h$-principle for overtwisted contact structures on manifolds of all dimensions, which is the direct generalization of the $3$-dimensional result from \cite{Eli89}. It implies, in particular, that any closed manifold admits a contact structure in any given homotopy class of almost contact structures.

math.SG

Quasi-morphisms on contactomorphism groups and contact rigidity

We build homogeneous quasi-morphisms on the universal cover of the contactomorphism group for certain prequantizations of monotone symplectic toric manifolds. This is done using Givental's nonlinear Maslov index and a contact reduction technique for quasi-morphisms. We show how these quasi-morphisms lead to a hierarchy of rigid subsets of contact manifolds. We also show that the nonlinear Maslov index has a vanishing property, which plays a key role in our proofs. Finally we present applications to orderability of contact manifolds and Sandon-type metrics on contactomorphism groups.

math.SG

Bounding Lagrangian widths via geodesic paths

The width of a Lagrangian is the largest capacity of a ball that can be symplectically embedded into the ambient manifold such that the ball intersects the Lagrangian exactly along the real part of the ball. Due to Dimitroglou Rizell, finite width is an obstruction to a Lagrangian admitting an exact Lagrangian cap in the sense of Eliashberg-Murphy. In this paper we introduce a new method for bounding the width of a Lagrangian Q by considering the Lagrangian Floer cohomology of an auxiliary Lagrangian L with respect to a Hamiltonian whose chords correspond to geodesic paths in Q. This is formalized as a wrapped version of the Floer-Hofer-Wysocki capacity and we establish an associated energy-capacity inequality with the help of a closed-open map. For any orientable Lagrangian Q admitting a metric of non-positive sectional curvature in a Liouville manifold, we show the width of Q is bounded above by four times its displacement energy.

math.SG

Displacing Lagrangian toric fibers by extended probes

In this paper we introduce a new way of displacing Lagrangian fibers in toric symplectic manifolds, a generalization of McDuff's original method of probes. Extended probes are formed by deflecting one probe by another auxiliary probe. Using them, we are able to displace all fibers in Hirzebruch surfaces except those already known to be nondisplaceable, and can also displace an open dense set of fibers in the weighted projective space P(1,3,5) after resolving the singularities. We also investigate the displaceability question in sectors and their resolutions. There are still many cases in which there is an open set of fibers whose displaceability status is unknown.

math.SG

Spherical Lagrangians via ball packings and symplectic cutting

In this paper we prove the connectedness of symplectic ball packings in the complement of a spherical Lagrangian, S^2 or RP^2, in symplectic manifolds that are rational or ruled. Via a symplectic cutting construction this is a natural extension of McDuff's connectedness of ball packings in other settings and this result has applications to several different questions: smooth knotting and unknottedness results for spherical Lagrangians, the transitivity of the action of the symplectic Torelli group, classifying Lagrangian isotopy classes in the presence of knotting, and detecting Floer-theoretically essential Lagrangian tori in the del Pezzo surfaces.

math.SG

Quasi-states, quasi-morphisms, and the moment map

We prove that symplectic quasi-states and quasi-morphisms on a symplectic manifold descend under symplectic reduction on a superheavy level set of a Hamiltonian torus action. Using a construction due to Abreu and Macarini, in each dimension at least four we produce a closed symplectic toric manifold with infinite dimensional spaces of symplectic quasi-states and quasi-morphisms, and a one-parameter family of non-displaceable Lagrangian tori. By using McDuff's method of probes, we also show how Ostrover and Tyomkin's method for finding distinct spectral quasi-states in symplectic toric Fano manifolds can also be used to find different superheavy toric fibers.

math.SG

Symplectic reduction of quasi-morphisms and quasi-states

We prove that quasi-morphisms and quasi-states on a closed integral symplectic manifold descend under symplectic reduction to symplectic hyperplane sections. Along the way we show that quasi-morphisms that arise from spectral invariants are the Calabi homomorphism when restricted to Hamiltonians supported on stably displaceable sets.

math.SG

Euler Integration of Gaussian Random Fields and Persistent Homology

In this paper we extend the notion of the Euler characteristic to persistent homology and give the relationship between the Euler integral of a function and the Euler characteristic of the function's persistent homology. We then proceed to compute the expected Euler integral of a Gaussian random field using the Gaussian kinematic formula and obtain a simple closed form expression. This results in the first explicitly computable mean of a quantitative descriptor for the persistent homology of a Gaussian random field.

math.PR