A Quantitative Look at Lagrangian Cobordisms

Similar documents
The Minimal Length of the Lagrangian Cobordism Between Legendrians

Basic Objects and Important Questions

Duality for Legendrian contact homology

Embedded contact homology and its applications

arxiv: v1 [math.gt] 20 Dec 2017

arxiv: v2 [math.sg] 3 Jun 2016

Applications of embedded contact homology

Knot Contact Homology, Chern-Simons Theory, and Topological Strings

THE EXISTENCE PROBLEM

We thank F. Laudenbach for pointing out a mistake in Lemma 9.29, and C. Wendl for detecting a large number errors throughout the book.

CONORMAL BUNDLES, CONTACT HOMOLOGY, AND KNOT INVARIANTS

NON-ISOTOPIC LEGENDRIAN SUBMANIFOLDS IN R 2n+1

A Note on V. I. Arnold s Chord Conjecture. Casim Abbas. 1 Introduction

arxiv: v2 [math.sg] 21 Nov 2018

arxiv: v4 [math.sg] 28 Feb 2016

LEGENDRIAN CONTACT HOMOLOGY IN THE BOUNDARY OF A SUBCRITICAL WEINSTEIN 4-MANIFOLD

Knots and Mirror Symmetry. Mina Aganagic UC Berkeley

1. Introduction M 3 - oriented, compact 3-manifold. ο ρ TM - oriented, positive contact structure. ο = ker(ff), ff 1-form, ff ^ dff > 0. Locally, ever

Symplectic folding and non-isotopic polydisks

arxiv: v2 [math.sg] 27 Jul 2018

Knotted Legendrian surfaces with few Reeb chords

Area preserving isotopies of self transverse immersions of S 1 in R 2

arxiv:math/ v3 [math.sg] 20 Sep 2004

On growth rate and contact homology

Convex Symplectic Manifolds

Lectures on the topology of symplectic fillings of contact 3-manifolds

The Geometry of Symplectic Energy

EMBEDDING ALL CONTACT 3 MANIFOLDS IN A FIXED CONTACT 5 MANIFOLD

arxiv: v1 [math.sg] 21 Oct 2016

CONTACT SURGERY AND SYMPLECTIC CAPS

An integral lift of contact homology

Scalar curvature and the Thurston norm

Making cobordisms symplectic

LECTURES ON THE TOPOLOGY OF SYMPLECTIC FILLINGS OF CONTACT 3-MANIFOLDS

2 LEGENDRIAN KNOTS PROBLEM SESSION. (GEORGIA TOPOLOGY CONFERENCE, MAY 31, 2001.) behind the examples is the following: We are Whitehead doubling Legen

Symplectic Geometry versus Riemannian Geometry

THE CARDINALITY OF THE AUGMENTATION CATEGORY OF A LEGENDRIAN LINK

Symplectic topology and algebraic geometry II: Lagrangian submanifolds

1 Motivation and Background

ON KNOTS IN OVERTWISTED CONTACT STRUCTURES

Existence of Engel structures. Thomas Vogel

2 JOHN B. ETNYRE AND KO HONDA (M;ο) (= one satisfying ; ffi (M;ο)) cannot be symplectically cobordant to an overtwisted contact structure, but the opp

Invertible Dirac operators and handle attachments

AUGMENTATIONS ARE SHEAVES

LECTURE 15: COMPLETENESS AND CONVEXITY

J-holomorphic curves in symplectic geometry

Symplectic 4-manifolds, singular plane curves, and isotopy problems

HIGHER GENUS KNOT CONTACT HOMOLOGY AND RECURSION FOR COLORED HOMFLY-PT POLYNOMIALS

arxiv: v4 [math.gt] 14 Oct 2013

The A-B slice problem

A MORSE-BOTT APPROACH TO CONTACT HOMOLOGY

The Minimal Element Theorem

Combinatorial Heegaard Floer Theory

NON-ISOTOPIC LEGENDRIAN SUBMANIFOLDS IN R 2n+1. Tobias Ekholm, John Etnyre & Michael Sullivan. Abstract

CLASSIFICATION OF TIGHT CONTACT STRUCTURES ON SURGERIES ON THE FIGURE-EIGHT KNOT

1 Motivation and Background

Lagrangian Intersection Floer Homology (sketch) Chris Gerig

COMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY

arxiv:math/ v1 [math.gt] 14 Dec 2004

Lecture XI: The non-kähler world

Contact Structures and Classifications of Legendrian and Transverse Knots

