Showing papers in "arXiv: Symplectic Geometry in 2020"

Homological mirror symmetry for log Calabi-Yau surfaces

Abstract: Given a log Calabi-Yau surface $Y$ with maximal boundary $D$ and distinguished complex structure, we explain how to construct a mirror Lefschetz fibration $w: M \to \mathbb{C}$, where $M$ is a Weinstein four-manifold, such that the directed Fukaya category of $w$ is isomorphic to $D^b \text{Coh}(Y)$, and the wrapped Fukaya category $\mathcal{W} (M)$ is isomorphic to $D^b \text{Coh}(Y \backslash D)$. We construct an explicit isomorphism between $M$ and the total space of the almost-toric fibration arising in the work of Gross-Hacking-Keel; when $D$ is negative definite this is expected to be the Milnor fibre of a smoothing of the dual cusp of $D$. We also match our mirror potential $w$ with existing constructions for a range of special cases of $(Y,D)$, notably in work of Auroux-Katzarkov-Orlov and Abouzaid.

Sheaf quantization in Weinstein symplectic manifolds

Abstract: Using the microlocal theory of sheaves, we associate a category to each Weinstein manifold. By constructing a microlocal specialization functor, we show that exact Lagrangians give objects in our category, and that the category is invariant under Weinstein homotopy.

Infinitely many Lagrangian fillings

Abstract: We prove that all maximal-tb Legendrian torus links (n,m) in the standard contact 3-sphere, except for (2,m),(3,3),(3,4) and (3,5), admit infinitely many Lagrangian fillings in the standard symplectic 4-ball. This is proven by constructing infinite order Lagrangian concordances which induce faithful actions of the modular group PSL(2,Z) and the mapping class group M(0,4) into the coordinate rings of algebraic varieties associated to Legendrian links. Our results imply that there exist Lagrangian concordance monoids with subgroups of exponential-growth, and yield Stein surfaces homotopic to a 2-sphere with infinitely many distinct exact Lagrangian surfaces of higher-genus. We also show that there exist infinitely many satellite and hyperbolic knots with Legendrian representatives admitting infinitely many exact Lagrangian fillings.

LEGENDRIAN WEAVES - N-GRAPH CALCULUS, FLAG MODULI and APPLICATIONS

Abstract: We study a class of Legendrian surfaces in contact five-folds by encoding their wavefronts via planar combinatorial structures. We refer to these surfaces as Legendrian weaves, and to the combinatorial objects as N-graphs. First, we develop a diagrammatic calculus which encodes contact geometric operations on Legendrian surfaces as multi-colored planar combinatorics. Second, we present an algebraic-geometric characterization for the moduli space of microlocal constructible sheaves associated to these Legendrian surfaces. Then we use these N-graphs and the flag moduli description of these Legendrian invariants for several new applications to contact and symplectic topology. Applications include showing that any finite group can be realized as a subfactor of a 3-dimensional Lagrangian concordance monoid for a Legendrian surface in the 1-jet space of the two-sphere, a new construction of infinitely many exact Lagrangian fillings for Legendrian links in the standard contact three-sphere, and performing rational point counts over finite fields that distinguish Legendrian surfaces in the standard five-dimensional Darboux chart. In addition, the manuscript develops the notion of Legendrian mutation, studying microlocal monodromies and their transformations. The appendix illustrates the connection between our N-graph calculus for Lagrangian cobordisms and Elias-Khovanov-Williamson's Soergel Calculus.

Proof of the simplicity conjecture

