![Page 1: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/1.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Flexibility in Contact and Symplectic Geometry
Oleg LazarevMichael Zhao Memorial Student Colloquium
February 13, 2019
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 2: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/2.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rolling without slipping
I Consider a car in R2 with position x , y and angle θ with thex-axis; configuration space is (x , y , θ) = R2 × S1
I If the car slips, its path (x(t), y(x), θ(t)) can be arbitrary; forexample (t, 0, π/4).
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 3: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/3.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rolling without slipping
I Consider a car in R2 with position x , y and angle θ with thex-axis; configuration space is (x , y , θ) = R2 × S1
I If the car slips, its path (x(t), y(x), θ(t)) can be arbitrary; forexample (t, 0, π/4).
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 4: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/4.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rolling without slipping
I Consider a car in R2 with position x , y and angle θ with thex-axis; configuration space is (x , y , θ) = R2 × S1
I If the car slips, its path (x(t), y(x), θ(t)) can be arbitrary; forexample (t, 0, π/4).
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 5: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/5.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rolling without slipping
I Consider a car in R2 with position x , y and angle θ with thex-axis; configuration space is (x , y , θ) = R2 × S1
I If the car slips, its path (x(t), y(x), θ(t)) can be arbitrary; forexample (t, 0, π/4).
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 6: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/6.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rolling without slipping
I Consider a car in R2 with position x , y and angle θ with thex-axis; configuration space is (x , y , θ) = R2 × S1
I If the car slips, its path (x(t), y(x), θ(t)) can be arbitrary; forexample (t, 0, π/4).
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 7: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/7.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rolling without slipping, II
I If car rolls without slipping, then θ determines direction ofmotion: dy
dx = tan(θ)
I So a path (x(t), y(t), θ(t)) is non-slipping if it is tangent tohyperplane distribution ξ2 := ker(dy − tan(θ)dx) ⊂ TR2 × S1
I Question: can any path in R3 be C 0-approximated by themotion of a non-slipping car?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 8: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/8.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rolling without slipping, II
I If car rolls without slipping, then θ determines direction ofmotion: dy
dx = tan(θ)
I So a path (x(t), y(t), θ(t)) is non-slipping if it is tangent tohyperplane distribution ξ2 := ker(dy − tan(θ)dx) ⊂ TR2 × S1
I Question: can any path in R3 be C 0-approximated by themotion of a non-slipping car?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 9: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/9.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rolling without slipping, II
I If car rolls without slipping, then θ determines direction ofmotion: dy
dx = tan(θ)
I So a path (x(t), y(t), θ(t)) is non-slipping if it is tangent tohyperplane distribution ξ2 := ker(dy − tan(θ)dx) ⊂ TR2 × S1
I Question: can any path in R3 be C 0-approximated by themotion of a non-slipping car?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 10: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/10.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rolling without slipping, II
I If car rolls without slipping, then θ determines direction ofmotion: dy
dx = tan(θ)
I So a path (x(t), y(t), θ(t)) is non-slipping if it is tangent tohyperplane distribution ξ2 := ker(dy − tan(θ)dx) ⊂ TR2 × S1
I Question: can any path in R3 be C 0-approximated by themotion of a non-slipping car?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 11: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/11.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Formal/genuine functions
I Graph of function z(x) with its derivative: (x , dzdx , z(x)) ⊂ R3
I Decouple derivative from the function and graph ‘formalfunctions’ (x , y(x), z(x)) ⊂ R3
I (x , y(x), z(x)) ⊂ R3 is graph of ‘genuine’ function if dzdx = y ,
i.e. tangent to the hyperplane distribution ξ2 := ker(dz − ydx)I Example: replace ODE ( df
dx )2 + f (x)2 dfdx = x5 with algebraic
equation y2 + yz2 = x5; curves in this hypersurface tangent toξ are solutions to the ODE
I Question: can any formal function approximated by agenuine function?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 12: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/12.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Formal/genuine functions
I Graph of function z(x) with its derivative: (x , dzdx , z(x)) ⊂ R3
I Decouple derivative from the function and graph ‘formalfunctions’ (x , y(x), z(x)) ⊂ R3
I (x , y(x), z(x)) ⊂ R3 is graph of ‘genuine’ function if dzdx = y ,
i.e. tangent to the hyperplane distribution ξ2 := ker(dz − ydx)I Example: replace ODE ( df
dx )2 + f (x)2 dfdx = x5 with algebraic
equation y2 + yz2 = x5; curves in this hypersurface tangent toξ are solutions to the ODE
I Question: can any formal function approximated by agenuine function?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 13: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/13.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Formal/genuine functions
I Graph of function z(x) with its derivative: (x , dzdx , z(x)) ⊂ R3
I Decouple derivative from the function and graph ‘formalfunctions’ (x , y(x), z(x)) ⊂ R3
I (x , y(x), z(x)) ⊂ R3 is graph of ‘genuine’ function if dzdx = y ,
i.e. tangent to the hyperplane distribution ξ2 := ker(dz − ydx)I Example: replace ODE ( df
dx )2 + f (x)2 dfdx = x5 with algebraic
equation y2 + yz2 = x5; curves in this hypersurface tangent toξ are solutions to the ODE
I Question: can any formal function approximated by agenuine function?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 14: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/14.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Formal/genuine functions
I Graph of function z(x) with its derivative: (x , dzdx , z(x)) ⊂ R3
I Decouple derivative from the function and graph ‘formalfunctions’ (x , y(x), z(x)) ⊂ R3
I (x , y(x), z(x)) ⊂ R3 is graph of ‘genuine’ function if dzdx = y ,
i.e. tangent to the hyperplane distribution ξ2 := ker(dz − ydx)
I Example: replace ODE ( dfdx )2 + f (x)2 df
dx = x5 with algebraicequation y2 + yz2 = x5; curves in this hypersurface tangent toξ are solutions to the ODE
I Question: can any formal function approximated by agenuine function?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 15: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/15.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Formal/genuine functions
I Graph of function z(x) with its derivative: (x , dzdx , z(x)) ⊂ R3
I Decouple derivative from the function and graph ‘formalfunctions’ (x , y(x), z(x)) ⊂ R3
I (x , y(x), z(x)) ⊂ R3 is graph of ‘genuine’ function if dzdx = y ,
i.e. tangent to the hyperplane distribution ξ2 := ker(dz − ydx)I Example: replace ODE ( df
dx )2 + f (x)2 dfdx = x5 with algebraic
equation y2 + yz2 = x5; curves in this hypersurface tangent toξ are solutions to the ODE
I Question: can any formal function approximated by agenuine function?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 16: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/16.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Formal/genuine functions
I Graph of function z(x) with its derivative: (x , dzdx , z(x)) ⊂ R3
I Decouple derivative from the function and graph ‘formalfunctions’ (x , y(x), z(x)) ⊂ R3
I (x , y(x), z(x)) ⊂ R3 is graph of ‘genuine’ function if dzdx = y ,
i.e. tangent to the hyperplane distribution ξ2 := ker(dz − ydx)I Example: replace ODE ( df
dx )2 + f (x)2 dfdx = x5 with algebraic
equation y2 + yz2 = x5; curves in this hypersurface tangent toξ are solutions to the ODE
I Question: can any formal function approximated by agenuine function?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 17: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/17.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Contact distribution
The contact distribution ξ and submanifolds tangent to it are thekey objects.
Figure: The contact distribution ξstd = ker(dz − ydx) ⊂ TR3, image dueto Patrick Massot
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 18: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/18.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Contact distribution
The contact distribution ξ and submanifolds tangent to it are thekey objects.
Figure: The contact distribution ξstd = ker(dz − ydx) ⊂ TR3, image dueto Patrick Massot
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 19: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/19.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Contact geometry
I Definition: a contact structure ξ on a manifold Y 2n+1 is ahyperplane distribution ξ2n = ker(α) for a 1-form α withα ∧ (dα)n 6= 0, maximally non-integrable
I Examples: 1-jet space J1(M) = T ∗M × R, (S2n−1, ξstd )
I The (universal cover of the) previous two examples arecontactomorphic: exists a diffeomorphismφ : (M, ξM)→ (N, ξN) such that φ∗ξN = ξM
I Definition: Λk ⊂ (Y 2n+1, ξ) is isotropic if TΛ ⊂ ξI Non-slipping car and graph of a genuine function are isotropics
I Basic but important linear algebra fact: if Λk ⊂ (Y 2n+1, ξ)is isotropic, then k ≤ n (called Legendrian if k = n).Intuition: contact distribution is maximally non-integrable.
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 20: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/20.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Contact geometry
I Definition: a contact structure ξ on a manifold Y 2n+1 is ahyperplane distribution ξ2n = ker(α) for a 1-form α withα ∧ (dα)n 6= 0, maximally non-integrable
I Examples: 1-jet space J1(M) = T ∗M × R, (S2n−1, ξstd )
I The (universal cover of the) previous two examples arecontactomorphic: exists a diffeomorphismφ : (M, ξM)→ (N, ξN) such that φ∗ξN = ξM
I Definition: Λk ⊂ (Y 2n+1, ξ) is isotropic if TΛ ⊂ ξI Non-slipping car and graph of a genuine function are isotropics
I Basic but important linear algebra fact: if Λk ⊂ (Y 2n+1, ξ)is isotropic, then k ≤ n (called Legendrian if k = n).Intuition: contact distribution is maximally non-integrable.
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 21: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/21.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Contact geometry
I Definition: a contact structure ξ on a manifold Y 2n+1 is ahyperplane distribution ξ2n = ker(α) for a 1-form α withα ∧ (dα)n 6= 0, maximally non-integrable
I Examples: 1-jet space J1(M) = T ∗M × R, (S2n−1, ξstd )
I The (universal cover of the) previous two examples arecontactomorphic: exists a diffeomorphismφ : (M, ξM)→ (N, ξN) such that φ∗ξN = ξM
I Definition: Λk ⊂ (Y 2n+1, ξ) is isotropic if TΛ ⊂ ξI Non-slipping car and graph of a genuine function are isotropics
I Basic but important linear algebra fact: if Λk ⊂ (Y 2n+1, ξ)is isotropic, then k ≤ n (called Legendrian if k = n).Intuition: contact distribution is maximally non-integrable.
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 22: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/22.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Contact geometry
I Definition: a contact structure ξ on a manifold Y 2n+1 is ahyperplane distribution ξ2n = ker(α) for a 1-form α withα ∧ (dα)n 6= 0, maximally non-integrable
I Examples: 1-jet space J1(M) = T ∗M × R, (S2n−1, ξstd )
I The (universal cover of the) previous two examples arecontactomorphic: exists a diffeomorphismφ : (M, ξM)→ (N, ξN) such that φ∗ξN = ξM
I Definition: Λk ⊂ (Y 2n+1, ξ) is isotropic if TΛ ⊂ ξ
I Non-slipping car and graph of a genuine function are isotropics
I Basic but important linear algebra fact: if Λk ⊂ (Y 2n+1, ξ)is isotropic, then k ≤ n (called Legendrian if k = n).Intuition: contact distribution is maximally non-integrable.
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 23: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/23.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Contact geometry
I Definition: a contact structure ξ on a manifold Y 2n+1 is ahyperplane distribution ξ2n = ker(α) for a 1-form α withα ∧ (dα)n 6= 0, maximally non-integrable
I Examples: 1-jet space J1(M) = T ∗M × R, (S2n−1, ξstd )
I The (universal cover of the) previous two examples arecontactomorphic: exists a diffeomorphismφ : (M, ξM)→ (N, ξN) such that φ∗ξN = ξM
I Definition: Λk ⊂ (Y 2n+1, ξ) is isotropic if TΛ ⊂ ξI Non-slipping car and graph of a genuine function are isotropics
I Basic but important linear algebra fact: if Λk ⊂ (Y 2n+1, ξ)is isotropic, then k ≤ n (called Legendrian if k = n).Intuition: contact distribution is maximally non-integrable.
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 24: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/24.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Contact geometry
I Definition: a contact structure ξ on a manifold Y 2n+1 is ahyperplane distribution ξ2n = ker(α) for a 1-form α withα ∧ (dα)n 6= 0, maximally non-integrable
I Examples: 1-jet space J1(M) = T ∗M × R, (S2n−1, ξstd )
I The (universal cover of the) previous two examples arecontactomorphic: exists a diffeomorphismφ : (M, ξM)→ (N, ξN) such that φ∗ξN = ξM
I Definition: Λk ⊂ (Y 2n+1, ξ) is isotropic if TΛ ⊂ ξI Non-slipping car and graph of a genuine function are isotropics
I Basic but important linear algebra fact: if Λk ⊂ (Y 2n+1, ξ)is isotropic, then k ≤ n (called Legendrian if k = n).Intuition: contact distribution is maximally non-integrable.
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 25: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/25.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Classical flexibility results
I Flexibility = topological phenomenon in contact geometry
I Darboux’s theorem: any contact manifold is locallycontactomorphic to (R2n+1, ξstandard = dz −
∑ni=1 yidxi )
I So no local invariants, unlike Riemannian geometry!
I Gray stability theorem: if (Y , ξt) is isotopy of contactstructures on a closed manifold Y , then all contactomorphic,i.e. exists diffeotopy φt of Y such that φ∗t ξt = ξ0
I So deformation invariant, unlike complex geometry!
I Weinstein neighborhood theorem: any LegendrianΛn ⊂ (Y 2n+1, ξ) has a neighborhood that is contactomorphicto neighborhood of Λ in J1(Λ)
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 26: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/26.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Classical flexibility results
I Flexibility = topological phenomenon in contact geometry
I Darboux’s theorem: any contact manifold is locallycontactomorphic to (R2n+1, ξstandard = dz −
∑ni=1 yidxi )
I So no local invariants, unlike Riemannian geometry!
I Gray stability theorem: if (Y , ξt) is isotopy of contactstructures on a closed manifold Y , then all contactomorphic,i.e. exists diffeotopy φt of Y such that φ∗t ξt = ξ0
I So deformation invariant, unlike complex geometry!
I Weinstein neighborhood theorem: any LegendrianΛn ⊂ (Y 2n+1, ξ) has a neighborhood that is contactomorphicto neighborhood of Λ in J1(Λ)
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 27: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/27.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Classical flexibility results
I Flexibility = topological phenomenon in contact geometry
I Darboux’s theorem: any contact manifold is locallycontactomorphic to (R2n+1, ξstandard = dz −
∑ni=1 yidxi )
I So no local invariants, unlike Riemannian geometry!
I Gray stability theorem: if (Y , ξt) is isotopy of contactstructures on a closed manifold Y , then all contactomorphic,i.e. exists diffeotopy φt of Y such that φ∗t ξt = ξ0
I So deformation invariant, unlike complex geometry!
I Weinstein neighborhood theorem: any LegendrianΛn ⊂ (Y 2n+1, ξ) has a neighborhood that is contactomorphicto neighborhood of Λ in J1(Λ)
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 28: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/28.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Classical flexibility results
I Flexibility = topological phenomenon in contact geometry
I Darboux’s theorem: any contact manifold is locallycontactomorphic to (R2n+1, ξstandard = dz −
∑ni=1 yidxi )
I So no local invariants, unlike Riemannian geometry!
I Gray stability theorem: if (Y , ξt) is isotopy of contactstructures on a closed manifold Y , then all contactomorphic,i.e. exists diffeotopy φt of Y such that φ∗t ξt = ξ0
I So deformation invariant, unlike complex geometry!
I Weinstein neighborhood theorem: any LegendrianΛn ⊂ (Y 2n+1, ξ) has a neighborhood that is contactomorphicto neighborhood of Λ in J1(Λ)
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 29: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/29.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Classical flexibility results
I Flexibility = topological phenomenon in contact geometry
I Darboux’s theorem: any contact manifold is locallycontactomorphic to (R2n+1, ξstandard = dz −
∑ni=1 yidxi )
I So no local invariants, unlike Riemannian geometry!
I Gray stability theorem: if (Y , ξt) is isotopy of contactstructures on a closed manifold Y , then all contactomorphic,i.e. exists diffeotopy φt of Y such that φ∗t ξt = ξ0
I So deformation invariant, unlike complex geometry!
I Weinstein neighborhood theorem: any LegendrianΛn ⊂ (Y 2n+1, ξ) has a neighborhood that is contactomorphicto neighborhood of Λ in J1(Λ)
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 30: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/30.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Classical flexibility results
I Flexibility = topological phenomenon in contact geometry
I Darboux’s theorem: any contact manifold is locallycontactomorphic to (R2n+1, ξstandard = dz −
∑ni=1 yidxi )
I So no local invariants, unlike Riemannian geometry!
I Gray stability theorem: if (Y , ξt) is isotopy of contactstructures on a closed manifold Y , then all contactomorphic,i.e. exists diffeotopy φt of Y such that φ∗t ξt = ξ0
I So deformation invariant, unlike complex geometry!
I Weinstein neighborhood theorem: any LegendrianΛn ⊂ (Y 2n+1, ξ) has a neighborhood that is contactomorphicto neighborhood of Λ in J1(Λ)
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 31: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/31.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Partial Differential Relations
I Many geometric problems given by a PDE, e.g. existence ofcontact structure, contactomorphism, isotropic embedding
I Necessary algebraic condition: there is a solution to theformal problem given by decoupling the PDE
I Definition: A formal contact structure is a 1-form α and anon-degenerate 2-form ω on kerα (but ω 6= dα )
I Definition: A formal isotropic embedding is smoothembedding of Lk and a homotopy E k
t of k-planes in TY 2n+1
over L such that E0 = TL and E1 ⊂ ξ (but Et 6= TL )
I Consider i : Solutions → FormalSolutions; h-principle holdswhen i is a (weak) homotopy equivalence, i.e. geometricproblem reduces to algebraic topology
I Question: does h-principle hold for contact structures orisotropic submanifolds?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 32: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/32.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Partial Differential Relations
I Many geometric problems given by a PDE, e.g. existence ofcontact structure, contactomorphism, isotropic embedding
I Necessary algebraic condition: there is a solution to theformal problem given by decoupling the PDE
I Definition: A formal contact structure is a 1-form α and anon-degenerate 2-form ω on kerα (but ω 6= dα )
I Definition: A formal isotropic embedding is smoothembedding of Lk and a homotopy E k
t of k-planes in TY 2n+1
over L such that E0 = TL and E1 ⊂ ξ (but Et 6= TL )
I Consider i : Solutions → FormalSolutions; h-principle holdswhen i is a (weak) homotopy equivalence, i.e. geometricproblem reduces to algebraic topology
I Question: does h-principle hold for contact structures orisotropic submanifolds?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 33: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/33.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Partial Differential Relations
I Many geometric problems given by a PDE, e.g. existence ofcontact structure, contactomorphism, isotropic embedding
I Necessary algebraic condition: there is a solution to theformal problem given by decoupling the PDE
I Definition: A formal contact structure is a 1-form α and anon-degenerate 2-form ω on kerα (but ω 6= dα )
I Definition: A formal isotropic embedding is smoothembedding of Lk and a homotopy E k
t of k-planes in TY 2n+1
over L such that E0 = TL and E1 ⊂ ξ (but Et 6= TL )
I Consider i : Solutions → FormalSolutions; h-principle holdswhen i is a (weak) homotopy equivalence, i.e. geometricproblem reduces to algebraic topology
I Question: does h-principle hold for contact structures orisotropic submanifolds?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 34: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/34.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Partial Differential Relations
I Many geometric problems given by a PDE, e.g. existence ofcontact structure, contactomorphism, isotropic embedding
I Necessary algebraic condition: there is a solution to theformal problem given by decoupling the PDE
I Definition: A formal contact structure is a 1-form α and anon-degenerate 2-form ω on kerα (but ω 6= dα )
I Definition: A formal isotropic embedding is smoothembedding of Lk and a homotopy E k
t of k-planes in TY 2n+1
over L such that E0 = TL and E1 ⊂ ξ (but Et 6= TL )
I Consider i : Solutions → FormalSolutions; h-principle holdswhen i is a (weak) homotopy equivalence, i.e. geometricproblem reduces to algebraic topology
I Question: does h-principle hold for contact structures orisotropic submanifolds?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 35: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/35.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Partial Differential Relations
I Many geometric problems given by a PDE, e.g. existence ofcontact structure, contactomorphism, isotropic embedding
I Necessary algebraic condition: there is a solution to theformal problem given by decoupling the PDE
I Definition: A formal contact structure is a 1-form α and anon-degenerate 2-form ω on kerα (but ω 6= dα )
I Definition: A formal isotropic embedding is smoothembedding of Lk and a homotopy E k
t of k-planes in TY 2n+1
over L such that E0 = TL and E1 ⊂ ξ (but Et 6= TL )
I Consider i : Solutions → FormalSolutions; h-principle holdswhen i is a (weak) homotopy equivalence, i.e. geometricproblem reduces to algebraic topology
I Question: does h-principle hold for contact structures orisotropic submanifolds?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 36: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/36.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Partial Differential Relations
I Many geometric problems given by a PDE, e.g. existence ofcontact structure, contactomorphism, isotropic embedding
I Necessary algebraic condition: there is a solution to theformal problem given by decoupling the PDE
I Definition: A formal contact structure is a 1-form α and anon-degenerate 2-form ω on kerα (but ω 6= dα )
I Definition: A formal isotropic embedding is smoothembedding of Lk and a homotopy E k
t of k-planes in TY 2n+1
over L such that E0 = TL and E1 ⊂ ξ (but Et 6= TL )
I Consider i : Solutions → FormalSolutions; h-principle holdswhen i is a (weak) homotopy equivalence, i.e. geometricproblem reduces to algebraic topology
I Question: does h-principle hold for contact structures orisotropic submanifolds?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 37: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/37.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rigidity in contact geometry
I There are non-local, deformation stable invariants of contactmanifolds, Legendrians called contact homology andLegendrian contact homology, Gromov-Witten type invariantdefined using J-holomorphic curves. Related to wrappedFukaya category, mirror symmetry...
I Many Legendrian knots in (R3, ξstd ) are formally isotopic butnot Legendrian isotopic, distinguished by Legendrian contacthomology
Figure: Chekanov Legendrians in R2xz ; images due to John Etnyre
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 38: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/38.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rigidity in contact geometry
I There are non-local, deformation stable invariants of contactmanifolds, Legendrians called contact homology andLegendrian contact homology, Gromov-Witten type invariantdefined using J-holomorphic curves. Related to wrappedFukaya category, mirror symmetry...
I Many Legendrian knots in (R3, ξstd ) are formally isotopic butnot Legendrian isotopic, distinguished by Legendrian contacthomology
Figure: Chekanov Legendrians in R2xz ; images due to John Etnyre
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 39: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/39.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rigidity in contact geometry, II
I Similarly, many contact structures are formallycontactomorphic but not contactomorphic
Figure: Standard and overtwisted structures; images due to PatrickMassot
I h-principle fails for contact manifolds, isotropic submanifolds!i∗ is not injective on π0; for Legendrian knots, i∗ is notsurjective on π0
I Question: what is the boundary between rigidity andflexibility?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 40: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/40.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Flexibility for isotropics
I Gromov’s h-principle for subcritical isotropics: twoformally isotopic Λk
1 ,Λk2 ⊂ (Y 2n+1, ξ) with k < n are
genuinely isotopic
I h-principle fails for general Legendrians (k = n) by LCH
I Definition: a Legendrian Λn ⊂ Y 2n+1 is loose if n ≥ 2 and ithas a ‘zig-zag’ in its xz-projection
Figure: Loose chart, i.e. zig-zag, pictured in R2xz and in R2
xy
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 41: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/41.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Flexibility for isotropics
I Gromov’s h-principle for subcritical isotropics: twoformally isotopic Λk
1 ,Λk2 ⊂ (Y 2n+1, ξ) with k < n are
genuinely isotopic
I h-principle fails for general Legendrians (k = n) by LCH
I Definition: a Legendrian Λn ⊂ Y 2n+1 is loose if n ≥ 2 and ithas a ‘zig-zag’ in its xz-projection
Figure: Loose chart, i.e. zig-zag, pictured in R2xz and in R2
xy
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 42: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/42.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Flexibility for isotropics
I Gromov’s h-principle for subcritical isotropics: twoformally isotopic Λk
1 ,Λk2 ⊂ (Y 2n+1, ξ) with k < n are
genuinely isotopic
I h-principle fails for general Legendrians (k = n) by LCH
I Definition: a Legendrian Λn ⊂ Y 2n+1 is loose if n ≥ 2 and ithas a ‘zig-zag’ in its xz-projection
Figure: Loose chart, i.e. zig-zag, pictured in R2xz and in R2
xy
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 43: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/43.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Loose Legendrians
I Murphy’s h-principle for loose Legendrians: formallyisotopic loose Legendrians are Legendrian isotopic; any smoothembedding can be C 0-approximated by a loose Legendrian.
Figure: Approximating slipping path (t, 0, π/4) by non-slipping path
I LCH vanishes for loose Legendrians! Existence of (local)zig-zag kills all symplectic geometry!
I Open problem: If Λ has vanishing LCH, is it loose?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 44: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/44.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Loose Legendrians
I Murphy’s h-principle for loose Legendrians: formallyisotopic loose Legendrians are Legendrian isotopic; any smoothembedding can be C 0-approximated by a loose Legendrian.
Figure: Approximating slipping path (t, 0, π/4) by non-slipping path
I LCH vanishes for loose Legendrians! Existence of (local)zig-zag kills all symplectic geometry!
I Open problem: If Λ has vanishing LCH, is it loose?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 45: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/45.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Loose Legendrians
I Murphy’s h-principle for loose Legendrians: formallyisotopic loose Legendrians are Legendrian isotopic; any smoothembedding can be C 0-approximated by a loose Legendrian.
Figure: Approximating slipping path (t, 0, π/4) by non-slipping path
I LCH vanishes for loose Legendrians! Existence of (local)zig-zag kills all symplectic geometry!
I Open problem: If Λ has vanishing LCH, is it loose?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 46: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/46.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Loose Legendrians
I Murphy’s h-principle for loose Legendrians: formallyisotopic loose Legendrians are Legendrian isotopic; any smoothembedding can be C 0-approximated by a loose Legendrian.
Figure: Approximating slipping path (t, 0, π/4) by non-slipping path
I LCH vanishes for loose Legendrians! Existence of (local)zig-zag kills all symplectic geometry!
I Open problem: If Λ has vanishing LCH, is it loose?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 47: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/47.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Loose Legendrians, II
Loose Chekanov knots (in high-dimensions) are Legendrian isotopic
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 48: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/48.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Symplectic manifolds
I Definition a symplectic structure ω on a manifold M2n is aclosed, non-degenerate 2-form ω; get [ω] ∈ H2(M;R) and[ω]n 6= 0 if M closed manifold
I Examples: Kahler manifolds, (R2n,∑n
i=1 dxi ∧ dyi ),T∗M
I Definition: a formal symplectic structure is a non-degenerate2-form and a class [a] ∈ H2(M;R) (with [a]n 6= 0 if M closed)
I Let i : Symplectic(M2n) → FormalSymplectic(M), M closed.
I Taubes: i∗ not surjective in dimension 4 by Seiberg-Witten =Gromov-Witten: CP2]CP2]CP2 has no symplectic structure
I McDuff: i∗ not injective in dimensions > 4 by GW invariants
I Open problems: Is i∗ injective on π0 in dimension 4? Is i∗surjective on π0 in dimensions > 4?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 49: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/49.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Symplectic manifolds
I Definition a symplectic structure ω on a manifold M2n is aclosed, non-degenerate 2-form ω; get [ω] ∈ H2(M;R) and[ω]n 6= 0 if M closed manifold
I Examples: Kahler manifolds, (R2n,∑n
i=1 dxi ∧ dyi ),T∗M
I Definition: a formal symplectic structure is a non-degenerate2-form and a class [a] ∈ H2(M;R) (with [a]n 6= 0 if M closed)
I Let i : Symplectic(M2n) → FormalSymplectic(M), M closed.
I Taubes: i∗ not surjective in dimension 4 by Seiberg-Witten =Gromov-Witten: CP2]CP2]CP2 has no symplectic structure
I McDuff: i∗ not injective in dimensions > 4 by GW invariants
I Open problems: Is i∗ injective on π0 in dimension 4? Is i∗surjective on π0 in dimensions > 4?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 50: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/50.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Symplectic manifolds
I Definition a symplectic structure ω on a manifold M2n is aclosed, non-degenerate 2-form ω; get [ω] ∈ H2(M;R) and[ω]n 6= 0 if M closed manifold
I Examples: Kahler manifolds, (R2n,∑n
i=1 dxi ∧ dyi ),T∗M
I Definition: a formal symplectic structure is a non-degenerate2-form and a class [a] ∈ H2(M;R) (with [a]n 6= 0 if M closed)
I Let i : Symplectic(M2n) → FormalSymplectic(M), M closed.
I Taubes: i∗ not surjective in dimension 4 by Seiberg-Witten =Gromov-Witten: CP2]CP2]CP2 has no symplectic structure
I McDuff: i∗ not injective in dimensions > 4 by GW invariants
I Open problems: Is i∗ injective on π0 in dimension 4? Is i∗surjective on π0 in dimensions > 4?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 51: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/51.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Symplectic manifolds
I Definition a symplectic structure ω on a manifold M2n is aclosed, non-degenerate 2-form ω; get [ω] ∈ H2(M;R) and[ω]n 6= 0 if M closed manifold
I Examples: Kahler manifolds, (R2n,∑n
i=1 dxi ∧ dyi ),T∗M
I Definition: a formal symplectic structure is a non-degenerate2-form and a class [a] ∈ H2(M;R) (with [a]n 6= 0 if M closed)
I Let i : Symplectic(M2n) → FormalSymplectic(M), M closed.
I Taubes: i∗ not surjective in dimension 4 by Seiberg-Witten =Gromov-Witten: CP2]CP2]CP2 has no symplectic structure
I McDuff: i∗ not injective in dimensions > 4 by GW invariants
I Open problems: Is i∗ injective on π0 in dimension 4? Is i∗surjective on π0 in dimensions > 4?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 52: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/52.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Symplectic manifolds
I Definition a symplectic structure ω on a manifold M2n is aclosed, non-degenerate 2-form ω; get [ω] ∈ H2(M;R) and[ω]n 6= 0 if M closed manifold
I Examples: Kahler manifolds, (R2n,∑n
i=1 dxi ∧ dyi ),T∗M
I Definition: a formal symplectic structure is a non-degenerate2-form and a class [a] ∈ H2(M;R) (with [a]n 6= 0 if M closed)
I Let i : Symplectic(M2n) → FormalSymplectic(M), M closed.
I Taubes: i∗ not surjective in dimension 4 by Seiberg-Witten =Gromov-Witten: CP2]CP2]CP2 has no symplectic structure
I McDuff: i∗ not injective in dimensions > 4 by GW invariants
I Open problems: Is i∗ injective on π0 in dimension 4? Is i∗surjective on π0 in dimensions > 4?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 53: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/53.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Symplectic manifolds
I Definition a symplectic structure ω on a manifold M2n is aclosed, non-degenerate 2-form ω; get [ω] ∈ H2(M;R) and[ω]n 6= 0 if M closed manifold
I Examples: Kahler manifolds, (R2n,∑n
i=1 dxi ∧ dyi ),T∗M
I Definition: a formal symplectic structure is a non-degenerate2-form and a class [a] ∈ H2(M;R) (with [a]n 6= 0 if M closed)
I Let i : Symplectic(M2n) → FormalSymplectic(M), M closed.
I Taubes: i∗ not surjective in dimension 4 by Seiberg-Witten =Gromov-Witten: CP2]CP2]CP2 has no symplectic structure
I McDuff: i∗ not injective in dimensions > 4 by GW invariants
I Open problems: Is i∗ injective on π0 in dimension 4? Is i∗surjective on π0 in dimensions > 4?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 54: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/54.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Symplectic manifolds
I Definition a symplectic structure ω on a manifold M2n is aclosed, non-degenerate 2-form ω; get [ω] ∈ H2(M;R) and[ω]n 6= 0 if M closed manifold
I Examples: Kahler manifolds, (R2n,∑n
i=1 dxi ∧ dyi ),T∗M
I Definition: a formal symplectic structure is a non-degenerate2-form and a class [a] ∈ H2(M;R) (with [a]n 6= 0 if M closed)
I Let i : Symplectic(M2n) → FormalSymplectic(M), M closed.
I Taubes: i∗ not surjective in dimension 4 by Seiberg-Witten =Gromov-Witten: CP2]CP2]CP2 has no symplectic structure
I McDuff: i∗ not injective in dimensions > 4 by GW invariants
I Open problems: Is i∗ injective on π0 in dimension 4? Is i∗surjective on π0 in dimensions > 4?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 55: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/55.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Weinstein domains
I An exact symplectic manifold (M2n, dα) has contactboundary if (∂M, kerα) is a contact manifold
I Example: (B2n, αstandard = 12 (∑n
i=1 xidyi − yidxi ))
I Weinstein: can attach a handle to an isotropic sphereΛk−1 ⊂ ∂M2n and get a new symplectic manifold withcontact boundary M2n ∪ Hk
Λ
Figure: Weinstein handle attachment
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 56: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/56.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Weinstein domains
I An exact symplectic manifold (M2n, dα) has contactboundary if (∂M, kerα) is a contact manifold
I Example: (B2n, αstandard = 12 (∑n
i=1 xidyi − yidxi ))
I Weinstein: can attach a handle to an isotropic sphereΛk−1 ⊂ ∂M2n and get a new symplectic manifold withcontact boundary M2n ∪ Hk
Λ
Figure: Weinstein handle attachment
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 57: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/57.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Weinstein domains
I An exact symplectic manifold (M2n, dα) has contactboundary if (∂M, kerα) is a contact manifold
I Example: (B2n, αstandard = 12 (∑n
i=1 xidyi − yidxi ))
I Weinstein: can attach a handle to an isotropic sphereΛk−1 ⊂ ∂M2n and get a new symplectic manifold withcontact boundary M2n ∪ Hk
Λ
Figure: Weinstein handle attachment
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 58: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/58.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Weinstein domains
I An exact symplectic manifold (M2n, dα) has contactboundary if (∂M, kerα) is a contact manifold
I Example: (B2n, αstandard = 12 (∑n
i=1 xidyi − yidxi ))
I Weinstein: can attach a handle to an isotropic sphereΛk−1 ⊂ ∂M2n and get a new symplectic manifold withcontact boundary M2n ∪ Hk
Λ
Figure: Weinstein handle attachment
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 59: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/59.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Weinstein domains, II
I Definition: a Weinstein domain W 2n is iterated Weinsteinhandle attachment to (B2n, ωstandard ), i.e. symplectichandlebody
I W 2n is homotopy equivalent to n-dimensional CW complex
I Andreotti-Frankel: affine varieties V 2n have Weinsteinstructure, so homotopy equivalent to n-dimensional complex
I Example: T ∗Sn = B2n ∪ HnΛunknot
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 60: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/60.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Weinstein domains, II
I Definition: a Weinstein domain W 2n is iterated Weinsteinhandle attachment to (B2n, ωstandard ), i.e. symplectichandlebody
I W 2n is homotopy equivalent to n-dimensional CW complex
I Andreotti-Frankel: affine varieties V 2n have Weinsteinstructure, so homotopy equivalent to n-dimensional complex
I Example: T ∗Sn = B2n ∪ HnΛunknot
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 61: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/61.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Weinstein domains, II
I Definition: a Weinstein domain W 2n is iterated Weinsteinhandle attachment to (B2n, ωstandard ), i.e. symplectichandlebody
I W 2n is homotopy equivalent to n-dimensional CW complex
I Andreotti-Frankel: affine varieties V 2n have Weinsteinstructure, so homotopy equivalent to n-dimensional complex
I Example: T ∗Sn = B2n ∪ HnΛunknot
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 62: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/62.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Weinstein domains, II
I Definition: a Weinstein domain W 2n is iterated Weinsteinhandle attachment to (B2n, ωstandard ), i.e. symplectichandlebody
I W 2n is homotopy equivalent to n-dimensional CW complex
I Andreotti-Frankel: affine varieties V 2n have Weinsteinstructure, so homotopy equivalent to n-dimensional complex
I Example: T ∗Sn = B2n ∪ HnΛunknot
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 63: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/63.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rigidity for Weinstein domains
I Definition: M2n has a formal Weinstein structure if it has anon-degenerate 2-form and is homotopy equivalent to ann-dimensional CW complex
I McLean: infinitely many different formally symplectomorphicWeinstein structures on B2n, n ≥ 4 (distinguished bysymplectic homology)
Figure: Sketch of an exotic Weinstein ball
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 64: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/64.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rigidity for Weinstein domains
I Definition: M2n has a formal Weinstein structure if it has anon-degenerate 2-form and is homotopy equivalent to ann-dimensional CW complex
I McLean: infinitely many different formally symplectomorphicWeinstein structures on B2n, n ≥ 4 (distinguished bysymplectic homology)
Figure: Sketch of an exotic Weinstein ball
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 65: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/65.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Rigidity for Weinstein domains
I Definition: M2n has a formal Weinstein structure if it has anon-degenerate 2-form and is homotopy equivalent to ann-dimensional CW complex
I McLean: infinitely many different formally symplectomorphicWeinstein structures on B2n, n ≥ 4 (distinguished bysymplectic homology)
Figure: Sketch of an exotic Weinstein ball
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 66: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/66.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Flexibility for Weinstein domains
I Definition: a Weinstein domain W 2n, n ≥ 3 is flexible if alln-handles are attached along loose Legendrians
Figure: T ∗Sn and T ∗Snflex
I Cieliebak-Eliashberg: A formal Weinstein manifoldW 2n, n ≥ 3, has a genuine Weinstein structure. Two formallysymplectomorphic flexible structures are symplectomorphic
I Question: can this result be used to construct symplecticstructures on closed manifolds?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 67: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/67.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Flexibility for Weinstein domains
I Definition: a Weinstein domain W 2n, n ≥ 3 is flexible if alln-handles are attached along loose Legendrians
Figure: T ∗Sn and T ∗Snflex
I Cieliebak-Eliashberg: A formal Weinstein manifoldW 2n, n ≥ 3, has a genuine Weinstein structure. Two formallysymplectomorphic flexible structures are symplectomorphic
I Question: can this result be used to construct symplecticstructures on closed manifolds?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 68: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/68.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Flexibility for Weinstein domains
I Definition: a Weinstein domain W 2n, n ≥ 3 is flexible if alln-handles are attached along loose Legendrians
Figure: T ∗Sn and T ∗Snflex
I Cieliebak-Eliashberg: A formal Weinstein manifoldW 2n, n ≥ 3, has a genuine Weinstein structure. Two formallysymplectomorphic flexible structures are symplectomorphic
I Question: can this result be used to construct symplecticstructures on closed manifolds?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 69: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/69.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Flexibility for Weinstein domains
I Definition: a Weinstein domain W 2n, n ≥ 3 is flexible if alln-handles are attached along loose Legendrians
Figure: T ∗Sn and T ∗Snflex
I Cieliebak-Eliashberg: A formal Weinstein manifoldW 2n, n ≥ 3, has a genuine Weinstein structure. Two formallysymplectomorphic flexible structures are symplectomorphic
I Question: can this result be used to construct symplecticstructures on closed manifolds?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 70: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/70.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Modifying Weinstein presentations
I Can modify Weinstein presentation by doing handle-slides andcreate/cancel handles; easy to create more handles
Figure: Handle-slides and handle cancellation/creation
I WCrit(W ) : = minimum number of Weinstein handles for WCrit(W ) : = minimum number of smooth handles
I WCrit(M) ≥ Crit(M) ≥ rank H∗(M;Z)
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 71: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/71.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Modifying Weinstein presentations
I Can modify Weinstein presentation by doing handle-slides andcreate/cancel handles; easy to create more handles
Figure: Handle-slides and handle cancellation/creation
I WCrit(W ) : = minimum number of Weinstein handles for WCrit(W ) : = minimum number of smooth handles
I WCrit(M) ≥ Crit(M) ≥ rank H∗(M;Z)
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 72: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/72.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Modifying Weinstein presentations
I Can modify Weinstein presentation by doing handle-slides andcreate/cancel handles; easy to create more handles
Figure: Handle-slides and handle cancellation/creation
I WCrit(W ) : = minimum number of Weinstein handles for WCrit(W ) : = minimum number of smooth handles
I WCrit(M) ≥ Crit(M) ≥ rank H∗(M;Z)
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 73: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/73.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Modifying Weinstein presentations
I Can modify Weinstein presentation by doing handle-slides andcreate/cancel handles; easy to create more handles
Figure: Handle-slides and handle cancellation/creation
I WCrit(W ) : = minimum number of Weinstein handles for WCrit(W ) : = minimum number of smooth handles
I WCrit(M) ≥ Crit(M) ≥ rank H∗(M;Z)
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 74: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/74.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Modifying Weinstein presentations, II
I Smale’s h-cobordism theorem: if dimM ≥ 5, π1(M) = 0,then Crit(M) = rank H∗(M;Z); key is Whitney trick
I Cieliebak-Eliashberg: WCrit(Wflex ) = Crit(W )
I McLean: exist W with WCrit(W ) ≥ Crit(W ) + 2; Whitneytrick fails!
I L. any Weinstein W 2n, n ≥ 3, has WCrit(W ) ≤ Crit(W ) + 2
I Implies restrictions on J-holomorphic curve invariants: there isno Weinstein structure on the ball B2n whose wrapped Fukayacategory is that of T ∗Sn
std , i.e. modules over C∗(ΩSn)
I Question: what is the interaction between symplecticflexibility and rigidity?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 75: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/75.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Modifying Weinstein presentations, II
I Smale’s h-cobordism theorem: if dimM ≥ 5, π1(M) = 0,then Crit(M) = rank H∗(M;Z); key is Whitney trick
I Cieliebak-Eliashberg: WCrit(Wflex ) = Crit(W )
I McLean: exist W with WCrit(W ) ≥ Crit(W ) + 2; Whitneytrick fails!
I L. any Weinstein W 2n, n ≥ 3, has WCrit(W ) ≤ Crit(W ) + 2
I Implies restrictions on J-holomorphic curve invariants: there isno Weinstein structure on the ball B2n whose wrapped Fukayacategory is that of T ∗Sn
std , i.e. modules over C∗(ΩSn)
I Question: what is the interaction between symplecticflexibility and rigidity?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 76: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/76.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Modifying Weinstein presentations, II
I Smale’s h-cobordism theorem: if dimM ≥ 5, π1(M) = 0,then Crit(M) = rank H∗(M;Z); key is Whitney trick
I Cieliebak-Eliashberg: WCrit(Wflex ) = Crit(W )
I McLean: exist W with WCrit(W ) ≥ Crit(W ) + 2; Whitneytrick fails!
I L. any Weinstein W 2n, n ≥ 3, has WCrit(W ) ≤ Crit(W ) + 2
I Implies restrictions on J-holomorphic curve invariants: there isno Weinstein structure on the ball B2n whose wrapped Fukayacategory is that of T ∗Sn
std , i.e. modules over C∗(ΩSn)
I Question: what is the interaction between symplecticflexibility and rigidity?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 77: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/77.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Modifying Weinstein presentations, II
I Smale’s h-cobordism theorem: if dimM ≥ 5, π1(M) = 0,then Crit(M) = rank H∗(M;Z); key is Whitney trick
I Cieliebak-Eliashberg: WCrit(Wflex ) = Crit(W )
I McLean: exist W with WCrit(W ) ≥ Crit(W ) + 2; Whitneytrick fails!
I L. any Weinstein W 2n, n ≥ 3, has WCrit(W ) ≤ Crit(W ) + 2
I Implies restrictions on J-holomorphic curve invariants: there isno Weinstein structure on the ball B2n whose wrapped Fukayacategory is that of T ∗Sn
std , i.e. modules over C∗(ΩSn)
I Question: what is the interaction between symplecticflexibility and rigidity?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 78: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/78.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Modifying Weinstein presentations, II
I Smale’s h-cobordism theorem: if dimM ≥ 5, π1(M) = 0,then Crit(M) = rank H∗(M;Z); key is Whitney trick
I Cieliebak-Eliashberg: WCrit(Wflex ) = Crit(W )
I McLean: exist W with WCrit(W ) ≥ Crit(W ) + 2; Whitneytrick fails!
I L. any Weinstein W 2n, n ≥ 3, has WCrit(W ) ≤ Crit(W ) + 2
I Implies restrictions on J-holomorphic curve invariants: there isno Weinstein structure on the ball B2n whose wrapped Fukayacategory is that of T ∗Sn
std , i.e. modules over C∗(ΩSn)
I Question: what is the interaction between symplecticflexibility and rigidity?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry
![Page 79: Flexibility in Contact and Symplectic Geometryolazarev/grad_colloquium.pdf · Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry](https://reader033.vdocument.in/reader033/viewer/2022043009/5f9de1a85eb9a678750fcb6b/html5/thumbnails/79.jpg)
Contact Manifolds and Legendrian SubmanifoldsSymplectic manifolds and Weinstein domains
Modifying Weinstein presentations, II
I Smale’s h-cobordism theorem: if dimM ≥ 5, π1(M) = 0,then Crit(M) = rank H∗(M;Z); key is Whitney trick
I Cieliebak-Eliashberg: WCrit(Wflex ) = Crit(W )
I McLean: exist W with WCrit(W ) ≥ Crit(W ) + 2; Whitneytrick fails!
I L. any Weinstein W 2n, n ≥ 3, has WCrit(W ) ≤ Crit(W ) + 2
I Implies restrictions on J-holomorphic curve invariants: there isno Weinstein structure on the ball B2n whose wrapped Fukayacategory is that of T ∗Sn
std , i.e. modules over C∗(ΩSn)
I Question: what is the interaction between symplecticflexibility and rigidity?
Oleg Lazarev Michael Zhao Memorial Student Colloquium Flexibility in Contact and Symplectic Geometry