APPLICATIONS OF HOFER S GEOMETRY TO HAMILTONIAN DYNAMICS

Math 225A: Differential Topology, Final Exam

Lecture III: Neighbourhoods

Transversal torus knots

AIM Workshop - Contact topology in higher dimensions - (May 21-25, 2012): Questions and open problems

1 Contact structures and Reeb vector fields

A SHORT GALLERY OF CHARACTERISTIC FOLIATIONS

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

TIGHT PLANAR CONTACT MANIFOLDS WITH VANISHING HEEGAARD FLOER CONTACT INVARIANTS

arxiv: v1 [math.gt] 5 Aug 2015

arxiv: v4 [math.sg] 30 Nov 2010

arxiv: v2 [math.gt] 19 Oct 2014

B B. B g ... g 1 g ... c c. g b

Legendrian Approximations

Geometry of generating function and Lagrangian spectral invariants

Stein fillings of contact 3-manifolds obtained as Legendrian sur

Reeb dynamics in dimension 3

Contact Geometry of the Visual Cortex

KNOT AND BRAID INVARIANTS FROM CONTACT HOMOLOGY I

Squeezing Lagrangian tori in dimension 4. R. Hind E. Opshtein. January 9, 2019

arxiv: v1 [math.sg] 11 Mar 2013

LEGENDRIAN CONTACT HOMOLOGY IN P R

LEGENDRIAN SOLID-TORUS LINKS

COBORDISM OF DISK KNOTS

Existence of Engel structures

Liouville and Weinstein manifolds

BRAIDS AND OPEN BOOK DECOMPOSITIONS. Elena Pavelescu. A Dissertation. Mathematics

CONTACT GEOMETRY AND TOPOLOGY

THE CONTACT HOMOLOGY OF LEGENDRIAN SUBMANIFOLDS IN R 2n+1

An Ozsváth-Szabó Floer homology invariant of knots in a contact manifold

Lefschetz pencils and the symplectic topology of complex surfaces

arxiv:math/ v1 [math.gt] 26 Sep 2005

SCIENnIFIQUES d L ÉCOLE. SUPÉRIEUkE. Weak symplectic fillings and holomorphic curves. Klaus NIEDERKRÜGER & Chris WENDL SOCIÉTÉ MATHÉMATIQUE DE FRANCE

The topology of symplectic four-manifolds

Bordism and the Pontryagin-Thom Theorem

Cosmetic crossings and genus-one knots

Broken pencils and four-manifold invariants. Tim Perutz (Cambridge)

arxiv: v1 [math.sg] 27 Nov 2017

On Mahler s conjecture a symplectic aspect

Transcription:

A Quantitative Look at Lagrangian Cobordisms Lisa Traynor Bryn Mawr College Joint work with Joshua M. Sabloff, Haverford College December 2016 Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 1 / 36

Lagrangians and Legendrians y z y x x Symplectic Manifold (X 2n, ω) Contact Manifold (Y 2n+1, ξ) Lagrangian Submanifold L n : ω TL 0 Legendrian Submanifold Λ n : T Λ ξ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 2 / 36

Lagrangians and Legendrians y z y x x Symplectic Manifold (X 2n, ω) Exact Symplectic : ω = dλ Lagrangian Submanifold L n : ω TL 0 Exact Lagrangian: λ = df Contact Manifold (Y 2n+1, ξ) Legendrian Submanifold Λ n : T Λ ξ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 2 / 36

The Symplectization of a Contact Manifold Standard Contact Manifold: ( R 2n+1, ker α ) J 1 (R n ) = T R n R = R 2n+1, α = dz i y idx i Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 3 / 36

The Symplectization of a Contact Manifold Standard Contact Manifold: ( R 2n+1, ker α ) J 1 (R n ) = T R n R = R 2n+1, α = dz i y idx i Symplectization: ( R R 2n+1, d(e s α) ) R 2n+1 s Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 3 / 36

The Symplectization of a Contact Manifold Standard Contact Manifold: ( R 2n+1, ker α ) J 1 (R n ) = T R n R = R 2n+1, α = dz i y idx i Symplectization: ( R R 2n+1, d(e s α) ) R 2n+1 s There are no closed, exact Lagrangians (Gromov); Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 3 / 36

The Symplectization of a Contact Manifold Standard Contact Manifold: ( R 2n+1, ker α ) J 1 (R n ) = T R n R = R 2n+1, α = dz i y idx i Symplectization: ( R R 2n+1, d(e s α) ) R 2n+1 s There are no closed, exact Lagrangians (Gromov); For a Legendrian Λ, the cylinder R Λ is an exact Lagrangian. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 3 / 36