Abstract: In the 1970s, Fathi, having proven that the group of compactly supported volume-preserving homeomorphisms of the $n$-ball is simple for $n \ge 3$, asked if the same statement holds in dimension $2$. We show that the group of compactly supported area-preserving homeomorphisms of the two-disc is not simple. This settles what is known as the "simplicity conjecture" in the affirmative. In fact, we prove the a priori stronger statement that this group is not perfect. An important step in our proof involves verifying for certain smooth twist maps a conjecture of Hutchings concerning recovering the Calabi invariant from the asymptotics of spectral invariants defined using periodic Floer homology. Another key step, which builds on recent advances in continuous symplectic topology, involves proving that these spectral invariants extend continuously to area-preserving homeomorphisms of the disc. These two properties of PFH spectral invariants are potentially of independent interest. Our general strategy is partially inspired by suggestions of Fathi and the approach of Oh towards the simplicity question. In particular, we show that infinite twist maps, studied by Oh, are not finite energy homeomorphisms, which resolves the "infinite twist conjecture" in the affirmative; these twist maps are now the first examples of Hamiltonian homeomorphisms which can be said to have infinite energy. Another consequence of our work is that various forms of fragmentation for volume preserving homeomorphisms which hold for higher dimensional balls fail in dimension two.

Lagrangian Skeleta and Plane Curve Singularities

Abstract: We construct closed arboreal Lagrangian skeleta associated to links of isolated plane curve singularities. This yields closed arboreal Lagrangian skeleta for Weinstein pairs and Weinstein 4-manifolds associated to max-tb Legendrian representatives of algebraic links. We provide computations of Legendrian and Weinstein invariants, and discuss the symplectic topological nature of the Fomin-Pylyavskyy-Shustin-Thurston cluster algebra associated to a singularity. Finally, we present a conjectural ADE-classification for Lagrangian fillings of certain Legendrian links and list some related problems.

Sheaves and symplectic geometry of cotangent bundles

Abstract: This paper is essentially made of the three preprints arXiv:1212.5818, arXiv:1311.0187, arXiv:1603.07876 gathered in a single text, with simplified proofs. We recall several results of the microlocal theory of sheaves of Kashiwara-Schapira and apply them to study the symplectic geometry of cotangent bundles. We explain how we can recover the Gromov nonsqueezing theorem, the Gromov-Eliashberg rigidity theorem, the existence of graph selectors, we prove a three cusps conjecture about curves on the sphere and we recover more recent results on the topology of exact Lagrangian submanifolds of cotangent bundles.

Examples around the strong Viterbo conjecture.

Abstract: A strong version of a conjecture of Viterbo asserts that all normalized symplectic capacities agree on convex domains. We review known results showing that certain specific normalized symplectic capacities agree on convex domains. We also review why all normalized symplectic capacities agree on $S^1$-invariant convex domains. We introduce a new class of examples called "monotone toric domains", which are not necessarily convex, and which include all dynamically convex toric domains in four dimensions. We prove that for monotone toric domains in four dimensions, all normalized symplectic capacities agree. For monotone toric domains in arbitrary dimension, we prove that the Gromov width agrees with the first equivariant capacity. We also study a family of examples of non-monotone toric domains and determine when the conclusion of the strong Viterbo conjecture holds for these examples. Along the way we compute the cylindrical capacity of a large class of "weakly convex toric domains" in four dimensions.

Sheaf Quantization of Lagrangians and Floer cohomology

Abstract: Given an exact Lagrangian submanifold $L$ in $T^*N$, we want to construct a complex of sheaves in the derived category of sheaves on $N\times {\mathbb R} $, such that its singular support, $SS({\mathcal F}^\bullet_L)$, is equal to $\widehat L$, the cone constructed over $L$. Its existence was stated in \cite{Viterbo-ISTST} in 2011, with a sketch of proof, which however contained a gap (fixed here by the rectification). A complete proof was shortly after provided by Guillermou (\cite{Guillermou}) by a completely different method, in particular Guillermou's method does not use Floer theory. The proof provided here is, as originally planned, based on Floer homology. Besides the construction of the complex of sheaves, we prove that the filtered versions of sheaf cohomology of the quantization and of Floer cohomology coincide, that is $FH^*(N\times ]-\infty, \lambda [, {\mathcal F}^\bullet_L)\simeq FH^*(L;0_N;\lambda)$, and so do their product structures.

