  # Exact Lagrangians in conical symplectic resolutions Filip - PowerPoint PPT Presentation

## Exact Lagrangians in conical symplectic resolutions Filip Zivanovi c University of Oxford zivanovic@maths.ox.ac.uk Qolloquium: A Conference on Quivers, Representations, and Resolutions June 25, 2020 Overview 1 On Conical Symplectic

1. Exact Lagrangians in conical symplectic resolutions Filip ˇ Zivanovi´ c University of Oxford zivanovic@maths.ox.ac.uk Qolloquium: A Conference on Quivers, Representations, and Resolutions June 25, 2020

2. Overview 1 On Conical Symplectic Resolutions 2 Exact Lagrangians in Conical Symplectic Resolutions 3 Example 1: Quiver varieties of type A 4 Example 2: Slodowy varieties of type A

3. On Conical Symplectic Resolutions Exact Lagrangians in Conical Symplectic Resolutions Example 1: Quiver varieties of type A Example 2: Slodowy varieties of type A A first example π : T ∗ C P 1 → C 2 / ( Z / 2) π : T ∗ C P 1 , → C 2 / ( Z / 2) blow up ( − 1) � ( z 1 , z 2 ) = ( − z 1 , − z 2 ) t · ( z 1 , z 2 ) = ( tz 1 , tz 2 ) contracts C 2 / ( Z / 2) to a point. Action lifts to T ∗ C P 1 , s.t. t · ω C = t ω C π − 1 (0) = C P 1 Lagrangian The R − picture

4. Conical symplectic resolution A conical symplectic resolution (CSR) of weight k ∈ N is A projective C ∗ -equivariant resolution, C ∗ ϕ � M π ↓ C ∗ ϕ � M 0 M 0 normal affine holo c Poisson variety whose C ∗ -action contracts to a single fixed point: ∀ x ∈ M 0 , t → 0 t · x = x 0 , lim Such actions we call conical . ( M , ω C ) holo c symplectic, t · ω C = t k ω C .

5. Examples of conical symplectic resolutions Resolutions of Du Val singularities Hilbert schemes of points on them Nakajima quiver varieties Springer resolutions, resolutions of Slodowy varieties Hypertoric varieties Slices in affine Grassmanians Higgs/Coulomb branches of moduli spaces (3d Gauge theories with N = 4 supersymmetry) All examples are complete hyperk¨ ahler manifolds.

6. On Conical Symplectic Resolutions Exact Lagrangians in Conical Symplectic Resolutions Example 1: Quiver varieties of type A Example 2: Slodowy varieties of type A Real sympectic structure on CSRs Def: An exact real symplectic manifold ( M , ω = d θ ) is a Liouville manifold when ( M \ K , θ ) ∼ = (Σ × [1 , + ∞ ) , R α ) where α is a positive contact form on Σ. Any CSR ( M , ϕ ) is canonically a Liouville manifold ( M , ω J , K ), where ω C = ω J + i ω K and ω J , K = any linear combo of ω J , ω K . Hence, the compact F ( M ) and the wrapped W ( M ) Fukaya categories are well-defined. We are interested in closed exact Lagrangian submanifolds of ( M , ω J , K ) ( L ⊂ M exact means θ | L is exact)

7. Exact Lagrangians in CSRs When CSR π : M → M 0 is of weight 1, its core L = π − 1 (0) is a complex Lagrangian subvariety. Otherwise not , e.g. Hilb n ( C 2 ) → Sym n ( C 2 ) L = ∪ α ∈ A L α If L α smooth, L α is exact. All L α are non-isotopic. Theorem (ˇ Z.’19) Any weight-1 CSR M has at least N ≥ 1 smooth core components, hence non-isotopic exact Lagrangians. Here N is the number of different (commuting) conical weight-1 C ∗ -actions on M . We call the these minimal components of the core. � C 2 / Z / n → C 2 / Z / n Example: Du Val resolutions of type A: The core is A n − 1 tree of spheres and they are all minimal.