Lagrangian Cobordisms between Legendrians A Lagrangian cobordism from Λ to Λ + means: s + + R 2n+2 s s Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 4 / 36

Lagrangian Cobordisms between Legendrians A Lagrangian cobordism from Λ to Λ + means: s + + R 2n+2 s s Λ ± are Legendrian submanifolds in {s = s ± }; Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 4 / 36

Lagrangian Cobordisms between Legendrians A Lagrangian cobordism from Λ to Λ + means: s + + R 2n+2 s s Λ ± are Legendrian submanifolds in {s = s ± }; L is Lagrangian and cylindrical over Λ ± at ± : L = R Λ ± outside [s, s +]; Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 4 / 36

Lagrangian Cobordisms between Legendrians A Lagrangian cobordism from Λ to Λ + means: s + + R 2n+2 s s Λ ± are Legendrian submanifolds in {s = s ± }; L is Lagrangian and cylindrical over Λ ± at ± : L is embedded and exact: L = R Λ ± outside [s, s +]; e s α L = df, f = constant ± outside [s, s +]. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 4 / 36

Lagrangian Cobordisms between Legendrians A Lagrangian cobordism from Λ to Λ + means: s + + R 2n+2 s s Λ ± are Legendrian submanifolds in {s = s ± }; L is Lagrangian and cylindrical over Λ ± at ± : L is embedded and exact: L = R Λ ± outside [s, s +]; e s α L = df, f = constant ± outside [s, s +]. Arise in relative SFT (Eliashberg-Givental-Hofer) Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 4 / 36

Qualitative Questions Given Λ, Λ + R 2n+1, does there exist a Lagrangian cobordism between them? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 5 / 36

Qualitative Questions E E Given Λ, Λ + R 2n+1, does there exist a Lagrangian cobordism between them? Non-symmetric relation! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 5 / 36

Qualitative Questions E E Given Λ, Λ + R 2n+1, does there exist a Lagrangian cobordism between them? Non-symmetric relation! How topologically rigid are Lagrangian cobordisms? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 5 / 36

Qualitative Questions E E Given Λ, Λ + R 2n+1, does there exist a Lagrangian cobordism between them? Non-symmetric relation! How topologically rigid are Lagrangian cobordisms? Fillings realize 4-ball genus! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 5 / 36

Qualitative Questions E E Given Λ, Λ + R 2n+1, does there exist a Lagrangian cobordism between them? Non-symmetric relation! How topologically rigid are Lagrangian cobordisms? Fillings realize 4-ball genus! A variety of qualitative questions have been studied by: Chantraine, Ekholm, Honda, Kálmán, Dimitroglou Rizell, Ghiggini, Golovko, Cornwell, Ng, Sivek, Bourgeois, Sabloff, Traynor, Capovilla-Searle, Hayden, Pan,... Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 5 / 36

Quantitative Questions (Length) Given Λ, Λ + R 2n+1, what is the minimal length" of any cobordism between them? h = s + 0 =s_ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 6 / 36

Quantitative Questions (Length) Given Λ, Λ + R 2n+1, what is the minimal length" of any cobordism between them? h = s + 0 =s_ (Width) Given a Lagrangian cobordism, what is its width"? B(c) Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 6 / 36

Outline 1 Constructions of Lagrangian Cobordisms

Outline 1 Constructions of Lagrangian Cobordisms 2 Length of a Lagrangian cobordism

Outline 1 Constructions of Lagrangian Cobordisms 2 Length of a Lagrangian cobordism 3 Width of a Lagrangian Cobordism

Outline 1 Constructions of Lagrangian Cobordisms 2 Length of a Lagrangian cobordism 3 Width of a Lagrangian Cobordism Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 8 / 36

E Constructions of Lagrangian Concordances Isotopy Lemma (Eliashberg, Chantraine, Golovko, Ekholm-Honda-Kálmán,... ) Suppose Λ and Λ + are Legendrian isotopic. Then there exists a Lagrangian cobordism from Λ to Λ +. + R 3 s _ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 9 / 36

E Constructions of Lagrangian Concordances Isotopy Lemma (Eliashberg, Chantraine, Golovko, Ekholm-Honda-Kálmán,... ) Suppose Λ and Λ + are Legendrian isotopic. Then there exists a Lagrangian cobordism from Λ to Λ +. + R 3 s _ Remark: The Lagrangian is not the trace of the isotopy. Most slices of the Lagrangian will not be Legendrian. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 9 / 36