Augmentations, Fillings, and Clusters

Abstract: We prove that the augmentation variety of any positive braid Legendrian link carries a natural cluster $\mathrm{K}_2$ structure. We present an algorithm to calculate the cluster seeds that correspond to the admissible Lagrangian fillings of the positive braid Legendrian links. Utilizing augmentations and cluster algebras, we develop a new framework to distinguish exact Lagrangian fillings.

Geometric hydrodynamics and infinite-dimensional Newton's equations

Abstract: We revisit the geodesic approach to ideal hydrodynamics and present a related geometric framework for Newton's equations on groups of diffeomorphisms and spaces of probability densities. The latter setting is sufficiently general to include equations of compressible and incompressible fluid dynamics, magnetohydrodynamics, shallow water systems and equations of relativistic fluids. We illustrate this with a survey of selected examples, as well as with new results, using the tools of infinite-dimensional information geometry, optimal transport, the Madelung transform, and the formalism of symplectic and Poisson reduction.

On infinite staircases in toric symplectic four-manifolds

Abstract: An influential result of McDuff and Schlenk asserts that the function that encodes when a four-dimensional symplectic ellipsoid can be embedded into a four-dimensional ball has a remarkable structure: the function has infinitely many corners, determined by the odd-index Fibonacci numbers, that fit together to form an infinite staircase. This work has recently led to considerable interest in understanding when the ellipsoid embedding function for other symplectic 4-manifolds is partly described by an infinite staircase. We provide a general framework for analyzing this question for a large family of targets, called finite type convex toric domains, which we prove generalizes the class of closed toric symplectic 4-manifolds. When the target is of finite type, we prove that any infinite staircase must have a unique accumulation point a_0, given as the solution to an explicit quadratic equation. Moreover, we prove that the embedding function at a_0 must be equal to the classical volume lower bound. In particular, our result gives an obstruction to the existence of infinite staircases that we show is strong. In the special case of rational convex toric domains, we can say more. We conjecture a complete answer to the question of existence of infinite staircases, in terms of six families that are distinguished by the fact that their moment polygon is reflexive. We then provide a uniform proof of the existence of infinite staircases for our six families, using two tools. For the first, we use recursive families of almost toric fibrations to find symplectic embeddings. For the second tool, we find recursive families of convex lattice paths that provide obstructions to embeddings. We conclude by reducing our conjecture that these are the only infinite staircases among rational convex toric domains to a question in number theory related to a classic work of Hardy and Littlewood.

The geometry and topology of contact structures with singularities

Abstract: In this article we introduce and analyze in detail singular contact structures, with an emphasis on $b^m$-contact structures, which are tangent to a given smooth hypersurface $Z$ and satisfy certain transversality conditions. These singular contact structures are determined by the kernel of non-smooth differential forms, called $b^m$-contact forms, having an associated critical hypersurface $Z$. We provide several constructions, prove local normal forms, and study the induced structure on the critical hypersurface. The topology of those are related to smooth contact structures through a desingularization technique. The problem of existence of $b^m$-contact structures on a given manifold is also tackled in this paper. We prove that a connected component of a convex hypersurface of a contact manifold can be realized as a connected component of the critical set of a $b^m$-contact structure.

Sheaf quantization from exact WKB analysis

Abstract: A sheaf quantization is a sheaf associated to a Lagrangian brane By using the ideas of exact WKB analysis, spectral networks, and scattering diagrams, we sheaf-quantize spectral curves over the Novikov ring under some assumptions on the behavior of Stokes curves For Schrodinger equations, we prove that the local system associated to the sheaf quantization (microlocalization aka abelianization) over the spectral curve can be identified with the Voros--Iwaki--Nakanishi coordinate and the Fock--Goncharov coordinate We expect that these sheaf quantizations are the object-level realizations of a conjectural $\hbar$-enhanced Riemann--Hilbert correspondence We give a formulation of the conjecture, which is expected to be a sheaf-theoretic interpretation of Kontsevich--Soibelman's generalized Riemann--Hilbert correspondence and a partial refinement of D'Agnolo--Kashiwara's irregular Riemann--Hilbert correspondence