8. Floer theory of minimal components Fukaya category F ( M ) objects: closed exact Lagrangian submanifolds morphisms: Mor ( L 1 , L 2 ) = CF ∗ ( L 1 , L 2 ) cohomologically: HF ∗ ( L 1 , L 2 ) Proposition 1 Given a weight-1 CSR M , its minimal components are exact Lagrangians, hence HF ∗ ( L min , L min ) ∼ = H ∗ ( L min ) for each minimal L min . 2 For each pair L 1 min , L 2 min of minimal components we have min ) ∼ HF ∗ ( L 1 min , L 2 = H ∗ ( L 1 min ∩ L 2 min ) . 3 Given a triple L 1 min , L 2 min , L 3 min of minimal components, The Floer product HF ∗ ( L 2 min , L 3 min ) ⊗ HF ∗ ( L 1 min , L 2 min ) → HF ∗ ( L 1 min , L 3 min ) is isomorphic to the convolution product.

9. On Conical Symplectic Resolutions Exact Lagrangians in Conical Symplectic Resolutions Example 1: Quiver varieties of type A Example 2: Slodowy varieties of type A Representations of a double quiver Graph Q = ( I , E ) � double quiver Q # = ( I , H := E ⊔ ¯ E ) Double quiver of A 4 The space of Framed representations of double quiver M ( Q , V , W ) = ⊕ h ∈ H Hom( V s ( h ) , V t ( h ) ) ⊕ i ∈ I Hom( V i , W i ) ⊕ i ∈ I Hom( W i , V i ) GL ( V ) = � i ∈ I GL ( V i ) � M ( Q , V , W ) by conjugation.

10. Quiver varieties GL ( V ) = � i ∈ I GL ( V i ) � M ( Q , V , W ) by conjugation. Moment map µ : M ( Q , V , W ) → gl ( V ) ∗ Nakajima quiver varieties M θ ( Q , V , W ) := µ − 1 (0) θ − ss / GL ( V ) smooth M 0 ( Q , V , W ) := µ − 1 (0) � GL ( V ) affine singular Depends only on dimensions v = dim V , w = dim W , so denote by M θ ( Q , v , w ) , M 0 ( Q , v , w ) There is a symplectic resolution π : M θ ( Q , v , w ) ։ M 1 ( Q , v , w ) ⊂ M 0 ( Q , v , w ) N akajima defines a conical weight-1 C ∗ -action which makes it into a CSR.

11. Nakajima actions Recall the framed repn space of a double quiver Q # = ( I , H ) M ( Q , V , W ) = ⊕ h ∈ H Hom( V s ( h ) , V t ( h ) ) ⊕ i ∈ I Hom( V i , W i ) ⊕ i ∈ I Hom( W i , V i ) To construct a quiver variety, one has to pick a split H = Ω 0 ⊔ Ω 0 That makes M ( Q , V , W ) = T ∗ R (Ω 0 , V , W ) , where R (Ω 0 , V , W ) = ⊕ h ∈ Ω 0 Hom( V s ( h ) , V t ( h ) ) ⊕ Hom( W i , V i ) Acting by C ∗ on fibres yields a weight-1 C ∗ -action on M θ ( Q , v , w ) ։ M 1 ( Q , v , w ) . We generalize this by using the other partitions H = Ω ⊔ Ω , and get a family of actions which we call Nakajima actions.

12. Nakajima actions in type A By definition 2 Q 1 , though not all are different. Use the description of coordinate ring C [ M 0 ( v , w )] by [Lusztig, Maffei] For v > 0 , get m − 1 � ( s k +1 − s k + 1) , N ( w ) := k =1 where s k are poisitons where w k � = 0 . for general dominant v , get k � N ( w 1 ) · · · N ( w k ) , N ( v , w ) := i =1 where w = w 1 ⊔ w 2 · · · ⊔ w k is divided by the support of v .

13. Nakajima actions in type A For arbitrary v use the LMN isomorphisms = Nakajima reflection functors, Φ σ : M θ ( v , w ) → M σ · θ ( σ ∗ w v , w ) to pass from arbitrary v to a dominant vector v ′ . By [Bezrukavnikov-Losev] Φ σ intertwines Nakajima actions on both sides. Theorem (ˇ Z.’19) Given a quiver variety M θ ( v , w ) of type A there is exactly N ( v ′ , w ) different Nakajima actions, hence the same number of minimal components in its core L θ ( v , w ) . Here v ′ is the associated dominant vector to v . Dominant vector v ′ , easily computable, hence N ( v ′ , w ) as well.

14. Twisted full actions Full quiver weight-2 C ∗ -action, acts on the whole M ( Q , V , W ) = T ∗ R ( Q 0 , V , W ) GL ( w ) � M ( Q , v , w ) symplectially by conjugations. Twisted full actions := 1-PS C ∗ ≤ GL ( w ) combined with the full quiver action. Get a family of weight-2 actions, we count the even and conical ones. Proposition (ˇ Z.’20) On a quiver variety M θ ( v , w ) of type A, Nakajima actions are exactly the square-roots of even and conical twisted full actions. Expect these to give all minimal components, i.e. GL ( w ) = Symp C ∗ ( M ( v , w )) ◦

15. On Conical Symplectic Resolutions Exact Lagrangians in Conical Symplectic Resolutions Example 1: Quiver varieties of type A Example 2: Slodowy varieties of type A Springer theory basics An important branch of GRT Classical results: Representations of Weyl groups [Springer, Kazhdan-Lusztig], representations of U ( sl N ) [Ginzburg]. Central object: Springer resolution T ∗ B { ( F , e ) | F ∈ B , e ∈ sl n , eF i ⊂ F i − 1 } ν ↓ ↓ sl n ⊃ N e ν p Generalized Springer resolution T ∗ B p − → O ˜ p ∗ Generalized Springer fibre B λ p := ν − 1 p ( e λ ) Irr ( B λ p ) parametrized by Standard Young tableaux Std λ p (Non)smoothness and of components of B λ is well-known [Pagnon-Ressayre, Barchini-Graham-Zierau, Fresse-Melnikov] Not known: (Non)smoothness of components of B λ µ

16. Slodowy varieties Given a nilpotent e ∈ sl n there is an sl 2 -triple ( e , f , h ) . Slodowy slice S e := e + ker (ad f ) ⊂ sl n Slodowy variety S e , p := S e ∩ O p ∗ + Restriction of Springer resolution yields a resolution � S e , p := ν − 1 p ( S e , p ) → S e , p . There is the Kazhdan C ∗ -action t · x = t 2 Ad( t − h ) x on S e , hence on S e , p and � S e , p . It makes ν p : � S e , p → S e , p into a weight-2 CSR, whose core is B λ p . Thus, its minimal components are smooth components of B λ p .

17. Twisted Kazhdan actions ν p : � S e , p → S e , p is a weight-2 CSR with Kazhdan C ∗ -action. Z e := C GL n ( e , f , h ) acts equivariantly on ν p and symplectically on � S e , p . Twisted Kazhdan actions := 1-PS C ∗ ≤ Z e combined with the Kazhdan action Search the even and conical ones, as their square-roots are weight-1 conical. Theorem (ˇ Z.’20) Given a nilpotent e , define w by λ ( e ) = 1 w 1 2 w 2 . . . n w n . Then Z e ∼ = GL ( w ) There is exactly N ( w ) different even and conical twisted Kazhdan actions on S e . The same holds for S e = S e ∩ N (here p = (1 , . . . , 1) ). Thus, there is N ( w ) minimal components in B λ .

18. Towards the Maffei isomorphism For general p , some of these N ( w ) actions on ν p : � S e , p → S e , p may overplap. Compare with quiver varieties by Maffei isomorphism: ϕ � � S e , p M ( v , w ) π ν p ϕ 1 M 1 ( v , w ) S e , p where w − C v = µ = ( p 1 − p 2 , . . . , p n − p n +1 ) . Expect (work in progress) ϕ and ϕ 1 to be equivariant with respect to C ∗ × GL ( w )-action, where GL ( w ) ∼ = Z e explicit. That would yield N ( v ′ , w ) smooth components in B λ p .

More recommend