Lagrangian Concordances from Isotopy E E Qualitatively Symmetric Concordances: 1 + 2 + 2 _ 1 _ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 10 / 36

Constructions of Lagrangian Cobordisms Theorem (Dimitroglou Rizell, Ekholm-Honda-Kálmán, Bourgeois-Sabloff-T ) If Λ + is obtained from Λ by a cusp-surgery", Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 11 / 36

Constructions of Lagrangian Cobordisms Theorem (Dimitroglou Rizell, Ekholm-Honda-Kálmán, Bourgeois-Sabloff-T ) If Λ + is obtained from Λ by a cusp-surgery", Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 11 / 36

Constructions of Lagrangian Cobordisms Theorem (Dimitroglou Rizell, Ekholm-Honda-Kálmán, Bourgeois-Sabloff-T ) If Λ + is obtained from Λ by a cusp-surgery", then there exists a Lagrangian cobordism from Λ to Λ +. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 11 / 36

Construction Example Lagrangian genus 1 filling of a Legendrian m(5 2 ): Legendrian isotopy and cusp pinches as you move up! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 12 / 36

Outline 1 Constructions of Lagrangian Cobordisms 2 Length of a Lagrangian cobordism 3 Width of a Lagrangian Cobordism Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 13 / 36

Length Question: Given Λ, Λ + R 2n+1, what is the minimal length" of any cobordism between them? h = s + 0 =s_ minimal length = inf{h : Lagrangian cobordism from Λ to Λ + that is cylindrical outside[0, h]}. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 14 / 36

Flexibility Theorem (Sabloff-T, 16: Selecta Mathematica) There exists an arbitrarily short Lagrangian cobordism between 1 a Legendrian and its vertical translate, h~0 + s 0 _ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 15 / 36

Flexibility Theorem (Sabloff-T, 16: Selecta Mathematica) There exists an arbitrarily short Lagrangian cobordism between 1 a Legendrian and its vertical translate, h~0 + s 0 _ 2 a Legendrian and its horizontal translate, h~0 s 0 Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 15 / 36

Flexibility Theorem (Sabloff-T, 16: Selecta Mathematica) There exists an arbitrarily short Lagrangian cobordism between 1 a Legendrian and its vertical translate, h~0 + s 0 _ 2 a Legendrian and its horizontal translate, h~0 s 0 3 a Legendrian and its vertical expansion. h~0 + s 0 _ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 15 / 36

Rigidity Theorem (Sabloff-T, 16) There exist obstructions to arbitrarily short Lagrangian cobordisms between 1 a Legendrian and its vertical contraction; h~ln 2 1 + s 0 2 _ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 16 / 36