Family Floer program and non-archimedean SYZ mirror construction.

Abstract: Given a Lagrangian fibration, we provide a natural construction of a mirror Landau-Ginzburg model consisting of a rigid analytic space, a superpotential function, and a dual fibration based on Fukaya's family Floer theory. The mirror in the B-side is constructed by the counts of holomorphic disks in the A-side together with the non-archimedean analysis and the homological algebra of the $A_\infty$ structures. It fits well with the SYZ dual fibration picture and explains the quantum/instanton corrections and the wall crossing phenomenon. Instead of a special Lagrangian fibration, we only need to assume a weaker semipositive Lagrangian fibration to carry out the non-archimedean SYZ mirror reconstruction.

Symplectic duality and implosions

Abstract: We discuss symplectic and hyperkahler implosion and present candidates for the symplectic duals of the universal hyperkahler implosion for various groups.

Reduction of multisymplectic manifolds.

Abstract: We extend the Marsden-Weinstein-Meyer symplectic reduction theorem to the setting of multisymplectic manifolds. In this context, we investigate the dependence of the reduced space on the reduction parameters. With respect to a distinguished class of multisymplectic moment maps, an exact stationary phase approximation and nonabelian localization theorem are also obtained.

Sharp Ellipsoid Embeddings and Toric Mutations

Abstract: This article introduces a new method to construct volume-filling symplectic embeddings of 4-dimensional ellipsoids by employing polytope mutations in toric and almost-toric varieties. The construction uniformly recovers the sharp sequences for the Fibonacci Staircase of McDuff-Schlenk, the Pell Staircase of Frenkel-Muller and the Cristofaro-Gardiner-Kleinman's Staircase, and adds new infinite sequences of sharp ellipsoid embeddings. In addition, we initiate the study of symplectic tropical curves for almost-toric fibrations and emphasize the connection to quiver combinatorics.

Embedded contact homology of prequantization bundles

Abstract: The 2011 PhD thesis of Farris demonstrated that the ECH of a prequantization bundle over a Riemann surface is isomorphic as a Z/2Z-graded group to the exterior algebra of the homology of its base. We extend this result by computing the Z-grading on the chain complex, permitting a finer understanding of this isomorphism. We fill in some technical details, including the Morse-Bott direct limit argument and some writhe bounds. The former requires the isomorphism between filtered Seiberg-Witten Floer cohomology and filtered ECH as established by Hutchings--Taubes. The latter requires the work on higher asymptotics of pseudoholomorphic curves by Cristofaro-Gardiner--Hutchings--Zhang. In a subsequent paper, we plan to extend these methods for Seifert fiber spaces and relate the ECH U-map to orbifold Gromov-Witten invariants of the base.

Hidden toric symmetry and structural stability of singularities in integrable systems

Abstract: The goal of the paper is to develop a systematic approach to the study of (perhaps degenerate) singularities of integrable systems and their structural stability. As the main tool, we use ``hidden'' system-preserving torus actions near singular orbits. We give sufficient conditions for the existence of such actions and show that they are persistent under integrable perturbations. We find toric symmetries for several infinite series of singularities and prove, as an application, structural stability of Kalashnikov's parabolic orbits with resonances in the real-analytic case. We also classify all Hamiltonian $k$-torus actions near a singular orbit on a symplectic manifold $M^{2n}$ (or on its complexification) and prove that the normal forms of these actions are persistent under small perturbations. As a by-product, we prove an equivariant version of the Vey theorem (1978) about local symplectic normal form of nondegenerate singularities.

Fukaya categories of surfaces, spherical objects, and mapping class groups