Rigidity Theorem (Sabloff-T, 16) There exist obstructions to arbitrarily short Lagrangian cobordisms between 1 a Legendrian and its vertical contraction; h~ln 2 1 + s 0 2 _ 2 vertically shifted Hopf links: h 1 v s 0 1 u h { ( ) ln 1 u 1 v, if u v, ln ( ) u v, if u v. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 16 / 36

Lower Bound to Length (Step 1) Assign capacities" to a Legendrian c(λ, ε, θ) R >0 { }, ε is an augmentation of the DGA A(Λ), ε : (A(Λ), ) (F 2, 0), θ LCH (Λ, ε). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 17 / 36

Lower Bound to Length (Step 1) Assign capacities" to a Legendrian c(λ, ε, θ) R >0 { }, ε is an augmentation of the DGA A(Λ), ε : (A(Λ), ) (F 2, 0), θ LCH (Λ, ε). Example: r 0 λ LCH 1 (U(r), ε); c(u(r), ε, λ) = r. Fundamental Class Fundamental Capacity Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 17 / 36

Lower Bound to Length (Step 1) Assign capacities" to a Legendrian c(λ, ε, θ) R >0 { }, ε is an augmentation of the DGA A(Λ), ε : (A(Λ), ) (F 2, 0), θ LCH (Λ, ε). Example: r 0 λ LCH 1 (U(r), ε); c(u(r), ε, λ) = r. Fundamental Class Fundamental Capacity For θ 0, c(λ, ε, θ) is always the height of a Reeb chord! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 17 / 36

Lower Bound to Length (Step 2) From ε, θ for Λ and Lagrangian cobordism L from Λ to Λ +, get induced ε +, θ + for Λ +. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 18 / 36

Lower Bound to Length (Step 2) From ε, θ for Λ and Lagrangian cobordism L from Λ to Λ +, get induced ε +, θ + for Λ +. [Ekholm-Honda-Kálmán] Λ + A(Λ + ) Φ(L) ε + LCH (Λ +, ε + ) θ + Ψ L,ε Λ A(Λ ) ε F 2 LCH (Λ, ε ) θ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 18 / 36

Lower Bound to Length (Step 2) From ε, θ for Λ and Lagrangian cobordism L from Λ to Λ +, get induced ε +, θ + for Λ +. [Ekholm-Honda-Kálmán] Λ + A(Λ + ) Φ(L) ε + LCH (Λ +, ε + ) θ + Ψ L,ε Λ A(Λ ) ε F 2 LCH (Λ, ε ) θ Question: How do capacities c(λ +, ε +, θ + ) and c(λ, ε, θ ) compare? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 18 / 36

Lower Bound to Length (Step 3) Relate capacities for ends of a Lagrangian cobordism. Length-Capacity Inequality (Sabloff-T) If L is a Lagrangian cobordism from Λ to Λ + that is cylindrical outside [0, h], then e 0 c(λ, ε, θ ) e h c(λ +, ε +, θ + ). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 19 / 36

Lower Bound to Length (Step 3) Relate capacities for ends of a Lagrangian cobordism. Length-Capacity Inequality (Sabloff-T) If L is a Lagrangian cobordism from Λ to Λ + that is cylindrical outside [0, h], then e 0 c(λ, ε, θ ) e h c(λ +, ε +, θ + ). Remember ε +, θ + are induced by L. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 19 / 36

Lower Bound to Length (Step 3) Relate capacities for ends of a Lagrangian cobordism. Length-Capacity Inequality (Sabloff-T) If L is a Lagrangian cobordism from Λ to Λ + that is cylindrical outside [0, h], then e 0 c(λ, ε, θ ) e h c(λ +, ε +, θ + ). Remember ε +, θ + are induced by L. Get lower bounds to length of a cobordism! ( ) c(λ, ε, θ ) ln h. c(λ +, ε +, θ + ) Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 19 / 36

Lower Bound to Length of a Contraction h 1 + s 0 2 _ By Length-Capacity Inequality: ( ) ( ) 2 c(u(2)), ε, λ ) ln = ln 1 c(u(1)), ε +, λ + ) = ln ( ) c(λ, ε, λ ) h. c(λ +, ε +, λ + ) Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 20 / 36

Lower Bound to Length of a Contraction h 1 + s 0 2 _ By Length-Capacity Inequality: ( ) ( ) 2 c(u(2)), ε, λ ) ln = ln 1 c(u(1)), ε +, λ + ) = ln ( ) c(λ, ε, λ ) h. c(λ +, ε +, λ + ) Question: Can we get arbitrarily close to h = ln 2? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 20 / 36

Lower Bound to Length of a Contraction h 1 + s 0 2 _ By Length-Capacity Inequality: ( ) ( ) 2 c(u(2)), ε, λ ) ln = ln 1 c(u(1)), ε +, λ + ) = ln ( ) c(λ, ε, λ ) h. c(λ +, ε +, λ + ) Question: Can we get arbitrarily close to h = ln 2? Answer: Yes! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 20 / 36

Upper Bound to Length of a Contraction Lagrangian cobordism from Λ = U(2) to Λ + = U(1) of length A: Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 21 / 36

Upper Bound to Length of a Contraction Lagrangian cobordism from Λ = U(2) to Λ + = U(1) of length A: 1 1/2 Legendrian isotopy: λ s (t) = (x(t), ρ(s)y(t), ρ(s)z(t)) 0 A Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 21 / 36

Upper Bound to Length of a Contraction Lagrangian cobordism from Λ = U(2) to Λ + = U(1) of length A: 1 1/2 Legendrian isotopy: λ s (t) = (x(t), ρ(s)y(t), ρ(s)z(t)) 0 A Lagrangian immersion: Γ(s, t) = (s, x(t), ρ(s)y(t), ρ(s)z(t) + ρ (s)z(t)) Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 21 / 36

Upper Bound to Length of a Contraction Lagrangian cobordism from Λ = U(2) to Λ + = U(1) of length A: 1 1/2 Legendrian isotopy: λ s (t) = (x(t), ρ(s)y(t), ρ(s)z(t)) 0 A Lagrangian immersion: Embedding condition: Γ(s, t) = (s, x(t), ρ(s)y(t), ρ(s)z(t) + ρ (s)z(t)) 1 e A /2 e s /2 e s d ds (es ρ(s)) 0 0 A Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 21 / 36

Upper Bound to Length of a Contraction Lagrangian cobordism from Λ = U(2) to Λ + = U(1) of length A: 1 1/2 Legendrian isotopy: λ s (t) = (x(t), ρ(s)y(t), ρ(s)z(t)) 0 A Lagrangian immersion: Embedding condition: So, Γ(s, t) = (s, x(t), ρ(s)y(t), ρ(s)z(t) + ρ (s)z(t)) 1 e A /2 e s /2 e s d ds (es ρ(s)) 0 0 A embedded Lagrangian cobordism when 1 < e A /2 ln 2 < A. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 21 / 36

Outline 1 Constructions of Lagrangian Cobordisms 2 Length of a Lagrangian cobordism 3 Width of a Lagrangian Cobordism Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 22 / 36

Width of a Symplectic Manifold B 2n (c) := { (x 1, y 1,..., x n, y n ) : π i (x 2 i + y 2 i ) c } (R 2n, ω 0 ). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 23 / 36

Width of a Symplectic Manifold B 2n (c) := { (x 1, y 1,..., x n, y n ) : π i (x 2 i + y 2 i ) c } (R 2n, ω 0 ). Width of a symplectic manifold (X, ω): w(x) := sup{c : ψ : B 2n (c) X, ψ ω = ω 0 }. B(c) X Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 23 / 36

Width of a Symplectic Manifold B 2n (c) := { (x 1, y 1,..., x n, y n ) : π i (x 2 i + y 2 i ) c } (R 2n, ω 0 ). Width of a symplectic manifold (X, ω): w(x) := sup{c : ψ : B 2n (c) X, ψ ω = ω 0 }. B(c) X We are working in X = R J 1 M: w(r J 1 M) =. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 23 / 36

Width of a Lagrangian Given a Lagrangian submanifold L (X, ω), relative width is: { w(x, L) = sup c ψ : B 2n (c) X, ψ ω = ω 0, ψ 1 (L) = B 2n (c) R n}. B(c) Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 24 / 36

Width of a Lagrangian Given a Lagrangian submanifold L (X, ω), relative width is: { w(x, L) = sup c ψ : B 2n (c) X, ψ ω = ω 0, ψ 1 (L) = B 2n (c) R n}. B(c) Introduced by Barraud and Cornea, 05. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 24 / 36

Widths of Lagrangian Cobordisms Given a Lagrangian cobordism L, for a < b, L b a := {(s, x, y, z) L : a < s < b} (a, b) J 1 M. b B(c) a Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 25 / 36

Widths of Lagrangian Cobordisms Given a Lagrangian cobordism L, for a < b, L b a := {(s, x, y, z) L : a < s < b} (a, b) J 1 M. b B(c) a Question: Can we calculate w(l b a), for some L, a, b? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 25 / 36

Widths of Lagrangian Cobordisms Given a Lagrangian cobordism L, for a < b, L b a := {(s, x, y, z) L : a < s < b} (a, b) J 1 M. b B(c) a Question: Can we calculate w(l b a), for some L, a, b? Answer: Yes! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 25 / 36

Infinite Width Lemma For any Lagrangian cobordism L, for any a, w (L a ) =. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 26 / 36

Infinite Width Lemma For any Lagrangian cobordism L, for any a, w (L a ) =. Proof Sketch: B(r) Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 26 / 36

Infinite Width Lemma For any Lagrangian cobordism L, for any a, w (L a ) =. Proof Sketch: B(R) B(r) Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 26 / 36

Infinite Width Lemma For any Lagrangian cobordism L, for any a, w (L a ) =. Proof Sketch: B(R) B(r) Chop off top! We will consider: a =, s + b < +. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 26 / 36

Width of Cylindrical Lagrangian Cobordisms Cylindrical Lagrangian Cobordisms: L = R Λ, for a Legendrian Λ. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 27 / 36

Width of Cylindrical Lagrangian Cobordisms Cylindrical Lagrangian Cobordisms: L = R Λ, for a Legendrian Λ. Question: Can we calculate w((r Λ) b ) for some Λ and for some b? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 27 / 36

Width of Cylindrical Lagrangian Cobordisms Cylindrical Lagrangian Cobordisms: L = R Λ, for a Legendrian Λ. Question: Can we calculate w((r Λ) b ) for some Λ and for some b? Suffices to understand b = 0: Lemma For any Legendrian Λ, ( ) w (R Λ) b = e b w ( ) (R Λ) 0. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 27 / 36