Abstract: We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least two whose Chern character represents a non-zero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a rank one local system (The homological hypothesis is necessary) This largely answers a question of Haiden, Katzarkov and Kontsevich It follows that there is a natural surjection from the autoequivalence group of the Fukaya category to the mapping class group The proofs appeal to and illustrate numerous recent developments: quiver algebra models for wrapped categories, sheafifying the Fukaya category, equivariant Floer theory for finite and continuous group actions, and homological mirror symmetry An application to high-dimensional symplectic mapping class groups is included

A landscape of contact manifolds via rational SFT

Abstract: We define a hierarchy functor from the exact symplectic cobordism category to a totally ordered set from a $BL_\infty$ (Bi-Lie) formalism of the rational symplectic field theory (RSFT). The hierarchy functor consists of three levels of structures, namely algebraic planar torsion, order of semi-dilation and planarity, all taking values in $\mathbb{N}\cup \{\infty\}$, where algebraic planar torsion can be understood as the analogue of Latschev-Wendl's algebraic torsion in the context of RSFT. The hierarchy functor is well-defined through a partial construction of RSFT and is within the scope of established virtual techniques. We develop computation tools for those functors and prove all three of them are surjective. In particular, the planarity functor is surjective in all dimension $\ge 3$. Then we use the hierarchy functor to study the existence of exact cobordisms. We discuss examples including iterated planar open books, spinal open books, affine varieties with uniruled compactification and links of singularities.

Local rigidity, contact homeomorphisms, and conformal factors

Abstract: We show that if the image of a Legendrian submanifold under a contact homeomorphism (i.e. a homeomorphism that is a $C^0$-limit of contactomorphisms) is smooth then it is Legendrian, assuming only positive local lower bounds on the conformal factors of the approximating contactomorphisms. More generally the analogous result holds for coisotropic submanifolds in the sense of arXiv:1306.6367. This is a contact version of the Humiliere-Leclercq-Seyfaddini coisotropic rigidity theorem in $C^0$ symplectic geometry, and the proof adapts the author's recent re-proof of that result in arXiv:1912.13043 based on a notion of local rigidity of points on locally closed subsets. We also provide two different flavors of examples showing that a contact homeomorphism can map a submanifold that is transverse to the contact structure to one that is smooth and tangent to the contact structure at a point.

Poincar\'e duality for loop spaces

Abstract: We prove a Poincare duality theorem with products between Rabinowitz Floer homology and cohomology, for both closed and open strings. This lifts to a duality theorem between open-closed TQFTs. Specializing to the case of cotangent bundles, we define extended loop homology and cohomology and explain from a unified perspective pairs of dual results which have been observed over the years in the context of the search for closed geodesics. These concern critical levels, relations to the based loop space, manifolds all of whose geodesics are closed, Bott index iteration, level-potency, and homotopy invariance. We extend the loop cohomology product to include constant loops. We prove a relation conjectured by Sullivan between the loop product and the extended loop homology coproduct as a consequence of associativity for the product on extended loop homology.

Families of monotone Lagrangians in Brieskorn--Pham hypersurfaces.

Abstract: We present techniques, inspired by monodromy considerations, for constructing compact monotone Lagrangians in certain affine hypersurfaces, chiefly of Brieskorn-Pham type. We focus on dimensions 2 and 3, though the constructions generalise to higher ones. The techniques give significant latitude in controlling the homology class, Maslov class and monotonicity constant of the Lagrangian, and a range of possible diffeomorphism types; they are also explicit enough to be amenable to calculations of pseudo-holomorphic curve invariants. Applications include infinite families of monotone Lagrangian $S^1 \times \Sigma_g$ in $\mathbb{C}^3$, distinguished by soft invariants for any genus $g \geq 2$; and, for fixed soft invariants, a range of infinite families of Lagrangians in Brieskorn-Pham hypersurfaces. These are generally distinct up to Hamiltonian isotopy. In specific cases, we also set up well-defined counts of Maslov zero holomorphic annuli, which distinguish the Lagrangians up to compactly supported symplectomorphisms. Inter alia, these give families of exact monotone Lagrangian tori which are related neither by geometric mutation nor by compactly supported symplectomorphisms.