Width of Cylindrical Lagrangian Cobordisms Cylindrical Lagrangian Cobordisms: L = R Λ, for a Legendrian Λ. Question: Can we calculate w((r Λ) b ) for some Λ and for some b? Suffices to understand b = 0: Lemma For any Legendrian Λ, ( ) w (R Λ) b = e b w ( ) (R Λ) 0. Question: Can we calculate w((r Λ) 0 ) for some Λ? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 27 / 36

Width of Cylindrical Lagrangian Cobordisms Cylindrical Lagrangian Cobordisms: L = R Λ, for a Legendrian Λ. Question: Can we calculate w((r Λ) b ) for some Λ and for some b? Suffices to understand b = 0: Lemma For any Legendrian Λ, ( ) w (R Λ) b = e b w ( ) (R Λ) 0. Question: Can we calculate w((r Λ) 0 ) for some Λ? Answer: Yes! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 27 / 36

Width of Cylinder over Legendrian Unknot r 0 r Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 28 / 36

Width of Cylinder over Legendrian Unknot r 0 r Theorem (Sabloff-T) w((r U(r)) 0 ) = 2r. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 28 / 36

Upperbound to Width of a Legendrian w ( (R U(r)) 0 ) 2r follows from: Theorem (Sabloff-T) Suppose Λ is a Legendrian that admits an augmentation. Then ( ) w (R Λ) 0 2c(Λ), where c(λ) is the minimum fundamental capacity (for any augmentation). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 29 / 36

Upperbound to Width of a Legendrian w ( (R U(r)) 0 ) 2r follows from: Theorem (Sabloff-T) Suppose Λ is a Legendrian that admits an augmentation. Then ( ) w (R Λ) 0 2c(Λ), where c(λ) is the minimum fundamental capacity (for any augmentation). size of ball 2 fundamental Reeb chord height" in = Λ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 29 / 36

Obstructions to Embeddings: Proof Sketch: Suppose there is an embedding ψ of B(α). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 30 / 36

Obstructions to Embeddings: Proof Sketch: Suppose there is an embedding ψ of B(α). By property of the fundamental class λ LCH (Λ, ε), through ψ(0) L there is a J-holomorphic disk" of area A c(λ, ε, λ). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 30 / 36

Obstructions to Embeddings: Proof Sketch: Suppose there is an embedding ψ of B(α). By property of the fundamental class λ LCH (Λ, ε), through ψ(0) L there is a J-holomorphic disk" of area A c(λ, ε, λ). There exists a holomorphic disk in B(α) with boundary in B(α) R n of area B A c(λ, ε, λ). By analytic continuation, this extends to a holomorphic disk with boundary in B(α) of area 2B 2c(Λ, ε, λ). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 30 / 36

Obstructions to Embeddings: Proof Sketch: Suppose there is an embedding ψ of B(α). By property of the fundamental class λ LCH (Λ, ε), through ψ(0) L there is a J-holomorphic disk" of area A c(λ, ε, λ). There exists a holomorphic disk in B(α) with boundary in B(α) R n of area B A c(λ, ε, λ). By analytic continuation, this extends to a holomorphic disk with boundary in B(α) of area 2B 2c(Λ, ε, λ). Classical Isoperimetric Inequality shows α 2B 2c(Λ, ε, λ). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 30 / 36

Lowerbound to width of a Legendrian 2r w ( (R U(r)) 0 ) follows from: Theorem (Sabloff-T) Suppose Λ has a vertically extendable" Reeb chord of height r. Then ( ) 2r w (R Λ) 0. Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 31 / 36

Lowerbound to width of a Legendrian 2r w ( (R U(r)) 0 ) follows from: Theorem (Sabloff-T) Suppose Λ has a vertically extendable" Reeb chord of height r. Then ( ) 2r w (R Λ) 0. Vertically Extendable No Yes Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 31 / 36

Constructing Embeddings Proof Sketch: Ψ : R J 1 M T R + T M (s, x, y, z) ((e s, z), (x, e s y)) Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 32 / 36

Constructing Embeddings Proof Sketch: Ψ : R J 1 M T R + T M (s, x, y, z) ((e s, z), (x, e s y)) r r 0 1 x Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 32 / 36

Constructing Embeddings Proof Sketch: Ψ : R J 1 M T R + T M (s, x, y, z) ((e s, z), (x, e s y)) r r 0 1 x Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 32 / 36