Super-rigidity of certain skeleta using relative symplectic cohomology

Abstract: This article uses relative symplectic cohomology, recently studied by the second author, to understand rigidity phenomena for compact subsets of symplectic manifolds. As an application, we consider a symplectic crossings divisor in a Calabi-Yau symplectic manifold $M$ whose complement is a Liouville manifold. We show that, for a carefully chosen Liouville structure, the skeleton as a subset of $M$ exhibits strong rigidity properties akin to super-heavy subsets of Entov-Polterovich. Along the way, we expand the toolkit of relative symplectic cohomology by introducing products and units. We also develop what we call the contact Fukaya trick, concerning the behaviour of relative symplectic cohomology of subsets with contact type boundary under adding a Liouville collar.

Global hypersurfaces of section in the spatial restricted three-body problem

Abstract: We propose a contact-topological approach to the spatial circular restricted three-body problem, for energies below and slightly above the first critical energy value. We prove the existence of an $S^1$-family of global hypersurfaces of section for the regularized dynamics, which are copies of $(\mathbb{D}^*S^2,\omega)$, where $\omega$ is deformation equivalent to the standard symplectic form. This is the page of an open book in $S^*S^3=S^3\times S^2$, with binding $S^*S^2=\mathbb{R}P^3$, and the situation at the binding reduces to the planar problem. The first return map is Hamiltonian, restricting to the boundary as the time-$1$ map of a positive reparametrization of the Reeb flow in $\mathbb{R}P^3$ giving the planar problem. This construction holds for any choice of mass ratio, and is therefore non-perturbative. We illustrate the technique in the completely integrable case of the rotating Kepler problem, where the return map can be studied explicitly.

On the singular Weinstein conjecture and the existence of escape orbits for $b$-Beltrami fields

Abstract: Motivated by Poincare's orbits going to infinity in the (restricted) three-body (see [26] and [6]), we investigate the generic existence of heteroclinic-like orbits in a neighbourhood of the critical set of a $b$-contact form. This is done by using the singular counterpart [3] of Etnyre--Ghrist's contact/Beltrami correspondence [9], and genericity results concerning eigenfunctions of the Laplacian established by Uhlenbeck [29]. Specifically, we analyze the $b$-Beltrami vector fields on $b$-manifolds of dimension $3$ and prove that for a generic asymptotically exact $b$-metric they exhibit escape orbits. We also show that a generic asymptotically symmetric $b$-Beltrami vector field on an asymptotically flat $b$-manifold has a generalized singular periodic orbit and at least $4$ escape orbits. Generalized singular periodic orbits are trajectories of the vector field whose $\alpha$- and $\omega$-limit sets intersect the critical surface. These results are a first step towards proving the singular Weinstein conjecture.

The Anosov-Katok method and pseudo-rotations in symplectic dynamics

Abstract: We prove that toric symplectic manifolds admit Hamiltonian pseudo-rotations with a finite, and in a sense minimal, number of ergodic measures. The set of ergodic measures of these pseudo-rotations consists of the measure induced by the symplectic volume form and the Dirac measures supported at the fixed points of the torus action. Our construction relies on the conjugation method of Anosov and Katok.

What does a vector field know about volume

Abstract: This note provides an affirmative answer to a question of Viterbo concerning the existence of nondiffeomorphic contact forms that share the same Reeb vector field. Starting from an observation by Croke-Kleiner and Abbondandolo that such contact forms define the same total volume, we discuss various related issues for the wider class of geodesible vector fields. In particular, we define an Euler class of a geodesible vector field in the associated basic cohomology and give a topological characterisation of vector fields with vanishing Euler class. We prove the theorems of Gauss-Bonnet and Poincare-Hopf for closed, oriented 2-dimensional orbifolds using global surfaces of section and the volume determined by a geodesible vector field. This volume is computed for Seifert fibred 3-manifolds and for some transversely holomorphic flows.