Constructing Embeddings Proof Sketch: Ψ : R J 1 M T R + T M (s, x, y, z) ((e s, z), (x, e s y)) r r 0 1 x Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 32 / 36

Width of Non-Cylindrical Lagrangian Cobordisms What if L is a non-cylindrical cobordism? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 33 / 36

Width of Non-Cylindrical Lagrangian Cobordisms What if L is a non-cylindrical cobordism? Example: 1 0 1 0 2.5 Question: Can we still find a symplectic embedding of B(2)? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 33 / 36

Width of Non-Cylindrical Lagrangian Cobordisms What if L is a non-cylindrical cobordism? Example: 1 0 1 0 2.5 Question: Can we still find a symplectic embedding of B(2)? Answer: Yes! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 33 / 36

Width of Non-Cylindrical Lagrangian Cobordisms What if L is a non-cylindrical cobordism? Example: 1 0 1 0 2.5 Question: Can we still find a symplectic embedding of B(2)? Answer: Yes! Question: Can we embed a bigger ball? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 33 / 36

Width of Non-Cylindrical Lagrangian Cobordisms What if L is a non-cylindrical cobordism? Example: 1 0 1 0 2.5 Question: Can we still find a symplectic embedding of B(2)? Answer: Yes! Question: Can we embed a bigger ball? Answer: No! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 33 / 36

Width of Non-Cylindrical Lagrangian Cobordisms What if L is a non-cylindrical cobordism? Example: 1 0 1 0 2.5 Question: Can we still find a symplectic embedding of B(2)? Answer: Yes! Question: Can we embed a bigger ball? Answer: No! Width does not see the negative end! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 33 / 36

Upper Bound for Width of Lagrangian Cobordisms Theorem (Sabloff-T) If L is a Lagrangian cobordism from Λ to Λ + and Λ is fillable, then ( ) w L 0 2c(Λ + ), where c(λ + ) is the minimum fundamental capacity (for any augmentation). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 34 / 36

Upper Bound for Width of Lagrangian Cobordisms Theorem (Sabloff-T) If L is a Lagrangian cobordism from Λ to Λ + and Λ is fillable, then ( ) w L 0 2c(Λ + ), where c(λ + ) is the minimum fundamental capacity (for any augmentation). Proof is similar in spirit to the proof when L = R Λ: Use Seidel Isomorphism to get the existence of a J-holomorphic disk through ψ(0) ψ(b(α)). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 34 / 36

Length-Width Connection Can reprove our earlier length result between Λ = U(2) and Λ + = U(1): h ln 2 h 1 + s 0 2 _ Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 35 / 36

Length-Width Connection Can reprove our earlier length result between Λ = U(2) and Λ + = U(1): h ln 2 h 1 + s 0 2 _ Corollary Suppose L is a Lagrangian cobordism from Λ = U(2) to Λ + = U(1) that is cylindrical outside [ h, 0]. Then ( ) ( ) 2 c(u(2)) ln 2 = ln = ln h. 1 c(u(1)) Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 35 / 36

Length-Width Connection Can reprove our earlier length result between Λ = U(2) and Λ + = U(1): h ln 2 h 1 + s 0 2 _ Corollary Suppose L is a Lagrangian cobordism from Λ = U(2) to Λ + = U(1) that is cylindrical outside [ h, 0]. Then ( ) ( ) 2 c(u(2)) ln 2 = ln = ln h. 1 c(u(1)) Proof: 2e h c(u(2))=e h w((r Λ ) 0 ) = w((r Λ ) h ) w(l0 ) 2c(U(1)). Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 35 / 36

Questions Much to be understood about length and width! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 36 / 36

Questions Much to be understood about length and width! Calculate widths of other Lagrangian cobordisms when Λ admits an augmentation/filling! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 36 / 36

Questions Much to be understood about length and width! Calculate widths of other Lagrangian cobordisms when Λ admits an augmentation/filling! Can we calculate the width or length of a Lagrangian cobordism when Λ does not admit an augmentation/filling? For example, when Λ is stabilized or loose? Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 36 / 36

Questions Much to be understood about length and width! Calculate widths of other Lagrangian cobordisms when Λ admits an augmentation/filling! Can we calculate the width or length of a Lagrangian cobordism when Λ does not admit an augmentation/filling? For example, when Λ is stabilized or loose? Thank you! Lisa Traynor (Bryn Mawr) Lagrangian Cobordisms Tech Topology 36 / 36